We propose a theoretical device for modeling the creation of new indiscernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented language...
详细信息
We propose a theoretical device for modeling the creation of new indiscernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages and promotes equational reasoning about higher-order state.
A programming language which is optimised for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. The language is SDML,...
详细信息
A programming language which is optimised for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. The language is SDML, a strictly declarative modelling language which has object-oriented features and corresponds to a known formal logic. The virtues of SDML include the ease of building complex models and the facility for representing agents flexibly as models of cognition as well as modularity and code reusability. Features of SDML are illustrated by a model of an economic system with cognitive agents and explicit representation of transactions as a process of negotiation and agreement leading to exchange
The method of image transformation based on fractal geometry is developed. The method is based on building an image based on the Hilbert curve. The image is based on the principle of conformity of the contrast of the ...
详细信息
The method of image transformation based on fractal geometry is developed. The method is based on building an image based on the Hilbert curve. The image is based on the principle of conformity of the contrast of the image of the filling density of the plane with lines. The mathematical substantiation of the method is given. The corresponding software is built with the use of postscript language. The work of the method is illustrated by figures. The method is used for images protection.
An expert system was developed to assist lime growers and agricultural extension agents in the cultivation of lime. The program, LIMEX, includes assessment, irrigation, fertilization, and pest control recommendations....
详细信息
An expert system was developed to assist lime growers and agricultural extension agents in the cultivation of lime. The program, LIMEX, includes assessment, irrigation, fertilization, and pest control recommendations. A methodology interactively using knowledge engineering and software engineering processes and based on KADS was used to design and develop LIMEX. LIMEX was implemented on the CLIPS shell integrated with C++. Verification and validation procedures were conducted throughout the design and development of LIMEX. The paper examines the structure and capabilities of the field prototype of LIMEX, which precedes the final product.
A component-centred approach to the derivation of the diagnostic rules for continuous processes is presented below. It strongly relies on the causal representation of fault propagation within the basic process units w...
详细信息
A component-centred approach to the derivation of the diagnostic rules for continuous processes is presented below. It strongly relies on the causal representation of fault propagation within the basic process units where the modelling convention of Hunt et al. (1993) is adopted. Basic information concerning the disturbance and fault propagation is stored in terms of the unit mini-fault tree. Additional information on special process structures is treated systematically by making use of template trees. The diagnostic rules for the entire process are obtained by chaining the mini-trees and combining the deviations caused by a fault. The paper presents some improvements concerning more efficient on-line use of the resulting rules. A major contribution concerns the realisation of the CAD environment for the prototyping of the diagnostic systems based on the process flowsheet and library of process components. Such a concept enables the re-usability of the basic process component models and the incremental development of the components library.
Nowadays, distributed computing systems are widely used due to the great advances that have been achieved in computer networks in the past few years, and partly due to their low cost. Developing software for these sys...
详细信息
Nowadays, distributed computing systems are widely used due to the great advances that have been achieved in computer networks in the past few years, and partly due to their low cost. Developing software for these systems turns out to be complicated, mainly due to the heterogeneity of the distributed system components and the underground communication layers. MMS is a suitable language to carry out the communication between devices in a heterogeneous manufacturing system because it provides uniformity in the access to them. This work proposes the use of the ORB specified in CORBA from the OMG to communicate MMS events.
This paper presents a new modelling architecture and a formal modelling approach based on concepts derived from object-oriented programming. It also presents the conclusions of a comparative study of the methods used ...
详细信息
This paper presents a new modelling architecture and a formal modelling approach based on concepts derived from object-oriented programming. It also presents the conclusions of a comparative study of the methods used for numerical and formal solution. The architecture and approach that are described here have been applied to a complex real system : modelling the road behaviour of an articulated vehicle - a tractor and semi-trailer.
This paper presents an object-oriented extension to the real-time programming language PEARL. The new language preserves PEARL’s expressiveness for timeliness and industrial processes and, at same time, improves the ...
详细信息
This paper presents an object-oriented extension to the real-time programming language PEARL. The new language preserves PEARL’s expressiveness for timeliness and industrial processes and, at same time, improves the language’s readability and manageability (through the better encapsulation paradigm derived from the object concept). The proposed language is fully backward compatible with PEARL and, moreover, with the resulting object model one is in a position to define inter and intra object parallelism in a transparent and simple way.
Logistics simulation plays critical roles to design factories and to verify production schedules. It is time-consuming, in general, to simulate large-scale logistic models in details. We have developed a discrete-even...
详细信息
Logistics simulation plays critical roles to design factories and to verify production schedules. It is time-consuming, in general, to simulate large-scale logistic models in details. We have developed a discrete-event simulator (SIMXPERT), which employed a rule-based inference engine. The engine equips algorithms for pattern matching and conflict resolution that are far higher in performance than those used in the conventional inference engines. We have developed a system using the SIMXPERT to simulate behaviors of autonomous guided vehicles (AGVs) that were constructed in a factory at Kimitsu-Works of Nippon Steel Co. This system was useful to examine the valid number of vehicles and reasonable ways to control them. Operators of the factory validate schedules of mills and vehicles based on future inventory levels of products predicted by the system. It takes one minute to simulate the precise movements of hundreds of products carried by several vehicles. This paper describes the overall system design and presents the simulation result based on real data.
The performance of automated manufacturing system (AMS) relies heavily on the quality of their supervisory control software. This paper presents a methodology that provides an object-oriented framework for the develop...
详细信息
The performance of automated manufacturing system (AMS) relies heavily on the quality of their supervisory control software. This paper presents a methodology that provides an object-oriented framework for the development and verification of supervisory control software for automated manufacturing systems. Such a framework consists of five well-defined milestones to quantify software production, refinement procedures to guide the overall software development process, and software models and procedures for software verification. The objective is to ensure efficient production of high quality supervisory control software for AMSs. The effectiveness of the framework is illustrated by using a case example concerning the development of supervisory control software for a flexible manufacturing system.
暂无评论