超协调限制逻辑的计算复杂性分析

超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化.给出了命题LPc的计算复杂性结果和算法实现，指出LPc是NP完全问题，并给出了将LPc转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为LPc的实现提供了新的途径.     

异构关系型数据集成中间件研究

本文介绍了XML中间件技术，提出了一种异构关系型数据库的集成系统逻辑结构，并根据该逻辑结构叙述了其中利用XML集成异构关系数据的中间件层。给出了该中间件的工作原理和实现方法。该中间件实现了在不同的关系型数据库之间进行正确地互访和共享，能够解决历史或者其他原因所造成的对异构教据访问的不足。     

基于Web的政务系统通用框架的研究与实现

提出了基于Web政务系统开发的通用框架，分离了系统中数据逻辑、业务逻辑和表现逻辑，并通过轻量级J2EE技术——Spring实现了该框架。分析了该框架在政务系统开发中的意义，在该框架上构建基于Web电子政务系统，使开发者把更多精力放在业务逻辑和用户界面的实现上，从而提高开发效率、节约了开发成本、系统维护也变得更简单。      

输入端加译码器的可编程逻辑阵列的复杂性分析

输入端加译码器的可编程逻辑阵列比普通的可编程逻辑阵列具有更大的实现能力。这种阵列表现为三级或－与－或电路。本文提出了与该电路相关的一系列基本概念和理论，并且还进行了复杂性分析，结论是使用该阵列实现一个任意Ｎ变量逻辑函数所需的最大存储单元数为：（２ｎ＋１）２＾ｎ－２．     

面向对象逻辑语言SCKE中的限制推理

限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持．     

基于PC／104＋总线的嵌入式逻辑分析仪硬件设计

本文介绍了基于PC／104＋总线的嵌入式逻辑分析仪的设计原理与实现方法，给出了用PLX9054实现PC／104＋总线接口的方案。按照该方法设计的逻辑分析仪可以实现高速数据采集和大容量存储。     

基于Tableau的定理机器证明系统TableauTAP

使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TabIeauTAP。该系统可以证明不含等词的经典逻辑公式童耋譬逻辑公式，通过预处理自动生成tableau规则，因此容易对其功能进行扩展。应用该系统对TPTP的400个逻辑问题进行证明，实验结果表明，TableauTAP在时间和空间效率上都是比较高的。     

通用逻辑控制器的设计

该文介绍了一种以单片机为核心，C51编程语言为开发工具来构建一个能实现9种逻辑功能的通用逻辑控制器的设计过程，该通用逻辑控制器能够代替定时器、继电器等设备，更经济、更快速、更灵活地解决简单西关量控制任务。程序按照状态变化进行设计开发。目前该产品已投入批量生产，使用效果良好。     

高效逻辑语言实现方法

本文提出了一个基于优化编译和智能控制的高效逻辑语言实现方法。该方法克服了逻辑语言中合一和回溯操作的瓶颈问题，有效地提高了逻辑程序的执行效率。该方法可为设计智能加速部件和智能计算机提供参考。     

基于JSP/Servlet的Web应用框架的设计与实现

Web应用程序的开发过程中存在着Framework的应用。这些Framework使开发过程十分规范。它们自动地处理了部分非业务逻辑的过程，从而使得程序员的主要精力专注于业务逻辑的实现。文中设计并且实现了一个简单的Framework模型，实现了部分的自动化处理。该模型的构建，验证了采用最基本的Java语言工具以及设计方式实现Framework的可能性。