集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

类车体尾迹区流动的实验研究

对后倾角35°类车体在模型风洞中进行实验,运用三维热线风速仪在选定测点上对空间三个速度分量进行采样。对采得的瞬时值进行平均值处理,并制成相应的云图和矢量图。由图谱说明：类车体尾迹区流动具有对称特性,以一对拖曳涡为其主要特征,并明确了拖曳涡的涡核位置。     

高焓风洞中带翼钝锥体尾流电子密度的测量与分析

报道了在爆轰驱动高焓激波风洞中开展带尾翼钝锥体电子密度测试的相关研究工作进展。试验气流为4km/s,密度为0.001kg/m3。诊断尾翼对尾流的影响时,为不影响流场并获得足够的空间分辨率采用针状静电探针;实验结果给出带尾翼模型对尾流电子密度影响的定量结果及受影响的空间区域。     

曲面红外测温方向性误差分析与修正方法

通过实验验证与理论分析,探讨了曲面特征的红外辐射测温特性.研究结果表明:曲面红外辐射测温在本质上与平面辐射测温相同,满足同一数学表达式;出现曲面红外测温失真的根本原因是被测表面等效面出现了不满足表面漫射条件假设的状况,这主要是由被测表面法向与测量方向夹角过大导致的;通过测量当地表面发射率可以校正因等效面不满足漫射条件假设造成的红外测温结果失真.      

Low-thrust transfer to Backflip orbits

The aim of the work is to design a low-thrust transfer from a Low Earth Orbit to a “useful” periodic orbit in the Earth–Moon Circular Restricted Three Body Model (CR3BP). A useful periodic orbit is here intended as one that moves both in the Earth–Moon plane and out of this plane without any requirements of propellant mass. This is achieved by exploiting a particular class of periodic orbits named Backflip orbits, enabled by the CR3BP. The unique characteristics of this class of periodic solutions allow the design of an almost planar transfer from a geocentric orbit and the use of the Backflip intrinsic characteristics to explore the geospace out of the Earth–Moon plane. The main advantage of this approach is that periodic plane changes can be obtained by performing an almost planar transfer. In order to save propellant mass, so as to increase the scientific payload of the mission, a low-powered transfer is considered. This foresees a thrusting phase to gain energy from a departing circular geocentric orbit and a second thrusting phase to match the state of the target Backflip orbit, separated by an intermediate ballistic phase. This results in a combined application of a low-thrust manoeuvre and of a periodical solution in the CR3BP to realize a new class of missions to explore the Earth–Moon neighbourhoods in a quite inexpensive way. In addition, a low-thrust transit between two different Backflip orbits is analyzed and considered as a possible extension of the proposed mission. Thus, also a Backflip-to-Backflip transfer is addressed where a low-powered probe is able to experience periodic excursions above and below the Earth–Moon plane only performing almost planar and very short transfers.     

小天体高速撞击器视线制导律设计

针对小天体高速撞击器设计了一种视线制导律。为了解决轨道修正机动时机选取问题 ,本文引入B平面点位误差椭圆描述预测撞击点的置信度,通过控制撞击点落入指定的误差 椭圆概率区域内,将轨道修正机动时刻选取问题,转化为对发动机开关曲线的设计。该制导 律利用当前位置、速度信息构建视线旋转角速度与距离变化率,驱动发动机开关抑制视线的 旋转角速率,使其最终撞击到目标点上。严格的蒙特卡罗仿真表明,该制导律在节省燃料的 同时,可以使撞击精度比预测制导方法提高100米以上,达到250米以内。
     

基于人体模型的舱外航天服热系统分析与计算

分析了舱外航天服空间换热的特点,对"空间环境-舱外航天服-人体"热系统进行了传热分析,利用Visual C++ 6.0及OpenGL技术进行了三维人体模型的构造,对人体体表温度的计算结果进行了三维图形显示.结合人体热调节模型建立了"空间环境-舱外航天服-人体"热系统仿真技术,分析了航天员在不同代谢模式、被动热防护状态及液冷、通风系统控制情况下的热状态,确定了各代谢活动水平下航天员达到舒适状态时液冷、通风系统的工作条件,利用暖体假人试验结果对系统仿真进行了验证,结果表明二者吻合很好,本项目具有很好的工程应用价值.      

半无限深理想势流中圆柱形结构固有振动的求解

本文利用加权残数法，求解了浸沉半无限深理想势流中圆柱形结构的固有振动。数值算例表明，这种方法，计算量适中，试函数的选取合理，适用于工程中对水下下航行体固有振动的求解。     

飞机登机门提升机构卡滞工况仿真与试验

舱门机构卡滞是机构运行时较为常见的状况,对于带有分时凸轮的机构来说,纯刚体假设的结果会产生非常大的计算误差。以某机型前登机门提升机构为例,采用ADAMS柔性体分析方法进行仿真,计算出机构内部载荷,分析各个构件的应力,并辅以试验数据进行验证。结果表明,柔性体假设对于机构分析是一套行之有效的方法。