详细化学反应机理对预混丙烷钝体熄火模拟影响

航空发动机熄火预测是重要关键问题之一，湍流和化学反应的非线性相互作用使预测非常困难。本文采用大涡模拟（LES）对湍流进行高精度模拟，采用概率密度函数输运方程湍流燃烧模型（TPDF）耦合JL4、Z66和H73三种化学反应机理，对预混丙烷钝体熄火现象和规律进行研究。JL4的反应机理最简单，反应释热快，局部放热高，火焰宽度大，火焰两侧温度梯度大，燃烧更加趋于稳定，无法模拟出熄火状态。H73机理绝热火焰温度低，火焰温度低，回流区中部OH含量高；在近熄火状态，大量CO被氧化，释放热量过高导致无法模拟出熄火现象。Z66机理可以模拟出火焰正常状态，在低当量比下也可以模拟出熄火状态。本文算例中，局部Da数大于1的区域超过35%则会发生熄火。     

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来，随着嵌入式软件开发需求的增多，传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力，提升审查效率，研究者们逐渐将目光转向以深度学习技术为首人工智能领域，尝试寻求技术上得突破，以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动，即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况，对未来代码审查的发展方向作了进一步的探讨.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

军机研制引入竞争机制的探讨

论述了在社会主义市场经济条件下,军机研制引入竞争机制的意义、面临的问题,并提出了实施建议。     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

我国完成光电雷达综合跟踪试验台校准技术研究

据航空报报道，2005年年底，填补国内机载光电配套设备行业空白的两项重要科研攻关项目——“某型光电雷达综合试验台校准技术研究”、“某型光电雷达跟踪试验台校准技术研究”在中国一航航空产品部主持下顺利通过了科技成果鉴定。这两项科研攻关项目是由一航计测和一航光电所共同研制生产的。     

大直径、高动态性能测试、试验设备研制成功

2007年2月9日,3KTD-550型三轴转台出所验收评审会在九江召开。参加会议的有某军种装备部、海军某部、上海交通大学等单位的代表,项目组的科研人员也参加了会议。     

日本M—5运载火箭

1M-5运载火箭的研制计划和设计目标1997年2月14日，日本利用M－5固体运载火箭在鹿儿岛航天中心成功发射了1颗称为Muses－B的射电天文卫星。M－5是日本最新研制的一种新型运载火箭，而且它也是目前世界上最大的固体运载火箭。1987年以前，由于受日本航天政策的限制，日本宇宙科学研究所（ISAS）只能生产外部直径不超过1．4m的一次性运载火箭。但随着ISAS发射任务的增加，日本空间活动委员会重新修改了空间政策，并确定ISAS能够生产直径达到2．5m的运载火箭。M巧的设计即反映了新的航天政策。M－5是日本M系列运载火箭中第6个型号，前5…