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

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

一个新的公平非否认协议

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

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

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

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

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

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

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

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

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

基于FPGA的医用超声内窥镜成像系统的同步控制

介绍了医用超声内窥镜成像系统的工作原理及超声成像驱动控制系统的设计与实现.根据超声成像系统指标,主要讨论了超声波激发、接收电路原理及具体的电路;现场可编程逻辑阵列(FPGA)作为核心控制模块完成对数据传输和相关电路及芯片的控制,主要实现了对超声波的发射、接收、A/D转换以及成像部分同步控制,电路的性能已得到实验的验证.     

电子政务系统体系结构的设计

在分析电子政务的总体技术体系结构模型与应用平台的基础上,介绍了一站式电子政务服务架构的基本设计思路。通过电子政务一站式服务框架的建设,构筑起电子政务整体建设的框架体系结构,统一了标准与平台, 实现了政府、社会和公众之间服务系统的高度整合,为政府构建电子政务系统提供了理论基础和技术支撑。     

基于动态描述逻辑的多主体协作模型

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题，又紧密地结合主体的设计与编程问题，把表示与推理应用到主体的具体设计中．它充分利用了动态描述逻辑的统一的形式化框架，同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程，探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题．多主体协作模型将理论和实践有机地结合起来，能够充分体现智能主体的本质特征与运行机制，为多主体系统的设计与编程奠定了很好的基础．     

间歇精馏过程的模糊逻辑与增益自调整PID混合控制

针对间歇精馏过程的强非线性和非平稳时变特性,结合模糊逻辑控制和增益自调整PID控制的优点,提出了一种模糊逻辑和增益自调整PID混合控制的先进控制策略,详细推导了其控制算法,设计了相应的控制器,并在EuroBEEB工控机上用实时BASIC语言编程实现,对一套甲醇/水二元间歇精馏塔的塔顶浓度进行了推断控制实验,获得了比单独采用模糊逻辑控制时更好的控制结果。这说明,模糊逻辑和增益自调整PID混合控制是强非线性和非平稳时变过程的一种有效控制策略。