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

A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Al Maruf, Abdullah Niu, Luyao Clark, Andrew Mertoguno, J. Sukarno Poovendran, Radha The Network Security Lab Department of Electrical and Computer Engineering University of Washington SeattleWA98195-2500 United States The Department of Electrical and Computer Engineering Worcester Polytechnic Institute WorcesterMA01609 United States Information and Cyber Sciences Georgia Tech Research Institute AtlantaGA30332 United States

Complex, interconnected Cyber-physical Systems (CPS) are increasingly common in applications including smart grids and transportation. Ensuring safety of interconnected systems whose dynamics are coupled is challenging because the effects of faults and attacks in one sub-system can propagate to other sub-systems and lead to safety violations. In this paper, we study the problem of safety-critical control for CPS with coupled dynamics when some sub-systems are subject to failure or attack. We first propose resilient-safety indices (RSIs) for the faulty or compromised sub-systems that bound the worstcase impacts of faulty or compromised sub-systems on a set of specified safety constraints. By incorporating the RSIs, we provide a sufficient condition for the synthesis of control policies in each failure- and attack- free sub-systems. The synthesized control policies compensate for the impacts of the faulty or compromised sub-systems to guarantee safety. We formulate sum-of-square optimization programs to compute the RSIs and the safety-ensuring control policies. We present a case study that applies our proposed approach on the temperature regulation of three coupled rooms. The case study demonstrates that control policies obtained using our algorithm guarantee system's safety constraints. © 2022, CC BY.

关键词： Safety engineering

Biometric Identification Systems With Both Chosen and Generated Secret Keys by Allowing Correlation

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Yachongka, Vamoua Yagi, Hideki The University of Electro-Communications 1-5-1 Chofugaoka Tokyo182-8585 Japan The Department of Computer and Network Engineering The University of Electro-Communications Tokyo182-8585 Japan

We propose a biometric identification system where the chosen- and generated-secret keys are used simultaneously, and investigate its fundamental limits from information theoretic perspectives. The system consists of two phases: enrollment and identification phases. In the enrollment phase, for each user, the encoder uses a secret key, which is chosen independently, and the biometric identifier to generate another secret key and a helper data. In the identification phase, observing the biometric sequence of the identified user, the decoder estimates index, chosen- and generated-secret keys of the identified user based on the helper data stored in the system database. In this study, the capacity region of such system is characterized. In the problem setting, we allow chosen- and generated-secret keys to be correlated. As a result, by permitting the correlation of the two secret keys, the sum rate of the identification, chosen- and generated-secret key rates can achieve a larger value compared to the case where the keys do not correlate. Moreover, the minimum amount of the storage rate changes in accordance with both the identification and chosen-secret key rates, but that of the privacy-leakage rate depends only on the identification rate. Copyright © 2022, The Authors. All rights reserved.

关键词： Biometrics

A Topology Independent Fast Rerouting Scheme with Hop-by-Hop Forwarding Can Achieve a Full Protection

学校读者我要写书评

暂无评论

SSRN

SSRN 2022年

作者： Geng, Haijun Meng, Zhuo Zhang, Han Shi, Xingang Wang, Zhiliang Yin, Xia Chen, Meng Guo, Yingya The School of Automation and Software Engineering Shanxi University School of Computer and Information Technology China The Institute for Network Sciences and Cyberspace Tsinghua University China The Department of Computer Science and Technology Tsinghua University China The School of Big Data and Software Engineering Chongqing University China The College of Computer and Data Science Fuzhou University China

To support critical applications or guarantee a high quality of service, Internet Service Providers (ISPs) generally deploy a technique called routing protection algorithm for local fast rerouting. Alternate next hops are stored alongside with the default next hops in a router’s forwarding table, and can be immediately activated to invoke a loop free repair path in face of link or node failures, or used for multipath transmission. However, the existing routing protection methods either cannot protect all possible single-failure scenarios in the network or needs the assistance of an auxiliary address. In response to the above problems, the present study proposes a single-failure routing protection algorithm based on hop by hop routing (SPA). The algorithm has the following three advantages: (1) supports hop-by-hop forwarding, (2) supports incremental deployment, and (3) can protect all possible singlefailure scenarios in the network as long as network keep connected. Extensive simulations show that, compared to the state-of-the-art schemes which are adopted by the industry, SPA not only can handle arbitrary single-failure situations in the network but also has a small path stretch. These advantages make SPA a good candidate for practical solution for IP fast reroute when network failure occurs. © 2022, The Authors. All rights reserved.

关键词： Internet service providers

Feature Matching Data Synthesis for Non-IID Federated Learning

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Li, Zijian Sun, Yuchang Shao, Jiawei Mao, Yuyi Wang, Jessie Hui Zhang, Jun Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology Hong Kong Department of Electrical and Electronic The Hong Kong Polytechnic University Hong Kong Institute for Network Sciences and Cyberspace Tsinghua University Beijing100084 China ZGC Lab Beijing100194 China

