Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

机场市场定位与运营模式

机场作为民航运输市场体系中的一个重要组成部分，是衔接民航运输市场供给和需求间的纽带。但长期以来，机场与航空公司相比在市场经济活动中处于相对被动的地位。同时，机场的市场地位界定不甚清晰，使得机场的建设投资、经营管理、政府监管等往往出现偏差。 随着航空运输市场的不断成熟和发展，对机场的运营也提出了更高的要求。正确认识机场的经济特性，明确机场的市场定位是机场经营运作的前提和基础，同时对提高机场的经营效益，加强民航业政府监管也具有十分重要的现实意义。一、机场的经济特性机场属于基础设施领域，具有准公共产品…     

涡轮转子凹槽叶尖泄漏流动气动热力特征

为探索总结凹槽叶尖泄漏流动气动热力特征,利用实验和数值模拟方法,对叶尖凹槽内部旋涡相互作用机理和叶顶流动换热与泄漏流能量再分布等问题进行研究,并对凹槽叶尖参数化设计方法进行探讨。结果表明:搭建的考虑多因素实验台和可视化泄漏流动测量方案可以精确地捕捉到叶顶区域的流动结构;刮削涡在凹槽中起到"气动篦齿"作用,其形态特征的变化直接影响凹槽叶尖对泄漏流动的控制效果;高温泄漏流流体对叶片表面的冲击是叶尖热负荷提高的主要原因;合理选择叶尖气动参数和凹槽的几何参数可以有效控制刮削涡形态,最终提升叶尖气动热力性能。     

铌微合金化对1Cr21Ni5Ti屈服强度的影响

为了提高1Cr21Ni5Ti双相不锈钢的屈服强度,对其进行了铌微合金化,通过化学分析、金相观察、拉伸试验等,对微合金化前后的性能进行了对比研究。结果表明,经过Nb微合金化处理的1Cr21Ni5Ti屈服强度σ0.2显著提高,达到了技术条件的规定。     

拉伸塑性对TC11 500℃低循环应变疲劳的影响

 测定了TC11合金经不同制度热处理后试样的500℃低循环应变疲劳的△ε_t～N_f曲线,在不同的△ε_t值条件下,拟合出N_f与φ、δ_5之间的经验关系式。结果指出:强度相近时,合金的塑性越低,其500℃时的N_f越低;虽然魏氏组织500℃的N_f一般低于等轴组织,但若魏氏组织中的片状α或束域比较细小时,其500℃N_f值可明显提高,并与等轴组织的差别缩小。     

烧结温度对SiO2-ZrO2体系陶瓷型芯材料性能影响研究

采用传统的热压铸工艺制备可快速脱芯的定向、单晶空心涡轮叶片用SiO2 -ZrO2体系陶瓷型芯材料,研究结果表明,该材料随烧结温度从1150℃增加到1200℃,收缩率变大,当烧结温度超过1200℃时,烧结收缩增加显著,1200℃烧结的陶瓷型芯晶粒发育比较完善,主要相组成为非晶SiO2、方石英、ZrO2,其综合性能最佳,室...     

重复使用金属热防护系统研究进展

综述了金属热防护系统的国外研究最新进展,重点介绍了国内相关研究和试验的最新情况.指出金属热防护系统仍是下一代重复使用运载器大面积表面热防护系统的优选方案之一.