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

43rd AIAA DATC/IEEE Digital Avionics systems Conference, DASC 2024

作者： Lindén, Joakim Burresi, Giovanni Forsberg, Håkan Daneshtalab, Masoud Söderquis, Ingemar School of Innovation Design and Engineering Mälardalen University Division of Intelligent Future Technologies Västerås Sweden Saab Aeronautics Stockholm Sweden School of Electrical Engineering and Computer Science Royal Institute of Technology Division of Electronics and Embedded Systems Stockholm Sweden

ISBN: (纸本)9798350349610

Machine Learning (ML) systems require representative and diverse datasets to accurately learn the objective task. In supervised learning data needs to be accurately annotated, which is an expensive and error-prone process. We present a method for generating synthetic data tailored to the use-case achieving excellent performance in a real-world usecase. We provide a method for producing automatically annotated synthetic visual data of multi rotor unmanned aerial vehicles (UAV) and other airborne objects in a simulated environment with a high degree of scene diversity, from collection of 3D models to generation of annotated synthetic datasets (synthsets). In our data generation framework SynRender we introduce a novel method of using Neural Radiance Field (NeRF) methods to capture photo-realistic high-fidelity 3D-models of multirotor UAVs in order to automate data generation for an object detection task in diverse environments. By producing data tailored to the real-world setting, our NeRF-derived results show an advantage over generic 3D asset collection-based methods where the domain gap between the simulated and real-world is unacceptably large. In the spirit of keeping research open and accessible to the research community we release our dataset VISER DroneDiversity used in this project, where visual images, annotated boxes, instance segmentation and depth maps are all generated for each image sample. © 2024 IEEE.

关键词： Drones

来源：评论

学校读者我要写书评

暂无评论

qSAT: design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

arXiv

引用

arXiv 2024年

作者： Kole, Abhoy Djeridane, Mohammed E. Weingarten, Lennart Datta, Kamalika Drechsler, Rolf Cyber-Physical Systems DFKI GmbH Bremen Germany Siemens Electronic Design Automation GmbH Hamburg Germany Institute of Computer Science University of Bremen Bremen Germany

The use of Boolean Satisfiability (SAT) solver for hardware verification incurs exponential run-time in several instances. In this work we have proposed an efficient quantum SAT (qSAT) solver for equivalence checking of Boolean circuits employing Grover’s algorithm. The Exclusive-Sum-of-Product based generation of the Conjunctive Normal Form equivalent clauses demand less qubits and minimizes the gates and depth of quantum circuit interpretation. The consideration of reference circuits for verification affecting Grover’s iterations and quantum resources are also presented as a case study. Experimental results are presented assessing the benefits of the proposed verification approach using open-source Qiskit platform and IBM quantum computer. © 2024, CC BY.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Joining Edge-Enabled Metaverse Services with Network Externality: A Stackelberg Game Approach

Joining Edge-Enabled Metaverse Services with Network Externa...

引用

2023 IEEE International Conference on Metaverse Computing, Networking and Applications, MetaCom 2023

作者： Jiang, Yuna Kang, Jiawen Niyato, Dusit Ge, Xiaohu Xiong, Zehui Xu, Minrui Deng, Ruilong Huazhong University of Science and Technology School of Electronic Information and Communications Wuhan China Guangdong University of Technology School of Automation Guangzhou China Nanyang Technological University School of Computer Science and Engineering Singapore Singapore University of Technology and Design Pillar of Information Systems Technology and Design Singapore Zhejiang University State Key Laboratory of Industrial Control Technology Hangzhou China Shenzhen Huazhong University of Science and Technology Research Institute China

ISBN: (纸本)9798350333336

