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

Correcting type errors in the curry system 16th

16th Annual Conference on Foundations of Software technology and Theoretical Computer Science, 1996

作者： Gandhe, Milind Venkatesh, G. Sanyal, Amitabha Department of Computer Science and Engineering Indian Institute of Technology Bombay400 076 India Silicon Automation Systems 3008 12B Main 8 Cross HAL II Stage Bangalore560008 India

ISBN: (纸本)3540620346

In this paper, we address the problem of suggesting corrections to terms that are ill-typed in the Curry System. For this, we convert the term into a set of constraints over type expressions, and use a method due to Cox [3] to compute the maximal consistent subset of this set. The main result of this paper is an interesting correspondence between the automaton constructed in Cox's method and a graphical representation of the term called sharing graphs, which allows us to read back a term from the maximal consistent subset. We also characterise ill-typed terms using paths in the sharing graph. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

A step-down frequency-modulated zero-current switching quasi-resonant converter-fed DC drive

引用

EUROPEAN TRANSACTIONS ON ELECTRICAL POWER 1996年第1期6卷 61-66页

作者： Reddy, SR Lakshmikanth, A Raj, VB Chellamuthu, C Salhi Rama Reddy (1963) received AMIE in Electrical Engineering from the institution of Engineers (India) in 1984. He received M.E. degree from Anna University Madrid India in 1986. He worked at Tab Consulting Engineers Bangalodndia from 1987 to 1989 when he was appointed as Assistant Engineer. Subsequently he worked as a lecturer at Madras University from 1990 to 1992. Presently he is working as a lecturer in the Power Systems Division College of Engineering Madras. His current research activities are. in the area of power electronics and microprocessor control of electrical drives. (College of Engineering Madras - 600025 India T +9144/2351723-3352 Fax + 009144/2350397) Ananta Lakshmikanth (1970) received the B.E. in Electrical Engineering from the College of Engineering Anna University Maddndia. in 199 I. Presently he is a post graduate scholar at Power Electronics division Anna University. His fields of interest are electrical drives design and sirnulation of power electronic circuits. (Power Electronics Division Anna University Madras 600 025 India T +9144/235 17233349 Fax +9144/2350397) Vasu Babu Raj (1969) received the B.E. in Electrical Engineering from the Regional Engineering College Trichy/ India in 1991. He received the M.E. degree from Anna University Madras/ India in 1993. Since January 1994 he is working as a Software Engineer at Tata Consultancy Services (TCS) New Delhflndia. (TCS Gulab Bhawan 6 Bahadur Shah Zabar Marg New Delhi-110002 T+91 11/3318402) Chinasamy Chellamuthu (1942) received B.E. degree in Electrical Engineering and M.Sc (Engng.) in Power Systems from Madras University and Ph.D. degree in Power Electronics from Indian Institute of Technology Madradndia in 1965. 1967 and 1982 respectively. He worked as a faculty member of Govt. College of Technology Coimbatore. from 1967 to 1977. Presently he is working as Professor of Power Electronics at Anna University Madras. His fields of interest include simulation of power-semiconductor controlled drives an

The simulation and implementation of a step-down frequency-modulated zero-current switching quasi-resonant converter (FM-ZCS-QRC) fed DC drive are presented. A parallel resonant QRC is used for the speed control of a DC motor. The FM-ZCS-QRC-fed DC drive is modelled and simulated. A microprocessor-based prototype system is also implemented for controlling the drive speed and the results predicted by simulation are verified experimentally. It is found that the FM-ZCS-QRC-fed DC drive has several advantages over those fed from phase-controlled converters, DC choppers and PWM converters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An LQG/H/sub /spl infin// controller for a flexible manipulator

引用

IEEE Transactions on control systems technology 1995年第4期3卷 409-416页

作者： R.N. Banavar P. Dominic Department of Systems and Control Engineering Indian Institute of Technology Bombay India

