检索结果-内蒙古大学图书馆

Green Routing Game: Strategic Logistical Planning using Mixed Fleets of ICEVs and EVs

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Sasahara, Hampei Dán, György Amin, Saurabh Sandberg, Henrik The Department of Systems and Control Engineering School of Engineering Tokyo Institute of Technology Tokyo152-8552 Japan The Division of Network and Systems Engineering School of Electrical Engineering and Computer Science Kth Royal Institute of Technology StockholmSE-100 44 Sweden The Laboratory for Information and Decision Systems Massachusetts Institute of Technology CambridgeMA02139 United States The Division of Decision and Control Systems School of Electrical Engineering and Computer Science Kth Royal Institute of Technology StockholmSE-100 44 Sweden

This paper introduces a "green" routing game between multiple logistic operators (players), each owning a mixed fleet of internal combustion engine vehicle (ICEV) and electric vehicle (EV) trucks. Each player faces the cost of delayed delivery (due to charging requirements of EVs) and a pollution cost levied on the ICEVs. This cost structure models: 1) limited battery capacity of EVs and their charging requirement;2) shared nature of charging facilities;3) pollution cost levied by regulatory agency on the use of ICEVs. We characterize Nash equilibria of this game and derive a condition for its uniqueness. We also use the gradient projection method to compute this equilibrium in a distributed manner. Our equilibrium analysis is useful to analyze the trade-off faced by players in incurring higher delay due to congestion at charging locations when the share of EVs increases versus a higher pollution cost when the share of ICEVs increases. A numerical example suggests that to increase marginal pollution cost can dramatically reduce inefficiency of equilibria. © 2022, CC BY-NC-ND.

关键词： Economic and social effects

A Novel & Innovative Blockchain-Empowered Federated Learning Approach for Secure Data Sharing in Smart City Applications 1

学校读者我要写书评

暂无评论

International Conference on Advances in Communication technology and computer Engineering, ICACTCE 2023

作者： Hai, Tao Wang, Dan Seetharaman, Tamizharasi Amelesh, M. Sreejith, P.M. Sharma, Vandana Ibeke, Ebuka Liu, Hong School of Computer and Information Qiannan Normal University for Nationalities Guizhou Duyun558000 China Key Laboratory of Advanced Manufacturing Technology of the Ministry of Education Guizhou University Guizhou Guizhou550025 China School of Information and Artificial Intelligence Nanchang Institute of Science and Technology Nanchang China School of Mathematics and Statistics Qiannan Normal University for Nationalities Guizhou Duyun558000 China Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province Guizhou Duyun558000 China Department of AI & ML Acharya Institute of Technology Bangalore India Amity Institute of Information Technology Amity University Noida Campus Noida India School of Creative and Cultural Business Robert Gordon University AberdeenAB10 7AQ United Kingdom

ISBN: (数字)9783031371646

ISBN: (纸本)9783031371639

The very existence of smart cities forms the stepping stone in the evolution of many technological advancements in the future era. While smart cities have already grown in their way, the tremendous amount of data generated from them paves the way for new perspectives of development. This is because security and privacy remain to be the major constraint across smart city applications. Further, smart city applications such as smart homes, smart transportation, and smart healthcare are generating a huge amount of data every day and it is often complex to collect and manage all the data together at a single location. To address these constraints, this paper presents a novel and innovative blockchain-assisted federated learning approach for secure data sharing in IoT Smart Cities. Here, we implement a federated learning approach, where the process of learning is made in a distributed fashion. The use of blockchain in turn adds more security and resilience to smart city applications. The security analysis proves that the proposed approach offers comparatively better performance and remains more resistant to various security threats and vulnerabilities. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Blockchain

The Age of Generative AI and AI-Generated Everything

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Du, Hongyang Niyato, Dusit Kang, Jiawen Xiong, Zehui Zhang, Ping Cui, Shuguang Shen, Xuemin Mao, Shiwen Han, Zhu Jamalipour, Abbas Vincent Poor, H. Kim, Dong In School of Computer Science and Engineering Nanyang Technological University Singapore639798 Singapore School of Automation Guangdong University of Technology Key Laboratory of Intelligent Information Processing and System Integration of IoT Ministry of Education Guangzhou510006 China Guangdong-HongKong-Macao Joint Laboratory for Smart Discrete Manufacturing Guangzhou510006 China Pillar of Information Systems Technology and Design Singapore University of Technology and Design Singapore487372 Singapore State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications China Chinese University of Hong Kong Shenzhen China Department of Electrical and Computer Engineering University of Waterloo WaterlooONN2L 3G1 Canada Department of Electrical and Computer Engineering Auburn University AuburnAL36849-5201 United States Department of Electrical and Computer Engineering University of Houston HoustonTX77004 United States Department of Computer Science and Engineering Kyung Hee University Seoul446-701 Korea Republic of School of Electrical and Information Engineering University of Sydney SydneyNSW2006 Australia Department of Electrical and Computer Engineering Princeton University PrincetonNJ08544 United States Department of Electrical and Computer Engineering Sungkyunkwan University Suwon16419 Korea Republic of

