检索结果-内蒙古大学图书馆

International Symposium on Fault-Tolerant Computing (FTCS)

作者： J.M. Bass S. Metge A. Browne P.R. Croll P.J. Fleming Department of Automatic Control and Systems Engineering University of Sheffield Sheffield UK LAAS CNRS Toulouse France Department of Computer Science University of Sheffield UK

The Development Framework provides a highly automatic translation from a specification to an implementation. The specification is in a popular, graphical control engineering notation typically representing a system with stringent reliability requirements and hard real time constraints. An interface has been constructed between the Development Framework and the commercially available dependability modelling tool, SURF-2. This tool is designed to support an evaluation based design approach. Multiple design solutions can be compared to assess the implications of design decisions on the dependability of the system under development. The software demonstration will show how the interface between the Development Framework and SURF-2 is used to model the inclusion of selected fault tolerant mechanisms in the system under development.< >

关键词： Prototypes Automatic control Application software control systems control engineering Time factors Design engineering Real time systems Software engineering Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Integrating evolutionary computation with neural networks

Integrating evolutionary computation with neural networks

引用

Electronic Technology Directions to the Year 2000

作者： E. Vonk L.C. Jain L.P.J. Veelenturf R. Hibbs Control Systems and Computer Engineering Group BSC Laboratory for Network Theory Department of Electrical Engineering University of Twente Enschede Netherlands Knowledge-based Engineering Systems Group School of Electronic Engineering University of South Australia Adelaide Australia

There is a tremendous interest in the development of the evolutionary computation techniques as they are well suited to deal with optimization of functions containing a large number of variables. This paper presents a brief review of evolutionary computing techniques. It also discusses briefly the hybridization of evolutionary computation and neural networks and presents a solution of a classical problem using neural computing and evolutionary computing techniques.< >

关键词： Evolutionary computation Neural networks Biological cells Genetic programming Genetic algorithms systems engineering and theory computer networks Knowledge engineering Genetic mutations control systems

来源：评论

学校读者我要写书评

暂无评论

Frequency shaping of a hydraulic speaker using H/sub /spl infin// control theory

Frequency shaping of a hydraulic speaker using H/sub /spl in...

引用

American control Conference (ACC)

作者： T. Fujii T. Tsujino T. Sugano H. Kitayama M. Hayahi N. Shikano Department of Control Engineering and Science Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Fukuoka Japan Ishikawajima-Harima Heavy Industries Company Limited Japan

Designs a control system for shaping the low frequency characteristics of a new type of hydraulic speaker, so as to-make a louder sound at low frequencies than the usual type of speaker. In this design, the authors use H/sub /spl infin// control design method, which is capable of treating both frequency shaping and robust stabilization. The authors also illustrate the validity of the resulting controller by showing some experimental results.

关键词： Frequency control theory Loudspeakers control systems Shape control Servomechanisms Valves Acceleration Pistons Actuators

来源：评论

学校读者我要写书评

暂无评论

A practical resource scheduling with OPF constraints

A practical resource scheduling with OPF constraints

引用

Power Industry computer Application Conference (PICA)

作者： K.H. Abdul-Rahman S.M. Shahidehpour M. Aganagic S. Mokhtari Siemens Empros Power Systems Control USA Department of Electrical and Computer Engineering Illinois Institute of Technology Chicago IL USA Empros Power Systems Control Siemens Energy and Automation Inc. Brooklyn MN USA

This paper presents an efficient approach to short term power system resource scheduling based on the augmented Lagrangian relaxation method. The problem is divided into two stages, the commitment stage and the constrained economic dispatch stage. The proposed mathematical model incorporates optimal power flow (OPF) constraints in the unit commitment stage. By OPF constrains, the authors refer to the relevant active power constraints that are incorporated in the constrained economic dispatch stage (i.e. transmission capacity constraints, fuel and various regulated emission requirements). The inclusion of OPF constraints in the commitment stage will improve the feasibility of the constrained economic dispatch solution. Other unit commitment constraints such as spinning and operating reserve requirements, power balance as well as other relevant local constraints (i.e. unit ramping rates, upper and lower generation limits, minimum up and down times) are taken into account in the proposed model. As a larger number of constraints are dealt with, a more rigorous method is introduced for updating Lagrange multipliers to improve the solution convergence. A software package which addresses energy management systems requirements is developed and tested.

关键词： Power generation economics Fuel economy Power system modeling Lagrangian functions Relaxation methods Power system economics Mathematical model Load flow Spinning Power generation

来源：评论

学校读者我要写书评

暂无评论

Using genetic algorithms with grammar encoding to generate neural networks

Using genetic algorithms with grammar encoding to generate n...

引用

International Conference on Neural Networks

作者： E. Vonk L.C. Jain R. Johnson Control Systems and Computer Engineering Group (BSC) Department of Electrical Engineering University of Twente Netherlands Knowledge-based Engineering Systems Group School of Electronic Engineering University of South Australia Adelaide Australia Weapons Systems Division Defence Science and Technology Organisation Adelaide Australia

Kitano's approach to neural network design is extended in the sense that not just the neural network structure, but also the values of the weights are coded in the chromosome. Experimental results are presented de... 详细信息

关键词： Genetic algorithms Encoding Neural networks Biological cells Knowledge engineering systems engineering and theory control systems Weapons Australia Testing

来源：评论

学校读者我要写书评

暂无评论

Specification and Automated Verification of Real-Time Behaviour - A Case Study

