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

SSRN 2023年

作者： Triommatis, Theofilos Melissinos, Nikolaos Pagourtzis, Aris Department of Theoretical Computer Science Faculty of Information Technology Czech Technical University in Prague Prague Czech Republic School of Electrical and Computer Engineering National Technical University of Athens Polytechnioupoli Zografou Athens15780 Greece School of Electrical Engineering Electronics and Computer Science University of Liverpool LiverpoolL69-3BX United Kingdom

In this paper, we study the problem of counting the number of different knapsack solutions with a prescribed cardinality. We present an FPTAS for this problem, based on dynamic programming. We also introduce two different types of semi-fair allocations of indivisible goods between two players. By semi-fair allocations, we mean allocations that ensure that at least one of the two players will be free of envy. We study the problem of counting such allocations and we provide FPTASs for both types, by employing our FPTAS for the prescribed cardinality knapsack problem. © 2023, The Authors. All rights reserved.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Conflict-Based Search and Improvement Strategies for Solving a New Lexicographic Bi-Objective Multi-Agent Path Finding Problem

Conflict-Based Search and Improvement Strategies for Solving...

引用

2022 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2022

作者： Li, Siyi Li, Xingyang Zhou, Mengchu Zhao, Ziyan Liu, Shixin Northeastern University College of Information Science and Engineering Shenyang110819 China Northeastern University Foshan Graduate School of Innovation Foshan528311 China Northeastern University Faculty of Robot Science and Engineering Shenyang110819 China New Jersey Institute of Technology Department of Electrical and Computer Engineering NewarkNJ07102 United States Macao Inst. of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems Macau University of Science and Technology 999078 China

ISBN: (数字)9781665452588

ISBN: (纸本)9781665452588

Multi-Agent Path Finding (MAPF) is an important problem with a variety of applications. Its aim is to find collision-free paths for agents having separate start and goal positions. This work proposes a new lexicographic bi-objective MAPF considering different task types, where agents are divided into two kinds to perform critical and acritical tasks. This is common in practical intelligent warehousing scenarios where a critical/acritical-task-performing agent (called c-agent and a-agent, respectively) may represent a full-load/no-load one or the one conducting urgent/non-urgent tasks. The primary objective is to minimize the sum-of-costs of c-agents, while the secondary objective is to minimize the sum-of-costs of a-agents. Two MAPF algorithms are modified to fit and solve the concerned problem for the first time. Moreover, four improvement strategies are embedded to the proposed algorithms and proved to be effective in solving MAPF problems with different task types. © 2022 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Integrated sensing and full-duplex communication: Joint transceiver beamforming and power allocation

arXiv

引用

arXiv 2023年

作者： He, Zhenyao Xu, Wei Shen, Hong Ng, Derrick Wing Kwan Eldar, Yonina C. You, Xiaohu National Mobile Communications Research Laboratory Southeast University Bangladesh School of Electrical Engineering and Telecommunications University of New South Wales Australia Faculty of Mathematics and Computer Science Weizmann Institute of Science

Beamforming design has been widely investigated for integrated sensing and communication (ISAC) systems with full-duplex (FD) sensing and half-duplex (HD) communication. To achieve higher spectral efficiency, in this paper, we extend existing ISAC beamforming design by considering the FD capability for both radar and communication. Specifically, we consider an ISAC system, where the base station (BS) performs target detection and communicates with multiple downlink users and uplink users reusing the same time and frequency resources. We jointly optimize the downlink dual-functional transmit signal and the uplink receive beamformers at the BS and the transmit power at the uplink users. The problem is formulated to minimize the total transmit power of the system while guaranteeing the communication and sensing requirements. The downlink and uplink transmissions are tightly coupled, making the joint optimization challenging. To handle this issue, we first determine the receive beamformers in closed forms with respect to the BS transmit beamforming and the user transmit power and then suggest an iterative solution to the remaining problem. We demonstrate via numerical results that the optimized FD communication-based ISAC leads to power efficiency improvement compared to conventional ISAC with HD communication. Copyright © 2023, The Authors. All rights reserved.

关键词： Beamforming

来源：评论

学校读者我要写书评

暂无评论

Forecasting EV Market Trends in India: A Deep Learning Approach for Two/Three-Wheelers

Forecasting EV Market Trends in India: A Deep Learning Appro...

引用

International electrical engineering Congress (iEECON)

