软构件行为适应的Petri网方法研究

构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。     

一种知识库系统软件体系结构框架的研究

在专家系统、实时控制、问题求解、机器学习等智能应用领域,都需要存取和管理大规模共享知识库,这种知识库不能用传统的专家系统外壳来建造,因为这些外壳不能满足数据量的不断增长,知识库丰富的表示结构和推理机也不被现存的数据库技术支持。为了解决这个问题,本文提出了一种适合知识库管理系统的体系结构,这种软件体系结构采用可以处理不同粒度空间的商空间结构,给出了基于商空间的一种新的知识库系统软件体系结构模型,定义了原子构件、商构件、连接和配置,描述了农业气象知识库系统框架,给出了它的构件和配置案例,这些工作为基于商空间的知识库系统软件体系结构研究奠定了理论基础,为进一步研究软件体系结构提供了新方法。     

基于进程的Agent体系仿真模型框架

在体系对抗仿真中,如何表示作战实体的决策行为是一个难点。进程交互仿真方法由于其面向实体描述,可以给出针对特定实体的完整行为序列,不需要建立大量关联关系复杂的事件例程和活动例程,易于描述实体完整的生命周期,因此采用进程交互仿真可以大大减少Agent复杂行为表示的难度,可以为Agent行为提供一种更加自然的表示方法,大大增加Agent行为建模的效率。本文分析了基于进程的Agent仿真调度策略,提出了基于进程的体系仿真模型框架和体系仿真模型调度过程,并针对作战实体的决策行为讨论了作战实体的决策行为原语和行为组合进程。     

嵌入式构件网络的拓扑特性研究

为了从宏观上更好的描述嵌入式构件系统的结构及其在细粒度层次上隐藏的特征信息,从一个新的视角将大规模嵌入式构件系统抽象为一个由大量的构件及其关系组成的复杂网络,提出嵌入式构件网络的概念,以嵌入式操作系统eCos为载体,证实了该网络具有小世界、无标度、高积聚等重要特性,基于数据场拓扑势的思想,提出拓扑势中心性的评价方法和嵌入式构件网络的节点重要性排序算法,不仅能提供统一的描述框架,而且可以产生更符合网络拓扑特性的排序结果,对嵌入式构件系统的质量度量标准具有深远含义.     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

基于模型的构件系统性能预测综述

在软件开发过程的早期引入性能需求，并通过建立性能模型对待实现系统的性能进行预测可以极大减小项目风险。给出了构件系统性能预测的一系列相关定义，总结并比较了各种性能模型在描述能力和解析难度上的优缺点。在总结通用的性能预测方法基础上，提出了基于模型的性能预测方法的一般思路。详细介绍了基于模型的构件系统性能预测3类方法，从多个方面对各种方法进行了比较和分析。探讨了当前研究中的不足之处，给出了本领域有前途的研究方向。     

虚拟实体组织行为建模方法研究

虚拟实体组织行为建模主要研究虚拟世界中有组织的实体群的组织关系及其活动规律。提出了一种新的基于描述任务逻辑的虚拟实体组织行为建模方法,建立了一个将虚拟实体群的组织结构关系、协同行为功能规划和组织规范三个维有机结合的组织行为模型,结构简单,能满足像战场实体群等面向任务的有组织的虚拟实体群的行为建模的需要。设计并实现了一种符合XML标准的虚拟战场兵力实体组织行为建模语言CBML,能实现对虚拟实体组织行为模型的描述,并提供较强的推理功能,经用户初步使用表明,具有简洁、易用、高效的特点。     

组织描述方法研究

概括了组织描述研究的方法和理论 ,分析了这一研究领域的难点和重点 ,并在计算组织适应性理论和分阶段设计理论基础上提出了一种组织的分层描述思想 ,定义组织核心元素 :组织、目标、决策实体、平台和环境 ,以及四个链接 (平台 -任务链接、决策实体 -平台链接、决策实体间链接以及组织 -环境链接 ) ,通过这五个元素和四个链接来描述组织模型和组织行为 ,基于这一思想对组织适应性过程给出了数学描述 .     

一种面向构件的C4ISR技术体系结构建模方法

为了提升作战能力、满足作战功能和技术快速变化及联合互操作等需求,C4ISR系统中引入了开放式体系结构,并将体系结构分为功能体系结构和技术体系结构。提出了一种面向构件的C4ISR系统技术体系结构建模方法。首先给出技术体系结构的DSFC（数据、系统、功能、构件）模型,并重点对构件及DSFC之间的关系进行说明。在此基础上,研究了基于DoDAF的技术体系结构多视图描述方法,最后结合实例对方法进行说明。     

基于组件的标准化显控台模拟器开发框架

针对标准化显控台模拟器的研制,分析了模拟器研制中的共性,提出解决方案,设计了标准化显控台模拟器开发框架.框架的核心是组件管理模块,它管理元件组件、服务组件和模型组件,负责消息响应和内部通讯并控制组件行为.为使开发更加便利和标准化,开发框架还包括标准信息元数据库及管理系统、基础功能类库、标准化对象模型开发工具以及标准组件框架生成向导.另外,辅助以图形方式描述了开发框架各部分的基本结构关系、组件接口以及组件管理工作流程.     

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

正~~     

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     

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

正~~     

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:     

分布交互仿真技术综述

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

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.