引用

IFAC Proceedings Volumes 1995年第5期28卷 575-590页

作者： C.H. Kristensen J.H. Andersen A. Skou Department of Control Engineering Institute of Electronic Systems Aalborg University Fredrik Bajers Vej 7 DK-9220 Aalborg Denmark Department of Mathematics and Computer Science Institute of Electronic Systems Aalborg University Fredrik Bajers Vej 7 DK-9220 Aalborg Denmark

In this paper we sketch a method for specification and automatic verification of real-time software properties. The method combines the IEC 848 norm and the recent specification techniques TCCS (Timed Calculus of Communicating systems) and TML (Timed Modal Logic) — supported by an automatic verification tool, Epsilon. The method is illustrated by modelling a small real-life steam generator example and subsequent automated analysis of its properties.

关键词： control system analysis formal specification formal verification realtime systems standards

来源：评论

学校读者我要写书评

暂无评论

Mainsteam Temperature Raising control for a Thermal Power Plant via MRACS Based on a Quick Identification Method

引用

IFAC Proceedings Volumes 1995年第13期28卷 191-196页

作者： K. Inoue K. Kumamaru H. Nakamura Kyushu Institute of Technology Department of Control Engineering and Science Faculty of Computer Science and Systems Engineering Iizuka Fukuoka 820. Japan Bailey Japan Co. Ltd. Nirayama Shizuoka. 410-21 Japan

In this paper an adaptive way of mainsteam temperature control is proposed for a thermal power plant at the ramping stage. A physical model of the super-heater system is built up based on the experimental knowledge on actual thermal power plants. The model yields a continuous time nonlinear system with several unknown varying parameters. A quick identification method is Introduced to estimate online the model parameters. The identified model is used for designing a control signal to raise the mainsteam temperature at the outlet of the super- heater along a reference curve. In this way, an adaptive control of thermal power plant can be realized in the framework of MRACS. The effectiveness of the method has been confirmed through simulation studies.

关键词： Nonlinear systems parameter estimation system identification model reference adaptive control thermal power plant

来源：评论

学校读者我要写书评

暂无评论

Robust parametrized controller design with an application to exhaust gas recirculation (EGR) system

Robust parametrized controller design with an application to...

引用

IEEE Conference on Decision and control

作者： A.W. Olbrot M.H. Berri J.R. Asik Department of Electrical and Computer Engineering Wayne State University Detroit MI USA Control Systems Department Scientific Research Laboratory Ford Motor Company Limited Dearborn MI USA

An exhaust gas recirculation (EGR) control system for automotive application is briefly presented. Robustness is one of the main issues in this particular system due to nonlinearities, time delays, and the effects of complex exhaust gas dynamics. It was found that a good approximation of the system dynamics consists of a first order transfer function with a time delay where both transfer function coefficients and the time delay depend on the reference signal (desired EGR(%)). Moreover, it is sufficient to identify only four models corresponding to four different values of desired EGR (%) and assume interpolation for transfer function coefficients to characterize the system dynamics. Since the value of the reference signal is available in real time the controller design can be reduced to four controllers corresponding to four identified models and interpolation for coefficients of the controller transfer function in cases when the value of desired EGR (%) is between the assumed values. Simulation results for such designs are presented.

关键词： Robust control Transfer functions Delay effects Vehicle dynamics Nonlinear dynamical systems Interpolation control systems Automotive applications Robustness Signal processing

来源：评论

学校读者我要写书评

暂无评论

Uncertainty modeling and experiments in H/sub /spl infin// control of large flexible space structures

Uncertainty modeling and experiments in H/sub /spl infin// c...

引用

IEEE Conference on control Technology and Applications (CCTA)

作者： B. Boulet B.A. Francis P.C. Hughes T. Hong Systems Control Group Department of Electrical and Computer Engineering University of Toronto Toronto ONT Canada Institute for Aerospace Studies University of Toronto North York ONT Canada

Approaches to uncertainty modeling for robust control of large flexible space structures (LFSS) such as additive or multiplicative perturbations in H/sub /spl infin// do not work very well because of the special properties of LFSS dynamics. In this paper we propose the use of a left coprime factorization (LCF) of LFSS dynamics in modal coordinates for robust control design. The plant uncertainty is then described as stable perturbations of the coprime factors accounting for modal parameter uncertainty and unmodeled dynamics. Two multivariable H/sub /spl infin// designs based on LCFs of 46th-order colocated and noncolocated models of an LFSS experimental testbed are presented together with simulation and experimental results to illustrate the technique.

关键词： Uncertainty Aerodynamics control systems Robust control Uncertain systems Damping Educational institutions Aerospace control Aerospace engineering Additives

来源：评论

学校读者我要写书评

暂无评论

Configuring multiple boundary scan chains for board testing

Configuring multiple boundary scan chains for board testing

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： Yoon-Hwa Choi Chul Kim E. Jung Department of Computer Engineering HongIk University Seoul South Korea Enipros Pover Systems Control Division Siemens Energy and Automation Inc. Plymouth MN USA

In a board level design with boundary scans, each chip on a board can be tested by loading test vectors and collecting responses through a boundary scan chain. Since the boundary scan may serialize the test process, the overall test time can be reduced if multiple boundary scan chains are used. In that case the test time depends on how the boundary scan chips are connected into multiple chains. In this paper, we present a technique for configuring multiple boundary scan chains to minimize the test time for boundary scan chips on a board.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：