软件静态分析工具评析

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

基于Alamouti码的卫星差分协同方案设计与仿真

协同通信是可望在未来移动通信中得到实用的高性能信号传输技术之一。为有效避免协同通信进行实时信道估计比较困难这一难题,提高系统的可实现性,文章针对卫星移动通信的系统结构提出了一种基于Alamouti码的卫星差分协同通信系统方案,并利用Matlab软件对该方案在不同卫星移动衰落信道环境中的性能进行了仿真分析。结果表明,在相同的信道条件下,采用协同方式可大大提高系统的抗衰落能力,而且卫星移动通信的特定系统结构非常适合协同通信的性能发挥,使其接近或达到传统多天线系统的性能。     

大型船舶流行病传播控制过程多智能体模型

基于复杂网络和传播动力学相关原理,构建了符合大型船舶人员交互特征的社交网络,定义了传播网络层级结构,分析了交互网络拓扑生成的5项规则,给出了大型船舶流行病传播社交网络构成方法。基于多智能体技术,研究了交互网络节点成员属性和流行病传播特点,给出了智能体成员状态空间的基本构成形式,融合防护治疗、管控隔离、信息交互等因素的物理特征,构建了智能体状态迁移和行为交互过程算法,并分析论证了衰减函数的结构及区间特性。对比距离恒定模型和随机游走模型,分别对典型大型船舶流行病传播过程分4种工况12种状态进行了仿真计算,结果表明:随机游走模型更适合信息量丰富条件下的大型船舶流行病早期传播过程模拟仿真和疫情防控策略分析。     

基于多源先验数据的装备测试性评估方法

针对基于装备多源先验数据融合过程中可能存在数据冲突的问题,提出一种基于多源先验数据的装备测试性评估方法.针对装备设计、生产和制造过程中可能存在的测试性虚拟-实物试验数据、测试性预计信息和专家经验信息等先验数据,将其折合成先验分布参数形式.通过基于兰氏距离和邓熵改进的D-S证据理论来进行数据融合,得到最终测试性评估结果.通过实例分析发现,提出的方法较基于传统Bayes理论和经典D-S证据理论的测试性评估方法而言,其精度更高.     

多彩动态VFD显示的设计与应用

详细介绍了VFD(真空荧光显示器)在单片机测控系统中的应用.根据水蒸气在高温环境下的测控需要,选择三极管型VFD作为参数和状态显示设备,通过基于SM16312驱动电路的硬件设计和ATmega8单片机的软件编程,实现了各参数和状态的多彩动态显示,为工业大批量生产提供了一条具有较高性价比的设计思路.     

基于CAN总线的装甲车辆电源系统在线检测设计

提出了一种装甲车辆故障在线检测方案,采用C8051F040单片机作为控制单元,通过相应的接口电路对装甲车辆电源系统的各路信号进行实时采集,并将结果通过CAN总线传入上位机,与其它检测子系统构成装甲车辆在线故障检测系统.     

常压干燥制备疏水SiO2气凝胶

以聚二乙氧基硅氧烷(PDEOS)为原料,用甲基三乙氧基硅烷(MTES)对制得的醇凝胶进行表面改性,经乙醇和正己烷洗涤,在常压条件下干燥后得到疏水二氧化硅气凝胶.研究表明溶胶-凝胶体系中各组分的最佳配比为C2H5OH∶PDEOS∶HF∶H2O=20∶10∶3∶0.5(重量比);当MTES/ PDEOS(重量比)大于1.2时,经表面改性的疏水二氧化硅气凝胶与水的接触角大于110°,其密度和比表面积分别在125～160kg/m3和560～900m2/g范围.     

弹药弹体尺寸自动测量系统

在对某系列特种弹药的弹体结构尺寸分析和归类的基础上,详细阐述了弹体几何尺寸的测量原理,并结合工厂的实际,采用激光位移传感器和计算机自动控制技术,实现了弹体的关键尺寸的数字化测量与评价。实际应用表明该系统可以有效地提高弹体尺寸的测量精度并定量评价弹体的尺寸误差,内外径和同轴度的测量精度可达10μm以内,外长的测量精度可达100μm以内,能有效地指导加工的工艺流程和加工的尺寸精度控制。     

落实科学发展观 提升高校科研水平

落实科学发展观,是党中央着眼于我国现代化建设的长远发展做出的重大决策。院校的科研工作,必须按照科学发展观的要求,转变思想观念,努力解决好影响科研工作上水平的“瓶颈”问题,打造有利于科研发展的坚实平台,最大限度地提高科研综合效益。     

军用“三网合一”系统的方案设计与安全性分析

分析了军用电话网、军用广播电视网和指挥自动化网的现状,明确了军用“三网合一”的目标和可行性,提出了一种适合我军战时需要的“三网合一”实现方案,着重描述了该方案的结构、组成、工作原理及网络接口设计,对该方案的安全性能及使用的关键技术进行了分析,并给出了提高系统安全性的相关措施。