dynamic evolutions based on ontologies

With the continuous changes in application requirements of the enterprises, Web resources must be updated, so do the underlying ontologies that are associated with the Web resources. In the situation, it is very challenging for ontological engineers to specify the changes of ontologies, keep their consistencies and achieve semantic query of Web resources based on the evolving ontologies. We propose a construct called Prioritized Knowledge Base (PKB) based on SHOQ(D) description logic, and discuss some properties of PKB.PKB can be used for describing the evolutions and updates of ontologies with conflicting information. Furthermore, we develop some algorithms for checking conflict rules and performing semantic query based on PKB.

facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.

Evaluation of a combined wavelet and a combined principal component analysis classification system for BCG diagnostic problem

Heart disease is one of the main factor causing death in the developed countries. Over several decades, variety of electronic and computer technology have been developed to assist clinical practices for cardiac performance monitoring and heart disease diagnosis. Among these methods, Ballistocardiography (BCG) has an interesting feature that no electrodes are needed to be attached to the body during the measurement. Thus, it is provides a potential application to asses the patients heart condition in the home. In this paper, a comparison is made for two neural networks based BCG signal classification models. One system uses a principal component analysis (PCA) method, and the other a discrete wavelet transform, to reduce the input dimensionality. It is indicated that the combined wavelet transform and neural network has a more reliable performance than the combined PCA and neural network system. Moreover, the wavelet transform requires no prior knowledge of the statistical distribution of data samples and the computation complexity and training time are reduced.

基于知识的供应链决策框架

本文提出了一种基于知识的供应链决策框架,并且从理论和实践的角度详细探讨了知识积累和知识挖掘过程,充分利用知识优势,以期通过知识与推理机制的集成和人类智慧与枯燥数据之间的无缝链接来提高供应链性能。它不仅适用于供应链整体而且也适用于供应链各侧面。它可实现独立地、自动地、实时地及时决策以缩短顾客定货周期,降低库存,提高交付准确性和资源利用水平。决策框架同样也适用于其它类似的情况。

基于知识的计算机辅助工艺设计系统

介绍了一个较为通用的基于知识的计算机辅助工艺设计（ＣＡＰＰ）系统结构，包括知识表达和关联函数，知识库管理，任务分解与综合策略，解释机制，与其他系统的接口。

论以知识为基础的产品

深入探讨了以知识为基础的产品的概念，从而为各行各业的发展指出了广阔的前景。

基于意象知识的消歧体系

本文提出了一种可以表示常识及语言知识的意象知识体系。在这种知识的形式化表示基础上,给出了NLP中的消歧知识及其表示形式,以及基于消歧知识的消歧策略。最后,论述了这种方法实现上的可行性。

一种基于知识的自然景物解释

利用我们研制成的基于知识的区域分析系统,我们对自然景物图象做了分析、解释。本文介绍:(1)图象初始分割;(2)图象特征提取;(3)规则集构造。这里,图象初始分割采用的是模糊域方法,它基于Fuzzy C-means 算法,并在此基础上修改了收敛准则,增加了迭代分割功能。图象特征分为主持征及从特征,它们建立在层次化的区域数据结构上。适合于区域分析的规则集已包括三类规则,它们不仅具有较强的知识表示能力,而且易于控制及利用。本文介绍针对包括天空、道路、树木、建筑物等物体的简单景物图象所做的解释实验,并给出了实验结果.

流程企业计划调度体系结构研究

以石化企业为背景,在深入分析流程企业计划调度系统结构特征的基础上,结合流程企业计划调度的关键目标,提出了一种基于模型的中心化流程企业计划调度通用结构,突出了计划调度的中心地位.以此为指导,进一步建立并实现了基于知识的智能计划调度总体结构,为流程企业生产系统的运行优化提供了方法论的指导.