软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

海军指控系统应用软件复用集成平台研究

为了充分发挥海军指控系统应用软件的使用效能,需要采用先进的软件体系结构建立灵活高效的软件复用平台,从技术层面映射各种复杂多变的组织结构和管理体制,既能面向新一代指控平台发展方向,又能高效地改造和集成遗留系统。以面向服务的技术为基础建立海军指控系统应用软件复用架构模型,依托架构模型提出了代码复用、软件升级和软件整合三种软件复用集成策略,在此基础上设计实现了海军应用软件复用平台,可以敏捷搭建应用系统,并同时拥有快速响应需求变化的能力,显著提升指控系统应用软件的灵活性和适用性。     

关于军用软件可靠性问题的探讨

归纳了军用软件在可靠性方面存在的主要问题,在此基础上详细分析了影响军用软件可靠性的因素,并提出了提高军用软件可靠性的途径,并从六个方面重点进行了阐述。     

新科技

长效衣物抗菌剂美国佐治亚大学的研究人员近日开发出一种新型抗菌剂,可对医疗用品、家纺制品、衣服、口罩、纸巾、尿布、袜子等物品进行低成本抗菌处理,且多次洗涤后仍能保持抗菌效果。这种抗菌剂对目前在医疗机构中常见的病原体都进行过测试,包括葡萄球菌、链球菌、大肠杆菌、绿脓杆菌等。结果发现,在37摄氏度的温度下,     

任重道远——我国核电站放射性废物处理和处置综述

日本福岛核事故导致的核危机,使公众对核电安全高度关注。随后东电公司将含有高浓度放射性物质的核污水排入海洋,也使得核电站乏燃料后处理和核废物处置成为与核安全同等重要的问题,备受瞩目。核电站运行到底会产生哪些废物?这些核废物应该如何处理和处置?我国正在采取哪些措施?这里试图根据相关权威部门的资料和专家学者的判断进行梳理回答。     

《办法》：使国防科研生产安全事故处理有法可依

今年6月1日正式施行的《国防科研生产安全事故报告和调查处理办法》．填补了我国国防科研生产安全事故报告和调查处理法规依据方面的空白,对于进一步规范生产安全事故报告和调查处理．落实责任追究制度。严格事故调查管理和保密工作,具有十分重要的意义。     

党史军史工作者应该积极研究探讨和正确处理历史敏感问题

历史敏感问题是党史军史研究的重要对象,具有政治性和科学性双重特点,涉及的内容复杂,群众关注度高,处理不好会混淆人们的视听,助长历史虚无主义的泛滥,让邪史歪史散布蔓延,正史信史失去阵地,从而损害中国共产党和人民军队的声誉,甚至会被敌对势力加以利用造成意想不到的后果。党史军史工作者研究这类问题时要做到4点:一是坚持党性原则与科学精神相统一的根本态度,二是坚持澄清事实与挖掘价值相统一的科学方法,三是坚持以我为主与借助外力相统一的力量组成,四是坚持遵循政策与正面教育相统一的重要原则。     

电光调制傅里叶干涉仪光谱分析及软件实现

为了提高光谱分辨率的同时保证干涉仪的稳定性及实时性,设计了电光调制傅里叶干涉仪,加载特定相位的调制信号,从而由电扫描光程差代替机械扫描.根据光谱探测原理得到光程差函数表达式作为光谱分析算法主要参考公式.基于该光程差调制方法提出了对其形成的空间干涉条纹分析的光谱分析算法,并在Visual Studio软件平台下完成了光谱分析软件.采用中心波长650 nm、780 nm、808 nm、980 nm四种激光器作为光源,CameraLink-M2CL型CCD探测器采集干涉条纹,将经调制后干涉仪得到的干涉条纹导入光谱分析软件,最后分析算法及标定程序绘制光谱图与标准光谱仪检测得到的光谱对比,通过加权对比本软件结果符合标准谱分布.     

主动谐波消除多电平射频脉宽调制策略及其性能分析

为降低全数字发信机(All-Digital Transmitters, ADTx)的输出谐波要求,提高系统宽频带工作性能,提出并实现适用于全数字发信机的多电平射频脉宽调制(Radio Frequency Pulse Width Modulation, RF-PWM)策略。该方法通过控制各子脉冲的脉冲宽度,在基波分量加权之和正比于输入信号包络的前提下,实现对RF-PWM脉冲序列特定谐波分量的有效抑制。以3次谐波消除为例,对该5电平RF-PWM策略实现方案进行推导,同时分析验证了该方案下脉冲基波分量与信号幅度之间的最佳增益系数。在此基础上,利用软件仿真验证了理论分析结果以及主动谐波抑制RF-PWM策略的有效性。     

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

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