首页 > 最新文献

2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)最新文献

英文 中文
Architecting RAN Slicing for URLLC: Design Decisions and Open Issues 为URLLC构建RAN切片:设计决策和开放问题
Sergio Martiradonna, A. Abrardo, M. Moretti, G. Piro, G. Boggia
The Fifth Generation of mobile networks is emerging as a key enabler for Ultra Reliable and Low Latency Communications. However, to effectively design and provide safety-critical applications through mobile systems, many research issues still need to be deeply investigated. The most important ones include: (1) the dynamic and flexible management of radio resources of a new Radio Access Network jointly used by many virtual mobile operators, (2) the optimized and realtime configuration of network slices, and (3) the harmonious integration of Multi-access Edge Computing services. Starting from the efficient methodologies and solutions available in the current state of the art, this position paper sheds some important basis for the design of a comprehensive architecture enabling Radio Access Network slicing for Ultra Reliable and Low Latency Communications, including design criteria, system components and their baseline interactions, and critical open issues to be investigated in future research initiatives.
第五代移动网络正在成为超可靠和低延迟通信的关键推动者。然而,为了通过移动系统有效地设计和提供安全关键应用,许多研究问题仍需要深入研究。其中最重要的包括:(1)多虚拟移动运营商共同使用的新型无线接入网无线资源的动态灵活管理;(2)网络切片的优化实时配置;(3)多接入边缘计算业务的和谐融合。从目前最先进的有效方法和解决方案开始,本立场文件为实现超可靠和低延迟通信的无线接入网络切片的综合架构设计提供了一些重要基础,包括设计标准,系统组件及其基线交互,以及未来研究计划中要调查的关键开放问题。
{"title":"Architecting RAN Slicing for URLLC: Design Decisions and Open Issues","authors":"Sergio Martiradonna, A. Abrardo, M. Moretti, G. Piro, G. Boggia","doi":"10.1109/DS-RT47707.2019.8958689","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958689","url":null,"abstract":"The Fifth Generation of mobile networks is emerging as a key enabler for Ultra Reliable and Low Latency Communications. However, to effectively design and provide safety-critical applications through mobile systems, many research issues still need to be deeply investigated. The most important ones include: (1) the dynamic and flexible management of radio resources of a new Radio Access Network jointly used by many virtual mobile operators, (2) the optimized and realtime configuration of network slices, and (3) the harmonious integration of Multi-access Edge Computing services. Starting from the efficient methodologies and solutions available in the current state of the art, this position paper sheds some important basis for the design of a comprehensive architecture enabling Radio Access Network slicing for Ultra Reliable and Low Latency Communications, including design criteria, system components and their baseline interactions, and critical open issues to be investigated in future research initiatives.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130013834","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
Autobot: An Emulation Environment For Cellular Vehicular Communications 汽车人:蜂窝车辆通信的仿真环境
Quentin Ricard, P. Owezarski
The rising interest in Intelligent Transportation Systems shines light on a complex task: The evaluation of new applications and services that could prevent accident, regulate traffic, and help the automotive industry in designing energy efficient vehicles. These applications will rely on a new communication channel between vehicles, infrastructure and cloud services, and will have to operate under various network performances. However, testing applications and services in real-life networks is costly and reproducing network behaviour in a controlled environment is challenging. Furthermore, simulation tools lack real-time evaluation capabilities. Therefore, we present in this paper an environment for the real-time emulation of cellular vehicular communications. It allows the user to rapidly and cost efficiently implement and test applications under realistic mobile network performances.
人们对智能交通系统的兴趣日益浓厚,这让我们看到了一项复杂的任务:评估新的应用和服务,这些应用和服务可以防止事故,调节交通,并帮助汽车工业设计节能汽车。这些应用程序将依赖于车辆、基础设施和云服务之间的新通信渠道,并且必须在各种网络性能下运行。然而,在现实网络中测试应用程序和服务是昂贵的,而在受控环境中再现网络行为是具有挑战性的。此外,仿真工具缺乏实时评估能力。因此,本文提出了一种用于蜂窝车辆通信实时仿真的环境。它允许用户在真实的移动网络性能下快速、低成本地实现和测试应用程序。
{"title":"Autobot: An Emulation Environment For Cellular Vehicular Communications","authors":"Quentin Ricard, P. Owezarski","doi":"10.1109/DS-RT47707.2019.8958691","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958691","url":null,"abstract":"The rising interest in Intelligent Transportation Systems shines light on a complex task: The evaluation of new applications and services that could prevent accident, regulate traffic, and help the automotive industry in designing energy efficient vehicles. These applications will rely on a new communication channel between vehicles, infrastructure and cloud services, and will have to operate under various network performances. However, testing applications and services in real-life networks is costly and reproducing network behaviour in a controlled environment is challenging. Furthermore, simulation tools lack real-time evaluation capabilities. Therefore, we present in this paper an environment for the real-time emulation of cellular vehicular communications. It allows the user to rapidly and cost efficiently implement and test applications under realistic mobile network performances.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128966690","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
DS-RT 2019 Organizing Committee DS-RT 2019组委会
{"title":"DS-RT 2019 Organizing Committee","authors":"","doi":"10.1109/ds-rt47707.2019.8958667","DOIUrl":"https://doi.org/10.1109/ds-rt47707.2019.8958667","url":null,"abstract":"","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122987575","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
Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution 通过模型驱动的解决方案在基于hla的模拟中启用响应流
A. D’Ambrogio, A. Falcone, A. Garro, Andrea Giglio
Modern systems are exposing an ever increasing degree of complexity also due to the heterogeneity of the involved components. Distributed simulation is widely recognized as an effective tool to carry out verification and validation activities for heterogeneous and complex systems. Unfortunately, the use of distributed simulation frameworks and related implementation technologies require a proper modeling and simulation know-how, as well as a significant effort and software development skills. As a result, distributed simulation is not typically addressed by systems engineers who do not have the required expertise or background. The MONADS model-driven method has been introduced to overcome such limitations and provide systems engineers with the ability to properly carry out simulation-based verification and validation activities. The method specifically addresses the HLA (High Level Architecture) distributed simulation framework and introduces an automated approach to generate a significant portion of the HLA code from system models specified in SysML, the standard modeling language in the systems engineering field. The automatically obtained code is then to be finalized by a manual programming activity. This paper contributes to make easier and further reduce the effort of such a manual activity by integrating the reactive features of the RxHLA framework into the MONADS method. This integration enables the use of streams to effectively manage HLA-based asynchronous interactions. The paper describes the technical details of the various strategies that can be used to integrate RxHLA into the MONADS method, thus providing a significant degree of flexibility to MONADS users.
由于所涉及的组件的异质性,现代系统正暴露出日益增加的复杂性。分布式仿真被广泛认为是对异构和复杂系统进行验证和确认活动的有效工具。不幸的是,使用分布式仿真框架和相关的实现技术需要适当的建模和仿真知识,以及大量的工作和软件开发技能。因此,不具备所需专业知识或背景的系统工程师通常不会处理分布式仿真。MONADS模型驱动方法的引入克服了这些限制,并为系统工程师提供了正确执行基于仿真的验证和验证活动的能力。该方法专门针对HLA(高级体系结构)分布式仿真框架,并引入了一种自动化方法,从系统工程领域的标准建模语言SysML中指定的系统模型中生成重要部分的HLA代码。然后,自动获得的代码将通过手动编程活动最终确定。通过将RxHLA框架的响应性特性集成到MONADS方法中,本文有助于简化并进一步减少此类手动活动的工作量。这种集成允许使用流来有效地管理基于hla的异步交互。本文描述了可用于将RxHLA集成到MONADS方法中的各种策略的技术细节,从而为MONADS用户提供了很大程度的灵活性。
{"title":"Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution","authors":"A. D’Ambrogio, A. Falcone, A. Garro, Andrea Giglio","doi":"10.1109/DS-RT47707.2019.8958697","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958697","url":null,"abstract":"Modern systems are exposing an ever increasing degree of complexity also due to the heterogeneity of the involved components. Distributed simulation is widely recognized as an effective tool to carry out verification and validation activities for heterogeneous and complex systems. Unfortunately, the use of distributed simulation frameworks and related implementation technologies require a proper modeling and simulation know-how, as well as a significant effort and software development skills. As a result, distributed simulation is not typically addressed by systems engineers who do not have the required expertise or background. The MONADS model-driven method has been introduced to overcome such limitations and provide systems engineers with the ability to properly carry out simulation-based verification and validation activities. The method specifically addresses the HLA (High Level Architecture) distributed simulation framework and introduces an automated approach to generate a significant portion of the HLA code from system models specified in SysML, the standard modeling language in the systems engineering field. The automatically obtained code is then to be finalized by a manual programming activity. This paper contributes to make easier and further reduce the effort of such a manual activity by integrating the reactive features of the RxHLA framework into the MONADS method. This integration enables the use of streams to effectively manage HLA-based asynchronous interactions. The paper describes the technical details of the various strategies that can be used to integrate RxHLA into the MONADS method, thus providing a significant degree of flexibility to MONADS users.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"276 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134265075","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
A Randomized Low Latency Resource Sharing Algorithm for Fog Computing 一种用于雾计算的随机低延迟资源共享算法
R. Beraldi, Gabriele Proietti Mattia
In this paper, we propose and report a study of a low latency resource sharing protocol for Fog Computing. The protocol has its root in the power-of-random choices family of randomization protocol. The protocol, dubbed $LL_{g}(T)$ is designed to cope with a not homogeneous set of nodes and dealing with a communication latency comparable with the task execution, a characteristic of time-constrained applications supported by this service delivery model. The protocol allows to determine when a task can be moved from the origin fog node that receives the task to another node, where it can be executed faster. This task handoff is controlled via a threshold T. The remote node is selected uniformly at random.
本文提出并报告了一种用于雾计算的低延迟资源共享协议的研究。该协议的根源在于随机化协议的随机选择权家族。该协议被命名为$LL_{g}(T)$,旨在处理一组非同构的节点,并处理与任务执行相当的通信延迟,这是该服务交付模型支持的时间约束应用程序的一个特征。该协议允许确定何时可以将任务从接收任务的原始雾节点移动到另一个节点,以便更快地执行任务。该任务切换通过阈值t进行控制,远程节点随机均匀选择。
{"title":"A Randomized Low Latency Resource Sharing Algorithm for Fog Computing","authors":"R. Beraldi, Gabriele Proietti Mattia","doi":"10.1109/DS-RT47707.2019.8958709","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958709","url":null,"abstract":"In this paper, we propose and report a study of a low latency resource sharing protocol for Fog Computing. The protocol has its root in the power-of-random choices family of randomization protocol. The protocol, dubbed $LL_{g}(T)$ is designed to cope with a not homogeneous set of nodes and dealing with a communication latency comparable with the task execution, a characteristic of time-constrained applications supported by this service delivery model. The protocol allows to determine when a task can be moved from the origin fog node that receives the task to another node, where it can be executed faster. This task handoff is controlled via a threshold T. The remote node is selected uniformly at random.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129213727","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
Reliability and Availability Assessment in Practice 实践中的可靠性和可用性评估
K. Trivedi
High reliability and availability is a requirement for most technical systems. Reliability and availability assurance methods based on probabilistic models is the topic addressed in this talk. Non-statespace solution methods are often used to solve models based on reliability block diagrams, fault trees and reliability graphs. Relatively efficient algorithms are known to handle systems with hundreds of components and have been implemented in many software packages. Nevertheless, many practical problems cannot be handled by such algorithms. Bounding algorithms are then used in such cases as was done for a major subsystem of Boeing 787. Non-state-space methods derive their efficiency from the independence assumption that is often violated in practice. State space methods based on Markov chains, stochastic Petri nets, semi-Markov and Markov regenerative processes can be used to model various kinds of dependencies among system components. However, the resulting state space explosion severely restricts the size of the problem that can be solved. Hierarchical and fixed-point iterative methods provide a scalable alternative that combines the strengths of state space and non-state-space methods and have been extensively used to solve real-life problems. We will take a journey through these model types via interesting real-world examples chosen from IBM, Cisco, Sun Microsystems, and Boeing. These methods and applications are fully described in a recently completed book: Reliability and Availability Engineering: Modeling, Analysis and Applications, Cambridge University Press, 2017.
高可靠性和可用性是大多数技术系统的要求。基于概率模型的可靠性和可用性保证方法是本次演讲的主题。基于可靠性方框图、故障树和可靠性图的模型求解通常采用非状态空间求解方法。相对有效的算法可以处理包含数百个组件的系统,并且已经在许多软件包中实现。然而,许多实际问题不能用这样的算法来处理。然后将边界算法用于波音787主要子系统的情况。非状态空间方法的效率来源于在实践中经常被违背的独立性假设。基于马尔可夫链、随机Petri网、半马尔可夫和马尔可夫再生过程的状态空间方法可用于建模系统组件之间的各种依赖关系。然而,由此产生的状态空间爆炸严重限制了可解决问题的规模。分层和定点迭代方法提供了一种可扩展的替代方法,它结合了状态空间和非状态空间方法的优势,并已广泛用于解决现实问题。我们将通过从IBM、Cisco、Sun Microsystems和Boeing中选择的有趣的实际示例来了解这些模型类型。这些方法和应用在最近完成的一本书中有完整的描述:可靠性和可用性工程:建模,分析和应用,剑桥大学出版社,2017。
{"title":"Reliability and Availability Assessment in Practice","authors":"K. Trivedi","doi":"10.1109/ds-rt47707.2019.8958676","DOIUrl":"https://doi.org/10.1109/ds-rt47707.2019.8958676","url":null,"abstract":"High reliability and availability is a requirement for most technical systems. Reliability and availability assurance methods based on probabilistic models is the topic addressed in this talk. Non-statespace solution methods are often used to solve models based on reliability block diagrams, fault trees and reliability graphs. Relatively efficient algorithms are known to handle systems with hundreds of components and have been implemented in many software packages. Nevertheless, many practical problems cannot be handled by such algorithms. Bounding algorithms are then used in such cases as was done for a major subsystem of Boeing 787. Non-state-space methods derive their efficiency from the independence assumption that is often violated in practice. State space methods based on Markov chains, stochastic Petri nets, semi-Markov and Markov regenerative processes can be used to model various kinds of dependencies among system components. However, the resulting state space explosion severely restricts the size of the problem that can be solved. Hierarchical and fixed-point iterative methods provide a scalable alternative that combines the strengths of state space and non-state-space methods and have been extensively used to solve real-life problems. We will take a journey through these model types via interesting real-world examples chosen from IBM, Cisco, Sun Microsystems, and Boeing. These methods and applications are fully described in a recently completed book: Reliability and Availability Engineering: Modeling, Analysis and Applications, Cambridge University Press, 2017.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127919715","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 MEC-based Distributed Offloading Model for Ubiquitous and Time-constraint Offloading 基于mec的泛在时间约束分布式卸载模型
Shichao Guan, A. Boukerche
The advancements in mobile hardware and network technologies facilitate the processing power, storage capability, and connection quality. Such developments enable sophistic functions, ubiquitous power- and bandwidth-hungry applications that fundamentally changes the individual’s lifestyle. Although Cloud Computing technologies have already been leveraged to coordinate with the capability and battery-constraint mobile User Equipment (UE), the long-distance propagation delay downgrades the network QoS and user QoE. In this paper, we propose a queueing-based Mobile Edge Computing (MEC) model that concerns the offloading procedure, especially in the time-constraint scenarios. A queueing model is proposed for the offloading process, considering the dynamic network queueing delay. A heuristic scheduling model is designed to maximize the offloading energy and execution efficiency. A regression prediction model is implemented to achieve dynamic resource allocation. In the experiment, the proposed model is compared to the recent studies, and the results indicate that the proposed model can outperform the current studies in terms of execution time and energy reservation.
移动硬件和网络技术的进步促进了处理能力、存储能力和连接质量的提高。这样的发展使复杂的功能,无处不在的电力和带宽需求的应用程序,从根本上改变了个人的生活方式。尽管云计算技术已经被用于协调移动用户设备(UE)的性能和电池限制,但远程传播延迟降低了网络QoS和用户QoE。在本文中,我们提出了一个基于队列的移动边缘计算(MEC)模型,该模型关注卸载过程,特别是在时间约束场景下。考虑网络的动态排队延迟,提出了一种卸载过程的排队模型。设计了一种启发式调度模型,使卸载能量和执行效率最大化。采用回归预测模型实现资源的动态分配。在实验中,将所提模型与现有研究进行了比较,结果表明,所提模型在执行时间和能量保留方面优于现有研究。
{"title":"A MEC-based Distributed Offloading Model for Ubiquitous and Time-constraint Offloading","authors":"Shichao Guan, A. Boukerche","doi":"10.1109/DS-RT47707.2019.8958700","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958700","url":null,"abstract":"The advancements in mobile hardware and network technologies facilitate the processing power, storage capability, and connection quality. Such developments enable sophistic functions, ubiquitous power- and bandwidth-hungry applications that fundamentally changes the individual’s lifestyle. Although Cloud Computing technologies have already been leveraged to coordinate with the capability and battery-constraint mobile User Equipment (UE), the long-distance propagation delay downgrades the network QoS and user QoE. In this paper, we propose a queueing-based Mobile Edge Computing (MEC) model that concerns the offloading procedure, especially in the time-constraint scenarios. A queueing model is proposed for the offloading process, considering the dynamic network queueing delay. A heuristic scheduling model is designed to maximize the offloading energy and execution efficiency. A regression prediction model is implemented to achieve dynamic resource allocation. In the experiment, the proposed model is compared to the recent studies, and the results indicate that the proposed model can outperform the current studies in terms of execution time and energy reservation.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131685308","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
Home Energy Management Using Theatre With Hybrid Actors 使用混合演员剧院的家庭能源管理
F. Cicirelli, L. Nigro
Home Energy Management Systems (HEMSs) are devoted to monitoring and control the operation of domestic appliances in order to purposely shape the in-home energy consumption curves. A challenge in the design and implementation of a HEMS is to guarantee a proper coupling between the cyber discrete part of the system with the continuous modes of the physical environment in which the HEMS operates. This paper is concerned with the development of a HEMS by using the Theatre actor system. Theatre favors the construction of cyber-physical systems (CPSs) by exploiting a notion of hybrid actors. As a key feature, Theatre enables a same actor model to be exploited during the analysis, design, prototyping and implementation phases of a CPS. For analysis purposes, a Theatre model is reduced to UPPAAL hybrid timed automata for property assessment by statistical model checking.
家庭能源管理系统(hems)致力于监测和控制家用电器的运行,以有目的地塑造家庭能源消耗曲线。HEMS设计和实现的一个挑战是保证系统的网络离散部分与HEMS运行的物理环境的连续模式之间的适当耦合。本文研究的是利用戏剧演员系统开发HEMS系统。剧院倾向于通过利用混合演员的概念来构建网络物理系统(cps)。作为一个关键特性,Theatre允许在CPS的分析、设计、原型设计和实施阶段使用相同的演员模型。为了分析的目的,剧场模型被简化为UPPAAL混合时间自动机,通过统计模型检查进行属性评估。
{"title":"Home Energy Management Using Theatre With Hybrid Actors","authors":"F. Cicirelli, L. Nigro","doi":"10.1109/DS-RT47707.2019.8958695","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958695","url":null,"abstract":"Home Energy Management Systems (HEMSs) are devoted to monitoring and control the operation of domestic appliances in order to purposely shape the in-home energy consumption curves. A challenge in the design and implementation of a HEMS is to guarantee a proper coupling between the cyber discrete part of the system with the continuous modes of the physical environment in which the HEMS operates. This paper is concerned with the development of a HEMS by using the Theatre actor system. Theatre favors the construction of cyber-physical systems (CPSs) by exploiting a notion of hybrid actors. As a key feature, Theatre enables a same actor model to be exploited during the analysis, design, prototyping and implementation phases of a CPS. For analysis purposes, a Theatre model is reduced to UPPAAL hybrid timed automata for property assessment by statistical model checking.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131553038","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
Synthesization of High-Utility Patterns in Parallel Computing 并行计算中高效用模式的综合
Chun-Wei Lin, Yuanfa Li, Matin Pirouz, Linlin Tang, M. Voznák, L. Sevcik
High utility pattern mining (HUPM) has become a key issue in knowledge discovery since it provides retailers and managers with useful information for making decisions efficiently. However, previous studies most focused on mining the high-utility patterns (HUPs) from a single database. In this paper, we present a framework to incorporate the weighted model for parallel synthesis of the discovered HUPs from various databases. The pre-large concept was also used as a buffer here in order to provide more prospective HUPs, thus providing higher accuracy of the synthesized patterns. From our experiments, the developed model exceeds existing works, in particular the designed model has increased precision and recall on knowledge synthesization compared to the previous works.
高效用模式挖掘(HUPM)为零售商和管理者提供有效决策的有用信息,已成为知识发现领域的一个关键问题。然而,以往的研究大多侧重于从单个数据库中挖掘高效用模式(HUPs)。在本文中,我们提出了一个框架,将加权模型纳入从各种数据库中发现的hup的并行合成。pre-large概念在这里也被用作缓冲,以提供更多的前瞻性hup,从而提供更高的合成模式精度。从我们的实验来看,所开发的模型超越了现有的作品,特别是所设计的模型在知识综合的精度和召回率方面比以前的作品有了提高。
{"title":"Synthesization of High-Utility Patterns in Parallel Computing","authors":"Chun-Wei Lin, Yuanfa Li, Matin Pirouz, Linlin Tang, M. Voznák, L. Sevcik","doi":"10.1109/DS-RT47707.2019.8958680","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958680","url":null,"abstract":"High utility pattern mining (HUPM) has become a key issue in knowledge discovery since it provides retailers and managers with useful information for making decisions efficiently. However, previous studies most focused on mining the high-utility patterns (HUPs) from a single database. In this paper, we present a framework to incorporate the weighted model for parallel synthesis of the discovered HUPs from various databases. The pre-large concept was also used as a buffer here in order to provide more prospective HUPs, thus providing higher accuracy of the synthesized patterns. From our experiments, the developed model exceeds existing works, in particular the designed model has increased precision and recall on knowledge synthesization compared to the previous works.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130851092","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
Comparison of Road Traffic Simulation Speed on CPU and GPU CPU和GPU上道路交通仿真速度的比较
Daniel Rajf, T. Potuzak
In this paper, we describe a fair comparison of the performance of a microscopic road traffic simulation performed on a GPU and on a CPU. The aim of our work is to determine the speedup, which can be achieved if the GPU is used for the same simulation instead of the (multi-core) CPU. A microscopic road traffic simulator capable of running on both platforms was created for this purpose with the aim to make the GPU-based and the CPU-based simulations as similar as possible. The performances of both the GPU-based and the CPU-based simulations were tested using two different road traffic models (a car-following model and a cellular automaton model), four road traffic networks (regular square grids of crossroads) of different sizes, and three different hardware configurations. The maximal achieved speedup using the GPU instead of the multi-core CPU for the cellular automaton model was 12.4. For the car-following model, the maximal achieved speedup was 10.7.
在本文中,我们描述了在GPU和CPU上执行的微观道路交通模拟性能的公平比较。我们工作的目的是确定加速,如果使用GPU而不是(多核)CPU进行相同的模拟,则可以实现加速。为此,创建了一个能够在两个平台上运行的微观道路交通模拟器,目的是使基于gpu的模拟和基于cpu的模拟尽可能相似。采用两种不同的道路交通模型(车辆跟随模型和元胞自动机模型)、四种不同大小的道路交通网络(十字路口的规则方形网格)和三种不同的硬件配置,对基于gpu和cpu的仿真进行了性能测试。对于元胞自动机模型,使用GPU代替多核CPU实现的最大加速为12.4。对于汽车跟随模型,实现的最大加速为10.7。
{"title":"Comparison of Road Traffic Simulation Speed on CPU and GPU","authors":"Daniel Rajf, T. Potuzak","doi":"10.1109/DS-RT47707.2019.8958702","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958702","url":null,"abstract":"In this paper, we describe a fair comparison of the performance of a microscopic road traffic simulation performed on a GPU and on a CPU. The aim of our work is to determine the speedup, which can be achieved if the GPU is used for the same simulation instead of the (multi-core) CPU. A microscopic road traffic simulator capable of running on both platforms was created for this purpose with the aim to make the GPU-based and the CPU-based simulations as similar as possible. The performances of both the GPU-based and the CPU-based simulations were tested using two different road traffic models (a car-following model and a cellular automaton model), four road traffic networks (regular square grids of crossroads) of different sizes, and three different hardware configurations. The maximal achieved speedup using the GPU instead of the multi-core CPU for the cellular automaton model was 12.4. For the car-following model, the maximal achieved speedup was 10.7.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132290608","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
期刊
2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1