摘要：利用辩论推理模式 ,将负文字的析取式作为诱导推理的假设 ,建立了析取逻辑程序设计的一种诱导语义框架DAS .它不仅是实现辩论推理 (诱导 )的一种简单直观语义而且为析取逻辑程序的语义提供了一个统一的框架 .特别地 ,证明了著名的良基 (Well Founded)语义和EGCWA等都可以嵌入DAS .

摘要：本文基于 CORBA分布计算环境 ,设计和实现了一种高效、非常规的对象适配机制 ,该机制能有效解决对象适配低效的问题 ;提供了对象适配机制构件化框架 ,并且基于 POA实现了构件化的对象适配机制。

摘要：随着分布对象技术和网络技术的发展 ,办公自动化建设进入了一个崭新的发展阶段。传统的值班系统暴露出灵活性差、系统间互联和互操作能力低、使用和改造费用高等弱点。本文以实际应用为背景 ,以我院自行研制的 Star Bus为分布计算软件平台 ,采用面向分布对象技术和安全套接字层协议 ,论述了一个可扩展的值班安全系统原型的设计方法和实现技术。

摘要：传统的构件模型依赖于特定平台底层服务 ,重用程度不高。本文遵循 CORBA规范 ,在分析软构件技术的基础上提出了一种服务器构件模型 ,将底层服务与业务逻辑开发分离 ,极大地简化了程序设计 。

摘要：分布对象技术与WWW技术的融合是分布计算技术未来的发展方向。本文提出了一种融合分布对象技术与WWW技术的面向对象的WWW计算模型；讨论了这种模型的工作原理和特点。基于该模型；我们设计了一个面向Intranet/Intemet应用的智能工具InfServer,介绍了InfServer智能推理服务对象、ActiveX桥接控件与Java桥接包的实现方法．InfServer目前已在农业、石油、渔业、医疗诊断和后勤保障等领域投入使用。

摘要：测量船中心机实时监控专家系统应用于测量船中心机系统执行海上测量任务的时节，旨在提高整个系统的实时性和可靠性。本文围绕实时专家系统的时序性、时变性、时效性等特征，从系统设计与实现两个方面讨论建造该专家系统的一些关键技术。

摘要：智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。