An LQG/H/sub /spl infin// controller synthesis is presented for a flexible one-link manipulator with noncolocated sensing. The challenge of the problem lies in the nonminimum phase characteristics and the ill-conditioned nature of the plant. The inner-loop LQG controller provides adequate damping to the flexible modes and numerically conditions the system while the outer-loop H/sub /spl infin// controller provides stability in the face of unstructured perturbation. With only tip position sensing and using a fourth-order model, a controller is synthesized. It is tested with an eighth-order model of the plant and is found to satisfy both performance and stability requirements.

关键词： H infinity control Flexible structures Stability control system synthesis control systems Uncertainty Damping Space stations Manipulators Frequency

来源：评论

学校读者我要写书评

暂无评论

On aspects of a neural controller for a two link manipulator

On aspects of a neural controller for a two link manipulator

引用

IEEE/IAS International Conference on Industrial Automation and control, IA & C

作者： R.N. Banavar R. Luhadiya A. Kench Department of Systems and Control Engineering Indian Institute of Technology Bombay India Department of Electrical Engineering Indian Institute of Technology Bombay India

The kinematic and dynamic relationships of a manipulator are highly non-linear. The inverse problem is computationally intensive. In this light, the learning capabilities and parallel computational architecture of neural networks seem an attractive alternative to current methods of control. A few aspects of this issue are examined.< >

关键词： Manipulator dynamics Kinematics Computer architecture Artificial neural networks Robot control Electric variables control Acceleration Inverse problems Actuators Feedback

来源：评论

学校读者我要写书评

暂无评论

Quantitative synthesis for a 3/spl times/3 distillation column to achieve performance robustness

Quantitative synthesis for a 3/spl times/3 distillation colu...

引用

IEEE/IAS International Conference on Industrial Automation and control, IA & C

作者： P.S.V. Nataraj J.B. Joshi Systems and control Engineering Group Department of Electrical Engineering Indian Institute of Technology Bombay India

In this paper, quantitative synthesis of a multivariable two-matrix-degree-of-freedom feedback system for a 3/spl times/3 distillation column with sidestreams example having significant plant parameter uncertainty, is performed. The synthesis procedure is that of multi-input multi-output (MIMO) quantitative feedback theory (QFT). From the given MIMO problem, equivalent single-loop problems are derived whose solution guarantees the solution of the original problem. Using the basic single-input single-output (SISO) QFT procedure, the single-loop problems are then solved to satisfy the frequency domain specifications on the tracking and disturbance-rejection properties. The design is verified in both frequency and time domains for 81 plants picked randomly from the set of uncertain plants. The results show that the performance specifications are successfully achieved for the range of parameter uncertainty considered.< >

关键词： Distillation equipment Robustness control system synthesis Feedback Uncertain systems MIMO control systems Uncertainty control engineering Frequency domain analysis

来源：评论

学校读者我要写书评

暂无评论

Robust stabilization of Bernoulli-Euler beam by one point feedback

Robust stabilization of Bernoulli-Euler beam by one point fe...

引用

IEEE/IAS International Conference on Industrial Automation and control, IA & C

作者： V. Pande P.S.V. Nataraj Systems and control Engineering Group Department of Electrical Engineering Indian Institute of Technology Bombay India

This paper deals with the stabilization of a distributed parameter system based on multilinear box theorem and in which some vertex type of results are possible. The system is modelled using an infinite partial fraction expansion. While the control is designed based on a truncated interval model. The advantages are: one can use well established methods of interval plant techniques like box theorem, vortex point theorem, edge theorem etc; both parametric and non-parametric uncertainty can be taken care of in the realm of vertex type of results; and further it gives freedom of placing the sensors and actuators in a region instead of restricting them to a point, by such methods it is possible to achieve arbitrary low sensitivity if the disturbance is acting anywhere in that region.< >

关键词： Robustness Feedback control systems Frequency Cellular neural networks control engineering Paper technology Clamps Uncertainty Flexible structures

来源：评论

学校读者我要写书评

暂无评论

