基于Deep Web的教育资源检索系统

针对联基础教育教学资源元数据应用规范》中资源建设标准的缺陷,提出一种基于DeepWeb集成技术的教育资源跨库检索系统设计方案。该系统包含知识发现、集成查询、知识库和系统监控等模块,加入了环境变化监控构件,并在多个环节中采用自动化方式。     

基于Deep Web的教育资源检索系统

针对《基础教育教学资源元数据应用规范》中资源建设标准的缺陷,提出一种基于Deep Web集成技术的教育资源跨库检索系统设计方案。该系统包含知识发现、集成查询、知识库和系统监控等模块,加入了环境变化监控构件,并在多个环节中采用自动化方式。     

InCoME软件成本估算工具

针对现行的成本估算软件存在算法支持不够,算法不公开、对建模支持不够等问题,提出了一种基于最优加权算法的集成软件成本估算方法InCoME,并且在此基础上采用Eclipse RCP框架、Java开发语言、HSQLDB关系数据库开发出了InCoME成本估算软件.该软件不仅实现了驱动因子管理、集成模型支持、模型校准、模型精度分析等模块,而且还实现了基于不确定性的成本估算和风险分析功能,解决了国内一些企业息需成本估算软件等问题.     

一个新的综合集成研讨厅软件框架

综合集成研讨厅是一种用于研究开放复杂巨系统的方法论,目前已在经济、军事等领域得到了应用。介绍了一种新的综合集成研讨厅系统的软件框架设计。首先提出了系统的整体设计目标;其次介绍了基于流程的灵活的研讨组织框架,它是整个软件架构的核心;然后设计了基于Plugin设计模式的通用工具、模型、知识库管理框架;最后给出了分布式决策支持工具的通信机制和远程调用过程。     

基于Eclipse的水下航行器制导系统软件集成技术

针对水下航行器制导系统庞大、开发软件众多的特点,研究了基于Eclipse的水下航行器制导系统软件模块集成平台,提出了基于Eclipse平台集成软件模块的开发方案.通过JNI技术,实现任意水下航行器软件模块在Eclipse平台下的集成.根据Eclipse的插件机制,提出了一种优化集成的方法.软件集成平台具有开发界面灵活可...     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

一种软件构件仓库及实现方法

为了有效提高软件质量和开发效率,基于软件复用思想将软件模块和业务模块抽象为软件构件,提供以特定规则存储、查询、使用和进化构件的软件构件仓库.软件构件仓库的使用过程主要包括创建构件、查询构件、引用构件以及自动构建与持续集成等步骤.软件构件的逻辑模型采用了结合刻面分类法和键值对表示法的集成方法,定义了一种以URL方式表示构件信息的构件管理协议用于在系统内部存储、传递和解析软件构件信息,构件逻辑模型存储在关系型数据库中,用于描述构件包含的所有信息的模型,构件物理模型用来表达软件构件所对应的实体-文件的存储形式,保证构件仓库能够无障碍地升级和迁移.     

金属结构损伤电磁检测软件设计与开发

电磁检测具有非接触、快速、高效的优势,在大型钢结构件的检测中具有广阔的应用前景,且多种检测方式集成是电磁检测的发展趋势。为此,提出了一种集成漏磁、电磁超声和导波电磁检测软件的可复用结构设计方法。采用“模块化模型”思路设计功能模块,基于“软件总线结构”概念实现模块间的数据通信。通过设计标准化的数据接口,以满足各模块的独立开发和拓展,并与软件系统无缝连接,再使用调度控制器进行检测模式或状态的切换,以实现多种检测功能。最后基于Windows环境的MFC开发一套检测软件,并进行了验证。     

基于本体的异构数据集成框架

