首页 > 最新文献

22nd International Conference on Advanced Information Networking and Applications (aina 2008)最新文献

英文 中文
A BAT in the Lab: Experimental Results of New Link State Routing Protocol 实验室中的BAT:新型链路状态路由协议的实验结果
Makoto Ikeda, G. Marco, L. Barolli, M. Takizawa
In this paper, we analyze the common problems of link state routing protocols along with an evolution of the Optimized Link State Routing protocol, called BATMAN. BATMAN uses a weighted and auto-selective flooding which makes it a sort of gossip protocol. The flooding uses short control packets to make every mesh node aware of network topology. However, there is no topology information dissemination and no multi-point relaying node selection. While routing loops are easily avoided by this modified flooding mechanism, there are still problems about self-interference. Due the broadcast nature of the radio channel, traffic data can disturb control data, and localized control data may cause interference on neighboring control data as well. In fact there is a complicated interaction between MAC and routing protocols. We demonstrate this fact by extensive field tests carried out by our measurement framework based on statistical tests. In particular, we show that the so called hop horizon of multi-hop network can be due to the routing and MAC protocols. These analysis can be a useful hint for the design of more intelligent routing, or rather a less cross-layer dependence of protocols.
在本文中,我们分析了链路状态路由协议的常见问题以及优化链路状态路由协议(称为BATMAN)的演变。BATMAN使用加权和自动选择洪水,这使其成为一种八卦协议。泛洪利用短的控制报文使每个网格节点都知道网络拓扑。但是,没有拓扑信息的传播,没有多点中继节点的选择。虽然这种改进的泛洪机制可以很容易地避免路由环路,但仍然存在自干扰问题。由于无线信道的广播性质,交通数据会干扰控制数据,局部控制数据也会对邻近控制数据造成干扰。事实上,MAC和路由协议之间有一个复杂的交互。我们通过基于统计测试的测量框架进行的广泛的现场测试来证明这一事实。特别地,我们证明了所谓的多跳网络的跳水平可能是由于路由和MAC协议。这些分析可以为设计更智能的路由提供有用的提示,或者更确切地说,是减少协议的跨层依赖性。
{"title":"A BAT in the Lab: Experimental Results of New Link State Routing Protocol","authors":"Makoto Ikeda, G. Marco, L. Barolli, M. Takizawa","doi":"10.1109/AINA.2008.60","DOIUrl":"https://doi.org/10.1109/AINA.2008.60","url":null,"abstract":"In this paper, we analyze the common problems of link state routing protocols along with an evolution of the Optimized Link State Routing protocol, called BATMAN. BATMAN uses a weighted and auto-selective flooding which makes it a sort of gossip protocol. The flooding uses short control packets to make every mesh node aware of network topology. However, there is no topology information dissemination and no multi-point relaying node selection. While routing loops are easily avoided by this modified flooding mechanism, there are still problems about self-interference. Due the broadcast nature of the radio channel, traffic data can disturb control data, and localized control data may cause interference on neighboring control data as well. In fact there is a complicated interaction between MAC and routing protocols. We demonstrate this fact by extensive field tests carried out by our measurement framework based on statistical tests. In particular, we show that the so called hop horizon of multi-hop network can be due to the routing and MAC protocols. These analysis can be a useful hint for the design of more intelligent routing, or rather a less cross-layer dependence of protocols.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121866631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
An Adaptive Overlay Network for World-Wide Geographic Messaging 用于全球地理信息传递的自适应覆盖网络
Frank Dürr, K. Rothermel
In this paper, we propose an overlay network supporting world-wide geographic messaging. Our approach is based on hierarchical symbolic coordinates like /usa/fl/miami/. Although hierarchical network topologies lend themselves to the implementation of such overlay networks, they may lead to bottlenecks at the root of the hierarchy, long message paths, and inefficient bandwidth utilization. To avoid these problems, we propose an overlay network that adapts its structure to the users' communication patterns by dynamically adding "shortcut" links to the hierarchy leading to a routing mesh. We present an algorithm that carefully selects shortcuts based on their utility to assure short message paths on the one hand and to reduce the induced overhead on the other hand. Through simulations we show that this approach decreases the average path length significantly and reduces network load to about 50% compared to hierarchical routing.
本文提出了一种支持全球地理信息传递的覆盖网络。我们的方法是基于像/usa/fl/miami/这样的分层符号坐标。尽管分层网络拓扑可以实现这种覆盖网络,但它们可能会在分层结构的根部导致瓶颈、长消息路径和低效率的带宽利用。为了避免这些问题,我们提出了一种覆盖网络,通过动态地向导致路由网格的层次结构中添加“快捷”链接,使其结构适应用户的通信模式。我们提出了一种算法,该算法根据快捷方式的实用性仔细选择快捷方式,一方面保证了短消息路径,另一方面减少了引起的开销。通过仿真表明,与分层路由相比,该方法显著降低了平均路径长度,并将网络负载降低了约50%。
{"title":"An Adaptive Overlay Network for World-Wide Geographic Messaging","authors":"Frank Dürr, K. Rothermel","doi":"10.1109/AINA.2008.67","DOIUrl":"https://doi.org/10.1109/AINA.2008.67","url":null,"abstract":"In this paper, we propose an overlay network supporting world-wide geographic messaging. Our approach is based on hierarchical symbolic coordinates like /usa/fl/miami/. Although hierarchical network topologies lend themselves to the implementation of such overlay networks, they may lead to bottlenecks at the root of the hierarchy, long message paths, and inefficient bandwidth utilization. To avoid these problems, we propose an overlay network that adapts its structure to the users' communication patterns by dynamically adding \"shortcut\" links to the hierarchy leading to a routing mesh. We present an algorithm that carefully selects shortcuts based on their utility to assure short message paths on the one hand and to reduce the induced overhead on the other hand. Through simulations we show that this approach decreases the average path length significantly and reduces network load to about 50% compared to hierarchical routing.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123884568","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
Delay Restraining of Combined Multiple Input Cross Core Router 组合多输入交叉核心路由器的时延抑制
Osama Al-Jaber, L. Guan, X. Wang, I. Awan, A. Grigg, Xuefen Chi
Delay is arguably one of the most vital Quality of Service (QoS) metrics in computer networks since it has many implications for real time multimedia applications. The congestion and queuing delay of Internet core routers is one of the most important fundamental research topics which plays a vital role in determination of the overall end-to-end delay. In previous works, the control algorithm proposed and modelled in the discrete-time domain, by controlling the value of the threshold within the queue buffer to achieve the required delay, is based on a single arrival in one time slot. In this paper, a new traffic model with the ability to capture the multiple arrivals in a single time slot is described and its application for restraining the delay to a pre-defined value within the network core router is developed. The feasibility of the system is examined using both theoretical analysis and simulation. A statistical evaluation is performed to show both efficiency and accuracy of the results acquired throughout the simulation.
延迟可以说是计算机网络中最重要的服务质量(QoS)指标之一,因为它对实时多媒体应用有许多影响。互联网核心路由器的拥塞和排队延迟是最重要的基础研究课题之一,对确定整体端到端延迟起着至关重要的作用。在以前的工作中,在离散时间域中提出并建模的控制算法是基于一个时隙的单次到达,通过控制队列缓冲区内的阈值来实现所需的延迟。本文描述了一种能够在单个时隙中捕获多个到达的新流量模型,并开发了该模型在网络核心路由器中将延迟限制在预定义值的应用。通过理论分析和仿真验证了该系统的可行性。进行了统计评估,以显示整个模拟过程中获得的结果的效率和准确性。
{"title":"Delay Restraining of Combined Multiple Input Cross Core Router","authors":"Osama Al-Jaber, L. Guan, X. Wang, I. Awan, A. Grigg, Xuefen Chi","doi":"10.1109/AINA.2008.115","DOIUrl":"https://doi.org/10.1109/AINA.2008.115","url":null,"abstract":"Delay is arguably one of the most vital Quality of Service (QoS) metrics in computer networks since it has many implications for real time multimedia applications. The congestion and queuing delay of Internet core routers is one of the most important fundamental research topics which plays a vital role in determination of the overall end-to-end delay. In previous works, the control algorithm proposed and modelled in the discrete-time domain, by controlling the value of the threshold within the queue buffer to achieve the required delay, is based on a single arrival in one time slot. In this paper, a new traffic model with the ability to capture the multiple arrivals in a single time slot is described and its application for restraining the delay to a pre-defined value within the network core router is developed. The feasibility of the system is examined using both theoretical analysis and simulation. A statistical evaluation is performed to show both efficiency and accuracy of the results acquired throughout the simulation.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125392167","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
Automatic Discovery of Physical Topology in Ethernet Networks 以太网物理拓扑的自动发现
V. G. D. Oliveira, J. Farkas, M. Salvador, G. Santos
Ethernet is becoming increasingly popular in metro and access networks due to the high bandwidth available at low cost. Nonetheless, native Ethernet lacks some features that are important for sophisticated network management; providing accurate knowledge on the physical topology is one of them. Therefore, automatic physical topology discovery in support of network management is essential in Ethernet networks. Former work either focused on Layer-3 topology discovery or only provided the active topology excluding the physical links inactivated by rapid spanning tree protocol. This paper introduces a novel mechanism capable of automatically discovering the entire physical topology of Ethernet networks. Our algorithm collects information available even in low-cost off- the-shelf Ethernet switches and then calculates the physical topology of the entire network. This paper describes the method and its implementation in a testbed network for assessing the performance and the robustness of the mechanism.
以太网在城域网和接入网中越来越受欢迎,因为它可以以低成本获得高带宽。尽管如此,原生以太网缺少一些对复杂的网络管理很重要的特性;提供准确的物理拓扑知识就是其中之一。因此,支持网络管理的自动物理拓扑发现在以太网中是必不可少的。以往的工作要么侧重于三层拓扑发现,要么只提供活动拓扑,不包括快速生成树协议不激活的物理链路。本文介绍了一种能够自动发现以太网整个物理拓扑结构的新机制。我们的算法收集即使在低成本的现成以太网交换机中可用的信息,然后计算整个网络的物理拓扑。本文描述了评估该机制性能和鲁棒性的方法及其在试验台网络中的实现。
{"title":"Automatic Discovery of Physical Topology in Ethernet Networks","authors":"V. G. D. Oliveira, J. Farkas, M. Salvador, G. Santos","doi":"10.1109/AINA.2008.95","DOIUrl":"https://doi.org/10.1109/AINA.2008.95","url":null,"abstract":"Ethernet is becoming increasingly popular in metro and access networks due to the high bandwidth available at low cost. Nonetheless, native Ethernet lacks some features that are important for sophisticated network management; providing accurate knowledge on the physical topology is one of them. Therefore, automatic physical topology discovery in support of network management is essential in Ethernet networks. Former work either focused on Layer-3 topology discovery or only provided the active topology excluding the physical links inactivated by rapid spanning tree protocol. This paper introduces a novel mechanism capable of automatically discovering the entire physical topology of Ethernet networks. Our algorithm collects information available even in low-cost off- the-shelf Ethernet switches and then calculates the physical topology of the entire network. This paper describes the method and its implementation in a testbed network for assessing the performance and the robustness of the mechanism.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125551019","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Fault Inference Mechanism in Sensor Networks Using Markov Chain 基于马尔可夫链的传感器网络故障推理机制
E. Shakshuki, Xinyu Xing
The reliability of communication and sensor devices has been recognized as one of the crucial issues in Wireless Sensor Networks (WSNs). In distributed environments, micro-sensors are subject to high-frequency faults. To provide high stability and availability of large scale sensor networks, we propose a fault inference mechanism based on reverse multicast tree to evaluate sensor nodes' fault probabilities. This mechanism is formulated as maximization-likelihood estimation problem. Due to the characteristics (energy awareness, constraint bandwidth and so on) of wireless sensor networks; it is infeasible for each sensor to announce its working state to a centralized node. Therefore, maximum likelihood estimates of fault parameters depend on unobserved latent variables. Hence, our proposed inference mechanism is abstracted as Nondeterministic Finite Automata (NFA). It adopts iterative computation under Markov Chain to infer the fault probabilities of nodes in reverse multicast tree. Through our theoretical analysis and simulation experiments, we were able to achieve an accuracy of fault inference mechanism that satisfies the necessity of fault detection.
在无线传感器网络(WSNs)中,通信和传感器设备的可靠性已被认为是关键问题之一。在分布式环境中,微传感器容易受到高频故障的影响。为了保证大规模传感器网络的高稳定性和高可用性,提出了一种基于反向组播树的故障推断机制来评估传感器节点的故障概率。该机制被表述为最大化似然估计问题。由于无线传感器网络具有能量感知、约束带宽等特点;每个传感器向一个集中节点通报其工作状态是不可实现的。因此,故障参数的最大似然估计依赖于未观测到的潜在变量。因此,我们提出的推理机制被抽象为非确定性有限自动机(NFA)。它采用马尔可夫链下的迭代计算来推断反向组播树中节点的故障概率。通过理论分析和仿真实验,我们得到了一种精度满足故障检测需要的故障推理机制。
{"title":"A Fault Inference Mechanism in Sensor Networks Using Markov Chain","authors":"E. Shakshuki, Xinyu Xing","doi":"10.1109/AINA.2008.36","DOIUrl":"https://doi.org/10.1109/AINA.2008.36","url":null,"abstract":"The reliability of communication and sensor devices has been recognized as one of the crucial issues in Wireless Sensor Networks (WSNs). In distributed environments, micro-sensors are subject to high-frequency faults. To provide high stability and availability of large scale sensor networks, we propose a fault inference mechanism based on reverse multicast tree to evaluate sensor nodes' fault probabilities. This mechanism is formulated as maximization-likelihood estimation problem. Due to the characteristics (energy awareness, constraint bandwidth and so on) of wireless sensor networks; it is infeasible for each sensor to announce its working state to a centralized node. Therefore, maximum likelihood estimates of fault parameters depend on unobserved latent variables. Hence, our proposed inference mechanism is abstracted as Nondeterministic Finite Automata (NFA). It adopts iterative computation under Markov Chain to infer the fault probabilities of nodes in reverse multicast tree. Through our theoretical analysis and simulation experiments, we were able to achieve an accuracy of fault inference mechanism that satisfies the necessity of fault detection.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126333405","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
Seamless QoS Guarantees in Mobile Internet Using NSIS with Advance Resource Reservation 基于NSIS和资源预约的移动互联网无缝QoS保障
Sooyong Lee, Myungchul Kim, Kyunghee Lee, Soonuk Seol, Gabsoo Lee
Providing seamless multimedia services to mobile users is one of the important requirements for the current Internet evolution. However, due to the effects of host mobility, it is difficult to achieve seamless QoS guarantees in mobile Internet. Though Next Step In Signaling (NSIS) protocol was recently proposed as an alternative of RSVP, its applicability has not been completely verified particularly in mobile environment. This paper enhances NSIS protocol based on advance resource reservation using layers 2 and 3 complementation for supporting host mobility. Our approach detects a crossover node (CRN) and reserves network resources proactively along the new path which will be used after handoff This significantly reduces the latency of signaling session re-establishment caused by handoff. Only a few modifications are required to the current NSIS protocol for our approach. The experimental results demonstrate that our approach can provide seamless QoS guarantees for multimedia services in mobile Internet.
为移动用户提供无缝的多媒体服务是当前互联网发展的重要要求之一。然而,由于主机移动性的影响,在移动互联网中很难实现无缝的QoS保证。虽然最近提出了作为RSVP替代方案的下一步信令(NSIS)协议,但其适用性尚未得到完全验证,特别是在移动环境中。本文利用第2层和第3层的互补对NSIS协议进行了改进,以支持主机的移动性。我们的方法检测交叉节点(CRN),并在切换后使用的新路径上主动保留网络资源,这大大减少了切换引起的信令会话重建延迟。我们的方法只需要对当前的NSIS协议进行少量修改。实验结果表明,该方法可以为移动互联网多媒体业务提供无缝的QoS保证。
{"title":"Seamless QoS Guarantees in Mobile Internet Using NSIS with Advance Resource Reservation","authors":"Sooyong Lee, Myungchul Kim, Kyunghee Lee, Soonuk Seol, Gabsoo Lee","doi":"10.1109/AINA.2008.110","DOIUrl":"https://doi.org/10.1109/AINA.2008.110","url":null,"abstract":"Providing seamless multimedia services to mobile users is one of the important requirements for the current Internet evolution. However, due to the effects of host mobility, it is difficult to achieve seamless QoS guarantees in mobile Internet. Though Next Step In Signaling (NSIS) protocol was recently proposed as an alternative of RSVP, its applicability has not been completely verified particularly in mobile environment. This paper enhances NSIS protocol based on advance resource reservation using layers 2 and 3 complementation for supporting host mobility. Our approach detects a crossover node (CRN) and reserves network resources proactively along the new path which will be used after handoff This significantly reduces the latency of signaling session re-establishment caused by handoff. Only a few modifications are required to the current NSIS protocol for our approach. The experimental results demonstrate that our approach can provide seamless QoS guarantees for multimedia services in mobile Internet.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128225350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Cyber Science Infrastructure (CSI) for Promoting Research Activities of Academia and Industries in Japan 促进日本学术界和工业界研究活动的网络科学基础设施(CSI)
S. Yamada
The National Institute of Informatics (NIL) is promoting the construction of the Cyber Science Infrastructure (CSI) through cooperation and other organizations, in order to promote Japan's academic and research educational activities and to further strengthen international competitiveness. This talk presents the Nil's strategic efforts to the following four areas, as expanding the various development projects and operations it has implemented to date within the framework of the CSI.
国立信息学研究所(NIL)正在通过与其他组织的合作推动网络科学基础设施(CSI)的建设,以促进日本的学术和研究教育活动,并进一步加强国际竞争力。本讲座介绍统筹科在以下四个范畴的策略性工作,以拓展统筹科至今在统筹科的框架内推行的各项发展计划和行动。
{"title":"Cyber Science Infrastructure (CSI) for Promoting Research Activities of Academia and Industries in Japan","authors":"S. Yamada","doi":"10.1109/AINA.2008.157","DOIUrl":"https://doi.org/10.1109/AINA.2008.157","url":null,"abstract":"The National Institute of Informatics (NIL) is promoting the construction of the Cyber Science Infrastructure (CSI) through cooperation and other organizations, in order to promote Japan's academic and research educational activities and to further strengthen international competitiveness. This talk presents the Nil's strategic efforts to the following four areas, as expanding the various development projects and operations it has implemented to date within the framework of the CSI.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131296628","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
Mutation Testing of Protocol Messages Based on Extended TTCN-3 基于扩展TTCN-3的协议消息突变检测
Chuanming Jing, Zhiliang Wang, Xingang Shi, Xia Yin, Jianping Wu
The critical requirement on reliability, fault-tolerance and security of network devices highlights the necessity of protocol robustness testing. Mutation testing of protocol messages is an important part of robustness testing, but related theory and practices are not well developed. This paper builds a NFSM model for mutation testing of protocol messages and proposes two types of normal-verification sequence to enhance verdict mechanism. For single-field mutation testing of protocol messages, we propose the concept of compound anomalous test case to further simplify test sequences. As a standard test specification language, TTCN-3 reveals strong excellence in conformance testing, so we apply TTCN-3 to mutation testing and extend it according to test requirements. Using our method we test OSPFv2 sufficiently with a test system based on extended TTCN-3. The results indicate that our method has good capability of error-finding.
网络设备对可靠性、容错性和安全性的苛刻要求凸显了协议鲁棒性测试的必要性。协议消息的突变测试是鲁棒性测试的重要组成部分,但相关的理论和实践并不发达。本文建立了一个用于协议消息突变测试的NFSM模型,并提出了两种类型的正常验证序列来增强判定机制。对于协议消息的单字段突变测试,我们提出了复合异常测试用例的概念,进一步简化了测试序列。作为一种标准的测试规范语言,TTCN-3在一致性测试方面显示出很强的优越性,因此我们将TTCN-3应用于突变测试,并根据测试需求对其进行扩展。利用我们的方法,我们利用一个基于扩展TTCN-3的测试系统对OSPFv2进行了充分的测试。结果表明,该方法具有良好的寻错能力。
{"title":"Mutation Testing of Protocol Messages Based on Extended TTCN-3","authors":"Chuanming Jing, Zhiliang Wang, Xingang Shi, Xia Yin, Jianping Wu","doi":"10.1109/AINA.2008.98","DOIUrl":"https://doi.org/10.1109/AINA.2008.98","url":null,"abstract":"The critical requirement on reliability, fault-tolerance and security of network devices highlights the necessity of protocol robustness testing. Mutation testing of protocol messages is an important part of robustness testing, but related theory and practices are not well developed. This paper builds a NFSM model for mutation testing of protocol messages and proposes two types of normal-verification sequence to enhance verdict mechanism. For single-field mutation testing of protocol messages, we propose the concept of compound anomalous test case to further simplify test sequences. As a standard test specification language, TTCN-3 reveals strong excellence in conformance testing, so we apply TTCN-3 to mutation testing and extend it according to test requirements. Using our method we test OSPFv2 sufficiently with a test system based on extended TTCN-3. The results indicate that our method has good capability of error-finding.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127101308","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
Parallel Computation of Similarity Measures Using an FPGA-Based Processor Array 基于fpga处理器阵列的相似性度量并行计算
D. Perera, K. F. Li
An enormous amount of data needs to be processed in many data mining applications. In addition to algorithmic development, hardware support is imperative to improve the effectiveness and efficiency of these applications. We are investigating various hardware architectural design techniques and methodologies to support data mining at the chip level. In this work, we focus on the design of an FPGA-based processor array for the computation of similarity matrix, a commonly used data structure to represent the similarity among a set of feature vectors, with each matrix element representing the computed similarity measure between two vectors. An algorithm is developed to assign computation efficiently to the array of processing elements. Theoretical performance metrics are derived and compared to the experimental results. Performance gains using the processor array over software implementations are also presented and discussed.
在许多数据挖掘应用中,需要处理大量的数据。除了算法开发之外,硬件支持对于提高这些应用程序的有效性和效率也是必不可少的。我们正在研究各种硬件架构设计技术和方法,以支持芯片级的数据挖掘。在这项工作中,我们重点设计了一个基于fpga的处理器阵列,用于计算相似矩阵,这是一种常用的数据结构,用于表示一组特征向量之间的相似性,每个矩阵元素表示计算出的两个向量之间的相似性度量。开发了一种算法,将计算有效地分配给处理元素数组。推导了理论性能指标,并与实验结果进行了比较。使用处理器阵列相对于软件实现的性能提升也进行了介绍和讨论。
{"title":"Parallel Computation of Similarity Measures Using an FPGA-Based Processor Array","authors":"D. Perera, K. F. Li","doi":"10.1109/AINA.2008.97","DOIUrl":"https://doi.org/10.1109/AINA.2008.97","url":null,"abstract":"An enormous amount of data needs to be processed in many data mining applications. In addition to algorithmic development, hardware support is imperative to improve the effectiveness and efficiency of these applications. We are investigating various hardware architectural design techniques and methodologies to support data mining at the chip level. In this work, we focus on the design of an FPGA-based processor array for the computation of similarity matrix, a commonly used data structure to represent the similarity among a set of feature vectors, with each matrix element representing the computed similarity measure between two vectors. An algorithm is developed to assign computation efficiently to the array of processing elements. Theoretical performance metrics are derived and compared to the experimental results. Performance gains using the processor array over software implementations are also presented and discussed.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127213816","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}
引用次数: 26
Classification Model Learning for Bulletin Board Site Analysis Based on Unbalanced Textual Examples 基于非平衡文本示例的公告板站点分析分类模型学习
S. Sakurai, R. Orihara
This paper proposes a method that acquires a more appropriate classification model for label extraction. The model can extract specific labels from articles included in bulletin board sites. The labels represent the contents of the articles and are used to characterize the articles. The method selects two kinds of important examples not including a specific label by using expressions related to the label. The method inductively acquires the classification model from the selected examples and examples including the label. The paper applies the method to articles collected from three bulletin board sites and verifies its effect through comparative experiments.
本文提出了一种获取更合适的标签提取分类模型的方法。该模型可以从布告栏网站中包含的文章中提取特定的标签。标签表示物品的内容,并用于描述物品的特征。该方法通过使用与标签相关的表达式来选择两种不包含特定标签的重要示例。该方法从选择的样本和包含标签的样本中归纳地获得分类模型。本文将该方法应用于从三个公告栏网站收集的文章,并通过对比实验验证了其效果。
{"title":"Classification Model Learning for Bulletin Board Site Analysis Based on Unbalanced Textual Examples","authors":"S. Sakurai, R. Orihara","doi":"10.1109/AINA.2008.57","DOIUrl":"https://doi.org/10.1109/AINA.2008.57","url":null,"abstract":"This paper proposes a method that acquires a more appropriate classification model for label extraction. The model can extract specific labels from articles included in bulletin board sites. The labels represent the contents of the articles and are used to characterize the articles. The method selects two kinds of important examples not including a specific label by using expressions related to the label. The method inductively acquires the classification model from the selected examples and examples including the label. The paper applies the method to articles collected from three bulletin board sites and verifies its effect through comparative experiments.","PeriodicalId":328651,"journal":{"name":"22nd International Conference on Advanced Information Networking and Applications (aina 2008)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133529843","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
期刊
22nd International Conference on Advanced Information Networking and Applications (aina 2008)
全部 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