In this paper, we describe the YASC high-level silicon compiler which synthesizes compact chip layouts from hierarchical behavioral descriptions. A logic synthesis procedure generates sets of Boolean equations, includ...
详细信息
In this paper, we describe the YASC high-level silicon compiler which synthesizes compact chip layouts from hierarchical behavioral descriptions. A logic synthesis procedure generates sets of Boolean equations, including multi-phase clocks and any necessary interface logic. A novel technique for layout generation yields cells whose densities approach hand-crafted designs. Two-layer metal NMOS and CMOS technologies are supported, with flexible design rules. In addition to layout synthesis, logic, schematic and graph diagrams are generated directly from a powerful internal data base. The compiler, which runs under the UNIX operating sysrem, including a menu-driven multi-windowing user environment.
In the present paper a flexible computer aided controlengineering environment is illustrated which has been developed to model, simulate and evaluate correctness and performance of distributed real-time control syste...
详细信息
In the present paper a flexible computer aided controlengineering environment is illustrated which has been developed to model, simulate and evaluate correctness and performance of distributed real-time control systems. The computer aided design (CAD) system has the capability to allow customization of representation formalisms and to separate the definition (and debugging) of a control algorithm from that of the communication mechanisms among tasks and processors, specific of a target architecture. An accurate data structure and data manipulation functions definitely reduce designer's effort when facing complex control problems.< >
The welding seam data of robot welding is one of the fundamental parameters to measure whether the welding equipment meets the actual production requirements, and the welding accuracy is the key to judging the welding...
详细信息
The welding seam data of robot welding is one of the fundamental parameters to measure whether the welding equipment meets the actual production requirements, and the welding accuracy is the key to judging the welding data. The purpose of this paper is to study the trajectory planning and trajectory correction methods of welding systems based on artificial intelligence. In order to verify the feasibility and reliability of the trajectory planning algorithm for the corrugated plate welding equipment and the workpiece welding trajectory correction method on the container welding production line, the trajectory planning experimental verification and trajectory correction experimental verification are carried out in this chapter. Through experiments and experimental data analysis, it is verified that the trajectory planning algorithm for corrugated plate welding special equipment and the workpiece welding trajectory correction method on the container welding production line meet the actual production requirements, and can effectively solve the problems caused by manual welding and positioning in the current production process. Deviation leads to problems such as unqualified welding quality. When the displacement is 5mm, the detection error in the X-axis direction, the detection error in the Y-axis direction and the combined error are all less than 0.8mm.
Resource allocation problems are concerned with the allocation of limited resources among competing activities so as to achieve the best performances. However, in systems which serve many users there is a need to resp...
详细信息
Resource allocation problems are concerned with the allocation of limited resources among competing activities so as to achieve the best performances. However, in systems which serve many users there is a need to respect some fairness rules while looking for the overall *** concepts of multiple criteria equitable optimization can effectively be used to generate various fair and efficient allocation *** this paper we show how the importance weights allocated to several agents can be introduced into the fairness concepts and models.
Positional servo systems are widely used in the process control industry. In this study a method is proposed by the use of the sensitivities of the transfer function to determine the optimum parameter tolerances. Thes...
详细信息
Positional servo systems are widely used in the process control industry. In this study a method is proposed by the use of the sensitivities of the transfer function to determine the optimum parameter tolerances. These tolerances keep the deviation of the angular displacement of the output shaft in its tolerance region. The proposed method makes simple the controlling of the system behavior due to parameter variations.
Functional active objects are a new paradigm for the implementation of services. They offer safe distributed evaluation with futures and immutable objects guaranteeing efficient implementation of privacy while offerin...
详细信息
Functional active objects are a new paradigm for the implementation of services. They offer safe distributed evaluation with futures and immutable objects guaranteeing efficient implementation of privacy while offering verified quality assurance based on the functional paradigm and a development in an interactive theorem prover. In this paper, we present a novel and highly performant implementation of functional active objects in Erlang. Besides outlining the guiding principles of the interpreter, we show by concrete examples how secure services can be realized.
作者:
S.V. GaikwadD.E. RiveraDepartment of Chemical
Bio and Materials Engineering and Control Systems Engineering Laboratory Computer-Integrated Manufacturing Systems Research Center Arizona State University Tempe AZ USA
control-ID is a computer aided controlengineering (CACE) tool serving as a support environment for computer aided control system design (CACSD) in the chemical process industry. The fundamental basis for this tool is...
详细信息
control-ID is a computer aided controlengineering (CACE) tool serving as a support environment for computer aided control system design (CACSD) in the chemical process industry. The fundamental basis for this tool is the theory of control-relevant system identification, which takes advantage of the interplay between identification and control design. control-ID is implemented using MATLAB on a VAXStation 4000 cluster, which is integrated in real-time to an industrial-scale Honeywell TDC 3000 plant information and control system. control action is computed on the TDC 3000 system using low-order difference equations, which yield superior performance over traditional PID control while resembling the behavior of model predictive control systems. Results from a simulation study using a gas/oil furnace are reported.< >
The author discusses the suitability of Ada for non-real-time computer-aided controlengineering (CACE) projects, based on experiences gained during the design and implementation of the CACE program IMPACT. After a br...
详细信息
The author discusses the suitability of Ada for non-real-time computer-aided controlengineering (CACE) projects, based on experiences gained during the design and implementation of the CACE program IMPACT. After a brief introduction to Ada and IMPACT, and a general discussion of the Ada language, the suitability of Ada in CACE is discussed in some detail. Particular attention is given to features such as abstract data types, generic templating, object-oriented programming, and error handling. Software engineering facets, quality aspects, and efficiency problems are also considered. A tabular comparison between Ada and alternative languages is given.< >
To create a flexible machining cell control system a control algorithm is required that is based on models of products and resources. The scope of this paper is to present the database structure of a model used to des...
详细信息
To create a flexible machining cell control system a control algorithm is required that is based on models of products and resources. The scope of this paper is to present the database structure of a model used to describe products. Examples based on a case study of a machining cell are given.
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cannot be controlled by direct extension o...
详细信息
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cannot be controlled by direct extension of existing techniques from either standard (termed 1D here) or 2D systems theory. Here we give new results on the relatively open problem of the design of physically based control laws using an H/sub /spl infin// setting. These results are for the sub-class of so-called discrete linear repetitive processes which arise in applications areas such as iterative learning control.
暂无评论