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

IEEE Conference on Decision and control

作者： Junyao Hou Siyuan Liu Xiang Yin Majid Zamani Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China Division of Decision and Control Systems KTH Royal Institute of Technology Stockholm Sweden Department of Computer Science University of Colorado Boulder CO USA Department of Computer Science LMU Munich Munich Germany

Opacity is an important information-flow security property which characterizes the plausible deniability of certain “secret behaviors” in dynamical systems. In this paper, we study the problem of synthesizing controllers enforcing a notion of opacity over discrete-time control systems with continuous state sets. In this paper, we develop an abstraction-based approach to tackle the controller synthesis problem. Specifically, we adopt a notion of approximate opacity which is suitable for continuous-space control systems. We propose a notion of approximate initial-state opacity preserving alternating simulation relation which characterizes the closeness between two systems in terms of opacity preservation. We show that, based on this new notion of system relation, one can synthesize an opacity-enforcing controller for the abstract system which is finite and then refine it back to enforce opacity over the original control system. Finally, we present a method for constructing opacity-preserving finite abstractions for discrete-time control systems under some stability properties. Our results are illustrated on a two-room temperature control problem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Speech Cryptosystem Using the New Chaotic System with a Capsule-Shaped Equilibrium Curve

引用

computers, Materials & Continua 2023年第6期75卷 5987-6006页

作者： Mohamad Afendee Mohamed Talal Bonny Aceng Sambas Sundarapandian Vaidyanathan Wafaa Al Nassan Sen Zhang Khaled Obaideen Mustafa Mamat Mohd Kamal Mohd Nawawi Faculty of Informatics and Computing Universiti Sultan Zainal AbidinMalaysia Department of Computer Engineering University of SharjahSharjah26666UAE Department of Mechanical Engineering Universitas Muhammadiyah TasikmalayaIndonesia Research and Development Centre Vel Tech UniversityAvadiChennaiIndia School of Artificial Intelligence and Automationand Key Laboratory of Image Processingand Intelligent Control of Education Ministry of ChinaHuazhong University of Scienceand TechnologyWuhan430074China Institute of Strategic Industrial Decision Modeling School of Quantitative SciencesUniversiti Utara Malaysia06010UUM SintokKedahMalaysia

In recent years,there are numerous studies on chaotic systems with special equilibrium curves having various shapes such as circle,butterfly,heart and *** paper describes a new 3-D chaotic dynamical system with a capsule-shaped equilibrium *** proposed chaotic system has two quadratic,two cubic and two quartic nonlinear *** is noted that the proposed chaotic system has a hidden attractor since it has an infinite number of equilibrium *** is also established that the proposed chaotic system exhibits multi-stability with two coexisting chaotic attractors for the same parameter values but differential initial states.A detailed bifurcation analysis with respect to variations in the system parameters is portrayed for the new chaotic system with capsule equilibrium *** have shown MATLAB plots to illustrate the capsule equilibrium curve,phase orbits of the new chaotic system,bifurcation diagrams and *** an engineering application,we have proposed a speech cryptosystem with a numerical algorithm,which is based on our novel 3-D chaotic system with a capsule-shaped equilibrium *** proposed speech cryptosystem follows its security evolution and implementation on Field Programmable Gate Array(FPGA)*** results show that the proposed encryption system utilizes 33%of the FPGA,while the maximum clock frequency is 178.28 MHz.

关键词： Chaos chaotic systems hidden attractors multi-stability bifurcation speech cryptosystem FPGA design

来源：评论

学校读者我要写书评

暂无评论

Fully passive measurement-device-independent quantum key distribution

引用

Physical Review Applied 2024年第6期21卷 064056-064056页

作者： Jinjie Li Wenyuan Wang Hoi-Kwong Lo Department of Physics HK Institute of Quantum Science & Technology Dept. of Electrical & Computer Engineering Centre for Quantum Information and Quantum Control (CQIQC) Dept. of Physics Quantum Bridge Technologies Inc. 100 College Street Toronto ON M5G 1L5 Canada

A recently proposed fully passive quantum key distribution (QKD) removes all source modulator side channels. In this work, we combine fully passive sources with measurement-device-independent (MDI) QKD to simultaneously remove side channels from source modulators and detectors. We show a numerical simulation of passive MDI QKD, and we obtain an acceptable key rate while achieving much better implementation security, as well as ease of implementation, compared with a recently proposed fully passive twin-field QKD, paving the way towards more secure and practical QKD systems. We prove that a fully passive protocol is compatible with MDI QKD and we propose a novel idea that can improve the sifting efficiency.

关键词： Optical quantum information processing Photonics Quantum communication, protocols & technology Quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

Resilient Routing Table Computation Based on Connectivity Preserving Graph Sequences

Resilient Routing Table Computation Based on Connectivity Pr...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： János Tapolcai Péter Babarczi Pin-Han Ho Lajos Rónyai Department of Telecommunications and Media Informatics Faculty of Electrical Engineering and Informatics Budapest University of Technology and Economics Budapest Hungary Deptartment of Electrical and Computer Engineering University of Waterloo Canada Eötvös Loránd Research Network and Department of Algebra Institute for Computer Science and Control Institute of Mathematics Budapest University of Technology and Economics Budapest Hungary

