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

IEEE International Conference on Automated Software engineering (ASE)

作者： S. Lingamarla G. Singh J. Limburg M. Watson G. Edwards S. Gobrogge Software & Inf. Technol. Lab. Oakland Univ. Rochester MI USA Software & Information Technology Laboratory Computer Science and Engineering Department Oakland University Rochester MI USA Control Strategies EngineeringContinental Teves Auburn Hills MI USA

Embedded controllers in safety critical applications rely on the highest of software quality standards. Testing is performed to ensure that requirements and specifications are met for all the different environments in which the controllers operate. This paper describes the architecture of a system that uses a relational database for tracking tests, requirements, and configurations. The relational sub-schemas are integrated in a data warehouse and allow traceability from requirements to tests. A normalized representation of test cases enables the system to reason about the test topologies and is used for constructing clusters of similar tests. A representative test from each cluster can in turn provide a rapid estimation, of the software's requirement coverage and quality.

关键词： Embedded software System testing automatic control Software quality Software safety Application software Software standards Performance evaluation computer architecture Relational databases

来源：评论

学校读者我要写书评

暂无评论

Healthcare Informatics Society of Ireland

引用

Irish Journal of Medical science 1999年第4期168卷 276-282页

作者： Rigby, M. Sheridan, A. Draper, R. Stephens, G. Gaffney, P. Grimson, J. Avalos, G. Comerford, F. R. Kanagaratnam, B. Dineen, B. Hamilton, I. Jung, B. Felton, E. Berry, D. Grimson, W. Rice, D. H. Healy, M. Bruce, A. Kelly, J. Carroll, T. Grogan, A. Hurl, G. A. Hyland, D. Roberts, J. Brazil, J. Callanan, I. Devitt, A. O’Brien, T. O’Sullivan, U. M. Peyton, K. Wilson, M. J. Collins, R. Crawley, L. Foley, D. Strachan, H. McBrearty, P. Murnane, R. Murphy, E. Keane, V. Mulvany, F. Sweeney, P. D. Kenny, D. O’Connell, P. R. Balfe, P. Minogue, G. Centre for Health Planning & Management Keele University Keele Staffordshire Britain St. John of God Hospital Stillorgan Hospitaller Order of St. John of God Stillorgan Dept. of Computer Science Trinity College Dublin Clinical Chemistry Laboratory Tallaght Hospital Tallaght Dublin 24 Department of Experimental Medicine Faculty of Medicine National University of Ireland Galway Department of Health Promotion Faculty of Medicine National University of Ireland Galway School of Control Systems & Electrical Engineering Dublin Institute of Technology Ireland Shared Medical Systems Malvern USA Healy Services Dublin Universal Learning Systems Ltd. Dublin The Rotunda Hospital Dublin Mater Misericordiae Hospital Dublin Institute for Healthcare Informatics Dublin First Consulting Group Macclesfield Britain Virus Reference Laboratory UCD Belfield Dublin 4 Cappagh Orthopaedic Hospital Dublin Ireland Southern Health Board Cork Mater Misericordiae Hospital Dublin 7 DSS Dublin Ltd. Ireland University College Dublin Ireland Mary Aikenhead School of Nursing St. Vincent’s Hospital Dublin Blackrock Clinic Dublin Borders Community Health Services NHS Trust Britain James Connolly Memorial Hospital Blanchardstown Dublin 15 Kildare and West Wicklow Mental Health Service for People with A Learning Disability Eastern Health Board Dublin Health Research Board Dublin General Practice Research Unit The Medical Centre Dungloe Dept. of Clinical Biochemistry Our Lady’s Hospital for Sick Children Crumlin Dublin 12

来源：评论

学校读者我要写书评

暂无评论

automatic control and adjustment of TV picture geometry

引用

IFAC Proceedings Volumes 1998年第31期31卷 189-192页

作者： Jože Mohorko Peter Planinšič Žarko Čučej University of Maribor Faculty of Electrical Engineering Computer Science and Information Technology Laboratory for signal processing and remote control 2000 Maribor Smetanova 17 Slovenia

The foundation of computer vision system for testing, controlling and adjusting of the TV sets is a mathematical model of distortion of the TV picture. Adequate accurate model description parameters are given by polynomial of order eight and knowledge based nonlinear, cross coupled relationships between command variables for adjusting of the TV sets and coefficients of polynomial.

