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

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

便携式航空领航计算仪的设计与实现

设计了一款以STC12C5A60S2微型处理器为控制器,矩阵键盘为数据输入,12864液晶显示屏实现人机交互,Keil uVision4为程序开发平台的便携式航空领航计算仪,分别建立了基本参数、航迹修正、空中风计算和转弯诸元计算4个模块的关系式,实现了各个模块的功能,具有携带方便,计算快速准确,人机界面良好的特点。     

直升机飞行参数综合分析系统的设计与实现

本文的研究目的是实现直升机飞行参数的综合分析,建立了数据采集装置、飞行参数维护子系统、飞行参数信号处理与分析子系统、智能故障诊断子系统、虚拟飞行再现与评估子系统五个部分。阐述了各个子系统的设计思路和方法,系统的设计和实现对于直升机飞参记录系统校验维护、直升机技术状态监控、飞行质量评估和飞行安全及事故分析具有重要的意义。     

红外成像非接触转捩测量低速风洞试验技术研究

发展红外成像非接触转捩测量低速风洞试验技术,旨在解决特殊气动布局外形及金属材料模型转捩位置测量问题.通过在模型表面产生热壁面、现场测试模型表面发射率、使用遮蔽板、在金属模型表面喷涂隔热氟碳漆等措施,解决了环境条件、发射率、辐射传递干扰、金属模型材料特性等阻碍红外成像技术应用的关键问题;通过数值计算及试验测试得到模型热壁面与环境温差在20℃范围内,热壁面背景温度对转捩位置基本没有影响,解决了热壁面对转捩位置影响问题;通过试验原理、试验方法、关键参数测试、转捩判据、准度考核等研究工作,构建了红外成像非接触转捩测量低速风洞试验技术;通过引导试验考核了试验系统.结果表明:该技术实用可靠,值得推广.     

非线性参数识别的相关积分方法及其应用

使用相关积分方法解决单自由度非线性系统的参数识别问题。利用相关积分方法的滤波特性可以有效地抑制测量信号中的噪声影响，提高参数估计的精度。同时可以分别建立非线性阻尼和刚度参数的线性识别方程．实现两类参数的分离识别，有利于弱非性项的参数估计。将这一方法用于贮箱内液体晃动等效力学模型参数的试验确定问题，解决了由于采用防晃装置而产生的非线性晃动阻尼的参数识别问题。     

跨声速洞壁干扰研究述评

本文以近期国内外风洞试验结果说明了跨声速洞壁干扰研究的重要性，简述了国内外跨声速洞壁干扰修正方法，重点介绍了ＣＡＲＤＣ近年来在跨声速洞壁干扰研究方面的进展。最后，作者对国内的跨声速洞壁干扰研究提出了建议。     

导弹出水过程动力学参数辨识方法研究

导弹出水过程时间短,边界也随时间变化,对短时非平稳信号的模态参数识别技术进行研究,最后利用特征系统实现法对其出水过程进行模态参数辨识。     

机器人制孔工艺参数优化有限元仿真分析

采用大型有限元DEFORM-3D和Abaqus软件分析机器人制孔的切削机理和制孔时机器人的振动机理。仿真分析了机器人制孔的切削力,并以仿真数据为基准,拟合了机器人制孔切削力的经验公式,仿真机器人的模态、刚度和阻尼,运用颤振理论分析了机器人制孔时避免振动的工艺参数范围。通过有限元仿真研究表明:有限元仿真计算有效地解决了机器人制孔工艺参数优化问题。     

风洞自由飞试验中气动参数辨识准度评价方法研究

当高超声速风洞自由飞试验的测量数据被有色噪声污染时,传统的Cramér-Rao界作为参数估计准度的度量往往过于乐观。文本采用一种修正协方差方法来处理传统的最大似然估计的残差,以便计算出有色残差情况下精确的Cramér-Rao下界,对辨识参数结果进行不确定度评价。以10°半锥角尖锥模型为例,通过大量的Monte Carlo仿真试验和风洞试验验证了修正协方差方法的有效性。结果表明,在风洞试验测量存在有色噪声情况下,修正协方差方法给出的标准差均值约为传统的Cramér-Rao界方法给出的标准差的3~5倍,与参数估计的统计标准差一致,客观反映了参数辨识结果的精准度。     

机载三股流板翅式冷凝器数值计算与实验研究

分析了翅片、隔板和流体的传热规律,采用有限容积法建立了包含相变流和交叉式在内的多股流板翅式换热器数学模型。基于蒸发制冷循环试验台,在4种工况条件下对机载交叉式三股流板翅式冷凝器换热性能进行了实验,并在特定工况下,通过温度场分析了各股流体间的换热特性。经数值计算与实验结果的对比,流体换热量的最大相对误差为8.08%,满足工程设计计算需求。通过定性分析,认为流体流量分配不均、相变流体潜热以及相变对流表面换热系数的计算是误差的主要来源。