The present paper investigates the categories of functionality implemented by software in automatic Test Systems and the programming paradigms that are commonly used for implementation. Building on the conclusions of ...
详细信息
The present paper investigates the categories of functionality implemented by software in automatic Test Systems and the programming paradigms that are commonly used for implementation. Building on the conclusions of this analysis, the paper proposes a combined development paradigm, where visual programming is used at diagnosis level, while both textual and visual languages are supported for implementing test and instrument control functionality. This approach offers important benefits in reducing development and maintenance costs for ATS software, while maximizing its potential for reuse. The proposed development paradigm is illustrated by an actual ATS architecture, implemented in software product.
Parts polishing is a repetitive task generally done in unhealthy conditions. It is therefore desirable that robots replace humans in performing these kind of tasks. Nevertheless, its programming is difficult, tedious ...
详细信息
Parts polishing is a repetitive task generally done in unhealthy conditions. It is therefore desirable that robots replace humans in performing these kind of tasks. Nevertheless, its programming is difficult, tedious and time-consuming. The paper presents a tool to automatically program a robot from a high level description of the polishing task. Given the specification of the polishing curves over the part, the location of the polishing bands where each operation must be performed, and a description of the cell, then a robot program to perform polishing trajectories in the optimum sequence is generated, the paths between trajectories being collision-free.
This paper describes the development of an algorithm suitable for automatic tap changer control (ATCC) system. It is specifically designed to control the voltage of high voltage substation using an object-oriented tec...
详细信息
This paper describes the development of an algorithm suitable for automatic tap changer control (ATCC) system. It is specifically designed to control the voltage of high voltage substation using an object-oriented technique. The considered substation consists of six bus-sections; three are classified as main buses while the other three as reserves. The six buses can be interconnected in various different configurations using switchgear that are installed between them. By opening and/or closing various switchgears bus sections can be interconnected in various ways to form groups (or bus groups). Each group may contain number of transformers, which may be up to seven connected in parallel. In order to correctly perform the process of automatic voltage control, it is vitally important that the algorithm has the ability to: (i) identify the bus-groups which are formed as a consequence of switching operations in the substation; (ii) identify the transformers which are connected to individual bus groups; and (iii) perform automatic voltage control (AVC).
automatic control systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception ha...
详细信息
automatic control systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception handling. These two aspects interact in real-time to ensure the nominal behavior of the system and allow for safe and graceful degradation. In a mixed synchronous/asynchronous approach, ranging from user requirements to run-time code, ORCCAD provides formalized control structures, the coordination of which is specified using the ESTEREL synchronous language. ORCCAD is actually a set of CAD tools, that have been designed and integrated to help the users through programming, formal verification, real-time code generation, and implementation processes.
We present grammatical evolution, an evolutionary algorithm that can evolve complete programs in an arbitrary language using a variable-length binary string. The binary genome determines which production rules in a Ba...
详细信息
We present grammatical evolution, an evolutionary algorithm that can evolve complete programs in an arbitrary language using a variable-length binary string. The binary genome determines which production rules in a Backus-Naur form grammar definition are used in a genotype-to-phenotype mapping process to a program. We demonstrate how expressions and programs of arbitrary complexity may be evolved and compare its performance to genetic programming.
For a computer to have the ability of automatic programming it is necessary to possess adequate knowledge. This knowledge is contained in the user's programmes written in the language of higher level. The aim of t...
详细信息
For a computer to have the ability of automatic programming it is necessary to possess adequate knowledge. This knowledge is contained in the user's programmes written in the language of higher level. The aim of the present paper is to determine acceptable user's programmes transformation into a symbolic form which constitutes an element of the knowledge basis. The knowledge basis of such a computer should be expressed in an adequate symbolic form, thus allowing maximum knowledge integration in the computer memory. To realise knowledge integration it is assumed that one and the very one element of knowledge should be represented once only, no matter in how many programmes and how many times it will appear. In the paper the concept of acquiring knowledge contained in statements and in operation code sequences has been formalised, as well as its representation in the knowledge basis. Organising and enlarging the knowledge basis in the range of statement part of the user's programme has been the author's main concern. Special attention has been paid to knowledge integration and the connection of elements in the knowledge basis.
The version 1.51 of the Monte Carlo (MC) program KoralW for all e(+)e(-) --> f(1)f(2)f(3)f(4) processes is presented. The most important change from the previous version 1.42 is the facility for writing MC events o...
详细信息
The version 1.51 of the Monte Carlo (MC) program KoralW for all e(+)e(-) --> f(1)f(2)f(3)f(4) processes is presented. The most important change from the previous version 1.42 is the facility for writing MC events on the mass storage device and reprocessing them later on. In the reprocessing parameters of the Standard Model may be modified in order to fit them to experimental data. Another important new feature is the possibility of including complete O(a) corrections to double-resonant W-pair component-processes in addition to all background (non-WW) graphs. The inclusion is done with the help of the YFSWW3 MC event generator for fully exclusive differential distributions (event per event). Technically, it is done in such a way that YFSWW3 runs concurrently with Kora1W as a separate slave process, reading momenta of the MC event generated by KoralW and returning the correction weight to KoralW. The latter introduces the O(alpha) correction using this weight, and finishes processing the event (rejection due to total MC weight, hadronization, etc.). The communication between KoralW and YFSWW3 is done with the help of the FIFO facility of the UNIX/Linux operating system. This does not require any modifications of the FORTRAN source codes. From the user's point of view, the resulting Concurrent MC event generator KoralW&YFSWW3 looks as a regular single MC event generator with all the standard features. (C) 2001 Elsevier Science B.V All rights reserved.
Herbert A. Simon was one of the founding fathers of artificial intelligence. Simon, who, along with Allen Newell and J.C. Shaw, wrote the first AI program in 1956, received many honors in his lifetime, including the N...
详细信息
Herbert A. Simon was one of the founding fathers of artificial intelligence. Simon, who, along with Allen Newell and J.C. Shaw, wrote the first AI program in 1956, received many honors in his lifetime, including the Nobel Prize in Economic Science in 1978. Simon was a true renaissance man. He researched human decision-making and problem-solving processes and the implications of those processes for social institutions. Simon's major awards in four areas: psychology, economics, management science and computer science - attest to his breadth of interest and expertise. Simon's impact in the world is no more apparent than at Carnegie Mellon University, where, arguably, he was the most influential person. Simon left behind over 60 years of research and theorems. He also left the computer science world with the heuristic compiler, in which he applied theories and techniques from other disciplines.
We describe and illustrate an approach to the automatic configuration of component-based multimedia applications. The approach is based on the deployment of a run-time application model that mirrors the active applica...
详细信息
We describe and illustrate an approach to the automatic configuration of component-based multimedia applications. The approach is based on the deployment of a run-time application model that mirrors the active application components, enabling changes to the configuration to be applied and evaluated in the model before they are deployed. The model employs a composite component structure, enabling complexity to be concealed except when detail is required. Constraints and QoS specifications are embedded in the model.
Too often, when software is being developed, the software engineers do not sufficiently consider how easy the system will be to use and learn. Following the steps of other related works developed in our research group...
详细信息
ISBN:
(纸本)0769508359
Too often, when software is being developed, the software engineers do not sufficiently consider how easy the system will be to use and learn. Following the steps of other related works developed in our research group, this paper deals with the problems of gathering information on the conceptual level about the interface characteristics of the applications that are generated in an automatic way using the OO-Method [12], [13]. The basic idea is to include in the conceptual modelling process both the functionality and interface characteristics for obtaining a complete application that implements the systems modelled using the underlying object-oriented approach. The "OO-Method" is based not only on the object-oriented paradigm but also on the automatic programming paradigm. It combines the advantages of formal specification systems with the practice provided by conventional object-oriented methodologies. After presenting a description of the OO-Method, the core of the paper focuses on how to collect interface information at the conceptual level, using a technique based on the identification of conceptual interface patterns which are independent of any implementation detail. The corresponding extensions to the OO-Method Conceptual Modelling notation that are necessary for modelling interfaces are presented.
暂无评论