超精密加工在线检测与误差补偿的理论与方法

超精密加工技术是高新技术、现代机械、电子产业以及国防工业的重要支柱,已成为技术发达国家重要的竞争目标。我系自１９８２年以来开展超精密加工技术的研究已有十多个年头了,取得了重要进展和重大突破。本文就所进行的研究工作,综合介绍了超精密加工中的若干理论与方法,包括形状误差在线检测的误差分离、误差补偿控制、微进给机构的非线性建模、微位移检测等内容,最后介绍了我系所取得的主要成果。     

提高步进电机步距精度的研究

就步进电机细分可以提高步距精度的问题从理论上进行了分析和研究,并用传递函数的方法研究系统的动态响应,最后给出了不同细分数的步距角的均匀性的实验数据。     

保凸均匀三次B样条插值曲线

均匀三次Ｂ样条曲线虽然具有保凸性,但曲线不通过任何控制顶点,我们在相邻两个控制点之间插入两个新的控制顶点后,所产生的新的均匀三次Ｂ样条曲线不但插值原来所有控制顶点,而且还保凸。本文描述的曲线可以作局部修改,给出了两个数值例子。     

赋双权二部图中最大权最小权完美匹配

本文涉及的是在赋双权的二部图中求关于第一个权最大的限制下、第二个权最小的完美匹配的网络模型,给出了这一模型的有效算法,并用此算法解决了企业的优化组合分工中的挖潜问题。     

利用二坐标R站实现运动辐射源的三维跟踪

本文提出了一种基于目标斜距两次测量值之差和方位角信息的定位跟踪算法,详细分析了该技术的定位原理和可行性。在辐射源匀速直线运动的条件下,如果能够不测俯仰角而只用方位角和距离差实现对目标的定位与跟踪,将不仅可以简化接收站的设备,而且还能够增强其独立性能,因此本文讨论的算法对于单站被动定位跟踪系统的实用性具有重要意义。本文通过典型目标航迹的计算机仿真,对算法的性能做了评估．     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

用配点法求解四边搁支板的弯曲问题

根据弹性薄板微分方程的一般解和边界条件的配点法来求四边搁支板的弯曲问题,并以对称荷载作用下的正方形板为例进行了分析计算。     

卫星及其诱饵的表面瞬态温度场

文中给出了计算空间目标和诱饵表面温度场的方法,比较了目标和诱饵表面温度特性的差异,指出了这些差异对点目标自动识别的重要意义。     

van der Pol 振子在负反馈作用下的动力性态分析

本文从非线性振动理论和反馈控制论的角度研究了ｖａｎｄｅｒＰｏｌ振子在负反馈作用下的动力性态,用中心流形法和形式级数法分析了ｖａｎｄｅｒＰｏｌ振子的局部稳定性和Ｈｏｐｆ分叉行为,用Ｒｕｎｇｅ─Ｋｕｔｔａ法给出了仿真结果。     

2K-H 行星传动的极限传动比

在行星轮系机构综合中,研究行星轮数目与极限传动比的关系有着极其重要的意义。本文根据２Ｋ─Ｈ行星轮系机构的同心条件、安装条件和邻接条件,采用统一的符号,对满足上述条件的所有（六种）２Ｋ─Ｈ行星轮系机构,导出了行星轮个数与极限传动比的统一关系式,得到了所有２Ｋ─Ｈ行星轮系机构的极限传动比计算公式,为２Ｋ─Ｈ行星轮系机构的综合提供了理论根据。