作者： Rishav Dev Mishra Santanu Kumar Dash Saichol Chudjuarjeen Suratsavadee Korkua School of Computer Science and Engineering Vellore Institute of Technology Vellore India TIFAC-CORE Vellore Institute of Technology Vellore India Dept. Electrical Engineering Faculty of Engineering Rajamangala University of Technology Krungthep Bangkok Thailand School of Engineering and Technology Walailak University Thailand

ISBN: (数字)9798350383591

ISBN: (纸本)9798350383607

This research paper presents a comprehensive analysis of machine learning models for predicting future sales of electric vehicles (EVs) in the Indian Market. With a specific focus on 2 and 3 wheeler sales. The study compares different machine learning approaches, including Linear Regression, Support Vector Regression (SVR), Long Short-Term Memory (LSTM) Neural Network, Through an evaluation of their respective errors, LSTM Neural Network method demonstrates superior prediction accuracy, making it the preferred model for forecasting EV sales, specifically 2 wheeler and 3 wheeler sales over the next five years. The paper aims to present the forecasted sales figures, in hopes of providing valuable insights into the future trajectory of EV sales and serving as a vital resource for stakeholders in the electric vehicle industry.

关键词： Industries Neural networks Transportation Predictive models Electric vehicles Market research Trajectory

来源：评论

学校读者我要写书评

暂无评论

A Model to Measure Cyber Security Maturity at the National Level

A Model to Measure Cyber Security Maturity at the National L...

引用

Iranian Conference on electrical engineering (ICEE)

作者： Mahdi Omrani Masoud Shafiee Siavash Khorsandi Department of Management Science and Technology Future Studies Engineering Amir Kabir University of Technology Tehran Iran Faculty of Electrical Engineering Amir Kabir University of Technology Tehran Iran Faculty of Computer Engineering Amir Kabir University of Technology Tehran Iran

Cyberspace is one of the important components of countries' national security, and the evaluation of the security of this space will identify the strengths and weaknesses of systems and networks. Using the results of the evaluations, countries can adopt the necessary strategies to improve cyber security. Considering the inefficiency and weakness of global and regional models for measuring Iran's cyber security maturity, the present research was conducted to obtain a national cyber security maturity measurement model with a mixed approach (qualitative and quantitative) and content analysis method. Further, after receiving experts' opinions about the importance and degree of influence of the components on each other, ten key components of cyber security were selected using the method of cross-effects analysis and Micmac software, and 30 criteria were used compiled to measure the key components. Finally, the level of maturity of Iran's cyber security has been determined based on the proposed maturity model, and the results of this model have been compared with other research models and its advantages have been stated.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Empowering Smart Homes with Fog Computing for IoT Connectivity

Empowering Smart Homes with Fog Computing for IoT Connectivi...

引用

Decision Aid sciences and Application (DASA), International Conference on

作者： Amjed Abbas Ahmed Ali Hamza Najim Ali Jafer Mahdi Khattab M. Ali Alheeti Nurhizam Safie Mohd Satar Aisha Hassan Abdallah Hashim Faculty of Information Science and Technology Center for Cyber Security Universiti Kebangsaan Malaysia Bangi Malaysia Department of Computer Techniques Engineering Imam AIKadhum College (IKC) Baghdad Iraq Department of Computer Technical Engineering Imam Al-Kadhum College (IKC) Al-Diwaniyah Iraq Department of Scientific Affairs AI-Zahraa University for Women Bangi Malaysia Computer Networking Systems Department College of Computer and Information Technology University of Anbar Anbar Iraq Cyber Security Faculty of Information Science and Technology Universiti Kebangsaan Malaysia (UKM) Bangi Malaysia Department of Electrical and Computer Engineering Faculty of Engineering International Islamic University Malaysia Selangor Malaysia

ISBN: (数字)9798350369106

ISBN: (纸本)9798350369113

Innovative grid technology leverages Information and Communication Technology (ICT) to enhance energy efficiency and mitigate losses. This paper introduces a “novel three-tier hierarchical framework for smart homes within the Internet of Things (IoT)” ecosystem, addressing the current shortage of intelligent solutions that underutilize IoT advantages. Our framework's primary objective is to elevate smart homes to the microgrid level, enabling the seamless integration from the microgrid's renewable distributed energy sources and attaining maximum energy efficiency. In addition to traditional data processing, we propose the application of fog computing in smart homes. Through a rigorous simulation using real smart meter datasets, our study demonstrates that fog computing, mainly when using predictive filtering, may drastically cut down on the amount of data being sent and the load on the home's network. This innovation holds immense potential for revolutionizing energy management and resource allocation in the context of smart homes, thus contributing to a sustainable and efficient future. This research represents a critical step towards harnessing the power of IoT and fog computing in smart grids and homes, offering a promising path towards more intelligent, eco-friendly, and energy-efficient living spaces.

