一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者,将软件实体抽象成余代数单子,从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义,在此基础上对软件服务进行单子描述,进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后,实现了一个基于单子的Web服务计算平台原型系统,可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

发动机涡轮轴弯矩试验方法研究

概述了双转子发动机结构及受力分析 ,介绍了低压涡轮轴和高压涡轮轴弯矩试验方法 ,以及弯矩对双转子轴系可靠性的影响。     

亚跨声速边界层增长因子输运模式研究进展

基于线性稳定性理论的e^N方法是航空航天飞行器绕流转捩预测技术中可信度较高的一种。传统的线性稳定性理论的求解过程较为复杂,在复杂气动外形表面的推广阻力较大。随着近年来当地化转捩模式的快速发展,将传统线性稳定性理论的分析流程模式化,即将线性稳定性理论分析转化为一个CFD问题,成为研究热点。其核心思想是对层流相似性解进行大量的线性稳定性分析,然后获得扰动增长因子包络线与层流基本流特征变量之间的函数映射关系,再利用输运方程的积分特性构造对应扰动增长因子的输运模式。随后对模式中出现的非当地变量进行当地化求解,最终与湍流模式耦合形成新的转捩-湍流输运模式。经过验证,当前发展的流向N_TS输运模式与横流N_CF输运模式在广泛的算例验证中取得了较高的预测精度,但还存在需要改进和完善的地方。     

“中航工业集团公司成员单位标准化水平评价规定及评价方法”专题研讨会召开

<正>按照中航工业集团公司标准化工作整体安排,2014年下半年将持续开展成员单位的标准化水平评价工作,以促进集团公司各成员笮位标准化水平的整体提升。中航工业综合技术研究所根据集团公司要求承担标准化水平评价规定及评价方法相关文件的编制任务,并做好评价前的文件资枓与技术准备。2014年7月22日,"中航工业集团公司成员单位标准化水平评价规定及评价方法"专题研讨会在西安召开,中航工业通飞公司、试技中心、一飞院、直升机所、动研所、上电所、自控所、洪     

计算大型实对称特征问题的 Lanczos-QR 算法

为了计算大型实对称特征值问题Ｋｘ＝λＭｘ的少数低阶特征值对,本文给出Ｌａｎｃｚｏｓ－ＱＲ迭代方法。首先,给定初始迭代向量ｖ１,作ｍ步Ｌａｎｃｚｏｓ分解：ＫＶｍ＝ＭＶｍＴｍ＋ｈｍｅｍＴ。取Ｔｍ的ｄ个最大特征值为移位量,对Ｔｍ进行ｄ步带原点位移的ＱＲ分解。然后,修改初始迭代向量ｖ１。迭代地重新开始这一过程,迫使初始迭代向量ｖ１进入需求的特征子空间,从而使残量‖Ｋｘ－θＭｘ‖→０。数值例子表明,该方法收敛性强,且稳定、有效。     

计算大型实对称特征问题的Lawnczos—QR算法

为了计算大型实对称特征值问题Ｋｘ＝λＭｘ的少数低阶特征值对,本文给出Ｌａｎｃｚｏｓ－ＱＲ迭代方法。首先,给定初始迭代向ｖ１,作ｍ步Ｌａｎｃｚｏｓ分解：ＫＶｍ＝ＭＶｍＴｍ＋ｈｍｅｍ＾Ｔ。取Ｔｍ的ｄ个最大特征值为移位量,对Ｔｍ进行ｄ步带原点位移的ＱＲ分解。     

使用对实体访问的功能快速标注尺寸

本文介绍怎样使用ＡｕｔｏＣＡＤ图库访问函数（实体存取函数）对图库中的实体进行访问;获取它们的数据;编写一个ＡｕｔｏＬＩＳＰ应用程序,实现交互性快速地标注尺寸。     

厚壁圆筒热应力问题的传递函数方法

采用传递函数方法研究了厚壁圆筒的热应力问题.首先建立了厚壁圆筒的热弹性基本微分方程,然后运用传递函数方法求解了温度场作用下厚壁圆筒的位移与热应力,并给出其封闭形式解.数值算例表明计算结果与有限元方法的计算结果一致.该文方法还可应用于复合材料层合厚壁圆筒结构的热应力分析.     

软着陆验证试验中月面特性模拟方法

月面特性的模拟是月面软着陆验证试验的重要设计因素。文章结合探测器的设计状态和试验需求,论述了月面特性模拟的具体要求;基于月面地形统计分布规律,实现了月面原始形貌的模拟;通过高程剔除设计和模块化组合设计,实现了对多种典型月貌的快速模拟;最后通过月表反射特性的模拟,全面满足了试验要求,并取得了良好的试验效果。文中所述的模拟方法可为我国后续行星表面探测器及着陆技术的验证提供借鉴。     

壁面温度分布的高超声速平板边界层稳定性分析及转捩预测

针对来流马赫数为4.5、6.0和7.0的高超声速平板边界层,取30km高空处的气体参数,壁面为等温、绝热和温度分布等3种不同条件,采用eN方法进行转捩预测。其中,壁面温度分布条件下,在等温壁（冷壁）和绝热壁之间,给出4种流向分布进行分析。取扰动的初始幅值为0.3‰,以幅值达到1.5%作为转捩判断依据。结果表明:当温度为来流温度时,等温壁面条件的转捩位置最靠前,并随马赫数增大更加靠前;绝热壁面条件的转捩位置随马赫数增大而推后;壁面温度分布条件下,在相同时刻,马赫数越大,转捩位置越靠前。相同马赫数下,壁面温度较高者转捩位置较靠后（马赫数为7.0时,不完全满足此规律）。在马赫数为4.5和6.0时,绝热壁面条件转捩由第一模态主导,其余情况主导转捩的都是第二模态。