The metaverse is defined as a three-dimensional virtual-real fusion network focused on social connection. Edge computing can empower the metaverse by providing computing resources to realize real-time motion tracking, visual or auditory rendering and virtual scene dynamic change at the edge of networks. Users enjoy the immersive experience provided by the Metaverse Service Provider (MSP), and interact through digital avatars in the virtual world by requesting metaverse services. In this paper, we formulate the edge computing resources pricing, metaverse service rendering bitrate pricing and request problem in the metaverse. Especially, we model the interactions among edge servers, the MSP and Metaverse Service Users (MSUs) as a hierarchical three-stage Stackelberg game. The problem of joining edge-enabled metaverse services is also studied with the consideration of network externality, including the network effect and congestion effect. Based on the backward induction method, we derive the optimal computing resources pricing of edge servers, rendering bitrate pricing of the MSP, and rendering bitrate requests of MSUs. We also prove the existence and uniqueness of the Stackelberg game equilibrium. Simulation results show that the network effect can bring more positive utilities to entities when the social tie coefficient among MSUs is higher. Besides, all entities in the edge-enabled metaverse are affected negatively by the congestion effect. © 2023 IEEE.

关键词： Edge computing

来源：评论

学校读者我要写书评

暂无评论

Enhanced Prognostics and Health Management in Automated Driving systems: Using Graph Neural Networks to Recognize Operational Contexts

Enhanced Prognostics and Health Management in Automated Driv...

引用

Prognostics and System Health Management Conference (PHM)

作者： Peng Su Yeqi Wang Conglei Xiang Erik Wendel Madhav Mishra DeJiu Chen Department of Engineering Design Mechatronics Division KTH Royal Institute of Technology Stockholm Sweden Embedded Systems Master Program of Electrical Engineering and Computer Science (EECS) School KTH Royal Institute of Technology Stockholm Sweden Digital Systems Division RISE Research Institutes of Sweden Gothenburg Sweden

ISBN: (数字)9798350360585

ISBN: (纸本)9798350360592

Prognostics and health management (PHM) is an engineering discipline that aims to maintain system behaviour and function and ensure mission success, safety and effectiveness. Addressing the challenges in prognostics and health management for modern intelligent systems, especially automated driving systems, is complex due to the contextual nature of faults. This complexity necessitates a thorough understanding of spatial, and temporal conditions, and relationships within operational scenarios and life-cycle stages. This paper introduces a framework designed to automatically recognize driving scenarios in automated driving systems using graph neural networks (GNNs). The framework extracts relational data from image frames, constructing graph-based models and transforming unstructured sensory data into structured data with diverse node types and relationships. A specific graph neural network processes the graph model to reveal and detect operational conditions and relationships. The proposed framework is evaluated using the KITTI dataset, demonstrating superior performance compared to conventional feed-forward networks such as MLP, particularly in handling relational data.

关键词： Graph neural networks Data models Safety Complexity theory Data mining Prognostics and health management Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Optimization of Cognitive Radio System Using Self-Learning Salp Swarm Algorithm

引用

computers, Materials & Continua 2022年第2期70卷 3821-3835页

作者： Nitin Mittal Harbinder Singh Vikas Mittal Shubham Mahajan Amit Kant Pandit Mehedi Masud Mohammed Baz Mohamed Abouhawwash Department of Electronics&Communication Engineering Chandigarh UniversityMohali140413India School of VLSI Design and Embedded Systems National Institute of TechnologyKurukshetra136119India School of Electronics&Communication Engineering Shri Mata Vaishno Devi UniversityKatra182320India Department of Computer Science College of Computers and Information TechnologyTaif UniversityTaif21944Saudi Arabia Department of Computer Engineering College of Computer and Information TechnologyTaif UniversityTaif21994Saudi Arabia Department of Mathematics Faculty of ScienceMansoura UniversityMansoura35516Egypt Department of Computational Mathematics Scienceand Engineering(CMSE)Michigan State UniversityEast LansingMI48824USA

CognitiveRadio(CR)has been developed as an enabling technology that allows the unused or underused spectrum to be used dynamically to increase spectral *** improve the overall performance of the CR systemit is extremely important to adapt or reconfigure the *** Decision Engine is a major module in the CR-based system that not only includes radio monitoring and cognition functions but also responsible for parameter *** meta-heuristic algorithms offer numerous advantages compared to traditional mathematical approaches,the performance of these algorithms is investigated in order to design an efficient CR system that is able to adapt the transmitting parameters to effectively reduce power consumption,bit error rate and adjacent interference of the channel,while maximized secondary user ***-Learning Salp Swarm Algorithm(SLSSA)is a recent meta-heuristic algorithm that is the enhanced version of SSA inspired by the swarming behavior of *** this work,the parametric adaption of CR system is performed by SLSSA and the simulation results show that SLSSA has high accuracy,stability and outperforms other competitive algorithms formaximizing the throughput of secondary *** results obtained with SLSSA are also shown to be extremely satisfactory and need fewer iterations to converge compared to the competitive methods.

