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

Hybrid specification and implementation of an aircraft engine controller

IFAC Proceedings Volumes 1999年第2期32卷 8734-8739页

作者： Julian M. Bass Mohamed S. Hajji Peter J. Fleming School of Electronic Engineering and Computer Systems University of Wales Bangor Dean Street Bangor Gwynedd UK Tel: + 44 (0)1248 382793 Fax: + 44 (0)1248 361429 Dept. of Automatic Control and Systems Engineering University of Sheffield UK

control of a gas-turbine engine requires management of continuous and discrete (state-event) behaviour. A design environment- the Development Framework, is used to define both the continuous and discrete aspects of a turbine engine controller. The approach uses purpose-built software translation tools to capture the system's specification from commercial simulation tools. A unified design model based on a data flow notation, comprising both continuous and state-event behaviour is automatically generated. Specification and design models of selected gas-turbine engine controller subsystems are presented. The complexity of the application suggests that the approach can be used for industrial scale projects.

关键词： continuous systems discrete-event systems design systems software specification software engineering

来源：评论

学校读者我要写书评

暂无评论

Integration and Comparison of FDI and Fault Masking Features in Embedded Systems

引用

IFAC Proceedings Volumes 1999年第2期32卷 7712-7717页

作者： H. Benítez-Pérez G. Latif-Shabgahi H.A. Thompson S. Bennett P.J. Fleming J.M. Bass Department of Automatic Control and Systems Engineering University of Sheffield Mappin Street S1 3JD UK School of Electronic Eng and Computer Systems University of Wales Bangor Dean Street Bangor UK Fax: +44-114-2731 729

This paper addresses the benefits of integrating fault masking (FM) and fault detection and identification (FDI) methods to an embedded control system. It is shown that using a “smart” sensor in a Triple Modular Redundancy (TMR) configuration improves the system performance. Within the proposed hybrid system, “smart” sensors are used as redundant modules of the TMR configuration. A novel quality measure, which indicates the confidence level of a “smart” sensor output is used by a purpose-built voting algorithm to produce outputs. The proposed voting algorithm is a modification of weighted average voter, which produces results based on both the sensor output and the associated quality measure. This algorithm performs better than the conventional weighted average voter within a simple TMR configuration for low error ratios (<16). The main reason for this improvement is the capability of hybrid system to mask similar faults. Therefore, the proposed hybrid system produces more reliable results than the fault masking approach.

关键词： Fault Detection and Isolation sensor failure smart sensor

来源：评论

学校读者我要写书评

暂无评论

An integrated framework for development of real-time distributed control software based on can-bus

引用

IFAC Proceedings Volumes 1999年第2期32卷 8710-8715页

作者： Marga M. Marcos Julian M. Bass Javier Portillo P.J. Fleming Dept Ingenierie'a de Sistemas y Automática Univ. of the Basque Country Spain Tel -34 94 4 2 7 80 55 Fax 34 94 441 40 41 School of Electronic Engineering and Computer Science Univ. of Wales Bangor UK Dept. of Automatic Control and Systems Eng. Univ. of Sheffield UK Associate Professor in Control Engineering

Embedded systems are computer-based systems which must respond to external stimuli within time scales determined by the external environment. Such systems are required to achieve ever more demanding behavioural. performance and safety requirements. Embedded systems are found in applications such as primary flight control, gas-turbine engine control and railway traffic management Often complex embedded systems are distributed, typically to achieve demanding performance or dependability requirements, and must operate within hard real-time constraints. Considerable effort is required to select optimal design solutions and ensure adherence to specified requirements. In embedded systems safety, reliability and response-times are considered as strict constraints on the system design. Achievement of these constraints requires meticulous analysis, typically through the use of specialist modelling and simulation techniques. Integration of knowledge and understanding obtained from disparate detailed models remains a considerable challenge. Ideally, a system which has both continuous dynamics and event-driven parts. would be modelled in one environment, using the most appropriate techniques for each part, and allowing the analysis of the whole system to be carried out simultaneously. The paper presents an integrated approach in order to translate automatically the information manipulated during the different phases of the design: specification. analysis, design and implementation.

