首页 > 最新文献

International Journal of Space-Based and Situated Computing最新文献

英文 中文
Location-based applications, services and technologies in aid of flight planning and GPS-based navigation for visual flight rules in developing countries: with a case study 基于位置的应用程序、服务和技术,帮助飞行计划和基于gps的视觉飞行规则导航在发展中国家:一个案例研究
Pub Date : 2018-01-01 DOI: 10.1504/IJSSC.2018.098695
E. Rogova, A. Maraj, Blerat Ukaj
General aviation flights range from gliders and powered parachutes to corporate business jet flights. The majority of the world's air traffic falls into this category which covers a large range of activities, both commercial and non-commercial. As such, general aviation plays an important role in the economic development. This paper treats the importance of VFR flight planning while using a navigational database, navigation points, restricted zones, obstacles, positioning, air speed and routes based on global positioning system (GPS). It provides an overview of a spatial database for flight planning and registration of navigational coordinates. The paper continues with an analysis of the planning process and the impact of an e-system for flight planning and navigation safety during VFR flights in Kosovo airspace. The practical implementation of this paper will result in the development of a bespoke software application for planning electronic flights.
通用航空的飞行范围从滑翔机、动力降落伞到公务机。世界上大部分的空中交通都属于这一类,它涵盖了广泛的商业和非商业活动。因此,通用航空在经济发展中起着重要的作用。本文讨论了基于全球定位系统(GPS)的导航数据库、导航点、限制区域、障碍物、定位、空速和航路的VFR飞行规划的重要性。它概述了用于飞行计划和导航坐标登记的空间数据库。该文件继续分析了规划过程和电子系统对科索沃空域VFR飞行期间飞行规划和导航安全的影响。本文的实际实施将导致开发一个定制的软件应用程序,用于规划电子飞行。
{"title":"Location-based applications, services and technologies in aid of flight planning and GPS-based navigation for visual flight rules in developing countries: with a case study","authors":"E. Rogova, A. Maraj, Blerat Ukaj","doi":"10.1504/IJSSC.2018.098695","DOIUrl":"https://doi.org/10.1504/IJSSC.2018.098695","url":null,"abstract":"General aviation flights range from gliders and powered parachutes to corporate business jet flights. The majority of the world's air traffic falls into this category which covers a large range of activities, both commercial and non-commercial. As such, general aviation plays an important role in the economic development. This paper treats the importance of VFR flight planning while using a navigational database, navigation points, restricted zones, obstacles, positioning, air speed and routes based on global positioning system (GPS). It provides an overview of a spatial database for flight planning and registration of navigational coordinates. The paper continues with an analysis of the planning process and the impact of an e-system for flight planning and navigation safety during VFR flights in Kosovo airspace. The practical implementation of this paper will result in the development of a bespoke software application for planning electronic flights.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"1 1","pages":"225-237"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75652402","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 and evaluation of IoT application development method based on real object-oriented model 一种基于真实面向对象模型的物联网应用开发方法实现与评价
Pub Date : 2018-01-01 DOI: 10.1504/IJSSC.2018.097291
Hiroyuki Suzuki, A. Koyama
Currently, various IoT applications are developed and used in various fields. Generally, the development model of IoT applications is still vertical type model. However, in vertical type model, when novel systems are developed, same functions of past developed system cannot be used. As the results, the application development period becomes long. In this paper, we propose a novel IoT application development method based on 'real object-oriented model' which is a horizontal type model. The proposed method can be applied in the application development without being conscious the middleware. In order to improve the development efficiency and reduce the development period, the proposed method automatically combines an application and a middleware, and transmits the combined code to devices, and automatically execute the code at the devices. We evaluated amounts of source codes and development time for each method, and showed the usefulness of the proposed method compared with two conventional methods.
目前,各种物联网应用被开发并应用于各个领域。一般来说,物联网应用的开发模式仍然是垂直型模式。然而,在垂直型模型中,当开发新系统时,不能使用过去开发系统的相同功能。因此,应用程序的开发周期变长。本文提出了一种基于“真实面向对象模型”的物联网应用开发方法,该模型是一种水平类型模型。该方法可以在不考虑中间件的情况下应用于应用程序开发。为了提高开发效率,缩短开发周期,提出的方法将应用程序和中间件自动组合,并将组合后的代码传输到设备,在设备上自动执行代码。我们评估了每种方法的源代码量和开发时间,并将所提出的方法与两种传统方法进行了比较。
{"title":"An implementation and evaluation of IoT application development method based on real object-oriented model","authors":"Hiroyuki Suzuki, A. Koyama","doi":"10.1504/IJSSC.2018.097291","DOIUrl":"https://doi.org/10.1504/IJSSC.2018.097291","url":null,"abstract":"Currently, various IoT applications are developed and used in various fields. Generally, the development model of IoT applications is still vertical type model. However, in vertical type model, when novel systems are developed, same functions of past developed system cannot be used. As the results, the application development period becomes long. In this paper, we propose a novel IoT application development method based on 'real object-oriented model' which is a horizontal type model. The proposed method can be applied in the application development without being conscious the middleware. In order to improve the development efficiency and reduce the development period, the proposed method automatically combines an application and a middleware, and transmits the combined code to devices, and automatically execute the code at the devices. We evaluated amounts of source codes and development time for each method, and showed the usefulness of the proposed method compared with two conventional methods.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"13 1","pages":"151-159"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78369398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
On the target channel sequence selection for multiple handoffs in cognitive radio-based wireless regional area networks 基于认知无线电的无线局域网中多切换目标信道序列选择研究
Pub Date : 2018-01-01 DOI: 10.1504/IJSSC.2018.098691
Nitin Gupta, S. K. Dhurandher, I. Woungang, J. Rodrigues
In cognitive radio networks, handoff occurs when an unlicensed spectrum user has to switch to a new target channel from its current operating channel which a secondary user was using opportunistically. This situation raises whenever either the licensed primary user appears again or the channel's condition get worst. Substantial sensing time can be saved if a secondary user can make a proactive decision about selecting the future vacant target channel to resume the unfinished transmission before starting its transmission. This paper proposes a novel target channel sequence selection scheme for cognitive radio networks, which minimises the estimated service time of a secondary user by reducing the multiple handoffs. A non-iterative algorithm is implemented, which does not require the use of an exhaustive search technique as usual to determine the target channel sequence. Simulation results show that the proposed scheme outperforms both the random scheme and a considered benchmark scheme in terms of service time, cumulative handoff delay and throughput achieved by the secondary user.
在认知无线电网络中,当一个未授权的频谱用户必须从其当前的操作频道切换到一个新的目标频道时,就会发生切换。每当获得许可的主用户再次出现或通道状况变得更糟时,就会出现这种情况。如果辅助用户能够在开始传输之前主动决定选择未来的空闲目标信道以恢复未完成的传输,则可以节省大量的传感时间。本文提出了一种新的认知无线网络目标信道序列选择方案,该方案通过减少多次切换来最小化辅助用户的估计服务时间。实现了一种非迭代算法,它不需要像通常那样使用穷举搜索技术来确定目标信道序列。仿真结果表明,该方案在服务时间、累积切换延迟和辅助用户吞吐量方面均优于随机方案和基准方案。
{"title":"On the target channel sequence selection for multiple handoffs in cognitive radio-based wireless regional area networks","authors":"Nitin Gupta, S. K. Dhurandher, I. Woungang, J. Rodrigues","doi":"10.1504/IJSSC.2018.098691","DOIUrl":"https://doi.org/10.1504/IJSSC.2018.098691","url":null,"abstract":"In cognitive radio networks, handoff occurs when an unlicensed spectrum user has to switch to a new target channel from its current operating channel which a secondary user was using opportunistically. This situation raises whenever either the licensed primary user appears again or the channel's condition get worst. Substantial sensing time can be saved if a secondary user can make a proactive decision about selecting the future vacant target channel to resume the unfinished transmission before starting its transmission. This paper proposes a novel target channel sequence selection scheme for cognitive radio networks, which minimises the estimated service time of a secondary user by reducing the multiple handoffs. A non-iterative algorithm is implemented, which does not require the use of an exhaustive search technique as usual to determine the target channel sequence. Simulation results show that the proposed scheme outperforms both the random scheme and a considered benchmark scheme in terms of service time, cumulative handoff delay and throughput achieved by the secondary user.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"14 1","pages":"214-224"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73659280","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
Distance measurement correction based on feedback filter for RSSI localisation technique in WSNs 基于反馈滤波器的wsn RSSI定位测距校正
Pub Date : 2018-01-01 DOI: 10.1504/IJSSC.2018.097293
Dhouha El Houssaini, Zinab Mohamed, Sabrine Khriji, K. Besbes, O. Kanoun
Localisation methods based on the received signal strength indicator (RSSI) are widely used in wireless sensor networks (WSNs). They offer an energy reduced and cost-effective solutions for wireless localisation. Due to radio irregularity, RSSI localisation is vulnerable to multipath, shadowing, interference and environmental effects, which reduces the accuracy of localisation results. In this paper, a new distance measurement correction algorithm is presented, which is based on feedback filter and hardware characteristic. It implements the feedback filter with consideration of historical values of RSSI. This enables to predict possible values of RSSI and thus nodes positions. Hardware characteristics, such as multiplication and summation capabilities are explored to improve the localisation accuracy. Real experiments were carried out on panStamp sensor nodes at two different temperatures. The new proposed RSSI technique shows a reduced localisation error compared to the simple RSSI method.
基于接收信号强度指示器(RSSI)的定位方法在无线传感器网络中得到了广泛的应用。它们为无线定位提供了节能且具有成本效益的解决方案。由于无线电的不规则性,RSSI定位容易受到多径、阴影、干扰和环境影响,从而降低了定位结果的准确性。本文提出了一种基于反馈滤波和硬件特性的距离测量校正算法。考虑RSSI的历史值,实现了反馈滤波。这样可以预测RSSI的可能值,从而预测节点位置。探索了硬件特性,如乘法和求和能力,以提高定位精度。在两种不同温度下对panStamp传感器节点进行了实际实验。与简单的RSSI方法相比,新提出的RSSI技术显示出更小的定位误差。
{"title":"Distance measurement correction based on feedback filter for RSSI localisation technique in WSNs","authors":"Dhouha El Houssaini, Zinab Mohamed, Sabrine Khriji, K. Besbes, O. Kanoun","doi":"10.1504/IJSSC.2018.097293","DOIUrl":"https://doi.org/10.1504/IJSSC.2018.097293","url":null,"abstract":"Localisation methods based on the received signal strength indicator (RSSI) are widely used in wireless sensor networks (WSNs). They offer an energy reduced and cost-effective solutions for wireless localisation. Due to radio irregularity, RSSI localisation is vulnerable to multipath, shadowing, interference and environmental effects, which reduces the accuracy of localisation results. In this paper, a new distance measurement correction algorithm is presented, which is based on feedback filter and hardware characteristic. It implements the feedback filter with consideration of historical values of RSSI. This enables to predict possible values of RSSI and thus nodes positions. Hardware characteristics, such as multiplication and summation capabilities are explored to improve the localisation accuracy. Real experiments were carried out on panStamp sensor nodes at two different temperatures. The new proposed RSSI technique shows a reduced localisation error compared to the simple RSSI method.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"139 1","pages":"160-168"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80011163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A throughput estimation model under two-link concurrent communications with partially overlapping channels and its application to channel assignment in IEEE 802.11n WLAN 信道部分重叠的双链路并发通信吞吐量估计模型及其在IEEE 802.11n无线局域网信道分配中的应用
Pub Date : 2018-01-01 DOI: 10.1504/IJSSC.2018.097286
Kwenga Ismael Munene, N. Funabiki, M. Kuribayashi, R. Sudibyo, W. Kao
Currently, the IEEE 802.11n wireless local-area network (WLAN) has been deployed world-wide due to flexibility and low costs. A key challenge in the WLAN deployment is to provide high data-rate under strong interferences due to the limited frequency channels. In WLAN, the adjacent channels are partially overlapped with each other, called partially overlapping channels (POCs). Then, the optimal POC assignment to the access-points (APs) in WLAN using the mathematical model is important to improve the performance, particularly for usage of the channel bonding. In this paper, we propose the throughput estimation model extension for concurrent communications of two IEEE 802.11n links under interferences using POCs and the channel bonding, from extensive measurement results under a variety of conditions. Then, based on this model, we present the channel assignment extension in the active AP configuration algorithm for the elastic WLAN system, which dynamically optimises the topology depending on network conditions. For the evaluation, we verify the model accuracy through comparing estimated throughputs with measured ones under various conditions. On top of that, we confirm throughput improvements by adopting POCs from using merely orthogonal channels (OCs) in simulations and experiments in several topologies.
目前,IEEE 802.11n无线局域网(WLAN)因其灵活性和低成本已在世界范围内得到广泛应用。无线局域网部署面临的一个关键挑战是如何在有限信道的强干扰下提供高数据速率。在WLAN中,相邻的信道相互部分重叠,称为部分重叠信道(POCs)。因此,利用该数学模型对无线局域网的接入点(ap)进行最佳POC分配对于提高性能,特别是信道绑定的使用具有重要意义。本文从多种条件下的大量测量结果出发,利用POCs和信道绑定技术,对两条IEEE 802.11n链路在干扰下的并发通信吞吐量估计模型进行了扩展。然后,在此模型的基础上,提出了弹性WLAN系统主动AP配置算法中的信道分配扩展,该算法根据网络条件动态优化拓扑结构。为了评估,我们通过比较各种条件下的估计吞吐量和测量吞吐量来验证模型的准确性。最重要的是,我们在几种拓扑结构的模拟和实验中通过仅使用正交信道(OCs)采用POCs来证实吞吐量的改进。
{"title":"A throughput estimation model under two-link concurrent communications with partially overlapping channels and its application to channel assignment in IEEE 802.11n WLAN","authors":"Kwenga Ismael Munene, N. Funabiki, M. Kuribayashi, R. Sudibyo, W. Kao","doi":"10.1504/IJSSC.2018.097286","DOIUrl":"https://doi.org/10.1504/IJSSC.2018.097286","url":null,"abstract":"Currently, the IEEE 802.11n wireless local-area network (WLAN) has been deployed world-wide due to flexibility and low costs. A key challenge in the WLAN deployment is to provide high data-rate under strong interferences due to the limited frequency channels. In WLAN, the adjacent channels are partially overlapped with each other, called partially overlapping channels (POCs). Then, the optimal POC assignment to the access-points (APs) in WLAN using the mathematical model is important to improve the performance, particularly for usage of the channel bonding. In this paper, we propose the throughput estimation model extension for concurrent communications of two IEEE 802.11n links under interferences using POCs and the channel bonding, from extensive measurement results under a variety of conditions. Then, based on this model, we present the channel assignment extension in the active AP configuration algorithm for the elastic WLAN system, which dynamically optimises the topology depending on network conditions. For the evaluation, we verify the model accuracy through comparing estimated throughputs with measured ones under various conditions. On top of that, we confirm throughput improvements by adopting POCs from using merely orthogonal channels (OCs) in simulations and experiments in several topologies.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"22 1","pages":"123-137"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90055510","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
Design and evaluation of a utility tool for recorded class B AIS data in an unstable maritime environment 在不稳定的海上环境中记录B类AIS数据的实用工具的设计和评估
Pub Date : 2018-01-01 DOI: 10.1504/IJSSC.2018.098675
Misako Urakami, Hisaya Motogi, Tomohiro Sunada, Kenshiro Okamura, Takayuki Watanabe, N. Wakabayashi
We focus on the automatic identification system (AIS), which is a probe data system. Some researchers propose using this system not only to support ship handling, such as through collision avoidance, but also in other ways, such as for navigation time analysis, accident tracing, or navigation management by administrators on land. Therefore, we focus on the importance of obtaining more marine ship position information, including that for a small ship using class B AIS, to enrich the intelligent transport system service for marine traffic. First, we develop a processing tool to create an operation management book from the recorded AIS data. We then study the implementation of these utility tools and evaluate their effectiveness.
自动识别系统(AIS)是一种探测数据系统。一些研究人员建议使用该系统不仅支持船舶处理,如通过避免碰撞,而且在其他方面,如导航时间分析,事故跟踪,或陆地管理员的导航管理。因此,我们关注获取更多的船舶位置信息的重要性,包括使用B级AIS的小型船舶的位置信息,以丰富海上交通的智能交通系统服务。首先,我们开发了一个处理工具,根据记录的AIS数据创建操作管理手册。然后我们研究了这些实用工具的实现并评估了它们的有效性。
{"title":"Design and evaluation of a utility tool for recorded class B AIS data in an unstable maritime environment","authors":"Misako Urakami, Hisaya Motogi, Tomohiro Sunada, Kenshiro Okamura, Takayuki Watanabe, N. Wakabayashi","doi":"10.1504/IJSSC.2018.098675","DOIUrl":"https://doi.org/10.1504/IJSSC.2018.098675","url":null,"abstract":"We focus on the automatic identification system (AIS), which is a probe data system. Some researchers propose using this system not only to support ship handling, such as through collision avoidance, but also in other ways, such as for navigation time analysis, accident tracing, or navigation management by administrators on land. Therefore, we focus on the importance of obtaining more marine ship position information, including that for a small ship using class B AIS, to enrich the intelligent transport system service for marine traffic. First, we develop a processing tool to create an operation management book from the recorded AIS data. We then study the implementation of these utility tools and evaluate their effectiveness.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"46 1","pages":"188-195"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77078315","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
A design-aware test code approach for code writing problem in Java programming learning assistant system 针对Java编程学习辅助系统中代码编写问题的设计感知测试代码方法
Pub Date : 2017-12-29 DOI: 10.1504/IJSSC.2017.10010062
Khin Khin Zaw, N. Funabiki
To advance Java programming educations, we have developed the web-based Java programming learning assistant system (JPLAS) that provides the code writing problem. This problem asks a student to write a source code for a given assignment, where the correctness is verified by running the test code on JUnit. In this paper, we propose a design-aware test code approach for the code writing problem. The design-aware test code tests any important method in the model source code that has the advisable design for the assignment. Thus, by writing a code that can pass it, a student is expected to implement the code with the proper classes/methods in the model code. In evaluations of the proposal, all the students could complete highly qualitative codes for five graph algorithms using the design-aware test codes, where the code quality metrics were measured by metrics plugin for Eclipse.
为了推进Java编程教育,我们开发了基于web的Java编程学习辅助系统(JPLAS),该系统提供了代码编写问题。这个问题要求学生为给定的作业编写源代码,通过在JUnit上运行测试代码来验证其正确性。在本文中,我们提出了一种设计感知的测试代码方法来解决代码编写问题。设计感知测试代码测试模型源代码中任何重要的方法,这些方法对分配具有合理的设计。因此,通过编写可以通过它的代码,学生就可以在模型代码中使用适当的类/方法来实现代码。在提案的评估中,所有的学生都可以使用设计感知测试代码完成五种图形算法的高质量代码,其中代码质量度量是由Eclipse的度量插件度量的。
{"title":"A design-aware test code approach for code writing problem in Java programming learning assistant system","authors":"Khin Khin Zaw, N. Funabiki","doi":"10.1504/IJSSC.2017.10010062","DOIUrl":"https://doi.org/10.1504/IJSSC.2017.10010062","url":null,"abstract":"To advance Java programming educations, we have developed the web-based Java programming learning assistant system (JPLAS) that provides the code writing problem. This problem asks a student to write a source code for a given assignment, where the correctness is verified by running the test code on JUnit. In this paper, we propose a design-aware test code approach for the code writing problem. The design-aware test code tests any important method in the model source code that has the advisable design for the assignment. Thus, by writing a code that can pass it, a student is expected to implement the code with the proper classes/methods in the model code. In evaluations of the proposal, all the students could complete highly qualitative codes for five graph algorithms using the design-aware test codes, where the code quality metrics were measured by metrics plugin for Eclipse.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"401 1","pages":"145-154"},"PeriodicalIF":0.0,"publicationDate":"2017-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74298504","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
Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents 基于本地计算和移动代理的动态分布式网络中生成树的领导者选举和计算
Pub Date : 2017-10-03 DOI: 10.1504/IJSSC.2017.10008018
Mouna Ktari, M. Mosbah, A. Kacem
Leader election problem is among the important problems in distributed computing. The continued evolution of distributed systems keeps the distributed computing an open area of research. Distributed algorithms are hard to design and much harder to prove. To make designing distributed algorithm easier, we model this latter with a local computations model. Distributed algorithms are formally presented by rewriting rules. Beyond a formal presentation of these algorithms, local computations theory proposes not only a correctness proof by the use of invariants but also a termination proof by the use of the graph mathematical tool-box. Based on both, the local computations model and the mobile agent paradigms, we present in this paper a distributed algorithm that elects a leader and computes a spanning tree in a dynamic graph. Computations in dynamic graphs can be affected by a set of topological events: we address the appearance and the disappearance of places and communication channels. Our goal is to always maintain a tree by a single leader or a forest of sub-trees where each one has its own leader.
Leader选举问题是分布式计算中的一个重要问题。分布式系统的不断发展使分布式计算成为一个开放的研究领域。分布式算法很难设计,更难以证明。为了简化分布式算法的设计,我们采用局部计算模型对分布式算法进行建模。分布式算法通过重写规则形式化地表示出来。除了这些算法的形式化表示之外,局部计算理论不仅提出了使用不变量的正确性证明,而且还提出了使用图数学工具箱的终止证明。本文基于局部计算模型和移动智能体模型,提出了一种在动态图中选择领导者和计算生成树的分布式算法。动态图中的计算可能受到一组拓扑事件的影响:我们处理地点和通信通道的出现和消失。我们的目标是始终通过单个领导者或子树森林来维护树,其中每个子树都有自己的领导者。
{"title":"Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents","authors":"Mouna Ktari, M. Mosbah, A. Kacem","doi":"10.1504/IJSSC.2017.10008018","DOIUrl":"https://doi.org/10.1504/IJSSC.2017.10008018","url":null,"abstract":"Leader election problem is among the important problems in distributed computing. The continued evolution of distributed systems keeps the distributed computing an open area of research. Distributed algorithms are hard to design and much harder to prove. To make designing distributed algorithm easier, we model this latter with a local computations model. Distributed algorithms are formally presented by rewriting rules. Beyond a formal presentation of these algorithms, local computations theory proposes not only a correctness proof by the use of invariants but also a termination proof by the use of the graph mathematical tool-box. Based on both, the local computations model and the mobile agent paradigms, we present in this paper a distributed algorithm that elects a leader and computes a spanning tree in a dynamic graph. Computations in dynamic graphs can be affected by a set of topological events: we address the appearance and the disappearance of places and communication channels. Our goal is to always maintain a tree by a single leader or a forest of sub-trees where each one has its own leader.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"21 1","pages":"57-71"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84398469","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
Classification extension based on IoT-big data analytic for smart environment monitoring and analytic in real-time system 基于物联网大数据分析的分类扩展,用于智能环境监测与实时系统分析
Pub Date : 2017-10-03 DOI: 10.1504/IJSSC.2017.10008038
Riyadh Arridha, S. Sukaridhoto, D. Pramadihanto, N. Funabiki
Monitoring water conditions in real-time is a critical mission to preserve the water ecosystem in maritime and archipelagic countries, such as Indonesia that is relying on the wealth of water resources. To integrate the water monitoring system into the big data technology for real-time analysis, we have engaged in the ongoing project named smart environment monitoring and analytic in real-time system (SEMAR), which provides the IoT-big data platform for water monitoring. However, SEMAR does not have an analytical system yet. This paper proposes the analytical system for water quality classification using Pollution Index method, which is an extension of SEMAR. Besides, the communication protocol is updated from REST to MQTT. Furthermore, the real-time user interface is implemented for visualisation. The evaluations confirmed that the data analytic function adopting the linear SVM and decision tree algorithms achieves more than 90% for the estimation accuracy with 0.019075 for the MSE.
实时监测水情是保护海洋和群岛国家(如依赖丰富水资源的印度尼西亚)水生态系统的一项关键任务。为了将水监测系统整合到大数据技术中进行实时分析,我们正在开展智能环境实时监测与分析系统(SEMAR)项目,为水监测提供物联网大数据平台。然而,SEMAR还没有一个分析系统。本文提出了一种基于污染指数法的水质分类分析系统,该系统是SEMAR的扩展。此外,通信协议也从REST更新为MQTT。此外,还实现了实时用户界面的可视化。评价结果表明,采用线性支持向量机和决策树算法的数据分析函数的估计精度达到90%以上,MSE的估计精度为0.019075。
{"title":"Classification extension based on IoT-big data analytic for smart environment monitoring and analytic in real-time system","authors":"Riyadh Arridha, S. Sukaridhoto, D. Pramadihanto, N. Funabiki","doi":"10.1504/IJSSC.2017.10008038","DOIUrl":"https://doi.org/10.1504/IJSSC.2017.10008038","url":null,"abstract":"Monitoring water conditions in real-time is a critical mission to preserve the water ecosystem in maritime and archipelagic countries, such as Indonesia that is relying on the wealth of water resources. To integrate the water monitoring system into the big data technology for real-time analysis, we have engaged in the ongoing project named smart environment monitoring and analytic in real-time system (SEMAR), which provides the IoT-big data platform for water monitoring. However, SEMAR does not have an analytical system yet. This paper proposes the analytical system for water quality classification using Pollution Index method, which is an extension of SEMAR. Besides, the communication protocol is updated from REST to MQTT. Furthermore, the real-time user interface is implemented for visualisation. The evaluations confirmed that the data analytic function adopting the linear SVM and decision tree algorithms achieves more than 90% for the estimation accuracy with 0.019075 for the MSE.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"144 1","pages":"82-93"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77453230","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}
引用次数: 70
Efficient listen before technique for LTE-WiFi co-existence in unlicensed bands 高效听前技术,LTE-WiFi共存无授权频段
Pub Date : 2017-10-03 DOI: 10.1504/IJSSC.2017.10008041
Visali Mushunuri, B. Panigrahi, H. Rath, Anantha Simha
In a moderate to high traffic scenario wireless fidelity (WiFi) performance degrades severely due to interference and back-off mechanism. Licensed assisted access (LAA) has been proposed by 3rd Generation Partnership Project (3GPP) to use long term evolution (LTE) in the un-licensed spectrum. As the centralised LAA has to co-exist with existing distributed wireless fidelity (WiFi), efficient listen before talk (LBT) technique is required to reduce interference and improve spectral efficiency of WiFi and LAA users. In this paper, we have proposed an LBT mechanism to share the medium in a fair manner and improves both WiFi-LAA combined system performances significantly. We have also analysed closed form solution for the LBT technique. We validated network performance of proposed LBT model using network simulator (NS-3) and Matlab. The results indicated that with proper choice of LAA channel occupancy and backoff counter, significant performance gains of WiFi-LAA can be achieved.
在中高流量场景下,由于干扰和后退机制,无线保真度(WiFi)性能严重下降。第三代合作伙伴计划(3GPP)提出了授权辅助接入(LAA),以在未授权频谱中使用长期演进(LTE)。由于集中式LAA必须与现有的分布式无线保真度(WiFi)共存,因此需要高效的先听后讲(LBT)技术来减少干扰,提高WiFi和LAA用户的频谱效率。在本文中,我们提出了一种LBT机制,以公平的方式共享介质,显著提高了wi - fi - laa组合系统的性能。我们还分析了LBT技术的封闭形式解决方案。我们使用网络模拟器(NS-3)和Matlab验证了所提出的LBT模型的网络性能。结果表明,合理选择LAA信道占用率和退退计数器,可以显著提高WiFi-LAA的性能。
{"title":"Efficient listen before technique for LTE-WiFi co-existence in unlicensed bands","authors":"Visali Mushunuri, B. Panigrahi, H. Rath, Anantha Simha","doi":"10.1504/IJSSC.2017.10008041","DOIUrl":"https://doi.org/10.1504/IJSSC.2017.10008041","url":null,"abstract":"In a moderate to high traffic scenario wireless fidelity (WiFi) performance degrades severely due to interference and back-off mechanism. Licensed assisted access (LAA) has been proposed by 3rd Generation Partnership Project (3GPP) to use long term evolution (LTE) in the un-licensed spectrum. As the centralised LAA has to co-exist with existing distributed wireless fidelity (WiFi), efficient listen before talk (LBT) technique is required to reduce interference and improve spectral efficiency of WiFi and LAA users. In this paper, we have proposed an LBT mechanism to share the medium in a fair manner and improves both WiFi-LAA combined system performances significantly. We have also analysed closed form solution for the LBT technique. We validated network performance of proposed LBT model using network simulator (NS-3) and Matlab. The results indicated that with proper choice of LAA channel occupancy and backoff counter, significant performance gains of WiFi-LAA can be achieved.","PeriodicalId":43931,"journal":{"name":"International Journal of Space-Based and Situated Computing","volume":"1 1","pages":"108-118"},"PeriodicalIF":0.0,"publicationDate":"2017-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79867990","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
期刊
International Journal of Space-Based and Situated 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