Federated learning (FL) has emerged as a privacy-preserving paradigm that trains neural networks on edge devices without collecting data at a central server. However, FL encounters an inherent challenge in dealing with non-independent and identically distributed (non-IID) data among devices. To address this challenge, this paper proposes a hard feature matching data synthesis (HFMDS) method to share auxiliary data besides local models. Specifically, synthetic data are generated by learning the essential class-relevant features of real samples and discarding the redundant features, which helps to effectively tackle the non-IID issue. For better privacy preservation, we propose a hard feature augmentation method to transfer real features towards the decision boundary, with which the synthetic data not only improve the model generalization but also erase the information of real features. By integrating the proposed HFMDS method with FL, we present a novel FL framework with data augmentation to relieve data heterogeneity. The theoretical analysis highlights the effectiveness of our proposed data synthesis method in solving the non-IID challenge. Simulation results further demonstrate that our proposed HFMDS-FL algorithm outperforms the baselines in terms of accuracy, privacy preservation, and computational cost on various benchmark datasets. Copyright © 2023, The Authors. All rights reserved.

关键词： Privacy-preserving techniques

Coherent Acoustic Phonons in Bi2Se3 Ultrathin Films Probed by Femtosecond, Optical Pump-Probe Spectroscopy

学校读者我要写书评

暂无评论

Coherent Acoustic Phonons in Bi2Se3 Ultrathin Films Probed b...

CLEO: Fundamental Science, CLEO:FS 2024 - Part of Conference on Lasers and Electro-Optics, CLEO 2024

作者： Cheng, Jing Niherysh, Kiryl A. Francis, Peter Chakraborty, Debamitra Lombardi, Floriana Erts, Donats Prischepa, Serghej L. Laszcz, Adam Komissarov, Ivan V. Sobolewski, Roman Materials Science Graduate Program University of Rochester RochesterNY14627 United States Laboratory for Laser Energetics University of Rochester RochesterNY14623-1299 United States Department of Microtechnology and Nanoscience Chalmers University of Technology Gothenburg Sweden Institute of Chemical Physics University of Latvia Riga Latvia Department of Electrical and Computer Engineering University of Rochester RochesterNY14627 United States Dipartimento di Fisica "E.R. Caianiello" Università degli Studi di Salerno Sa FiscianoI-84084 Italy Lukasiewicz Research Network Institute of Microelectronics and Photonics WarszawaPL-02668 Poland

ISBN: (纸本)9781957171395

The dynamics of coherent acoustic phonons in the Bi2Se3 layered crystal system are investigated. The findings reveal that the frequency evolution of breathing modes with the number of the material quintuple layers and the dispersion relation both can be explained by a modified chain model with a nonuniform coupling force. © Optica Publishing Group 2024, © 2024 The Author(s)

关键词： Ultrathin films

ISLS: IoT-Based Smart Lighting System for Improving Energy Conservation in Office Buildings

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Obioma, Peace Agbodike, Obinna Chen, Jenhui Wang, Lei Department of Computer Science University of Manchester M139PL United Kingdom Center for Artificial Intelligence in Medicine Chang Gung Memorial Hospital Guishan Dist Taoyuan33375 Taiwan iTrustal Department of Computer Science and Information Engineering Chang Gung University Guishan Dist. Taoyuan33302 Taiwan Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province School of Software Dalian University of Technology China

With the Internet of Things (IoT) fostering seamless device-to-human and device-to-device interactions, the domain of intelligent lighting systems have evolved beyond simple occupancy and daylight sensing towards autonomous monitoring and control of power consumption and illuminance levels. To this regard, this paper proposes a new do-it-yourself (DIY) IoT-based method of smart lighting system featuring an illuminance control algorithm. The design involves the integration of occupancy and presence sensors alongside a communication module, to enable real-time wireless interaction and remote monitoring of the system parameters from any location through an end-user application. A constrained optimization problem was formulated to determine the optimal dimming vector for achieving target illuminance at minimal power consumption. The simplex algorithm was used to solve this problem, and the system’s performance was validated through both MATLAB simulations and real-world prototype testing in an indoor office environment. The obtained experimental results demonstrate substantial power savings across multiple user occupancy scenarios, achieving reductions of approx. 80%, 48%, and 26% for one, two, and four user settings, respectively, in comparison to traditional basic lighting installation systems. © 2025, CC BY.

关键词： Constrained optimization

Impossible Differential Analysis on 8-Round PRINCE 9th

学校读者我要写书评

暂无评论

Impossible Differential Analysis on 8-Round PRINCE