关键词： Distributed computer control systems state charts real time systems software tools fieldbus

来源：评论

学校读者我要写书评

暂无评论

Development of transient stability controller system (TSC) based on on-line stability calculation

引用

ELECTRICAL engineering IN JAPAN 1996年第4期117卷 61-79页

作者： Ota, H Inoue, T Ito, H Fukushima, N Omata, K Morita, K Kokai, Y Chubu Electric Power Co. Graduated in 1955 from the Department of Electrical Engineering of the Faculty of Engineering University of Tokyo and joined Chubu Electric Power Co. in the same year. He is engaged mainly in developing technology for construction planning as well as protection stabilization and automatic control of power systems. He is currently a Director and Vice President of the company. He received an OHM Technology Award in 1971 and an Achievement Award from the I.E.E. Japan in 1992. Graduated in 1962 from the Department of Electrical Engineering Shibaura Institute of Technology and joined Chubu Electric Power Co. in the same year. He is engaged in the development of technology for large-scale centralized control of power systems as well as the networking of control computers. He is currently a System Analysis Group Chief in the System Operation Division of the company. Graduated in 1985 from the Department of Electronics and Electrical Engineering of the Faculty of Engineering Tokyo Institute of Technology and joined Chubu Electric Power Co. in the same year. He is engaged mainly in the development of technology for power system protection and stabilization. He is currently working in the System Analysis Group of the System Operation Division of the company. Toshiba Corporation Graduated in 1967 from the Department of Electrical Engineering University of Tokyo and joined Toshiba Corporation in the same year and engaged in development of power system control systems in Japan and abroad. He is currently a Chief of System Technology in the Power System Technology Division of the company. He is a member of the Theses Subcommittee of the 1995 World Energy Conference. He is an Assistant Secretary of the Japanese Committee of CIGRE and a member of the Japanese Subcommittee of CIGRE SC35 and 39. He is a member of IEEE. Completed his Master's course at the Science and Engineering Research Division of the Graduate School Waseda University in 1980 and joined Toshiba Corporation in the same year. H

A new transient stability controller system (TSC) based on on-line transient stability calculation has been developed. The TSC system prevents the power system from wide-area blackout by shedding generators optimally when a serious fault occurs. This system consists of a central processing unit (TSC-P), and four local units for fault detection (TSC-C), and seventeen units for generator shedding(TSC-T). The TSC-P selects optimal generators to be shed for stabilization based on on-line transient stability calculation for contingencies at 500 kV lines and buses every five minutes. The results are transmitted to the TSC-Cs periodically. Should any fault occur, only one TSC-C will detect the fault occurrence and send control signals to the TSC-Ts which actually generate shedding signals. To realize the TSC system, essential are fast stability evaluation methods for a large number of contingencies and effective selection methods of optimal generators to be shed for stabilization. This paper presents total algorithms applied in the TSC-P, the results of algorithm verification tests using a prototype system combined with a large-scale analog simulator, and the characteristics of the actual system.

关键词： power system stabilization generation shedding on-line stability calculation screening parallel calculation

来源：评论

学校读者我要写书评

暂无评论

PARSIM: a parallel optimization tool

PARSIM: a parallel optimization tool

引用

IEEE International Symposium on computer Aided control System Design (CACSD)

作者： A.J. Chipperfield P.J. Fleming T.P. Crummey Department Automatic Control and Systems Engineering University of Sheffield Sheffield UK School of Electronic Engineering and Computer Systems University of Wales Gwynedd UK

Current computer aided control system design environments seldom support optimization methods for controller design in a truly interactive manner. A prototype tool, called PARSIM, supporting parallel processing, optimization and a graphical user interface is presented addressing many of the problems inherent in current approaches to multiobjective optimization based design methods. An XWindows interface is used to simplify problem formulation and control the optimization processes. Using a previously developed interface, the computational burden may be alleviated by parallel processing.< >

关键词： control systems Design methodology Parallel processing Design optimization Optimization methods Prototypes Graphical user interfaces Process control computer interfaces Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Sufficient Conditions for the Robust Stability of Systems with Multiaffine Parameter Dependence

