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

Fault detection of non-linear systems based on multi-form quasi-armax modeling and its application to the ship benchmark

引用

IFAC Proceedings Volumes 2003年第16期36卷 1047-1052页

作者： K. Kumamaru K. Inoue Y. Hosoyamada T. Söerström Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Kawazu 680-4 Iizuka 820-8502 Fukuoka Japan Department of Automatic Control and System Analysis Institute of Technology Uppsala University P.O.Box 27 Uppsala Sweden

This paper is concerned with an application study of model-based fault detection method to a ship propulsion system. When modeling the object system, Quasi-ARMAX model with multi-model form is used. In this model, the system non-linearity is incorporated into model parameters by using non-linear non-parametric models (NNMs). Kullback discrimination Information (KDI) is introduced as fault detection index to evaluate the distortion in identified model, which is caused by a fault. The effectiveness of the method is verified through simulation studies on the ship propulsion system.

关键词： Fault detection Kullback discrimination information non-linear system parameter estimation quasi-ARMAX model

来源：评论

学校读者我要写书评

暂无评论

Application of novel hierarchical approach to formal verification of digital ICs

Application of novel hierarchical approach to formal verific...

引用

Midwest Symposium on Circuits and systems (MWSCAS)

作者： F.A. El-Licy H.S. Abdel-Aty-Zohdy Department of Information and Computer Science Institute of Statistical Studies and Research Cairo University Egypt Microelectronics System Design Laboratory Electrical and Systems Engineering Oakland University MI USA

A hierarchical approach for the abstraction of digital VLSICs is presented. Circuit layout is hierarchically abstracted into logical constructs of binary tree structures, which may be manipulated to extract circuit functionality for the purpose of verifying design correctness. VLSIC design specification in the form of HDL is hierarchically decomposed to generate logical formulae for the given specification. By comparing the above, a verification report is obtained

关键词： Formal verification Logic design Binary trees Hardware design languages Production Very large scale integration Electrical capacitance tomography Combinational circuits Data structures Boolean functions

来源：评论

学校读者我要写书评

暂无评论

On estimation of fault efficiency for path delay faults

On estimation of fault efficiency for path delay faults

引用

Asian Test Symposium (ATS)

作者： Fukunaga Kajihara Takeoka Graduate School of Computer Science and System Engineering Kyushu Institute of Technology Japan Center for Microelectronics Systems Kyushu Institute of Technology Japan Semiconductor Company Matsushita Elecrric Indusrrial Company Limited Japan

In this paper, we propose a method to estimate fault efficiency for path delay faults based on untestable path analysis. In path delay fault testing, fault coverage of test patterns is usually, very low, because logic circuits often have huge number of paths including many untestable paths. Hence we should compute fault efficiency rather than fault coverage, but it is too difficult to compute exact fault efficiency in a short time, because there is no method to compute total number of untestable paths quickly. The proposed method statistically estimate the number of untestable paths based on untestable path analysis, and compute fault efficiency. Experimental results show that the proposed method can accurately estimate fault efficiency of given test patterns in a reasonable time.

关键词： Logic circuit testing Fault diagnosis Combinational logic circuits Sequential logic circuits Very-large-scale integration

来源：评论

学校读者我要写书评

暂无评论

A new boundary control method for beam equation with delayed boundary measurement using modified Smith predictors

A new boundary control method for beam equation with delayed...

引用

IEEE Conference on Decision and Control

作者： Jinsong Liang YangQuan Chen Bao-Zhu Guo Center for Self-organizing and Intelligent Systems (CSOIS) Department of Electrical and Computer Engineering Utah State University Logan UT USA Institute of Systems Sciences Academy of Mathematics and System Sciences Academia Sinica Beijing China

The Smith predictor and its variants are applied to the boundary control of Euler-Bernoulli beam equation with delayed boundary measurement to solve the well-known instability problem due to a small time delay. Simula... 详细信息

ISBN: (纸本)0780379241

关键词： Delay effects Control systems Time measurement Transfer functions Force control Partial differential equations Predictive models Feedback control Stability Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Receding-horizon estimation for noisy nonlinear discrete-time systems

Receding-horizon estimation for noisy nonlinear discrete-tim...

引用

IEEE Conference on Decision and Control

作者： A. Alessandri M. Baglietto G. Battistelli T. Parisini Institute of Intelligent Systems for Automation ISSIA-CNR National Research Council of Italy Genoa Italy Department of Communications Computer and System Sciences DIST-University of Genoa Genoa Italy Department of Electrical Electronic and Computer Engineering DEEI-Università di Trieste Trieste Italy

ISBN: (纸本)0780379241

