基于Richardson插值法的CFD验证和确认方法的研究

针对典型高超声速流动问题(T2-97模型),利用Richardson插值法,研究了多套连续变化网格下数值解的空间离散误差、收敛性。通过网格收敛性研究,完成了CFD的验证过程。利用不确定度分析方法,结合实验数据,开展了该问题的确认。研究表明:针对所选问题,在现有实验数据及计算条件下,该问题的CFD得到了验证与确认。     

三维大规模地形的实时显示与渲染

利用真实地形数据，基于四叉树的LOD算法，即利用视点相关和地形本身的起伏度相关技术确定地形应有的细节程度来绘制大规模三维地形。并根据真实航片和地形高程值分别生成真实和模拟的地貌纹理，计算出地形阴影贴图，产生阴影效果。在保证渲染速度的前提条件下，有效地提高了场景的视觉真实程度。     

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

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

实时数据库的主动机制研究与实现

主动机制是实时数据库管理系统（ＤＢＭＳ）的一个重要功能。在主动机制的基础上,实时ＤＢＭＳ能够根据数据库中某些数据及环境的变化,主动地作出一定的反应,执行预先设计的动作,而不仅仅是被动地执行用户的命令。文中主要介绍一个实时ＤＢＭＳ的主动子系统,采用事件－条件－动作的规则来实现其主动功能;讨论了规则的表示和存储结构,规则子系统的系统结构及与ＤＢＭＳ的联系;并详细介绍了条件评价器、规则检索优化、规则冲突     

旋翼/机身组合模型试验台技术改进及验证

中国空气动力研究与发展中心研制的旋翼/机身组合模型试验台,具有阻塞度小、功率大、支架干扰小等优点.近年来,试验台通过配套研制标模系统、改进测量系统及旋翼操纵系统标定方法等工作,使试验台的水平和能力得到了进一步的提升.验证试验表明:该试验台技术先进、性能指标优良,安全稳定性好,试验数据精准度高,可作为直升机型号研制和课题研究可靠的试验平台.     

基于接触式压脚的机器人制孔垂直度优化研究

针对传统非接触式法向校正技术在弱刚性薄壁上的不足,在接触式压脚结构的基础上对传统法向校正方案进行了研究,提出一种仅适用于接触式压脚结构的两点校正算法,同时设计了一套基于激光跟踪仪的法向测量系统标定方法。针对弱刚性薄壁受到压脚单向压紧力产生回退对制孔位置精度的影响,提出一种工具中心点（Tool center point, TCP）变位补偿技术,该技术利用激光位移传感器监测壁板回退量,在法向校正前动态调整TCP位置,实现对壁板回退量的实时补偿。搭建试验平台并通过制孔试验验证了接触式法向校正技术与TCP变位补偿技术可有效保证孔的垂直度与孔位精度,实现孔垂直度误差小于0.25°,孔位偏差小于0.4 mm。     

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈.分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法.该方法提高了验证效率,缩短了整个设计验证周期.     

不同运行模式下跑道容量评估技术研究

跑道容量的大小是机场能否进行高效率运行的一个关键因素,准确评估出跑道的理论容量对机场的实际运行有着至关重要的作用.对单跑道的理论容量进行建模,在单跑道的基础上研究了近距跑道与远距跑道的不同运行模式下的跑道容量数学模型,根据相关机场具体的数据对模型进行验证,并用SIMMOD PLUS仿真软件对机场的场面实际运行情况进行仿真,通过计算出的跑道理论容量与仿真出的空侧容量对比,结果表明机场跑道理论容量计算模型具有较好的实用性.     

长征五号芯一级模块试车工作展开

<正>日前,长征五号运载火箭芯一级模块转运至中国航天科技集团公司六院101所动力系统试验台,顺利完成吊装、上台安装并与试验台成功对接,标志着该模块试车工作全面展开。此次试车涉及系统多,接口复杂,时间紧、任务重。为保证试验方案设计、标志性验证试验等前期准备工作以及试验现场工作协调有序进行,该所参试人员密