关键词： Renewable energy sources Smart homes Microgrids Data processing Energy efficiency Smart grids Information and communication technology Internet of Things Optimization Edge computing

来源：评论

学校读者我要写书评

暂无评论

Dual Active Bridge Converter Output Current Ripple Prediction in EV Battery Chargers Through Multimodal Adaptive Spatio-Temporal Graph Neural Network

Dual Active Bridge Converter Output Current Ripple Predictio...

引用

Trends in Material science and Inventive Materials (ICTMIM), International Conference on

作者： Abhay Chaturvedi Mudit Mittal Swapnil Uttamrao Deokar Rachit Adhvaryu G. Satish Natrayan L Department of Electronics & Communication Engineering GLA University Mathura Uttar Pradesh India Department of Computer Science & Engineering Graphic Era Deemed to be University Dehradun Departement of Mechanical Engineering Smt. Kashibai Navale College of Engineering Pune Maharashtra Computer Science and Engineering Faculty of Engineering and Technology Parul Institute of Engineering and Technology Parul University Post Limda Gujarat India Department of Electrical and Electronics Engineering Sree Dattha Institute of Engineering and Science Sheriguda Telangana India Department of Mechanical Engineering Saveetha School of Engineering SIMATS Chennai Tamil Nadu

ISBN: (数字)9798331501488

ISBN: (纸本)9798331501495

The prediction of converter output current ripple in Electric Vehicle (EV) battery chargers stands as a vital condition to maintain stable charging with safe battery operation by reducing voltage fluctuations and delivering steady currents. The prediction of converter output current ripple faces difficulties because the complex dynamics of converter behavior changes according to various load conditions and environmental factors. This measurement inaccuracy threatens the capability to make optimal power transfers and reduces loss management ability thereby affecting the life span and operational performance of the EV battery. This research presents a framework to predict the amount of current oscillation in chargers for EV battery systems powered by Dual Active Bridge (DAB) Converter. The proposed technique utilizes Multimodal Adaptive Spatio-Temporal Graph Neural Network (MASTGNN) as its method. The proposed method aims at both enhancing current ripple prediction accuracy and optimizing converter performance together with improving EV battery lifespan during charging. A MAST-GNN process predicts output current ripples in DAB converters used for EV battery charging through modeling which evaluates the behavior changes of voltage and current and power when operational parameters vary. Implementation of the proposed method in MATLAB will undergo comparison testing with CNN as well as BESO-ANFIS and ANN together with other existing methods. By achieving an accuracy of 97% in current ripple prediction and maintaining a high converter efficiency of 98.5%, the proposed MASTGNN method outperforms traditional approaches without compromising the stability and performance of the EV battery charging process.

关键词： Battery chargers Accuracy Adaptive systems Switched reluctance motors Electric vehicles Real-time systems Loss measurement Graph neural networks Batteries Vehicle dynamics

来源：评论

学校读者我要写书评

暂无评论

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs 13

OnlineProver: Experience with a Visualisation Tool for Teach...

引用

13th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2024

作者： Perháč, Ján Novotný, Samuel Chodarev, Sergej Kristensen, Joachim Tilsted Tveito, Lars Shturmov, Oleks Thomsen, Michael Kirkedal Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Košice Slovakia Department of Informatics University of Oslo Oslo Norway Department of Computer Science University of Copenhagen Copenhagen Denmark

OnlineProver is an interactive proof assistant tailored for the educational setting. Its main features include a user-friendly interface for editing and checking proofs. The user interface provides feedback directly within the derivation, based on error messages from a proof-checking web service. A basic philosophy of the tool is that it should aid the student while still ensuring that the students construct the proofs as if they were working on paper. We gathered feedback on the tool through a questionnaire, and we conducted an intervention to assess its effectiveness for students in a classroom setting, alongside an evaluation of technical aspects. The initial intervention showed that students were satisfied with using OnlineProver as part of their coursework, providing initial confirmation of the learning approach behind it. This gives clear directions for future developments, with the potential to find and evaluate how OnlineProver can improve the teaching of natural deduction. © J. Perháč et al.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