The problem of constructing a receding-horizon estimator for nonlinear discrete-time systems affected by disturbances has been addressed. The noises are assumed to be bounded, additive, and acting on both state and measurement equations. The estimator is designed according to a sliding-window strategy, i.e., so that it minimizes a receding-horizon estimation cost function. The stability of the resulting filter has been investigated and an upper bound on the estimation error has been found. Such a filter can be suitably approximated by parametrized nonlinear approximators as, for example, neural networks. A min-max algorithm turns out to be well-suited to selecting these parameters, as it allows one to guarantee the stability of the error dynamics of the approximate receding-horizon filter. This estimator is designed off line in such a way as to be able to process any possible information pattern. This enables it to generate state estimates almost instantly with a small on-line computational burden.

关键词： Filters Stability Additive noise Noise measurement Nonlinear equations Cost function Upper bound Estimation error Neural networks State estimation

来源：评论

学校读者我要写书评

暂无评论

Paradigm of design for biosystem-on-a-chip(BioSoC)

Paradigm of design for biosystem-on-a-chip(BioSoC)

引用

IEEE International Conference on Microelectronic systems Education

作者： R.L. Ewing H.S. Abdel-Aty-Zohdy Information Directorate Air Force Research Laboratory Air Force Institute of Technology Department of Electrical and Computer Engineering Wright Patterson Air Force Base OH USA Microelectronics System Design Laboratory Department of Electrical and Systems Engineering Oakland University Rochester MI USA

The paradigm of design for biosystem-on-a-chip (BioSoC), is that multidisciplinary skills are required. Thus, the educational goals are to develop an understanding of micro/macro collaboration along with the ability to apply and use multidisciplinary skills for the design and performance evaluation of a "biosystem on a chip". The need for the architectural design of the BioSoC addresses the next-generation of intelligent information processing systems.

关键词： Intelligent sensors Collaboration Design engineering Biology computing Chemical and biological sensors Biosensors Artificial intelligence Microelectronics Circuits Chemical sensors

来源：评论

学校读者我要写书评

暂无评论

Kinematic Identification Method for Cable-Driven Rescue Robots in Unstructured Environments

引用

Journal of Robotics and Mechatronics 2003年第5期15卷 571-578页

作者： Tadokoro, Satoshi Verhoeven, Richard Zwiers, Ulrike Hiller, Manfred Takemura, Fumiaki Department of Computer and Systems Engineering Kobe University 1-1 Rokkodai Nada Kobe657-8501 Japan International Rescue System Institute 1-5-2 Minatojima-Minami-Machi Chuo-ku Kobe650-0047 Japan Institute für Mechatronik und Systemdynamik Universität Duisburg-Essen Lotharstr. 1 MD 220-239 Duisburg47057 Germany

Cable-driven parallel robots are being developed for rescue operations in large-scale earthquake disasters. This paper proposes an identification method of kinematic parameters for the installation, such as the position of cable fixture by initializing motion on site. This problem is unique to robots in natural fields, such as disaster sites because the environment is not structured. On the basis of identification error analysis and simulation, the optimal number of measurement points and the size of an identification reference frame are obtained. © 2003, Fuji Technology Press. All rights reserved.

关键词： Kinematics

来源：评论

学校读者我要写书评

暂无评论

Human systems integration and advanced technology in engineering department workload and manpower reduction

引用

NAVAL ENGINEERS JOURNAL 2003年第1期115卷 57-65页

作者： Lively, KA Seman, AJ Kirkpatrick, M KENNETH A. LIVELY graduated from the University of Colorado with a BS in applied mathematics and an MS in mathematics in 1976 and from the Massachusetts Institute of Technology with an MS in electrical engineering and the degree ocean engineer in naval architecture and marine engineering in 1984. He retired from the U.S. Navy in 1989 after 23 years of service. Assignments included electrical officer on the USS Constellation (CV 64) project engineer for the DDG 51 machinery control system (NAVSEA) and DDG 51 Technical Director (NAVSEA). He was vice president of the PDI Division of Bird-Johnson Company from July 1989 to November 1998 where he managed various gas turbine and machinery controls related development projects. He joined Anteon Corporation's Systems Engineering Group as senior controls engineer in December 1998 where he provided technical support to the integrated power systems program (NAVSEA PMS 510) and managed the Office of Naval Research Afloat Laboratory. DR. MARK KIRKPATRICK is currently an independent consultant in human factors and work-load/manning analysis and modeling. He holds a Ph.D. degree in experimental psychology from The Ohio State University and has 34 years of experience in applied human factors. From 1982 through 2000 Dr. Kirkpatrick served as the senior vice president of Carlow International. Prior to joining Carlow in 1982 Dr. Kirkpatrick served as a member of the technical staff at North American Rockwell's Missiles Division and as a project director and vice president for Essex Corporation. His areas of expertise include workload simulation task analysis operator-in-the-loop simulation human performance experimentation statistical analysis and human factors T&E. He has directed and/or participated in human factors projects for the U.S. Navy U.S. Army NASA Department of Transportation the U.S. Nuclear Regulatory Commission and private industry. ANTHONY J. SEMAN III is the technical manager for the reduced ship's crew by virtual presence (RSVP) advanced technology d

