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

作者： Aly, Gamal M. El-Nadi, Nabeel M. Fayed, Zaki T. Faheem, Hossam M. Dept. of Comp. and Control Systems Ain Shams University Faculty of Engineering Cairo Egypt Information Technology Institute Cairo Egypt Department of Computer Science Ain Shams University Fac. of Comp. and Info. Science Cairo Egypt

This paper describes a design of an associative memory array processor that can be used in the acquisition and processing of ultrasonograph images. The major concept is to design a parallel architecture that reduces task's execution time by analyzing multiple parts of the image concurrently. The architecture constitutes a distinctive type of single-instruction stream, multiple-data stream machine that is built around content-addressable associative memory slabs, that allow parallel access of multiple memory words. The basic building block of this architecture is a one-pixel processing element, which can perform the standard load (data acquisition) function and also contains some special comparison logic to enable its content to be compared with an external data. Several image processing operations are implemented in parallel, among them: component labeling, size filtering, pattern centralization, and pattern recognition. The proposed novel architecture can label specific regions into the image and isolate them intelligently. It is also capable of storing templates that may be considered as references for similar cases. The system is able to perform learning process and extract features from several input patterns and store the reference pattern in a slice. Moreover, the system is capable of comparing an input image with a pre-stored template during recognition process. The proposed architecture is of interest because it speeds up the recognition process and helps radiology specialists to write their reports confidently.

关键词： Ultrasonic imaging

来源：评论

学校读者我要写书评

暂无评论

Validating executable controller specifications through formal model checking

Validating executable controller specifications through form...

引用

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

作者： J.J. Scillieri K.R. Butts J.S. Freudenberg Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA Powertrain Control Systems Department Ford Research Laboratory Dearborn MI USA

ISBN: (纸本)0780365666

In many embedded control system applications, the control algorithm includes both logical and data flow portions. We apply formal methods of system verification to discrete-state algorithms. Specifically, we make use of a formal model checking tool to prove or disprove various properties of the algorithm. Questions pertaining to the achievability of states and paths and proper variable assignment are cast as logical assertions in computation tree logic (CTL), and evaluated using the model checker. In addition, we describe an approach for generating scenarios; that is, a sequence of inputs and parameters that will take a discrete-state system model through a given sequence. We present several examples illustrating various questions that the designer may wish to pose, and an appropriate CTL assertion for each.

关键词： Mathematical model System testing Power system modeling control system synthesis Logic Design engineering computer science Mechanical power transmission Laboratories Application software

来源：评论

学校读者我要写书评

暂无评论

Bank-to-turn roll-yaw-pitch autopilot design using dynamic nonlinear inversion and PD-eigenvalue assignment

Bank-to-turn roll-yaw-pitch autopilot design using dynamic n...

引用

American control Conference (ACC)

作者： M.C. Mickle J.J. Zhu Guidance Navigation And Control Department Raytheon Missile Systems Company Tucson AZ USA Electrical and Computer Engineering Department Louisiana State University Baton Rouge LA USA

This paper presents the design and simulation of an autopilot for a nonaxisymmetric missile model to robustly track planar bank-to-turn (BTT) maneuvers while regulating sideslip. The method used to design the autopilot relies on trajectory linearization and is realized through two controller subdesigns. The first design problem involves finding a nonlinear dynamic inverse for the plant. The second design involves designing a trajectory stabilizing controller using a parallel D-eigenvalue stability concept developed for linear time varying (LTV) systems. The autopilot designed by this method is then compared with autopilots designed using two other nonlinear methods.

关键词： Missiles Aerodynamics Design methodology Trajectory Robustness Stability Actuators Navigation control systems Time varying systems

来源：评论

学校读者我要写书评

暂无评论

Deterministic maximum likelihood DOA estimation in heterogeneous propagation media

Deterministic maximum likelihood DOA estimation in heterogen...

引用

IEEE Workshop on Statistical Signal and Array Processing

作者： P. Stoica O. Besson A.B. Gershman Dept. of Syst. & Control Uppsala Univ. Sweden Department of Avionics and Systems ENSICA Toulouse France Department of Electrical and Computer Engineering McMaster University Hamilton Canada

In a number of array signal processing applications, such as underwater source localization, the propagation medium is not homogeneous, which causes a distortion of the wavefront received by the array. In this paper, we consider the direction-of-arrival (DOA) estimation problem for such distorted wavefronts. In previous approaches, the so-called multiplicative noise scenario is considered based on the assumption that the distortion is random and can be parameterized by a small number of parameters. To gain robustness against mismodelling we assume a scenario in which the wavefront amplitude is distorted in a completely arbitrary way. We derive the maximum likelihood (ML) estimator of the DOA and show it can be obtained by means of a simple 1D search. The Cramer-Rao bound (CRB) for the problem at hand is derived. Numerical simulations illustrate a good performance of the estimator and show that its accuracy is comparable with that of estimators which require knowledge of the form of amplitude distortions.

关键词： Maximum likelihood estimation Direction of arrival estimation Nonhomogeneous media Sensor arrays Amplitude estimation Integrated circuit noise Gaussian noise Covariance matrix control systems Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

Strong practical stability for a class of 2D linear systems

Strong practical stability for a class of 2D linear systems

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： K. Galkowski E. Rogers A. Gramacki J. Gramacki D. Owens Institute of Robotics and Software Engineering Technical University of Zielona Gora Poland Department of Electronics and Computer Science University of Southampton Southampton UK Institute of Computer Science and Electronics Technical University of Zielona Gora Poland Department of Automatic Control and Systems Engineering University of Sheffield UK

