Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

垂直行程差的数学分析

本文论述了垂直行程差的定义,利用概括的矩阵分析方法推导出垂直行程差的通用计算公式,同时给出了特定条件下的计算公式与简化计算公式,文中分析了各种近似计算公式的计算精度,研究了垂直行程差函数的图象特点。     

模糊数据的编码压缩

建立在普通集合之上的传统的数据压缩方法不能胜任模糊领域中的问题。因此,有必要从模糊集合理论出发,导出模糊概率的概念和模糊信息,赋予数据压缩理论和技术新的活力。本文试图从模糊理论的角度,借助于广义信息论,探讨模糊信息压缩的方法和意义。     

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

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

精密三点法——在线测量精密机床直线度的新方法

本文提出了一种精密机床直线运动误差以及工件直线度的在线测量的新方法。由于时域两点法的最小采样间隔必须等于两个传感器之间的距离,该距离不能做得太小,精密三点法用三个传感器,选择合适的安装间隔,我们就能得到比以前更小的采样间隔(例如:减小3倍),使曲线更为精确。本文给出了精密三点法的算法和流程图,给出了计算机仿真和超精密车床在线测量的实验结果,表明该方法是可行的和有效的。     

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

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

舰载跟踪雷达捕获概率分析

论述了舰载跟踪雷达捕获概率的分析与计算方法,给出了影响跟踪雷达照准概率的误差环节,并对搜索雷达稳定平台的隔离剩余误差作了较详尽的分析。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

一种分析噪声背景下目标特征有效性的方法

本文根据目标特征和噪声分布,在一定假设条件下推出了最小错误率（Ｂａｙｅｓ错误率）的表达式,从而把特征分布、噪声大小直接与分类的最小错误率联系起来,给出了一种分析噪声背景下目标特征的有效性的方法。文中利用这种方法对目标和诱饵的红外辐射特征的有效性进行了分析     

某型火箭增程破甲弹发动机弹道炸分析与处理

根据某型火箭增程破甲弹,在研制阶段做高、底温强度试验时分别出现发动机弹道炸的质量问题,结合实践在理论方面进行了分析,提出了对发动机燃烧室内个别件改进设计的方法。