针对电力系统数据集成中存在的语义异构问题,提出一种基于本体的数据集成框架。依据电力参数估计系统的数据需求模型,分析数据集成存在的语义冲突类型,在传统数据集成框架的数据集成中间件模块中加入本体语义描述模块。采用本体描述信息资源域中的概念,通过实现语义冲突主动发现并构建语义映射关系。实验结果表明,该框架能有效解决数据集成过程中的语义异构问题。     

基于本体的知识库模型研究

本体作为一种能在语义和知识层次上描述信息系统的概念模型建模工具,近年来在计算机的许多领域得到了广泛的应用。其中,基于本体的知识构建是一个复杂的系统工程。就目前的研究状况来说,主要是解决如何构建知识模型的问题。本文运用本体知识模型相关的理论,在分析了本体论、知识库和知识库系统概念的基础上探讨了本体论在知识库系统中的应用和方法,提出了一种基于本体的知识模型,并阐述了基于本体的知识库构建方法。     

Modeling collaboration for large-scale software system integration by formal communication models

In the development of large software systems, several synchronization points have to be passed successfully in order to achieve high-end user acceptance of the final system. In particular, the integration of conceptual design entities has turned out to be the most crucial step in software development. At this point, an explicit representation of the organizational knowledge, namely how the integration can be performed, is required. The overall organization of the integration of design entities is a set of knowledge, action (including communication), and time. The knowledge part comprises the integration procedure itself as well as the design entities. Actions are performed by the members of the project team (project leaders, developers). Each integration step has to be performed synchronized, so that each member of the development team knows concurrently the status of the integration procedure. All other individual design activities are usually performed asynchronously. According to the need for an explicit representation of the organizational knowledge for large software system design, this paper attempts tounderstand the nature of large software system integration and formallydescribes the coordination of a dispersed set of software developers. The organizational knowledge is represented by processes that occur in an asynchronous development environment. The design knowledge is assigned to logical formulas that are processed as exchanged messages among developers. Hence, the activities for integration are based on the transmission of messages. Time-critical events, such as the integration of a particular design entity into the final conceptual design of the software system, have to become common knowledge concurrently for all developers. This organizational constraint has been formalized in the communication model. Not only can the proposed framework be adapted to organizational changes in a flexible way, it can also be applied to any specific development strategy for the integration of conceptual design entities. Thus, such kind of formal communication models may provide a sound basis for cooperative CASE (computer-aided software engineering) tools.This work has been sponsored by the Max Kade Foundation, New York.     

Beyond Knowledge Engineering

Knowledge engineering stems from E. A. Figenbaum＇s proposal in 1977, but it will enter a new decade with the new challenges. This paper first summarizes three knowledge engineering experiments we have undertaken to show possibility of separating knowledge development from intelligent software development. We call it the ICAX mode of intelligent application software generation. The key of this mode is to generate knowledge base, which is the source of intelligence of ICAX software, independently and parallel to intelligent software development. That gives birth to a new and more general concept ＂knowware＂. Knowware is a commercialized knowledge module with documentation and intellectual property, which is computer operable, but free of any built-in control mechanism, meeting some industrial standards and embeddable in software/hardware. The process of development, application and management of knowware is called knowware engineering. Two different knowware life cycle models are discussed： the furnace model and the crystallization model. Knowledge middleware is a class of software functioning in all aspects of knowware life cycle models. Finally, this paper also presents some examples of building knowware in the domain of information system engineering.     

3S与遥感影像理解专家系统设计

从当代遥感技术发展的特点和3S集成系统用于空间对地观测促进社会可持续发展对遥感分析软件的自动化和准确性的需要-这一遥感技术发展过程中的时代背景出发,对研制适合当代遥感技术及相关领域发展特点的遥感影像理解专家系统所涉及的关键性内容进行了系统、深入的探讨,并从实用性角度提出了这种专家系统所具备的特点。     

基于三层知识模型的软件缺陷管理系统

