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

Fifth Annual Conference on AI, and Planning in High Autonomy Systems最新文献

筛选
英文 中文
Distributed simulation of DEVS-based multiformalism models 基于devs的多形式化模型的分布式仿真
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390489
H. Praehofer, Gernot Reisinger
{"title":"Distributed simulation of DEVS-based multiformalism models","authors":"H. Praehofer, Gernot Reisinger","doi":"10.1109/AIHAS.1994.390489","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390489","url":null,"abstract":"In this paper we introduce a new approach for parallel, distributed simulation of modular, hierarchical DEVS and DEVS-based combined discrete/continuous multiformalism models. The algorithm combines conservative and optimistic distributed simulation strategies and is able to optimally exploit lookahead capabilities of the model. The object oriented implementation in C++ is intended to serve as a powerful simulator in the STIMS modeling and simulation environment.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122821145","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}
引用次数: 20
Incorporating simulation-based models into planning systems 将基于仿真的模型纳入规划系统
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390493
Jin Joo Lee, P. Fishwick
{"title":"Incorporating simulation-based models into planning systems","authors":"Jin Joo Lee, P. Fishwick","doi":"10.1109/AIHAS.1994.390493","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390493","url":null,"abstract":"General-purpose planners have been proposed but few have shown to work effectively and efficiently enough for enough domains to be really called general purpose. A general-purpose planner that uses a single methodology is often too restrictive and therefore cannot plan effectively for all domains. As planning problems become more complicated, having multiagents of different types in dynamic environments, evaluating candidate plans and choosing the best plan becomes prohibitively complex if not impossible within a single methodology. To overcome this problem, we propose simulation-based planning where simulation is used to evaluate the candidate plans. By allowing appropriate simulation model types to accurately express each type of agent in the domain, the task of measuring the success and effects of each candidate plans is simplified and the resulting evaluation will be more accurate since plans are simulated using dynamic models. We describe an application along with the implementation of simulation-based planning in the domain of mission planning. Possible future experiments related to Soar are also discussed.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130877404","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
Verb phrase model specification via system entity structures 通过系统实体结构规范动词短语模型
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390473
R.J. Simard, B. Zeigler, J. Couretas
{"title":"Verb phrase model specification via system entity structures","authors":"R.J. Simard, B. Zeigler, J. Couretas","doi":"10.1109/AIHAS.1994.390473","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390473","url":null,"abstract":"In investigating front end model development, an environment is described that allows for model construction through pruning a domain specific system entity structure. The preformal stages of the model will be represented by a verb phrase. This representation is sufficiently derailed to serve as the basis for model construction and yet sufficiently \"soft\" to support knowledge acquisition during model construction. This paper establishes the adequacy of this representation.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116777665","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
Realtime data analysis for the Joint Theater Missile Defense Simulation Network (JTMDSN) 联合战区导弹防御仿真网络实时数据分析
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390497
M.D. Gray, C. K. Jones
{"title":"Realtime data analysis for the Joint Theater Missile Defense Simulation Network (JTMDSN)","authors":"M.D. Gray, C. K. Jones","doi":"10.1109/AIHAS.1994.390497","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390497","url":null,"abstract":"Real-time data collection and analysis processes have been designed and an initial capability is demonstrated for the July, 1994 JTMDSN test data. The JTMDSN is a one-year, distributed interactive simulation (DIS) demonstration sponsored by the Defense Modeling and Simulation Office (DMSO). The JTMDSN is built on past TACCSF and RESA DIS accomplishments such as their War Breaker support, to make two more major contributions to the DIS community. First Army, Navy, Air Force, and National Systems interfaced via tactical data links using signal Protocol Data Units (PDUs). Second, the data was collected online from PDUs and reduced to records of key events which could be used to display mission performance and network performance measures in real-time. This paper focuses on this data collection and analysis capability. The JTMDSN DIS Gateway, including the data collection process, was designed and developed by Martin Marietta Corporation. Data analysis processes are being developed by BDM Engineering Services Company.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122028279","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
Terrain modeling on high-fidelity ground vehicle simulators 高保真地面车辆模拟器的地形建模
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390501
Y. Papelis
{"title":"Terrain modeling on high-fidelity ground vehicle simulators","authors":"Y. Papelis","doi":"10.1109/AIHAS.1994.390501","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390501","url":null,"abstract":"Distributed interactive simulation (DIS) involves a large number of geographically dispersed operator-in-the-loop simulators interacting in the same virtual environment. Recently, the ability of DIS is being expanded to evaluate equipment performance for the purpose of design modification and eventually, acquisition. This requires use of simulators that model the behavior of ground vehicles or other such equipment with enough detail to extract useful data from the simulator. Terrain modeling and representation becomes a central issue due to the significance of properly modeling the ground to vehicle interaction. This paper discusses design issues associated with modeling terrain for high-fidelity ground vehicle simulators. Experiences have been drawn from research leading to the design and implementation of an arbitrary resolution terrain model in the Iowa Driving Simulator (IDS), a high-fidelity ground vehicle simulator that is being integrated in the DIS network.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122079290","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}
引用次数: 9
Variable DEVS-variable structure modeling formalism: an adaptive computer architecture application 可变devs -可变结构建模形式化:一种自适应计算机体系结构应用
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390474
F. Barros, M.T. Mendes, B. Zeigler
{"title":"Variable DEVS-variable structure modeling formalism: an adaptive computer architecture application","authors":"F. Barros, M.T. Mendes, B. Zeigler","doi":"10.1109/AIHAS.1994.390474","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390474","url":null,"abstract":"Conventional modeling theory gives support only for representing model behavior, providing little aid for describing changes in model structure. Some models are better represented by changes in their structure. Instead of forcing this changes to be represented at the simple behavioral level, a strong theoretical support is needed to allow the representation of structural changes in a natural way. We present a modeling methodology for representing variable structure systems. Examples of such systems include adaptive computer architectures, ecological systems, fault tolerating computers. We describe an application of this methodology to the modeling and simulation of an adaptive computer architecture.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123753148","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}
引用次数: 18
Expressing intratask parallelism in discrete event simulation models 离散事件仿真模型中任务内并行性的表达
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390505
A. Radiya
{"title":"Expressing intratask parallelism in discrete event simulation models","authors":"A. Radiya","doi":"10.1109/AIHAS.1994.390505","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390505","url":null,"abstract":"For parallel and distributed simulation, a model is usually defined to consist of independent tasks which synchronize by communicating time-stamped events/messages. In this paper, we define a discrete event simulation modeling paradigm which supports explicit expression of intratask parallelism, i.e., parallelism within a task. In this paradigm a task is defined by a set of rules whose actions are triggered based on multiple simultaneous event occurrences. New ways of expressing parallelism in a model emerges because (1) actions of multiple rules can be executed in parallel and (2) an action of a rule can be defined by data parallelism on parameter values of simultaneous event occurrences. The usefulness of the constructs of our paradigm is illustrated by an example.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129710744","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
An approach to object-oriented modeling and performance evaluation 一种面向对象的建模和性能评估方法
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390476
Lien-Pharn Chien, J. Rozenblit
{"title":"An approach to object-oriented modeling and performance evaluation","authors":"Lien-Pharn Chien, J. Rozenblit","doi":"10.1109/AIHAS.1994.390476","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390476","url":null,"abstract":"Diverse modeling and simulation tools are applied in extensive applications. The approaches used range from programming with a specific simulation description language to automation using an icon-driven user interface. The advantage in utilizing simulation is to assess the system's performance prior to an actual implementation. Functionality, maintainability, and expansibility are the primary criteria used to make a choice of a specific tool. To strengthen these criteria, a general-purpose environment called performance object-oriented modeling and simulation environment (POSE) has been developed. The objectives of POSE are to automatically construct simulation models for the systems to be designed, to efficiently define the system performance measures, and to accurately generate the performance data expected. The environment is briefly summarized and an application study for a multiprocessor computer system is presented.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"298 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127563359","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
Simulation as a tool for hybrid system design 仿真作为混合动力系统设计的工具
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390506
J. Lygeros, D. Godbole, S. Sastry
{"title":"Simulation as a tool for hybrid system design","authors":"J. Lygeros, D. Godbole, S. Sastry","doi":"10.1109/AIHAS.1994.390506","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390506","url":null,"abstract":"A case study of the use of simulation as a tool for design and validation of hybrid systems is presented. We use an intelligent vehicle highway systems (IVHS) architecture, a system that involves both continuous state and discrete event controllers as our example of a hierarchical hybrid system. We point out that even though analytical methods do not exist for verification of hybrid control system, a simulation tool can be useful to (in)validate that the hybrid system operates properly.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133763424","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
Traffic characterization of manned-simulators and computer generated forces in DIS exercises DIS演习中载人模拟器和计算机生成部队的交通特性
Fifth Annual Conference on AI, and Planning in High Autonomy Systems Pub Date : 1994-12-07 DOI: 10.1109/AIHAS.1994.390498
S. Cheung, M. Loper
{"title":"Traffic characterization of manned-simulators and computer generated forces in DIS exercises","authors":"S. Cheung, M. Loper","doi":"10.1109/AIHAS.1994.390498","DOIUrl":"https://doi.org/10.1109/AIHAS.1994.390498","url":null,"abstract":"Distributed interactive simulation (DIS) is an ambitious attempt to seamlessly integrate heterogeneous simulators of various fidelity levels via a communications network to allow them to interact in the same synthetic environment, by means of standardized messages, known as DIS Protocol Data Units (PDUs). DIS traffic analysis has various purposes, one of which is capacity planning. This can be done effectively by understanding the traffic patterns of entities under specific maneuvers and interaction. In this paper, we characterize the traffic from DIS entities generated from computer generated forces (CGF) and manned simulators, in two cases. We characterize this by the issue rate of entity state PDUs, which comprises over 90% of DIS traffic. Our analysis shows that entities from CGF have a uniform traffic pattern and can therefore be used to populate a DIS environment effectively, while being able to plan the bandwidth required to sustain these entities.<<ETX>>","PeriodicalId":339028,"journal":{"name":"Fifth Annual Conference on AI, and Planning in High Autonomy Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128625715","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学术官方微信