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

Specifying and Model Checking Distributed control algorithms at Meta-level

COMPUTER JOURNAL 2022年第12期65卷 2998-3019页

作者： Ha Thi Thu Doan Ogata, Kazuhiro Univ Freiburg Programming Languages Dept Georges Kohler Allee Geb 079 D-79110 Freiburg Germany Japan Adv Inst Sci & Technol Sch Informat Sci 1-1 Asahidai Nomi Ishikawa 9231292 Japan

This paper proposes an approach to the specification and model checking of a large, important class of distributed algorithms called control algorithms (CAs), which are superimposed on underlying distributed systems (UDSs). The approach is based on rewriting logic by moving from its object level to the meta-level. We introduce the idea of specifying CAs as meta-programs that take the specifications of UDSs and automatically generate the specifications of the UDSs on which the CAs are superimposed (UDS-CAs). Due to many options, such as network topologies, even fixing the number of each kind of entities, such as mobile support stations (MSSs) and mobile hosts (MHs) in a mobile checkpointing algorithm, there are many instances of a UDS. To address the problem, we generate all possible initial states of a UDS for a fixed number of each kind of entities such that some constraints, such as MSSs strongly connected with a wired network, are fulfilled and conduct model checking for each of the initial states. We demonstrate the usefulness by reporting on a case study where a counterexample is found for some specific initial states but not for the other initial states, detecting a subtle flaw lurking in a mobile checkpointing algorithm.

关键词： distributed algorithms control algorithms meta-programming formal specification model checking

来源：评论

学校读者我要写书评

暂无评论

Performance of fixed-parameter control algorithms on high-rise structures equipped with semi-active tuned mass dampers

引用

STRUCTURAL DESIGN OF TALL AND SPECIAL BUILDINGS 2016年第7期25卷 340-354页

作者： Demetriou, Demetris Nikitas, Nikolaos Tsavdaridis, Konstantinos Daniel Univ Leeds Sch Civil Engn Leeds W Yorkshire England

The present study investigates the performance of fixed parameter control algorithms on wind-excited high-rise structures equipped with semi-active tuned mass dampers of variable damping. It has been demonstrated that the algorithms that increase significantly the performance of the controlled structure do so at the expense of damper strokes. When the maximum damper strokes are capped to progressively lower limits, the efficacy of different algorithms, measured through a number of performance objectives, drastically alters totally changing the performance ranking of them and pointing out the need for an extensive study of the interplay between loading, control algorithm and allowable stroke within the design of semi-active tuned mass dampers devices. 2015 The Authors. The Structural Design of Tall and Special Buildings published by John Wiley & Sons Ltd.

关键词： vibration mitigation control algorithms wind engineering high-rise buildings

来源：评论

学校读者我要写书评

暂无评论

MICROCOMPUTER IMPLEMENTATION OF DIRECT DIGITAL control algorithms FOR THERMAL PROCESS-control APPLICATIONS

引用

JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND control-TRANSACTIONS OF THE ASME 1977年第4期99卷 233-240页

作者： JACOBS, D DONAGHEY, LF Materials and Molecular Research Division Lawrence Berkeley Laboratory and Department of Chemical Engineering University of California Berkeley Calif.

The implementation and performance of direct digital control algorithms in a microcomputer-based controller was studied in relation to the control of nonlinear thermal processes. Particular emphasis was given to discrete algorithms such as proportional-integral and finite time settling control algorithms. Experimental studies were carried out with a nonlinear diffusion furnace controlled by an Intel 8080-based microcomputer system, on which the control algorithms were implemented. The performance of different, modified, linear control algorithms were evaluated in thermal process control applications.

关键词： Process control control algorithms Diffusion (Physics) control equipment algorithms Furnaces

来源：评论

学校读者我要写书评

暂无评论

AN INTRODUCTION TO THE USE OF FUZZY-SETS IN THE IMPLEMENTATION OF control algorithms

引用

JOURNAL OF THE INSTITUTION OF ELECTRONIC AND RADIO ENGINEERS 1985年第10期55卷 357-367页

作者： SUTTON, R TOWILL, DR UWIST DEPT MECH ENGN & ENGN PRODCARDIFF CF1 3XEWALES

