The efficient solving of process control problems often requires manipulating a wide spectrum of knowledge representations ranging from analytical knowledge to qualitative knowledge. These tendencies have been causing...
详细信息
The efficient solving of process control problems often requires manipulating a wide spectrum of knowledge representations ranging from analytical knowledge to qualitative knowledge. These tendencies have been causing a growing interest for methods that are flexible enough to accommodate knowledge-based paradigms. In the paper, the simulator design of the amorphous SiO2 precipitation process is described. From the control point of view, the process is a typical semibatch process containing discrete, as well as continuous dynamics. The simulator is developed in G2, which is an environment for the development of real-time expert systems and has been effectively used on a problem containing a great diversity of model descriptions. (C) 1998 Elsevier Science B.V. All rights reserved.
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-orientedprogramming, KQML and basic mobile techniques to support intelligent behaviors, software intero...
详细信息
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-orientedprogramming, KQML and basic mobile techniques to support intelligent behaviors, software interoperatablity and code transportability. As prototype based logic objects, agents are composed of network connections, knowledge bases (facts and beliefs), databases, behaviors, constraints, services, goals and KQML performatives. An approach to non-monotonic inheritance with both predicate level and clause level knowledge reuse is proposed and formally defined. Multi-level components and the interfaces to FTP services and relational database systems are also provided for developing specific distributed agents. (C) 1998 Elsevier Science B.V. All rights *** paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-orientedprogramming, KQML and basic mobile techniques to support intelligent behaviors, software interoperatablity and code transportability. As prototype based logic objects, agents are composed of network connections, knowledge bases (facts and beliefs), databases, behaviors, constraints, services, goals and KQML performatives. An approach to non-monotonic inheritance with both predicate level and clause level knowledge reuse is proposed and formally defined. Multi-level components and the interfaces to FTP services and relational database systems are also provided for developing specific distributed agents. (C) 1998 Elsevier Science B.V. All rights reserved.
The object management architecture (OMA) has been recognized as a de facto standard in the development of object services in a distributed computing environment. In a distributed system, the provision for failure-reco...
详细信息
The object management architecture (OMA) has been recognized as a de facto standard in the development of object services in a distributed computing environment. In a distributed system, the provision for failure-recovery is always a vital design issue. However, the fault-tolerant service has not been extensively considered in the current OMA framework, despite the fact that an increasing number of useful common services and common facilities have been adopted in OMA. In this paper, we propose a fault-tolerance developing environment, called Phoinix, which is compatible to the OMA framework. In Phoinix, object services can be developed with embedded fault-tolerance capability to tolerate both hardware and software failures. The fault-tolerance capability in Phoinix is classified into two levels: restart, and rollback-recovery;when the fault-tolerance capability enhances as the level increases. Currently, Phoinix is ported on Orbix 2.0 and on SunOS 4.2. In this paper, the design and implementation of Phoinix is presented and its performance is evaluated. (C) 1998 Elsevier Science B.V.
Flexible manufacturing cells (FMC) may be considered the most significant development in small-batch manufacturing. Setting-up and operating costs of FMC prove to be the most major hindrance to their large-scale imple...
详细信息
Flexible manufacturing cells (FMC) may be considered the most significant development in small-batch manufacturing. Setting-up and operating costs of FMC prove to be the most major hindrance to their large-scale implementation and use, particularly by small and medium size industries. Incompatibilities between the different components constituting the cells and the lack of a unified language/approach to programming and coordinating them are cited as the cause of the complexity of setting up and subsequently operating the cells. In order to eliminate these difficulties, a new philosophy for setting-up, programming and control of FMC has been developed. This paper reports the effort to develop this new unified manufacturing instruction set and its environment, called here "UniSet", its philosophy and some of the components of the UniSet environment. UniSet has been developed as a non-exclusive unified manufacturing instruction set, based on comparisons of the prevailing machine tool and programming primitives. UniSet allows programmers to deal with only one instruction set, if they so desire, in a single coherent environment, rather than numerous machine programming languages. The software system is coded in an object-oriented programming (OOP) language, Smalltalk, and derives its paradigm from the OO philosophy. Test results are also included to demonstrate the applicability of the approach employed. (C) 1998 Elsevier Science Ltd. All rights reserved.
The Regula Falsi method for numerical solution of a system of algebraic equations containing a single equation and a single unknown is implemented with an object-oriented methodology. The method is applied to the solu...
详细信息
The Regula Falsi method for numerical solution of a system of algebraic equations containing a single equation and a single unknown is implemented with an object-oriented methodology. The method is applied to the solution of equations predicting atmospheric emissions from combustion point sources. Two physical approaches are taken in modeling the combustion phenomenon: a kinetic approach and an equilibrium approach. Emissions from the kinetic approach are found to be significantly smaller than those from the equilibrium approach, indicating marked potential for overall industrial emissions reduction through improvements in the design of burners for boilers, incinerators, and furnaces. The object-oriented methodology displays significant benefits in terms of modularity, code reuse, and future upgrades. (C) 1998 Published by Elsevier Science B.V. Ail rights reserved.
object-oriented programming [9], which treats objects as processes in execution, has shown significant effectiveness in distributed systems. This effectiveness is greatly influenced by how objects are assigned to node...
详细信息
object-oriented programming [9], which treats objects as processes in execution, has shown significant effectiveness in distributed systems. This effectiveness is greatly influenced by how objects are assigned to nodes. In this paper, we present a colored generalized stochastic Petri net (CGSPN) model to analyze the behavior of object invocations when an assignment strategy is applied. The effectiveness of an object assignment is also analyzed by our CGSPN model. Moreover, this analysis provides guidelines to develop an efficient object assignment strategy. [4-8].
This research article demonstrates the use of constraint networks for modelling the knowledge which is necessary for concurrent product and process design. A knowledge;based constraint network system has been develope...
详细信息
This research article demonstrates the use of constraint networks for modelling the knowledge which is necessary for concurrent product and process design. A knowledge;based constraint network system has been developed to maintain design consistency and to support the selection of appropriate manufacturing processes according to pre-defined constraints. A number of constraints related to existing manufacturing facilities and expertise are formulated and modelled using the rules of the knowledge-based toolkit. These constraints are implemented to identify the appropriate machining processes and to show the feasibility of a product's design as it progresses and before making the final prototype. The combination of design and manufacturing constraints enables designers to examine whether the designed part can be manufactured with the available manufacturing facilities. (C) 1998 Elsevier Science Ltd. AII rights reserved.
Software metrics serve as a significant issue to improve software quality. It is an important research of software engineering. In line with the methodologies of object-oriented analysis and design widely developed, m...
详细信息
Software metrics serve as a significant issue to improve software quality. It is an important research of software engineering. In line with the methodologies of object-oriented analysis and design widely developed, many software metrics techniques have been proposed. However, not many focus on the metrics evaluation of an inheritance hierarchy. In this paper, we propose a novel concept named unit repeated inheritance (URI) in Z notation to realize object-oriented software metrics. The approach describes an inheritance level technique (ILT) method as a guide to measure the software complexity of an inheritance hierarchy. The measures of inheritance metrics are formed based on the proposed mechanism. Also, we use Lex and Ya;cc to construct a windowing tool which is used in conjunction with a conventional C++ programming environment to assist a programmer to analyze and measure his/her C++ programs.
This paper presents a class library dedicated to digital image processing which provides resources for essential digital image processing operations. Besides its practical value, the class library is used to teach bot...
详细信息
This paper presents a class library dedicated to digital image processing which provides resources for essential digital image processing operations. Besides its practical value, the class library is used to teach both object-oriented software engineering methodology and digital image processing. The resulting module can be accessed from independent specialized applications through its public interface while its implementation details are perfectly encapsulated. First of all it is used as the inner part of an integrated environment designed for students and researchers in the field of digital image processing. This software component was built aiming for both portability and extendibility. It contains attributes and methods that allow for a wide range of digital image processing algorithms: point and geometric operations;filter, edge detection, segmentation and texture operations;and fast Fourier transforms, discrete cosine transforms, and wavelet and Gabor transformations. All these can be used for image enhancement, restoration, compression, analysis, and synthesis.
The Java programming language is an architecture-independent, objectoriented language, designed for secure local and network applications. Programs written in Java can either be embedded within hypertext documents on...
详细信息
The Java programming language is an architecture-independent, objectoriented language, designed for secure local and network applications. Programs written in Java can either be embedded within hypertext documents on the World Wide Web (so-called applets), or be fully stand-alone, as software written in other programming languages. In this article, we present two sample quantum chemistry applications written in Java. The first is an educational applet, illustrating an LCAO-SCF calculation of the ground state of the helium atom using a double-zeta basis set. The second is a prototype one- and two-electron integral package for Gaussian-type atomic orbitals. The potential for Java applications to play an educational role and for the construction of object-oriented libraries of basic functionality for quantum chemical software is discussed. (C) 1998 John Wiley & Sons, Inc.
暂无评论