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

21st IEEE International Conference on High Performance computing and Communications, 17th IEEE International Conference on Smart City and 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019

作者： Zhang, Chenglong Cao, Huawei Ye, Xiaochun Wang, Guobo Hao, Qinfen Fan, Dongrui State Key' Laboratoiy of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China School of Computer and Control Engineering University of Chinese Academy of Sciences Beijing100049 China

ISBN: (纸本)9781728120584

With the rapid development of computer technology, the scale of graph increases explosively and large-scale graph computing has been the focus in recent years. Breadth-First Search (BFS) is one of the most important kernels in graph computing. It is the main kernel of the Graph500 benchmark that evaluates the performance of supercomputers and servers in terms of data-intensive applications. In this paper, we implement a highly efficient parallel BFS on CPU-based single-node systems. We propose two algorithm optimization techniques: round-robin vertex shuffle and jumping access. The former can improve the load balance for parallel implementation, while the latter can reduce unnecessary data accesses in the bottom-up algorithm. Our new implementation demonstrates strong scalability and achieves 65.2 GTEPS for Kronecker graph with 2 30 vertices and 2 34 edges on a 4-way Xeon server. The speedup is nearly 12.8 times faster than the original direction-optimizing algorithm. In terms of energy efficiency, the result on our self-designed ARM server is 254.6 MTEPS/W and is superior to conventional x86 server. To our best knowledge, this is the first work that evaluates BFS performance on ARM server and ARM server is suitable for data-intensive applications such as large-scale graph processing. © 2019 IEEE.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Formal modelling of list based dynamic memory allocators

引用

Science China(Information Sciences) 2018年第12期61卷 81-96页

作者： Bin FANG Mihaela SIGHIREANU Geguang PU Wen SU Jean-Raymond ABRIAL Mengfei YANG Lei QIAO Shanghai Key Laboratory of Trustworthy Computing East China Normal University IRIF University Paris Diderot and CNRS School of Computer Engineering and Science Shanghai University Marseille Beijing Institute of Control Engineering

Existing implementations of dynamic memory allocators(DMA) employ a large spectrum of policies and techniques. The formal specifications of these techniques are quite complicated in isolation and very complex when combined. Therefore, the formal reasoning on a specific DMA implementation is difficult for automatic tools and mostly single-use. This paper proposes a solution to this problem by providing formal models for a full class of DMA, the class using various kinds of lists to manage the memory blocks controlled by the DMA. To obtain reusable formal models and tractable formal reasoning, we organise these models in a hierarchy ranked by refinement relations. We prove the soundness of models and the refinement relations using the modeling framework Event-B and the theorem prover Rodin. We demonstrate that our hierarchy is a basis for an algorithm theory for list based DMA: it abstracts various existing implementations of DMA and leads to new DMA implementations. The applications of this formalisation include model-based code generation, testing, and static analysis.

关键词： dynamic memory allocators formal methods refinement Event-B Rodin model-based design

来源：评论

学校读者我要写书评

暂无评论

Communication Resource Planning Algorithm Based on Time Triggered DIMA Architecture

引用

Journal of Beijing Institute of Technology 2019年第2期28卷 327-335页

作者： Hongchun Wang Buqun Luan Wensheng Niu School of Compute Science and Technology Xidian UniversityXi'an 710071China School of Communication Engineering Xidian UniversityXi'an 710071China Institute of Flight Control Tianjin Institute for Advanced Equipments of Tsinghua UnvierstityTianjin 300300China Aeronautical Computing Technique Research Institute Xi'an 710068China

Traditional scheduling algorithms for avionics communication have the shortcoming of messages accumulation,the efficiency and reliability of the service can be improved by combining the distributed integrated modular avionics(DIMA)system with a time trigger *** further improve the utilization of system resources,the static scheduling algorithm of time triggered service is *** making the time trigger message schedule dispersedly,the stabilities of both the available time slots for the event triggered messages and the system will be *** improved two-dimensional bin packing algorithm is also presented to achieve the above-mentioned purpose with an extra benefit of better delay performance.

关键词： distributed integrated modular avionics time-triggered two-dimensional bin packing algorithm

来源：评论

学校读者我要写书评

暂无评论

Quantum Reinforcement Learning for QoS-Aware Real-Time Job Scheduling in Cloud Systems

引用

IEEE Systems Journal 2025年

作者： Dai, Shuhong Saurabh, Nishant Wang, Qingle Nian, Jiawei Kan, Shuwen Mao, Ying Cheng, Long North China Electric Power University State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources the School of Control and Computer Engineering Beijing102206 China Utrecht University Department of Information and Computing Sciences CS Utrecht 3584 Netherlands Fordham University Department of Computer and Information Science New YorkNY10458 United States

