摘要：本文论述了多媒介数据库系统的一些基本问题，并介绍了一个新型的多媒介数据库管理系统ＣＤＢ／Ｍ的设计．

摘要：本文提出了一个集成化的软件测试支撑环境INSENST的设计思想,并对INSENST的初步设计及详细设计方法进行了深入的讨论。

摘要：在本文中,我们研究了软件开发中文档管理的主要内容,并提出了一个可由用户独立使用,也可用于软件工程支撑环境中的文档管理工具的功能设计及这样一个工具的实现。

摘要：本文回顾了分布式数据库管理系统 C-POREL 的十年研制过程,介绍了 C-POREL 的设计思想及其演变。通过 C-POREL 与国际著名先驱系统的比较,指出了 C-POREL 的特色,分析和探讨了 C-POREL 的实现策略,并讨论了它的测试支撑环境的设计、实现以及一般并发系统问题。

摘要：一、引言演绎数据库是 AI、逻辑程序设计和 DB 技术相结合的一种具有演绎推理能力的数据库系统,在过去十几年里,经历了迅速全面的发展。由于它具有集人工智能、逻辑程序设计和数据库技术的实用性研究结果于一身的特点,已成为数据库技术中最受重视的前沿研究领域之一。演绎数据库的实现是近年来人们普遍重视的研究课题。Prolog 语言在演绎数据库的实现中占有重要地位。Prolog 把数据库与程序设计语言在形式上达到了完全和自然的统一,既可作为实现演绎数据库的基本工具,又能直接用于与 DBMS

摘要：以加快建设世界一流企业为契机,以绿色京能、数字京能、创新京能发展战略为目标,以打造价值创造型财务管理模式为引领,近年来,京能集团基于顶层设计,通过一体化建设会计核算集中处理的财务共享中心以及资金全流程集中管理的司库体系,推进“业财资档”管控一体化,在提升财务核算效率和准确率、控制资金风险、降低融资成本、提高资金效益的同时,提升了价值创造能力,为加快建设世界一流企业提供了有力支持。