Linear repetitive processes are a distinct class of 2D linear systems of both theoretical and practical interest. The stability theory for these processes currently consists of two distinct concepts termed asymptotic stability and stability along the pass respectively where the former is a necessary condition for the latter. Recently applications have arisen where asymptotic stability is too weak and stability along the pass is too strong for meaningful progress to be made. This paper develops the concept of strong practical stability for such cases.

关键词： Linear systems Asymptotic stability computer science State-space methods Robotics and automation Software engineering systems engineering and theory Metals industry Iterative algorithms Electrical equipment industry

来源：评论

学校读者我要写书评

暂无评论

Microgravity isolation control system design via high-order sliding mode control

Microgravity isolation control system design via high-order ...

引用

American control Conference (ACC)

作者： I. Shkolnikov Y. Shtessel M. Whorton M. Jackson Department of Electrical and Computer Engineering University of Alabama Huntsville Huntsville AL USA TD55/Vehicle Control Systems NASA Marshall Space Flight Center AL USA

Vibration isolation control system design for a microgravity experiment mount is considered. The controller design based on dynamic sliding manifold (DSM) technique is proposed to attenuate the accelerations transmitted to an isolated experiment mount either from a vibrating base or directly generated by the experiment, as well as to stabilize the internal dynamics of this nonminimum phase plant. An auxiliary DSM is employed to maintain the asymptotic high-order sliding mode on the primary sliding manifold in the presence of uncertain actuator dynamics of the second order. The primary DSM is designed for the closed-loop.

关键词： Sliding mode control control systems Acceleration Frequency Vibration control Attenuation Shape control Force control Actuators Filters

来源：评论

学校读者我要写书评

暂无评论

High order sliding modes in dynamic sliding manifolds: SMC design with uncertain actuator

High order sliding modes in dynamic sliding manifolds: SMC d...

引用

American control Conference (ACC)

作者： D.R. Krupp I.A. Shkolnikov Y.B. Shtessel TD55/Vehicle Control Systems NASA-Marshall Space Flight Center AL USA Department of Electrical and Computer Engineering University of Alabama Huntsville Huntsville AL USA

A problem of sliding mode control design for a SISO system with unmodeled actuators of the first and second order is considered. A design methodology, based on dynamic sliding manifolds (DSM), is proposed to attenuate the chattering phenomenon affecting sliding-mode-controlled plants in the presence of unmodeled dynamics. The proposed methodology maintains the sliding mode on the sliding surface, which is designed without actuator dynamics being considered. This goal is achieved via auxiliary dynamic sliding manifold design; the sliding mode on the auxiliary DSM provides for high order asymptotic sliding mode on the initial surface.

关键词： Sliding mode control Actuators control systems Frequency Manifolds Robust control PD control Proportional control Design methodology Limit-cycles

来源：评论

学校读者我要写书评

暂无评论

Texture modelling by optimal gray scale structuring elements using morphological pattern spectrum

Texture modelling by optimal gray scale structuring elements...

引用

International Conference on Pattern Recognition

作者： A. Asano M. Miyagawa M. Fujio Depatment of Mathematical and Information Sciences Faculty of Integrated Arts and Sciencese Hiroshima University Higa Hiroshima Japan Department of Control Engineering and Science Faculty of Computer Science and systems Engineering Kyushu institute of Technology Fukuoka Japan

ISBN: (纸本)0769507506

Proposes a texture modelling method based on the pattern spectrum. The pattern spectrum is a mathematical morphological method to describe the size distribution of objects contained in an image. Our method is based on the idea of obtaining a model of the elementary particles that form a texture by optimizing a gray scale structuring element to fit the shape of elementary particles. The optimization method is applied in two stages: the first stage optimizes the extent of the structuring element and the second optimizes the pixel values in the extent.

关键词： Shape Optimization methods Elementary particles Art Mathematical model Morphology Application software Image texture analysis Pattern analysis control engineering

来源：评论

学校读者我要写书评

暂无评论

Guest Editorial

引用

Intelligent Automation & Soft Computing 2000年第3期6卷 171-172页

作者： Mohamed Kamel[a] & Mohammad Jamshidi[b] [a] Pattern Analysis and Machine Intelligence Lab Department of Systems Design Engineering University of Waterloo Waterloo Ontario N2L 3G1 Canada [b] Nasa Center for Autonomous Control Engineering and Department of Electrical and Computer Engineering The University of New Mexico Albuquerque NM 87131 USA http://ace.tmm.edu

Click to increase image sizeClick to decrease image size

关键词：

来源：评论

学校读者我要写书评

暂无评论

Robust H ∞ Filter Design via Parameter-Dependent Lyapunov Functions *

引用

IFAC Proceedings Volumes 2000年第14期33卷 65-70页

作者： Carlos E. de Souza Minyue Fu Alexandre Trofino Department of Systems and Control Laboratório Nacional de Computação Científica - LNCC Av. Getúlio Vargas 333 25651-070 Petrópolis RJ Brazil Department of Electrical and Computer Engineering The University of Newcastle NSW 2305 Australia Department of Automation and Systems Universidade Federal de Santa Catarina PO Box 476 88040-900 Florianópolis SC Brazil

This paper is concerned with the problem of H ∞ filtering for linear continuous-time systems with uncertain time-varying parameters in the matrices of the state-space signal model. The admissible values of the parameters and their rates of variation are assumed to belong to a given polyhedral region. Based on a parameter-dependent Lyapunov function, which is quadratic in the uncertain parameters, we develop an LMI method for designing a linear stationary, asymptotically stable filter, which ensures a prescribed performance in a H ∞ sense.

关键词： Robust estimation H ∞ filtering uncertain linear systems time-varying parameters parameter-dependent Lyapunov function

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：