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

Qualification of proof assistants, checkers, and generators: Where are we and what next?

SCIENCE OF COMPUTER PROGRAMMING 2023年第1期226卷

作者： Gleirscher, Mario Sachtleben, Robert Peleska, Jan Univ Bremen Bibliothekstr 5 D-28359 Bremen Germany Verified Syst Int Fallturm 1 D-28359 Bremen Germany

Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a range of tools, some of which need to be qualified for this purpose according to international standards. In this article, we first evaluate the state of the art of tool qualification for proof assistants, checkers (e.g., model checkers), and generators (e.g., code generators, compilers) by means of a SWOT (Strengths, Weaknesses, Opportunities, Threats) analysis. Our focus is on the qualification of tools in the three mentioned categories. Our objective is to assess under which conditions these tools are already fit or could be made fit for use in the practical engineering and assurance of high-integrity control software. In a second step, we derive a viewpoint and a corresponding range of suggestions for improved tool qualification from the results of our SWOT analysis.2023 Published by Elsevier B.V.

关键词： Deductive verification Model checking Certified compilers Cyber-physical systems control software engineering

来源：评论

学校读者我要写书评

暂无评论

control software System of a Turbogas Power Unit

引用

IFAC Proceedings Volumes 1998年第4期31卷 131-136页

作者： Carlos D. García Raúl Garduño Department of Electronics CENIDET P.O. Box 5-164 Cuernavaca Mor. 62000 Mexico Department of Electrical Engineering Pennsylvania State University 104 EE East Building University Park PA 16802 USA

A third generation control software system for turbogas power units, in a series of modernization projects, is presented. Main objective was to reduce the complexity of its predecessors, to facilitate the integration of new control strategies to enhance the unit’s performance. The automation, control and protection functions performed by previous generations served as requirement specifications. Adaptation of a generalized functional structure for industrial process control in defining the control system software architecture became the project key point. Real-time structured design, and programming lead to the desired higher quality system. Successful integration of a fuzzy speed controller fulfilled the objective.

关键词： control software engineering structured analysis and design gas turbines fuzzy control

来源：评论

学校读者我要写书评

暂无评论

RASP and RSYST - Two Complementary Program Libraries for Concurrent control engineering

引用

IFAC Proceedings Volumes 1991年第4期24卷 101-106页

作者： G. Grübel H.-D. Joos DLR German Aerospace Research Establishment Institute for Flight Systems Dynamics D-8031 Oberpfqffenhofen Germany

RASP?) is a control engineering numerical subroutine library to support the simulation. analysis and design of dynamic systems by frequency-and time-domain methods as well as multi-criteria parameter optimization. Emphasis is on numerically reliable and well-conditioned problem solutions RSYST 3 ) is an engineering database system to support a modular integration of large engineering-science FORTRAN programs based on the concepts of abstract datatypes. Emphasis is on an efficient and flexible handling of complex engineering data objects. ANDECS* 4 ) is a Concurrent control engineering project. It is a “programmable control engineering tool machine” based on RASP and RSYST.

关键词： Concurrent engineering control Program Library control software engineering Evolutionary software engineering Databased control engineering

来源：评论

学校读者我要写书评

暂无评论

A New Display Analysis of control System Characteristics by Means of Computer Graphic Pattern

引用

IFAC Proceedings Volumes 1987年第5期20卷 9-14页

作者： O. Ono Department of Electrical Engineering Meiji University 1-1-1 Higashimita Tamaku Kawasaki 214 japan

This paper deals with a new display analysis about characteristics of feedback control systems. By using of computer graphics we construct colour patterns and three-dimensional characteristic diagrams newly. In addition, pole-zero placement and root locus of feedback control systems can be investigated by different points of view. The basic idea of this method is that each dot of colour CRT is assumed to be corresponding with a complex number. In this process there is no need to solve polynomial equation or characteristic equation which has been analyzed using numerical methods. First, complex plane is separated into four open subsets that are coloured respectively by testing signs of the real part and the imaginary one. The neighbourhoods of pole and zero on complex plane are characterized by these coloured subsets. In this way, a colour pattern is introduced on CRT display and it is possible to point approximately pole-zero placement and root locus of control system even though it has time lag. Several examples of colour patterns are shown in order to prove the effectiveness and usefulness for analyzing practical control systems. Lastly, it is suggested that the concept of positive real function is related to the expression considered here, and it can be expanded to three-dimensional display space.

关键词： control software engineering Application of computer graphics Colour pattern Pole-zero placement Root locus

来源：评论

学校读者我要写书评

暂无评论

Microprocessor Implementation of the Inverse Dynamical System for Industrial Robot control

引用

IFAC Proceedings Volumes 1987年第5期20卷 321-328页

作者： Shir-Kuan Lin Lehrstuhl für Fertigungsautomatisierung und Produktionssystematik University Erlangen-Nürnberg Egerlandstr 7 D-8520 Erlangen FRG

The inverse system problem of robot control is resurveyed. It is found, that the body-fixed coordinate system also plays an important role in computational efficiency of inverse dynamical formulations. The driving-axis coordinate system, whose origin locates on the driving axis of each link, is proposed to derive the recursive Newton-Euler formulation of manipulator inverse dynamics. The new algorithm with considering trivial calculations is implemented using the Assembly language on an INTEL 8086/8087 microprocessor (5 MHz clock). The measurement of computational efficiency shows that this software package marginally satisties the sampling rate criterion of robot control even with a 16-bit microprocessor

关键词： Manipulator dynamics microprocessor control software engineering inverse system nonlinear multivariable system

来源：评论

学校读者我要写书评

暂无评论

Reduced-Delay Compensation in Digital control Systems

引用

IFAC Proceedings Volumes 1987年第5期20卷 371-374页

作者： Y.A. Wu Northrop COrporation Electronics Division 2301 west 120th Street Hawthorne CA 90250 USA

A reduced-delay compensation technique is presented to reduce the phase lag caused by the zero-order-hold and transportation lag in digital control systems. Reducing the phase lag would allow a higher control bandwidth to be used in closed loop digital control systems that one could normally achieve. The developed digital compensation can be easily integrated with the original digital controller by means of simple software modifications

关键词： control software engineering reduced-delay compensation digital control systems ZOH and transportation lag inverse compensation techniques

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：