三值双传输管电路的通用综合方法

提出采用双传管逻辑设计三值电路的方法,对每个MOS管的逻辑功能均采用传输运算予以表示以实现有效综合.建立了三值双传输管电路的反演法则和对偶法则.新提出的三值双传输管逻辑电路具有完全基于标准CMOS工艺,无需对MOS管作任何阈值调整,结构简单、规则,输入信号负载对称性好,逻辑摆幅完整以及无直流功耗等特点.采用TSMC 0.25μm工艺参数和最高电压为3V的HSPICE模拟结果验证了所提出综合方法的正确性.     

Parlay促进电信开放与IT开发融合

增值业务越来越受到运营商的关注，但是增值业务的核心价值在于应用服务器端的业务逻辑处理和后台内容，而不是通信过程，因此，通信运营商必须通过价值链的扩展，主要是联合大量的内容提供商／业务应用提供商（CP／SP），来增强电信个性化新业务的快速开发，同时丰富信息内容本质。     

基于重写逻辑的UML模型一致性检查方法

在模型驱动开发的场景下，保证UML模型的一致性具有重要意义，但目前大多数UML／MDA工具仪提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的没讣时和运行时语义一致性，其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持面向可执行的UML模型的一致性提供了有效支持。     

Web服务与MAS集成系统的通信机制

提出了一种Web service与多Agetit系统（MAS）集成的通信机制，以描述逻辑作为知识农示语言，使用描述逻辑本体库和推理机。使Agent之间语义表达更精确，推理能力更强，较好地实现了Agent问的服务匹配，在此基础上。发挥Web service在异构平台间实现互操作的优势，用SOAP协议直接对Web service进行绑定，实现了快速准确的通信。     

模态转移系统的三值逻辑模型检验

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题.提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验.用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度.     

一个新的公平非否认协议

在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMPI协议缺陷的基础上，提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证，新的协议满足非否认性和公平性原则，可广泛应用于电子邮件、电子合同等电子商务应用中。     

一种新的共享密钥安全协议设计方法

为了设计出具有高安全性的安全协议，提出了一种面向主体的逻辑，可以形式化和系统地设计共享密钥安全协议；根据可以提供的不同安全服务，将密码机制抽象为不同信道，这样在设计安全协议时不必考虑密码机制的实现细节；提出安全协议的转发设计规则，将设计规则作为预防攻击的有效措施；运用该逻辑和设计规则设计了一种新的共享密钥安全协议，该协议能达到相互身份认证和密钥分发目的，并能预防与设计规则相对应的攻击。     

基于模糊描述逻辑的PNL网络问答系统

将现有网络搜索引擎过渡到网络问答系统是WI的基本目标之一，模糊问答系统是网络问答系统研究的重要问题。基于模糊描述逻辑，该文特化了PNL过程，提出了PNL式模糊网络问答系统。该系统将模糊描述逻辑规则作为PNL 推理过程中用到的原型语言规则中的计算部分，推理出原型语言规则中的知识符号，并以一个具体的问答实例，介绍了PNL式问答系统的工作流程。     

HT-7托卡马克实验装置上基于PLC控制的中性束诊断电源系统

文章介绍HT-7托卡马克实验装置上的中性束诊断电源系统的组成、结构，以及基于S7-300PLC的逻辑控制系统。实验表明，该系统操作简单，性能稳定可靠。     

C语言教学中常见的运行错误和逻辑错误

总结了编译器不能发现的常见运行错误和逻辑错误,以帮助初学者能较好的掌握程序调试技巧,提高编程能力.