基于CADM的C4ISR体系结构一致性验证方法

近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于特定的体系结构设计工具,不具有通用性.本文提出的基于核心体系结构数据模型（CADM）的体系结构验证方法可以避免这个问题,CADM是C4ISR系统体系结构数据的逻辑模型,本文首先解释了CADM的概念、然后对体系结构数据一致性验证的内容和详细步骤进行阐述,最后通过案例进行说明.     

基于xUML的C4ISR系统可执行对象模型设计

C4ISR系统自身复杂性和军事需求多变性,使得系统设计风险增加,研制难度愈来愈大.把模型驱动体系结构MDA的思想和可执行建模语言xUML引入C4ISR系统的设计研制过程中,详细分析了可执行对象模型对于C4ISR系统研制的意义,给出了基于xUML的C4ISR系统可执行对象模型设计方法和步骤,并通过水面舰船的实例验证了该方法的可行性.该方法对系统结构化分析、动态逻辑验证、性能测量评价,而且在描述能力、可理解性和可分析性等方面比基于Petri网的可执行模型都有很大改善.     

C4ISR系统体系结构的仿真验证方法研究

C4ISR系统体系结构设计在系统研制中的地位和作用越来越受到重视,体系结构设计的质量将直接关系到系统开发的成败.体系结构验证是利用体系结构产品,将其转换为可执行模型,通过分析可执行模型的执行过程和结果,从而验证评估体系结构设计质量的方法.文章研究了体系结构验证的基本思路,利用现有的组件化建模仿真技术与环境,以部分C4ISR体系结构产品为基础构建仿真系统,通过仿真实验来进行体系结构验证,从而为体系结构验证提供技术支持.     

武器装备体系结构可执行模型

探讨了可执行武器装备体系结构的总体框架,分析了建立可执行体系结构的三个阶段,提出了建立可执行模型的方法和步骤。该方法以体系总体描述、系统体系结构、作战活动图、作战顺序图以及作战规则模型等视图产品为基础,通过视图产品到仿真模型的映射机制建立可执行模型。以ExtendSim仿真工具作为可执行模型的运行环境,选取战时情报侦察监视体系作为实例研究,说明了该方法用于武器装备体系结构动态分析是可行的。     

基于SysML系统设计的动态性能效能评价

阐述符合DoDAF标准的SysML系统体系结构设计、设计方案的可执行模型和定量化系统动态性能效能评价。通过作战案例分析,提出了指挥自动化系统体系结构设计过程中建立可执行模型的一般步骤,体系结构设计的可执行模型转化方法,系统性能评价体系的构建和动态性能效能测量方法。从而解决了由系统建模语言(SysML)实现的系统体系结构设计的动态评价问题。     

基于混合体系结构的软件可靠性评估方法与应用

基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。     

基于结构化的C3I体系结构着色Petri网建模方法

结构化分析是构筑C3 I系统体系结构的基本方法 ,着色Petri网模型对于C3 I系统体系结构的功能和性能评价具有重要价值。探讨基于C3 I系统体系结构的结构化分析结果建立着色Petri网模型的方法具有重要意义。简要论述了C3 I系统体系结构的结构化开发方法。提出了一种根据C3 I系统功能体系结构的结构化分析模型建立着色Petri网模型的方法 ,应用实例表明了该方法的可行性和实用性。     

基于DoDAF的有人/无人机协同作战体系结构建模

有人/无人机(manned/unmanned aerial vehicle, MAV/UAV)协同作战是未来战场中重要的空中作战模式。由于MAV/UAV协同作战体系系统复杂、涉及作战节点多,需从系统工程的角度对整体作战体系进行顶层设计,并采用统一的结构框架对该体系结构建模。首先,引入美国国防部体系结构框架(Department of Defense architecture framework, DoDAF),提出一种体系结构快速开发方法,并给出开发步骤。然后,利用视图模型,对MAV/UAV协同作战体系的系统功能、作战任务活动、各作战节点的信息交互及组织关系等建立模型。最后,通过动态仿真对模型进行验证。结果表明,所提作战体系的执行状态与预期的作战流程一致,体系结构设计合理,系统内各作战节点定义及信息体系结构描述具备一致性和协调性。     

基于DoDAF的有人/无人机协同作战体系结构建模

有人/无人机(manned/unmanned aerial vehicle, MAV/UAV)协同作战是未来战场中重要的空中作战模式。由于MAV/UAV协同作战体系系统复杂、涉及作战节点多,需从系统工程的角度对整体作战体系进行顶层设计,并采用统一的结构框架对该体系结构建模。首先,引入美国国防部体系结构框架(Department of Defense architecture framework, DoDAF),提出一种体系结构快速开发方法,并给出开发步骤。然后,利用视图模型,对MAV/UAV协同作战体系的系统功能、作战任务活动、各作战节点的信息交互及组织关系等建立模型。最后,通过动态仿真对模型进行验证。结果表明,所提作战体系的执行状态与预期的作战流程一致,体系结构设计合理,系统内各作战节点定义及信息体系结构描述具备一致性和协调性。     

模型驱动的系统体系结构仿真验证研究

在综合电子信息系统（ｃｏｍｍａｎｄ,ｃｏｎｔｒｏｌ,ｃｏｍｍｕｎｉｃａｔｉｏｎ,ｃｏｍｐｕｔｅｒ,ｉｎｔｅｌｌｉｇｅｎｃｅ,ｓｕｒｖｅｉｌｌａｎｃｅａｎｄｒｅｃｏｎｎａｉｓｓａｎｃｅ,Ｃ４ＩＳＲ）和航天维修等复杂系统建设前,对系统的体系结构进行仿真和验证是降低系统后期开发成本和风 险的有效方法。提出了基于系统体系结构中的活动模型、规则模型、动态模型和数据模型等向统一的Ｓｉｍｕｌｉｎｋ仿真 模型的映射方法,并基于模型驱动架构中的模型转换技术实现了前者向后者的自动转换,不仅能够提高仿真模型构 造的效率,还能保证仿真模型和体系结构模型的一致性。哈勃太空望远镜维修系统的体系结构仿真验证案例说 明了方法不仅能够验证系统体系结构模型之间的逻辑一致性,还能够对系统体系结构的性能进行有效预评估。     

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

正~~     

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     

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.