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

arXiv 2024年

作者： Bencomo, Nelly Cabot, Jordi Chechik, Marsha Cheng, Betty H.C. Combemale, Benoit Wąsowski, Andrzej Zschaler, Steffen Durham University Computer Science Durham Durham United Kingdom Luxembourg Institute of Science and Technology University of Luxembourg Esch-sur-Alzette Luxembourg University of Toronto Department of Computer Science TorontoON Canada Michigan State University Department of Computer Science and Engineering 428 S. Shaw Lane 4115 Engineering Building East LansingMI48824 United States University of Rennes IRISA and Inria Campus de Beaulieu Rennes35042 France IT University of Copenhagen Department of Computer Science Rued Langgaards Vej 7 Copenhagen2300 Denmark King’s College London Department of Informatics Bush House 30 Aldwych LondonWC2B 4BG United Kingdom

Modern software-based systems operate under rapidly changing conditions and face ever-increasing uncertainty. In response, systems are increasingly adaptive and reliant on artificial-intelligence methods. In addition to the ubiquity of software with respect to users and application areas (e.g., transportation, smart grids, medicine, etc.), these high-impact software systems necessarily draw from many disciplines for foundational principles, domain expertise, and workflows. Recent progress with lowering the barrier to entry for coding has led to a broader community of developers, who are not necessarily software engineers. As such, the field of software engineering needs to adapt accordingly and offer new methods to systematically develop high-quality software systems by a broad range of experts and non-experts. This paper looks at these new challenges and proposes to address them through the lens of Abstraction. Abstraction is already used across many disciplines involved in software development—from the time-honored classical deductive reasoning and formal modeling to the inductive reasoning employed by modern data science. The software engineering of the future requires Abstraction engineering—a systematic approach to abstraction across the inductive and deductive spaces. We discuss the foundations of Abstraction engineering, identify key challenges, highlight the research questions that help address these challenges, and create a roadmap for future research. © 2024, CC BY.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

RDH-DES: Reversible Data Hiding over Distributed Encrypted-Image Servers Based on Secret Sharing

引用

ACM Transactions on Multimedia Computing, Communications and Applications 2023年第1期19卷 5-5页

作者： Xiong, Lizhi Han, Xiao Yang, Ching-Nung Xia, Zhihua Engineering Research Center of Digital Forensics Ministry of Education School of Computer and Software Nanjing University of Information Science and Technology No. 219 Ningliu Road Nanjing Jiangsu210044 China Department of Computer Science and Information Engineering National Dong Hwa University No. 1 Sec. 2 Da Hsueh Rd. Hualien974301 Taiwan

Reversible Data Hiding in Encrypted Image (RDHEI) schemes may redistribute the data hiding procedure to other parties and can preserve privacy of the cover image. Recently, cloud computing technology has led to the rapid growth of networked media, and many multimedia rights are owned by multiple parties, such as a film's producer and multiple distributors. Thus, the data hiding task could be distributed to multiple distributed servers. Multi-party data hiding has become an important demand for networked media. In addition, it is essential to preserve multi-server and multi-message privacy and data integrity. However, most of the RDHEI schemes involve only one data hider. That inspired us to design the secure multi-party embedding over distributed encrypted-image servers as a solution for multi-party RDHEI applications. In this article, we propose a novel Reversible Data Hiding over Distributed Encrypted-Image Servers (RDH-DES) based on secret sharing. The Chinese remainder theorem, secret sharing, and block-level scrambling are developed as a lightweight cryptography to generate the encrypted image shares. These shares are distributed to different image servers and are used to embed secret data in the proposed framework. The marked encrypted image can be constructed through the marked encrypted shares from different parties, and the decryption and extraction can be completed by the receiver. The experimental results and theoretical analysis have demonstrated that the proposed scheme is secure and effective. © 2023 Association for Computing Machinery.

关键词： Steganography

来源：评论