关键词： Television Quality control Polynomials Model based control Image recognition Adaptive Bad data identification

来源：评论

学校读者我要写书评

暂无评论

Royal Academy of Medicine in Ireland - Section of Bioengineering - Proceedings of meeting held in Dundalk, Co. Louth, in February 1998.

引用

IRISH JOURNAL OF MEDICAL science 1998年第4期167卷 256-276页

作者： [Anonymous] Orthopaedic Research Unit The Queen’s University of Belfast School of Biomedical Sciences The Queen’s University of Belfast Howmedica International Ltd. Raheen Industrial Estate Limerick Department of Mechanical Engineering Trinity College Dublin 2 Mater Hospital Dublin 7 Orthopaedic Research Laboratory Århus University Hospital Denmark University of Limerick Limerick Limerick Regional Hospital Raheen Limerick Boston Scientific Ireland Ltd. Galway Department of Mechanical Engineering University College Dublin Dublin Department of Electrical and Electronic Engineering University College Dublin Dublin Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Dublin Northern Ireland Bio-Engineering Centre (NIBEC) School of Electrical and Mechanical Engineering University of Ulster Newtownabbey Department of Mechanical & Manufacturing Engineering The Ashby Building The Queen’s University of Belfast Johnson and Johnson Professional Orthopaedic Division Queensway England Department of Cardiology and Department of Medical Physics & Bioengineering St. James’s Hospital Dublin 8 Burke House Ellison Street Castlebar Royal College of Surgeons in Ireland Department of Surgery Beaumont Hospital Dublin Department of Electronic and Electrical Engineering Trinity College Dublin 2 Department of Aeronautical Engineering The Queen’s University of Belfast Vascular Unit Belfast City Hospital Department of Medical Physics and Bioengineering St. James’s Hospital Dublin 8 Centre for Biomedical Electronics Department of Electronic and Computer Engineering University of Limerick Limerick Department of Mechanical and Aeronautical Engineering University of Limerick Limerick School of Health Sciences University of Ulster Ireland School of Physiotherapy University of Ulster Newtownabbey Clinical Engineering NI Medical Physics Agency Belfast and Radiology Royal Victoria Hospital Musgrave Park Hospital University of Limerick Biomedical Institute (ULBMI) Uni

来源：评论

学校读者我要写书评

暂无评论

An algebraic approach to multiobjective stochastic control for linear continuous systems with variance constraints 4

An algebraic approach to multiobjective stochastic control f...

引用

4th European control Conference, ECC 1997

作者： Wang, Zidong Unbehauen, H. Automatic Control Laboratory Faculty of Electrical Engineering Ruhr-University Bochum BochumD-44780 Germany Department of Automatic Control Nanjing University of Science and Technology Nanjing210094 China

ISBN: (纸本)9783952426906

This paper consists of two parts. In the first part, the problem of controller design for linear continuous systems with prespecified∞ norm, circular pole and steady-state variance constraints is considered. Furthermore, in the second part, the problem of performance robust controller design for linear continuous uncertain systems with variance and circular pole constraints is studied. Effective, algebraic, modified Riccati equation approaches are developed to solve the addressed problems. Numerical examples are provided to show the usefulness and applicability of the present approaches.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Robust H/sub 2//H/sub /spl infin//-state estimation for discrete-time systems with error variance constraints

引用

IEEE Transactions on automatic control 1997年第10期42卷 1431-1435页

作者： Zidong Wang Zhi Guo H. Unbehauen Automatic Control Laboratory Faculty of Electrical Engineering Ruhr University of Bochum Bochum Germany Department of Automatic Control Nanjing University of Science and Technology of PLA Nanjing China

This paper studies the problem of an H/sub /spl infin//-norm and variance-constrained state estimator design for uncertain linear discrete-time systems. The system under consideration is subjected to time-invariant norm-bounded parameter uncertainties in both the state and measurement matrices. The problem addressed is the design of a gain-scheduled linear state estimator such that, for all admissible measurable uncertainties, the variance of the estimation error of each state is not more than the individual prespecified value, and the transfer function from disturbances to error state outputs satisfies the prespecified H/sub /spl infin//-norm upper bound constraint, simultaneously. The conditions for the existence of desired estimators are obtained in terms of matrix inequalities, and the explicit expression of these estimators is also derived. A numerical example is provided to demonstrate various aspects of theoretical results.

关键词： Robustness State feedback State estimation automatic control Linear systems Stability analysis control system synthesis Analysis of variance control systems Subspace constraints