Effective cloud job scheduling is essential for enhancing the performance and operational efficiency of cloud-based services, directly impacting their quality of service (QoS). Among existing methodologies, deep reinforcement learning (DRL) has proven effective in addressing complex, multidimensional optimization challenges in real-time scheduling. With advancements in quantum computing, quantum neural networks (QNNs) are showing unique advantages in information representation and processing. This study is the first to explore quantum reinforcement learning (QRL) for real-time job scheduling in cloud systems. Specifically, we propose a QRL framework that utilizes variational and encoding layers to convert state information into quantum data, repeatedly embedded into a QNN to compute optimal value returns. This approach aims to enhance QoS by improving job execution success rates and reducing average response times with unpredictable job arrivals. We present the detailed design of our approach, and our simulation results demonstrate that the QRL method significantly exceeds established baselines, including those based on DRL, across a range of workload intensities and computational resource configurations. This is particularly evident under high-load conditions, where our approach can achieve 55.2% higher success rates, underscoring its significant potential in cloud job scheduling optimization. © 2007-2012 IEEE.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

A Combined Guidance Law for Intercepting Hypersonic Large Maneuvering Targets

A Combined Guidance Law for Intercepting Hypersonic Large Ma...

引用

Chinese Automation Congress (CAC)

作者： Bingqian Zhao Xiwang Dong Qingdong Li Zhang Ren Science and Technology on Aircraft Control Laboratory School of Automation Science and Electronic Engineering Beihang University Beijing China Beijing Advanced Innovation Center for Big Data and Brain Computing School of Automation Science and Electronic Engineering Beihang University Beijing China

ISBN: (数字)9781728176871

ISBN: (纸本)9781728176888

This paper proposes a combined guidance law based on differential geometry and true proportional guidance (TPN). Due to the increase of the interceptor acceleration component perpendicular to the speed direction, the line-of- sight angular rate can be converged quickly, and the convergence rate of the miss distance is faster than that of TPN. Therefore, the combined guidance law can intercept the target in a short time, reducing the possibility of target escape. This paper gives a numerical simulation example under the two conditions of large maneuvering and snake maneuvering of the target, both of which achieve effective interception of the target. Therefore, the designed combined guidance law is effective for intercepting hypersonic large maneuvering targets.

关键词： Angular velocity Geometry Acceleration Mathematical model Aircraft navigation Technological innovation Trajectory

来源：评论

学校读者我要写书评

暂无评论

Dipole Antenna Arrays with Inherently High Port Isolation Levels

引用

IEEE Antennas and Wireless Propagation Letters 2025年

作者： Chen, Zhiyuan Lu, Dacheng Tang, Ming-Chun Hu, Kun-Zhi Li, Dajiang Liu, Heng Yi, Da Chongqing University of Posts and Telecommunications Key Laboratory of Industrial Internet of Things and Networked Control College of Automation Chongqing400065 China Chongqing University of Posts and Telecommunications Institute of Industrial Internet Chongqing China Chongqing University Key Laboratory of Dependable Service Computing in Cyber Physical Society Ministry of Education School of Microelectronics and Communication Engineering Chongqing400044 China

In this letter, the dipole antenna arrays with self-decoupling characteristics are developed. In comparison with the traditional electric dipole antennas, the developed dipole antenna can be considered as comprising an electric dipole and two magnetic dipoles while maintaining a relatively simple structural design. The multi-coupling cancellation between adjacent antenna elements was achieved to achieve high port isolation levels. To validate the effectiveness of the developed self-decoupling method, a 1×2 antenna array is simulated, fabricated, and measured. The results demonstrated port isolation level exceeds 25 dB over the entire operational bandwidth of 3.3-3.8 GHz, and a maximum isolation level of ⁓63 dB was achieved. Furthermore, a 1×6 antenna array is simulated to validate the extensibility of the developed self-decoupling method, where the isolation levels between all ports exceeds 25 dB across the entire operational bandwidth of 3.3-3.8 GHz. © 2002-2011 IEEE.

关键词： Structural dynamics

来源：评论

学校读者我要写书评

暂无评论

Preface

Lecture Notes in Networks and Systems

引用

Lecture Notes in Networks and Systems 2023年 730 LNNS卷 v-vi页

作者： Noor, Arti Saroha, Kriti Pricop, Emil Trivedi, Gaurav Sen, Abhijit Uttar Pradesh Noida India Department of Automatic Control Computers and Electronics Petroleum-Gas University of Ploiesti Ploiesti Romania Department of Electronics and Electrical Engineering Indian Institute of Technology Guwahati Guwahati India Department of Computing Science and Information Technology Kwantlen Polytechnic University SurreyBC Canada

