计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

射影点的几何作图

在射影平面的扩大平面模型上的已知射影坐标系下，本文解决了已知射影坐标，几何地作出它所对应的点；已知一射影点，几何地求出这个点的射影坐标三数组这两类基本问题。     

工程测量中的坐标变换

针对城市工程测量中经常遇到不同坐标系之间的成果转换问题 ,提出了一种非常简单实用的方法 ,该方法的基本原理是将一个坐标系中的坐标成果换算成实际的距离与方位 ,然后利用这实际的距离与方位计算在另一坐标系中的成果。论文最后给出了一实例说明这种转换的可靠性     

真空C-度规中的虚Weyl坐标

研究了在真空C-度规中扩大Weyl坐标及其覆盖的时空区域的可能性. 结果表明:Weyl坐标可以扩大到虚坐标区域,虚Weyl坐标区域覆盖了真空C-度规视界内部区域. 获得了Weyl坐标下真空C-度规完整的时空图.     

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

浅谈数字逻辑实验教学改革

结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 .     

浅谈城市道路缓和曲线的测设

结合太原市康西路的具体情况，描述了城市道路缓和曲线的测设。通过采用测距仪和极坐标方法，利用施工导线放取道路缓和曲线的主要点，采用偏角法对道路缓和曲线布点进行详细测设，有效地提高了各主要点的点位精度，减少了测设中的误差，保证了道路缓和曲线线型的圆滑。     

晶闸管大功率供电系统中的欠支路保护

本文在论述晶闸管大功率供电系统中欠支路运行产生原因的基础上,引出了欠支路保护的重要性;针对当前欠支路保护存在的问题,提出采用交流电流互感器检测欠支路信号这一简单可靠而又准确的方法,分析该检测方法的基本原理,并设计了完整的欠支路保护电路。通过在株州冶炼厂一年来的运行试用,证明了该电路具有调整方便,检测准确,保护可靠等特点。