来源：评论

学校读者我要写书评

暂无评论

A Method of Robust Fault Detection for Dynamic Systems by Using Quasi-ARMAX Modeling

引用

IFAC Proceedings Volumes 1997年第11期30卷 1157-1162页

作者： K. Kumamaru J. Hu K. Inoue T. Söderström Department of Control Engineering and Science Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka 820 Fukuoka Japan Department of Automatic Control and Systems Analysis Institute of Technology Uppsala University P.O.Box 27 Uppsala Sweden

This paper presents a model-based approach to fault detection of dynamic systems, which is robust to unmodeled dynamics. A “Quasi-ARMAX model᾿ is first proposed for describing nonlinear systems by incorporating a group of certain nonlinear structures into a linear ARMAX structure. The model can be used for a best linear approximation of the system, as well as for the estimation of resulting unmodeled dynamics, by a hierarchical implementation of recursive identification. Then robust fault detection is performed based on thresholding approach using Kullback discrimination information as fault detection index, in which the estimated unmodeled dynamics is incorporated.

关键词： Dynamic systems fault detection Kullback discrimination information modeling errors nonlinear systems robust performance

来源：评论

学校读者我要写书评

暂无评论

Fault Detection of Nonlinear Systems by Using Hybrid Quasi-ARMAX Models

引用

IFAC Proceedings Volumes 1997年第18期30卷 1125-1130页

作者： K. Kumamaru J. Hu K. Inoue T. Söderström Department of Control Engineering and Science Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka 820 Fukuoka Japan. Department of Automatic Control and Systems Analysis Institute of Technology Uppsala University P.O.Box 27 Uppsala Sweden

This research is concerned with fault detection of nonlinear systems using Kullback discrimination information (KDI) as an index. A hybrid quasi-ARMAX model is proposed, which combines a linear ARMAX model and a multi-ARX-model based on interpolation. In the case where the faults occur on the ARMAX model part, a KDI-based "robust" fault detection is performed, in which multi-ARX-model part is treated as error due to nonlinear undermodeling. In other cases, the model is transformed into several local ARMAX models and fault detection is performed by using the KDI to discriminate each identified local model. In this paper, we mainly concentrate our discussion on the latter cases.

关键词： Nonlinear systems dynamic systems fault detection Kullback discrimination information quasi-ARMAX modeling local model

来源：评论

学校读者我要写书评

暂无评论

On information processing capacity of anti-aircraft tactic command and control systems

On information processing capacity of anti-aircraft tactic c...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Jiacun Wang M. Zhou Department of Automatic Control Nanjing University of Science and Technology of PLA Nanjing China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA

A powerful method for the modeling of the task processing of anti-aircraft tactic command and control systems (AATCCS) via stochastic Petri net (SPN) tool is proposed and discussed. The principle of the analysis of task processing capacity for a discrete event system based on SPN model is established. The task processing model of a generic typical anti-aircraft tactic C2 systems with two-level command centers is built, and the procedure to the analysis of the maximum information processing capacity of the systems is developed. The method and results show their promise in their applications to real C2 system design.

关键词： Information processing Command and control systems Radar Power system modeling Information analysis Stochastic systems Petri nets Flowcharts Decision making Discrete event systems

来源：评论

学校读者我要写书评

暂无评论

Uniting local and global controllers for the Caltech ducted fan

Uniting local and global controllers for the Caltech ducted ...

引用

American control Conference (ACC)

作者： A.R. Teel O.E. Kaiser R.M. Murray Electrical Engineering Department University of Minnesota Minneapolis MN USA ETH Zürich Automatic Control Laboratory Zurich Switzerland Engineering and Applied Science California Institute of Technology Pasadena CA USA

Caltech's ducted fan experiment is used as a case study to investigate the properties of an algorithm for uniting local and global controllers proposed by Teel et al. (1997). To simplify the control design process and to illustrate robustness, the ducted fan is modeled as a linear system with input rate limits. The local controller is an (fairly aggressive) LQR state feedback while the (semi-) global controller is a much less aggressive LQR state feedback. Closed-loop simulation results are provided using a fully nonlinear model of the ducted fan derived from wind tunnel data. Experimental results are also provided using the actual Caltech ducted fan.

关键词： Linear systems control design State feedback control systems automatic control Aerospace control Engines Laboratories Algorithm design and analysis Degradation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：