9th International Conference on computer engineering and networks, CENet2019

作者： Ding, Yaoling Jia, Keting Wang, An Shi, Ying School of Computer Science Beijing Institute of Technology Beijing100081 China Department of Computer Science and Technology Tsinghua University Beijing100084 China Key Laboratory of Network Assessment Technology CAS Institute of Information Engineering Chinese Academy of Sciences Beijing100093 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing100093 China

ISBN: (纸本)9789811537523

PRINCE is a lightweight block cipher, which was proposed by Borghoff et al. in Asiacrypt 2012. Various cryptanalytic techniques have been employed to evaluate the security of PRINCE. In 2017, Ding et al. constructed a 4-round impossible differential based on some observations on M′ operation and launched impossible differential attacks on 6- and 7-round PRINCE and the underlying PRINCEcore. In this paper, we explore the differential distribution table (DDT) of the S-box employed in PRINCE and construct a more detailed DDT which contains the input/output values corresponding to each differential. Taking advantage of the table, we compute the subkeys instead of guessing them. With this technique, we extend the impossible differential attacks of PRINCE and PRINCEcore to eight rounds. The corresponding computational and complexities are 110.7 and 62.26 encryptions, respectively, which are much less than exhaustive search. And the data complexities are 64 and 60 chosen plaintexts, respectively. © 2021, Springer Nature Singapore Pte Ltd.

关键词： Cryptography

Tin Whisker Susceptibility of SAC0307-ZnO Composite Solder Joints

学校读者我要写书评

暂无评论

Tin Whisker Susceptibility of SAC0307-ZnO Composite Solder J...

International Spring Seminar on Electronics Technology

作者： Halim Choi Balá zs Illé s Agata Skwarek Tamá s Hurtony Department of Electronics Technology Faculty of Electrical Engineering and Computer Science Budapest University of Technology and Economics Budapest Hungary Department of Microelectronics &#x0141 ukasiewicz Research Network Institute of Microelectronics and Photonics Krak&#x00F3 w Poland

In the present study, tin (Sn) whisker growth has been observed from SAC0307-ZnO composite solder joints. The commercial SAC0307 solder alloy was reinforced by ZnO nano-particles, which resulted in composite solder joints. The ZnO nano-particles were mixed into the solder paste in a 0.25 wt% volume fraction, using the ball milling process. Solder joints were prepared from the composite solder alloy and from the reference SAC0307, on Ag surface finish by conventional SMT. The solder joints were exposed to an accelerated lifetime test (85 °C/85 RH% THB, 3000 hours) to enhance the Sn whisker growth. Corrosion spots were observed after 1000 hours of aging, and the first whiskers appeared after 1500 hours of aging on the reference SAC0307 solder joints. In the case of the ZnO composite solder joints, non of the previous phenomena were observed during 3000 hours of THB aging. Furthermore the mechanical strength of the solder joints was investigated, but it was found that the ZnO nano-particle could not increase the mechanical properties of the composite solder joints considerably.

关键词：

Performance Analysis of MIMO-NOMA Systems with Randomly Deployed Users

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Shi, Zheng Yang, Guanghua Fu, Yaru Wang, Hong Ma, Shaodan The School of Electrical and Information Engineering and Institute of Physical Internet Jinan University China Institute of Network Coding The Chinese University of Hong Kong Hong Kong School of Communication and Information Engineering Nanjing University of Posts and Telecommunications China Department of Electrical and Computer Engineering University of Macau Macao China

This paper investigates the performance of Multiple-input multiple-output non-orthogonal multiple access (MIMO-NOMA) systems with randomly deployed users, where the randomly deployed NOMA users follow Poisson point process (PPP), the spatial correlation between MIMO channels are characterized by using Kronecker model, and the composite channel model is used to capture large-scale fading as well as small-scale fading. The spatial randomness of users’ distribution, the spatial correlation among antennas and large-scale fading will severally impact the system performance, but they are seldom considered in prior literature for MIMO-NOMA systems, and the consideration of all these impact factors challenges the analysis. Based on zero-forcing (ZF) detection, the exact expressions for both the average outage probability and the average goodput are derived in closed-form. Moreover, the asymptotic analyses are conducted for both high signal-to-noise ratio (SNR) (/small cell radius) and low SNR (/large cell radius) to gain more insightful results. In particular, the diversity order is given by δ = Nr − M + 1, the average outage probability of k-th nearest user to the base station follows a scaling law of O ( Dα(Nr−M+1)+2k) , the average goodput scales as O(D2) and O(D−2) as D → 0 and D → ∞, respectively, where Nr, M, α and D stand for the number of receive antennas, the total number of data streams, the path loss exponent and the cell radius, respectively. The analytical results are finally validated through the numerical analysis. © 2022, CC BY.

关键词： MIMO systems