应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

矩形截面高超声速进气道气动设计及实验验证

首先对矩形截面高超声速进气道设计方法进行了研究,给出了设计流程,并据此设计了矩形截面高超声速进气道.接着对其进行了三维数值仿真研究,给出了进气道性能参数随来流马赫数、飞行迎角及飞行高度的变化规律.最后设计了实验模型,并进行了高焓风洞实验验证.数值模拟及高焓风洞实验验证均表明:本文采用的设计方法可达到预期的设计效果,设计的进气道达到了相应的设计要求,本文采用的数值仿真方法可以较为准确地模拟高超声速进气道内的流动,数值模拟结果可信.     

多维驱动微型振动平台的研制

一种以压电元件为驱动源,结合柔性铰链机构的微型振动平台,通过计算机设计控制电压波形,对其进行三维振动控制.通过实验证明,该机构具有良好的波形跟踪性能,易于实现复杂控制波形,适用于微型机械的动态性能测试.     

捷联式天线平台的稳定性研究

将Rudin提出的红外成像捷联稳定模型用于天线平台的稳定,并应用不变性原理,采取匹配滤波方法,提高了稳定平台的解耦精度.具体仿真结果表明:在0.5 Hz~1.0 Hz频段解耦精度提高了35 dB.同时,在考虑传感器测量噪声的情况下,对天线平台的稳定误差进行了仿真分析,结果显示,传感器测量噪声对稳定误差有较大的影响,但通过滤波稳定误差可减小50%左右.      

六自由度Stewart平台动力学模型的特性分析

根据六自由度Stewart平台的动力学模型,利用矩阵分析的方法详细分析和证明了动力学模型的一些物理特性:动力学模型系数矩阵的有界性,矩阵函数的斜对称性以及动力学模型的线性参数化. 这些工作为基于六自由度Stewart平台动力学模型的非线性控制器设计、系统稳定性的证明以及系统物理参数的辨识奠定了理论基础.      

空间机动服务平台在轨补给技术研究

根据空间机动服务平台的特点,对推进剂在轨补给技术进行了研究,提出了一种空间机动平台推进剂在轨补给方案,即基于表面张力贮箱作为加注箱和接受箱的双组元推进系统的在轨加注方案。该方案具有如下优点：与现有卫星推进系统相匹配,改动量最少;没有使用任何活动部件,提高了系统的可靠性;产生的热量比倍压式要少,便于缩短加注时间,提高加注的可靠性和安全性。依据这一方案对空间机动平台在轨补给系统进行了详细设计。     

机载设备自动测试系统通用开发平台

针对当前自动测试系统(ATS,Automatic Test System)开发技术存在的不足,构建了一个ATS通用开发平台.该平台对ATS软硬件进行联合设计,用户只需通过接口输入被测设备信息及测试策略流程,平台即可自动完成大部分软硬件设计工作,包括仪器选型、适配器设计、测试程序生成等.设计结果会传递到平台提供的ATS运行环境,供用户进行被测设备的测试、故障诊断.经实例验证,ATS软硬件联合自动设计技术可缩短开发周期,降低开发成本,提高设计的标准化、通用化程度.      

GARMIN G1000系统维修平台设计

在分析GARMIN G1000系统结构及其内部总线规范的基础上,设计出一套集测试、诊断、维修于一体的GARMIN G1000系统维修平台,包括系统硬件设计、软件设计等。硬件设计主要包括信号模拟机、系统选择面板、信号转换模块和主控计算机等设备的设计。软件设计包括功能软件、测试软件、公用软件及数据库和帮助文档的设计与实现。实践证明该平台具有强大的故障诊断功能和良好的可扩展性,可用于G1000系统的部件测试维修工作。     

张力腿漂浮式风力机的运动响应计算

漂浮式风力机与近海桩基式风力机、陆上风力机差异很大,特别是漂浮平台设计复杂,对仿真工具要求更高。海上风力机除受气动载荷之外,还需进一步考虑海洋环境所施加的各种其他载荷。采用自由涡尾迹方法计算风力机气动性能,分别采用线性波和PM频谱模拟波浪运动并应用Morison方程计算波浪载荷。构建张力腿漂浮平台结构动力学方程,以气动载荷和波浪载荷为激励,得到平台响应,并反馈至气动计算,从而完成气动、结构和水动的耦合计算。最后以大型风力机NH1500为例,对张力腿式海上风力机进行仿真模拟,对比分析来流风速、浪高和波浪入流角对漂浮平台运动和风力机气动性能的影响,采用PM频谱模拟真实海况并计算漂浮式风力机动态响应,为漂浮式风力机设计提供了依据。     

陀螺稳定平台漂移误差参数的辨识方法研究

给出了一种平台工作在惯性稳定状态下的静态多位置测漂方案 ,建立了包含陀螺漂移、地球自转因素在内的平台漂移数学模型和系统状态方程 ,解决了三轴开路状态下的耦合问题。取框架角传感器的输出作为观测量 ,利用广义Kalman滤波器对含有噪声的测量数据进行处理 ,将参数辨识问题转化为状态估计 ,仿真结果表明 ,此方法可以获得较好的辨识效果