首页 > 最新文献

... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing最新文献

英文 中文
A convolutional neural network based approach towards real-time hard hat detection 基于卷积神经网络的实时安全帽检测方法
Xie Zaipeng, Liu Hanxiang, L. Zewen, He Yuechao
Health and safety management has been an important issue in construction industry. National regulations impose the using of hard hats in construction sites. However, there are often cases in which the construction workers neglect the regulations. It is desired to monitor the correct wearing of hard hat in real time and explore monitoring techniques facilitated by deep-learning algorithms. In this paper, a convolutional neural network based hard-hat detection algorithm is proposed. In this algorithm, the detection of construction workers and the hard hats are assisted by computer vision technique where deep learning model are trained to identify the proper wearing of hard hats. The optimization of the proposed neural networks can reduce the computational complexity while maintaining a relatively high recognition precision. Experiments have been performed using five different algorithms for comparison and results demonstrate that the proposed algorithm excels in the mAP and FPS performance metrics. The experimental results collected on an embedded platform reveal that the proposed algorithm presents a good candidate for similar applications where real-time deep-learning application is desired.
健康与安全管理一直是建筑行业的一个重要问题。国家规定建筑工地必须戴安全帽。然而,建筑工人忽视规章制度的情况时有发生。希望实时监测安全帽的正确佩戴,并探索由深度学习算法促进的监测技术。本文提出了一种基于卷积神经网络的安全帽检测算法。在该算法中,通过计算机视觉技术辅助建筑工人和安全帽的检测,训练深度学习模型来识别安全帽的正确佩戴。优化后的神经网络可以在保持较高识别精度的同时降低计算复杂度。实验使用了五种不同的算法进行比较,结果表明该算法在mAP和FPS性能指标上表现优异。在嵌入式平台上收集的实验结果表明,该算法为需要实时深度学习的类似应用提供了良好的候选算法。
{"title":"A convolutional neural network based approach towards real-time hard hat detection","authors":"Xie Zaipeng, Liu Hanxiang, L. Zewen, He Yuechao","doi":"10.1109/PIC.2018.8706269","DOIUrl":"https://doi.org/10.1109/PIC.2018.8706269","url":null,"abstract":"Health and safety management has been an important issue in construction industry. National regulations impose the using of hard hats in construction sites. However, there are often cases in which the construction workers neglect the regulations. It is desired to monitor the correct wearing of hard hat in real time and explore monitoring techniques facilitated by deep-learning algorithms. In this paper, a convolutional neural network based hard-hat detection algorithm is proposed. In this algorithm, the detection of construction workers and the hard hats are assisted by computer vision technique where deep learning model are trained to identify the proper wearing of hard hats. The optimization of the proposed neural networks can reduce the computational complexity while maintaining a relatively high recognition precision. Experiments have been performed using five different algorithms for comparison and results demonstrate that the proposed algorithm excels in the mAP and FPS performance metrics. The experimental results collected on an embedded platform reveal that the proposed algorithm presents a good candidate for similar applications where real-time deep-learning application is desired.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"17 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88230802","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}
引用次数: 19
湘南会議 The future of multimedia analysis and mining 多媒体的未来分析与挖掘
N. Boujemaa, Alexander Hauptmann, S. Satoh
Recent explosive growth of the amount of accessible multimedia information requires far more intelligent access to multimedia data. Multimedia analysis and mining play a key role to address this problem. For instance, multimedia analysis enables semantic access to multimedia information at any description level and for any applications or needs, even though the original multimedia data may not have any prior semantic annotation. Multimedia mining helps to provide highlevel semantic and structural information to expose key information within a large-scale multimedia database. However, the development of such technologies is often severely limited due to the famous “Semantic Gap” in multimedia content analysis. This is well-known as a supremely difficult issue that is very hard to overcome. On the other hand, researchers in this field now have access to far more computational resources thanks to recent developments in GPU use, multi-core technologies or the availability of cloud computing, as well as far more data resources thanks to the explosive growth of available multimedia data especially via Web. Several research projects have already begun to take advantage of these points independently. Based on the objective, we organized shonan meeting on “The Future of Multimedia Analysis and Mining,” from 3 to 6, November, 2012. In this meeting, we aim to discuss recent research trends and their impact on multimedia research. Then we consolidate key research challenges and explore promising new research directions, hopefully toward “Bridging the semantic gap.” Following the meeting, we organized the special issue on “The Future of Multimedia Analysis and Mining” in the Progress in Informatics. Important topics include the following:
最近可访问多媒体信息量的爆炸式增长要求对多媒体数据进行更智能的访问。多媒体分析和挖掘是解决这一问题的关键。例如,多媒体分析支持在任何描述级别上、针对任何应用程序或需求对多媒体信息进行语义访问,即使原始多媒体数据可能没有任何先前的语义注释。多媒体挖掘有助于提供高级语义和结构信息,以公开大型多媒体数据库中的关键信息。然而,由于多媒体内容分析中著名的“语义鸿沟”,这些技术的发展往往受到严重限制。众所周知,这是一个非常困难的问题,很难克服。另一方面,由于GPU使用的最新发展,多核技术或云计算的可用性,这一领域的研究人员现在可以获得更多的计算资源,同时由于可用多媒体数据的爆炸性增长,特别是通过Web,可以获得更多的数据资源。几个研究项目已经开始独立地利用这些点。基于这一目标,我们于2012年11月3日至6日组织了关于“多媒体分析和挖掘的未来”的研讨会。在这次会议上,我们的目标是讨论最近的研究趋势及其对多媒体研究的影响。然后,我们整合关键的研究挑战,探索有前途的新研究方向,希望能够“弥合语义差距”。会议结束后,我们在《信息学进展》上组织了题为“多媒体分析和挖掘的未来”的特刊。重要议题包括:
{"title":"湘南会議 The future of multimedia analysis and mining","authors":"N. Boujemaa, Alexander Hauptmann, S. Satoh","doi":"10.2201/NIIPI.2014.11.1","DOIUrl":"https://doi.org/10.2201/NIIPI.2014.11.1","url":null,"abstract":"Recent explosive growth of the amount of accessible multimedia information requires far more intelligent access to multimedia data. Multimedia analysis and mining play a key role to address this problem. For instance, multimedia analysis enables semantic access to multimedia information at any description level and for any applications or needs, even though the original multimedia data may not have any prior semantic annotation. Multimedia mining helps to provide highlevel semantic and structural information to expose key information within a large-scale multimedia database. However, the development of such technologies is often severely limited due to the famous “Semantic Gap” in multimedia content analysis. This is well-known as a supremely difficult issue that is very hard to overcome. On the other hand, researchers in this field now have access to far more computational resources thanks to recent developments in GPU use, multi-core technologies or the availability of cloud computing, as well as far more data resources thanks to the explosive growth of available multimedia data especially via Web. Several research projects have already begun to take advantage of these points independently. Based on the objective, we organized shonan meeting on “The Future of Multimedia Analysis and Mining,” from 3 to 6, November, 2012. In this meeting, we aim to discuss recent research trends and their impact on multimedia research. Then we consolidate key research challenges and explore promising new research directions, hopefully toward “Bridging the semantic gap.” Following the meeting, we organized the special issue on “The Future of Multimedia Analysis and Mining” in the Progress in Informatics. Important topics include the following:","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"9 1","pages":"41-44"},"PeriodicalIF":0.0,"publicationDate":"2014-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82442869","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
Report on the analyses and the applications of a large-scale news video archive: NII TV-RECS 大型新闻视频档案:NII TV-RECS的分析与应用报告
I. Ide
This paper summarizes the work done in the last twelve years and more, on the structuring and the application of a large-scale digital news video archive: TV-RECS constructed at the National Institute of Informatics. The applications include those that facilitate the exploring and the browsing of the archive, and also the recompilation of its contents for the generation of new video contents.
本文综述了国家信息学研究所大型数字新闻视频档案系统(TV-RECS)的构建与应用工作。这些应用程序包括那些便于探索和浏览档案的应用程序,以及为生成新的视频内容而重新编译其内容的应用程序。
{"title":"Report on the analyses and the applications of a large-scale news video archive: NII TV-RECS","authors":"I. Ide","doi":"10.2201/NIIPI.2014.11.3","DOIUrl":"https://doi.org/10.2201/NIIPI.2014.11.3","url":null,"abstract":"This paper summarizes the work done in the last twelve years and more, on the structuring and the application of a large-scale digital news video archive: TV-RECS constructed at the National Institute of Informatics. The applications include those that facilitate the exploring and the browsing of the archive, and also the recompilation of its contents for the generation of new video contents.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"5 1","pages":"9"},"PeriodicalIF":0.0,"publicationDate":"2014-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74822254","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
Large-scale cross-media analysis and mining from socially curated contents 大规模跨媒体分析和挖掘社会策划的内容
Akisato Kimura
The major interest of the current social network service (SNS) developers and users are rapidly shifting from conventional text-based (micro)blogs such as Twitter and Facebook to multimedia contents such as Flickr, Snapchat, MySpace and Tumblr. However, the ability to analyze and exploit unorganized multimedia contents on those services still remain inadequate, even with state-of-the-art media processing and machine learning techniques. This paper focuses on another emerging trend called social curation, a human-in-the-loop alternative to automatic algorithms for social media analysis. Social curation can be defined as a spontaneous human process of remixing social media content for the purpose of further consumption. What characterize social curation are definitely the manual efforts involved in organizing a collection of social media contents, which indicates that socially curated content has a potential as a promising information source against automatic summaries generated by algorithms. Curated contents would also provide latent perspectives and contexts that are not explicitly presented in the original resources. Following this trend, this paper presents recent developments and growth of social curation services, and reviews several research trials for cross-media analysis and mining from socially curated contents.
当前社交网络服务(SNS)开发者和用户的主要兴趣正迅速从传统的以文本为基础的(微)博客(如Twitter和Facebook)转向多媒体内容,如Flickr、Snapchat、MySpace和Tumblr。然而,即使使用最先进的媒体处理和机器学习技术,分析和利用这些服务上无组织的多媒体内容的能力仍然不足。本文关注的是另一种新兴趋势,称为社会策展,这是一种替代自动算法的社会媒体分析的人工循环。社会策展可以被定义为人类自发地将社交媒体内容重新混合,以供进一步消费的过程。社交策划的特点是组织社交媒体内容集合的人工努力,这表明社交策划的内容有潜力成为一个有前途的信息源,而不是由算法自动生成的摘要。精心策划的内容还将提供原始资源中未明确呈现的潜在视角和上下文。根据这一趋势,本文介绍了社交策划服务的最新发展和增长,并回顾了跨媒体分析和挖掘社交策划内容的几项研究试验。
{"title":"Large-scale cross-media analysis and mining from socially curated contents","authors":"Akisato Kimura","doi":"10.2201/NIIPI.2014.11.4","DOIUrl":"https://doi.org/10.2201/NIIPI.2014.11.4","url":null,"abstract":"The major interest of the current social network service (SNS) developers and users are rapidly shifting from conventional text-based (micro)blogs such as Twitter and Facebook to multimedia contents such as Flickr, Snapchat, MySpace and Tumblr. However, the ability to analyze and exploit unorganized multimedia contents on those services still remain inadequate, even with state-of-the-art media processing and machine learning techniques. This paper focuses on another emerging trend called social curation, a human-in-the-loop alternative to automatic algorithms for social media analysis. Social curation can be defined as a spontaneous human process of remixing social media content for the purpose of further consumption. What characterize social curation are definitely the manual efforts involved in organizing a collection of social media contents, which indicates that socially curated content has a potential as a promising information source against automatic summaries generated by algorithms. Curated contents would also provide latent perspectives and contexts that are not explicitly presented in the original resources. Following this trend, this paper presents recent developments and growth of social curation services, and reviews several research trials for cross-media analysis and mining from socially curated contents.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"59 1","pages":"19"},"PeriodicalIF":0.0,"publicationDate":"2014-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78700893","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
Scalable Approaches for Content -based Video Retrieval 基于内容的视频检索的可扩展方法
T. Ngo
This paper addresses content based video retrieval. First, we present an overview of a video retrieval framework and related approaches. Second, we consider two important applications of video retrieval nowadays which are video retrieval based on human face and video retrieval based on generic object categories. The goal is to develop approaches which require lowest annotation cost or computational cost while achieving competitive accuracy so that they can facilitate building scalable and comprehensive video retrieval systems.
本文研究了基于内容的视频检索。首先,我们概述了视频检索框架和相关方法。其次,我们考虑了目前视频检索的两个重要应用,即基于人脸的视频检索和基于通用对象类别的视频检索。目标是开发需要最低注释成本或计算成本的方法,同时实现具有竞争力的准确性,以便于构建可扩展和全面的视频检索系统。
{"title":"Scalable Approaches for Content -based Video Retrieval","authors":"T. Ngo","doi":"10.2201/NIIPI.2014.11.5","DOIUrl":"https://doi.org/10.2201/NIIPI.2014.11.5","url":null,"abstract":"This paper addresses content based video retrieval. First, we present an overview of a video retrieval framework and related approaches. Second, we consider two important applications of video retrieval nowadays which are video retrieval based on human face and video retrieval based on generic object categories. The goal is to develop approaches which require lowest annotation cost or computational cost while achieving competitive accuracy so that they can facilitate building scalable and comprehensive video retrieval systems.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"47 1","pages":"31"},"PeriodicalIF":0.0,"publicationDate":"2014-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79182737","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
A link utilization estimation scheme for nodes with multiple-queues in output ports 输出端口有多个队列的节点链路利用率估计方案
Kiyofumi Igai, E. Oki
This paper proposes a delay-based link utilization estimation scheme that assumes each output port in each node follows themultiple-queuemodel. The conventional alternative assumes only a single-queue model, where link utilization is estimated by using the probability of that the round-trip time of the packet exhibits the minimum delay. However, nodes in an actual network have multiple queues in each output port. Due to the multiple-queue model, the conventional scheme is unable to determine link utilization. This is because the probability that a packet has minimum delay is not directly related to the link utilization. The proposed scheme measures the probability of packet delay and the ratios of probe packets waiting in the queues; it solves simultaneous equations that include the probability of packet delay and queue utilization. Our simulation results show that it can estimate link utilization with error
本文提出了一种基于时延的链路利用率估计方案,该方案假设每个节点的每个输出端口都遵循多队列模型。传统的替代方案只假设一个单队列模型,其中通过使用数据包的往返时间显示最小延迟的概率来估计链路利用率。但是,实际网络中的节点在每个输出端口中都有多个队列。由于存在多队列模型,传统方案无法确定链路利用率。这是因为数据包具有最小延迟的概率与链路利用率没有直接关系。该方案测量数据包延迟的概率和探测数据包在队列中等待的比率;它求解包含分组延迟概率和队列利用率的联立方程。仿真结果表明,该方法可以有误差地估计链路利用率
{"title":"A link utilization estimation scheme for nodes with multiple-queues in output ports","authors":"Kiyofumi Igai, E. Oki","doi":"10.2201/NIIPI.2014.11.7","DOIUrl":"https://doi.org/10.2201/NIIPI.2014.11.7","url":null,"abstract":"This paper proposes a delay-based link utilization estimation scheme that assumes each output port in each node follows themultiple-queuemodel. The conventional alternative assumes only a single-queue model, where link utilization is estimated by using the probability of that the round-trip time of the packet exhibits the minimum delay. However, nodes in an actual network have multiple queues in each output port. Due to the multiple-queue model, the conventional scheme is unable to determine link utilization. This is because the probability that a packet has minimum delay is not directly related to the link utilization. The proposed scheme measures the probability of packet delay and the ratios of probe packets waiting in the queues; it solves simultaneous equations that include the probability of packet delay and queue utilization. Our simulation results show that it can estimate link utilization with error","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"21 1","pages":"45-55"},"PeriodicalIF":0.0,"publicationDate":"2014-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89536428","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
Dependently typed programming 依赖类型编程
Shin-Cheng Mu, Conor McBride, Stephanie Weirich
{"title":"Dependently typed programming","authors":"Shin-Cheng Mu, Conor McBride, Stephanie Weirich","doi":"10.2201/NIIPI.2013.10.8","DOIUrl":"https://doi.org/10.2201/NIIPI.2013.10.8","url":null,"abstract":"","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"22 1","pages":"149-155"},"PeriodicalIF":0.0,"publicationDate":"2013-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74564675","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}
引用次数: 10
Distributive laws of directed containers 定向容器的分配律
Danel Ahman, Tarmo Uustalu
Containers are an elegant representation of a wide class of datatypes in terms of positions and shapes. We have recently introduced directed containers as a special case to account for the common situation where every position in a shape determines another shape, informally the subshape rooted by that position. While containers interpret into set functors via a fully faithful functor, directed containers denote comonads fully faithfully. In fact, directed containers correspond to exactly those containers that carry a comonad structure. Directed containers can also be seen as a generalization (a dependently typed version) of monoids. While the category of containers (just as the category of set functors) carries a composition monoidal structure, directed containers (just as comonads) do not generally compose. In this paper, we develop a concept of a distributive law between two directed containers corresponding to that of a distributive law between two comonads and spell out the distributivelaw based composition construction of directed containers. This turns out to generalize the Zappa-Szép product of two monoids.
就位置和形状而言,容器是一种广泛的数据类型的优雅表示。我们最近引入了定向容器作为一种特殊情况,以解释形状中的每个位置决定另一个形状的常见情况,非正式地由该位置扎根的子形状。容器通过完全忠实的函子解释为集合函子,而有向容器则完全忠实地表示公变量。事实上,有向容器正好对应于那些携带共同结构的容器。有向容器也可以看作是模群的泛化(依赖类型的版本)。容器的范畴(就像集合函子的范畴一样)具有复合一元结构,而有向容器(就像公共对象一样)通常不复合。本文提出了两个有向容器间的分配律对应于两个共体间的分配律的概念,并给出了基于分配律的有向容器的组合构造。这推广了两个一元群的zappa - sz积。
{"title":"Distributive laws of directed containers","authors":"Danel Ahman, Tarmo Uustalu","doi":"10.2201/NIIPI.2013.10.2","DOIUrl":"https://doi.org/10.2201/NIIPI.2013.10.2","url":null,"abstract":"Containers are an elegant representation of a wide class of datatypes in terms of positions and shapes. We have recently introduced directed containers as a special case to account for the common situation where every position in a shape determines another shape, informally the subshape rooted by that position. While containers interpret into set functors via a fully faithful functor, directed containers denote comonads fully faithfully. In fact, directed containers correspond to exactly those containers that carry a comonad structure. Directed containers can also be seen as a generalization (a dependently typed version) of monoids. While the category of containers (just as the category of set functors) carries a composition monoidal structure, directed containers (just as comonads) do not generally compose. In this paper, we develop a concept of a distributive law between two directed containers corresponding to that of a distributive law between two comonads and spell out the distributivelaw based composition construction of directed containers. This turns out to generalize the Zappa-Szép product of two monoids.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"8 1","pages":"3"},"PeriodicalIF":0.0,"publicationDate":"2013-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75513249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Load-balanced routing with selective even traffic splitting ∗ 具有选择性均匀流量分割的负载均衡路由
M. Honma, S. Tsunoda, E. Oki
This paper proposes an even-split Smart-OSPF (S-OSPF) scheme to reduce network congestion more than the conventional non-split S-OSPF and to distribute traffic more easily than the conventional split S-OSPF. In split S-OSPF, source edge nodes distribute traffic unevenly to their neighbor nodes, but the implementation becomes involved to split traffic with different distribution. In non-split S-OSPF, source edge nodes transmit traffic to only one neighbor so that network congestion can be minimized, where non-split S-OSPF distributes traffic more simply than split S-OSPF. In the proposed scheme, source edge nodes transmit traffic evenly to selected neighbor nodes to minimize network congestion. The optimization problem to select a suitable set of neighbor nodes for even traffic distribution raised by the proposed scheme is formulated as an Integer Linear Programming (ILP) problem. The difficulty of solving the ILP problem in a practical time leads us to introduce a heuristic algorithm. The performances of our developed heuristic algorithm are evaluated via simulation developed in terms of network size. Numerical results show that even-split S-OSPF offers better routing performance than non-split S-OSPF for small-size networks and matches that of split S-OSPF for large-size networks.
本文提出了一种均匀分割的智能ospf (S-OSPF)方案,它比传统的非分割S-OSPF更能减少网络拥塞,比传统的分割S-OSPF更容易分配流量。在分割S-OSPF中,源边缘节点将流量不均匀地分配给相邻节点,但在实现时涉及到对不同分布的流量进行分割。在非分裂S-OSPF协议中,源边缘节点只向一个邻居发送流量,以减少网络拥塞。与非分裂S-OSPF协议相比,非分裂S-OSPF协议的流量分配更简单。在该方案中,源边缘节点将流量均匀地传输到选定的邻居节点,以减少网络拥塞。将该方案提出的流量均匀分布的合适邻居节点集的优化问题表述为整数线性规划(ILP)问题。考虑到在实际时间内求解ILP问题的困难,我们引入了一种启发式算法。我们开发的启发式算法的性能通过模拟开发的网络大小来评估。数值结果表明,在小规模网络中,均匀分割的S-OSPF比不分割的S-OSPF具有更好的路由性能,在大规模网络中,均匀分割的S-OSPF的路由性能与分割的S-OSPF相当。
{"title":"Load-balanced routing with selective even traffic splitting ∗","authors":"M. Honma, S. Tsunoda, E. Oki","doi":"10.2201/NIIPI.2013.10.11","DOIUrl":"https://doi.org/10.2201/NIIPI.2013.10.11","url":null,"abstract":"This paper proposes an even-split Smart-OSPF (S-OSPF) scheme to reduce network congestion more than the conventional non-split S-OSPF and to distribute traffic more easily than the conventional split S-OSPF. In split S-OSPF, source edge nodes distribute traffic unevenly to their neighbor nodes, but the implementation becomes involved to split traffic with different distribution. In non-split S-OSPF, source edge nodes transmit traffic to only one neighbor so that network congestion can be minimized, where non-split S-OSPF distributes traffic more simply than split S-OSPF. In the proposed scheme, source edge nodes transmit traffic evenly to selected neighbor nodes to minimize network congestion. The optimization problem to select a suitable set of neighbor nodes for even traffic distribution raised by the proposed scheme is formulated as an Integer Linear Programming (ILP) problem. The difficulty of solving the ILP problem in a practical time leads us to introduce a heuristic algorithm. The performances of our developed heuristic algorithm are evaluated via simulation developed in terms of network size. Numerical results show that even-split S-OSPF offers better routing performance than non-split S-OSPF for small-size networks and matches that of split S-OSPF for large-size networks.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"43 1","pages":"175"},"PeriodicalIF":0.0,"publicationDate":"2013-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80258378","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
Automated techniques for higher-order program verification 用于高阶程序验证的自动化技术
N. Kobayashi, Luke Ong, David Van Horn
interpretation techniques are used to derive a control-flow analysis for a simple higher-order functional language. The analysis approximates the interprocedural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. The analysis is systematically derived by abstract interpretation of the stack-based CaEK abstract machine of Flanagan et al. using a series of Galois connections. The analysis induces an equivalent constraint-based formulation, thereby providing a rational reconstruction of a constraintbased, higher-order CFA from abstract interpretation principles. Joint work with Jan Midtgaard. CFA2: Pushdown Flow Analysis for Higher-Order Languages Dimitrios Vardoulakis (Northeastern University) Flow analysis is a valuable tool for creating better programming languages; its applications span optimization, debugging, verification and program understanding. Despite its apparent usefulness, flow analysis of higher-order programs has not been made practical. The reason is that existing analyses do not model function call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. Call/return mismatch results in imprecision and increases the analysis time. In this talk I will describe CFA, a flow analysis that provides unbounded call/return matching in
解释技术用于推导一个简单的高阶函数式语言的控制流分析。该分析近似于在一级函数和尾调用优化存在的情况下函数调用和返回的过程间控制流。通过对Flanagan等人的基于堆栈的CaEK抽象机使用一系列伽罗瓦连接进行抽象解释,系统地推导出该分析。该分析导出了一个等价的基于约束的公式,从而从抽象的解释原则中提供了一个基于约束的高阶CFA的合理重构。与Jan Midtgaard合作。Dimitrios Vardoulakis(东北大学)流程分析是创建更好的编程语言的一个有价值的工具;它的应用跨越了优化、调试、验证和程序理解。尽管高阶程序的流分析明显有用,但它还没有付诸实践。原因是现有的分析不能很好地建模函数调用和返回:它们只记住有限数量的待处理调用,因为它们用控制流图近似程序。调用/返回不匹配会导致不精确并增加分析时间。在这次演讲中,我将描述CFA,一种提供无界调用/返回匹配的流分析
{"title":"Automated techniques for higher-order program verification","authors":"N. Kobayashi, Luke Ong, David Van Horn","doi":"10.2201/NIIPI.2013.10.9","DOIUrl":"https://doi.org/10.2201/NIIPI.2013.10.9","url":null,"abstract":"interpretation techniques are used to derive a control-flow analysis for a simple higher-order functional language. The analysis approximates the interprocedural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. The analysis is systematically derived by abstract interpretation of the stack-based CaEK abstract machine of Flanagan et al. using a series of Galois connections. The analysis induces an equivalent constraint-based formulation, thereby providing a rational reconstruction of a constraintbased, higher-order CFA from abstract interpretation principles. Joint work with Jan Midtgaard. CFA2: Pushdown Flow Analysis for Higher-Order Languages Dimitrios Vardoulakis (Northeastern University) Flow analysis is a valuable tool for creating better programming languages; its applications span optimization, debugging, verification and program understanding. Despite its apparent usefulness, flow analysis of higher-order programs has not been made practical. The reason is that existing analyses do not model function call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. Call/return mismatch results in imprecision and increases the analysis time. In this talk I will describe CFA, a flow analysis that provides unbounded call/return matching in","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"32 1","pages":"157-165"},"PeriodicalIF":0.0,"publicationDate":"2013-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79648424","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 ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and 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