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

SAFETY ISSUES IN AVIONICS AND AUTOMOTIVE DATABUSES

IFAC Proceedings Volumes 2005年第1期38卷 26-31页

作者： Janusz Zalewski Dawid Trawczyński Janusz Sosnowski Andrew Kornecki Marek Śnieżek Computer Science Department Florida Gulf Coast University Fort Myers FL 33928 USA Institute of Computer Science Warsaw University of Technology Nowowiejska 15/19 00-665 Warsaw Poland Dept. of Computer & Software Engineering Embry-Riddle Aeronautical University Daytona Beach FL 32114 USA Dept. of Control & Computer Engineering Rzeszów University of Technology 35–959 Rzeszów Poland

In avionics and automotive applications of computing, special care must be taken of issues related to safety. Assurance must be provided that computer hardware or software does not contribute to situations, which may cause loss of life or significant property damage. One aspect of this concern is the design of databuses, which provide a medium to exchange information among various electronics devices in a vehicle. Unfortunately, only a few aspects of bus design have been sufficiently covered in the research studying system safety. This paper reviews and compares available information on bus specifications. Databuses are discussed regarding their properties, such as signal characteristics and bus protocols, with respect to safety.

关键词： Safety-Critical Systems Databus Avionics CAN TTP FlexRay IEEE-1394

来源：评论

学校读者我要写书评

暂无评论

Automobile lane detection System-on-Chip integrated with mixed signal mode CMOS image sensor

Automobile lane detection System-on-Chip integrated with mix...

引用

9th International Symposium on Consumer Electronics 2005, ISCE 2005

作者： Hsiao, Pei-Yung Cheng, Hsien-Chein Yeh, Chun-Wei Huang, Shih-Shinh Fu, Li-Chen IEEE Department of Electronic Engineering Chang Gung University Tao-Yuan Taiwan Department of Electrical Engineering National Taiwan University Taipei Taiwan Genesyslogic Co. Ltd. Circuit Layout Department Dept. of Electronic Engineering and Information Management Chang Gung University Department of Electrical Engineering Department of Computer Science and Information Engineering National Taiwan University Robotics and Automation Society Automatic Control Society Chinese Automatic Control Society Chinese Institute of Automation Engineers

In this paper, we aim at developing a System-on-Chip, SoC, which can capture image as well as produce vehicle lane map at the same time. We adopt Peak-Finding based lane detection algorithm that can achieve high recognition rate about 96% even under various weather conditions. The features of the proposed SoC are a single low-cost and compact chip which implements the lane detection algorithm with mixed signal mode CMOS image sensor. Therefore, it can be easily used in thousands of consumer electronics for intelligent automobile applications. © IEEE.

关键词： Image sensors

来源：评论

学校读者我要写书评

暂无评论

Reduced-order model-based feedback controller design for subsonic cavity flows

Reduced-order model-based feedback controller design for sub...

引用

43rd AIAA Aerospace Sciences Meeting and Exhibit

作者： Yuan, X. Caraballo, E. Yan, P. Özbay, H. Serrani, A. DeBonis, J. Myatt, J.H. Samimy, M. Collaborative Center of Control Science Ohio State University United States Department of Electrical and Computer Engineering Department of Mechanical Engineering United States Bilkent Univ. Dept. of Electrical and Electronics Eng. Ankara Turkey NASA Glenn's Quiet Aircraft Technology Program United States Air Force Research Laboratory Air Vehicles Directorate WPAFB United States

This paper explores feedback controller design for cavity flows based on reduced-order models derived using Proper Orthogonal Decomposition (POD) along with Galerkin projection method. Our preliminary analysis shows that the equilibrium of the POD model is unstable and a static output feedback controller cannot stabilize it. We develop Linear Quadratic (LQ) optimal state feedback controllers and LQ optimal observers for the linearized models. The linear controllers and observers are applied to the nonlinear system using simulations. The controller robustness is numerically tested with respect to different POD models generated at different forcing frequencies. An estimation for the region of attraction of the linear controllers is also provided.

关键词： Subsonic flow

来源：评论

学校读者我要写书评

暂无评论

APPROXIMATED OPTIMAL control OF SINGULARLY PERTURBED SYSTEMS VIA HAAR WAVELETS

引用

IFAC Proceedings Volumes 2005年第1期38卷 353-358页

