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

IEEE Conference on Global Communications (GLOBECOM)

作者： Peigen Zeng Ying He F. Richard Yu Victor C.M. Leung Shenzhen Key Lab of Digital & Intelligent Technologies & Systems College of Computer Science and Software Engineering Shenzhen University China Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ) Shenzhen China

Quantum reinforcement learning (QRL) can outperform classical reinforcement learning (RL) by utilizing quantum parallel theory and quantum phenomena such as superposition and entanglement. Although some excellent work has been done on QRL, most existing works either fail to show the exponential advantage of quantum computation over classical computation in terms of performance or are too demanding on quantum devices. In this paper, we provide a novel perspective on combining quantum computing and RL with faster convergence speed and relatively relaxed demands on quantum devices. Specifically, we propose a method to construct a world model with quantum circuit that allows it to interact in a quantum way. In addition, we use Grover's algorithm to efficiently extract high-value information from the quantum world model. Extensive simulation results show that the proposed method can have superior performance compared to classical RL algorithms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Resource Allocation for Cognitive Radio Inspired Non-Orthogonal Multiple Access Networks: A Quantum Soft Actor-Critic Method

Resource Allocation for Cognitive Radio Inspired Non-Orthogo...

引用

IEEE Conference on Global Communications (GLOBECOM)

作者： Chao Huang Ying He Fei Yu Peigen Zeng Shenzhen Key Lab of Digital & Intelligent Technologies & Systems College of Computer Science and Software Engineering Shenzhen University China Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ) Shenzhen China

With the growth of the communication industry, the demand for spectrum resources has been increasing steadily. However, the spectrum resources are limited and the utilization rate is low. In this case, Cognitive Radio (CR) technologies and Non-Orthogonal Multiple Access (NOMA) technology are proposed to improve the number of user access and spectrum resource utilization. In this paper, we consider a CR-inspired NOMA network and propose a power allocation problem based on a time-varying system. Due to the dynamic nature of CR, traditional methods are often faced with problems such as low training efficiency and high network volatility. To address the problem, we propose a novel Quantum Reinforcement Learning (QRL) algorithm with quantum world model, interacting with the environment in the quantum way. Specifically, we construct a quantum soft actor-critic algorithm using variable quantum circuit (VQC), and the experience data is encoded into a quantum sum tree and transformed into quantum world model. Simulation results show the superior performance of the proposed framework.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic Applications

Towards Unified Field-Testing and Monitoring for Safe and Se...

引用

Workshop on Robotics software engineering (RoSE)

作者： Marco Stadler Stefan Biffl Michael Vierhauser Johannes Sametinger LIT SCSL / Inst. of Business Informatics - Software Eng. Johannes Kepler University Linz Austria CDL-SQI Institute of Information Systems Engineering TU Wien and CDP Vienna Austria Department of Computer Science University of Innsbruck Austria

ISBN: (数字)9798331537951

ISBN: (纸本)9798331537968

Problems and failures that emerge in Cyber-Physical systems (CPSs), particularly in robotic applications, may originate from various sources, including software bugs, security incidents, hardware malfunctions, and human errors. As robotic systems are deployed in various domains and application contexts, such as manufacturing sites, shop floors, agriculture, and autonomous vehicles, ensuring their safe and secure operation is a crucial aspect. While high-fidelity simulations are frequently used to validate system behavior and to perform tests, the “simulator-to-reality gap” presents significant challenges, requiring additional field testing to validate a system under realistic conditions. As simulations alone are insufficient for performing comprehensive testing and for ensuring adherence to both functional and non-functional requirements, real-world field testing helps to alleviate these issues. However, compared to wellestablished unit testing approaches, field testing typically is still a rather ad hoc process, with insufficient support from tools and frameworks. Field tests often heavily rely on human observations, hence risking overlooking critical issues. There is a pressing need for structured, guided field-testing processes combined with adaptive runtime monitoring to capture the data required for effective error diagnosis and analysis. This paper introduces initial concepts for the Smart Unified Runtime Monitoring Infrastructure for Guided Field-Testing (SMURF) framework designed for robotic applications, combining structured test execution with automated, adaptable monitors, to ensure the efficient collection of data required for post-test analysis. Building on prior efforts in drone field-testing frameworks, we extend our scope to identify essential features for testing and monitoring ROS-based systems. Future work shall further refine this process and implement a practical framework to support developers and testers in achieving reliable, safe, and secure

关键词： Runtime Pressing software Safety Manufacturing Security Reliability Robots Monitoring Testing

来源：评论

学校读者我要写书评

暂无评论

Improving students’programming quality with the continuous inspection process:a social coding perspective

引用

Frontiers of computer Science 2020年第5期14卷 43-60页

作者： Yao Lu Xinjun Mao Tao Wang Gang Yin Zude Li College of Computer National University of Defense TechnologyChangsha410073China Key Laboratory of Software Engineering for Complex Systems Changsha410073China School of Information Science and Engineering Central South UniversityChangsha410012China

