基于模糊Petri网的实时系统功能模型构建

Petri网在描述具有模糊行为的系统时是有缺陷的,为了更好地分析、评价和开发实时系统,提出了一种利用模糊Petri网构建实时系统功能模型的方法,阐述了模糊Petri网的基本原理,详细介绍了利用模糊Petri网的特征分析实时系统的功能及绘制实时系统功能模型的步骤。     

基于功能部件的指挥控制系统软件设计

传统的基于嵌入式的指挥控制系统软件按照面向过程进行设计，模块化程度低、复用性差，维护、移植困难。提出了功能软件的部件化设计方法，建立了嵌入式实时系统下基于功能部件的软件体系结构，并简要给出了基于功能部件的软件开发流程。实际应用表明：功能部件具有低耦合、高内聚等优点，且易于实现并行开发、调试；基于部件的软件体系结构清晰，具有较好的健壮性、开放性和移植性，可快速构建面向不同任务的指挥控制系统，显著缩短系统的开发时间、降低系统开发成本、提高系统开发效率。     

小样本装备软件成本估算相关向量机建模

针对装备软件成本估算时面临的历史数据少的小样本难题,提出把机器学习理论运用到装备软件成本估算研究领域,构建了基于相关向量机的小样本装备软件成本估算模型,采用COCOMO模型数据库中的数据对所构建模型进行训练和验证。为进一步验证所构建模型的合理性,在机器学习领域分别运用支持向量机模型和神经网络模型对相同数据进行估算,实验结果证明了基于相关向量机估算模型在小样本装备软件成本估算时比其他两种模型更精确。     

面向对象的实时系统:概念和实例

大型的动态实时系统需要复杂的嵌入式软件,本文系统阐述了面向对象实时系统的基本概念,并以为动态实时应用设计的Chaos系统作范例,分析了该系统的基于对象的语言、程序设计以及执行过程。     

基于Hi3531A和Qt的操控终端软件设计

为了满足战场实时系统自检、监控警戒、火力打击的需求,设计了一种基于Hi3531A和Qt的操控终端软件.该软件采用海思Hi3531A作为核心处理器,通过交叉编译Qt库作为开发环境,可根据外设通信口自行配置内核和驱动模块.基于Qt跨平台和组件编程的特点实现通用化、模块化编程.实验证明,该软件界面操作简单,运行稳定可靠,满足性能要求.     

一种光电瞄准系统的建模仿真方法

基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件.     

自适应软件需求的形式化建模与验证

为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射规则,并通过验证软件约束公式在状态变迁模型上的可满足性,达到验证软件需求与软件约束一致性的目的。最后,通过舰船火灾损管系统的实例说明了自适应软件需求的建模和验证过程。     

基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中，传统的可执行测试数据生成方法由于没有充分利用软件变更信息，在对模型分支错误进行检测时效率较低。为此，提出了一种基于EFSM模型融合的可执行回归测试数据生成方法，制定规则对软件变更前后的模型进行融合，将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历，结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明：该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。     

基于多QoS约束的启发式路由选择算法设计与实现

针对时延、路由跳数以及网络资源利率3种约束，结合软件路由器项目，对路由选择算法的网络模型进行了描述和定义，并提出了基于多QoS约束的启发式路由选择算法（H_MCP）。通过在软件路由器上实现和测试，表明该算法具有可行性和启发性。     

基于SPW的有源干扰条件下雷达系统仿真分析

利用SPW软件建立了某型雷达系统和有源遮盖性干扰模型，并在此基础上进行了仿真。基于仿真结果，对有源干扰条件下雷达性能进行亍分析。     

基于知识的模型表示研究

基于知识的模型表示是信息管理系统,特别是决策支持系统(DSS)的基础。根据模型管理和模型建立动态性原则的要求,提出了模型知识化的框架表示法,并给出了应用实例。     

基于价值的指挥主体作战指挥行为评估

作战指挥行为是作战指挥理论的一个重要方面。在明确了其概念后,将价值这一概念引入作战指挥行为评估,认为价值的创造主体是作战指挥行为,并以此作为评估的基础。最后,利用数据挖掘中的关联规则实现评估的量化,并结合案例说明该方法的有效性。     

基于本体的异构信息查询技术研究

将本体应用于异构信息集成领域,提出了基于混合本体的信息集成框架,并结合实际对基于本体的查询处理问题进行了研究,通过实例验证了该信息集成框架的可行性.     

基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

基于网关的LVC互操作研究

仿真体系结构解决了各自领域内仿真资源的互操作问题,而体系结构间的互操作是解决多种仿真资源互操作的有效方法.由于通信协议、中间件和对象模型的不同,体系结构间不能直接进行信息交互.对象模型间的相同点是异构仿真系统间互操作的基础.建立异构系统对象模型与通用数据交换模型的映射关系,通过模型转换实现各异构系统间的数据交互,最后通过"点对点"和通用网关间的时延比较,总结了通用网关的性能特点.     

基于信息折合的CMSR方法研究

计数法和计量法是对产品可靠性评估的两种不同方法。通过仿真,比较了它们对正态单元双边可靠性评估的效率,发现对可靠性要求很高的产品,计量法优于计数法。进一步研究了基于信息析合的CMSR方法,通过仿真检验,证明了此种方法在样本量较小时是实用的。     

基于能力匹配的网络化防空作战联盟生成研究

作战联盟用于描述网络化防空作战的组织框架,其生成问题是研究网络化防空作战协同的基础。首先从任务、联盟表达、能力含义等方面对防空作战联盟问题进行了描述;然后从防空作战节点与面临任务在能力上的供需关系出发,建立匹配、匹配域、能力裕度等相关观念,并依据防空作战联盟形成的不同准则,分别建立基于能力裕度最大和基于执行节点数最少两个NADOC生成问题的约束优化模型;最后通过案例对模型进行了验证分析。     

基于集对分析方法的UUV威胁评估

UUV威胁评估问题是典型的不确定性军事问题,构建了多因素影响条件下的UUV威胁等级评估层次框架,利用集对分析方法以定量的形式对威胁评估问题进行了研究,针对UUV执行某种特定战术任务的简化情形进行了仿真计算,结果具有相当的可信性。     

基于任务的装备维修决策研究

以保证装备的任务成功性和任务后装备的战备完好性为目标,提出了基于任务的装备维修决策的概念,包括以任务成功性为中心的维修决策和以任务后装备战备完好性为中心的维修决策。分析了基于任务的装备维修决策过程;研究了基于任务的装备维修决策方法,主要包括装备任务描述模型、任务-功能-产品映射模型、产品任务功能故障分析方法、装备任务成功性评估模型、以任务成功性为中心的装备维修逻辑决策模型、以任务后装备战备完好性为中心的装备维修逻辑决策模型等;指出装备状态评估和预测、装备任务成功性评估是今后有待深入研究的问题。     

基于无线网络的军用ATE研究

传统的军用ATE采用传输电缆把信号采集传感器与测试仪器相连接.严重影响了设备的可移动性.为了取代军用ATE终端的连接电缆,提高部队的作战效能.所研究的ATE采用无线网络和计算机测量与控制技术满足了测试仪器在小范围内的可移动性,用蓝牙模块代替电缆,从而使ATE不受电缆长度和连接限制,易于转移和维护.为技术人员快速可靠的检测武器装备提供了便利.