发布求助
文献互助 智能选刊 最新文献

Annual Review in Automatic Programming最新文献

筛选
英文 中文
Learning task applied to identification of a marine vehicle 学习任务应用于识别海上车辆
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90065-5
R.Ferreiro Garcia, J.Vidal Paz
{"title":"Learning task applied to identification of a marine vehicle","authors":"R.Ferreiro Garcia,&nbsp;J.Vidal Paz","doi":"10.1016/0066-4138(94)90065-5","DOIUrl":"10.1016/0066-4138(94)90065-5","url":null,"abstract":"<div><p>This paper describes a learning algorithm to be applied in process control techniques, covering several topics of control applications such as system identification, or process supervision in a simple and useful way which make the method reliable to be applied on industrial process control. Knowledge acquired by means of a proposed learning algorithm is stored into a DAM or FAM (deterministic or fuzzy associative memory) for finally be applied on model parameter mapping. With such mappings, it is possible to know if the process is being disturbed and the intensity of such excitation inputs when no variation exist in system parameters or it is also possible to know the variation of system parameters when all input forces (control force and disturbances) are known.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 197-201"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90065-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125371644","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Robust design of fuzzy controllers based on small gain conditions 基于小增益条件的模糊控制器鲁棒设计
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90042-6
A Espada, A Barreiro
{"title":"Robust design of fuzzy controllers based on small gain conditions","authors":"A Espada,&nbsp;A Barreiro","doi":"10.1016/0066-4138(94)90042-6","DOIUrl":"10.1016/0066-4138(94)90042-6","url":null,"abstract":"<div><p>In this paper, we study the robust stability problem for a feedback system with a fuzzy controller. The problem is treated using the Small-Gain and Conicity Criteria for nonlinear stability. Robustness is addressed in terms of multiplicative perturbations and stability margins. Compensator design is based on an initial set of rules (the previous design), reflecting an approximate formulation of the desired performance. The previous design is refined and modified to achieve a prescribed robustness margin. We impose in the design procedure that the required changes have to be as small as possible. In this way, the final solution is the better compromise between performance and robust stability. The redesign is based on inequalities on the fuzzy parameters (ouput centroids) that are derived from Small-Gain stability conditions. The proposed method has been successfully tested on the simulated model of an inverted pendulum.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 55-60"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90042-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123040892","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
MORSAF: a real-time assistant for the management of a petrochemical plant MORSAF:石化工厂管理的实时助手
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90088-4
E Pessi, E Bullo
{"title":"MORSAF: a real-time assistant for the management of a petrochemical plant","authors":"E Pessi,&nbsp;E Bullo","doi":"10.1016/0066-4138(94)90088-4","DOIUrl":"10.1016/0066-4138(94)90088-4","url":null,"abstract":"<div><p>MORSAF is a real-time expert system designed to assist the operator of the SARAS oil refinery in the daily management of the topping plant. The main functionality provided by MORSAF is fault diagnosis, which is performed by an algorithm which reasons upon the faulty behaviour of the topping process represented through causal networks. Moreover, a prevention reasoning module has been designed to detect any unexpected behaviour by monitoring a set of significant process variables. Finally, a prediction functionality has been integrated to allow the filtering of redundant pre-alarms.</p><p>Since MORSAF has been developed as the demonstrator for the REAKT Esprit projects, its architecture strongly depends on the one of the REAKT toolkit, which is based on the blackboard model of multi-agents co-operation.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 341-346"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90088-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125826329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
BED: A multithreaded kernel for embedded systems BED:用于嵌入式系统的多线程内核
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90023-X
P Burgess, M.J Livesey, C Allison
{"title":"BED: A multithreaded kernel for embedded systems","authors":"P Burgess,&nbsp;M.J Livesey,&nbsp;C Allison","doi":"10.1016/0066-4138(94)90023-X","DOIUrl":"10.1016/0066-4138(94)90023-X","url":null,"abstract":"<div><p>Embedded systems tend to be event driven. The BED kernel supports an event-action programming model for an embedded systems development environment called Testbed. The kernel features deterministic scheduling and message transfer services.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 133-138"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90023-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126923681","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Integrated acquisition, execution, evaluation, and tuning of elementary skills for intelligent robots 智能机器人基本技能的综合获取、执行、评估和调整
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90052-3
M Kaiser , A Giordana , M Nuttin
{"title":"Integrated acquisition, execution, evaluation, and tuning of elementary skills for intelligent robots","authors":"M Kaiser ,&nbsp;A Giordana ,&nbsp;M Nuttin","doi":"10.1016/0066-4138(94)90052-3","DOIUrl":"10.1016/0066-4138(94)90052-3","url":null,"abstract":"<div><p>This paper presents an approach to integrated acquistion, evaluation, tuning, and execution of elementary skills in order to ease programming and employment of robots. To allow the use of machine learning techniques as well as real-time execution of the skills, a twofold representation is developed. The individual learning tasks involved in the generation and maintenance of skills are identified and related to proper learning techniques. A programming environment and a low level architecture taking care of the different requirements during all phases of skill acquisition and execution are described.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 117-122"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90052-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120917522","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Real-time vision-based navigation and 3D depth estimation for an indoor autonomous mobile robot 基于实时视觉的室内自主移动机器人导航与三维深度估计
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90069-8
F Vázquez, E Paz, R Marín
{"title":"Real-time vision-based navigation and 3D depth estimation for an indoor autonomous mobile robot","authors":"F Vázquez,&nbsp;E Paz,&nbsp;R Marín","doi":"10.1016/0066-4138(94)90069-8","DOIUrl":"10.1016/0066-4138(94)90069-8","url":null,"abstract":"<div><p>A Transputer based artificial vision system that allows estimating a mobile robot's absolute position (navigation), it's motion parameters (egomotion) and a depth map of the sight of view is presented. Navigation is achieved by tracking expected features present in basic 3D CAD information of the environment. Egomotion and relative depth are estimated using optic flow calculated on closed contours of points in the scene presenting high spatio-temporal gradients and require no a-priori knowledge.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 221-226"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90069-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116653696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Identification of fuzzy rules from learning data 从学习数据中识别模糊规则
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90041-8
Bernd-Markus Pfeiffer
{"title":"Identification of fuzzy rules from learning data","authors":"Bernd-Markus Pfeiffer","doi":"10.1016/0066-4138(94)90041-8","DOIUrl":"10.1016/0066-4138(94)90041-8","url":null,"abstract":"<div><p>Fuzzy identification means to find a set of fuzzy if-then rules with well defined attributes, that can describe the given <span><math><mtext>I</mtext><mtext>O</mtext><mtext>-</mtext><mtext>behaviour</mtext></math></span> of a system. In the identification algorithm proposed here the subject of learning are the rule conclusions i.e. the membership functions of output attributes in form of singletons. For fixed input membership functions learning is shown to be a least squares optimization problem linear in the unknown parameters. Examples show applications of the algorithm to the linguistic formulation of a PI control strategy and to identification of a nonlinear time-discrete dynamic system.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 49-54"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90041-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114259484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Two proof methods for the GRAFCET language GRAFCET语言的两种证明方法
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90012-4
P Le Parc, B Queguineur, L Marcé
{"title":"Two proof methods for the GRAFCET language","authors":"P Le Parc,&nbsp;B Queguineur,&nbsp;L Marcé","doi":"10.1016/0066-4138(94)90012-4","DOIUrl":"https://doi.org/10.1016/0066-4138(94)90012-4","url":null,"abstract":"<div><p>In this paper, we present two different methods to make proofs on the GRAF-CET language. The first one is based on Transition Systems and the second one uses Polynomial Dynamical Systems. Theoretical and pratical aspects are presented.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 61-65"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90012-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137289167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hierarchical correctness verification in multiphase real-time software design 多阶段实时软件设计中的层次正确性验证
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90016-7
T Szmuc , P Szwed , J-J Schwarz , J Skubich
{"title":"Hierarchical correctness verification in multiphase real-time software design","authors":"T Szmuc ,&nbsp;P Szwed ,&nbsp;J-J Schwarz ,&nbsp;J Skubich","doi":"10.1016/0066-4138(94)90016-7","DOIUrl":"https://doi.org/10.1016/0066-4138(94)90016-7","url":null,"abstract":"<div><p>A hierarchical approach to correctness verification of real-time software specifications is presented. The verification is distributed into successive steps that correspond to the design phases. The three languages: Rule Charts, LACTATRE (graphical specification) and Communicating Real Time State Machines are used for specification of real-time software within corresponding abstraction levels. The correctness is defined as a coincidence of a system specified in a phase w.r.t. requirements established ing the previous phase. This correctness concept leads to an application of the relative correctness methods (developed in former works) for the verification. The approach is examined in Preliminary and Detailed Design phases for the verification of several types of properties: structure, functions and time constraints.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 87-94"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90016-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137289171","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Requirements for a real-Time image processing language 对实时图像处理语言的要求
Annual Review in Automatic Programming Pub Date : 1994-01-01 DOI: 10.1016/0066-4138(94)90030-2
P Laplante , T Marlowe , A Stoyenko
{"title":"Requirements for a real-Time image processing language","authors":"P Laplante ,&nbsp;T Marlowe ,&nbsp;A Stoyenko","doi":"10.1016/0066-4138(94)90030-2","DOIUrl":"https://doi.org/10.1016/0066-4138(94)90030-2","url":null,"abstract":"<div><p>In this paper we discuss issues in real-time image processing, including applications, approaches and hardware. In particular, we discuss the failure of existing programming languages to support these considerations and present requirements for any language that can support real-time image processing.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 175-180"},"PeriodicalIF":0.0,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90030-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137288657","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信