College students majoring in computer science and software engineering need to master skills for high-quality ***,rich research has shown that both the teaching and learning of high-quality programming are challenging and deficient in most college education ***,the continuous inspection paradigm has been widely used by developers on social coding sites(e.g.,GitHub)as an important method to ensure the internal quality of massive code *** paper presents a case where continuous inspection is introduced into the classroom setting to improve students’programming *** the study,we first designed a specific continuous inspection process for students’collaborative projects and built an execution environment for the *** then conducted a controlled experiment with 48 students from the same course during two school years to evaluate how the process affects their programming *** results show that continuous inspection can help students in identifying their bad coding habits,mastering a set of good coding rules and significantly reducing the density of code quality issues introduced in the ***,we describe the lessons learned during the study and propose ideas to replicate and improve the process and its execution platform.

关键词： continuous inspection programming quality SonarQube

来源：评论

学校读者我要写书评

暂无评论

Symbolic Verification of Fuzzy Logic Models 23

Symbolic Verification of Fuzzy Logic Models

引用

Proceedings of the 38th IEEE/ACM International Conference on Automated software engineering

作者： Siang Zhao Zhongyang Li Zhenbang Chen Ji Wang College of Computer National University of Defense Technology China AND Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology China College of Computer National University of Defense Technology China AND State Key Laboratory of High Performance Computing National University of Defense Technology China

ISBN: (纸本)9798350329964

Fuzzy logic is widely applied in various applications. However, verifying the correctness of fuzzy logic models can be difficult. This extended abstract presents our ongoing work on verifying fuzzy logic models. We treat a fuzzy logic model as a program and propose a verification method based on symbolic execution for fuzzy logic models. We have developed and implemented the environment models for the common functions and the inference rules in fuzzy logic models. Our preliminary evaluation shows the potential of our verification method.

关键词： fuzzy logic model

来源：评论

学校读者我要写书评

暂无评论

Capability-based IoT access control using blockchain

引用

Digital Communications and Networks 2021年第4期7卷 463-469页

作者： Yue Liu Qinghua Lu Shiping Chen Qiang Qu Hugo’Connor Kim-Kwang Raymond Choo He Zhang School of Computer Science and Engineering University of New South WalesAustralia Data61 CSIROAustralia Shenzhen Institutes of Advanced Technology Chinese Academy of SciencesChina Department of Information Systems and Cyber Security University of Texas at San AntonioUSA Software Institute Nanjing UniversityChina

Internet of Things(IoT)devices facilitate intelligent service delivery in a broad range of settings,such as smart offices,homes and ***,the existing IoT access control solutions are mainly based on conventional identity management schemes and use centralized *** are knowm security and privacy limitations with such schemes and architectures,such as the single-point failure or surveillance(e.g.,device tracking).Hence,in this paper,we present an architecture for capability-based IoT access control utilizing the blockchain and decentralized identifiers to manage the identity and access control for IoT ***,we propose a protocol to provide a systematic view of system interactions,to improve *** also implement a proof-of-concept prototype of the proposed approach and evaluate the prototype using a real-world use *** evaluation results show that the proposed solution is feasible,secure,and scalable.

关键词： Blockchain Internet of things Capability-based access control Identity management Architecture design

来源：评论

学校读者我要写书评

暂无评论

Smart Pilot Decontamination Strategy for High and Low Contaminated Users in Massive MIMO-5G Network 16th

Smart Pilot Decontamination Strategy for High and Low Contam...

引用

16th International Conference on Information Technology and Applications, ICITA 2022

作者： Khan, Khalid Banoori, Farhad Adnan, Muhammad Zahoor, Rizwan Khan, Tarique Obite, Felix William, Nobel John Ahmad, Arshad Qayum, Fawad Nazir, Shah Beijing University of Posts and Telecommunications Beijing China Guangzhou China Institute of Software Systems Engineering Johannes Kepler University Linz Austria Linz Austria Department of Computer Science University of Swabi Swabi Pakistan University of Campania Luigi Vanvitelli Caserta Italy University of Politechnico Delle Marche Ancona Italy Department of Computer Science IT University of Malakand Totakan Pakistan Department of Physics Ahmadu Bello University Zaria Nigeria University of Valencia Valencia Spain

ISBN: (纸本)9789811993305

Massive multiple-input multiple-output (m-MIMO) is recognized as large-scale MIMO (LS-MIMO) and is a crucial podium for fifth-generation communication networks (5G) to reinforce spectral efficiency (SE) and capacity of the system. Pilot contamination (PC) arises because the non-orthogonal pilot sequences transmitted by users in a cell similar to the nearby cells is one of the blockages in m-MIMO to avail the essential goals. In the current paper, we intended an intelligent pilot assignment policy to substantially extenuate the potency of PC in the multi-cells m-MIMO system. Based on the intended strategy, the entire users are divided based on their large-scale fading into two groups, i.e., High contaminate K H and low contaminate K L users. Likewise, K H is assigned by orthogonal pilots due to high inter-cell-interference (ICI) and to extenuate the extreme PC, whereas non-orthogonal sets of pilots are dedicated to K L. Afterward, severe PC among K H almost vanished, whereas a slight problem of PC still exists among K L, which deteriorates the system efficiency. Thus, a competent approach based on hyper-graph-coloring-based pilot allocation (HCPA) is projected to overwhelm the PC of K L. However, the simulation effects expose that the proposed strategy extremely stimulates both attainable sum-rate and signal-to-interference-plus-noise-ratios (SINRs). Furthermore, the proposed strategy is extremely efficient to suppress PC and optimize the entire system efficiency. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： MIMO systems

