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

Int. J. Auton. Comput.最新文献

筛选
英文 中文
A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars 在使用图语法的协作活动中用于架构自适应的规则驱动方法
Int. J. Auton. Comput. Pub Date : 2010-05-01 DOI: 10.1504/IJAC.2010.033007
I. Rodriguez, K. Drira, C. Chassot, K. Guennoun, M. Jmaiel
{"title":"A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars","authors":"I. Rodriguez, K. Drira, C. Chassot, K. Guennoun, M. Jmaiel","doi":"10.1504/IJAC.2010.033007","DOIUrl":"https://doi.org/10.1504/IJAC.2010.033007","url":null,"abstract":"Architectural adaptation is important for handling self-configuring properties of autonomic distributed systems. It can be achieved by model-based management of dynamic architectures. Describing dynamic architectures includes defining rules for reconfiguration management. Within this research context, several works have been conducted using formal specification to handle this complexity. Graph and graph rewriting-based approaches showed, through many studies, their appropriateness to tackle architectural adaptation problems. However, scalability of such approaches remains an open issue and has been rarely explored. In this paper, we investigate this issue. We introduce a graph-based general approach for handling of dynamic architectures and we illustrate it within a scenario of collaboration support in crisis management systems. We elaborate the formal models for dynamic architecture management. Using the French Grid GRID5000, we conducted an experimental study to assess the scalability of the elaborated models.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123173975","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}
引用次数: 24
Automatic generation of XML-based editors for autonomic systems 为自治系统自动生成基于xml的编辑器
Int. J. Auton. Comput. Pub Date : 2010-05-01 DOI: 10.1504/IJAC.2010.033008
K. Barbar
{"title":"Automatic generation of XML-based editors for autonomic systems","authors":"K. Barbar","doi":"10.1504/IJAC.2010.033008","DOIUrl":"https://doi.org/10.1504/IJAC.2010.033008","url":null,"abstract":"Nowadays, autonomic systems are emerging as a promising computing approach which manages itself without external interactions in the case of context changing. Several works have dealt with the design and implementation of autonomic systems. However, few approaches pay attention to the autonomic behaviour of data-entry forms or graphical interfaces in autonomic architecture. In this work, we will introduce a generic autonomic system that is based on context and data-entry devices and generates DTDs which describe the relevant context and data-entries. We propose a DTD compiler based on attributed context-free grammar which automatically generates web forms or editors to capture data with respect to the predefined DTD. This contribution introduces a high-level grammar that supports all possible DTD interpretation by other languages like VB or Ajax or Java.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122482618","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
Online monitoring and visualisation of database structural deterioration 数据库结构恶化的在线监测和可视化
Int. J. Auton. Comput. Pub Date : 2010-05-01 DOI: 10.1504/IJAC.2010.033011
T. Hoshino, K. Goda, M. Kitsuregawa
{"title":"Online monitoring and visualisation of database structural deterioration","authors":"T. Hoshino, K. Goda, M. Kitsuregawa","doi":"10.1504/IJAC.2010.033011","DOIUrl":"https://doi.org/10.1504/IJAC.2010.033011","url":null,"abstract":"Structural deterioration of database is caused by updates of the database and can degrade performance seriously. Database reorganisation, which removes structural deterioration by relocating data in the secondary storage, is an administrator's headache; it is difficult to schedule reorganisation efficiently to keep acceptable performance because conventional database systems lack crucial monitoring facility of structural deterioration, with high resolution, high accuracy and low overhead. In order to make database reorganisation be easy for administrators and be autonomic in the future, the paper proposes an online database structure deterioration monitor, which can visualise structural deterioration distribution, with a novel structural deterioration model, a storage performance model and an incremental update technique. The experimental results with our prototype show that our scheme can monitor structural deterioration with an error of within 12% and with an overhead of 3% at most.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131954995","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
Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects 使用原型对象的离散事件系统的交互进化建模和仿真
Int. J. Auton. Comput. Pub Date : 2009-04-11 DOI: 10.1504/IJAC.2009.024744
V. Janousek, E. Kironsky
{"title":"Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects","authors":"V. Janousek, E. Kironsky","doi":"10.1504/IJAC.2009.024744","DOIUrl":"https://doi.org/10.1504/IJAC.2009.024744","url":null,"abstract":"In this paper, we describe an alternative approach to the traditional class-based approach of building simulation models using object-oriented languages. We use the Discrete EVent Systems specification (DEVS) formalism implemented by prototypical objects. The main reason why we use prototype-based object orientation for simulation modelling is the fact that it offers the level of flexibility that we need for interactive evolutionary modelling and simulation, which is used for simulation-based development of systems without exact specifications. We introduce a reflective framework model that constructs, inspects and edits the models specified using DEVS. The meta-object protocol of this framework allows the models to be constructed from scratch and inspected and edited during run-time. Interactive evolutionary modelling and simulation is supported by a visual tool set which has been highly influenced by the user interface of Self, an object-oriented language based on prototypical objects.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"290 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131734158","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
Using differential equations in electrical circuits' simulation 微分方程在电路仿真中的应用
Int. J. Auton. Comput. Pub Date : 2009-04-11 DOI: 10.1504/IJAC.2009.024750
Pavla Sehnalová, Vlastimil Kaluza, J. Kopriva, J. Kunovsky
{"title":"Using differential equations in electrical circuits' simulation","authors":"Pavla Sehnalová, Vlastimil Kaluza, J. Kopriva, J. Kunovsky","doi":"10.1504/IJAC.2009.024750","DOIUrl":"https://doi.org/10.1504/IJAC.2009.024750","url":null,"abstract":"Numerical methods for solving the system of linear algebraic equations as well as the system of differential equations have been known since the last century. Most numerical methods are very accurate and fast. However, some complicated problems can occur, such as stiff problems and bad-conditional equations, which could be computationally intensive. This paper describes the Modern Taylor Series Method for solving the system of algebraic equations using differential equations. The example of an electrical circuit with a parasitic capacity for demonstrating computational problems will be shown and the suggestion solution presented.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122628109","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
Real-time video stabilisation 实时视频稳定
Int. J. Auton. Comput. Pub Date : 2009-04-11 DOI: 10.1504/IJAC.2009.024751
M. Drahanský, F. Orság
{"title":"Real-time video stabilisation","authors":"M. Drahanský, F. Orság","doi":"10.1504/IJAC.2009.024751","DOIUrl":"https://doi.org/10.1504/IJAC.2009.024751","url":null,"abstract":"This paper deals with image stabilisation for video-based tracking systems. An introduction to image stabilisation is stated. A short description of known algorithms for image stabilisation follows, including our solution based on these methods with some optimisations. At the end, we represent a suitable hardware platform, which we developed and constructed and uses Digital Signal Processor (DSP), Field Programmable Gate Array (FPGA) and Synchronous Dynamic Random Access Memory (SDRAM). This device is under testing now.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125652348","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
A new Java tool for discrete simulation 一个新的Java离散仿真工具
Int. J. Auton. Comput. Pub Date : 2009-04-11 DOI: 10.1504/IJAC.2009.024747
Martina Drozdová, F. Zboril
{"title":"A new Java tool for discrete simulation","authors":"Martina Drozdová, F. Zboril","doi":"10.1504/IJAC.2009.024747","DOIUrl":"https://doi.org/10.1504/IJAC.2009.024747","url":null,"abstract":"The paper deals with a new tool for discrete system simulation called QS_PN_Simulation. This tool allows the easy creation of Queuing System (QS) models as Petri Net (PN) graphs. Simulation experiments with models can be done and the chosen statistical results of simulations can be obtained. The use of this system is demonstrated in the paper: the creation of a model of a chemical production system, simulation experiments with this model and the obtained results are presented here. The supposed extension of the proposed tool is then discussed in the conclusion of the paper.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116920290","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
Modelling intelligent agents for autonomic computing in the PNagent framework 在PNagent框架中为自主计算建模智能代理
Int. J. Auton. Comput. Pub Date : 2009-04-11 DOI: 10.1504/IJAC.2009.024745
Zdenek Mazal, R. Kocí, V. Janousek, F. Zboril
{"title":"Modelling intelligent agents for autonomic computing in the PNagent framework","authors":"Zdenek Mazal, R. Kocí, V. Janousek, F. Zboril","doi":"10.1504/IJAC.2009.024745","DOIUrl":"https://doi.org/10.1504/IJAC.2009.024745","url":null,"abstract":"Petri nets have proven to be a valuable tool for modelling concurrent systems. As such, they should be suitable for modelling agent and multi-agent systems, as these are inherently concurrent. Nevertheless, there are not many systems that allow the modelling of the whole multi-agent system in Petri nets. The use of Petri nets is usually limited to subproblems such as the verification of interaction protocols. This paper describes the main concepts of PNagent – a tool for modelling Believe-Desire-Intention (BDI) agents using the formalism of Object-Oriented Petri Nets (OOPN). PNagent allows for developing, testing and running software agents in a consistent graphical environment. The framework is suitable for prototyping and experiments with both multi-agent applications and the particular agent architecture itself. At the same time, thanks to the formal nature of its underlying paradigm, it provides the means to verify an agent's properties. Thanks to its consistent environment and the high-level nature of the used formalism, the framework is also suitable for incorporating the ideas of autonomic computing.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114490106","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
Framework for model-based design of multi-agent systems 基于模型的多智能体系统设计框架
Int. J. Auton. Comput. Pub Date : 2009-04-11 DOI: 10.1504/IJAC.2009.024746
F. Zboril, V. Janousek, R. Kocí, F. Zboril, Zdenek Mazal
{"title":"Framework for model-based design of multi-agent systems","authors":"F. Zboril, V. Janousek, R. Kocí, F. Zboril, Zdenek Mazal","doi":"10.1504/IJAC.2009.024746","DOIUrl":"https://doi.org/10.1504/IJAC.2009.024746","url":null,"abstract":"When developing a Multi-Agent System (MAS), we need, among others, to build agent architectures together with some decision algorithms and communication protocols. Before such systems are realised in a real world, we should sufficiently test and verify their behaviour. The presented text describes a new approach to building artificial agents and MASs using the methodology of model-based design. In this methodology some models are used for testing the behaviour of particular elements as well as for testing the behaviour of the system as a whole – in both cases by simulation. Our aim is to develop a tool that would allow model-based design of systems with artificial agents. For this reason we have been building an application called Tool for Multi-Agent System Simulation (T-Mass) which is aimed at model-based development. As a part of the tool we also developed a language called Agent Low-Level Language (ALLL), by which agents' behaviour is controlled.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131248187","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}
引用次数: 5
Grid-based map making using particle filters 基于网格的地图制作使用粒子过滤器
Int. J. Auton. Comput. Pub Date : 2009-04-11 DOI: 10.1504/IJAC.2009.024752
Jaroslav Rozman
{"title":"Grid-based map making using particle filters","authors":"Jaroslav Rozman","doi":"10.1504/IJAC.2009.024752","DOIUrl":"https://doi.org/10.1504/IJAC.2009.024752","url":null,"abstract":"One of the fundamental tasks in robotics is the creation of a map of the area where the robot is moving. The created map is used for its navigation in this environment. This task is called Simultaneous Localisation and Mapping (SLAM). There are many various algorithms for accomplishing this task, such as Kalman filters or particle filters. At present, mainly the particle filters are used. Together with grid-based maps, they allow the creation of the most precise and consistent maps.","PeriodicalId":374882,"journal":{"name":"Int. J. Auton. Comput.","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134163976","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}
引用次数: 4
首页 上一页 下一页 尾页
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学术官方微信
小红书