基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

一种开关磁阻电机无位置传感器控制效率优化策略

针对开关磁阻电机(SRM)的简化磁链法只能实现单相导通运行且导通区间固定的缺点,提出了一种结合固定关断角和自适应调节开通角的无位置传感器控制技术。利用曲线拟合关断位置磁链取代传统存储数据表,通过对比实时计算的动态磁链和曲线拟合的静态磁链,确定关断位置信号并估计转速和其他位置。考虑电机阻抗和电感的非线性特点,优化电感最小区域的开通角自调节模型确定导通区间。仿真结果验证了该方案的可行性和正确性,能够实现转子位置的间接检测,电机的运行效率得到进一步优化。     

航空软件配置管理系统设计和关键技术研究

从军工软件配置管理的需求出发,结合国军标的开发库、受控库和产品库的三库配置管理体系,阐述某自主知识产权的＂航空软件配置管理系统＂的总体设计思路,指出该配置管理系统实现的关键技术为软件配置库的存储设计方法和文件的增量存储和差异比较技术。说明系统软件配置库的存储设计思路和方案,采用编辑图和贪心算法实现文件的增量存储和差异比较技术的解决方案。总结系统的特点和优点,说明系统下一步发展及扩充的几个方向。     

超高速碰撞碎片云的四序列激光阴影照相

为研究超高速碰撞过程中所产生碎片云的特性,在中国空气动力研究与发展中心超高速所碰撞靶上发展了四序列激光阴影照相系统.该系统由YAG激光光源、阴影仪、成像系统和控制系统组成,在采用多光源空间分离、偏振分光、光束角放大、补偿式滤光等技术后,获得了撞击速度v=4. 6km/s时碎片云的四序列阴影照片.笔者对该系统的工作原理、调试情况及试验结果进行了介绍.调试及试验结果表明:(1)该系统可以获得最小间隔为1μs、曝光时间为10ns的4个不同时刻的超高速碰撞碎片云图像,满足碰撞试验中对碎片云照相的要求;(2)该技术可以发展为更多序列激光阴影照相系统,并应用于其它超高速瞬态过程的测量显示.     

电大尺寸散射体的RCS计算方法研究

为了更加有效的求解电大目标散射计算问题,在避免谐振区效应情况下获得复杂目标的隐身雷达散射截面(RCS)特性,引用混合场积分方程(CFIE),在快速算法的求解迭代过程中采用共轭梯度算法(CG)的收敛技术,能够稳定的求解电大尺寸的RCS。计算和分析了金属球双站RCS和金属立方体双站RCS,并和精确计算、相关参考文献进行了比较,证明了方法的正确性,计算结果稳定,在工程实际上有较大的应用价值。     

基于空间非合作运动辐射源照射的目标定位研究

研究了一种基于空间非合作运动辐射源照射的无源探测系统。根据时差定位的基本原理,在不能采用直接测量获得时差信息的条件下,提出了一种间接的获取时差信息的方法,经过理论推导和仿真分析,结果表明该方法的目标定位精度能够满足对目标的定位与跟踪需求。     

基于矩阵广义特征逆问题实现的具有数字签名功能的Hill密码体制

在研究矩阵广义特征逆问题的基础上,对Hill密码体制实施改进,实现了一种具有数字签名功能的Hill密码体制方案,并给出了该方案的详细实现过程.改进后的Hill密码体制具有数字签名功能,能够达到一次一密的效果.     

高超声速等截面磁流体发电机性能研究

采用三维低磁雷诺数磁流体动力学五方程模型,对等截面管道法拉第型分段电极磁流体发电机内的流动进行数值模拟,研究了负载系数、磁场强度、电极-绝缘壁宽度比对发电通道性能的影响.结果表明:当负载系数为0.50时电功率密度达到最大,并且随着负载系数的增大发生器的减速能力降低;当磁场强度为8T时,500mm的管道长度即可将来流马赫数从6降低到3以下,温度保持在800K以下,并且每立方米的管道发电量能够达到兆瓦级的水平.      

对称性原理在积分计算中的推广及应用

文章将定积分的对称性原理推广到了多元函数的情形,并提出了积分区域关于某点、某直线、某平面对称的积分计算方法。     

基于virtual-link解决OSPF孤岛问题

内部路由协议OSPF通常将一个自治系统AS划分成一个以上的区域,这些区域中必须有一个区域是骨干区域,如果有其他区域没有直接与骨干区域在逻辑上连接,就会出现OSPF孤岛问题。文章提出并具体实现了利用virtual-link穿透一个与骨干区域相连的非骨干区域来解决OSPF的孤岛问题。