面向RISC-V内核的标记指令复算与纠错机制的设计

由宇宙辐射等环境因素引起的硬件瞬时故障会极大降低计算机系统的可靠性。为了减小硬件瞬时故障对系统可靠性的影响,保证程序的正确运行,基于RISC-V开源内核“蜂鸟e203”提出一种标记指令复算与纠错机制。该机制为指令码额外增加了复算标记,以较小的硬件开销实现对指定指令的复算操作。此外,该机制可以在第一次复算结果与初始运算结果不等时自动进行二次复算,并由三次运算结果的多数表决结果来纠正大部分硬件瞬时故障所引起的数据流异常。实验表明,通过与中断处理程序相结合,在随机注入瞬时故障的情况下,程序的正确执行概率平均增加了86.67%。     

基于信息系统的作战试验指挥控制技术及发展分析

装备作战试验成为现代装备应用能力和作战效能考核的重要模式,基于信息系统的指挥控制作为装备作战试验全过程的黏合剂,发挥着控制试验效益、试验进程和试验安全等重要作用。本文以美军的指挥控制技术为背景,论述了作战试验的相关概念,分析了信息化条件对指挥控制的影响,研究了信息化作战指挥控制结构模型和流程,最后提出了基于信息系统的作战试验发展趋势。     

基于模糊层次分析法的组网电子对抗效能评估

随着信息化和网络化的不断发展,组网电子对抗成为一种必然趋势。为了评估组网电子对抗的干扰效能,通过分析组网电子干扰的任务目标和工作模式,构建了组网电子对抗的评估指标体系,将模糊层次分析法应用于组网电子对抗的干扰效果评估,并在此基础上建立了模糊层次评估模型。该方法通过构建相应的数学模型,实现了对组网电子对抗效能评估体系中不确定性指标的量化和对干扰效果较为准确、客观的评估。实例结果分析表明模糊层次分析法具有可行性与有效性,可以为组网干扰效果的评估和组网干扰资源的优化提供参考。     

虚拟行为机制下的恶意代码检测与预防

Cohen证明了不存在一个算法可以精确地检测出所有可能的计算机病毒。MCDPM是一种基于虚拟行为机制的恶意代码检测方法,其目的是避开Cohen结论的限制,从而实现对恶意代码的有效检测和预防。MCDPM将传统的代码行为过程分解为虚拟行为发生和实际行为发生两个部分,通过对虚拟行为及其结果的监视和分析,实现对代码行为的精确检测。由于MCDPM的分析结果是建立在代码的确切行为之上,因此其判断结果是真实和准确的。对于非恶意代码,MCDPM则可以通过实际行为发生函数将其运行结果反映到系统真实环境,保持系统状态的一致性。MCDPM可以用于对未知恶意代码的检测,并为可信计算平台技术的信任传递机制提供可信来源支持。     

基于视频叠加的心理暗示信息生成和影响机制研究

针对心理战中潜移默化影响对象国民众的需求,提出了基于视频叠加的心理暗示(PSBOVS)的构想,从心理依据和视频基础两个方面研究了视频叠加暗示信息的生成和影响机制。给出了基于视频叠加的心理暗示效应过程模型,并结合心理因素对信息生成进行了视频建模和参数分析,从暗示信息被接收、注意、理解和接受的角度,对信息内容和形式的确定进行了论述。为暗示信息有效编码进而有效影响受众心理提供了理论依据和决策支持。     

车用CAN网络瞬态干扰的来源及控制

CAN网络结构设计对其抗干扰特性的影响很大,良好的结构设计可以提高系统的稳定性,从车内CAN网络被干扰的实际问题入手,通过对CAN网络上采集到的干扰信号进行研究,结合车内电子部件的工作原理及发生电磁干扰的原理,分析产生此问题的原因,提出解决方案,并通过测试验证了解决方案的有效性,通过干扰发生器施加更大强度的干扰的方法,验证了改进方案的安全裕度,达到使用要求。     

先期毁伤原则下武器单元的射击时机分配

以先期毁伤为原则,首次对武器单元的射击时机分配问题进行数学建模。提出一种使毁伤概率密度在时间上靠前分布的武器单元射击时机分配模型,在保证指定瞬时之前以期望概率毁伤目标的前提下,合理分配各武器单元的射击时机,实现对目标的尽早毁伤。根据射击时机分配模型中约束函数的单调性特点,提出一种改进的连续域蚁群算法,使算法自变量满足约束条件的"优良区域"开始搜索,采用搜索窗口平移的方法逐步寻找最好解,提高了算法的搜索速度。实例分析验证了模型和算法的有效性。     

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

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

m序列在电视指令制导中的应用

针对某电视指令制导系统的无线电指令编码加密进行了分析和研究,介绍了一种基于171序列编码加密方案.该方案根据m序列的特点采用双层密钥,大大扩大了密钥空间,限制了密码分析者攻击时的累加性,提高了通讯的安全性.