基于无线传感器网络的森林火灾监测预警系统

无线传感器网络是信息科学的一个新研究领域,提出了一种基于无线传感器网络的森林火灾监测预警技术的系统框架及其实现方案,重点讨论了森林火灾预测预报模型、无线传感器网络节点的部署及拓扑形成机制、传感器网络节点与火险精确定位方法、无线通信协议等关键问题.  

基于CAN总线的分布式控制网络智能节点设计

现场总线是目前自动化技术的发展的一个热点。本文介绍基于CAN总线的分布式控制网络系统的设计方法，给出了Intel 80C196CK SJA1000和PIC16F877＋MCP2510两种典型的CAN总线智能节点的硬件电路和软件初始化程序。  

一个适于形式验证的ATPG引擎

自动测试产生(ATPG)不仅应用于芯片测试向量生成，也是芯片设计验证的重要引擎之一．提出了一种组合电路测试产生的代数方法，既可作为组合验证的ATPG引擎，又可用于通常的测试产生．该算法充分发挥了二叉判决图(BDD)及布尔可满足性(SAT)的优势，通过启发式策略实现SAT算法与BDD算法的交替，防止因构造BDD可能导致的内存爆炸，而且使用增量的可满足性算法，进一步提高了算法的效率．实验结果表明了该算法的可行性和有效性．  

主动网络的构造和网络安全策略

主动网络的概念是根据现存的计算机互联网烙所存在的问题提出的，它是计算机网络技术未来发展的重要趋向之一，在主动网络内，路由器，网桥等设备可执行由用户传送的信息包中的程序代码，并根据用户的权限和要求改变式作状态，使用户具备对网络编程和设置的能力，与传统的互联网络相比，主动网络将为用户提供更加丰富，灵活的服务。但由此也产生更多的危及网络安全方面的新问题，文章根据著者在国外工作间的研究心得和所收集的相关资料撰写而成，简要介绍主动网络的基本构造和网络安全方面的问题及对策。  

极小布尔不可满足子式的提取算法

研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种．文中就精确算法提出了局部预先赋值的优化方案，并且在理论上证明了该算法的正确性；通过实验显示了此算法可以获得更高的效率．通过模拟实验观察到，利用完法计算法进行近似提取的一个有趣现象，即随着公式密度的增加，算法的提取误差会趋于下降．  

通用CPU设计验证中的等价性检验方法

针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性，提出了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用方案，包括寄存器传输级(RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证．此外，给出了验证过程中一些常见问题的解决办法．验证结果表明了该方法的可行性，显著地减少了门级模拟的时间．  

验证包含黑盒的电路设计的有效方法

在超大规模集成电路设计中，为了进行早期的设计错误检测与调试或层次化验证，常常需要使用含黑盒的设计验证方法，该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性，该方法使用量化的合取范式(CNF)来表示电路中出现的未知约束，并且不需要修改电路结构，有效地节省了计算资源，此外，通过使用随机并行模拟增强了可满足性算法的错误检测能力，通过对ISCA’85电路的实验表明了该方法不仅比以往同类算法速度快，而且具有较好的错误检测能力。  

嵌入式Modem在配变终端单元中的应用

主要介绍硅实验室双芯片形式的嵌入式Modem(ISOmodem)芯片Si2414和Si3015,以及ISOmodem在配电变压器远方终端单元(TTU)中的应用;重点介绍运用ISOmodem通信的硬件及软件设计。  

iButton技术在安防系统中的应用

本文介绍了一种新型的智能化信息载体iButton以及iButton在安防系统上的应用举例，着重介绍了其硬件、软件设计及工作原理。  

仿真可信性评估的功能层次分解法及其应用

该文针对复杂仿真系统中的子系统（实体）的仿真可信性评估提出了一种方法，该方法按数字模型对子系统进行结构水平上的分解，运用层次分析法来处理数据获得对子系统的仿真可信性的评估，该方法层次、步骤清晰明了，有较好的可延伸性。