引用

IFAC Proceedings Volumes 1992年第21期25卷 168-171页

作者： B.D.O. Anderson F.J. Kraus M. Mansour S. Dasgupta Department of Systems Engineering Research School of Physical Sciences and Engineering Australian National University GPO Box 4 Canberra ACT 2601 Australia. Automatic Control Laboratory ETH Zurich 8092 Zürich Switzerland Department of Electrical & Computer Engineering University of Iowa Iowa City lA 52242 USA.

A number of robust stability problems take the following form: A polynomial has real coefficients wvhich are multiaffine in real parameters that are confined to a box in parameter space. An efficient method is required for checking the stability of this set of polynomials. We present two sufficient conditions in this paper. They involve: checking certain properties at the corners and edges of the parameter space box.

关键词： Robust Stability Multiaffine Parameter Dependence

来源：评论

学校读者我要写书评

暂无评论

Harmonic insertion in PWM inverter drive schemes

引用

European Transactions on Electrical Power 1992年第3期2卷 143-151页

作者： Theocharis, J. Petridis, V. Dr.-Ing. John Theocharis (1956) graduated as an Electrical Engineer from Aristotelian University of Thessaloniki.Greece in 1980. From 1980 to 1985 he has been with the scientific staff of the Department of Electrical Engineering at the Aristotelian University where he received the Ph.D. degree in 1985. Since 1986 he is working as a lecturer and in 1990 he became assistant professor at the Department of Electronics and Computer Engineering in the m e university. His research activities include control power electronics and electrical motor drives. Recently he is working with the Neural Network Systems with applications to field oriented control problems. Aristotelian University of Thessaloniki School of Engineering Faculty of Electrical Engineering Dept. of Electronics & Computer Engineering P.O. Box 438 GR-Thessalonikil/Greece.T+3131/219784Fax + 3031/274868) Prof. Dr.-Ing. Vasilis Petridis (1946) graduated from National Technical University of Athens Greece in 1969.He obtained the M.Sc. and the Ph.D. in electronics and systems from the University of London in 1970 and 1974. respectively. H i s interests include applied automatic control neural networks drives dynamic systems robotics etc. He is currently professor in the Department of Electronics and Computer Engineering of the University of Thessaloniki. (Aristotelian University of Thessaloniki. School of EngineeringFaculty of Electrical Engineering Dept. of Electronics & Computer Engineering P.O. Box 438. GR-ThessaloniW Greece T+3031/219784.Fax+3031/274868)

The procedure of harmonic insertion is generalized in this paper. Analytical expressions of the voltage spectra are derived. The insertion of the 3rd harmonic to the modulating signal, which is of particular interest, is considered as a special case. It is demonstrated in this case that the fundamental harmonic component of the phase and the line‐to‐line voltage is not affected by the insertion of the 3rd harmonic for sufficiently high values of the chopping ratio. However it has been shown that the higher harmonic spectrum is significantly improved as compared to the case of pure sinusoidal modulation. For different values of the fundamental component the optimal values of the amplitude of the third harmonic to be inserted have been calculated so that the distortion factor of the higher harmonic spectrum is minimized. Other cases of harmonic insertion are also considered which provide spectrum efficiency improvement. Experimental results are given which have been obtained by means of a microcomputer controlled PWM generator constructed for this purpose. Copyright © 1992 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MASTER ORDNANCE REPAIR APPLIED - STANDARD ITEM 009-67

引用

NAVAL ENGINEERS JOURNAL 1986年第3期98卷 35-42页