Generative AI (GAI) has emerged as a significant advancement in artificial intelligence, renowned for its language and image generation capabilities. This paper presents "AIGenerated Everything" (AIGX), a concept that extends GAI beyond mere content creation to real-time adaptation and control across diverse technological domains. In networking, AIGX collaborates closely with physical, data link, network, and application layers to enhance real-time network management that responds to various system and service settings as well as application and user requirements. Networks, in return, serve as crucial components in further AIGX capability optimization through the AIGX lifecycle, i.e., data collection, distributed pre-training, and rapid decision-making, thereby establishing a mutually enhancing interplay. Moreover, we offer an in-depth case study focused on power allocation to illustrate the interdependence between AIGX and networking systems. Through this exploration, the article analyzes the significant role of GAI for networking, clarifies the ways networks augment AIGX functionalities, and underscores the virtuous interactive cycle they form. This article paves the way for subsequent future research aimed at fully unlocking the potential of GAI and networks. © 2023, CC BY.

关键词： Decision making

Dfier: A Directed Vulnerability Verifier for Ethereum Smart Contracts

学校读者我要写书评

暂无评论

SSRN

SSRN 2023年

作者： Wang, Zeli Dai, Weiqi Li, Ming Choo, Kim-Kwang Raymond Zou, Deqing Chongqing Key Laboratory of Computational Intelligence Key Laboratory of Big Data Intelligent Computing Key Laboratory of Cyberspace Big Data Intelligent Security Ministry of Education College of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing40065 China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hubei Engineering Research Center on Big Data Security Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan430074 China Department of Information Systems and Cyber Security University of Texas at San Antonio San Antonio United States

Existing smart contract vulnerability identification approaches mainly focus on complete program detection. Consequently, lots of known potentially vulnerable locations need manual verification, which is energy-exhaustive and error-prone. Fuzzing is an effective way to detect vulnerabilities. However, current fuzzers cannot effectively probe these suspicious targets because they overlook two key factors: exploring all paths toward the targets and providing high-quality directed seed inputs. This paper presents a Directed vulnerability veriFier (DFier), elaborating effective transaction sequences with directed inputs for the fuzzer, to focus on analyzing target paths and automatically detect whether the given locations are vulnerable. Specifically, DFier fuses the effectiveness of static analysis and the efficiency of fuzzing. The static analysis helps locate target paths and generate directed inputs for the fuzzer under three heuristic strategies. The first prefers inputs with the larger possibility of triggering potential vulnerabilities based on target features. The second guides the value mutation to satisfy the path constraints. The third adequately leverages execution information to help find exploits faster. Extensive experiments demonstrate that DFier is effective in verifying contract security, compared with three existing contract fuzzers (i.e., contractFuzzer, sFuzz, and conFuzzius). And the performance losses are in an acceptable range. © 2023, The Authors. All rights reserved.

关键词： Smart contract

Reduced Network Cumulative Constraint Violation for distributed Bandit Convex Optimization under Slater’s Condition

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Zhang, Kunpeng Yi, Xinlei Ding, Jinliang Cao, Ming Johansson, Karl H. Yang, Tao State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang110819 China Department of Control Science and Engineering College of Electronics and Information Engineering Tongji University Shanghai201800 China Engineering and Technology Institute Groningen Faculty of Science and Engineering University of Groningen GroningenAG 9747 Netherlands Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Sweden Digital Futures Stockholm10044 Sweden

