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.

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.

论以知识为基础的产品

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

基于ActiveX Scripting技术的测试软件开发

测试软件(Tester)的开发不同于一般的软件开发,在测试软件开发的过程中,涉及到测试软件本身和测试用例(Testcase)两者之间的划分和协作.目前的测试用例脚本大都是一些自定义的格式文本,通过测试软件的分析来执行测试逻辑,不仅需要编写大量复杂的脚本解析程序,而且难以阅读和维护.为了解决这个问题,提出了一种基于ActiveX Scripting技术的测试软件开发方法,该方法可以将测试逻辑按照需求分配到测试软件和测试用例,提供了一种统一的编程接口,易于学习和使用.

基于产品线工程的组件容器开发方法研究

近年来，随着Internet规模的增长，分布式组件技术快速发展，新的组件模型不断涌现，现有的组件模型也持续更新。组件容器为组件及组件应用提供部署和运行环境，是基于组件分布式应用开发的核心。组件模型的多样化和快速演化要求组件容器的开发方法将研究范围扩大到整个领域。产品线工程是基于软件核心资产构建软件产品系列的工程方法，将产品线工程方法应用于组件容器领域可以促进组件容器的系统化复用，获得更高的生产效率和产品质量。 由于组件容器领域的特点，应用过程中现有的产品线工程方法体现出一些不足。产品线工程包括领域工程和应用工程，其中领域工程又由领域分析、领域设计和领域实现构成。组件模型是组件容器需求的主要来源，但目前缺乏对组件模型的统一认识和详细分析；领域分析建模要求领域模型有效地刻画领域需求的组织结构、相互关系和变化性，并提供具体的建模过程指导，现有的面向特征、基于用例等领域建模方法存在语义模糊、粒度不当、缺乏具体流程指导等不足。 针对上述问题，论文按照软件开发流程顺序，从需求分析、领域建模、领域设计等方面，对组件容器设计和开发的若干关键问题进行了重点研究，包括组件模型分析、基于原子需求的领域建模方法、组件容器产品线体系结构等。 首先，由于组件模型是组件容器需求的主要来源，针对现有的组件模型分析方法粒度较大的问题，通过分析相关软件实体可能具有的各种约束，选择从语法、部署和交互三个方面，得到构成组件模型的模型元素，提出了一个细粒度的组件模型分析框架。将该分析框架应用于目前有代表性的分布式组件模型，基于分析结果提炼了分布式组件模型的主要公共特征，并与其他分析方法做了对比。 另一方面给出了基于原子需求的领域建模方法。以原子需求概念为基础，提出了一个多层次的领域需求描述模型，从用例、原子需求等多个层次刻画领域需求，并基于变化点建立独立的变化性描述机制。介绍了相应的领域建模过程，包括其建模步骤、建模原则和描述规范，为领域分析人员提供具体指导。并结合领域实例探讨了领域建模的过程。 基于以上工作，本文设计了组件容器产品线体系结构PLACE。首先将基于软件实体的组件模型分析框架与基于原子需求的领域建模方法相结合，建立组件容器领域模型，进而提出了组件容器产品线体系结构PLACE，从体系结构、模块功能、变化性设计和变化性管理等方面介绍了其设计。具体组件容器的设计实例表明，PLACE通过在组件模型和体系结构间建立直接的对应关系，有效促进了组件容器领域内的系统化复用。 最后，我们将上述方法应用于网驰平台中组件容器产品系列包括Web容器、EJB容器、BPEL容器和Portlet容器等的设计。实验结果证实了基于PLACE的开发方法在保证产品功能正确性的同时，提高了组件容器领域内的结构复用性，获得了更高的生产效率和产品质量。

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 算法,并在此基础上修改了收敛准则,增加了迭代分割功能。图象特征分为主持征及从特征,它们建立在层次化的区域数据结构上。适合于区域分析的规则集已包括三类规则,它们不仅具有较强的知识表示能力,而且易于控制及利用。本文介绍针对包括天空、道路、树木、建筑物等物体的简单景物图象所做的解释实验,并给出了实验结果.

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

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