软件开发的KFFEITO模型及其实用性

本文提出了能快速研究计算机应和新产品满足市场需求的中小型软件开发模型,即“核心功能优先、由里向外扩展”的软件开发模型。     

商务与教育:对教育产业化的理性思考

文章以系统论为基础,对"教育产业化"概念作深层次的理性思考,提醒业界警惕为图一时之利以商务模式相关的各种社会活动替代教育活动的现象,强调教育发展的固有规律性.     

制约逻辑, 消解原理及其应用

本文首先简要介绍了制约逻辑，然后提出制约逻辑的子句类型和消解方法，并对简称为ＬＥＬＡＩＬ的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。     

定罪量刑系统的结构及其特点

文章介绍了本课题组开发的定罪量刑系统（ＤＺＬＸ）的体系结构及其工作过程，并结合人民法院定罪和量刑工作的特点，分析了刑法适用中的不确定问题，介绍了系统内知识的表达、推理和求解的方法．最后，提出了在知识处理领域中带有普遍意义的原则，可供知识系统设计者参考     

定罪量刑系统DZLX中不确定性知识的表示和处理

文章首先概述了国内外不确定性知识的处理方法,又通过分析刑法适用中的不确定性问题,介绍了我们开发的“定罪量刑参考系统”DZLX中不确定性知识的表达,推理和求解的方法,由此提出了在不确定性知识处理领域中带有普遍意义的原则,并且对不确定性知识学习方法的机器实现作了探索。     

基于微机控制的安全防范系统

本文首先简述了安全防范技术的新进展，然后介绍了我们开发的基于微机控制的安全防范系统的软硬件体系结构及其实现技术、软件硬件的模块化结构以及多媒体技术的采用，使该系统在实时性，可靠性，灵活性方面达到了满足多种用户不同的安全防范要求的设计目标。     

制约逻辑 消解原理 人工智能语言

本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。     

110接处警决策支持系统的人机交互接口和推理学习功能 …

１１０接处警决策支持系统中的人机交互接口、推理和学习的方法有其自身的特点，对作者所开发的１１０系统所使用的技术和适用这些技术的信息表达方法进行讨论。这些技术是：交叉树索引，分解匹配与综合及基于实例的推理和学习。