This paper studies the distributed bandit convex optimization problem with time-varying inequality constraints, where the goal is to minimize network regret and cumulative constraint violation. To calculate network cumulative constraint violation, existing distributed bandit online algorithms solving this problem directly use the clipped constraint function to replace its original constraint function. However, the use of the clipping operation renders Slater’s condition (i.e, there exists a point that strictly satisfies the inequality constraints at all iterations) ineffective to achieve reduced network cumulative constraint violation. To tackle this challenge, we propose a new distributed bandit online primal–dual algorithm. If local loss functions are convex, we show that the proposed algorithm establishes an O(T max{c,1−c})network regret bound and an O(T 1−c/2) network cumulative constraint violation bound, where T is the total number of iterations and c ∈ (0, 1) is a user-defined trade-off parameter. When Slater’s condition holds, the network cumulative constraint violation bound is reduced to O(T 1−c). In addition, if local loss functions are strongly convex, for the case where strongly convex parameters are unknown, the network regret bound is reduced to O(T1−c), and the network cumulative constraint violation bound is O(T1−c/2) and O(T1−c) without and with Slater’s condition, respectively. For the case where strongly convex parameters are known, the network regret bound is further reduced to O)(log(T)), and the network cumulative constraint violation bound is reduced to O(log(T)T) and O(log(T)) without and with Slater’s condition, respectively. To the best of our knowledge, this paper is among the first to establish reduced (network) cumulative constraint violation bounds for (distributed) bandit convex optimization with time-varying constraints under Slater’s condition. Finally, a numerical example is provided to verify the theoretical results. Copyright © 2

关键词： Convex optimization

Provably Convergent Federated Trilevel Learning

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Jiao, Yang Yang, Kai Wu, Tiancheng Jian, Chengtao Huang, Jianwei Department of Computer Science and Technology Tongji University China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University China Shanghai Research Institute for Intelligent Autonomous Systems China School of Science and Engineering The Chinese University of Hong Kong Shenzhen China Shenzhen Institute of Artificial Intelligence and Robotics for Society China

Trilevel learning, also called trilevel optimization (TLO), has been recognized as a powerful modelling tool for hierarchical decision process and widely applied in many machine learning applications, such as robust neural architecture search, hyperparameter optimization, and domain adaptation. Tackling TLO problems has presented a great challenge due to their nested decision-making structure. In addition, existing works on TLO face the following key challenges: 1) they all focus on the non-distributed setting, which may lead to privacy breach;2) they do not offer any non-asymptotic convergence analysis which characterizes how fast an algorithm converges. To address the aforementioned challenges, this paper proposes an asynchronous federated trilevel optimization method to solve TLO problems. The proposed method utilizes µ-cuts to construct a hyper-polyhedral approximation for the TLO problem and solve it in an asynchronous manner. We demonstrate that the proposed µ-cuts are applicable to not only convex functions but also a wide range of non-convex functions that meet the µ-weakly convex assumption. Furthermore, we theoretically analyze the non-asymptotic convergence rate for the proposed method by showing its iteration complexity to obtain ϵ-stationary point is upper bounded by (Formula Presented). Extensive experiments on real-world datasets have been conducted to elucidate the superiority of the proposed method, e.g., it has a faster convergence rate with a maximum acceleration of approximately 80%. Copyright © 2023, The Authors. All rights reserved.

关键词： Decision making

Cross View Capture for distributed Image Compression with Decoder Side Information

学校读者我要写书评

暂无评论

Cross View Capture for Distributed Image Compression with De...

IEEE International Conference on Robotics and Automation (ICRA)

作者： Yankai Yin Zhe Sun Peiying Ruan Feng Duan Ruidong Li Chi Zhu Tianjin Key Laboratory of Interventional Brain-Computer Interface and Intelligent Rehabilitation Nankai University Tianjin China Institute of Natural Sciences Kanazawa University Ishikawa Japan Faculty of Health Data Science and Graduate School of Medicine Juntendo University Chiba Japan NVIDIA AI Technology Center NVIDIA Japan Tokyo Japan Department of Systems Life Engineering Maebashi Institute of Technology Maebashi Japan

ISBN: (数字)9798350384574

ISBN: (纸本)9798350384581

Image compression is increasingly important in applications like intelligent driving and smart surveillance systems. This study presents a novel cross view capture distributed image compression network (CVCDIC) to improve the compression quality by using decoder side information. The CVCDIC’s decoder utilizes feature extraction networks to extract features from both the primary image and the side information. Furthermore, a multi-level cross view attention module is designed to capture interrelated details between images at multiple hierarchical levels. Finally, a spatial refinement module, constructed on the foundation of information distillation networks, is designed to further refine the quality of reconstructed images. The results show that CVCDIC can achieve an MS-SSIM of 0.978 at 0.15 bpp, surpassing DSIN (0.925), NDIC (0.956), and ATN (0.955) on the KITTI Stereo dataset.