Fast reroute (FRR) mechanisms that can instantly handle network failures in the data plane are gaining attention in packet-switched networks. In FRR no notification messages are required as the nodes adjacent to the failure are prepared with a routing table such that the packets are re-routed only based on local information. However, designing the routing algorithm for FRR is challenging because the number of possible sets of failed network links and nodes can be extremely high, while the algorithm should keep track of which nodes are aware of the failure. In this paper, we propose a generic algorithmic framework that combines the benefits of Integer Linear Programming (ILP) and an effective approach from graph theory related to constructive graph characterization of k-connected graphs, i.e., edge splitting-off. We illustrate these benefits through arborescence design for FRR and show that (i) due to the ILP we have great flexibility in defining the routing problem, while (ii) the problem can still be solved very fast. We demonstrate through simulations that our framework outperforms state-of-the-art FRR mechanisms and provides better resilience with shorter paths in the arborescences.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sim2Real Grasp Pose Estimation for Adaptive Robotic Applications

引用

IFAC-PapersOnLine 2023年第2期56卷 5233-5239页

作者： Dániel Horváth Kristóf Bocsi Gábor Erdős Zoltán Istenes Centre of Excellence in Production Informatics and Control Institute for Computer Science and Control Eőtvős Loránd Research Network Budapest Hungary CoLocation Center for Academic and Industrial Cooperation Eőtvős Loránd University Budapest Hungary Department of Manufacturing Science and Engineering Budapest University of Technology and Economics Budapest Hungary

Adaptive robotics plays an essential role in achieving truly co-creative cyber physical systems. In robotic manipulation tasks, one of the biggest challenges is to estimate the pose of given workpieces. Even though the recent deep-learning-based models show promising results, they require an immense dataset for training. In this paper, two vision-based, multi-object grasp pose estimation models (MOGPE), the MOGPE Real-Time and the MOGPE High-Precision are proposed. Furthermore, a sim2real method based on domain randomization to diminish the reality gap and overcome the data shortage. Our methods yielded an 80% and a 96.67% success rate in a real-world robotic pick-and-place experiment, with the MOGPE Real-Time and the MOGPE High-Precision model respectively. Our framework provides an industrial tool for fast data generation and model training and requires minimal domain-specific data.

关键词： adaptive robotics robot vision sim2real knowledge transfer smart manufacturing cyber physical production systems

来源：评论

学校读者我要写书评

暂无评论

A Ray-based Asynchronous Distributed Parallel K-SVD Method

A Ray-based Asynchronous Distributed Parallel K-SVD Method

引用

International Conference on Advanced Cloud and Big Data (CBD)

作者： Yongkang Li Xiaodong Chen Xiaohui Wan Jin Sun Peng Zheng Yunchang Wang Zebin Wu School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing China Department of Industry Development Quzhou Transportation Bureau Quzhou China Department of Quality Control and Testing Chang shan Inspection and Testing institute Quzhou China

ISBN: (数字)9798331511074

ISBN: (纸本)9798331511081

K-SVD (K-Singular Value Decomposition)is a com-monly used dictionary learning method that progressively opti-mizes dictionaries to better represent data by iterating sparse coding and dictionary update steps. However, with the increasing data size, the traditional K -SVD method faces significant challenges in terms of computational efficiency. Therefore, this paper proposes an asynchronous distributed parallel K-SVD method based on Ray framework to cope with the computational efficiency problem in large-scale data processing. This method achieves efficient parallel computation by decomposing the sparse coding and dictionary updating steps of the K-SVD method into multiple independent tasks and utilizing the distributed scheduling capability of the Ray framework. Since the zero elements of the coefficient matrix are unevenly distributed, we introduce a stride partitioning approach when performing the decomposition. In addition, in order to avoid the method falling into local optima and failing to find global optima due to parallelism, this paper synchronizes with the global at the same time as the atomic update of the dictionary. Meanwhile, for the purpose of avoiding the overhead caused by data synchronization, a parameter server is introduced to realize asynchronous updating of dictionary and coefficient matrix to reduce the overhead caused by communication. The experimental results show that, compared with the traditional K-SVD method, the method proposed in this paper has a significant advantage in computational efficiency and is able to efficiently process hyperspectral image datasets under the premise of guaranteeing the sparse representation accuracy. Compared with the synchronous parallel K-SVD method, the proposed method has faster error convergence and does not fall into local optima.

关键词： Dictionaries Image coding Parallel processing Data processing Computational efficiency Sparse matrices Synchronization Servers Hyperspectral imaging Convergence

来源：评论

学校读者我要写书评

暂无评论

Differentially Private Online Federated Learning with Correlated Noise

arXiv

引用

arXiv 2024年

作者： Zhang, Jiaojiao Zhu, Linglingzhi Johansson, Mikael Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology StockholmSE-100 44 Sweden Department of Systems Engineering and Engineering Management The Chinese University of Hong Kong Hong Kong