关键词： Cognitive radio meta-heuristic algorithm cognitive decision engine salp swarm algorithm

来源：评论

学校读者我要写书评

暂无评论

Enhancing Drone Surveillance with NeRF: Real-World Applications and Simulated Environments

Enhancing Drone Surveillance with NeRF: Real-World Applicati...

引用

Conference on Digital Avionics systems (DASC)

作者： Joakim Lindén Giovanni Burresi Håkan Forsberg Masoud Daneshtalab Ingemar Söderquis Division of Intelligent Future Technologies School of Innovation Design and Engineering Malardalen University Vasteras Sweden Saab Aeronautics Stockholm Sweden Division of Electronics and Embedded Systems School of Electrical Engineering and Computer Science Royal Institute of Technology Stockholm Sweden

ISBN: (数字)9798350349610

ISBN: (纸本)9798350349627

关键词： Training Visualization Three-dimensional displays Object detection Machine learning Data collection Neural radiance field Autonomous aerial vehicles Data models Synthetic data

来源：评论

学校读者我要写书评

暂无评论

Adaptively Aggregating Pyramid Spatial-temporal Feature for Video Person Re-Identification 25

Adaptively Aggregating Pyramid Spatial-temporal Feature for ...

引用

Proceedings of the 4th International Conference on computer, Artificial Intelligence and Control Engineering

作者： Zhong Han Qianyue Duan Jianfeng An Huanjie Tao Yangzhou Collaborative Innovation Research Institute of Shenyang Aircraft Design and Research Institute Co. Ltd Yangzhou Jiangsu China School of Computer Science Northwestern Polytechnical University Xi' an Shaanxi China School of Computer Science Northwestern Polytechnical University Xi' an Shaanxi China Engineering and Research Center of Embedded Systems Integration (Northwestern Polytechnical University) Ministry of Education Xi' an Shaanxi China

ISBN: (纸本)9798400712647

Video person re-identification (ReID) aims to identify a particular person from the non-overlapping camera views by matching video sequences. It is challenging due to many complex factors, such as similar appearance, occlusion, pose, and viewpoint variation. Pyramid spatial-temporal aggregation (PSTA) is an important method that addresses these challenges. However, PSTA adopts a simple feature addition operation to fuse the hierarchical feature vectors into the video-level representations for video person ReID, which may cause the discriminative information in the feature vectors to be diluted. To solve the above issue, this paper presents an adaptive pyramid spatial-temporal aggregation network (APSNet) to learn more discriminative features. In APSNet, an adaptive feature fusion module (AFFM) is designed to adaptively recalibrate the channel feature responses by explicitly modeling the interdependence between channels. The designed AFFM can enhance the useful features and suppress the interference features during the feature fusion stage, resulting in more discriminative video-level feature representations. Experimental results demonstrate that APSNet has a better performance than PSTA on the MARS dataset, which reaches 86.2% mAP accuracy and 91.2% Rank-1 accuracy. Our APSNet improves the mAP accuracy by 0.4% compared with PSTA.

关键词： Attention Mechanism

来源：评论

学校读者我要写书评

暂无评论

Development of Software for Modeling the Drying Process of Hygroscopic Materials Using Cellular Automata

Development of Software for Modeling the Drying Process of H...

引用

International computer sciences and Information Technologies (CSIT)

作者： Yaroslav Sokolovskyy Oleksiy Sinkevych Roman Voliansky Oleksandr Storozhuk Department of Computer-Aided Design Systems Lviv Polytechnic National University Lviv Ukraine Department of Computer Science Ukrainian National Forestry University Lviv Ukraine Department of Electromechanical Systems Automation and Electric Drives National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine Department of Information Systems and Computer Modeling Ukrainian National Forestry University Lviv Ukraine

