MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。     

基于相对最值点的最小二乘直线检测方法

为了解决传统目标检测中遇到的检测速度慢、精度低等问题,本文提出一种新的图像特征——相对最值点,并依据相对最值点提出一种新的最小二乘直线检测的方法。该方法首先搜索Canny边缘的闭合包络,并寻找闭合包络的相对最值点。包络上相邻相对最值点之间长度满足阈值要求的即为疑似直线的两端点,进而利用最小二乘拟合方法获得该疑似直线的拟合方差,最后利用拟合方差与拟合直线长度之比作为直线判定的标准用来检测出图像中的直线。实验表明,本方法与传统方法如PPHT直线检测、LSD直线检测方法等相比,检测直线的精度更高,检测速度更快。     

基于驻涡燃烧室的贫油熄火经验关系式初探

 驻涡燃烧室（TVC）与传统旋流燃烧室相比采用不同稳焰方式。在前期试验研究的基础上对其贫油熄火(LBO)性能进行归纳总结,参考并与Lefebvre基于化学反应的贫油熄火经验关系式相比较,提出适用于采用煤油为燃料、蒸发管方式供油的驻涡燃烧室的贫油熄火经验关系式。针对驻涡燃烧室提出的贫油熄火经验关系式包含了蒸发管雾化性能、主流气流量和凹腔卷吸气流量等因素,对比经验关系式的预测结果与试验结果,最大误差在15%以内。     

高精度转台装配误差分析和补偿

转台位置精度是转台最重要的参数之一。针对转台装配过程中产生的编码 器安装偏心和倾角回转误差进行分析,建立误差模型,计算得出在不同的误差影响下转 台的角位置误差值。介绍了采用多项式拟合曲线进行角位置误差的补偿,有效地提高了 转台角位置精度。     

利用自然能临近空间浮空器的热特性分析

为解决临近空间浮空器驻留期间面临的“超热”、“超压”和“定点抗风”等难题,研究了一种新型的临近空间浮空器,其利用自然界的热能和风能,变“不利”为“有利”,通过简易可行的技术手段实现飞行高度和轨迹的控制,从而实现持久区域驻留。首先建立该新型浮空器的稳态热平衡模型并进行超热值的估算,然后分析系统参数。计算结果表明蒙皮的太阳吸收率和红外发射率对超热值有着重要影响,合理地选择热控涂层可以满足该新型浮空器的设计要求。     

基于特征模型的火箭发动机伺服控制系统设计

以新型大推力火箭发动机为研究对象,提出了基于特征模型的伺服系统控制器设计方法。首先,介绍了特征建模理论并讨论了特征模型参数范围;其次,采用人工蜂群算法实时估计火箭发动机伺服系统特征模型参数,使其满足特征模型输出与实际系统输出特性等价条件;最后,使用黄金分割自适应控制律保证系统在参数估计过程中的闭环稳定性,同时引入前馈跟踪控制律,逻辑积分控制律和逻辑微分控制律使伺服控制系统快速、精确跟踪线位移指令并改善动态性能。仿真结果表明,设计的火箭发动机伺服控制系统指令跟踪精度高,动态特性良好,鲁棒性强。     

复合材料泡沫夹芯结构低速冲击损伤研究

随着复合材料夹芯结构在航空领域的广泛应用,对其抗冲击性能的研究变得越来越重要。本文对泡沫夹芯结构的低速冲击问题采用试验及数值分析的手段进行研究,比较了不同冲击能量下泡沫夹芯结构的冲击响应特点,并利用数值分析手段揭示了冲击损伤的破坏机理,同时计算得到了该夹芯结构的临界冲击能量,模拟结果与试验吻合较好,可为工程设计提供一定...     

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

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

发动机喷管对火箭气动静稳定及控制特性影响研究

发动机喷管外露于火箭尾部是常见情形,但在火箭气动设计过程中却经常不予考虑。利用数值计算方法,研究喷管外露部分对火箭气动静稳定及控制特性的影响。计算结果表明:在超声速Ma=2~12、攻角30°范围内,外露喷管对火箭气动静稳定性有1%~2%的增加,且气动控制效率明显,喷管±3°摆角产生的气动控制力矩约为头部空气舵±20°摆角的1~2倍。因此,对于确实存在喷管外露的火箭,在气动特性设计过程中需充分考虑喷管对静稳定性的影响,甚至可以考虑将喷管作为气动控制面,用于火箭无动力滑行段的姿态控制。     

卫星图像采集任务调度系统的设计与实现

随着卫星遥感技术的高速发展 ,卫星图像在众多领域有了广泛的应用。文章给出了一个卫星图像采集任务调度系统的总体结构及其功能 ,讨论了该系统实现过程中的卫星资源描述、卫星图像采集任务描述、调度引擎、卫星时间窗口的仿真计算、调度结果的可视化展现等关键技术 ,归纳了系统的特点 ,并总结了今后系统的研究方向