首页 > 最新文献

Proceedings of the 4th Symposium on Information and Communication Technology最新文献

英文 中文
Agent based model of smart grids for ecodistricts 基于Agent的生态小区智能电网模型
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542058
Murat Ahat, S. B. Amor, M. Bui
Electricity has become a vital part of the modern life. Ever increasing electricity demand and inefficiency of the old electricity grid have led to the new vision which is called smart grid. Since, much work has been done to study the different aspects of the smart grid using computer and mathematical models. However little is done to combine those efforts to study the smart grid and ecodistrict in the same context. In this work we discuss the importance of the smart grid technologies in an ecodistrict development and the theoretical approaches for modeling smart grid and ecodistrict. Further more, we propose an agent-based model of ecodistricts with smart grid elements, by following a modeling approach called ASPECS. Though the simulations based on this kind of models can not be used as an exact predictive tools, it provides us with an exploratory tool to study how to integrate smart grid elements in an ecodistrict, and how different actors interact with each other.
电已成为现代生活的重要组成部分。不断增长的电力需求和旧电网的低效率导致了新的愿景,即智能电网。此后,人们利用计算机和数学模型对智能电网的不同方面进行了大量研究。然而,将这些努力结合起来,在同一背景下研究智能电网和生态区却做得很少。本文讨论了智能电网技术在生态区建设中的重要性,以及智能电网和生态区建模的理论方法。此外,我们提出了一个基于智能电网的生态区模型,该模型采用了一种称为ASPECS的建模方法。虽然基于这种模型的仿真不能作为精确的预测工具,但它为我们研究生态区内智能电网各要素如何整合以及不同参与者之间如何相互作用提供了探索性工具。
{"title":"Agent based model of smart grids for ecodistricts","authors":"Murat Ahat, S. B. Amor, M. Bui","doi":"10.1145/2542050.2542058","DOIUrl":"https://doi.org/10.1145/2542050.2542058","url":null,"abstract":"Electricity has become a vital part of the modern life. Ever increasing electricity demand and inefficiency of the old electricity grid have led to the new vision which is called smart grid. Since, much work has been done to study the different aspects of the smart grid using computer and mathematical models. However little is done to combine those efforts to study the smart grid and ecodistrict in the same context. In this work we discuss the importance of the smart grid technologies in an ecodistrict development and the theoretical approaches for modeling smart grid and ecodistrict. Further more, we propose an agent-based model of ecodistricts with smart grid elements, by following a modeling approach called ASPECS. Though the simulations based on this kind of models can not be used as an exact predictive tools, it provides us with an exploratory tool to study how to integrate smart grid elements in an ecodistrict, and how different actors interact with each other.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124867608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A new test modeling language for interactive applications based on task trees 一种新的基于任务树的交互式应用测试建模语言
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542081
Le Thanh Long, N. Binh, I. Parissis
Designing interactive applications is a complex and error-prone activity, because of the importance of the human-computer interaction aspect. For the same reason, thoroughly testing such applications is particularly important and requires a lot of effort. Automating this activity can result to significant development cost reduction and quality improvement. This paper presents a research work aiming at defining a test modeling language for interactive applications based on task trees, called TTT. The objective of the TTT language is to provide a means for expressing abstract test scenarios for interactive applications, including non-deterministic choices and action occurrence probabilities that can be used to automate the test generation.
由于人机交互方面的重要性,设计交互式应用程序是一项复杂且容易出错的活动。出于同样的原因,对此类应用程序进行彻底的测试尤为重要,并且需要付出大量的努力。自动化此活动可以显著降低开发成本并提高质量。本文提出了一项研究工作,旨在定义一种基于任务树的交互式应用测试建模语言TTT。TTT语言的目标是为交互式应用程序提供一种表达抽象测试场景的方法,包括可用于自动化测试生成的非确定性选择和操作发生概率。
{"title":"A new test modeling language for interactive applications based on task trees","authors":"Le Thanh Long, N. Binh, I. Parissis","doi":"10.1145/2542050.2542081","DOIUrl":"https://doi.org/10.1145/2542050.2542081","url":null,"abstract":"Designing interactive applications is a complex and error-prone activity, because of the importance of the human-computer interaction aspect. For the same reason, thoroughly testing such applications is particularly important and requires a lot of effort. Automating this activity can result to significant development cost reduction and quality improvement. This paper presents a research work aiming at defining a test modeling language for interactive applications based on task trees, called TTT. The objective of the TTT language is to provide a means for expressing abstract test scenarios for interactive applications, including non-deterministic choices and action occurrence probabilities that can be used to automate the test generation.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130643820","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
Restoring surfaces after removing objects in indoor 3D point clouds 在室内3D点云中移除物体后恢复表面
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542088
N. Doan, Duy Pham, T. Dinh, T. Dinh
In this paper, we present fast approaches for object segmentation and surface restoration of indoor 3D point clouds, which are the results of 3D reconstruction methods or range scanners. These two problems are significant in constructing a augmented reality system using a range camera to build a virtual environment and provide the interaction mechanisms to the virtual model. For point-cloud segmentation, we apply a density-based clustering algorithm to extract the desired object after removing its ground planes. This low-complexity method gives stable results with high accuracy. After the segmented object has been removed, a restoration algorithm is proposed in such a case that the holes on the ground plane are revealed by removed objects. These holes are there because the corresponding surfaces are hidden by the segmented objects in the scanner phase. The process of filling the holes includes an object-ground-plane detection, a geometric restoration and a color fusion step. The newly added points are directly interpolated from the existing object points, which cover the holes in the original point clouds. Our approaches are experimented through a variety of test datasets and yield promising results.
在本文中,我们提出了室内三维点云的目标分割和表面恢复的快速方法,这是三维重建方法或距离扫描仪的结果。这两个问题对于利用距离相机构建虚拟环境并为虚拟模型提供交互机制的增强现实系统具有重要意义。对于点云分割,我们采用基于密度的聚类算法在去除目标的地平面后提取目标。该方法复杂度低,结果稳定,精度高。在被分割的目标被移除后,提出了一种将被移除的目标暴露在地平面上的孔洞的恢复算法。这些孔的存在是因为在扫描阶段,相应的表面被分割的物体所隐藏。填充孔的过程包括物体-地平面检测、几何恢复和颜色融合步骤。新增加的点是直接从现有的目标点插值而来,这些目标点覆盖了原始点云中的空洞。我们的方法通过各种测试数据集进行了实验,并产生了有希望的结果。
{"title":"Restoring surfaces after removing objects in indoor 3D point clouds","authors":"N. Doan, Duy Pham, T. Dinh, T. Dinh","doi":"10.1145/2542050.2542088","DOIUrl":"https://doi.org/10.1145/2542050.2542088","url":null,"abstract":"In this paper, we present fast approaches for object segmentation and surface restoration of indoor 3D point clouds, which are the results of 3D reconstruction methods or range scanners. These two problems are significant in constructing a augmented reality system using a range camera to build a virtual environment and provide the interaction mechanisms to the virtual model. For point-cloud segmentation, we apply a density-based clustering algorithm to extract the desired object after removing its ground planes. This low-complexity method gives stable results with high accuracy. After the segmented object has been removed, a restoration algorithm is proposed in such a case that the holes on the ground plane are revealed by removed objects. These holes are there because the corresponding surfaces are hidden by the segmented objects in the scanner phase. The process of filling the holes includes an object-ground-plane detection, a geometric restoration and a color fusion step. The newly added points are directly interpolated from the existing object points, which cover the holes in the original point clouds. Our approaches are experimented through a variety of test datasets and yield promising results.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129502439","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
Extraction of disease events for a real-time monitoring system 为实时监测系统提取疾病事件
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542084
Minh-Tien Nguyen, Tri-Thanh Nguyen
In this paper, we propose a method that uses both semantic rules and machine learning to extract infectious disease events in Vietnamese electronic news, which can be used in a real-time system of monitoring the spread of diseases. Our method contains two important steps: detecting disease events from unstructured data and extracting information of the disease events. The event detection uses semantic rules and machine learning to detect a disease event; in the later step, Name Entity Recognition (NER), rules, and dictionaries are used to capture the event's information. The performance of detection step is ≈77,33% (F-score) and the precision of extraction step is ≈91,89%. These results are better that those of the experiments in which rules were not used. This indicates that our method is suitable for extracting disease events in Vietnamese text.
在本文中,我们提出了一种使用语义规则和机器学习的方法来提取越南电子新闻中的传染病事件,该方法可用于监测疾病传播的实时系统。该方法包含两个重要步骤:从非结构化数据中检测疾病事件和提取疾病事件信息。事件检测使用语义规则和机器学习来检测疾病事件;在后面的步骤中,使用名称实体识别(NER)、规则和字典来捕获事件的信息。检测步骤的性能为≈77,33% (F-score),提取步骤的精度为≈91,89%。这些结果比不使用规则的实验结果更好。这表明我们的方法适用于越南语文本中疾病事件的提取。
{"title":"Extraction of disease events for a real-time monitoring system","authors":"Minh-Tien Nguyen, Tri-Thanh Nguyen","doi":"10.1145/2542050.2542084","DOIUrl":"https://doi.org/10.1145/2542050.2542084","url":null,"abstract":"In this paper, we propose a method that uses both semantic rules and machine learning to extract infectious disease events in Vietnamese electronic news, which can be used in a real-time system of monitoring the spread of diseases. Our method contains two important steps: detecting disease events from unstructured data and extracting information of the disease events. The event detection uses semantic rules and machine learning to detect a disease event; in the later step, Name Entity Recognition (NER), rules, and dictionaries are used to capture the event's information. The performance of detection step is ≈77,33% (F-score) and the precision of extraction step is ≈91,89%. These results are better that those of the experiments in which rules were not used. This indicates that our method is suitable for extracting disease events in Vietnamese text.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128399204","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
Semantics-based keyword search over XML and relational databases 基于语义的XML和关系数据库关键字搜索
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542054
T. Ling, T. Le, Zhong Zeng
Keyword search is a user-friendly way to retrieve information from XML and relational database (RDB). There have been many approaches proposed for keyword search over XML and RDB. However, the existing approaches cannot fully exploit hidden semantics in XML document or RDB. This causes serious problems in processing some class of keyword queries. In this paper, we thoroughly point out mismatches between answers returned by existing approaches and the expectations of common users. Through detailed analysis of these mismatches, we show the importance of semantics in keyword search over XML and RDB and propose a semantics-based approach for processing XML and RDB keyword queries. Particularly, we propose to use Object Relationship (OR) data graph and Object Relationship Mixed (ORM) data graph, which fully capture semantics of object, relationship and attribute, to represent XML document and RDB respectively, and we develop algorithms based on the proposed data model to return more comprehensive answers.
关键字搜索是从XML和关系数据库(RDB)中检索信息的一种用户友好的方式。针对XML和RDB上的关键字搜索,已经提出了许多方法。但是,现有的方法不能充分利用XML文档或RDB中的隐藏语义。这在处理某类关键字查询时会导致严重的问题。在本文中,我们彻底地指出了现有方法返回的答案与普通用户的期望之间的不匹配。通过对这些不匹配的详细分析,我们展示了语义在XML和RDB关键字搜索中的重要性,并提出了一种基于语义的处理XML和RDB关键字查询的方法。特别地,我们提出用对象关系(OR)数据图和对象关系混合(ORM)数据图分别表示XML文档和RDB,它们完全捕获了对象、关系和属性的语义,并基于所提出的数据模型开发算法来返回更全面的答案。
{"title":"Semantics-based keyword search over XML and relational databases","authors":"T. Ling, T. Le, Zhong Zeng","doi":"10.1145/2542050.2542054","DOIUrl":"https://doi.org/10.1145/2542050.2542054","url":null,"abstract":"Keyword search is a user-friendly way to retrieve information from XML and relational database (RDB). There have been many approaches proposed for keyword search over XML and RDB. However, the existing approaches cannot fully exploit hidden semantics in XML document or RDB. This causes serious problems in processing some class of keyword queries. In this paper, we thoroughly point out mismatches between answers returned by existing approaches and the expectations of common users. Through detailed analysis of these mismatches, we show the importance of semantics in keyword search over XML and RDB and propose a semantics-based approach for processing XML and RDB keyword queries. Particularly, we propose to use Object Relationship (OR) data graph and Object Relationship Mixed (ORM) data graph, which fully capture semantics of object, relationship and attribute, to represent XML document and RDB respectively, and we develop algorithms based on the proposed data model to return more comprehensive answers.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121057704","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
Method supporting collaboration in complex system participatory simulation 复杂系统参与式仿真中支持协作的方法
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542076
Trong Khanh Nguyen, N. Marilleau, Hô Tuòng Vinh, A. E. Fallah-Seghrouchni
Major researches in the domain of complex systems are interdisciplinary, collaborative/participative and geographically distributed. Therefore, the simulation of complex systems is usually a collaborative/participative work that highly demands the exchange, from distance, of participants. However, most of the actual simulators cannot support this exchange. In this paper, we will present a new method to create a participatory simulator supporting the collaboration/participation from distance in the complex system participatory simulation. The method includes: (i) a collaborative software infrastructure, named PAMS, containing common collaborative tools (videoconferencing, instant messaging, and many other communication tools) and specific tools dedicated to the simulation domain (sharing experiments, results, experience exchange and various type of manipulation tools) and (ii) a role-based meta-model facilitating the integration of actual simulators into PAMS.
复杂系统领域的主要研究是跨学科的、协作/参与的和地理分布的。因此,复杂系统的模拟通常是一种协作/参与性的工作,高度要求参与者进行远距离交流。然而,大多数实际的模拟器不支持这种交换。在本文中,我们将提出一种新的方法来创建一个支持复杂系统参与式仿真中的远程协作/参与的参与式模拟器。该方法包括:(i)一个名为PAMS的协作软件基础设施,包含常见的协作工具(视频会议、即时消息和许多其他通信工具)和专用于仿真领域的特定工具(共享实验、结果、经验交换和各种类型的操作工具);(ii)一个基于角色的元模型,促进将实际模拟器集成到PAMS中。
{"title":"Method supporting collaboration in complex system participatory simulation","authors":"Trong Khanh Nguyen, N. Marilleau, Hô Tuòng Vinh, A. E. Fallah-Seghrouchni","doi":"10.1145/2542050.2542076","DOIUrl":"https://doi.org/10.1145/2542050.2542076","url":null,"abstract":"Major researches in the domain of complex systems are interdisciplinary, collaborative/participative and geographically distributed. Therefore, the simulation of complex systems is usually a collaborative/participative work that highly demands the exchange, from distance, of participants. However, most of the actual simulators cannot support this exchange. In this paper, we will present a new method to create a participatory simulator supporting the collaboration/participation from distance in the complex system participatory simulation. The method includes: (i) a collaborative software infrastructure, named PAMS, containing common collaborative tools (videoconferencing, instant messaging, and many other communication tools) and specific tools dedicated to the simulation domain (sharing experiments, results, experience exchange and various type of manipulation tools) and (ii) a role-based meta-model facilitating the integration of actual simulators into PAMS.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122432681","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An implementation of framework of business intelligence for agent-based simulation 基于代理的商业智能仿真框架的实现
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542069
Thai-Minh Truong, F. Amblard, B. Gaudou, C. Sibertin-Blanc, V. Truong, A. Drogoul, H. Huynh, M. N. Le
Integrated environmental modeling approaches, especially agent-based modeling ones, are increasingly used in large-scale decision support systems. A major consequence of this trend is the manipulation and generation of a huge amount of data in simulations, which require to be efficiently managed. In this paper, we present a Combination Framework of Business intelligence solution and Multi-agent platform (CFBM) and its implementation on the GAMA platform. CFBM is a logical framework dedicated to the management of the input and output data of simulations, as well as the corresponding empirical datasets in an integrated way and the analysis on integrated data, which we propose as a coupling of two major methodologies: Multi-Agent Simulation (MAS) on one hand and Business Intelligence (BI) solution on the other. An integrated model of a surveillance network and Brown Plant Hopper (BPH) invasion is presented. This model is used throughout the paper as a case study of CFBM regarding to the database accesses, the integration of internal and external processing, and the model validation tasks. We show how the proposed combination framework can be an appropriate choice for all decision-support systems with a huge data, hence the modelers can be also encouraged to develop the big model in a large scale.
集成环境建模方法,特别是基于智能体的建模方法,越来越多地应用于大规模决策支持系统中。这种趋势的一个主要后果是模拟中大量数据的操作和生成,这些数据需要有效地管理。本文提出了一种商业智能解决方案与多智能体平台(CFBM)的组合框架,并在GAMA平台上实现。CFBM是一个逻辑框架,致力于以集成的方式管理模拟的输入和输出数据,以及相应的经验数据集和对集成数据的分析,我们提出了两种主要方法的耦合:多智能体模拟(MAS)和商业智能(BI)解决方案。提出了一种监测网络与褐飞虱入侵的综合模型。本文将该模型作为CFBM的案例研究,涉及数据库访问、内部和外部处理的集成以及模型验证任务。我们展示了所提出的组合框架如何能够成为所有具有大数据的决策支持系统的适当选择,因此也可以鼓励建模者在大范围内开发大模型。
{"title":"An implementation of framework of business intelligence for agent-based simulation","authors":"Thai-Minh Truong, F. Amblard, B. Gaudou, C. Sibertin-Blanc, V. Truong, A. Drogoul, H. Huynh, M. N. Le","doi":"10.1145/2542050.2542069","DOIUrl":"https://doi.org/10.1145/2542050.2542069","url":null,"abstract":"Integrated environmental modeling approaches, especially agent-based modeling ones, are increasingly used in large-scale decision support systems. A major consequence of this trend is the manipulation and generation of a huge amount of data in simulations, which require to be efficiently managed. In this paper, we present a Combination Framework of Business intelligence solution and Multi-agent platform (CFBM) and its implementation on the GAMA platform. CFBM is a logical framework dedicated to the management of the input and output data of simulations, as well as the corresponding empirical datasets in an integrated way and the analysis on integrated data, which we propose as a coupling of two major methodologies: Multi-Agent Simulation (MAS) on one hand and Business Intelligence (BI) solution on the other. An integrated model of a surveillance network and Brown Plant Hopper (BPH) invasion is presented. This model is used throughout the paper as a case study of CFBM regarding to the database accesses, the integration of internal and external processing, and the model validation tasks. We show how the proposed combination framework can be an appropriate choice for all decision-support systems with a huge data, hence the modelers can be also encouraged to develop the big model in a large scale.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133236635","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
A runtime approach for estimating resource usage 用于估计资源使用情况的运行时方法
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542091
Diep Bui Phi, Trong Khanh Nguyen, Viet-Ha Nguyen
In the era of information explosion, a program is necessary to be scalable. Therefore, scalability analysis becomes very important in software verification and validation. However, current approaches to empirical scalability analysis remain limitations related to the number of supported models and performance. In this paper, we propose a runtime approach for estimating the program resource usage with two aims: evaluating the program scalability and revealing potential errors. In this approach, the resource usage of a program is first observed when it is executed on inputs with different scales, the observed results are then fitted on a model of the usage according to the program's input. Comparing to other approaches, ours supports diverse models to illustrate the resource usage, i.e., linear-log, power-law, polynomial, etc. We currently focus on the computation cost and stack frames usage as two representatives of resource usage, but the approach can be extended to other kinds of resource. The experimental result shows that our approach achieves more precise estimation and better performance than other state-of-the-art approaches.
在信息爆炸的时代,程序必须具有可扩展性。因此,可扩展性分析在软件验证和验证中变得非常重要。然而,目前的经验可伸缩性分析方法仍然受到受支持模型数量和性能的限制。在本文中,我们提出了一种评估程序资源使用的运行时方法,其目的有两个:评估程序的可伸缩性和揭示潜在的错误。在这种方法中,当程序在不同规模的输入上执行时,首先观察程序的资源使用情况,然后根据程序的输入将观察到的结果拟合到使用情况的模型上。与其他方法相比,我们的方法支持多种模型来说明资源使用情况,即线性对数,幂律,多项式等。我们目前关注的是计算成本和堆栈帧使用作为资源使用的两个代表,但该方法可以扩展到其他类型的资源。实验结果表明,该方法的估计精度更高,性能更好。
{"title":"A runtime approach for estimating resource usage","authors":"Diep Bui Phi, Trong Khanh Nguyen, Viet-Ha Nguyen","doi":"10.1145/2542050.2542091","DOIUrl":"https://doi.org/10.1145/2542050.2542091","url":null,"abstract":"In the era of information explosion, a program is necessary to be scalable. Therefore, scalability analysis becomes very important in software verification and validation. However, current approaches to empirical scalability analysis remain limitations related to the number of supported models and performance. In this paper, we propose a runtime approach for estimating the program resource usage with two aims: evaluating the program scalability and revealing potential errors. In this approach, the resource usage of a program is first observed when it is executed on inputs with different scales, the observed results are then fitted on a model of the usage according to the program's input. Comparing to other approaches, ours supports diverse models to illustrate the resource usage, i.e., linear-log, power-law, polynomial, etc. We currently focus on the computation cost and stack frames usage as two representatives of resource usage, but the approach can be extended to other kinds of resource. The experimental result shows that our approach achieves more precise estimation and better performance than other state-of-the-art approaches.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125248417","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
Stretch optimization for virtual screening on multi-user pilot-agent platforms on grid/cloud 网格/云多用户试点代理平台上虚拟筛选的拉伸优化
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542063
B. Quang, N. Quang, E. Medernach, V. Breton, Pham Quoc Long
Virtual screening has proven very effective on grid infrastructures where large scale deployments have led to the identification of active inhibitors for biological targets of interest against malaria, SARS or diabetes. Operating a dedicated virtual screening platform on grid resources requires optimizing the scheduling policy. The scheduling can be done at 2 levels; at site level and at platform level. Site scheduling is done at each site independently; each site is autonomous in its choice of job scheduling. Each site allocates time slots for different groups of users. Platform scheduling is done at group level: inside a time slot jobs from many users are allocated. Pilot agents are sent to sites and act as a container of actual users jobs. They pick up users jobs from a central queue where the second stage scheduling is done. In this paper, we focus on pilot-agent platform shared by many virtual screening users. They need a suitable scheduling algorithm to ensure a certain fairness between users. We have studied the scheduling of users jobs inside central queue and examined the relevance and impact of different scheduling policies (FIFO, SPT, LPT and Round Robin) on the user experience. Optimal criterion used in our research is the stretch, a measure for user experience on the platform. In a first step, we simulated the operation of virtual screening applications on the pilot-agent platform in order to compare the scheduling policies. According to simulation, SPT algorithm was shown to significantly improve scheduling performances. In a second step, the Shortest Processing Time (SPT) and Longest Processing Time (LPT) scheduling policies were implemented on a DIRAC pilot-agent platform at IFI in Hanoi and tested on EGI Biomed Virtual Organization. Experimental results are in good agreement with simulation and confirm that SPT algorithm significantly improves user experience. The relevance of our conclusions also extends to cloud computing. Indeed, cloud infrastructures are also characterized by limited machine availability.
虚拟筛选已被证明在网格基础设施中非常有效,在网格基础设施中,大规模部署已导致识别针对疟疾、非典型肺炎或糖尿病感兴趣的生物靶点的活性抑制剂。在网格资源上运行专用的虚拟筛选平台需要优化调度策略。调度可分为两个层次;在站点级别和平台级别。现场调度在每个现场独立完成;每个站点在选择作业调度时都是自主的。每个站点为不同的用户组分配时间段。平台调度在组级别完成:在一个时隙内分配来自许多用户的作业。试点代理被发送到站点,并充当实际用户作业的容器。它们从完成第二阶段调度的中心队列中获取用户作业。本文主要研究由众多虚拟筛选用户共享的试点代理平台。它们需要合适的调度算法来保证用户之间的公平性。我们研究了中心队列内用户作业的调度,并检查了不同调度策略(FIFO, SPT, LPT和Round Robin)对用户体验的相关性和影响。在我们的研究中使用的最佳标准是拉伸,这是一个衡量用户在平台上体验的标准。首先,我们模拟了虚拟筛选应用程序在pilot-agent平台上的运行情况,以比较调度策略。仿真结果表明,SPT算法能显著提高调度性能。第二步,在河内IFI的DIRAC试点代理平台上实施了最短处理时间(SPT)和最长处理时间(LPT)调度策略,并在EGI Biomed Virtual Organization上进行了测试。实验结果与仿真结果吻合较好,验证了SPT算法显著改善了用户体验。我们的结论也适用于云计算。实际上,云基础设施还具有机器可用性有限的特点。
{"title":"Stretch optimization for virtual screening on multi-user pilot-agent platforms on grid/cloud","authors":"B. Quang, N. Quang, E. Medernach, V. Breton, Pham Quoc Long","doi":"10.1145/2542050.2542063","DOIUrl":"https://doi.org/10.1145/2542050.2542063","url":null,"abstract":"Virtual screening has proven very effective on grid infrastructures where large scale deployments have led to the identification of active inhibitors for biological targets of interest against malaria, SARS or diabetes. Operating a dedicated virtual screening platform on grid resources requires optimizing the scheduling policy. The scheduling can be done at 2 levels; at site level and at platform level. Site scheduling is done at each site independently; each site is autonomous in its choice of job scheduling. Each site allocates time slots for different groups of users. Platform scheduling is done at group level: inside a time slot jobs from many users are allocated. Pilot agents are sent to sites and act as a container of actual users jobs. They pick up users jobs from a central queue where the second stage scheduling is done. In this paper, we focus on pilot-agent platform shared by many virtual screening users. They need a suitable scheduling algorithm to ensure a certain fairness between users. We have studied the scheduling of users jobs inside central queue and examined the relevance and impact of different scheduling policies (FIFO, SPT, LPT and Round Robin) on the user experience. Optimal criterion used in our research is the stretch, a measure for user experience on the platform. In a first step, we simulated the operation of virtual screening applications on the pilot-agent platform in order to compare the scheduling policies. According to simulation, SPT algorithm was shown to significantly improve scheduling performances. In a second step, the Shortest Processing Time (SPT) and Longest Processing Time (LPT) scheduling policies were implemented on a DIRAC pilot-agent platform at IFI in Hanoi and tested on EGI Biomed Virtual Organization. Experimental results are in good agreement with simulation and confirm that SPT algorithm significantly improves user experience. The relevance of our conclusions also extends to cloud computing. Indeed, cloud infrastructures are also characterized by limited machine availability.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132101077","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
Data mobile cloud technology: mVDI 数据移动云技术:mVDI
Pub Date : 2013-12-05 DOI: 10.1145/2542050.2542052
E. Huh
Recently, with the overwhelming growth of Cloud Computing (CC) and mobile devices, Mobile Cloud Computing (MCC) has emerged and become an attractive area of research. Unlike CC, MCC is formed from the properties of mobile devices such as hardware limitation, mobility, etc. Through MCC, the cloud resources are utilized to support mobile devices in heavy computing services and leverage mobile cloud service efficiently. In this talk, we will present an overview of MCC with our on-going deployed architecture, which involves tremendous potential mobile cloud services in future. In addition, mobile devices -based virtual desktop infrastructure (mVDI) emerges an efficient and convenient method in MCC. Relying on the current remote desktop technology to access to VMs on cloud, mobile devices can easily communicate, and utilize the cloud resources. All computational complexity is executed on the cloud servers rather than on mobile devices. Since offloading computing tasks to the cloud, we can run any services/applications regardless of capability of mobile devices. Consolidating many users into mVDI environment can significantly lower IT management expenses and enables new features such as "available-anywhere" desktops. However, there are many barriers to broad adoption including the slow performance of virtualized I/O, CPU scheduling interference problems. In this talk, we will discuss trends and issues, also the corresponding solutions and challenges in future mobile service through Cloud Computing including mobile cloud services, mobile virtualization, mobile DaaS, N-Screened mobile services and mVDI. From this talk, effective business model is also covered by connecting between mobile contents, platform, wearable devices and cloud infrastructure. Also, some implemented test results will be shared to help audiences for future mobile cloud service design.
近年来,随着云计算(CC)和移动设备的迅猛发展,移动云计算(MCC)应运而生,并成为一个极具吸引力的研究领域。与CC不同,MCC是由移动设备的硬件限制、移动性等特性形成的。通过MCC,利用云资源支持重计算服务中的移动设备,高效利用移动云服务。在本次演讲中,我们将介绍MCC和我们正在进行的部署架构的概述,其中包括未来巨大的潜在移动云服务。此外,基于移动设备的虚拟桌面基础设施(mVDI)是MCC中一种高效、便捷的方法。依托当前的远程桌面技术,访问云上的虚拟机,移动设备可以轻松通信,利用云资源。所有复杂的计算都在云服务器上执行,而不是在移动设备上。由于将计算任务转移到云端,我们可以运行任何服务/应用程序,而不管移动设备的能力如何。将许多用户整合到mVDI环境中可以显著降低IT管理费用,并支持“随处可用”桌面等新功能。然而,广泛采用虚拟化有许多障碍,包括性能缓慢的虚拟I/O, CPU调度干扰问题。在本次演讲中,我们将讨论云计算在未来移动服务中的趋势和问题,以及相应的解决方案和挑战,包括移动云服务、移动虚拟化、移动DaaS、n - screen移动服务和mVDI。从这个演讲中,我们还谈到了有效的商业模式,包括移动内容、平台、可穿戴设备和云基础设施之间的连接。此外,我们还将分享一些已实现的测试结果,以帮助观众对未来的移动云服务进行设计。
{"title":"Data mobile cloud technology: mVDI","authors":"E. Huh","doi":"10.1145/2542050.2542052","DOIUrl":"https://doi.org/10.1145/2542050.2542052","url":null,"abstract":"Recently, with the overwhelming growth of Cloud Computing (CC) and mobile devices, Mobile Cloud Computing (MCC) has emerged and become an attractive area of research. Unlike CC, MCC is formed from the properties of mobile devices such as hardware limitation, mobility, etc. Through MCC, the cloud resources are utilized to support mobile devices in heavy computing services and leverage mobile cloud service efficiently. In this talk, we will present an overview of MCC with our on-going deployed architecture, which involves tremendous potential mobile cloud services in future. In addition, mobile devices -based virtual desktop infrastructure (mVDI) emerges an efficient and convenient method in MCC. Relying on the current remote desktop technology to access to VMs on cloud, mobile devices can easily communicate, and utilize the cloud resources. All computational complexity is executed on the cloud servers rather than on mobile devices. Since offloading computing tasks to the cloud, we can run any services/applications regardless of capability of mobile devices. Consolidating many users into mVDI environment can significantly lower IT management expenses and enables new features such as \"available-anywhere\" desktops. However, there are many barriers to broad adoption including the slow performance of virtualized I/O, CPU scheduling interference problems. In this talk, we will discuss trends and issues, also the corresponding solutions and challenges in future mobile service through Cloud Computing including mobile cloud services, mobile virtualization, mobile DaaS, N-Screened mobile services and mVDI. From this talk, effective business model is also covered by connecting between mobile contents, platform, wearable devices and cloud infrastructure. Also, some implemented test results will be shared to help audiences for future mobile cloud service design.","PeriodicalId":246033,"journal":{"name":"Proceedings of the 4th Symposium on Information and Communication Technology","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116887430","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
期刊
Proceedings of the 4th Symposium on Information and Communication Technology
全部 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1