SRAM的一种可测性设计

用ETCO算法对SRAM进行了内建自测试设计．首先说明了设计的原理，进而对电路中所用的各个单元电路进行了设计，主要包括地址计数器、数据计数器和BIST控制器等．设计出的电路可针对具体的故障模型设置相应的测试长度，从而获得预期的故障覆盖率．测试时不需存储正确响应，并可通过一个响应标志位表示检测的结果．可测性部分对电路硬件的开销较小，所设计的电路在工作站上已成功通过仿真，此电路可广泛应用于嵌入式SRAM，以降低电路的测试难度．     

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

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

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

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

基于网络的便携式机器人管理系统

提出一种全新的便携式机器人的概念。研究了便携式机器人设计、便携式机器人管理系统的体系结构、控制管理模型以及任务的分配管理。在JINI基础上扩展了JINI的服务查找、分发机制。通过综合分析服务提供者状态、用户状态、系统性能以及上下文感知信息，经模糊决策确定是否给用户提供服务。本系统将通过“Pull”方式，或者“Push”方式给用户(或第三方用户)提供所需的网络服务。利用一个应用实例说明系统的应用情况。     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

非线性森林发展系统的一类最优控制问题

讨论了非线性森林发展系统的最小范数控制问题，证明了最小范数控制的存在性，唯一性及可逼近性，最后给出了优化条件定理．     

模糊逻辑控制方法在ATM网络拥塞控制中的应用

将普通漏桶技术和移动窗口机制相结合，提出一种基于模糊规则的ＡＴＭ网络拥塞控制方法，并研究了它作为监管机制的一些特性，对它的性能进行了计算机仿真。仿真结果表明，该机制对履行连接接纳控制协议的信元流能提供透明传输，对过份违约的信元能快速阻止其进入网络。与普通漏桶技术相比，本文方法具有同时监管信元流峰值速率和平均速率的优点。     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

信值修正系统及其实现

在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。     

多应力—强度模型结构可靠度的估计

在Ｙｌ，…，Ｙｎ－ｌ，Ｙｎ相互独立且服从正态分布情况下得到结构可靠度Ｐｒ（Ｙｎ＞ａｌＹｌ＋…＋ａｎ－ｌＹｎ－ｌ）（其中ａｌ，ｉ＝ｌ，ｎ－ｌ均为已知的常数）的最小方差无偏估计及其置信下限．