关键词： Measurement Image coding Fuses Surveillance Rate-distortion Feature extraction Decoding

METHODOLOGY OF MODELING THE DETECTION OF LIMESCALE DEPOSITS IN SANITARY INSTALLATIONS 21

学校读者我要写书评

暂无评论

METHODOLOGY OF MODELING THE DETECTION OF LIMESCALE DEPOSITS ...

21st International Multidisciplinary Scientific Geoconference: Water Resources, Forest, Marine and Ocean Ecosystems, SGEM 202

作者： Czajkowski, Adrian Remiorz, Leszek Pawlak, Sebastian Remiorz, Eryk Szygula, Jakub Miscea.pl Engineering Sp. z o.o. Poland Department of Power Engineering and Turbomachinery Faculty of Energy and Environmental Engineering Silesian University of Technology Poland Doctoral School The Silesian University of Technology Poland Faculty of Mechanical Engineering Scientific and Didactic Laboratory of Nanotechnology and Materials Technologies Poland Department of Mining Mechanization and Robotisation Faculty of Mining Safety Engineering and Industrial Automation Silesian University of Technology Poland Department of Distributed Systems and Informatic Devices Faculty of Automatic Control Electronics and Computer Science Silesian University of Technology Poland

ISBN: (纸本)9786197603361

The article presents the issue of scale deposits in sanitary installations. Scale contributes to improper operation of sanitary devices and leads to their degradation. Scale build-up in pipes and measuring elements results in higher water consumption due to inaccurate estimation of this resource consumption. The consequence is that devices based on process automation do not work properly due to disturbances in the actual water flow. The formation of deposits also leads to economic and ecological losses, as sanitary installations elements have to be replaced, which affects the increased use of raw materials and the generation of waste. This is not in line with current trends and global objectives related to circular economy. Scale also results in increased energy consumption and reduced energy efficiency. This is due to the resistance of the flows and the increased work of the pumps. Scale has insulating properties, which results in less efficient heat transfer. In this stady, a mathematical model was developed to detect the formation of scale deposits in sanitary installations. On this basis, it is possible to control the quality status of sanitary installation components. In this way, by taking appropriate action at an early stage of the formation of deposits, it can extend the life of the installation. Having information on scale deposits, it will help avoid wasting water and lead to more accurate measurement of water flows. This is important for the proper operation of devices such as heat pumps, where their operation is automated and requires precise measurements of the energy processes taking place. Scale is a significant problem for households, and also for factories or public institutions that are exposed to hard water environments. © 2021 International Multidisciplinary Scientific Geoconference. All rights reserved.

关键词： Deposits

Blockchain technology for Secure Shared Medical Data

学校读者我要写书评

暂无评论

Blockchain Technology for Secure Shared Medical Data

Information technology (ACIT)

作者： M'hamed Mancer Khelili Mohamed Akram Ezedin Barka Kazar Okba Slatnia Sihem Saad Harous Belkacem Athamena Zina Houhamdi Department of Computer Science Smart computer science laboratory Biskra Algeria University of Mohamed Khider Biskra Algeria Numidia Institute of Technology Algeria Algeria Department of Information Systems and Security UAE University Al Ain UAE Department of Information Systems and Security College of Information Technology United Arab Emirate University United Arab Emirate Department of Computer Science College of Computing and Informatics AL Ain United Arab Emirates University of Sharjah Al Ain United Arab Emirate College of Business Al Ain University Al Ain UAE University of Al Ain Al Ain UAE

ISBN: (数字)9798350320244

ISBN: (纸本)9798350320251

A blockchain is a shared database allowing trust to be created between individuals without using intermediaries. The architecture here is decentralized, the data is distributed among the users, and therefore the information can never be erased. Today, many fields are interested in the development of products and technical solutions based on Blockchain technology. In this paper, we investigate blockchain in developing a Secure Shared Medical Record system (SSMR) for health data management. The proposed system aims to collect, store and share electronic medical records securely. It also makes it possible to provide doctors, for example, with medical information from other healthcare professionals, by defining a medical profile for each patient.

关键词： Drugs Medical services X-rays Data models Blockchains Security Electronic medical records