基于遗传算法的工作流个人工作列表资源调度

在工作流管理系统中,个人工作列表的优化调度具有重要意义.已有的相关研究主要关注工作流实例的调度,而关于个人工作列表调度的研究还较少.首先描述了工作流实例动态执行环境下个人工作列表调度问题,并提出了一个基于遗传算法的个人工作列表资源调度算法.该算法要为每一个执行人推荐一个可行工作列表,并在保证工作项联合执行成功率的同时最小化总体延误代价.最后,通过一个仿真实验将该遗传算法与其他7种基于分配规则的典型调度算法进行了比较.结果表明,所提出的基于遗传算法的个人工作列表资源调度算法比已有的其他典型调度算法具有更好的调度效果.

网站框架生成与信息发布工具的设计与实现

本文介绍我们研制的一个面向管理部门的网站框架生成与信息发布工具WebDoc。该工具作为网站开发通用平台的一部分,可以全面辅助网站开发或管理人员快速构建一个具有开放式体系结构、多媒体信息发布和网上浏览查询、以及信息安全保密和授权访问控制的网站系统。

一个基于逻辑程序设计范例的专家数据库开发工具

ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具．它以逻辑语言为基础，向下扩充了主存关系数据库管理功能，向上发展了模块化结构、面向对象方法和智能体通信技术．在逻辑推理层次上，还实现了逻辑程序设计与主存关系数据库语言级和物理级的有效集成．本文着重介绍该工具的设计思想与实现方法．

多源数据转换与装载向导开发技术

对研制的一个多源数据转换与装载向导DEPWizard的开发技术做了介绍。该向导作为网站开发通用平台的一部分,可以支持网站管理或维护人员自动转换和装载多源异构数据、快速构建数据中心和灵活组织数据发布页面。

智能数据库工具技术

本文详细介绍了一个智能数据库支持工具ＦｏｘＰｅｒｔ的设计与实现技术．该工具立足于主流数据库系统，采用一种增强的松耦合结构实现了ＦｏｘＰｒｏ，Ｏｒａｃｌｅ与知识表示语言ＣＬＩＰＳ（Ｃｌａｎｇｕａｇｅｉｎｔｅｇｒａｔｅｄｐｒｏｄｕｃｔｉｏｎｓｙｓｔｅｍ）的无缝连接．它在体系结构、集成平台、集成方向和集成形式上具有鲜明的技术特点，已在不同部门推广应用．

面向对象的WWW计算与智能工具InfServer的研究

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

InfServer : 一个基于分布计算环境的智能推理服务软件

介绍了一个基于分布计算环境的智能推理服务软件ＩｎｆＳｅｒｖｅｒ。它采用目前流行的Ｎ层体系结构，服务层是基于ＣＯＲＢＡ平台实现的一个智能推理服务构件，客户层是基于ＯＬＥ／ＣＯＭ和ＷＷＷ技术实现的一组桥接中间件。ＩｎｆＳｅｒｖｅｒ目前已用于农业、石油和后勤保障等领域，以开发Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ或Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ结构的智能应用系统。

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。

逻辑语言与关系数据库语言的合成及其高效实现

本文结合我们研制知识库管理系统GKBMS中逻辑程序设计GKD—PROLOG/WICK与关系数据库ORACLE的一个集成系统的工作实践,详细讨论两种语言的合成、部分计算机制、静态优化技术和动态优化技术等。

Prolog中非逻辑成分的部分计算

内部谓词是Prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-Prolog编译系统的源级部分计算器中实现和应用。

Web数据提取与发布工具的设计与实现

介绍一个Web数据提取与发布工具,内容包括系统结构、功能设计、数据组织、界面设计和实现技术。该工具已用于多个部门信息网站建设和信息系统开发之中。

Prology程序部分计算的研究与实现

部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(1)关于Prolog程序部分计算的基本原理和特征缺乏系统的认识;(2)现有的两种检测逻辑程序中循环的方法，并没有最后解决部分计算的终止性问题》;(3)关于Prolog中内部谓词的处理不够究善，而且其中还隐含了许多语叉错误;(4)部分计算算法相当低效；(5)现有的部分计算器局限于各自的应用领域，缺乏通用性。本文结合我们研制GKD－Prolog编译系统[14]剖中一个实用源级部分计算器的工作实践，全面、系统地讨论了纯Prolog的部分计算、逻辑程序的循环检测以及全Prolog的内部谓词处理。

基午Prolog与0racle集成的GKBMS演绎数据库子系统的设计与实现

目前,逻辑程序设计与关系数据库的集成大多集中在两者的接口问题上,而且已经取得一些令人满意的结果。但是,在逻辑语言与关系数据库语言的合成、以及知识程序的高效处理方面却缺乏应有的重视和考虑。本文介绍的知识库管理系统GKBMS演绎数据库子系统正是在这一背景下提出,并在Micro VAX 11机器上研制成功的一个逻辑程序设计GKD-Prolog与关系数据库Oracle的集成系统。

知识库管理系统GKBMS预编译器的研究与实现

知识库管理系统GKBMS是在Micro VAXⅡ上研制成功的一个通用知识信息处理的集成化环境系统。本文介绍其中预编译器的研究与实现。该预编译器由二级优化编译组成,分别采用部分计算技术和静态优化技术,能够支持元、目标级混合程序[8][11]及PROLOG—DBMS耦合程序[10]的优化。应用表明,该预编译器可显著提高知识程序的执行效率。

CORBA与OLE/COM的应用集成研究

文章以ＣＯＲＢＡ和ＯＬＥ／ＣＯＭ两大构件对象技术为技术背景，讨论了在分布式应用下，基于ＣＯＲＢＡ标准的分布式平台如何集成ＣＯＭ构件，使基于ＣＯＲＢＡ平台的应用能够重用已有的Ｗｉｎｄｏｗｓ家族中的众多构件；同时针对开发ＣＯＲＢＡ应用的瓶颈提出了利用ＯＬＥＡｕ－ｔｏｍａｔｉｏｎ技术开放ＣＯＲＢＡ客户应用的方案。

一个基于FoxPro和Clips的智能数据库支持工具FoxPert

本文介绍了一个数据库系统ＦｏｘＰｒｏ和产生式系统Ｃｌｉｐｓ的集成系统ＦｏｘＰｅｒｔ的设计与实现技术．该系统采用增强接口界面功能和扩展被集成系统各自功能的方法克服松耦合结构的缺陷．

Prolog对象系统GKD—POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。

合同战术级军事专家系统研制

文中以合同战术级军事专家系统的实践为基础,以逻辑型语言为主要实现语言,描述基于黑板模型的问题求解策略,使用框架与产生式规则相结合的知识表示方法,以及运用基于预制文本与模糊文法的解释机制等。应用表明,本文提出和采用的方法与技术取得了明显的效益。

知识库系统开发环境KBDE的基础研究

本文讨论知识库开发环境KBDE的基础研究工作。KBDE以元级逻辑程序设计为基础,从而能够适应不同的知识表示、推理策略、解释策略;另一方面,我们研究的部分计算机制明显提高了元级描述的运行效率,保证了KBDE的实用性。本文将着重讨论KBDE的结构、部分计算机制和KBDE内核。

GKD-PROLOG/SUN多窗口系统的设计与实现

本文较系统地介绍和分析了SUN工作站上支持多窗口用户界面开发的窗口系统SUNVIEW,并根据PROLOG语言的特点,详细地讨论了在SUN工作站上PROLOG多窗口系统的设计思想。