目前的缺陷分析还是基于数据层面分析与预测,对软件测试工作的价值贡献受到局限。本文设计了一种基于三层知识模型的软件缺陷管理系统。通过把知识库的结构引入到软件缺陷管理中,把缺陷分析从数据管理层面提升为知识管理层面。通过事实知识层、中间层、策略层三层知识库结构对软件开发测试过程中产品产生的技术数据、管理过程数据进行采集沉淀,提取软件缺陷预测规则,并生成能指导软件测试工作的策略报告。有助于从根本上提升软件测试工作水平和效率。     

嵌入式软件与硬件的集成测试过程研究

嵌入式软件自身软硬件结合的复杂性及其质量的重要性,造成其软件测试的特殊性,就是在执行正常软件测试的单元测试、集成测试、系统测试的过程中,还要考虑到软件与硬件的兼容问题,即需要进行软硬件集成测试。本文首先介绍了嵌入式软件与硬件集成测试的相关概念,然后归纳提出了软硬件集成测试过程,结合当前软件测试理论前沿知识,把该测试过程进行重组和改进,并给出了测试模型。     

Development of the knowledge base of an expert system for civil rights investigation

Abstract: A methodology that was successfully applied to the development of the knowledge base of a legal expert system is presented. The methodology consists of five distinct phases: model building, knowledge acquisition, knowledge integration, partitioning and external design. The phases are described in detail and illustrated with examples from the application area, which is civil rights complaint investigation.     

基于IEC61970的电力系统仿真数据库研究

随着电力系统的发展和软件工程技术的革命，电力系统仿真软件的更新和发展越来越快，这就对支撑仿真软件的仿真数据库提出了更高的要求。而现行开发的仿真数据库大多采用关系数据库系统，不能很好地满足面向对象编程的需要。该文利用ORACLE8i中先进的面向对象特性，提出了一种对象-关系型仿真数据库，能较好地满足面向对象编程的需要，具有良好的可扩充性和可维护性。同时，为了便于仿真软件之间或仿真软件与其它电力系统软件间的数据交换和共享，该文又利用了1EC61970标准中的电力系统资源公用信息模型(CIM)对电力系统器件进行建模，从而为仿真软件间的集成提供了平台。总之，该文提出了一种支持多种仿真软件集成的对象-关系型电力系统仿真数据库。     

Adaptive Enterprise Service Bus

Modern software systems are usually designed in the Service-Oriented Architecture (SOA), which provides methods for system development and integration of existing, reusable services. Due to the growing com-plexity of such systems, there is a need to design them in a way which enables adaptation to changes in the execution environment. This paper presents the Adaptive ESB framework for adaptive execution of services with the use of statistical models representing knowledge about service execution. Statisti- cal models are exploited in many different areas, but applying them to SOA applications requires specific methods for their identification, updating and processing. A statistical model of service execution represents knowledge of how a complex system behaves as a high-level abstraction of a system related to the problem space.     

Task‐based conceptual graphs as a basis for automating software development

It is widely recognized that requirements engineering is a knowledge‐intensive process and cannot be dealt with using only a few general principles. Since knowledge plays a crucial role in software development, software engineers have to describe and organize various aspects of knowledge before the program can be written. A recent work by Robillard reveals that software development can be further improved by recognizing the relevant knowledge structures. In this paper, we propose the use of a task‐based conceptual graphs (TBCB) framework as a basis for automating software development. By structuring and operationalizing conceptual graphs, TBCG specifications can be transformed into executable programs automatically. To construct a conceptual model, task‐based specification methodology is used as the mechanism to structure the knowledge captured in conceptual models, whereas conceptual graphs are adopted as the formalism to express task‐based specifications and to provide a reasoning capability for the purpose of automation. Once task‐based graphs have been constructed and verified, a blackboard system will automatically transform TBCG specifications into a software system composed of database schemas, knowledge base, and user interfaces. A meeting scheduling system is used as an illustrative example to demonstrate our approach. © 2000 John Wiley & Sons, Inc.