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

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

用可编程器件实现PWM

用GAL器件实现了脉冲宽度调制（PWM）。阐述了设计原理、设计实例以 及与单片机的接口。     

Fuzzy函数的化简问题

给出了Fuzzy函数的基本性质，纠正了杨纶标在[1]中的错误。     

论辩逻辑的理论渊源与现实应用

古代三大逻辑传统从其产生直到中古，都以对话和辩论的原则和技术作为重要的或主要的研究对象。从希腊逻辑发展而成的现代逻辑已经成为全人类共同的知识财富，现代逻辑的主流是被称为现代形式逻辑的数理逻辑。论辩逻辑服务于“取当求胜”，它属于并非形式化的逻辑。由于现实需要，特别是在法律论辩的活动中得到有效应用，论辩逻辑正在复兴，并有所创新，而且从中国名辩学和印度因明学中吸取营养。     

从逻辑的观点看波爱修斯的共相学说

共相问题是逻辑学和哲学研究的根本问题之一。对共相本质的争论源于古希腊，柏拉图和亚里士多德代表了在该问题上两种截然不同的观点。三世纪，波菲利提出了关于共相的三个最根本的问题，但他没有做出结论。六世纪初，波爱修斯着力于用逻辑的方法再论共相的实质，但他的结论动摇于柏拉图主义和亚里士多德主义之间，并最终归于柏拉图主义。他的这一结论加剧了对共相问题的争。     

略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于：（1）借助这种逻辑，我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式；（2）这种逻辑就是一种知识增长的逻辑；（3）它揭示的不断逼近的过程就是科学理论创新的过程。     

如何做好MIS开发过程中的需求分析

需求分析是开发一个MIS软件系统过程中的首要工作，需求分析工作不仅非常重要，而又极其图难。本较详细地讨论了需求分析的一般过程和需求分析方法的发展状况。     

GAL器件的编程和复制系统的研制

本文在原有破译仪的基础上,研制了GAL器件的编程系统,扩充了原系统的编程和复制功能,使用户能对任何GAL16V8或GAL20V8编程的GAL芯片进行破译、编程和复制,在用户自己的开发环境中设计所需的逻辑系统。     

高原鼠兔体重生长动态数学模型之再探讨

本文用麦夸算法构造高原鼠兔体重生长的Logistic和Compertz曲线模型,其结果表明:Logistic曲线比Gompertz曲线更优化,Logistic模型比逻辑斯谛-指要饱和模型的精确度更高.