Aboard current ships, such as the DDG 51, engineering control and damage control activities are manpower intensive. It is anticipated that, for future combatants, the workload demand arising from operation of systems under conditions of normal steaming and during casualty response will need to be markedly reduced via automated monitoring, autonomous control, and other technology initiatives. Current DDG 51 class ships can be considered as a manpower baseline and under Condition III typical engineering control involves seven to eight watchstanders at manned stations in the Central Control Station, the engine rooms and other machinery spaces. In contrast to this manning level, initiatives such as DD 21 and the integrated engineering plant (IEP) envision a partnership between the operator and the automation system, with more and more of the operator's functions being shifted to the automation system as manning levels decrease. This paper describes some human systems integration studies of workload demand reduction and, consequently, manning reduction that can be achieved due to application of several advanced technology concepts. Advanced system concept studies in relation to workload demand are described and reviewed including. Piecemeal applications of diverse automation and remote control technology concepts to selected high driver tasks in current DDG 51 activities. Development of the reduced ship's crew by virtual presence system that will provide automated monitoring and display to operators of machinery health, compartment conditions, and personnel health. The IEP envisions the machinery control system as a provider of resources that are used by various consumers around the ship. Resource needs and consumer priorities are at all times dependent upon the ship's current mission and the availability of equipment pawnbrokers.

关键词： Naval warfare

来源：评论

学校读者我要写书评

暂无评论

computer-aided plant enterprise safety management system (CAPE-SAFE) - Design framework

引用

systems engineering 2002年第2期5卷 109-122页

作者： Gabbar, Hossam A. Chung, P.W.H. Shimada, Yukiyasu Suzuki, Kazuhiko Department of Systems Engineering Okayama University 3-1-1 Tsushima-Naka Okayama 700-8530 Japan Department of Computer Science Loughborough University Leicestershire LE11 3TU United Kingdom Frontier Collaborative Research Center Tokyo Institute of Technology Japan Department of Computer Science Loughborough University Systems Engineering Department Okayama University System Analysis Laboratory Systems Engineering Department Okayama University

Recent researches in the area of safety engineering highlighted the role of automated (computer-aided) tools in managing plant enterprise safety activities. This research has been carried out as collaboration with industry to design a computer-aided plant enterprise safety management system called CAPE-SAFE. The solution has been proposed to fulfill the need for standard and integrated safety management system that covers all aspects of plant enterprise safety. The proposed solution is integrated with other systems and components within plant enterprise engineering environment (PEEE) to enable exchanging and sharing lifecycle information and knowledge. The information system structure of the proposed solution has been presented as well as the design framework of the system components and modules. Hydrodesulfurization (HDS) continuous plant is used as a case study to illustrate the mechanism of CAPE-SAFE and to describe the interaction with other components within PEEE. The proposed solution will help in reducing the overall operating cost as well as the risk associated with plant operation. © 2002 Wiley Periodicals, Inc.

关键词： systems engineering

来源：评论

学校读者我要写书评

暂无评论

A CMOS coupled nonlinear oscillator array

A CMOS coupled nonlinear oscillator array

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： J.D. Neff B.K. Meadows E.A. Brown S.P. DeWeerth P. Hasler SPAWAR Systems Center San Diego San Diego USA SPAWAR System Center-San Diego Code D363 School of Electrical and Computer Engineering Georgia Institute of Technology USA Georgiu Instituteyysj of Technology School of Electrical and Computer Engineering

This paper details an experimental nonlinear beamforming array fabricated in a CMOS process. The unit cell oscillator is a nonlinear second order circuit, which demonstrates self-sustaining oscillation. In this paper experimental results from a test oscillator and a linearly coupled array of oscillators are reported. The circuit equations of motion are shown to be equivalent to the van der Pol oscillator, from which a weakly nonlinear phase-amplitude model is derived. This model forms a basis of understanding for the experimental nonlinear beamforming array.

关键词： Oscillators Coupling circuits Transconductance CMOS process Circuit testing Nonlinear equations Semiconductor device modeling Feedback amplifiers Shift registers Current measurement

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：