作者： H.R. Karimi P. Jabedar Maralani B Moshiri B Lohmann Control and Intelligent Processing Center of Excellence Dept. of Electrical and Computer Engineering University of Tehran Tehran Iran Institute of Automation University of Bremen Otto-Hahn-Allee NW1 D-28359 Bremen Germany

This paper deals with the implementation of Haar wavelet to the optimal control of linear singularly perturbed systems. The approximated composite control and the slow and fast trajectories with respect to a quadratic cost function by solving only the linear algebraic equations are calculated. The results are illustrated with a simple example.

关键词： Singularly perturbed systems Haar wavelet and optimal control

来源：评论

学校读者我要写书评

暂无评论

On the Reliability Degree of Hue and Saturation Values of a Pixel for Color Image Classification

On the Reliability Degree of Hue and Saturation Values of a ...

引用

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

作者： S. Romani P. Sobrevilla E. Montseny Computer Engineering Math. Dept. Rovira I Virgili University Tarragona Spain Applied Mathematics Dept. Technical Univ. of Catalonia Barcelona Spain Comp. Eng. and Automatic Control. Dept. Technical Univ. of Catalonia Barcelona Spain

Variability of hue and saturation components is an important drawback for developing accurate color image segmentation algorithms based on HSI spaces: different colors can return similar color components because of the different illumination levels, and the components of a color change accordingly to the illumination level. To avoid these problems within color segmentation algorithms, we propose a method that, based on predicted hue and saturation deviations, provides the reliability degree of the H-S color components based obtained HIS values. The reliability degree has been used for improving color classification results

关键词： Pixel Color Lighting Colored noise computer vision Image segmentation Application software Humans Shadow mapping Reliability engineering

来源：评论

学校读者我要写书评

暂无评论

ROBUST ADAPTIVE control OF TRANSVERSE FLUX PERMANENT MAGNET MACHINES USING NEURAL NETWORKS

引用

IFAC Proceedings Volumes 2005年第1期38卷 169-174页

作者： A Babazadeh H.R. Karimi N Parspour Institute of Electrical Drives Power Electronics and Devices University of Bremen Bremen Germany Control and Intelligent Processing Center of Excellence Dept. of Electrical and Computer Engineering Faculty of Engineering University of Tehran Tehran Iran DAAD Scholarship Holder at the Institute of Automation University of Bremen Germany

This paper deals with modelling and adaptive output tracking of a Transverse Flux Permanent Magnet Machine (TFPM) as a non-linear system with unknown nonlinearities by utilizing High Gain Observer (HGO) and Radial Basis Function (RBF) networks. The technique of feedback linearization and H ∞ control are used to design an adaptive control law for compensating the unknown nonlinearity parts, such the effect of cogging torque, as a disturbance is decreased onto the rotor angle and angular velocity tracking performances. Finally, the capability of the proposed method is shown in the simulation results.

关键词： High gain observer transverse flux permanent magnet machine H ∞ control RBF neural network output tracking

来源：评论

学校读者我要写书评

暂无评论

Formal verification of flight critical software

Formal verification of flight critical software

引用

AIAA Guidance, Navigation, and control Conference 2005

作者： Miller, Steven P. Anderson, Elise A. Wagner, Lucas G. Whalen, Michael W. Heimdahl, Mats P. E. Rockwell Collins Inc. Cedar Rapids IA 52498 United States University of Minnesota Minneapolis MN 55455 United States Advanced Technology Center MS 108-206 400 Collins Road NE AIAA Commercial Systems Flight Control MS 105-191 400 Collins Road NE Dept. of Computer Science and Electrical Engineering 4192 EE/CS Bldg. 200 Union Street

ISBN: (纸本)1563477378

Recent advances in modeling languages have made it feasible to formally specify and analyze the behavior of large system components. Synchronous data flow languages, such as Lustre, SCR, and RSML-e are well suited to this task, and commercial versions of these tools such as SCADE and Simulink are growing rapidly in popularity among designers of safety critical systems, largely due to their ability to automatically generate code from the models. At the same time, advances in formal analysis tools have made it practical to formally verify important properties of these models to ensure that design defects are identified and corrected early in the lifecycle. This report describes how such formal verification tools have been applied to the FCS 5000, a new family of Flight control Systems being developed by Rockwell Collins Inc. Copyright © 2005 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Flight dynamics

