THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。     

Innovation Versus Environmental Protection Presumptions

The paper is about negotiating with issues that discourage innovation. The subject is environmental deterioration, with concern directed at the impediments that keep it from being innovatively resolved. The paper is organized around three issues. (1) The dominant model of environmental concern, called environmental protection, is managed predominantly via command and control approaches. (2) Command and control, by relying on analytical segmentation to subdivide the problem into digestible bits and using formal legislation to direct it, are not up to emerging challenges in the area. (3) More robust models are available but difficult to experiment with due to impediments that discourage change. These impediments are seen in ideals associated with protection, prevention, recycling, and sustainability that tend to do more to sustain harmful practices than to seek beneficial alternatives. Being able to appreciate the underlying restrictions of entropy could help stimulate a more innovative agenda. These issues are tested via a project funded by the EPA entitled ENERGY STAR Homes.     

Knowing Wuli,Sensing Shili,Caring for Renli: Methodology of the WSR Approach

This paper presents an outline of an Oriental systems methodology: the Wuli Shili Renli approach (WSR). The basic theme of WSR contends that wuli (regularities in objective existence), shili (ways of seeing and doing), and renli (patterns underlying human relations) constitute a differentiated whole that conditions systems projects. WSR suggests that we should design and employ appropriate methods to address and tackle wuli shili and renli elements in a theoretically informed and systemic way. The background, philosophy, process, principles, and some practical applications of the methodology are preliminarily outlined.     

多Agent仿真中Agent行为的形式化描述方法

提出了一种从状态、动作、动作序列到活动,逐步地建立对Agent行为的形式化描述方法。该方法能有效地用于多Agent仿真系统的设计中Agent行为特征的分析、定义和描述。     

电子设计自动化中的模块生成技术研究

模块生成技术是随EDA设计技术的应用而发展起来的一种新技术。它对EDA软件的广泛使用，设计产品的性能、质量，降低产品开发成本等有重要影响。根据当前EDA设计中所遇到的问题和EDA软件的不足，结合作者多年从事这方面的研究、设计，提出了应用于EDA设计中的模块生成技术的方法。较好地解决了EDA设计、仿真过程的新问题。     

制造系统的建模方法

本文阐述了基于ＣＩＭ－ＯＳＡ框架的集成化制造系统模。它的建模框架基于一个集成模型的四个建模视图：功能视图、信息视图、资源视图和组织视图。功能视图是以围绕中心的四个基本结构的建模方法来建立制造系统的功能与行为模型，四个基本结构分别是：事件、过程、作业和操作；信息视图是基于结构化的面向对象的模型以信息元素、对象视图和企业对象的形式表述事务数据与信息；资源视图描述制造系统的被动的和主动的资源；组织视图定义模型不同部分的责任和权力，以及以组织单元、组织细胞表示的结构。     

基于扩展UML的多Agent系统建模方法

基于对象和Agent概念的一致性 ,在多Agent系统的建模过程中 ,利用已经比较成熟的面向对象技术是一种值得重视的方法。在分析了统一建模语言 (UML)的基本建模思想和基于组织分析的多Agent系统建模思路基础上 ,以一个分布式后勤管理系统的分析为例 ,从Agent组织的角色定义、静态组织结构描述和动态行为描述等三方面给出了基于扩展UML的多Agent系统建模的主要步骤和方法     

含等式约束的全系数模糊线性规划

对全系数模糊线性规划当中具有等式约束条件的情况进行了讨论 .指出其等式约束不能象普通线性规划那样简单地转化为不等式约束条件 ,推广了不仅含有不等式约束而且含有等式约束的全系数模糊线性规划的求解方法 .同时 ,本文采用将模糊规划的最优解仍然定义成模糊集这种更为灵活和更为广泛的定义形式.     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~     

Enterprise resource planning implementation decision & optimization models

To study the uncertain optimization problems on implementation schedule, time-cost trade-off and quality in enterprise resource planning (ERP) implementation, combined with program evaluation and review technique (PERT), some optimization models are proposed, which include the implementation schedule model, the timecost trade-off model, the quality model, and the implementation time-cost-quality synthetic optimization model. A PERT-embedded genetic algorithm (GA) based on stochastic simulation technique is introduced to the optimization models solution. Finally, an example is presented to show that the models and algorithm are reasonable and effective, which can offer a reliable quantitative decision method for ERP implementation.     

ON CHARACTERIZATIONS OF D-η-PROPERLY PREQUASI-INVEX FUNCTION

Recently, various concepts of D-η-properly prequasi-invex functions were introduced and characterizations of D-η-properly prequasi-invex functions were presented under a certain set of conditions. In this paper, we show that the same results can be obtained under weaker assumptions.     

并行程序与状态序列--交叉语义约定的研究

许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动.但人们习惯于用状态序列对并列程序模型的语义作数学处理.一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免.所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来.其实偏差的出现与Petri网的基本现象冲突(conflicct)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关.本文用Petri网分析误导的情况.