学校读者我要写书评

暂无评论

Lens-Free Optical Physical Unclonable Function with Native Fibrous Media

Lens-Free Optical Physical Unclonable Function with Native F...

引用

2022 Conference on Lasers and Electro-Optics, CLEO 2022

作者： Kim, Min Seok Lee, Gil Ju Choi, Seung Ho Leem, Jung Woo Kim, Young L. Song, Young Min School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technology Gwangju61005 Korea Republic of Department of Electronics Engineering Pusan National University 2 Busandaehakro 63 beon-gil Geumjeong-gu Busan46241 Korea Republic of Department of Biomedical Engineering Yonsei University Wonju220-710 Korea Republic of Weldon School of Biomedical Engineering Purdue University West LafayetteIN47907 United States

We propose a novel optical PUFs by adopting native silk with its intrinsic properties of randomly disordered structures. The demonstrated silk PUFs present high reproducibility and randomness in bit extractions. ©... 详细信息

ISBN: (纸本)9781957171050

关键词： Lenses

来源：评论

学校读者我要写书评

暂无评论

Quantum limit to subdiffraction incoherent optical imaging. III. Numerical analysis

arXiv

引用

arXiv 2023年

作者： Tan, Xiao-Jie Tsang, Mankei Department of Electrical and Computer Engineering National University of Singapore 4 Engineering Drive 3 Singapore117583 Singapore Department of Physics National University of Singapore 2 Science Drive 3 Singapore117551 Singapore

To investigate the fundamental limit to far-field incoherent imaging, the prequels to this work [M. Tsang, Phys. Rev. A 99, 012305 (2019);104, 052411 (2021)] have studied a quantum lower bound on the error of estimating an object moment and proved a scaling law for the bound with respect to the object size. As the scaling law was proved only in the asymptotic limit of vanishing object size, this work performs a numerical analysis of the quantum bound to verify that the law works well for nonzero object sizes in reality. We also use the numerical bounds to study the optimality of a measurement called spatial-mode demultiplexing or SPADE, showing that SPADE not only follows the scaling but is also numerically close to being optimal, at least for low-order moments. Copyright © 2023, The Authors. All rights reserved.

关键词： Numerical analysis

来源：评论

学校读者我要写书评

暂无评论

Lens-Free Optical Physical Unclonable Function with Native Fibrous Media

Lens-Free Optical Physical Unclonable Function with Native F...

引用

CLEO: Applications and Technology, A and T 2022

作者： Seok kim, Min Lee, Gil Ju Choi, Seung Ho Leem, Jung Woo Kim, Young L. Song, Young Min School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technology Gwangju61005 Korea Republic of Department of Electronics Engineering Pusan National University 2 Busandaehakro 63 beon-gil Geumjeong-gu Busan46241 Korea Republic of Department of Biomedical Engineering Yonsei University Wonju220-710 Korea Republic of Weldon School of Biomedical Engineering Purdue University West LafayetteIN47907 United States

ISBN: (纸本)9781957171050

关键词： Lenses

来源：评论

学校读者我要写书评

暂无评论

The Transferable Belief Model for Failure Prediction in Wireless Sensor Networks

引用

SN computer science 2021年第4期2卷 269页

作者： Kamdjou, Hugues Marie Tagne Fute, Elie El Amraoui, Adnen Nzeukou, Armand Department of Mathematics and Computer Science University of Dschang Dschang Cameroon Department of Mathematics and Computer Science University of Dschang Dschang Cameroon Department of Computer Engineering Faculty of Engineering and Technology University of Buea Buea Cameroon Laboratoire de Génie Informatique et d’Automatique de l’Artois (LGI2A) University of Artois U.R. 3926 Béthune 62400 France Laboratory of Industrial Systems and Environmental Engineering Faculty of Science Fotso Victor University Institute of Technology University of Dschang Dschang Cameroon