We introduce a novel differentially private algorithm for online federated learning that employs temporally correlated noise to enhance utility while ensuring privacy of continuously released models. To address challenges posed by DP noise and local updates with streaming non-iid data, we develop a perturbed iterate analysis to control the impact of the DP noise on the utility. Moreover, we demonstrate how the drift errors from local updates can be effectively managed under a quasi-strong convexity condition. Subject to an (ϵ, δ)DP budget, we establish a dynamic regret bound over the entire time horizon, quantifying the impact of key parameters and the intensity of changes in dynamic environments. Numerical experiments confirm the efficacy of the proposed algorithm. © 2024, CC BY.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

A study on the prediction model of dam seepage volume based on isolated forest-multiple stepwise linear regression 4

A study on the prediction model of dam seepage volume based ...

引用

4th International Conference on computer Engineering and Application, ICCEA 2023

作者： Chen, Guanyu Zhang, Suli Zhang, Chenlin Qian, XiaoChun Changchun University of Technology School of Computer Science & Engineering Jilin Provincial Key Laboratory of Changbai Historical Culture and Vr Reconstruction Technology Jilin Prov. Changbai Mt. Ecol. Culture and Virtual Reality Simulation Engineering Research Center Changchun China Jilin Institute of Chemical Technology School of Information and Control Engineering Jilin Provincial Key Laboratory of Changbai Historical Culture and Vr Reconstruction Technology Jilin Prov. Changbai Mt. Ecol. Culture and Virtual Reality Simulation Engineering Research Center Changchun China

ISBN: (纸本)9798350347548

In the study of hydraulic seepage prediction, it is often necessary to target multiple feature dimensions. In this paper, a variety of traditional machine learning algorithms based on stepwise regression filtering features are used to train a dam seepage prediction model based on isolated forest processing of data outliers. The results show that the algorithm can be applied to predict the seepage data of a reservoir more accurately, and further suggest improvements to the dam's seepage control function and observation facilities. The experimental results show that the correlation coefficient of the linear regression model is significantly improved when the training sample ratio is 0.8 after the isolated forest treatment of outliers and stepwise regression screening features. © 2023 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Range-Limited Pursuit-Evasion

Range-Limited Pursuit-Evasion

引用

IEEE National Conference on Aerospace and Electronics (NAECON)

作者： Isaac E. Weintraub Alexander Von Moll Meir Pachter Air Force Research Laboratory Control Science Center Wright-Patterson AFB OH USA Electrical and Computer Engineering Air Force Institute of Technology Wright-Patterson AFB OH USA

In pursuit-evasion the objective of the pursuer is to capture the evader. In this work, the faster pursuer is modeled to have limited range and therefore optimal strategies for the pursuer and evader change. Depending upon the range limits of the pursuer the evader may evade capture by the pursuer. This paper describes the optimal strategies and nuances that appear for point-capture or when the pursuer is endowed with a non-zero capture radius.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Designing a Novel Acoustic Communication System for High-Speed Underwater Data Transmission 2

Designing a Novel Acoustic Communication System for High-Spe...

引用

2nd IEEE International Conference on IoT, Communication and Automation technology, ICICAT 2024

作者： Reddy, Kumbala Pradeep Anuradha, Kodali Sharma, Himanshu Ananthi, S. Al-Farouni, Mohammed Justin, Shekaina CMR Institute of Technology Department of CSE Telangana Hyderabad India GRIET Bachupally Department of CSE Telangana Hyderabad India GLA University Department of Computer Engineering & Applications Mathura India New Prince Shri Bhavani College of Engineering and Technology Department of EEE Tamil Nadu Chennai600073 India The Islamic University College of Technical Engineering Department of Computers Techniques Engineering Najaf Iraq Princess Nourah Bint Abdulrahman University Hybrid Electric Vehicle Solar Energy Fuel Injection Control Electrical Engineering Department Saudi Arabia

ISBN: (纸本)9798350368109

This research involves the description of the newly developed acoustic communication system that can improve high data rates in the underwater channel. The problems in the conventional underwater communication techniques are being solved in the proposed system with the help of integrating the latest modulation techniques, effective transducers, and signal processing algorithms. The effectiveness of the system in achieving studies details high data rates and reasonable signal integrity and flexibility to unfavorable underwater environments during simulations and field trials. The simulated studies point to a maximum of 500kbps and practical trials a maximum of 480 kbps plus higher energy efficiency than regular systems. It still suggests that there is a need to continue with the improvements on all these areas of system performance since the system was design for varied depths and water types though there is an indication that the system performance declines in turbulent conditions. They are beneficial to develop and improve the underwater communication techniques meant to have a positive impact on technological applications such as underwater robotics, environmental and oceanographic surveys. Hence, the successful implementation of this system can be regarded as a major breakthrough towards the resolution of the problems that arise with high-speed data transmission in undersea environment. © 2024 IEEE.

关键词： Acoustic transducers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：