An Efficient Shortest Path Optimized Algorithm For Vehicle Adhoc Networks System

An Efficient Shortest Path Optimized Algorithm For Vehicle A...

引用

International Conference on Circuit, Power and Computing Technologies (ICCPCT)

作者： K. Shalini K. Harinath Reddy Kondalarao Punati Kavin K. S. P. Veena K. Pushpalatha Department of Artificial Intelligence and Data Science Vardhaman College of Engineering Shamshabad India Department of Electrical and Electronics Engineering Annamacharya Institute of Technology and Sciences Rajampet India Faculty of Electronics and Communication Engineering Hyderabad Institute of Technology and Management Hyderabad India Department of Electrical and Electronics Engineering Government College of Engineering Tirunelveli Tamilnadu India Department of Computer Engineering N. S. S. Polytechnic College Pandalam Pathanamthitta India Department of Computer Science and Engineering Coimbatore Institute of Engineering and Technology Coimbatore India

ISBN: (数字)9798350372816

ISBN: (纸本)9798350372823

VANET (Vehicular ad-hoc network) is a network of advanced automobiles designed to solve the problem of mobility and, as a result, reduce the number of accidents. Because VANET is a type of MANET (mobile ad hoc network) surrounded by human-driven nodes, the social concept can be used to explain VANET routing decisions. This motivates academics to look into the possibilities of using Social Network Analysis (SNA) to create routing strategies. The most critical problem in any system is parcel drop. Social characteristics-based architectures encounter comparable challenges, resulting in inefficient message delivery. In this research, the dragonfly method is used to the shortest path methodology for fixed line VANET with the purpose of reducing package drop and increasing network reliability. This is made achievable by sculpted system of values centralization analysis, which improves the decision via dragonfly optimization methodology. The behavior of the using nodes capability then be determined by the importance computation. In this study, the sustainability of the optimized shortest path system is measured in terms of End to End delay, Energy Consumption, Packet Loss, and Throughput. The dragonfly algorithm’s throughput evaluation is 650 kbps as compared to the traditional way.

关键词： Social networking (online) Vehicular ad hoc networks Transportation Routing Throughput Safety Sustainable development

来源：评论

学校读者我要写书评

暂无评论

WIT-Greedy: Hardware System Design of Weighted ITerative Greedy Decoder for Surface Code

WIT-Greedy: Hardware System Design of Weighted ITerative Gre...

引用

Asia and South Pacific Design Automation Conference

作者： Wang Liao Yasunari Suzuki Teruo Tanimoto Yosuke Ueno Yuuki Tokunaga Photon Science Center the University of Tokyo Japan NTT Computer and Data Science Laboratories Japan Faculty of Information Science and Electrical Engineering Kyushu University Japan Graduate School of Information Science and Technology the University of Tokyo Japan

Large error rates of quantum bits (qubits) are one of the main difficulties in the development of quantum computing. Performing quantum error correction (QEC) with surface codes is considered the most promising approach to reduce the error rates of qubits effectively. To perform error correction, we need an error-decoding unit, which estimates errors in the noisy physical qubits repetitively, to create a robust logical qubit. While complicated graph-matching problems must be solved within a strict time restriction for the error decoding, several hardware implementations that satisfy the restriction at a large code distance have been proposed. However, the existing decoder designs are still challenging in reducing the logical error rate. This is because they assume that the error rates of physical qubits are uniform while they have large variations in practice. According to our numerical simulation based on the quantum chip with the largest qubit number, neglecting the non-uniform error properties of a real quantum chip in the decoding process induces significant degradation of the logical error rate and spoils the benefit of QEC. To take the non-uniformity into account, decoders need to solve matching problems on a weighted graph, but they are difficult to solve using the existing designs without exceeding the time limit of decoding. Therefore, a decoder that can treat both the non-uniform physical error rates and the large surface code is strongly demanded. In this paper, we propose a hardware design of decoding units for the surface code that can treat the non-identical error properties with small latency at a large code distance. The key idea of our design is 1) constructing a look-up table for calculating the shortest paths between nodes in a weighted graph and 2) enabling parallel processing during decoding. The implementation results in field programmable gate array (FPGA) indicate that our design scales up to code distance 11 within a microsecond-level delay,

关键词： Codes Error analysis Qubit Hardware Decoding Delays Table lookup

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：