ISBN: (数字)9798331542634

ISBN: (纸本)9798331542641

In this work, software is developed for modeling the drying process of hygroscopic materials using cellular automata. The modeling process using cellular automata is described, and the developed transition rules that consider heat and mass transfer not only within the material but also between stacks are provided. The developed software uses a modern multi-tier client-server architecture, including a database for handling large volumes of computational data. Additionally, the results of the modeling, including their validation based on existing experimental data, are presented and analyzed.

关键词： computer science Accuracy Databases Computational modeling Automata computer architecture Software Data models Information technology Heat transfer

来源：评论

学校读者我要写书评

暂无评论

Constrained Probabilistic Pareto Dominance for Expensive Constrained Multiobjective Optimization Problems

引用

IEEE Transactions on Evolutionary Computation 2024年 1-1页

作者： Zhang, Zhiyao Wang, Yong Sun, Guangyong Pang, Tong Tang, Ke School of Automation Central South University Changsha China State Key Laboratory of Advanced Design and Manufacturing Technology for Vehicle Hunan University Changsha China Guangdong Key Laboratory of Brain-Inspired Intelligent Computation Department of Computer Science and Engineering and the Research Institute of Trustworthy Autonomous Systems Southern University of Science and Technology Shenzhen China

This paper proposes a new parameterless constraint-handling technique, named constrained probabilistic Pareto dominance (CPPD), for expensive constrained multiobjective optimization problems (CMOPs). In CPPD, when comparing two solutions, in terms of each original objective, we design a new objective for each solution, which is the negative product of two probabilities calculated based on the predicted fitness mean values and the uncertainty information provided by Kriging models: 1) the probability that this solution satisfies all constraints, denoted as PoF, and 2) the probability that this solution is better than the other on the original objective, denoted as PoB. It is evident that for each solution, PoF and PoB indicate its feasibility and its optimality on the corresponding original objective, respectively. Then, Pareto dominance based on new objectives is executed. As a result, both competitive feasible solutions and promising infeasible solutions with good diversity can be preserved by CPPD. These two kinds of solutions can help the population to exploit the located feasible parts and to explore new feasible parts, respectively. Further, based on CPPD, we develop a Pareto-based Kriging-assisted constrained multiobjective evolutionary algorithm (called PEA) to deal with expensive CMOPs with two or three objectives. Finally, PEA is generalized to solve expensive constrained many-objective optimization problems, named PEA+. The effectiveness of CPPD, PEA, and PEA+ is verified by comprehensive experiments. IEEE

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

Learning-Based Sustainable Multi-User Computation Offloading for Mobile Edge-Quantum Computing

Learning-Based Sustainable Multi-User Computation Offloading...

引用

IEEE International Conference on Communications (ICC)

作者： Minrui Xu Dusit Niyato Jiawen Kang Zehui Xiong Mingzhe Chen School of Computer Science and Engineering Nanyang Technological University Singapore School of Automation Guangdong University of Technology China Pillar of Information Systems Technology and Design Singapore University of Technology and Design Singapore Singapore Department of Electrical and Computer Engineering Institute for Data Science and Computing University of Miami Coral Gables FL USA

In this paper, a novel paradigm of mobile edgequantum computing (MEQC) is proposed, which brings quantum computing capacities to mobile edge networks that are closer to mobile users (i.e., edge devices). First, we propose an MEQC system model where mobile users can offload computational tasks to scalable quantum computers via edge servers with cryogenic components and fault-tolerant schemes. Second, we show that it is NP-hard to obtain a centralized solution to the partial offloading problem in MEQC in terms of the optimal latency and energy cost of classical and quantum computing. Third, we propose a multi-agent hybrid discrete-continuous deep reinforcement learning using proximal policy optimization to learn the long-term sustainable offloading strategy without prior knowledge. Finally, experimental results demonstrate that the proposed algorithm can reduce at least 30% of the cost compared with the existing baseline solutions under different system settings.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：