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

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

中日卫星双向时间比对稳定度的测定方法

阿伦方差是频率稳定度的常用测定方法,但它的局限性在于只针对取样间隔相等的情况,而对于取样间隔不等的被测定对象,测定结果会与实际大相径庭.中日时间频率传递数据的取样间隔分别为四天和三天,提出了一种新的测定方法,并将两种方法对中日比对数据在同一时段的频率稳定度做比较,证实了新方法较阿伦方差更适合取样间隔不等的数据稳定度的测定.     

双向卫星时间与频率传递温度效应

卫星双向时间与频率传递是高精度的时间比对,外界环境的变化将会影响到比对精度,温度的影响更是不可忽视[1]。以NTSC(国家授时中心)台站与NICT(日本国家情报与通信技术研究所)台站几年来的数据为基础,讨论了双向比对结果与环境温度的相关性。在温度超过12℃时,两站的时间差与环境温度成正比例关系;温度低于12℃时,两站的时间差成反比例关系。证实了对上、下变频器以及低噪放大器采取恒温措施的必要性。     

航天预研项目各阶段质量工作探讨

结合型号质量管理经验,从预研项目的分类出发,提出了预研项目的阶段划分,制定了各类预研项目在不同阶段的质量工作内容、控制重点及完成标志,深化了对预研项目性质和研制规律的研究与认识。     

玻璃纤维芯铅丝(网)/橡胶动态性能影响因素研究

设计并制备了以不同橡胶为基体、具有不同界面结合强度的玻璃纤维芯铅丝(网)增强橡胶复合材料(GF/Pb/R),通过比较它们的动态压缩模量和阻尼损耗因子,研究了复合方式、橡胶基体性能和界面结合强度对于GF/Pb/R动态性能的影响。     

环境温度对电动汽车热泵空调系统性能的影响

针对电动汽车冬天取暖能耗较高,设计了基于蒸气压缩循环的热泵空调试验系统,研究了制热模式下不同的环境温度和压缩机转速对车室内平均温度、高压管路内部工质的温度和压力、系统能效比(COP, Coefficient of Performance)等参数的影响.试验结果表明,当环境温度和压缩机的转速较高时,压缩机出口、车室内换热器出口处工质的温度和压力值较大,车室内平均温度的上升速度越快,达到舒适温度所需的时间越短.在压缩机转速相同时,环境温度越高,系统的COP值越大.     

弹翼展开机构可靠性分析

提出了一种折迭弹翼机构在指定时间内展开到位的可靠性分析方法，文中采用序列响应面法和全概率定理解决了涉及机构动力学随机参数及发射攻角随机参数的双重随机性问题，基于本方法所研制的RSMM程序应用效果良好。     

迷醉于小城的西与东越南媚城会安

窗外的雨淅淅沥沥的下着,踏着展曦我悄悄地进入了会安,这是一个位于越南中部的小城。说它小,是因为车子从城西开到城东,不过十分钟。可这十分钟,却带我穿梭了数百年历史的西与东。会安城坐落在秋盆河北岸,离城数里的会安江接连着中国海,十五世纪开始,会安成为中国海上的东方大港,英、法、葡等西方国家先后在此建立贸易商号,各国商船云集。中国当时在会安的影响力很大,经常一次就过来上百艘商船,把个会安港挤得水泄不通。     

实时监控系统中数据的获取与管理

以一套具体的过程控制系统为例，说明监控系统中数据采样频率的确定、多机系统中数据通讯的实现以及建立适当的数据结构和历史数据库，进行数据管理的方法。     

雾化纯铁磁粉芯的关键工艺

制备了雾化纯铁磁粉芯,饱和磁感应强度达841 mT,起始磁导率134;品质因数9.09（1kHz）,该磁粉芯应用在汽车电器上效果良好,可取代进口磁粉芯或硅钢片。