军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

作战应用软件评测指标及方法研究

作战应用软件装备部队前进行黑盒评测必须以规格需求为基础。根据作战应用软件的功能区分,提出了作战应用软件评测指标确定的原则和依据,建立了评测的指标体系,给出了评测方法。应用层次分析法自底向上对各级指标属性值进行计算,并对计算方法进行了分析。所用的评测指标体系和评测方法适用于各军种兵种作战应用软件评测,具有通用性特点。     

软件无线电技术在导弹无线电引信设计中的应用

将软件无线电技术应用于导弹武器的无线电引信上,提出了软件无线电引信系统的软、硬件实现方案。该方案是建立在中频数字化基础之上的,是将先进的信号处理技术应用于实践的尝试。     

Changing the paradigm: Simulation,now a method of first resort

Decades ago, simulation was famously characterized as a “method of last resort,” to which analysts should turn only “when all else fails.” In those intervening decades, the technologies supporting simulation—computing hardware, simulation‐modeling paradigms, simulation software, design‐and‐analysis methods—have all advanced dramatically. We offer an updated view that simulation is now a very appealing option for modeling and analysis. When applied properly, simulation can provide fully as much insight, with as much precision as desired, as can exact analytical methods that are based on more restrictive assumptions. The fundamental advantage of simulation is that it can tolerate far less restrictive modeling assumptions, leading to an underlying model that is more reflective of reality and thus more valid, leading to better decisions. Published 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 293–303, 2015     

虚拟试验光传输环境通用支撑软件设计

根据光电对抗虚拟试验的实际需要,分析了虚拟试验光传输环境模型,设计了一种能为光电对抗虚拟试验提供光传输环境服务的通用支撑软件。研究了能集成现有光传输效应模型的软件框架,设计了基于组件对象模型和通信代理技术的环境服务通用接口及符合综合自然环境数据表示与交互规范(SEDRIS)的环境数据库访问接口,最后介绍了软件在光电对抗虚拟试验系统中的应用流程。实际表明,支撑软件能为更科学、合理地评价光电对抗虚拟试验效果提供有力支持。     

乡村先进文化对社会软治理的引领作用——以河北边防总队实施爱民固边战略为鉴

河北公安边防总队通过实施爱民固边战略,发挥了乡村先进文化对社会软治理的引领作用,用承栽着乡村先进文化内容的、群众喜闻乐见的形式来影响群众,从而实现了社会协调,加深了沿海地区村民对于社会的认同感以及对于社会价值的遵从。     

基于FMECA的信息系统软件失效安全风险评估与预测

随着大量软件产品应用于信息系统,不可避免地增大了软件失效对系统安全的影响概率。本文以某信息系统文电收发的处理过程为例,引入FMECA法,对其文电收发处理过程中由软件造成的风险进行分析,同时分析了引起风险常见的失效模式,并引入Markov模型对软件失效造成系统严重危害的风险进行预测,通过Markov模型与FMECA法结合能够迅速定位软件失效的原因,减少因软件失效造成的系统损失。     

一种基于VLIW DSP架构的高性能取指流水线

以超长指令字(VLIW)数字信号处理器(DSP)作为平台,针对现有提高单线程取指流水线效率的方法中存在的弊端,提出了一种高性能的取指流水架构.该架构支持无效取指的检测与作废,从而降低不必要的cacbe访问,减少取指流水停顿周期,该结构还引入专用硬件支持编译调度的循环软流水,有效提高指令并行性,降低代码存储空间,由此释放...     

基于VISA和SCPI的自动校准程序开发

描述了在VC++环境中开发的基于VISA接口标准的射频半实物仿真系统校准自动测试程序.利用VISA函数与接口无关、与操作系统无关、与编程环境无关的特点,通过GPIB总线和SCPI标准命令对矢量网络分析仪进行程序控制,达到空间辐射信号精确测量的目的,实现了目标阵列的宽带特性校准.     

基于Ansofl的PMLS发电机纵向边端效应仿真

永磁直线同步发电机特殊的结构使其存在一种特殊现象——纵向边端效应,从而严重影响了永磁直线同步发电机的性能。利用有限元电磁场分析软件Ansoft建立了永磁直线同步发电机的二维模型,分析了纵向边端效应产生的原因,以及纵向边端效应对永磁直线同步发电机初级磁场的影响。利用磁阻相等的原理,通过增加发电机端部齿宽度和极数两种方法来改善永磁直线发电机性能。经Ansoft软件仿真,结果表明增加端部齿宽度和极数可以有效抑制纵向边端效应,提高永磁直线同步发电机的性能。