The purpose of this paper is to present to the reader who is unfamiliar with fuzzy set theory the basic concepts in a straightforward manner. Thus a tutorial approach is adopted in the explanation of these concepts. After describing fuzzy sets, it is shown how fuzzy logic can be used to develop a fuzzy control algorithm by means of the fuzzy conditional statement. In order to unify the ideas that are presented, a detailed description of the development of a fuzzy controller is discussed. Computer simulation results are shown of the fuzzy controller with heading error and yaw rate as input and rudder demand as output activating the non-linear yaw dynamics of a ship during course-changing manoeuvres. For the simulation ship study, the model was derived from full-scale sea trials on a Royal Navy frigate.

关键词： fuzzy set theory nonlinear yaw dynamics fuzzy sets control algorithms fuzzy controller course-changing manoeuvres Combinatorial mathematics heading error ships Royal Navy control system synthesis rudder demand fuzzy conditional statement frigate Marine system control fuzzy logic ship control system analysis and synthesis methods yaw rate

来源：评论

学校读者我要写书评

暂无评论

Petri net models of discrete logics used in control algorithms developed in ladder diagram language

引用

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY 2023年第7-8期124卷 2597-2612页

作者： Carlos Quezada, Jose Flores, Ernesto Banos, Esperanza Quezada, Victor Autonomous Univ Hidalgo State High Sch Tizayuca Km 2-5 Highway Tizayuca Pachuca Tizayuca 43800 Hidalgo Mexico

control algorithms for programmable logic controllers are still developed based on the experience of those responsible for control in the industry. The IEC-61131-3 standard considers five programming languages: Ladder Diagram, Structured Text, Function Block Diagram, Instruction List, and Sequential Function Diagram, which use different function blocks to develop control algorithms. Within the control algorithms for discrete event systems, there are two types of blocks: those with discrete inputs and outputs, and those with discrete and analog inputs and discrete output. Of the latter, the present research shows the analysis and formal model of the blocks including the problems of accumulation of tokens and the restoration of the coils. This proposal includes logical blocks of timers, counters, positive and negative transition detectors and bistable elements, which, together with the AND, OR, AND-OR, contact lock, auto-loop and Set-Reset logics, can be modeled and analyzed control algorithms with a greater degree of complexity. This guarantees the safety of workers as well as machines.

关键词： control algorithms Discrete event system Function block diagram language Ladder diagram language Petri nets Programmable logic controller Structured text language

来源：评论

学校读者我要写书评

暂无评论

Programmable Integrated Silicon Photonics Waveguide Meshes: Optimized Designs and control algorithms

引用

IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS 2020年第2期26卷 1页

作者： Lopez, Daniel Perez Univ Politecn Valencia Photon Res Labs Valencia 46022 Spain iPron Programmable Photon SL Valencia 46022 Spain

Programmable Integrated Photonics is a recent area of research that aims to integrate a very-large scale of reconfigurable photonic components to enable flexible and versatile photonic integrated circuits. In this paper, we review the state of the art of general-purpose waveguide mesh arrangements with a special focus on those that allow the synthesis of optical feedback loops. Moreover, we propose for the first time, a new design approach to generate waveguide mesh patterns with equally-oriented components. This innovation is of special relevance to improve performance and to mitigate one of the main scalability limitations, the integration density. The paper finalizes with an introduction to control algorithms for waveguide mesh arrangements based on derivative methods and non-derivative methods. These control methods provide a proof for the self-reconfiguration of large-scale waveguide mesh arrangements. In particular, we apply the computational optimization algorithms to program a hexagonal waveguide mesh to emulate a 1 x 8 beamforming network and an optical filter based on an unbalanced MZI design. All in all, the paper comprises recipes to achieve truly practical software-defined photonic integrated circuits.

关键词： Programmable photonics reconfigurable circuits signal processing integrated circuits control algorithms

来源：评论

学校读者我要写书评

暂无评论

EXPERIMENTAL COMPARISON AND APPLICATION OF VARIOUS PARAMETER-ADAPTIVE control algorithms

引用

