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

Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)最新文献

筛选
英文 中文
Algebraic software analysis and embedded simulation of a driving robot 驱动机器人的代数软件分析与嵌入式仿真
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1357985
L. Merkx, P. Cuijpers, H. Duringhof
{"title":"Algebraic software analysis and embedded simulation of a driving robot","authors":"L. Merkx, P. Cuijpers, H. Duringhof","doi":"10.1145/1357910.1357985","DOIUrl":"https://doi.org/10.1145/1357910.1357985","url":null,"abstract":"At TNO Automotive the Generic Driving Actuator (GDA) is developed. The GDA is a device capable of driving a vehicle fully automatically using the same interface as a human driver does. In this paper, the design of the GDA is discussed. The software and hardware of the GDA and its effect on vehicle behaviour are analyzed from a safety point of view. The hardware design of the GDA is adapted to achieve an acceptable level of fault tolerance. The software is designed and verified using formal methods and finally, a simulation model is built in Simulink to design a strategy to maintain safety during component failures and emergencies.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"28 1","pages":"473-480"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75310625","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
Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design 编译了用于硬件/软件协同设计中代码划分和ip合成的低级虚拟指令集仿真和分析
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1358025
Carsten Gremzow
{"title":"Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design","authors":"Carsten Gremzow","doi":"10.1145/1357910.1358025","DOIUrl":"https://doi.org/10.1145/1357910.1358025","url":null,"abstract":"We present ongoing work and first results in static and detailed quantitative runtime analysis of LLVM byte code for the purpose of automatic procedural level partitioning and co-synthesis of complex software systems. Runtime behaviour is captured by reverse compilation of LLVM bytecode into augmented, self-profiling ANSI-C simulator programs retaining the LLVM instruction level. The actual global data flow is captured both in quantity and value range to guide function unit layout in the synthesis of application specific processors. Currently the implemented tool LLILA (Low Level Intermediate Language Analyzer) focuses on static code analysis on the inter-procedural data flow via e.g. function parameters and global variables to uncover a program's potential paths of data exchange.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"45 Suppl 3 1","pages":"741-748"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77583740","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
USE_eNET transatlantic e-learning network: follow-up report USE_eNET跨大西洋电子学习网络:后续报告
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1358128
D. Möller, H. Vakilzadian, R. Crosbie
{"title":"USE_eNET transatlantic e-learning network: follow-up report","authors":"D. Möller, H. Vakilzadian, R. Crosbie","doi":"10.1145/1357910.1358128","DOIUrl":"https://doi.org/10.1145/1357910.1358128","url":null,"abstract":"USE-eNET is a transatlantic complementary activity project funded by the European Commission DG XII Unit 6 and the U.S. Department of Education Fund for the Improvement of Postsecondary Education (FIPSE). The idea for USE-eNET arises from experiences with USE-ME (United States -- Europe Multicultural Alliance in Computer Science and Engineering), a 2001--2004 EC-U.S. transatlantic implementation project, in which a consortium of 3 European (Glasgow, Hamburg, Vienna) and 3 U.S. (Chico, Lincoln, ODU Norfolk) universities aimed to develop an international graduate program in modeling and simulation (M&S). M&S programs pose particular problems because of their widely interdisciplinary nature, with no single disciplinary home in traditional university departments. Furthermore, they depend on a wide range of expertise not normally found on a single university campus. USE-ME concentrated mainly on transatlantic exchanges of students for full semesters. In reviewing the experience with USE-ME the participants recognised that sustaining the program would require other modalities for course delivery and student exchange and interaction. These include the use of innovative e-learning techniques that harness the power of simulation technology to provide on-line team projects that involve students on both sides of the Atlantic. They also realized that the challenge of sustaining the USE-ME program is indicative of a much broader range of problems.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"7 1","pages":"22"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75948488","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
From a multi-agent simulation theory to GALATEA 从多智能体仿真理论到GALATEA
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1358054
Jacinto A. Dávila, M. Uzcategui, K. Tucci
{"title":"From a multi-agent simulation theory to GALATEA","authors":"Jacinto A. Dávila, M. Uzcategui, K. Tucci","doi":"10.1145/1357910.1358054","DOIUrl":"https://doi.org/10.1145/1357910.1358054","url":null,"abstract":"This paper discusses a simulation theory with learning agents which is serving as a formal specification to guide the development of GALATEA, a multi-agent simulation platform. We have extended an existing simulation language: GLIDER, with abstractions to model systems where autonomous entities (agents) perceive and act upon their environments. We are now applying it to the study of multi-agent systems. In particular, an implementation on Biocomplexity [1] is briefly discussed in the paper. We also show how an Inductive Logic Programming system can be used to learn rules in a representation very close to the one used to guide the simulation in the biocomplex system. This establishes the feasibility of embedding (resource-bounded) learners as agents that take part in simulating a complex system, as defined by the theory.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"1 1","pages":"923-930"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73583098","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
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets PDEVS中的冲突管理:时间petri网的建模和仿真经验
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1357966
F. Cicirelli, A. Furfaro, L. Nigro
{"title":"Conflict management in PDEVS: an experience in modelling and simulation of time petri nets","authors":"F. Cicirelli, A. Furfaro, L. Nigro","doi":"10.1145/1357910.1357966","DOIUrl":"https://doi.org/10.1145/1357910.1357966","url":null,"abstract":"PDEVS (Parallel DEVS) is a well-known formalism for the specification of complex concurrent systems organized as an interconnection of atomic and coupled interacting components. The abstract simulator of a PDEVS model is normally founded on the assumption of maximal parallelism: multiple components are allowed to undertake at the same time an independent state transition. This paper argues that the hypothesis of maximal parallelism does not allow PDEVS to adequately model and simulate systems where simultaneous state transitions are conflicting to one another. As an example, an original PDEVS model of Merlin and Farber Time Petri Nets is proposed. The realization owes to ActorDEVS, a lean and efficient PDEVS M&S framework in Java, which enables the simulation control structure to be customized. The accomplished experience suggests that some points in the formal definition of PDEVS should possibly be adapted in order to widen the applicability of the language.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"10 3","pages":"349-356"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72569054","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}
引用次数: 8
An intelligent floor field cellular automation model for pedestrian dynamics 行人动力学的智能层场元胞自动化模型
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1358127
E. Kirik, Tat'yana Yurgel'yan, Dmitriy Krouglov
{"title":"An intelligent floor field cellular automation model for pedestrian dynamics","authors":"E. Kirik, Tat'yana Yurgel'yan, Dmitriy Krouglov","doi":"10.1145/1357910.1358127","DOIUrl":"https://doi.org/10.1145/1357910.1358127","url":null,"abstract":"A stochastic cellular automation (CA) model for pedestrian dynamics is presented. Our goal is to simulate different types of pedestrian movement, from regular to panic. But here we emphasize regular situations which imply that pedestrians analyze environment and choose their route more carefully. And transition probabilities have to depict such effect. The potentials of floor fields [5] and environment analysis [4] are combined in the model obtained. Model parameters adaptivity and modelling of people patience are included in the model. These things make simulation of pedestrians movement more realistic. Some simulation results are presented and comparison with basic model (FF-model [5]) is made.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"13 1","pages":"21"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73690942","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}
引用次数: 17
Open-end winding induction motor driven with indirect matrix converter for common-mode elimination 采用间接矩阵变换器驱动的开放式绕组感应电动机，用于共模消除
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1357927
K. K. Mohapatra, N. Mohan
{"title":"Open-end winding induction motor driven with indirect matrix converter for common-mode elimination","authors":"K. K. Mohapatra, N. Mohan","doi":"10.1145/1357910.1357927","DOIUrl":"https://doi.org/10.1145/1357910.1357927","url":null,"abstract":"In this article a novel scheme using matrix converter is proposed for control of three phase machines. The analysis shows that the scheme has several benefits. By eliminating the common mode voltage from the three phases of the machine the motor bearing current is entirely removed. The maximum insulation stress in the motor winding is limited to the peak value of input phase voltage. The power factor at the utility end is controllable. By using matrix converters for power conversion bulky capacitors are eliminated from the drive.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"25 1","pages":"106-111"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74109905","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
Analyzing a drum-buffer-rope scheduling system executability through simulation 通过仿真分析了卷筒-缓冲-绳索调度系统的可执行性
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1358103
Servet Hasgül, Zuhal Kartal
{"title":"Analyzing a drum-buffer-rope scheduling system executability through simulation","authors":"Servet Hasgül, Zuhal Kartal","doi":"10.1145/1357910.1358103","DOIUrl":"https://doi.org/10.1145/1357910.1358103","url":null,"abstract":"This study was carried out in a plastic workshop of a refrigerator factory to solve problems of excessive work in process. In order to provide synchronous manufacturing between Capacity Constrained Resources (CCR) and non-Capacity Constraint Resources (non-CCR), an approach was developed based on the Drum-Buffer-Rope (DBR) scheduling system, which was intended for solving problems such as this. The approach was based on a heuristic that integrates Wagner-Whitin's algorithm and finite loading method to determine optimum lot sizes for non-CCR machine's material release schedule. A simulation model was used to analyze whether an improved scheduling approach was appropriate or not. An experimental study was also conducted to determine the time buffers.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"1008 1","pages":"1243-1249"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77617935","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
Domain driven simulation modeling for software design 面向软件设计的领域驱动仿真建模
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1357958
Andrew E. Ferayorni, H. Sarjoughian
{"title":"Domain driven simulation modeling for software design","authors":"Andrew E. Ferayorni, H. Sarjoughian","doi":"10.1145/1357910.1357958","DOIUrl":"https://doi.org/10.1145/1357910.1357958","url":null,"abstract":"System-theoretic modeling and simulation frameworks such as Object-Oriented Discrete-event System Specification (OO-DEVS) are commonly used for simulating complex systems, but they do not account for domain knowledge. In contrast, Model-Driven Design environments like Rhapsody support capturing domain-specific software design, but offer limited support for simulation. In this paper we describe the use of domain knowledge in empowering simulation environments to support domain-specific modeling. We show how software design pattern abstractions extend the domain-neutral simulation modeling. We applied Composite, Facade, and Observer patterns to an astronomical observatory (AO) command and control system and developed domain-specific simulation models for the system using DEVSJAVA, a realization of OO-DEVS. This approach is exemplified with simulation models developed based on an actual AO system.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"45 1","pages":"297-304"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82233399","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
Simulink based hardware-software codesign flow for heterogeneous MPSoC 基于Simulink的异构MPSoC软硬件协同设计流程
Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.) Pub Date : 2007-07-16 DOI: 10.1145/1357910.1357989
K. Popovici, A. Jerraya
{"title":"Simulink based hardware-software codesign flow for heterogeneous MPSoC","authors":"K. Popovici, A. Jerraya","doi":"10.1145/1357910.1357989","DOIUrl":"https://doi.org/10.1145/1357910.1357989","url":null,"abstract":"SystemC based design methodology has been widely adopted for heterogeneous multiprocessor System on Chip (MPSoC) design. However, SystemC is hardware-oriented language and it is not the standard language used by designers to specify complex applications at algorithm level. On the other hand, Simulink is a popular choice for algorithm designer to specify complex system, but there are few design tools to implement Simulink models on MPSoC. \u0000 \u0000To deal with the increasing complexity of embedded applications and MPSoC architectures, concurrent hardware/software design and verification at different abstraction levels is an essential technique. In this paper, we present a Simulink-SystemC based multiprocessor SoC design flow that enables mixed hardware/software refinement and simulation at different abstraction levels in addition to opening new facilities like communication mapping exploration and interconnection component refinement. We applied the proposed approach for software and communication architecture refinement for three multimedia applications: MP3, Motion JPEG and H.264.","PeriodicalId":91410,"journal":{"name":"Summer Computer Simulation Conference : (SCSC 2014) : 2014 Summer Simulation Multi-Conference : Monterey, California, USA, 6-10 July 2014. Summer Computer Simulation Conference (2014 : Monterey, Calif.)","volume":"140 1","pages":"497-504"},"PeriodicalIF":0.0,"publicationDate":"2007-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77084792","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}
引用次数: 13
首页 上一页
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学术官方微信