Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing

Domain analysis is the activity of identifying and representing the relevant information in a domain,so that the information can be shared and reused in similar systems.But until now,no efficient approaches are available for capturing and representing the results of domain analysis and then for sharing and reusing the domain knowledge.This paper proposes an ontology-oriented approach for formalizing the domain models.The architecture for the multiple-layer structure of the domain knowledge base is also discussed.And finally,some genetic algorithm-based methods have been given for supporting the knowledge sharing and reusing.     

A software architecture centric engineering approach for Internetware

As a new software paradigm evolved by the Internet, Internetware brings many challenges for the traditional software development methods and techniques. Though architecture-based component composition (ABC) approach is originated in the traditional software paradigm, it supports the engineering of Internetware effectively due to its philosophy, rationales and mechanisms. ABC has three major contributions to the en- gineering of Internetware in detail. First, the feature oriented domain modeling method can structure the “disordered”“software entities” to “ordered Internetware” bottom-up in the problem space. Second, the architecture centric design and analysis method can support the development of self-adaptive Internetware. Third, the component operating platform is a reflective and self-adaptive middleware that not only provides Internetware with a pow- erful and flexible runtime infrastructure but also enables the self-adaptation of the structure and individual entities of Internetware.     

Modeling and analysis of singular systems via orthogonal triangular functions

This paper presents a new approach to singular system analysis by modeling the system in terms of orthogonal triangular functions (TFs). The proposed method is more accurate compared to block pulse function-based analysis with respect to mean integral square error (MISE). A numerical example involving four states of a singular system is treated and solutions obtained thereof. Four tables and relevant curves are presented to compare the respective coefficients in block pulse function (BPF) domain as well as in TF domain. The percentage error of the samples determined via TF domain are compared with the exact samples of the states. Furthermore, MISE for both BPF and TF analysis are computed and compared to reveal the efficiency of TF-based analysis.     

Stability analysis and controller design for a class of delay systems via observer based on network

This paper focuses on the problem of stability analysis and controller design for a class of delay systems based on networked control systems. By introducing some free matrix variables, some criteria for stability analysis and observer-based control law design can be obtained by the solving of linear matrix inequalities. A numerical example is also offered to prove the effectiveness of the proposed method.     

Object-oriented analysis of ELIMINO

ELIMINO is a mathematical research system developed for the implementation of Wu‘s method,a powerful method for polynomial equation system solving and geometric theorem proving.The aim of ELIMINO is to provide user a programmable interpreting environment to use Wu‘s method in scientific research and engineering computation.In this paper,the development of ELIMINO system is outlined and the techniques adopted are discussed,then some details about the aobject-oriented analysis of ELIMINO are presented.     

A new method for fMRI data processing: Neighborhood independent component correlation algorithm and its preliminary application

Independent component analysis (ICA) is a newly developed promising technique in signal processing applications. The effective separation and discrimination of functional Magnetic Resonance Imaging (fMRI) signals is an area of active research and widespread interest. Therefore, the development of an ICA based fMRI data processing method is of obvious value both theoretically and in potential applications. In this paper, analyzed firstly is the drawback of the extant popular ICA-fMRI method where the adopted signal model assumes the independence of spatial distributions of the signals and noise. Then presented is a new fMRI signal model, which assumes the independence of temporal courses of signal and noise in a tiny spatial domain. Consequently we get a novel fMRI data processing method: Neighborhood independent component correlation algorithm. The effectiveness is elucidated through theoretical analysis and simulation tests, and finally a real fMRI data test is presented.     

0ntology建模方法研究

The ontology model of a certain domatin is an effective approach for the intercommunion between people form the different domains,the communication and interoperation among agents,and the share and reuse of the software.But the lack of formal analysis tools for domain modeling results in taking liberties with conceptualization.This paper discusses how to introduce the ontological notions from philosophy into Knowledge Engineering in order to supply a set of formal analysis tools for conceptualization analysis.This method can definitely record the hypothesis and analysis criterions through ontology huilding,and clarify the hiberarchy of concepts.     

Sensitivity analysis of distributed parameter elements in high-speed circuit networks

This paper presents an analysis method, based on MacCormack＇s technique, for the evaluation of the time domain sensitivity of distributed parameter elements in high-speed circuit networks. Sensitivities can be calculated from electrical and physical parameters of the distributed parameter elements. The proposed method is a direct numerical method of time-space discretization and does not require complicated mathematical deductive process. Therefore, it is very convenient to program this method. It can be applied to sensitivity analysis of general transmission lines in linear or nonlinear circuit networks. The proposed method is second-order-accurate. Numerical experiment is presented to demonstrate its accuracy and efficiency.     

From knowledge based software engineering to knowware based software engineering

The first part of this paper reviews our efforts on knowledge-based software engineering, namely PROMIS, started from 1990s. The key point of PROMIS is to generate applications automatically based on domain knowledge as well as software knowledge. That is featured by separating the development of domain knowledge from the development of software. But in PROMIS, we did not find an appropriate representation for the domain knowledge. Fortunately, in our recent work, we found such a carrier for knowledge modules, i.e. knowware. Knowware is a commercialized form of domain knowledge. This paper briefly introduces the basic definitions of knowware, knowledge middleware and knowware engineering. Three life circle models of knowware engineering and the design of corresponding knowware implementations are given. Finally we discuss application system automatic generation and domain knowledge modeling on the J2EE platform, which combines the techniques of PROMIS, knowware and J2EE, and the development and deployment framework, i.e. PROMIS/KW＊＊.     

Automated analysis of the SCR-style requirements specifications

