嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

面向航空航天的金属多孔夹层结构钎焊研究现状及发展趋势

金属多孔夹层结构具有质轻,比强度、比刚度高,耐高温、耐腐蚀,消音、隔热等优异性能,在航空航天领域高端装备的应用受到越来越多的关注。钎焊法是实现金属多孔夹层结构芯体与面板连接的首选方法。然而夹芯与面板大面积钎焊过程中易产生钎料对薄壁母材溶蚀、焊合率低、焊接变形大、界面易形成连续脆性反应产物等缺陷,因此金属多孔夹层大面积钎焊仍有较大难度,迫切需要开展金属多孔夹层钎焊基础研究。国内外学者针对连接界面微区反应产物的种类和分布调控、薄壁母材的溶解预测、薄壁夹芯的焊接热变形控制等难题,研究了钎焊界面组织调控新方法、钎焊工艺–钎角形态–接头组织–接头力学性能的整体对应关系,阐明接头的组织演化规律,优化接头的力学性能,具有重要的科学意义及工程应用价值。本文从金属多孔夹层结构钎焊接头界面微区调控、基于力学性能优化的钎焊接头微观形态设计、钎焊过程对结构力学性能的影响及焊后强化方法和液态钎料对母材的溶解预测模型等国内外研究进展进行综述。     

涡轴发动机燃气涡轮叶片动应力分析

针对涡轴发动机燃气涡轮叶片动应力试验测点位置选取、动应力测试结果开展了系统的分析研究。采用有限元方法对燃气涡轮叶片进行振动分析,结合测点敏感性、叶片模态试验和不平衡量分析对燃气涡轮叶片动应力试验测点位置进行了优化,根据优化后的测点位置方案开展了动应力试验,并从共振转速、激振源、危险模态、高周疲劳评估等方面对动应力试验结果进行了分析。研究表明：非明确结构激振可导致燃气涡轮叶片1阶共振;对于在工作转速范围内存在共振的燃气涡轮叶片,若高周疲劳评估满足要求,也可安全使用。研究工作可为燃气涡轮叶片振动设计提供参考。     

美国的天基拦截器

□□美国总统布什在2007年2月5日向国会提交了2007-2008年度财政预算案。在该预算案中,除了大幅增加国防开支外,还首次要求初步拨款1000万美元,用于研制美国第1个从太空基地发射的拦截器。这也是布什在预算申请中第1次公开要求研制具有实战功能的天基拦截器。不过在2007年10月,这一提案遭到了美国国会的否决。但是,此举预示着美方有关部门在发展太空监视与跟踪能力的同时,积极研发太空武器,增强其进攻能力。1天基拦截器的作用(1)助推段导弹防御助推段导弹防御系统用于摧毁在助推段飞行的导弹(仍在燃烧中)。对于远程导弹来说,助推飞行时间仅…     

美国发布探索技术研发计划评估报告

2008年8月,美国国家研究委员会(NRC)发布了美国航空航天局(NASA)探索技术研发计划(ETDP)评估报告,报告的题目为<受诸多限制的空间探索技术计划>.     

基于自然语言处理的评教文本分类与分析

学生评教数据是学生对教学过程的态度最直接的反应,也是教师了解学生需求,提高教学质量的有效途径.本文利用某高校真实的学生评教数据,基于自然语言处理探索学生在教学过程中所关注的教学环节.首先,对在线教育现状进行说明,结合自然语言处理模型的特点,将数据进行预处理;其次,通过BERT预训练模型、参数微调将学生教学评论分为5个维...     

具有尖侧缘的非圆截面机身头部几何参数影响研究

有侧滑时,尖侧缘的非圆截面机身头部在中等和大迎角下,可具有方向稳定性.在计算研究的基础上,选择了3个不同上、下表面高度和两个不同侧缘角的模型进行了低速风洞试验.风洞试验结果表明,无侧滑时,机身的升力、阻力和俯仰力矩的绝对值都随高度增大而减小,在α<30°内,表面高度对横向特性影响较小,α=30~60°时,呈现复杂的影响趋势;尖锐侧缘机身比圆侧缘机身产生的升力和阻力都大些,但俯仰力矩差别不大;随着迎角的增大,对横向特性的影响明显;有侧滑时,上表面b/a=0.75的机身和下表面b/a=0.25的机身对方向稳定性的影响最显著,尖锐侧缘比圆侧缘对方向稳定性有更大的影响.     

组织演变对激光熔化沉积TC11钛合金拉伸性能的影响

本文研究了激光熔化沉积TC11钛合金宏观晶粒变化的机制及其对拉伸性能的影响。在其他工艺参数不变的条件下,随着送粉速率的增加,宏观组织从柱状晶粒和等轴晶粒逐渐转变为细小等轴晶粒,并且层间带逐渐弱化直至消失,当送粉速率为45g/min和55g/min时,激光能量已不足以熔化全部粉末颗粒,导致部分区域形成未熔合缺陷。沉积层冷却速率降低,等轴晶内和等轴晶界细小网篮组织逐渐转变为粗大网篮组织和束域组织。低送粉速率的试样呈高强低塑特点,并且两个方向试样呈塑性各向异性,而高送粉速率的试样存在未熔合缺陷,试样强度较低。研究工作对激光熔化沉积钛合金构件的制造有一定的工程指导价值。     

空间推进系统产品贮存寿命评估之加速老化试验方法

应用加速老化试验方法对空间推进系统产品贮存性能进行评估,首先基于空间推进系统产品的结构组成,开展各部组件的贮存性能分析,确定非金属材料部组件为该系统的薄弱环节;然后依据非金属材料的加速老化试验结果,确定空间推进系统组件级、系统级加速贮存试验条件;最终综合相关试验结果,得出全系统产品贮存寿命的评估结论。     

国内民航维修企业及航空公司维修能力一览（上）

2011年本刊推出的两年一次的全国民航维修能力调查活动已经圆满结束，在此，衷心感谢参加本次调查的50多家企业单位对《航空维修与工程》杂志及自1999年以来进行的第七次调查活动的大力支持，同时我们期待着未来将会有更多企业的加入。