来源：评论

学校读者我要写书评

暂无评论

Bebop 2 Quadrotor as a Platform for Research and Education in Robotics and control engineering

Bebop 2 Quadrotor as a Platform for Research and Education i...

引用

International Conference on Unmanned Aircraft Systems (ICUAS)

作者： Wojciech Giernacki Piotr Kozierski Jacek Michalski Marek Retinger Rafal Madonski Pascual Campoy Institute of Robotics and Machine Intelligence Faculty of Control Robotics and Electrical Engineering of Poznan University of Technology Poznań Poland Institute of Computing Science (Faculty of Computing and Telecommunications) and with the Institute of Robotics and Machine Intelligence (Faculty of Control Robotics and Electrical Engineering) Poznan University of Technology Poznań Poland International Energy College Energy Electricity Research Center Jinan University Zhuhai China Computer Vision and Aerial Robotics (CVAR) Centre for Automation and Robotics Technical University of Madrid (UPM) Madrid Spain

ISBN: (数字)9781728142784

ISBN: (纸本)9781728142791

In conducting research and teaching in fields related to unmanned aerial vehicles (UAVs), it is particularly important to select a universal, safe, open research platform and tools for rapid prototyping. Ready-to-use, low-cost micro-class UAVs such as Bebop 2 are successfully used in that regard. This article presents how to use the potential of this flying robot with Robot Operating System (ROS). The most important software solutions for the developed experimental testbed FlyBebop are characterized here. Their capabilities in research and education are exemplified using three distinct cases: 1) research results on the method of optimal, in-flight, iterative self-tuning of UAV position controller parameters (based only on current measurements), 2) the use of the reinforcement learning method in the autonomous landing of a single drone on a moving vehicle, 3) planning the movement of UAVs for autonomous video recording along the planned path in the arrangement: "cameraman drone" and "lighting technician drones".

关键词： Drones Robots Education Cameras Sensors Tools

来源：评论

学校读者我要写书评

暂无评论

Electrical and Mechanical Sensor-Based Mass Flow Rate Measurement System: A Comparative Approach

Electrical and Mechanical Sensor-Based Mass Flow Rate Measur...

引用

International Conference on Robotics and Automation Sciences (ICRAS)

作者： Usama Abrar Liu Shi Nasif Raza Jaffri Michael Short Khawar Hasham School of Control and Computer Engineering North China Electric Power University Beijing 102206 China School of Computing Engineering and Digital Technologies Teesside University Middlesbrough Cleveland TS1 3BA UK Interactive Group Islamabad Pakistan

ISBN: (数字)9781728198576

ISBN: (纸本)9781728198583

Gas-Solid flow finds its application in various industries such as chemical and food processes, pharmaceuticals, automobile and power generation. The precise measurement and real-time monitoring of the flow process have garnered a lot of attraction in the modern industrial era. The effective utilization, with high efficiency, of the resources have compelled the researchers to investigate Gas-Solid flow monitoring and measurement process for the last two decades. Efforts are extended to design instruments for flow pattern visualization and quantification of mass flow rate. Generally, volumetric flow concentration and velocity profile of the solid particles are required to find the mass flow rate (MRF) in the case of non-invasive measurement techniques. This paper proposes a novel non-invasive mass flow rate measurement system for solid particles where electrical and mechanical sensors are simultaneously used to compensate each other's associated drawbacks. The solid particles are allowed to slide along an insulated inclined channel under the effect of gravity. The velocity profile and volumetric flow concentration are calculated using electrical sensors. Furthermore, load cell serves as a second sensor to calculate the mass flow rate. The experimental results from both the sensors are compared to investigate the accuracy and relative errors of both the sensors under different conditions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mobile robot navigation for complete coverage of an environment

Mobile robot navigation for complete coverage of an environm...

引用

作者： Šelek, Ana Seder, Marija Petrović, Ivan Department of Control and Computer Engineering Faculty of Electrical Engineering and Computing University of Zagreb Croatia

Inspired by the Spanning Tree Covering (STC) algorithm of Gabriely and Rimon, a novel algorithm of complete coverage for known environments is developed. Unlike the original STC algorithm, we detect dynamic elements of the environment and efficiently update the solution when changes are observed. The contribution is a path replanning algorithm that reduces overlapping when the part of the environment is changed. Experiments show that the proposed algorithm is capable of planning complete coverage robot paths with 70.27% coverage and without overlapping. © 2018

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：