VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

认知无线网络中不同场景的动态频谱聚合算法

在认知无线电网络中,不连续的频谱片段可以通过频谱聚合来满足认知用户的用频需求。常用的频谱聚合算法有具有聚合能力的频谱分配算法、最大满足算法和最小切换算法等。文章在这几种算法的基础上提出了一种能够预测高级用户出现概率的方法,从而减少网络开销;对于用频需求较大的情况,提出了折中算法和片段最大化算法,增加了可支持的用户数量,并减少了网络开销。仿真结果表明,上述算法具有较好的效果。     

比例规则后件的T-S模糊模型辨识方法

模糊划分应满足测量准则,这一点常被忽略。采用余弦平方函数作为隶属函数,解决了曲线型隶属函数在模糊化分后满足测量准则问题。T-S模糊模型后件由线性函数构成,以局部线性化方式实现全局非线性,通过分段性逼近辨识曲线,常用于系统辨识中,但其辨识参数多是其主要问题。比例规则后件的T-S模糊系统具有万能逼近特性,且构成参数少,用于非线性系统的辨识中,可以减少辨识参数,提高辨识速度。给出其在系统辨识中应用的方法,并通过仿真实例说明本方法的有效性。     

DIS的多武器模拟器训练系统

现有的武器系统模拟器大多是对单个武器系统平台的性能仿真,利用DIS可以将它们联结成多武器平台的作战环境下的对抗仿真。在分析基于DIS的多武器系统模拟器训练系统的基础上,确定了系统的仿真框架,介绍了系统中通信的实现方法,并介绍了系统的工作过程。     

空中进攻作战出动计划禁忌搜索优化分析方法

空中进攻作战出动计划涉及多种复杂因素,大规模空中进攻作战出动计划不仅计算量大、出动强度高、架次多,而且当战场形势发生变化时,必须及时对飞机出动计划做出调整,采用手工方式制定和修改作战计划已难以适应未来空中进攻作战的要求。从分析制定空中进攻作战航空兵出动计划所涉及的诸要素出发,提出了一个较为合理的作战出动计划模型,并采用禁忌搜索求解模型的优良解,为实现计算机制定和及时修正空中进攻作战出动计划提出了一种有效的解决方法。     

预警机雷达在协同空战中的多目标探测

预警机指挥下的多机协同攻防系统,利用预警机的高空机载雷达和强大的通讯导航系统有效地提高了多机攻防系统的防空预警能力和综合指挥作战能力。对该系统进行了理论框架分析,给出了其整个工作过程的各个功能模块的模型,并针对预警机的雷达探测能力进行了对多组目标实时探测跟踪的仿真计算。     

影响油罐电位的输油参数分析

目前,油库、储运公司改扩建工程较多,不可避免对工艺流程进行调整,依据液体静电产生原理,应用高斯定理和欧姆定律等理论,分析油罐注油过程中油面电位以及时间与管径、流速等各参数之间的关系,针对管径不变流速变化的情况,进行实验分析,在不对管路进行整改,仅对泵进行重新设计优选时,对如何控制罐内电位的安全,提出参考方案,对油库改扩建工程有一定的指导意义。     

手性吸波混凝土电磁屏蔽性能实验研究

综述了手性吸波的研究现状。在实验中进行了手性吸波混凝土的制备,测试了实验样品的电磁屏蔽性能。结果表明,手性吸波模型是混凝土吸波的完整理论,对混凝土的高吸波性能、高屏蔽性能、宽频性能的研究提供了理论基础,为先进吸波混凝土的研制开辟了新途径。     

营房管理可视化系统设计方案

利用地理信息技术、数据库技术以及办公自动化技术提出了营房可视化管理系统设计方案,实现了空间数据的上传下载以及与营地实力系统数据的导入导出;并根据面向对象技术实现了对空间图层类、信息窗体类和属性数据维护类的封装,为改变传统的营房管理模式,实现营房的信息化、可视化管理作了一定的探讨。     

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...