{"title":"A two-stage budget-feasible mechanism for mobile crowdsensing based on maximum user revenue routing","authors":"","doi":"10.1016/j.future.2024.06.059","DOIUrl":null,"url":null,"abstract":"<div><p>Through user participation, mobile crowdsensing (MCS) services overcome the problem of the excessive costs of relying solely on the active deployment of sensors and of achieving large-scale and low-cost applications of the Internet of Things, which is a research hotspot. However, current research on MCS issues adopts the perspective of service providers and does not consider user strategies, so the corresponding models cannot accurately reflect the complete status of the system. Therefore, this paper decomposes the MCS problem into a two-stage game process. By doing so, the strategies of both users and service providers can be considered, thus maximizing the interest for both parties. In the first stage, users determine the optimal route based on information released by the service provider. In the second stage, the service provider determines the winning users and the corresponding payment plan based on the route and bid information submitted by all users. Specifically, we express the user’s optimal route decision-making problem as a traveling salesman problem with time windows and node number constraints. Accordingly, we design the F-MAX-RR algorithm based on an evolutionary algorithm. We show that this algorithm can achieve an approximation ratio of <span><math><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mn>1</mn><mo>/</mo><mi>e</mi><mo>)</mo></mrow></math></span>, with the expected number of iterations being <span><math><mrow><mn>8</mn><mi>e</mi><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><mi>L</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mi>M</mi></mrow></math></span>. In the second stage, to maximize the total utility of the system, we transform the problem into an integer programming model with a budget constraint, which satisfies submodular characteristics. We design the S-MAX-TUM mechanism based on monotonic allocation and critical price theory to solve the problem of winning user decision-making and pricing. We demonstrate the economic characteristics of the mechanism, including truthfulness, individual rationality, and budget feasibility. The experimental results indicate the effective performance of the designed mechanisms.</p></div>","PeriodicalId":55132,"journal":{"name":"Future Generation Computer Systems-The International Journal of Escience","volume":null,"pages":null},"PeriodicalIF":6.2000,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Future Generation Computer Systems-The International Journal of Escience","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0167739X24003595","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
Through user participation, mobile crowdsensing (MCS) services overcome the problem of the excessive costs of relying solely on the active deployment of sensors and of achieving large-scale and low-cost applications of the Internet of Things, which is a research hotspot. However, current research on MCS issues adopts the perspective of service providers and does not consider user strategies, so the corresponding models cannot accurately reflect the complete status of the system. Therefore, this paper decomposes the MCS problem into a two-stage game process. By doing so, the strategies of both users and service providers can be considered, thus maximizing the interest for both parties. In the first stage, users determine the optimal route based on information released by the service provider. In the second stage, the service provider determines the winning users and the corresponding payment plan based on the route and bid information submitted by all users. Specifically, we express the user’s optimal route decision-making problem as a traveling salesman problem with time windows and node number constraints. Accordingly, we design the F-MAX-RR algorithm based on an evolutionary algorithm. We show that this algorithm can achieve an approximation ratio of , with the expected number of iterations being . In the second stage, to maximize the total utility of the system, we transform the problem into an integer programming model with a budget constraint, which satisfies submodular characteristics. We design the S-MAX-TUM mechanism based on monotonic allocation and critical price theory to solve the problem of winning user decision-making and pricing. We demonstrate the economic characteristics of the mechanism, including truthfulness, individual rationality, and budget feasibility. The experimental results indicate the effective performance of the designed mechanisms.
期刊介绍:
Computing infrastructures and systems are constantly evolving, resulting in increasingly complex and collaborative scientific applications. To cope with these advancements, there is a growing need for collaborative tools that can effectively map, control, and execute these applications.
Furthermore, with the explosion of Big Data, there is a requirement for innovative methods and infrastructures to collect, analyze, and derive meaningful insights from the vast amount of data generated. This necessitates the integration of computational and storage capabilities, databases, sensors, and human collaboration.
Future Generation Computer Systems aims to pioneer advancements in distributed systems, collaborative environments, high-performance computing, and Big Data analytics. It strives to stay at the forefront of developments in grids, clouds, and the Internet of Things (IoT) to effectively address the challenges posed by these wide-area, fully distributed sensing and computing systems.