基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

C4ISR需求开发新途径：基于本体建模

针对C4ISR需求客观上复杂且特殊、主观上难沟通等特点导致C4ISR需求开发难的问题,研究C4ISR需求本体,提出开发C4ISR需求的一条新途径:基于本体建模。首先,构建C4ISR需求本体元模型、语义模型,很大程度上澄清了C4ISR需求领域知识结构;然后,提出基于本体建立C4ISR需求模型的具体步骤;最后,示例说明方法的可行性、有效性,展示了方法的应用前景。     

面向对象方法的一类飞行器模拟器设计与实现

对一类C4I飞行器模拟器的设计与实现进行了研究.该模拟器是分布式C4I仿真系统中的兵力生成子系统,起着演示指控效果、检验决策质量的重要作用.从系统需求出发,采用面向对象的方法对它进行了分析与设计,并最终实现了飞行器模拟器软件系统.该系统已成功应用于某防空C4I仿真试验床中,C4I联机试验表明,飞行器模拟器能较好地模拟指控命令响应并提供较高精度的飞行导航模拟数据.此外,面向对象方法的采用,不仅使系统功能得到了加强,也大大缩短了系统的开发周期.     

基于PCI总线的多路数据总线接口设计与实现

提出了一种主处理机可以直接控制的1553B总线接口模块的设计与实现方案,并简要介绍了其硬件结构、工作过程和软件开发.利用PCI协议芯片实现PCI局部总线与军用1553B总线的桥接,采用WDM技术编写驱动程序.所设计的总线接口模块符合MIL-STD-1553B总线标准,具有结构简单、成本低廉、操作方便等特点,可用于仿真,开发1553B总线产品.     

大整数乘除运算在PC机上的实现

大整数在要求高精度的应用中非常有用.特别是大质数和一般大整数有一个极为重要的应用,就是关于计算机数据加密.在计算机数据加密技术中,常会遇到大整数的算术运算问题.由于所使用的机器和所用语言的限制,大整数的"乘""模"两种运算很难运用高级语言中的"乘""除"运算.提出了一种逐位存储、按字节运算的方法,并用C 实现了大整数的十进制乘除法运算,之后将提出的算法与类似算法的时间复杂度进行了比较,最后给出了算法的运行时间.     

影响图建模理论及其应用实例分析

影响图方法体现了定性分析与定量分析相结合的建模思想,可对复杂系统进行规范化建模。介绍了影响图建模思想和相关的基础理论,通过对C4ISR系统参与下的战术防空作战过程的分析,给出了描述作战过程所需的参数及其间耦合关系,最后采用影响图方法建立了防空作战的影响图模型,并指出了应注意的几个问题。     

C4ISR系统需求一致性开发方法研究*

为支持军队信息化建设需求论证的研究工作,对C4ISR系统需求的开发方法进行了研究。将C4ISR系统的需求划分为作战需求、用户需求和系统需求三个层次;UML作为面向对象建模语言已广泛应用于C4ISR系统需求描述,结合C4ISR系统体系结构的开发方法以及体系结构产品与UML模型之间的映射关系,提出了C4ISR系统需求的分析开发过程和基于UML模型需求描述方法,并且为保证需求模型的一致性,提出了C4ISR系统需求开发的一致性策略。     

高超声速飞行器组合导航体系效能评估

集合当今世界高精尖端技术的高超声速飞行器,单一或简单的组合导航方式已经无法保障其高超声速全球到达的飞行任务。研究了一种INS\GNSS\CNS组合导航体系方案,与典型的INS\GNSS组合导航系统方案相比较,并采用改进的贝叶斯法融合算法对这两种导航方案进行综合效能评估。结果证明,该评估方法切实可行,便于计算应用,证实了INS\GNSS\CNS组合导航体系保障高超声速飞行器作战能力更强。     

基于AT89C51的室内智能化控制系统设计

基于AT89C51单片机设计了一套不依赖智能开关,即用即加的室内智能化控制系统,通用的部分分门禁系统、智能电器、智能感知3个模块,分别以电子密码锁、ZigBee组网和红外接、发设备、各类传感器为主,旨在使用户摆脱对安防问题的困扰,方便对智能设备的使用。     

俄罗斯新一代舰载指控系统的设计思想

介绍了俄罗斯舰载指控系统的发展历史,分析研究了俄罗斯新一代指控系统的体系结构。以俄罗斯某新型指控系统为案例,介绍了其硬件和软件功能设计思想。