In recent years, with the advent of smart sensors, the design and deployment of Wireless Sensor Networks (WSN) have become an active area of research. Sensor nodes are typically deployed to sense, measure and gather parameters/conditions such as temperature, pressure, humidity, vibration, etc. Then, the Industrial Internet of Things (IIoT) applies WSN to improve the productivity and efficiency of existing and prospective manufacturing industries. The measured values are transmitted to a data fusion centre for further processing. However, the set of learning data on which the processing must be based for decision making is not always complete due to some failures such as security attack, packet leak, collision, interference, congestion, channel fading, devices errors, incorrect deployment, synchronization issues, environmental blockages or unknown errors. The management of missing data is a common and widespread problem in smart factory using WSN. It is a more common topic in monitoring systems. The matter is to define a Transferable Belief Model (TBM) for failures prediction in WSN. However, most of the existing prediction methods are based on deterministic probabilistic approaches. These approaches are not adapted for representation of imprecise knowledge common in WSN. To remedy these issues, the ultimate goal of this paper is to propose a non-deterministic approach for building a predictive belief function from statistical data for decision making. The fundamental point of methodology is to transfer uncertainties by transforming masses function into densities function, and then belief functions, plausibility functions and commonality functions into integrals of these densities function. The efficiency of the approach is demonstrated using a simulated WSN problem and Monte Carlo simulation. The simulation’s results have shown that the proposed approach achieves satisfactory performance compared to data imputation methods. © 2021, The Author(s), under exclusive lic

关键词： Belief functions Decision making Missing data Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

A Survey on Intelligent Internet of Things: Applications, Security, Privacy, and Future Directions

arXiv

引用

arXiv 2024年

作者： Aouedi, Ons Vu, Thai-Hoc Sacco, Alessio Nguyen, Dinh C. Piamrat, Kandaraj Marchetto, Guido Pham, Quoc-Viet SnT SIGCOM University of Luxembourg Luxembourg Nantes University École Centrale Nantes CNRS INRIA LS2N UMR 6004 France The Department of Electrical Electronic and Computer Engineering University of Ulsan Korea Republic of DAUIN Politecnico di Torino Turin10129 Italy The Department of Electrical and Computer Engineering University of Alabama in Huntsville United States The School of Computer Science and Statistics Trinity College Dublin The University of Dublin Dublin2 D02 PN40 Ireland

The rapid advances in the Internet of Things (IoT) have promoted a revolution in communication technology and offered various customer services. Artificial intelligence (AI) techniques have been exploited to facilitate IoT operations and maximize their potential in modern application scenarios. In particular, the convergence of IoT and AI has led to a new networking paradigm called Intelligent IoT (IIoT), which has the potential to significantly transform businesses and industrial domains. This paper presents a comprehensive survey of IIoT by investigating its significant applications in mobile networks, as well as its associated security and privacy issues. Specifically, we explore and discuss the roles of IIoT in a wide range of key application domains, from smart healthcare and smart cities to smart transportation and smart industries. Through such extensive discussions, we investigate important security issues in IIoT networks, where network attacks, confidentiality, integrity, and intrusion are analyzed, along with a discussion of potential countermeasures. Privacy issues in IIoT networks were also surveyed and discussed, including data, location, and model privacy leakage. Finally, we outline several key challenges and highlight potential research directions in this important area. Copyright © 2024, The Authors. All rights reserved.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Ziv-Zakai-type error bounds for general statistical models

arXiv

引用

arXiv 2023年

作者： Tsang, Mankei Department of Electrical and Computer Engineering National University of Singapore 4 Engineering Drive 3 Singapore117583 Singapore Department of Physics National University of Singapore 2 Science Drive 3 Singapore117551 Singapore

I propose Ziv-Zakai-type lower bounds on the Bayesian error for estimating a parameter β: Θ → R when the parameter space Θ is general and β(θ) need not be a linear function of θ. Copyright © 2023, The Auth...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Downlink and Uplink ISAC in Continuous-Aperture Array (CAPA) Systems

