武钢电网继电保护与自动装置运行与分析

在统计数据的基础上,对武钢电网2004年继电保护运行情况做了比较和分析。着重说明了成绩的取得与“继电保护年”所做的各项工作密不可分,指出了武钢电网继电保护存在的问题,并提出了改进建议。     

模数转换器在嵌入式微处理器中的应用

针对模数转换器的特点及原理,提出了在应用中普遍关注的问题,对于如何转换精度及该技术在微处理器的实际应用中如何实现做了阐述,并提出了一些软件和硬件的应用技巧,此项技术安全有效,实用性高。     

脉冲发动机控制力对修正弹道的影响分析

在确定了脉冲发动机的结构参数和部分工作参数的情况下,分析了脉冲发动机控制力对修正弹道的影响能力,确定了在满足修正能力及飞行稳定性的条件下脉冲发动机的总层数、单冲和点火间隔．分析表明,通过优选脉冲发动机的结构参数和工作参数可以达到预期的弹道控制效果．     

Equivalent logic programs and symmetric homogeneous forms of logic programs with equality

This article introduces the notion of CAS-equivalent logic programs: logic programs with identical correct answer substitutions. It is shown that the notions CAS-equivalence, refutational equivalence, and logical equivalence do not coincide in the case of definite clause logic programs. Least model criteria for refutational and CAS-equivalence are suggested and their correctness is proved. The least model approach is illustrated by two proofs of CAS-equivalence. It is shown that the symmetric extension of a logic program subsumes the symmetry axiom and the symmetric homogeneous form of a logic program with equality subsumes the symmetry, transitivity, and predicate substitutivity axioms of equality. These results contribute towards the goal of building equality into standard Prolog without introducing additional inference rules.     

高压电气设备外绝缘试验时高海拔修正因数的计算

以不同放电过程受大气条件影响不同及我国各高海拔地区的大气条件分布规律为依据,得出了这些地区高海拔修正因数的计算方法和计算结果。     

数字经纬仪测量误差的校正

分析了数字经纬仪测量误差的产生原因，给出了一种校正误差的方法及一个实用的能自动校正误差的电路。     

短跑教学运动疲劳的产生及对待

对我国普通高校短跑训练中学生疲劳产生的原因、判定方法及如何正确对待进行探讨，旨在提高高校短跑教学质量及运动水平。     

三辊定径机架中心位置研究

轧制线是轧钢工艺的主要参数，三辊定径机架中心是保证轧制线的前提条件，经KRI75数控机床定位检验孔型位置，确保轧制工艺要求。     

多波束天线通道幅相一致性校正及实现

本文针对多波束天线接收机的通道幅相一致性校正,提出了一种基于自适应算法的校正方法并在FPGA中实现了该方法.在满足系统要求的前提下,该方法不但实现起来相对容易,而且算法的精度和动态范围也有一定的保证.仿真和试验结果表明,该方法是可行的.