1996, 7(3):137-144.
摘要:本文提出一种基于领域知识的需求信息获取方法.相应的MIS开发环境PROMIS已成功地应用于多个领域.
1996, 7(3):145-149.
摘要:本文总结了现有被动对象模型存在的不足,探讨了对象的动态行为的抽象和描述问题,提出并建构了基于事件驱动的主动对象模型.在该模型中,引入了主动对象,主动对象能检测到外部发生的事件以决定自己的行为;引入主动对象类,以对主动对象进行抽象描述;还引入了运作对象,以协调其他主动对象的行为,一个运作对象还代表了一个可运行的系统,可以通过继承复用已开发的系统,增加了继承的力度.
1996, 7(3):150-155.
摘要:本文针对开放分布式处理的要求,分析了传统分布计算模型Client/Server的不足,提出和设计了一个基于MultiServer系统的分布计算模型,它具有面向对象、服务静态和动态调用、对多服务关系层次的支持等优点,具有较好的服务透明性、可扩充性和容错性.
1996, 7(3):163-167.
摘要:本文将人类语言分为自然语言和人体语言,阐述了人体语言的概念,讨论了人类语言的结构与包容关系,归纳了人体语言与自然语言的信息融合模型.在该模型的基础上,利用面向Agent技术设计了一个多功能感知系统的框架结构,提出了Agent关系图表示方法,并具体实现了一种人体语言感知原型系统.
1996, 7(3):168-174.
摘要:本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序.该程序从递归函数定义出发,自动生成归纳法模板;从待证定理出发,借助归纳法模板,自动生成归纳法模式和归纳法公式.该系统已在微机上用编译LISP语言实现.
1996, 7(3):175-179.
摘要:本文通过对PVM进程通信机制进行修改及引入Condor的检查点机制,实现了对PVM用户进程的迁移.