关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

模拟示波器数字化存储功能的设计

设计的电子系统由大规模可编程逻辑器件PLD，模／数(A／D)转换电路、数／摸(D／A)转换电路、存储电路、比较触发电路、放大器电路组成，重点论述了系统构思、计算和设计过程，本设计的实现，能使模拟示波器具有数字化存储功能，成为简易数字存储示波器．     

工程问题的哲学意义

工程是一种有一定规模的建造活动，当今人类正生活在一个由各种有形和无形的工程所关联起来的网络中，人类当代文明就是一种工程文明。工程的普遍化使得工程问题上升到了哲学层面，具有了哲学意义。工程个案和一般工程学科解决工程中的具体问题，但惟独不对“工程本身”发问。对工程的哲学研究则专门追究“工程之所以为工程”的问题。工程问题的哲学意义至少有两种：一是按照哲学研究的惯常方式建构一门新的部门哲学，二是通过对工程问题的特殊性呈现给人类思维方式的变革提供一个契机。任何一项工程都牵涉无数复杂因素，它们之间尽管具有这样那样的逻辑性关联，但总有一些因素之间没有逻辑联系，这就使得工程问题归根到底不可能逻辑地、理论地和哲学地解决。理论和工程之间不可能逻辑地统一起来，这就是工程问题通过哲学而给我们的最特殊的启示。     

利用卡诺图快速化简逻辑函数的方法

该文分析了利用卡诺图法化简逻辑函数的基本原理，并根据自己的教学实践，提出了快速画出逻辑函数的卡诺图及由卡诺图快速化简逻辑函数的方法。     

基于模拟电路的无刷直流电动机神经元控制器

从神经元特性出发，研究一种适用于无刷直流电动机控制的模拟电路神经元控制器，获得连续的神经元控制器表达式和权值变化表达式，并进行原理框图设计和给出具体的权值学习电路，仿真实验表明，该控制器具有良好的控制品质，证明了该系统的有效性。     

混沌系统的变量反馈参数开关的调制控制

将开关控制信号直接输入到被控的混沌系统中，仅通过改变外部脉冲开关信号的幅度、极性、宽度等参数，实现蔡氏混沌系统的各种不稳定周期轨道的稳定控制。在此控制策略基础上，引入变量反馈与脉冲开关来共同调制系统参数，研究变量反馈参数开关的调制控制。数值模拟和电路仿真的结果表明，混沌系统的变量反馈参数开关的调制控制方法能有效地把混沌电路系统控制到系统的左右不动点和np周期轨道。该方法对其他混沌电路的参数控制有一定的参考价值。     

有源RLC电路波函数解的讨论

给出有源RLC电路波函数在t=0的情况下的解，并讨论电荷，电流的零点涨落。     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

自旋1/2态下的量子逻辑变换

作者利用对自旋算符的量子线性变换理论，提供了一种考察自旋1/2态下的量子逻辑门变换的一种有效方法，并给出了几个基本量子逻辑操作的变换表达式。     

基于TCP/IP网络中多PLC通信的设计和实现

随着工业自动化的发展,在控制领域中PLC应用范围日益广泛,因此与上位机间的通信也越来越频繁。通常PLC同上位机间的通信方式是单线对等连接或通过PLC网络实现。文章提出了一种将上位机和多个PLC通过通信服务器组成通用TCP/IP局域网的方法,上位机以定期主动查询方式和PLC实行通信,介绍了上位机通信程序的设计和实现。