AUTOMATICA 1980年第2期16卷 117-133页

作者： KURZ, H ISERMANN, R SCHUMANN, R TH DARMSTADT INST REGELUNGSTECHFACHGEBIET REGELSYSTD-6100 DARMSTADTFED REP GER

Various recursive parameter estimation algorithms and controller design procedures can be combined to build up parameter-adaptive control algorithms. Two parameter estimation methods and six control algorithms have been selected, taking into account good convergence properties and small computational expense and regarding the conditions for closed-loop identification. The resulting 12 parameter-adaptive control algorithms are compared and tested with a process computer in on-line operation with analog simulated stable and unstable processes for stochastic disturbances and step changes of the reference signal. The results are very promising. In many cases a good control performance is achieved. As a priori knowledge only the sampling time, the process model order and time delay and in some cases a weighting factor for the process input signal are required. Some parameter-adaptive control algorithms with good properties are applied to digital adaptive control of an air heater. Conclusions are given for the selection of parameter-adaptive control algorithms, depending on the type of process and its disturbances. The adaptive control algorithms may be applied for adaptive control of constant and time variant, linear and weakly non-linear stable and unstable processes with process computers or micro computers or for self-tuning of control algorithms or tuning of conventional analog PID controllers, if external disturbances act on the loop.

关键词： adaptive control computer control control algorithms digital control identifiability parameter estimation Process control

来源：评论

学校读者我要写书评

暂无评论

DIGITAL-control algorithms FOR MICROGRAVITY ISOLATION SYSTEMS

引用

JOURNAL OF VIBRATION AND ACOUSTICS-TRANSACTIONS OF THE ASME 1993年第3期115卷 256-263页

作者： SINHA, A WANG, YP Department of Mechanical Engineering The Pennsylvania State University University Park PA 16802

New digital control algorithms have been developed to achieve the desired transmissibility function for a microgravity isolation system. Two approaches have been presented for the controller design in the context of a single degree of freedom system for which an attractive electromagnet is used as the actuator. The relative displacement and the absolute acceleration of the mass have been used as feedback signals. The results from numerical studies are presented. It has been found that the resulting transmissibility is quite close to the desired function. Also, the maximum coil currents required by new algorithms are smaller than the maximum current demanded by the previously proposed lead/lag method.

关键词： Actuators Signals Electromagnets Displacement control algorithms Currents Design control equipment Feedback algorithms Degrees of freedom

来源：评论

学校读者我要写书评

暂无评论

Inverse kinematic control algorithms with a reduced coriolis component for use in motion simulators

引用

JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND control-TRANSACTIONS OF THE ASME 1995年第4期117卷 570-577页

作者： Repperger, DW Armstrong Laboratory AL/CFBS BLDG 29 2245 Third Street Wright-Patterson AFB OH 45433-7008

A motion simulator is studied within the framework of a multilink robotic manipulator and a class of inverse kinematic algorithms are investigated. Human subjects, for this motion simulator, sit at the end effector and are subjected to all relative motions of the respective links. From the perspective of the subject, one undesired artifact of this simulation occurs when Coriolis accelerations are induced at the end effector as a consequence of a coordinate frame moving relative to another moving frame. This paper adapts the inverse kinematic solution to those which have a minimum Coriolis component and can be used to control the motion simulator. A simple feedback control law is derived which, it turns out, has an additional interpretation as the solution of a related linear quadratic optimization problem.

关键词： End effectors Optimization Simulation control algorithms Kinematics Manipulators Feedback algorithms

来源：评论

学校读者我要写书评

暂无评论

A unified Hamiltonian approach for LQ and H_∞ preview control algorithms

引用

JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND control-TRANSACTIONS OF THE ASME 1999年第3期121卷 365-369页

作者： Mianzo, L Peng, H Visteon Asia Pacific Elect Dev Ctr Hiroshima Japan Dept Mech Engn & Appl Mech Ann Arbor MI 48109 USA

A framework for solving both the continuous and discrete-time Le and H-infinity preview control algorithms is presented in this paper. The tracking control of art automotive durability test rig is used as an applicati... 详细信息

关键词： Tracking control control algorithms Simulation results Durability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：