亮星辅助下基于坐标转换的快速星图识别方法

数字天顶仪作为一种地面使用的星敏感器，主要用于高精度定位。为提高仪器的工作效率需要对星图识别的快速性进行研究。通过对恒星像点理论坐标与图像坐标的分析，构建坐标转换模型。依据星表中恒星的分布及星等筛选出视场范围内的亮星，并构建导航星表。结合导航星表完成3颗亮星的准确识别，在识别亮星的基础上解算坐标转换模型的参数。通过构建的坐标转换模型对视场范围内的恒星进行坐标转换，将转换后的星点坐标与提取的星点图像坐标进行匹配完成星图的识别，这样能够提高星图识别的快速性。实验数据表明：在保证识别星点数量的基础上，采用亮星辅助下基于坐标转换的星图识别方法使时间缩短为改进三角形星图识别算法的五分之一。     

格序群的极子群在凸l－子群格中生成的闭子格

设Ｇ是一个格序群，Ｐ（Ｇ）是Ｇ的极子群集合，Ｃ（Ｇ）是Ｇ的凸ｌ－子群集合，Ω（Ｇ）是Ｐ（Ｇ）在Ｃ（Ｇ）中生成的闭子格，本文通过对Ω（Ｇ）的研究得到了一系列重要结果，对有限值格序群给予了一系列新的刻画，证明了ｇ是基元当且仅当ｇ－是ｇ的唯一的Ω－值等结论，实际上对Ｐ．Ｃｏｎｒａｄ提出的问题＂Ｄｅｓｃｒｉｂｅｔｈｅｅｌｅｍｅｎｔｓｉｎ＂进行了富有意义的探索。     

智能雨量（液位）计

叙述了利用电容传感器原理，将水位（液位）的变化（即介电常数“ε”的变化）变换成电容量的变化，实现了模／数转换。并介绍其微机数据采集系统。     

二元流对无喷管火箭性能的影响——与Glick,R.L.商榷

在计算固体发动机(包括无喷管发动机)的理论性能时,通常假设气流为一元流.然而,已经发现,即使对于小L/D的发动机和/或高风量,典型的圆柱孔形发动机(特别是无喷管发动机)中的气流是强的二元流.因为质量沿着通道从药柱喷入零或很低的流速区,而不是直接喷入下游的高速横流中(此处作一元流假设).这可能产生一个相当小的不可逆流的状态,并带有实际二元流的有效能(热能转换为动能时的潜能)有总的增加.Glick在他的第     

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

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

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

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

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

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

可靠性鉴定中利用验前信息的序贯验后加权方法

本文运用Ｂａｙｅｓ序贯验后加权检验方法进行可靠性鉴定，讨论了成败型和指数寿命型两种情况，同时构成了序贯截尾鉴定方案，给出了犯两类错误的概率上界的计算方法，对工程实践中的一些问题提出了处置方法。     

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

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