摘要：文中研究了时序逻辑网络中有限驱动机的自动综合，论述了由正则事件构造有限驱动机的构造性定理，给出了由可始元素、可跟元素自动求解有限驱动机状态集合的程序设计方法．文中以串行加法器为例，给出了正则事件Ｓ０，Ｓ１，并用所研制的软件给出了计算机自动综合的实时记录．

摘要：本文提出的简化组合逻辑设计的布尔方程分解方法，是将Ｆ（ｘ１，ｘ２，…，ｘｎ）＝１的组合逻辑设计转化为Ｆ（ｘ１，ｘ２，…，ｘｎ）＝０的组合逻辑设计问题，然后将Ｆ（ｘ１，ｘ２，…，ｘｎ）＝０转化为与其等价的布尔方程组，对得到的布尔方程组用“异或”逻辑实现，从而获得极为简化的组合逻辑设计。

摘要：分析了消防执法办公系统的业务需求,针对业务特点提出了建立分布式系统的解决方案。介绍了办公系统中公文固定流程和自由流程的概念,阐述了系统中案卷和公文之间的关系。对在Web环境下分布式消防执法办公系统的设计与实现方法进行了介绍,讨论整个系统的分布式体系结构、数据模型和文档流。重点分析了在网络环境中使用.NET框架和WebSer-vice通过SOAP实现分布式系统的过程,以及整个系统的数据库设计。

摘要：介绍了现场总线CAN-BUS的主要特性和主要技术指标,并结合开发设计的MCB-1电力测量控制仪表的CAN通讯接口模板,给出了CAN通讯接口的一种设计方案和编程方法。以及在现场安装、调试、运行的实际体会。

摘要：给出了一种多通道高速数据采集和故障录波器装置的设计方法。同时介绍了相关的PC功能卡的特性技术指标和使用方法,包括高增益、高性能的多功能数据采集卡PCL-818GH,16路光电隔离数字信号输入板PCL-782,双口CAN总线通讯卡PCL-841,文中还给出了关于信号输入调理板的设计方法,介绍了有关数据传输以及该数据采集和故障录波装置的主要特点。

摘要：分析了Ｘ－ＢＡＳＥ下管理信息系统的实现，提出了一种通用的系统设计方法。

摘要：对称性是图作为网络模型的重要性质.而网络设计者关注较多的是那些同距离有关的对称性.这是因为路径问题是网络研究的核心问题.BSn,ECn和FCn是三类常用于互联网络的Cayley图.1993年,lakshm ivarahan等人提出了一些公开问题.其中包括BSn,ECn和FCn的距离正则性.在本文中,对于BSn,ECn和FCn我分别定义了一些参数称为"改良的交叉数".并且证明了这三类图的确具有依赖于距离的对称性.这说明在这三类图中寻找一个不依赖于点的路径是可行的.

摘要：卫星遥感资料存档系统是３Ｓ系统研究领域之一．分析了由作者设计的存档分析试验系统的基本框架、数据结构、索引方式及查询方式，讨论了资料存档及常规处理方法的结合，对于图象、图形及属性数据显示采用了统一的处理过程．

摘要：研制了一种新型的智能化仪表“DJL 1电力计量系统在线检测仪” ,用于快速检测低压供电计量系统故障 .它采用微机控制 ,具有高精度模数转换、液晶显示、全汉字显示操作流程和检测结果 ,并有声音提示 ,使用方便 ,检测快速、准确 ,成为国内目前最先进的检测仪器之一 。

摘要：利用不动点理论和微分不等式分析等方法,研究了具有变连接权的时滞细胞神经网络dxi(t)dt=-cixi(t)+∑n的存在性和全局吸引性,推广和改进了相关文献的结果,扩大了神经网络的设计范围.