arXiv

引用

arXiv 2025年

作者： Zhao, Boqun Ouyang, Chongjun Zhang, Xingqi Shin, Hyundong Liu, Yuanwei Department of Electrical and Computer Engineering University of Alberta EdmontonABT6G 2R3 Canada School of Electronic Engineering and Computer Science Queen Mary University of London LondonE1 4NS United Kingdom Department of Electronics and Information Convergence Engineering Kyung Hee University Gyeonggido Yongin-si17104 Korea Republic of Department of Electrical and Electronic Engineering The University of Hong Kong Hong Kong

A continuous-aperture array (CAPA)-based integrated sensing and communications (ISAC) framework is proposed for both downlink and uplink scenarios. Within this framework, continuous operator-based signal models are employed to describe the sensing and communication processes. The performance of communication and sensing is analyzed using two information-theoretic metrics: the communication rate (CR) and the sensing rate (SR). 1) For downlink ISAC, three continuous beamforming designs are proposed: i) the communications-centric (C-C) design that maximizes the CR, ii) the sensing-centric (S-C) design that maximizes the SR, and iii) the Pareto-optimal design that characterizes the Pareto boundary of the CR-SR region. A signal subspace-based approach is proposed to derive the closed-form optimal beamformers for the considered designs. On this basis, closed-form expressions are derived for the achievable CRs and SRs, and the downlink rate region achieved by CAPAs is characterized. 2) For uplink ISAC, the C-C and SC successive interference cancellation (SIC)-based methods are proposed to manage inter-functionality interference. Using the subspace approach along with the time-sharing technique, closed-form expressions for the optimal beamformers are derived, and the achievable CRs, SRs, and rate region are analyzed. Numerical results demonstrate that, for both downlink and uplink, CAPA-based ISAC achieves higher CRs and SRs as well as larger CR-SR regions compared to conventional spatially discrete array (SPDA)-based ISAC. Copyright © 2025, The Authors. All rights reserved.

关键词： Beamforming

来源：评论

学校读者我要写书评

暂无评论

Velocity-Free Adaptive Neural-Fuzzy Predefined-Time Attitude Control for Spacecraft

引用

IEEE Transactions on Aerospace and Electronic Systems 2025年第3期61卷 6354-6372页

作者： Liu, Kang Wang, Yu Li, Yu Zhang, Yu Wen, Chih-Yung Hong Kong Polytechnic University Department of Aeronautical and Aviation Engineering Hong Kong Hong Kong Hohai University College of Artificial Intelligence and Automation Changzhou213000 China University of Sheffield Department of Computer Science SheffieldS10 2TN United Kingdom

The high-performance control of the spacecraft attitude is significant for successfully executing diverse tasks. To realize this goal, a velocity-free adaptive neural-fuzzy predefined-time attitude controller is presented for the spacecraft with uncertain inertia, exogenous disturbances, and input saturation. Firstly, an improved predefined-time stable system is established, featuring an adjustable convergence time to enhance the flexibility of the controller design. Utilizing the robust approximation ability of the neural-fuzzy network, a state observer and a nonsingular sliding mode controller are developed to achieve accurate state measurements, improve strong robustness, and eliminate singularity issues. Subsequently, a modified anti-saturation method is designed via the Gaussian function and auxiliary compensation system to resolve the input saturation problem. Based on the Lyapunov theorem, the predefined-time stability of the whole system is confirmed. Finally, through comparative simulations and numerical analysis, it can be concluded that: 1) the system state converges within a predefined time related to only a single parameter, and the actual convergence time is adjustable;and 2) compared to existing control schemes, the proposed control scheme demonstrates superior anti-disturbance ability, avoids potential singularities, achieves faster convergence, and eliminates input saturation. © 1965-2011 IEEE.

关键词： Attitude control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：