一种互认证密码协议的设计和分析

为在不安全的网络中建立安全的通信，提出了一种用于网络管理互认证的具有较高效率的密码协议，介绍了该密码协议的相关设计背景。总结了若干关于密码协议设计的原则，通过运用经过补充的BAN逻辑对该协议进行形式化分析，并通过计算机对该协议的握手协议过程进行仿真。仿真结果表明，在被加密协议参数相同的条件下，该协议减少了系统开销，提高了协议效率。     

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

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

工程问题的哲学意义

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

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

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

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

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

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

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

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

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

内存数据库查询优化

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

非致冷红外焦平面阵列驱动电路优化设计

提出了基于复杂可编程逻辑器件 (CPLD)及低压差 (LDO)线性稳压器实现 3 2 0× 2 40长波红外非致冷焦平面阵列 (UFPA)驱动电路优化设计的方法 .选用Altera公司的MAX70 0 0AE系列CPLD作为硬件设计平台 ,运用VHDL语言对驱动时序进行硬件描述 ;选用TI公司的LDO线性稳压器及 14bit视频A/D转换器THS14 0 8实现UFPA偏置电路及视频输出信号的模数转换电路的设计 .测量与仿真结果证明是可行的 .     

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

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