The SCR(Software Cost Reduction)requirements method is an effective method for specifying software system requirements.This paper presents a formal model analyzing SCR-style requirements.The analysis model mainly applies state translation rules,semantic computing rules and attributes to define formal semantics of a tabular notation in the SCR requirements method,and may be used to analyze requirements specifications to be specified by the SCR requirements method.Using a simple example,this paper introduces how to analyze consistency and completeness of requirements specifications.     

基于领域工程的卫生监督信息系统研究与实现

在领域工程理论的指导下,通过分析研究卫生监督领域各业务领域的特点,采用面向特征的领域分析方法,结合面向对象的软件工程思想,得出了该领域的可继承的业务通用构件及系统体系结构,并阐述了卫生监督信息系统的领域分析、领域设计和领域实现的详细建模过程。     

基于本体的领域特征建模过程研究

软件复用的研究和实践表明特定领域的软件复用活动相对容易取得成功,这主要是由于领域的内聚性和稳定性。而系统、全面的领域分析是成功的领域级复用活动的前提和关键。在领域分析和建模的相关研究工作中,已在特征建模方法的基础上引入本体作为特征建模的基础。在此基础上对基于本体的领域分析和建模过程进行了研究,提出了一种领域分析和建模方法OBDA（Ontology Based Domain Analysis）。该方法使用专家分析和自动分析方法相结合,分析业务动作之间的分解、泛化、刻面和依赖等关系以及各种关系的可变性,从而得到完整的领域特征模型。     

领域分析过程框架及UML描述

文章首先对领域的基本概念进行了讨论，并给出了一个一般的描述性定义；然后通过从三个不同角度讨论了领域及分析过程，并提出一个一般的领域分析过程框架，这将有利于对领域分析活动进行分类和管理，也为领域分析的标准化提供了一种参考解决方案，最后，给出了领域分析过程框架的UML描述。     

基于构件的领域工程实现

本文以软件工程的开发方法为基础,以软件复用为目的,以构件化为目标,总结了领域分析、领域设计、领域实现的方法;详细分析和讨论了领域工程的这三个阶段,并给出了一个具体的实现领域工程的详细过程。     

AM/FM/GIS领域模型研究

通过分析当前AM／FM／GIS在国内外日趋广泛的现状，作者指出AM／FM／GIS软件系统建设过程中存在的主要问题——软件可重用性差，指出其存在潜在的规律和本质的特征，通过找到这些规律和特征将能明显改善AM／FM／GIS系统建设的重用性。作者利用FODA的领域分析方法，对AM／FM／GIS系统进行了深入的研究，通过符合标准规范的表示方法，得到了领域特征模型、领域信息模型和领域操作模型，从不同的侧面精确描述了AM／FM／GIS的领域模型。     

软件复用在消防远程监控系统中的应用

软件复用有利于提高软件开发的生产效率,降低软件开发的成本,软件构件和领域工程是实现软件复用的核心技术。本文以消防远程监控系统为例,详细阐述了领域分析、领域体系结构设计等过程,并介绍了可复用构件实现方法。     

基于域分析的软件体系结构研究

以提高软件RRS特性为目的，提出了建立基于域分析的软件体系结构的观点，在此观点的基础上，对域分析进行了全面的研究，其中包括：定义域分析基本概念，建立完整的域模型，讨论域模型组成之间以及域模型与软件体系结构的相互关系等。最后指出域分析是软件体系结构的基础和前提，并为软件体系结构建立创造良好的工作环境。     

A systematic review of domain analysis solutions for product lines

Domain analysis is crucial and central to software product line engineering (SPLE) as it is one of the main instruments to decide what to include in a product and how it should fit in to the overall software product line. For this reason many domain analysis solutions have been proposed both by researchers and industry practitioners. Domain analysis comprises various modeling and scoping activities. This paper presents a systematic review of all the domain analysis solutions presented until 2007. The goal of the review is to analyze the level of industrial application and/or empirical validation of the proposed solutions with the purpose of mapping maturity in terms of industrial application, as well as to what extent proposed solutions might have been evaluated in terms of usability and usefulness. The finding of this review indicates that, although many new domain analysis solutions for software product lines have been proposed over the years, the absence of qualitative and quantitative results from empirical application and/or validation makes it hard to evaluate the potential of proposed solutions with respect to their usability and/or usefulness for industry adoption. The detailed results of the systematic review can be used by individual researchers to see large gaps in research that give opportunities for future work, and from a general research perspective lessons can be learned from the absence of validation as well as from good examples presented. From an industry practitioner view, the results can be used to gauge as to what extent solutions have been applied and/or validated and in what manner, both valuable as input prior to industry adoption of a domain analysis solution.     

基于WWW的实时域名管理技术

域名管理是Internet中的一项重要管理任务,阐述了基于WWW的实时域各管理的实现技术,管理员采用直观的Web界面,可实现对所有域名服务器域名数据的实时维护和管理,并确保域名数据的正确性,这一系统的设计探讨了当前Internet中新的管理技术。     

Particle-field decomposition and domain decomposition in parallel particle-in-cell beam dynamics simulation

Particle-in-cell (PIC) simulation is widely used in many branches of physics and engineering. In this paper, we give an analysis of the particle-field decomposition method and the domain decomposition method in parallel particle-in-cell beam dynamics simulation. The parallel performance of the two decomposition methods was studied on the Cray XT4 and the IBM Blue Gene/P Computers. The domain decomposition method shows better scalability but is slower than the particle-field decomposition in most cases (up to a few thousand processors) for macroparticle dominant applications. The particle-field decomposition method also shows less memory usage than the domain decomposition method due to its use of perfect static load balance. For applications with a smaller ratio of macroparticles to grid points, the domain decomposition method exhibits better scalability and faster speed. Application of the particle-field decomposition scheme to high-resolution macroparticle-dominant parallel beam dynamics simulation for a future light source linear accelerator is presented as an example.