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

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

基于SA的C4ISR体系结构可视化建模

SA是国外先进成熟的武器系统体系结构的分析、设计、可视化建模与验证工具.介绍了SA的基本概念、功能与模块组成.结合"无人机侦察系统"C4ISR体系结构建模案例,根据SA中C--4ISR系统OV视图产品的开发步骤,开发,设计了C--4ISR OV视图中几个关键产品模型,为后续深入研究如何利用SA进行所需C4ISR系统体系结构的可视化分析、设计与建模打下基础.     

C4ISR体系结构描述的逻辑和行为验证

针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程.     

面向服务的C~4ISR体系结构服务视图描述框架

C4ISR体系结构设计作为系统顶层设计的重要组成部分,是保证C4ISR系统之间可集成、互操作的关键,针对原有的C4ISR体系结构系统视图中军事资源系统之间紧密耦合难以适应作战视图中作战任务过程动态变化的问题,结合面向服务的思想对原有的体系结构描述框架进行扩展。为了保证C4ISR体系结构数据一致性,在底层体系结构基本数据元素模型分析的基础上加入服务元素,通过分析服务元素之间以及服务元素与原有的体系结构数据元素之间的关系,确定C4ISR体系结构服务视图描述框架,并对服务视图产品描述内容、数据元素模型及产品之间的关系进行分析。     

C4ISR体系结构研究现状与问题

体系结构是组成系统各部件的结构、它们之间的关系以及制约它们设计和随时间演进的原则和指南。C4ISR体系结构已成为国内外军事领域的研究热点以及大型军事信息系统开发的关键技术之一。归纳了C4ISR体系结构研究的重要意义及其主要的研究方向。在介绍了C4ISR系统体系结构定义之后,从三个方面总结了C4ISR体系结构技术的研究进展。最后在分析当前体系结构研究不足的基础上对体系结构的发展趋势进行了总结和展望。     

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

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

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

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

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

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

C4ISR系统体系结构设计环境研究

体系结构设计是C4ISR系统顶层设计的重要组成部分,其设计内容包括一系列相互关联的基本产品和支持产品,这些产品以图形、文字、表格的方式提供给用户。体系结构设计需要借助专门的设计工具。从体系结构设计的需求和体系结构产品的特点出发,设计了体系结构设计工具和环境,实现设计成果的共享并支持协同开发,维护了体系结构设计的一致性。     

基于DoDAF的体系结构模型设计与验证

建立体系结构模型是C4ISR系统工程的重要组成部分,它是降低系统研制风险,缩短研制周期、保证系统满足军事需求的重要手段.重点分析了体系结构产品的内容和相互逻辑关系,提出了具体的设计步骤,并就体系结构模型验证提出了思路和方法.以海上联合机动编队系统为实例,建立了其体系结构模型并进行了驱动验证,结果表明该方法步骤是可行的.     

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     

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.