不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。     

应用四值逻辑技术异步计数器的分析和设计

应用四值逻辑技术讨论异步计数器的分析和设计，给出异步计数器分析和设计的一种方法，这种方法也适用于同步计数器的分析和设计，从给出的实例可以看出，这种分析和设计方法是有效而易行。     

基于分布式对象技术的企业网络客户服务管理系统

提出了一种抽象网络的层次性表示方法：逻辑网络．讨论了逻辑网络的定义、属性、结构和计算方法．研究了基于逻辑网络的CSM系统体系结构．利用分布对象技术实现了CSM-MIB的表示和访问，通过逻辑网络建立客户可定制的物理网络抽象视图，实现客户服务的约定、指派、性能监视和报告等管理功能．实践表明，以分布式对象技术为基础的逻辑网络管理模型能满足CSM的要求．     

组合函数的相等实现——Ⅱ.分离变量法

在献〔１〕中，给出了求解组合函数相等实现后种图形解法，本用这种方法讨论可分离函数及不可分离函数的实现问题。     

种群消长ABC模型的扩充、简化与拓展

采用扩充式、简化式和拓展式对种群消长ＡＢＣ模型进行了推导和分析，讨论了不同衍生模型的应用条件和范围     

两种矩阵方程解的讨论

本文对两种矩阵方程的解进行了讨论，给出了两种条件下方程∫（ｘ）＝Ａ的解，并且讨论了Ｔ为任意ｎ阶实非奇异方程，方程ＴＸＴ＝Ｘ＾２的解。     

单板机异步通讯功能的扩充

单板机有价格低廉,易于掌握易于扩充等优点.但其存贮及数据处理能力低.由单板机与微机联机运行可解决以上问题,发挥两者优势.本文提出一种异步通讯的扩充方法.     

电网调度规约的评述和实例分析

评述了我国电网常用的几种调度通信规约，分析了我国国家标准和相应IEC标准之间的关系，以及调度通信规约的发展趋势；描述了在实际工程中解析DL476—92实时网络通信规约的具体应用实例，讨论了接入保护信息，扩充信息源带来的问题和解决方案；并提出了在工程中将通信接口模块化，形成动态链接的规约库，以提高规约解析程序的适应性的改进方案．     

非正则情况下复合边值问题在Rm中的求解

本文是在文[3]的基础上，在Rm中讨论了非正则情况下RH－一问题的求解方法，得到了一般解的显式及相应的可解条件。     

开放逻辑中一类算子的不动点

在开放逻辑中，令Γ为一假说，Ａ为一句子，对任何Γ到Γ的幂集合的一个映射ｆ本文定义了如下算子△ｆ，对任何，且．我们讨论了算子△ｆ的不动点的一些性质及其与Ｒ－重构的关系。     

数字逻辑系统中两种符号的正确辨析

对数字逻辑系统中两种常用的容易引起混淆的标注符号给出了正确辨析方法，以利于读图和绘图。     

层C／S模式EFIS面向对象的系统设计

提出了一种实用的企业财务信息系统（ＥＦＩＳ）的物理结构设计，它综合了３层Ｃ／Ｓ模式与面向对象方法学两种先进性，以之为基础，人们可根据管理改进的需要简便地对之进行调整，扩充，最终形成系统优化的。     

面向对象的矿床开拓专家系统

本文讨论了矿床开拓专家系统(MDES)的设计思想、实现过程及实现方法、采用面向对象的程序设计方法实现MDES的知识库和推理机,使MDES具有良好的用户界面.并具有可扩充、易维护等特点.     

AutoLISP语言的应用

通过几个例子介绍了如何应用AutoLISP语言来扩充AutoCAD的功能.主要讨论了四个问题;编制常用的零件图形库,零件可以带有需要的参数;简化尺寸公差标注步骤;绘制平面曲线;使用结构函数扩充AutoCAD的命令.     

趋向边界点的点列与极小瘦

本文讨论了区域内收敛于边界点的点列所关联原球族并的极小瘦性质，给出一个关于这种球族并的极小瘦的充要判别法，并探讨了ＳＩＨ－函数沿这种点列的极限与极小细极限之间的关系。文中提出所谓第三种点列，即非锥非切点列的概念，并研究了相应的问题。     

程序正确性证明及循环不变式的寻找方法

重点讨论了与程序验证相关的问题,并结合已有的求取循环不变式的方法给出了求已知循环程序的循环不变式的原则。     

有理数理论的计算复杂性

本文讨论了有理数理论的复杂性，通过构造精确的判定过程，从而确定了有理数理论的计算复杂性上界。     

多路选择器二级逻辑网络设计

首先组合函数的分解方法，然后给出利用多路选择器通用逻辑模块实现组合函数时，获得最小化或接近最小的二级逻辑网络的一种设计方法，该方法容易实现组合函数的计算机自动综合。     

测定酯化反应平衡常数的新方法

通过对一系列酯化反应的研究和讨论，确定了一种新的测定酯化反应平衡常数的方法，同时讨论了物质自身的结构特点及其性质对反应平衡常数的影响规律。     

认知逻辑中逻辑全知问题及其解决方法

分析认知逻辑中的逻辑全知问题及其解决方法,提出一种可以避免逻辑全知的认知 逻辑ＥＬ,并给出其语义公理系统。