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

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

基于模型转换的C4ISR体系结构可执行模型构建

为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范（international defense enterprise architecture specification, IDEAS）,构建了C4ISR体系结构作战视图元模型;建立了对象Petri网（object Petri-net, OPN）建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型。     

基于fUML的C4ISR体系结构可执行

由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR体系结构的可执行建模元模型,使用它们来构建C4ISR体系结构的可执行模型;定义可执行模型的代数语义域--可执行活动模型代数（executable activity model algebra,EAMA）,使用语义函数将可执行模型的行为语义转换为EAMA的进程项;定义EAMA的操作语义作为进程项的执行规约,通过对进程项的仿真执行来实现C4ISR体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。     

面向C4ISR能力分析的领域特定描述语言

针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UMLProfile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.     

C4ISR系统研制过程与管理概述

针对C4ISR系统研制过程中存在的问题,提出了C4ISR系统研制基于过程的管理方法.该方法以软件能力成熟度模型和生命周期法为基础,对C4ISR系统研制的过程元素进行分析.在此基础上建立了由管理角色、过程工具和过程资源、关键过程类这三大元素构成的过程管理框架,并给出了一个C4ISR系统研制的过程管理系统的分析.     

基于UML/OCL的C4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveillance and reconnaissance, C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language, UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。     

C4ISR仿真系统动态演化机制

以基于代理技术的C4ISR仿真系统为研究对象,重点研究通过基于事务的动态依赖关系确保仿真系统的一致性.首先,为保障演化系统的事务一致性,通过静态分析方法获得基于事务的动态依赖关系;然后,针对动态演化的执行,设计了一个动态配置平台来管理动态演化操作并恢复演化系统状态,在此基础上,提出了一个基于代理的C4ISR仿真系统模型,基于该模型设计的C4ISR仿真系统具备动态演化的能力;并通过项目的实施验证了所提方法的可行性和有效性.     

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

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

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

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

基于信息流的网络化C4ISR系统结构抗毁性分析方法

网络化C4ISR系统规模庞大、结构复杂,系统结构成为影响网络化C4ISR系统各种特性的主要因素,特别是结构与系统抗毁性之间存在直接的因果关系。本文在分析系统结构抗毁性概念的基础上,首先提出了网络化C4ISR系统结构信息流模型;然后基于该模型提出了基于信息流的系统结构抗毁性分析方法;包括不完全信息下系统结构的攻击模型、系统完成任务能力的度量方法以及抗毁性指标计算方法;最后通过对区域联合防空指挥信息系统结构抗毁性仿真实验分析,验证了该方法的有效性。     

地区间投入产出模型分析

地区间投入产出模型是投入产出分析领域中非常重要又非常复杂的内容,它是研究地区间经济联系和物流关系的工具,它对研究如何发挥不同地区经济优势,确定生产力合理布局,优化资源配置,特别是对当前研究西部大开发与东部和中部之关系具有重要的意义．论文对世界上已有的地区间投入产出模型进行综述,简要介绍3个较为经典的模型,说明地区间投入产出模型的发展轨迹,分析各自特点、适用情况及其差别,希望对我国的地区间投入产出分析模型发展有所帮助．     

考虑税收的可计算非线性动态投入产出模型及其参数设定

建立了含税可计算非线性动态投入产出模型,并利用中国的实际数据估计出模型参数.本文是可计算非线性动态投入产出模型在税收领域的应用.根据本文的模型可以给出求解增值税、企业所得税、个人所得税等主要税种合理税率的计算公式.     

岳阳县总体经济计量预测模型及其应用

预测未来,是一个国家,地区或部门在制定中长期发展计划时的主要基础工作。为了制定岳阳县总体经济的“八五”计划和长期发展计划,中南财经大学数量经济研究所和中南工业大学管理工程系两单位九人与岳阳县中长期规划办公室研究人员一起,进行了“岳阳县中长期发展规划”研究。在研究过程中,我们以系统工程科学理论为指导,定性分析与定量方法相结合,运用“高效解”优化理论实现规划方案的遴选。我们认为,为使规划建立在科学的基础上,就必须通过一些模型对未来作出预测。因此,在系统     

人地关系的系统动力学模型研究

采用系统动力学的研究方法 ,建立起了人口总数与环境承载力之间的系统动力学模型 ,并在一定的假设基础上给出了三个关于人地关系的有代表性观念的模型 :冲突模型、掠夺模型以及和谐模型 .通过对这三个模型的分析 ,得出了人类与自然环境长久共存的条件 ,以及在怎样的条件下人口总数最大等结论.     

基于剩余收益模型的商业银行价值评估模型及实证研究

在剩余收益模型的基础上,提出了资产波动法和收入波动法,并以2004-05美国新桥投资收购深发展的股权为案例,运用收入波动法模型,利用MATLAB程序做出了蒙特卡罗模拟,得到有关结论。     

航天任务模型到规划模型转换的映射方法研究

卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强.通过提出转换规则,分析模型转换的源模型--基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型--规划模型,得到模型转换的主要因素,在此基础上提出了模型转换的映射方法.针对规划模型的组成元素设计转换规则和转换的过程算法,实现了数学模型的自动化构建.最后,通过对地观测卫星对点目标的观测应用任务的案例,验证了映射方法的可行性.     

支持协同仿真的模型库管理技术研究

根据协同仿真中对于模型管理的需求，研究了基于CORBA的模型库管理系统的三层体系结构，提出了基于模型字典和模型结构相结合的改进面向对象的模型表示方法，研究和实现了模型的版本．配置、操作等管理技术，最后以汽车姿态控制系统为例，对以上设计思想的可行性加以验证。     

基于DIS的水下制导系统数据库设计

主要介绍了基于分布交互式仿真 ( DIS)的水下制导系统数据库构成的基本原则和体系结构 ,给出了技术实现途径和方法 ,并对数据的连接与控制进行了分析。对数据类型、分布操作和动态操作过程进行了说明 ,介绍了管理系统的总体设计思想、方法 ,给出了系统总体设计方案     

短波宽带通信系统中信道模型的研究

在Mastrangelo短波宽带信道模型的基础上采用其简化的Watterson短波宽带信道模型，针对不同的信道条件将信道分成了四种不同的信道类型，并根据信道测量结果给信道类型进行了赋值，最后本文提出了Watterson短波宽带信道模型的仿真方法。     

虚拟自然环境计算模型的研究与实现

虚拟自然环境的构造方法是虚拟现实技术的重要组成部分。本文从气象、地形和水文三个方面给出了虚拟自然环境的快速构造方法,在此基础之上,提出了一种可以实时估算各种环境因素动态变化的计算模型。这种基于离散时间段的环境因素计算模型,既保证了虚拟自然环境的实时性能,又使环境因素的动态变化能够影响仿真实体的决策和运行,从而提高了系统仿真的逼真程度。