一种求解递归规则的有效算法

研究了一种求解包含一个IDB谓词线性递归程序的算法，该算法由规则间的相关性对逻辑程序进行分解，减少IDB谓词项的个数，然后再对分解后的子程序进行魔转换。并提出了对该算法的进一步优化方案。最后对算法中引入的ID号做了开销分析。     

光标产生器和液晶眼镜光电同步驱动器

论述了时分式立体电视系统中光标产生器和液晶眼镜光电同步驱动器的工作原理和功能，并设计出具体的实用电路     

变稳飞机飞行模拟中的相似性匹配技术

针对在空中飞行模拟中变稳飞机与模型飞机的差异导致模拟逼真度下降的问题,提出一种相似性匹配技术,使驾驶员感受到一个更为接近模型飞机响应的飞行动力学特性.从理论上研究相似匹配技术,推导出合适的模型状态的转换逻辑;将转换逻辑加入到数值仿真试验和人机闭环地面试验中对其验证.结果表明,通过采用相似性匹配技术和调节跟踪参数值,整体跟踪效果得到改善,模拟逼真度得到显著提高.     

基于UG/Post的五轴后置处理程序开发

以某五轴龙门高速铣机床为对象,分析了它的机床结构和后置处理配置方法,基于UG/Post实现了其后置处理程序,并通过对事件处理文件(.tcl)文件修改,实现了在五轴转换模式下的C轴超程处理。     

波形转换中折线逼近的设计与实现

在信号发生器中，常用到三角波转换成正弦波的电路。如何获得较好的正弦波，降低正弦波的失真，是设计波形转换电路的技术难点。文章对波形转换电路提出了一种设计方法，可在一定误差的控制下设计电路，使波形失真较小，电路易于实现。     

星模拟器驱动软件的研究

星模拟器是星敏感器的标定设备之一,主要用于星敏感器的地面调试.星模拟器的驱动软件是该系统的重要组成部分.本文概要地介绍了星敏感器系统的组成并针对对星模拟器软件设计中任务星库的选取、任务星库的分区、星点位置的确定、星等的模拟问题进行了讨论.     

利用比力多重积分作为输入信号的捷联导航算法

本论文提出了异于传统的推导捷联导航算法的方法，现在常用的仍然是传统的推导方法，且不久前Paul Savage做过总结(Savage，P．G，“Strapdown Inertial Navigation Integration Algorithm Design Part2：Velocity and Position Algorithms”，Journal of Guidance，Control，and Dynamics，V01．21，No．2，1998，PP．208—221．)。新方法的要点是利用了额外的加速度计的输出信号，它是比力多重积分在迭代周期的增量。由此产生了比力转换算法新的家族，它有效地消弱所谓的假振摆效应(它在线性振动和高频陀螺仪误差存在时产生)，以较低的速度计算且无须采用抗混叠预滤波。     

并联式TBCC发动机进排气系统气动特性研究

针对一并联式涡轮基组合循环(TBCC)发动机进排气系统的气动方案,对其从涡轮向冲压模态转换过程中的典型工作点上的流场进行了数值模拟。结果显示:模态转换中涡轮发动机进气道的流量系数逐渐下降,反压承受能力逐渐减弱,冲压发动机进气道的流量系数逐渐增加。模态转换中,涡轮发动机喷管在不同落压比(NPR=20⁸0)下均无明显流动分离现象;冲压发动机喷管分离区逐渐减小,且随着落压比的增加分离程度逐渐减弱。     

冷热之间

随着神舟九号飞船飞天,无论是在媒体还是公众间,都又一次掀起了"载人航天热"。这个"热"不是小热,而是大热。也与历次因执行载人航天任务而掀起的热潮一样,任务一结束,媒体上的声浪便像退潮一样,很快无声无息。此后很长一段时间,无论是媒体还是公众,都很少再关注航天,直到又一次重要航天活动来临。冬夏之间的转换尚有春秋过渡,航天的冷热变换似乎全在倏然之间。