编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

超高精度车床直线运动误差检测与补偿系统的理论与实验研究

本文介绍了用三传感器误差分离法在线检测超高精度车床拖板直线运动误差和加工工件的素线直度误差。检测系统的精度高达±0.078μm。在此基础上,通过微计算机对误差数据进行数学处理,并驱动伺服机构对工件素线直度误差进行补偿加工。结果使工件素线直度精度提高到0.5μn/160mm,比补偿前的精度提高了50%以上。     

从实践的观点看真善美统一——实践破缺观(上)

从实践的整体观点出发,可把哲学精神的特征概括为人类掌握世界的总体方式,即认知方式(认“真”)、评价方式(求“善”)、审美方式(审“美”)的综合。由此对东西方哲学的发展作了重新评价,对马克思主义哲学在实践基础上的真善美统一作出初步总结。     

提高武器系统射击精度的几个技术途径

从几个不同的技术角度,消除火控系统存在的误差,从而大大提高武器控制系统的射击精度,使命中效率明显增加。     

地面炮兵集中配置方式定位定向系统

提出了一种适用于地面炮兵测地作业,并与地面炮兵射击指挥控制系统一体化的集中配置的指挥测地车式地面炮兵定位定向方案,并对方案的可行性,测地精度,反应时间进行了分析。     

多媒体软件开发研制过程中的几个问题

本文介绍了作者在开发研制多媒体软件过程中,针对几个技术性问题所摸索出的解决方法,颇具实用价值。     

基于INTRANET的新一代MIS系统

结合当今流行的Intranet的发展,通过实例:基于Intranet的中国人民抗日战争纪念馆MIS系统的设计,介绍了新一代MIS系统的系统结构与体系结构的特点.     

在线测量精密机床和加工工件直线度的新方法——优化误差分离法（OEST)

目前,运用多传感器对工件和精密机床的直线度进行在线测量的方法有ＳＴＰ法、ＳＴＲＰ法和ＦＳＴＰ法等。由于受到传感器相邻间隔距离的限制,这些方法往往只适合于长工件的在线测量。本文推荐的新方法──优化误差分离法（ＯＥＳＴ）可以用于短工件中的测量,它是基于频域分析和时域优化搜索的原理,可以克服频域变换中出现的边缘失效问题以保证频域变换的正确性。本文还介绍了计算机仿真和实际测量实验的结果,并验证了该方法的可行性和正确性。     

海平面的眼睛

本文论述了当今世界上正在研制生产的海军红外搜索与跟踪系统的发展情况以及它在防御反舰导弹上的重要作用。