Nonlinear predictive control of an exothermic CSTR using recursive quadratic state space models

Nonlinear predictive control of an exothermic CSTR using rec...

引用

IEEE Conference on control technology and Applications (CCTA)

作者： S.C. Patwardhan K.P. Madhavan Systems and Control Engineering Indian Institute of Technology Mumbai India Department of Chemical Engineering Indian Institute of Technology Mumbai India

The possibility of using a discrete quadratic perturbation model for approximating nonlinear plant dynamics in the neighborhood of the operating point is explored in this paper. A method is evolved for computing the model coefficients using first and second order sensitivity equations. The proposed model is further used to develop a nonlinear model predictive control algorithm. The performance of the proposed control algorithm is demonstrated by simulating a benchmark CSTR control problem characterized by the change in the sign of the steady state gain in the operating region.

关键词： Predictive control Continuous-stirred tank reactor State-space methods Predictive models Nonlinear systems Steady-state Prediction algorithms Computational modeling Performance gain Electrical equipment industry

来源：评论

学校读者我要写书评

暂无评论

On the design of stabilizing control for structured uncertain singularly perturbed systems

On the design of stabilizing control for structured uncertai...

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： B. Bandyopadhyay J. Nair M.C. Srisailam Systems and control engineering Electrical Engineering Department Indian Institute of Technology Bombay Bombay India

We deal with the design of robust controllers for a linear time invariant uncertain system exhibiting two time scale properties for the entire range of parameter variations. The uncertain system has been decomposed into slow and fast uncertain subsystems. The stabilizing controllers for the lower order subsystems are designed and a composite controller is obtained from them. This composite controller is shown to stabilize the higher order uncertain system, if applied to it. A numerical example illustrates the procedure.< >

关键词： control systems Uncertain systems Nonlinear dynamical systems control engineering Robust control Ear Robustness Time varying systems Arithmetic Rail to rail inputs

来源：评论

学校读者我要写书评

暂无评论

Robust multivariable feedback design for an extractive distillation column

Robust multivariable feedback design for an extractive disti...

引用

1994 International Conference on control - control '94.

作者： P.S.V. Nataraj Systems and Control Group Departrment of Electrical Engineering Indian Institute of Technology Bombay India

In this paper, multivariable quantitative feedback theory (QFT) techniques are used to synthesize a robust feedback system for an extractive distillation column with a vaporous sidestream. The simplified state space model of Gilles and Retzbach (1983) for an extractive distillation column exhibiting sharp temperature profiles is adopted here. Large uncertainty of +20% is assumed in three key matrix elements of this model. The feedback design problem is to find the controller and prefilter matrices such that the stated tracking specifications are met, over the entire range of model parametric uncertainty. The fourth MIMO QFT technique of Yaniv and Horowitz (1986) is used to solve the design problem. The design is verified through extensive simulations in both frequency and time domains, for several plants picked from the plant uncertainty set. In all cases, the results obtained are quite satisfactory.< >

关键词： Feedback Frequency domain synthesis Matrices Multivariable systems Stability State space methods

来源：评论

学校读者我要写书评

暂无评论

A MATLAB toolbox for QFT-based synthesis of linear/nonlinear lumped and linear distributed systems

A MATLAB toolbox for QFT-based synthesis of linear/nonlinear...

引用

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

作者： P.S.V. Nataraj Systems And Control Grow Department Of Electrical Engineering Indian Institute Of Technology Bombay India

We present QFT IIT, a MATLAB toolbox for quantitative feedback theory (QFT)-based synthesis of robust feedback systems. QFT IIT can handle several system classes including linear and nonlinear, single input-output and multi input-output, output and internal variable feedback, and linear distributed with distributed or point feedback types. We used QFT IIT to successfully solve a large number of robust control problems at The indian institute of technology (IIT) bombay.< >

关键词： MATLAB control system synthesis Robust control Nonlinear control systems Poles and zeros control systems Output feedback Packaging Robustness Distributed control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：