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

Annual Review in Automatic Programming最新文献

筛选
英文 中文
An architecture supporting real-time programming and implementations 支持实时编程和实现的体系结构
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 DOI: 10.1016/0066-4138(94)90025-6
S Mostert
{"title":"An architecture supporting real-time programming and implementations","authors":"S Mostert","doi":"10.1016/0066-4138(94)90025-6","DOIUrl":"https://doi.org/10.1016/0066-4138(94)90025-6","url":null,"abstract":"<div><p>This paper describes a real-time architecture based on a deadline driven dataflow machine and the hardware implementation of the architecture in the form of resource adequate Simple-processors (S-processors). The machine-level language and a high-level visual language are described, which enable implementation-detail-free programs to be written. The implementation of a real-time system on a resource adequate S-processor architecture requires no effort to be spent on schedulability analysis for temporal correctness.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 145-150"},"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)90025-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91958393","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
Integrating best effort and fixed priority scheduling 整合最佳努力和固定优先级调度
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 DOI: 10.1016/0066-4138(94)90009-4
N.C Audsley, A Burns, R.I Davis, A.J Wellings
{"title":"Integrating best effort and fixed priority scheduling","authors":"N.C Audsley,&nbsp;A Burns,&nbsp;R.I Davis,&nbsp;A.J Wellings","doi":"10.1016/0066-4138(94)90009-4","DOIUrl":"https://doi.org/10.1016/0066-4138(94)90009-4","url":null,"abstract":"<div><p>Adaptive and dynamic behaviour is seen as one of the key characteristics of next generation hard real-time systems. Whilst fixed priority pre-emptive scheduling is becoming a de facto standard in real-time system implementation, it remains inflexible in its purest form. One approach to countering this criticism is to allow optional components, not guaranteed offline, to be executed at run-time. Optional components may be guaranteed a minimum set of resources at run-time, with competing resource requests scheduled according to the best-effort approach. This allows increased dynamic behaviour and improves the utility of the system. In this paper, we discuss this integration of fixed priority and best-effort scheduling.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 45-50"},"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)90009-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91958397","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 Epub Date: 2003-06-17 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
Two proof methods for the GRAFCET language GRAFCET语言的两种证明方法
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 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
Identification of fuzzy rules from learning data 从学习数据中识别模糊规则
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 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
Requirements for a real-Time image processing language 对实时图像处理语言的要求
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 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
Transport protocol for real-time multimedia communication 用于实时多媒体通信的传输协议
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 DOI: 10.1016/0066-4138(94)90004-3
Jim M Ng, Norris T.C Yu
{"title":"Transport protocol for real-time multimedia communication","authors":"Jim M Ng,&nbsp;Norris T.C Yu","doi":"10.1016/0066-4138(94)90004-3","DOIUrl":"https://doi.org/10.1016/0066-4138(94)90004-3","url":null,"abstract":"<div><p>With the advancements in multimedia and networking technologies, many distributed multimedia applications have been developed recently. These new applications rely on the underlying network support to transmit the multimedia real-time data between sites. Multimedia Transport Protocol (MMTP) is an experimental protocol designed for transmission of various multimedia data. MMTP uses multiple priority queues to support different levels of service requirements, and it discards packets from the transmission queue to reduce the network loading, and to ensure packets transmitted will meet the real-time constraint required by the data streams.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 15-20"},"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)90004-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137288663","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
Real time planning in N-dim state space N-dim状态空间中的实时规划
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 DOI: 10.1016/0066-4138(94)90083-3
José Simó , Alfons Crespo
{"title":"Real time planning in N-dim state space","authors":"José Simó ,&nbsp;Alfons Crespo","doi":"10.1016/0066-4138(94)90083-3","DOIUrl":"https://doi.org/10.1016/0066-4138(94)90083-3","url":null,"abstract":"<div><p>This paper presents the actual work in real-time planning as search [1] [2]. Based in this work we tried to solve the path planning in numerical state space. We found that precision, performance, and time were very linked. In real-time problem solving, the agent can fall in traps made of forbidden zones and to go out it, have to spend too much computing time. To solve this problem we propose a multilayer inference based in subgoals computation. An architecture based in two agents, one for low level task with the maximum precision and other for subgoals computation is proposed here.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"19 ","pages":"Pages 307-312"},"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)90083-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91980579","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
BED: A multithreaded kernel for embedded systems BED:用于嵌入式系统的多线程内核
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 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
Learning task applied to identification of a marine vehicle 学习任务应用于识别海上车辆
Annual Review in Automatic Programming Pub Date : 1994-01-01 Epub Date: 2003-06-17 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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书