作者： STIMSON, WA MARSH, MT UTTICH, RM William A. Stimsonreceived his B.S. degree in mathematics from the University of Texas at El Paso in 1964 and his M.S. degree in engineering from the University of Santa Clara in 1971. He served in the U.S. Army Artillery during the Korean Conflict and subsequently was employed at IBM Huntsville Alabama until 1968 where he worked in the design of automatic control systems of the Saturn vehicle. From 1968 until 1971 he was employed at Ames Research Center Moffett Field in the design of nonlinear control systems for sounding rockets and pencil-shaped spacecraft. Following this Mr. Stimson worked at Hewlett Packard Sunnyvale California as a test engineer in automatic test systems. Since 1973 Mr. Stimson has been employed at the Naval Ship Weapon Systems Engineering Station Port Hueneme. He was a ship qualification trials project supervisor for many years and is now serving as master ordnance repair deputy program manager. Mr. Stimson is a member of the American Society of Naval Engineers and is program chairman of the Channel Islands Section. Cdr. Michael T. Marsh USNreceived a B.S. in mathematics from the University of Nebraska and was commissioned via the NESEP program in 1970. He holds an M.S. in computer science from the U.S. Navy Postgraduate School and an MBA from the State University of New York. Cdr. Marsh has served in the weapons department of USSFrancis Hammond (FF-1067) and of USSJohn S. McCain (DDG-36). He was weapons officer aboard USSSampson (DDG-10). As an engineering duty officer Cdr. Marsh was the technical design officer for PMS-399 at the FFG-7 Class Combat System Test Center from 1978 to 1982. He is presently combat system officer at SupShip Jacksonville and has been active in the MOR program since its inception. Cdr. Marsh is also the vice chairman of the Jacksonville Section of ASNE. LCdr. Richard M. Uttich USNholds B.S. and M.S. degrees in mechanical engineering from Stanford University. He enlisted in the Navy in 1965 serving as an electronics technician aboard USSNereus (A

The 600-ship United States Navy offers private shipyards an unprecedented opportunity for overhaul of surface combatants with complex combat systems. Recognizing the new challenge associated with the overhaul of high technology combat systems in the private sector, the Navy in 1983 established the master ordnance repair (MOR) program. This program, a joint effort of the Naval Sea Systems Command (NAVSEA) and the Shipbuilders Council of America (SCA), was designed to identify and qualify those companies and private shipyards technically capable of managing combat systems work and conducting combat system testing. Standard Item 009–67 describes the role of the MOR company in combat system overhaul. It defines terms that are important to understanding the item itself, and imposes upon the prime contractor an obligation to utilize the MOR subcontractor in a managerial capacity. Specific tasks are assigned to the MOR company in planning, production, and testing. Finally, this standard item describes to the Navy planner how to estimate the size of the MOR team appropriate to the work package, a feature that will ensure that combat system bids are tailored to a specific availability.

关键词： WARSHIPS

来源：评论

学校读者我要写书评

暂无评论

Transfer function determination from impulse responseviawalsh functions

引用

International Journal of Circuit Theory and Applications 1980年第1期8卷

作者： P. N. Paraskevopoulos S. J. Varoufakis Chair of Automatic Control Systems School of Engineering Democritus University of Thrace Xanthi Greece Computer Department Nuclear Research Center ‘Democritos’ Athens Greece

This paper presents a new method for calculating a rational transfer function matrix using a Walsh expansion of the impulse response matrix. The algorithm proposed appears to be computationally convenient owing to cer...

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the Move to Meaningful Internet Systems: OTM 2012 Workshops 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Pilar Herrero Hervé Panetto Robert Meersman Tharam Dillon

ISBN: (数字)9783642336188

ISBN: (纸本)9783642336171

This volume constitutes the refereed proceedings of ten international workshops, OTM Academy, Industry Case Studies Program, EI2N, INBAST, Meta4eS, OnToContent, ORM, SeDeS, SINCOM and SOMOCO 2012, held as part of OTM 2012 in Rome, Italy, in September 2012. The 66 revised full papers presented were carefully reviewed and selected from a total of 127 submissions. The volume also includes 7 papers from the On the Move Academy (OTMA) 2012 as well as 4 CoopIS 2012 poster papers and 5 ODBASE 2012 poster papers. The paper cover various aspects of computer supported cooperative work (CSCW), middleware, Internet/Web data management, electronic commerce, enterprise modelling, workflow management, knowledge flow, agent technologies, information retrieval, software architectures, service-oriented computing, and cloud computing.

关键词： Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) computer Appl. in Administrative Data Processing User Interfaces and Human computer Interaction Simulation and Modeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：