来源：评论

学校读者我要写书评

暂无评论

Towards functional verifying a family of SystemC TLMs

引用

Frontiers of computer Science 2020年第1期14卷 53-66页

作者： Tun LI Jun YE Qingping TAN College of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Jiangnan Institute of Computing Technology Wuxi 214083China

It is often the case that in the development of a system-on-a-chip(SoC)design,a family of SystemC transaction level models(TLM)is *** in the same family often share common functionalities but differ in their timing,implementation,configuration and performance in various SoC developing *** most cases,all the TLMs in a family must be verified for the follow-up design *** our previous work,we proposed to call such family TLM product line(TPL),and proposed feature-oriented(FO)design methodology for efficient TPL ***,developers can only verify TLM in a family one by one,which causes large portion of duplicated verification ***,in our proposed methodology,functional verification of TPL has become a *** this paper,we proposed a novel TPL verification method for FO *** our method,for the given property,we can exponentially reduce the number of TLMs to be verified by identifying mutefeature-modules(MFM),which will avoid duplicated *** proposed method is presented in informal and formal way,and the correctness of it is *** theoretical analysis and experimental results on a real design show the correctness and efficiency of the proposed method.

关键词： system-on-a-chip transaction level model SystemC feature-oriented functional verification

来源：评论

学校读者我要写书评

暂无评论

Optimizing Collective Building Management through a Machine Learning-based Decision Support System 4

Optimizing Collective Building Management through a Machine ...

引用

4th International Informatics and software engineering Conference, IISEC 2023

作者： Guvencli, Mert Kiran, Halil Dogan, Erkan Dag, Hasan Ozyuruyen, Burcu Cakar, Tuna Apsiyon Informatics Sys. Inc. Software-Team Lead Istanbul Turkey Apsiyon Informatics Sys. Inc. Product-Team Lead Istanbul Turkey Apsiyon Informatics Sys. Inc. Software-Management CPO Istanbul Turkey Kadir Has University Informatics Management Systems Istanbul Turkey Apsiyon Informatics Sys. Inc. R and D and Innovation Incentives Sen. Sp. Istanbul Turkey MEF University Computer Engineering Istanbul Turkey

ISBN: (纸本)9798350318036

This study presents the design, implementation, and evaluation of a Decision Support System (DSS) developed for Collective Building Management. Given the potential advantages of machine learning techniques in this domain, the research explores how these techniques can be used to improve collective building management. The dataset consists of 824,932 records and 15 attributes, after preprocessing the data to fill in missing values with the median. The random forest algorithm was chosen for model training and achieved a performance rate of 71.2%. This model can be used to optimize decision processes in collective building management. The proposed prototype is notable for its ability to automatically generate operational plans. In conclusion, machine learning-based DSSs are effective tools for collective building management. © 2023 IEEE.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Enhancing Password Security: Analyzing Password Management Practices Among IT Students

Enhancing Password Security: Analyzing Password Management P...

引用

International IEEE Conference and Workshop: Óbuda on Electrical and Power engineering (CANDO-EPE)

作者： Anita Mihalovicsne Kollar Jozsef Katona Department of Software Development and Application Institute of Computer Engineering University of Dunaujvaros Dunaujvaros Hungary Institute of Electronics and Communication Systems Kando Kalman Faculty of Electrical Engineering Obuda University Budapest Hungary GAMF Faculty of Engineering and Computer Science John Von Neumann University Kecskemet Hungary Department of Applied Quantitative Methods Faculty of Finance and Accountancy Budapest Business University Budapest Hungary

ISBN: (数字)9798331531119

ISBN: (纸本)9798331531126

Today, with the digital world in its full swing, strong password management is key to protecting sensitive information from both internal and external threats. The current research explores the passwords managing behavior of the IT students at the University of Dunaujvaros. A survey made in May 2024 questioned 68 students, 59 males and 9 females, about behaviors such as using passwords with complexity, not repeating them for multiple accounts or machines, changing them regularly, and which applications they use for password management. The findings have depicted that, as a whole, students appear to be moderately sensitive about the password security instructions. Nonetheless, most continue to indulge in unsafe practices, including easily remembered or weak passwords and infrequent password changes. Furthermore, approximately half of the responders use password management applications, indicating room for significant improvement in the future. The results suggest that intervention and special education measures should be taken to enhance the practice of password security among future IT experts. This research has good potential to contribute toward strategies designed for people behaving safely in password management, and hence promote a secure digital environment.

关键词： Surveys Continuing education Power engineering Correlation engineering profession Education Passwords Complexity theory Security Protection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：