首页 > 最新文献

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing最新文献

英文 中文
Evaluating Weighted Round Robin Load Balancing for Cloud Web Services 评估云Web服务的加权轮询负载均衡
Weikun Wang, G. Casale
Weighted round robin load balancing is a common routing policy offered in cloud load balancers. However, there is a lack of effective mechanisms to decide the weights assigned to each server to achieve an overall optimal revenue of the system. In this paper, we first experimentally explore the relation between probabilistic routing and weighted round robin load balancing policies. From the experiment a similar behavior is found between these two policies, which makes it possible to assign the weights according to the routing probability estimated from queueing theoretic heuristic and optimization algorithms studied in the literature. We focus in particular on algorithms based on closed queueing networks for multi-class workloads, which can be used to describe application with service level agreements differentiated across users. We also compare the efficiency of queueing theoretic methods with simple heuristics that do not require to specify a stochastic model of the application. Results indicate that queueing theoretical algorithms yield significantly better results than routings proportional to the VM capacity with respect to throughput maximization.
加权轮循负载平衡是云负载平衡器中提供的一种常见路由策略。然而,缺乏有效的机制来决定分配给每个服务器的权重,以实现系统的整体最优收益。本文首先通过实验探讨了概率路由与加权轮询负载均衡策略之间的关系。从实验中发现,这两种策略之间具有相似的行为,这使得根据文献中研究的排队理论启发式算法和优化算法估计的路由概率来分配权重成为可能。我们特别关注基于多类工作负载的封闭队列网络的算法,该算法可用于描述具有不同用户的服务水平协议的应用程序。我们还比较了排队理论方法与不需要指定应用程序随机模型的简单启发式方法的效率。结果表明,在吞吐量最大化方面,排队理论算法比与VM容量成比例的路由产生明显更好的结果。
{"title":"Evaluating Weighted Round Robin Load Balancing for Cloud Web Services","authors":"Weikun Wang, G. Casale","doi":"10.1109/SYNASC.2014.59","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.59","url":null,"abstract":"Weighted round robin load balancing is a common routing policy offered in cloud load balancers. However, there is a lack of effective mechanisms to decide the weights assigned to each server to achieve an overall optimal revenue of the system. In this paper, we first experimentally explore the relation between probabilistic routing and weighted round robin load balancing policies. From the experiment a similar behavior is found between these two policies, which makes it possible to assign the weights according to the routing probability estimated from queueing theoretic heuristic and optimization algorithms studied in the literature. We focus in particular on algorithms based on closed queueing networks for multi-class workloads, which can be used to describe application with service level agreements differentiated across users. We also compare the efficiency of queueing theoretic methods with simple heuristics that do not require to specify a stochastic model of the application. Results indicate that queueing theoretical algorithms yield significantly better results than routings proportional to the VM capacity with respect to throughput maximization.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115134690","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}
引用次数: 48
Computing Homological Information Based on Directed Graphs within Discrete Objects 基于离散对象内有向图的同调信息计算
A. Gonzalez-Lorenzo, A. Bac, J. Mari, P. Real
N-dimensional discrete objects can be interpreted as cubical complexes which are suitable for the study of their homology groups in order to understand the original discrete object. The classic approach consists in computing the Normal Smith Form of some matrices associated to the cubical complex. Further approaches deal mainly with a pre-processing of the matrices in order to reduce their size. In this paper we propose a new approach, initially based on Discrete Morse Theory, which computes some homological information (Betti numbers and representative cycles) without calculating the Normal Smith Form. It works on any dimension, and it can also be applied to any kind of regular cell complex.
n维离散对象可以被解释为立方体复合体,适合于研究它们的同调群,以便理解原来的离散对象。经典的方法包括计算与立方复合体相关的一些矩阵的标准史密斯形式。进一步的方法主要是处理矩阵的预处理,以减少它们的大小。在本文中,我们提出了一种新的方法,该方法最初基于离散莫尔斯理论,计算一些同调信息(Betti数和代表性循环)而不计算标准史密斯形式。它适用于任何维度,也可以应用于任何类型的常规细胞复合体。
{"title":"Computing Homological Information Based on Directed Graphs within Discrete Objects","authors":"A. Gonzalez-Lorenzo, A. Bac, J. Mari, P. Real","doi":"10.1109/SYNASC.2014.82","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.82","url":null,"abstract":"N-dimensional discrete objects can be interpreted as cubical complexes which are suitable for the study of their homology groups in order to understand the original discrete object. The classic approach consists in computing the Normal Smith Form of some matrices associated to the cubical complex. Further approaches deal mainly with a pre-processing of the matrices in order to reduce their size. In this paper we propose a new approach, initially based on Discrete Morse Theory, which computes some homological information (Betti numbers and representative cycles) without calculating the Normal Smith Form. It works on any dimension, and it can also be applied to any kind of regular cell complex.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122267522","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
Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two Algorithms 压缩感知噪声鲁棒性的Lipschitz界:两种算法
Marc Nicodeme, C. Dossal, F. Turcu, Y. Berthoumieu
The paper deals with numerical estimations of Lipschitz bounds relating locally the reconstruction error to the measurement error in the compressive sensing framework. Most recent theoretical papers in the field parametrize such bounds relatively to certain families of vectors called dual certificates, which are fundamental to several reconstruction criteria. The paper provides two algorithms for computing dual certificates that optimize their related reconstruction error bounds. We give a greedy algorithm that provides a fast approximate solution, and a convex-projection algorithm that computes the exact optimum.
本文研究了压缩感知框架中重构误差与测量误差局部相关的Lipschitz界的数值估计。该领域最近的理论论文将这些边界相对于某些称为对偶证书的向量族进行参数化,对偶证书是几个重建准则的基础。本文提供了两种计算双证书的算法,优化了它们相关的重构错误边界。我们给出了一个贪婪算法,它提供了一个快速的近似解,和一个凸投影算法,计算精确的最优。
{"title":"Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two Algorithms","authors":"Marc Nicodeme, C. Dossal, F. Turcu, Y. Berthoumieu","doi":"10.1109/SYNASC.2014.19","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.19","url":null,"abstract":"The paper deals with numerical estimations of Lipschitz bounds relating locally the reconstruction error to the measurement error in the compressive sensing framework. Most recent theoretical papers in the field parametrize such bounds relatively to certain families of vectors called dual certificates, which are fundamental to several reconstruction criteria. The paper provides two algorithms for computing dual certificates that optimize their related reconstruction error bounds. We give a greedy algorithm that provides a fast approximate solution, and a convex-projection algorithm that computes the exact optimum.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115878486","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
Open and Interoperable Socio-technical Networks 开放和可互操作的社会技术网络
A. Ciortea, O. Boissier, Antoine Zimmermann, A. Florea
Developing applications across the physical-digital space requires the homogeneous interconnection of people, physical devices, services and various data sources as first-class entities of complex socio-technical systems. In this paper, we describe socio-technical networks (STNs) as the building blocks of a semantic, open and distributed Social Web of Things. We address the problem of enabling autonomous non-human agents as participants in an open set of STNs. Our approach is to provide agents with machine-readable descriptions of STNs, of operations required for participating in such systems, and of supported implementations for those operations. Towards this aim, we present the STN ontology and we illustrate its applicability. Even though the STN ontology is a work in progress, using the core concepts and properties described in this paper we are able to create concrete specifications of STN platforms. We discuss the positioning of this ontology with respect to several well-known and related vocabularies.
开发跨物理-数字空间的应用程序需要将人、物理设备、服务和各种数据源作为复杂社会技术系统的一流实体进行同质互连。在本文中,我们将社会技术网络(stn)描述为语义、开放和分布式的社会物联网的构建模块。我们解决了使自主的非人类代理作为开放stn集参与者的问题。我们的方法是为代理提供机器可读的stn描述、参与此类系统所需的操作以及支持这些操作的实现。为此,我们提出了STN本体,并说明了它的适用性。尽管STN本体仍在开发中,但使用本文中描述的核心概念和属性,我们能够创建STN平台的具体规范。我们根据几个众所周知的相关词汇来讨论这个本体的定位。
{"title":"Open and Interoperable Socio-technical Networks","authors":"A. Ciortea, O. Boissier, Antoine Zimmermann, A. Florea","doi":"10.1109/SYNASC.2014.41","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.41","url":null,"abstract":"Developing applications across the physical-digital space requires the homogeneous interconnection of people, physical devices, services and various data sources as first-class entities of complex socio-technical systems. In this paper, we describe socio-technical networks (STNs) as the building blocks of a semantic, open and distributed Social Web of Things. We address the problem of enabling autonomous non-human agents as participants in an open set of STNs. Our approach is to provide agents with machine-readable descriptions of STNs, of operations required for participating in such systems, and of supported implementations for those operations. Towards this aim, we present the STN ontology and we illustrate its applicability. Even though the STN ontology is a work in progress, using the core concepts and properties described in this paper we are able to create concrete specifications of STN platforms. We discuss the positioning of this ontology with respect to several well-known and related vocabularies.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"272 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122116462","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
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic 不动点算法中多项式求值目标相关程序的自动综合
C. Mouilleron, Amine Najahi, G. Revy
The design of both fast and numerically accurate programs is a real challenge. Thus, the CGPE tool was introduced to assist programmers in synthesizing fast and numerically certified codes in fixed-point arithmetic for the particular case of polynomial evaluation. For performance purposes, this tool produces programs using exclusively unsigned arithmetic and addition/subtraction or multiplication operations, thus requiring some constraints on the fixed-point operands. These choices are well-suited when dealing with the implementation of certain mathematical functions, however they prevent from tackling a broader class of polynomial evaluation problems. In this paper, we first expose a rigorous arithmetic model for CGPE that takes into account signed arithmetic. Then, in order to make the most out of advanced instructions, we enhance this tool with a multi-criteria instruction selection module. This allows us to optimize the generated codes according to different criteria, like operation count, evaluation latency, or accuracy. Finally, we illustrate this technique on operation count, and we show that it yields an average reduction of up to 22.3% of the number of operations in the synthesized codes of some functions. We also explicit practical examples to show the impact of using accuracy based rather than latency based instruction selection.
设计既快速又精确的程序是一个真正的挑战。因此,引入了CGPE工具,以帮助程序员在多项式求值的特殊情况下快速合成定点算法的数字认证代码。出于性能考虑,该工具生成的程序只使用无符号算术和加/减或乘操作,因此需要对定点操作数进行一些约束。当处理某些数学函数的实现时,这些选择非常适合,但是它们阻止处理更广泛的多项式求值问题。在本文中,我们首先公开了一个考虑有符号算法的严格的CGPE算法模型。然后,为了最大限度地利用高级指令,我们对该工具进行了多准则指令选择模块的增强。这允许我们根据不同的标准(如操作计数、计算延迟或准确性)优化生成的代码。最后,我们在操作计数上说明了这种技术,并且我们表明,在某些函数的合成代码中,它产生的操作数量平均减少了22.3%。我们还明确了一些实际的例子来展示使用基于准确性而不是基于延迟的指令选择的影响。
{"title":"Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic","authors":"C. Mouilleron, Amine Najahi, G. Revy","doi":"10.1109/SYNASC.2014.27","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.27","url":null,"abstract":"The design of both fast and numerically accurate programs is a real challenge. Thus, the CGPE tool was introduced to assist programmers in synthesizing fast and numerically certified codes in fixed-point arithmetic for the particular case of polynomial evaluation. For performance purposes, this tool produces programs using exclusively unsigned arithmetic and addition/subtraction or multiplication operations, thus requiring some constraints on the fixed-point operands. These choices are well-suited when dealing with the implementation of certain mathematical functions, however they prevent from tackling a broader class of polynomial evaluation problems. In this paper, we first expose a rigorous arithmetic model for CGPE that takes into account signed arithmetic. Then, in order to make the most out of advanced instructions, we enhance this tool with a multi-criteria instruction selection module. This allows us to optimize the generated codes according to different criteria, like operation count, evaluation latency, or accuracy. Finally, we illustrate this technique on operation count, and we show that it yields an average reduction of up to 22.3% of the number of operations in the synthesized codes of some functions. We also explicit practical examples to show the impact of using accuracy based rather than latency based instruction selection.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126254257","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
Reliable Management of Virtualized Resources Using Fault Trees 通过故障树实现虚拟化资源的可靠管理
A. Butoi, Alexandru-Ioan Stan, G. Silaghi
The new trends in distributed computing has changed the way we do computing when talking about cloud infrastructures or high-performance computing. Resource virtualization technologies enabled elasticity of resource provisioning and management through easy replication of virtual nodes or virtual machine migration. In order to provide high availability and reliability in such distributed environments where resources are managed and served in form of virtual machines, specific load balancing and fault strategies are needed. Based on fault tree analysis concepts, we propose a distributed and autonomous approach to manage faults using fault agents able to asses and predict for each virtualized node, its state of fault or future fault. Accordingly, each node can take a decision about accepting future jobs, delegate jobs to own replicated instances or start a live migration process as a second strategy for assuring availability and continuity of the service.
分布式计算的新趋势改变了我们在谈论云基础设施或高性能计算时进行计算的方式。资源虚拟化技术通过轻松复制虚拟节点或迁移虚拟机,实现了资源供应和管理的弹性。为了在这种以虚拟机的形式管理和服务资源的分布式环境中提供高可用性和可靠性,需要特定的负载平衡和故障策略。基于故障树分析的概念,我们提出了一种分布式和自治的故障管理方法,使用能够评估和预测每个虚拟化节点的故障状态或未来故障的故障代理来管理故障。因此,每个节点可以决定是否接受未来的作业,将作业委托给自己的复制实例,或者启动实时迁移过程,作为确保服务可用性和连续性的第二种策略。
{"title":"Reliable Management of Virtualized Resources Using Fault Trees","authors":"A. Butoi, Alexandru-Ioan Stan, G. Silaghi","doi":"10.1109/SYNASC.2014.49","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.49","url":null,"abstract":"The new trends in distributed computing has changed the way we do computing when talking about cloud infrastructures or high-performance computing. Resource virtualization technologies enabled elasticity of resource provisioning and management through easy replication of virtual nodes or virtual machine migration. In order to provide high availability and reliability in such distributed environments where resources are managed and served in form of virtual machines, specific load balancing and fault strategies are needed. Based on fault tree analysis concepts, we propose a distributed and autonomous approach to manage faults using fault agents able to asses and predict for each virtualized node, its state of fault or future fault. Accordingly, each node can take a decision about accepting future jobs, delegate jobs to own replicated instances or start a live migration process as a second strategy for assuring availability and continuity of the service.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127112247","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
Mining GPS Data to Learn Driver's Route Patterns 挖掘GPS数据学习驾驶员路线模式
E. Necula
Over the last few years, GPS guidance systems have become increasingly more popular. GPS-equipped devices like smart phones become more common and larger amounts of GPS data become available to geographic applications. Having precise information about the routes of a driver during a period of time can be useful to learn and estimate both the traffic and the driver's intent at specific moment of time. With our solution we want to go a step further to the existing GPS navigation systems by designing a mechanism that is capable to learn driver's routes. We could offer in the future a point-to-point concept for an environmentally friendly routing mechanism anywhere within a selected road network based on our HMM-method and a training process. Our study is based on real data collected from various local drivers and can be easily applied in modern intelligent traffic systems. The system comes with a user interface that displays the GPS routes on the map for a specific driver. These routes can be analyzed using parameters like time, distance, height and speed. Also we developed a tool that manages to compute the maximum-likelihood using the Viterbi algorithm in order to validate the next route segment election for a sampled road network.
在过去的几年里,GPS制导系统变得越来越流行。配备GPS的设备,如智能手机变得越来越普遍,地理应用程序可以获得大量的GPS数据。掌握驾驶员在一段时间内行驶路线的精确信息,有助于了解和估计特定时刻的交通状况和驾驶员的意图。通过我们的解决方案,我们希望通过设计一种能够学习驾驶员路线的机制,在现有GPS导航系统的基础上更进一步。在未来,我们可以根据我们的hmm方法和培训过程,在选定的道路网络中提供点对点的环保路由机制概念。我们的研究基于从各种本地司机那里收集的真实数据,可以很容易地应用于现代智能交通系统。该系统附带了一个用户界面,可以在地图上显示特定驾驶员的GPS路线。这些路线可以使用时间、距离、高度和速度等参数进行分析。此外,我们还开发了一个工具,可以使用Viterbi算法计算最大似然,以验证采样路网的下一个路线段选择。
{"title":"Mining GPS Data to Learn Driver's Route Patterns","authors":"E. Necula","doi":"10.1109/SYNASC.2014.43","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.43","url":null,"abstract":"Over the last few years, GPS guidance systems have become increasingly more popular. GPS-equipped devices like smart phones become more common and larger amounts of GPS data become available to geographic applications. Having precise information about the routes of a driver during a period of time can be useful to learn and estimate both the traffic and the driver's intent at specific moment of time. With our solution we want to go a step further to the existing GPS navigation systems by designing a mechanism that is capable to learn driver's routes. We could offer in the future a point-to-point concept for an environmentally friendly routing mechanism anywhere within a selected road network based on our HMM-method and a training process. Our study is based on real data collected from various local drivers and can be easily applied in modern intelligent traffic systems. The system comes with a user interface that displays the GPS routes on the map for a specific driver. These routes can be analyzed using parameters like time, distance, height and speed. Also we developed a tool that manages to compute the maximum-likelihood using the Viterbi algorithm in order to validate the next route segment election for a sampled road network.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126731719","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
Semantic Modeling of Information for Freight Transportation Broker 货运代理信息的语义建模
Lucian Luncean, C. Bǎdicǎ
In this paper we propose four ontologies for semantic modeling of information for Freight Transportation Exchanges and we discuss the relationships between them. They play an important role in semantic modeling of freight transportation entities and in supporting the development of agent-based semantic logistics services. This work complements our previous proposal of an agent system for brokering of freight transportation exchanges. It extends existing systems for online announcement of transportation opportunities with the provisioning of automated matchmaking services that facilitate the connection of the owners of goods with the freight transportation providers, as well as their appropriate contracting.
本文提出了货运交换信息语义建模的四种本体,并讨论了它们之间的关系。它们在货运实体的语义建模和支持基于代理的语义物流服务的发展方面发挥着重要作用。这项工作补充了我们先前提出的货运交换中介代理系统的建议。它扩展了现有的在线运输机会公告系统,提供自动配对服务,促进货物所有者与货运供应商之间的联系,以及他们适当的合同。
{"title":"Semantic Modeling of Information for Freight Transportation Broker","authors":"Lucian Luncean, C. Bǎdicǎ","doi":"10.1109/SYNASC.2014.76","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.76","url":null,"abstract":"In this paper we propose four ontologies for semantic modeling of information for Freight Transportation Exchanges and we discuss the relationships between them. They play an important role in semantic modeling of freight transportation entities and in supporting the development of agent-based semantic logistics services. This work complements our previous proposal of an agent system for brokering of freight transportation exchanges. It extends existing systems for online announcement of transportation opportunities with the provisioning of automated matchmaking services that facilitate the connection of the owners of goods with the freight transportation providers, as well as their appropriate contracting.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122411017","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
A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems IaaS云系统运行时管理的渐退地平线方法
D. Ardagna, M. Ciavotta, R. Lancellotti
Cloud Computing is emerging as a major trend in ICT industry. However, as with any new technology it raises new major challenges and one of them concerns the resource provisioning. Indeed, modern Cloud applications deal with a dynamic context and have to constantly adapt themselves in order to meet Quality of Service (QoS) requirements. This situation calls for advanced solutions designed to dynamically provide cloud resource with the aim of guaranteeing the QoS levels. This work presents a capacity allocation algorithm whose goal is to minimize the total execution cost, while satisfying some constraints on the average response time of Cloud based applications. We propose a receding horizon control technique, which can be employed to handle multiple classes of requests. We compare our solution with an oracle with perfect knowledge of the future and with a well-known heuristic described in the literature. The experimental results demonstrate that our solution outperforms the existing heuristic producing results very close to the optimal ones. Furthermore, a sensitivity analysis over two different time scales indicates that finer grained time scales are more appropriate for spiky workloads, whereas smooth traffic conditions are better handled by coarser grained time scales. Our analytical results are also validated through simulation, which shows also the impact on our solution of Cloud environment random perturbations.
云计算正在成为信息通信技术产业的一个主要趋势。然而,与任何新技术一样,它提出了新的主要挑战,其中之一涉及资源供应。实际上,现代云应用程序处理动态上下文,必须不断调整自身以满足服务质量(QoS)要求。这种情况需要高级解决方案来动态地提供云资源,以保证QoS级别。这项工作提出了一种容量分配算法,其目标是最小化总执行成本,同时满足基于云的应用程序对平均响应时间的一些限制。我们提出了一种后退水平控制技术,该技术可用于处理多类请求。我们将我们的解决方案与具有完美未来知识的oracle和文献中描述的著名启发式进行比较。实验结果表明,该方法优于现有的启发式算法,产生的结果非常接近最优解。此外,对两个不同时间尺度的敏感性分析表明,细粒度的时间尺度更适合于尖尖的工作负载,而粗粒度的时间尺度则可以更好地处理平稳的交通状况。通过仿真验证了我们的分析结果,也证明了云环境随机扰动对我们的解的影响。
{"title":"A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems","authors":"D. Ardagna, M. Ciavotta, R. Lancellotti","doi":"10.1109/SYNASC.2014.66","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.66","url":null,"abstract":"Cloud Computing is emerging as a major trend in ICT industry. However, as with any new technology it raises new major challenges and one of them concerns the resource provisioning. Indeed, modern Cloud applications deal with a dynamic context and have to constantly adapt themselves in order to meet Quality of Service (QoS) requirements. This situation calls for advanced solutions designed to dynamically provide cloud resource with the aim of guaranteeing the QoS levels. This work presents a capacity allocation algorithm whose goal is to minimize the total execution cost, while satisfying some constraints on the average response time of Cloud based applications. We propose a receding horizon control technique, which can be employed to handle multiple classes of requests. We compare our solution with an oracle with perfect knowledge of the future and with a well-known heuristic described in the literature. The experimental results demonstrate that our solution outperforms the existing heuristic producing results very close to the optimal ones. Furthermore, a sensitivity analysis over two different time scales indicates that finer grained time scales are more appropriate for spiky workloads, whereas smooth traffic conditions are better handled by coarser grained time scales. Our analytical results are also validated through simulation, which shows also the impact on our solution of Cloud environment random perturbations.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122823303","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}
引用次数: 16
A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based Models 一种用于模拟粒子模型的并行、分布式、高性能体系结构
A. Sabou, D. Gorgan
Particle-based models are widespread in the field of computer graphics and are mostly used in soft-body dynamics, for simulating surfaces such as cloth, fluids and biologic tissue. As model resolution and scenario complexity increases, the computation required for these particular applications becomes overwhelming for a single processing unit, especially when interactivity is required, thus parallelization must be employed in order to provide a fast, flexible and scalable simulation environment. High-performance computing architectures such as graphics clusters may provide the parallel computing and rendering power required, but the distributed and remote nature of the computation and rendering process introduce specific challenges that must be tackled. We propose a parallel, distributed, modular system architecture for a particle-based simulator on GPU clusters, encapsulating powerful parallel and distributed processing, distributed rendering and remote interaction techniques, for flexible, fast simulation of large models and complex scenarios. For validating and evaluating the proposed architecture, we perform a visual comparison of two largely used numeric integration methods, namely the explicit Velocity Verlet and implicit Euler integration techniques.
基于粒子的模型在计算机图形学领域广泛应用,主要用于软体动力学,用于模拟诸如布、流体和生物组织等表面。随着模型分辨率和场景复杂性的增加,这些特定应用程序所需的计算对于单个处理单元来说变得难以承受,特别是当需要交互性时,因此必须采用并行化以提供快速、灵活和可扩展的仿真环境。图形集群等高性能计算架构可以提供所需的并行计算和渲染能力,但是计算和渲染过程的分布式和远程特性引入了必须解决的特定挑战。我们提出了一个基于GPU集群的粒子模拟器的并行、分布式、模块化系统架构,封装了强大的并行和分布式处理、分布式渲染和远程交互技术,可以灵活、快速地模拟大型模型和复杂场景。为了验证和评估所提出的体系结构,我们对两种广泛使用的数值积分方法进行了可视化比较,即显式Velocity Verlet和隐式Euler积分技术。
{"title":"A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based Models","authors":"A. Sabou, D. Gorgan","doi":"10.1109/SYNASC.2014.73","DOIUrl":"https://doi.org/10.1109/SYNASC.2014.73","url":null,"abstract":"Particle-based models are widespread in the field of computer graphics and are mostly used in soft-body dynamics, for simulating surfaces such as cloth, fluids and biologic tissue. As model resolution and scenario complexity increases, the computation required for these particular applications becomes overwhelming for a single processing unit, especially when interactivity is required, thus parallelization must be employed in order to provide a fast, flexible and scalable simulation environment. High-performance computing architectures such as graphics clusters may provide the parallel computing and rendering power required, but the distributed and remote nature of the computation and rendering process introduce specific challenges that must be tackled. We propose a parallel, distributed, modular system architecture for a particle-based simulator on GPU clusters, encapsulating powerful parallel and distributed processing, distributed rendering and remote interaction techniques, for flexible, fast simulation of large models and complex scenarios. For validating and evaluating the proposed architecture, we perform a visual comparison of two largely used numeric integration methods, namely the explicit Velocity Verlet and implicit Euler integration techniques.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123191405","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
期刊
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
全部 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