来源：评论

学校读者我要写书评

暂无评论

Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing

Hybrid discrete event simulation with model predictive contr...

引用

Simulation Winter Conference

作者： H.S. Sarjoughian Dongping Huang G.W. Godding Wenlin Wang D.E. Rivera K.G. Kempf H.D. Mittelmann Arizona Center for Integrative Modeling & Simulation Computer Science & Engineering Department Arizona State University Tempe AZ USA Control Systems Engineering Laboratory Chemical & Materials Engineering Department Arizona State University Tempe AZ USA Decision Technologies Intel Corporation Chandler AZ USA Mathematics & Statistic Dept. Arizona State University Tempe AZ USA

Simulation modeling combined with decision control can offer important benefits for analysis, design, and operation of semiconductor supply-chain network systems. Detailed simulation of physical processes provides information for its controller to account for (expected) stochasticity present in the manufacturing processes. In turn, the controller can provide (near) optimal decisions for the operation of the processes and thus handle uncertainty in customer demands. In this paper, we describe an environment that synthesizes discrete-event system specification (DEVS) with model predictive control (MPC) paradigms using a knowledge interchange broker (KIB). This environment uses the KIB to compose discrete event simulation and model predictive control models. This approach to composability affords flexibility for studying semiconductor supply-chain manufacturing at varying levels of detail. We describe a hybrid DEVS/MPC environments via a knowledge interchange broker. We conclude with a comparison of this work with another that employs the Simulink/MATLAB environment.

关键词： Discrete event simulation Predictive models Predictive control Virtual manufacturing Semiconductor device manufacture Mathematical model Analytical models Manufacturing processes Optimal control Uncertainty

来源：评论

学校读者我要写书评

暂无评论

An interdisciplinary, interdepartmental control systems laboratory

IEEE Control Systems Magazine

引用

IEEE control Systems Magazine 2005年第1期25卷 50-55页

作者： Alleyne, Andrew G. Block, Daniel J. Meyn, Sean P. Perkins, William R. Spong, Mark W. Dept. of Mech./Industr. Engineering University of Illinois 1308 West Main St. Urbana IL 61801 United States Coll. of Eng. Control Systems Lab. University of Illinois 1308 West Main Street Urbana il 61801 United States Dept. of Elec./Computer Engineering University of Illinois 1308 West Main Street Urbana IL 61801 United States Department of General Engineering University of Illinois 1308 West Main Street Urbana IL 61801 United States

The existing U.S. Paradigm of individual departmental laboratories is increasingly difficult to justify due to the interdisciplinary nature of modern control engineering, the high cost and rapid obsolescence of technology, and the demands on faculty time. The College of engineering control Systems Laboratory (COECSL) at the University of Illinois advocates a shift from departmental labs to college labs for pedagogical, as well as financial, reasons. This approach is proving to be an effective approach to undergraduate control systems education.

关键词： control system synthesis

来源：评论

学校读者我要写书评

暂无评论

On-line fault detection of transmission line using artificial neural network

On-line fault detection of transmission line using artificia...

引用

International Conference on Power System Technology (POWERCON 2004)

作者： El Safty, SM Ashour, HA El Dessouki, H El Sawaf, M Electrical Engineering and Computer Control Dept. Faculty of Engineering Arab Academy for Science and Technology Egypt

ISBN: (纸本)0780386108

As the voltage and current waveforms are deformed due to transient during faults, their pattern changes according to the type of fault. The Artificial Neural Network (ANN) can then be used for fault detection due to its distinguished behavior in pattern recognition. In order to minimize the structure and timing of the ANN, preprocessing of the voltage and current waveforms was done. The data delivered from a simulated power system using PSCAD (EMTP with cad system) was used for training and testing the ANN. An experimental setup, consists of a 3 phase power supply module and transmission line module, is utilized. A set of signal conditioning circuits is designed and implemented in order to transfer data to a PC which is used as an on-line relay for fault detection. This is done via a data acquisition card (CIO-DAS1602/12). The Matlab program captures and processes real data for training the ANN. Applying different types of faults for testing the system, right tripping action was taken and the type of fault was correctly identified. The suggested artificial neural network algorithm has been found simple and effective hence could be implemented in practical application.

关键词： Electric current measurement

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：