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

Shorter ZK-SNARKs from square span programs over ideal lattices

Cybersecurity 2025年第1期8卷 208-226页

作者： Xi Lin Heyang Cao Feng‑Hao Liu Zhedong Wang Mingsheng Wang Key Laboratory of Cyberspace Security Defense Institute of Information EngineeringChinese Academy of SciencesBeijingChina School of Cyber Security University of Chinese Academy of SciencesBeijingChina School of Electrical Engineering&Computer Science Washington State UniversityPullmanWAUSA School of Cyber Science and Engineering Shanghai Jiaotong UniversityShanghaiChina

Zero-knowledge succinct non-interactive arguments of knowledge(zk-SNARKs)are cryptographic protocols that ofer efcient and privacy-preserving means of verifying NP language relations and have drawn considerable atten‑tion for their appealing applications,e.g.,verifable computation and anonymous payment *** with the pre-quantum case,the practicability of this primitive in the post-quantum setting is still unsatisfactory,espe‑cially for the space *** tackle this issue,this work seeks to enhance the efciency and compactness of lat‑tice-based zk-SNARKs,including proof length and common reference string(CRS)*** this paper,we develop the framework of square span program-based SNARKs and design new zk-SNARKs over cyclotomic *** with previous works,our construction is without parallel repetition and achieves shorter proof and CRS lengths than previous lattice-based zk-SNARK ***,the proof length of our scheme is around 23.3%smaller than the recent shortest lattice-based zk-SNARKs by Ishai et al.(in:Proceedings of the 2021 ACM SIGSAC conference on computer and communications security,pp 212-234,2021),and the CRS length is 3.6×*** constructions follow the framework of Gennaro et al.(in:Proceedings of the 2018 ACM SIGSAC conference on computer and com‑munications security,pp 556-573,2018),and adapt it to the ring setting by slightly modifying the knowledge *** develop concretely small constructions by using module-switching and key-switching procedures in a novel way.

关键词： Zk-SNARKs Post-quantum Succinct argument

来源：评论

学校读者我要写书评

暂无评论

BEDiff: denoising diffusion probabilistic models for building extraction

引用

Optoelectronics Letters 2025年第5期21卷 298-305页

作者： LEI Yanjing WANG Yuan CHAN Sixian HU Jie ZHOU Xiaolong ZHANG Hongkai College of Computer Science and Technology Zhejiang University of Technology Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering College of Computer and Information China Three Gorges University Key Laboratory of Intelligent Informatics for Safety & Emergency of Zhejiang Province Wenzhou University College of Electrical and Information Engineering Quzhou University School of Electronic and Information Engineering Anhui Jianzhu University

Accurately identifying building distribution from remote sensing images with complex background information is challenging. The emergence of diffusion models has prompted the innovative idea of employing the reverse denoising process to distill building distribution from these complex backgrounds. Building on this concept, we propose a novel framework, building extraction diffusion model(BEDiff), which meticulously refines the extraction of building footprints from remote sensing images in a stepwise fashion. Our approach begins with the design of booster guidance, a mechanism that extracts structural and semantic features from remote sensing images to serve as priors, thereby providing targeted guidance for the diffusion process. Additionally, we introduce a cross-feature fusion module(CFM) that bridges the semantic gap between different types of features, facilitating the integration of the attributes extracted by booster guidance into the diffusion process more effectively. Our proposed BEDiff marks the first application of diffusion models to the task of building extraction. Empirical evidence from extensive experiments on the Beijing building dataset demonstrates the superior performance of BEDiff, affirming its effectiveness and potential for enhancing the accuracy of building extraction in complex urban landscapes.

关键词： A

来源：评论

学校读者我要写书评

暂无评论

Observer-based stabilization for discrete nonlinear semi-Markov jump singularly perturbed models with mode-switching delay

引用

science China(information sciences) 2025年第4期68卷 389-390页

作者： Wenhai QI Runkun LI Ju H.PARK Zheng-Guang WU Huaicheng YAN School of Engineering Qufu Normal University Department of Electrical Engineering Yeungnam University Institute of Cyber-Systems and Control Zhejiang University Key Laboratory of Smart Manufacturing in Energy Chemical Process of Ministry of Education East China University of Science and Technology

Semi-Markov jump systems(S-MJMs) not only characterize hybrid systems but also address the limitations of Markov jump systems(MJMs) [1–3]. Due to their ability to exhibit multi-time-scale features, singularly perturbed models(SPMs) effectively model practical systems influenced by multiple time-scale phenomena [4]. In this study, the observer-based output feedback controller is asynchronous with the original system due to the time delay in the controller mode switching. A nonlinear plant with singularly perturbed parameters(SPPs) is represented using an interval type-2(IT2) fuzzy model [5].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Supervisory control of Discrete Event systems Modeled With Labeled Petri Nets for Diagnosability Enforcement

引用

IEEE Transactions on Automation science and engineering 2025年 22卷 13855-13870页

作者： Li, Chengzong Chen, Yufeng Mostafa, Almetwally M. Khalgui, Mohamed Qinghai University School of Energy and Electrical Engineering Xining810000 China Macau University of Science and Technology Institute of Systems Engineering Taipa China King Saud University College of Computer and Information Sciences Department of Information Systems Riyadh11543 Saudi Arabia German International University Faculty of Engineering Berlin13507 Germany

This paper proposes an active fault diagnosis method to enforce the diagnosability of discrete event systems using labeled Petri nets by constructing a diagnostic supervisor. For a non-diagnosable net model, its diagnosability is viewed as a control specification and addressed by using supervisory control techniques. First, an event-based monitor and a Petri net structure, referred to as data isolation arcs, are introduced to apply control specifications for labeled Petri nets. Then, a diagnostic supervisor reachability graph is generated to estimate the current state of the diagnoser. By analyzing the diagnostic supervisor reachability graph, an integer linear programming model is formulated to design a diagnostic supervisor, which can prevent the system from entering into any indeterminate cycle only by observing the occurrence of events. Finally, by the obtained diagnostic supervisor, the resulting net model is shown to be diagnosable. Some examples are presented to demonstrate the proposed method. © 2004-2012 IEEE.

关键词： Supervisory personnel

来源：评论

学校读者我要写书评

暂无评论

Assessment of Multilevel Intransitive Noninterference by Nonblocking Analysis

引用

IEEE Transactions on Automatic control 2025年第5期70卷 2902-2917页

作者： Zhong, Wenjing Zhao, Jinjing Hu, Hesuan Xidian University School of Electro-Mechanical Engineering Xi'an710071 China National Key Laboratory of Science and Technology on Information System Security Beijing100101 China Nanyang Technological University School of Computer Science and Engineering College of Engineering 639798 Singapore Xi'an Jiaotong University State Key Laboratory for Manufacturing Systems Engineering Xi'an710054 China

Security of system behavior is a kind of information flow security, which is achieved by confusing the intruders via the indistinguishability of system behaviors. Noninterference is a typical notion to describe information flow security, for which multilevel intransitive noninterference (MINI) is an advanced variant. Since there is a lack of rigorous approach to assessing MINI, this article achieves so via observability theory. For systems modeled by labeled Petri nets (LPNs), two MINI properties, i.e., positive MINI (PMINI) and bipolar MINI (BMINI), are considered. First, a necessary and sufficient condition for their assessment is established via language equivalence. Language equivalence analyses for PMINI and BMINI are based on the existing trace equivalence and the proposed INI bisimulation, respectively. INI bisimulation is more comprehensive to describe negative noninterference than bisimulation. Second, another necessary and sufficient condition is established after the transformation of MINI assessment problem to nonblocking analysis problem. The core of such a problem transformation is the stepwise construction of nonblocking analyzer. This stepwise construction allows MINI assessment to proceed online before terminating at an appropriate time. In addition, this stepwise construction fully employs the concurrency of LPNs so that MINI can be assessed in a multithreaded way. Both online and multithreaded MINI assessments can improve assessment efficiency. © 1963-2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Dynamic and Heterogeneous Identity-Based Cooperative Co-Evolution for Distributed Lot-Streaming Flowshop Scheduling Problem

引用

Complex System Modeling and Simulation 2025年第1期5卷 86-106页

作者： Wang, Juan Zhang, Guanghui Li, Xiaoling Feng, Yanxiang School of Information Science and Technology Hebei Agricultural University Baoding071001 China Xi'an Jiaotong University State Key Laboratory for Manufacturing Systems Engineering Xi'an710049 China School of Electronics and Control Engineering Chang'an University Xi'an710064 China School of Automation Science and Engineering Xi'an Jiaotong University Xi'an710049 China

In this research, a novel dynamic and heterogeneous identity based cooperative co-evolutionary algorithm (DHICCA) is proposed for addressing the distributed lot-streaming flowshop scheduling problem (DLSFSP) with the objective to minimize the makespan. A two-layer-vector representation is devised to bridge the solution space of DLSFSP and the search space of DHICCA. In the evolution of DHICCA, population individuals are endowed with heterogeneous identities according to their quality, including superior individuals, ordinary individuals, and inferior individuals, which serve local exploitation, global exploration, and diversified restart, respectively. Because individuals with different identities require different evolutionary mechanisms to fully unleash their respective potentials, identity-specific evolutionary operators are devised to evolve them in a cooperative co-evolutionary way. This is important to use limited population resources to solve complex optimization problems. Specifically, exploitation is carried out on superior individuals by devising three exploitative operators with different intensities based on techniques of variable neighborhood, destruction-construction, and gene targeting. Exploration is executed on ordinary individuals by a newly constructed discrete Jaya algorithm and a probability crossover strategy. In addition, restart is performed on inferior individuals to introduce new evolutionary individuals to the population. After the cooperative co-evolution, all individuals with different identities are merged as a population again, and their identities are dynamically adjusted by new evaluation. The influence of parameters on the algorithm is investigated based on design-of-experiment and comprehensive computational experiments are used to evaluate the performance of all algorithms. The results validate the effectiveness of special designs and show that DHICCA performs more efficient than the existing state-of-the-art algorithms in solving

关键词： Vector spaces

来源：评论

学校读者我要写书评

暂无评论

Solving Overlapping Coalition Structure Generation in Task-Based Settings

引用

Journal of Artificial Intelligence Research 2025年 82卷 2125-2166页

作者： Zhang, Guofu Su, Zhaopin Song, Xiaoxiao Gao, Zixuan Li, Miqing Yao, Xin School of Computer Science and Information Engineering Hefei University of Technology Anhui Hefei China Intelligent Interconnected Systems Laboratory of Anhui Province Anhui Hefei China Anhui Province Key Laboratory of Industry Safety and Emergency Technology Anhui Hefei China CERCIA School of Computer Science University of Birmingham Birmingham United Kingdom School of Data Science Lingnan University Hong Kong

The overlapping coalition structure generation problem (OCSGP) is a challenging computational problem in multi-agent systems. It focuses on selecting possibly overlapping coalitions from a set of agents to maximize the social welfare of all coalitions while containing all agents. However, in practical applications, coalitions may be formed to selectively respond to tasks from a pool of potential tasks assigned to agents. Consequently, this study considers OCSGP in a task-based setting, where each agent has finite resources and can only respond to tasks of interest, and each coalition can only take on mutually disjoint subsets of tasks. Specifically, we first present a model of the task-based OCSGP and investigate its computational complexity. Our theoretical results demonstrate that this specific OCSGP remains intractable even under restrictive assumptions. Subsequently, we develop a generic evolutionary algorithm framework (EAF) to find an approximately optimal overlapping coalition structure (OCS) in time quartic polynomial in the size of the instance. Particularly, we devise a specific solution-repair based heuristic of cubic time complexity to generate a feasible OCS. Finally, we compare the proposed EAF with a task-oriented heuristic and a hybrid algorithm for OCSGP, and examine its applicability in the pursuit-evasion problem. The experimental results reveal that the proposed EAF exhibits superior performance in finding feasible OCSs and demonstrates flexible adaptability to problem size and resource status. ©2025 The Authors.

关键词： Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

On Shaping Gain of Multidimensional Constellations in Linear and Nonlinear Optical Fiber Channel

引用

IEEE Journal on Selected Areas in Communications 2025年第5期43卷 1455-1468页

作者： Chen, Bin Liang, Zhiwei Lei, Yi Deng, JingXin Li, Shen Liga, Gabriele Hefei University of Technology School of Computer Science and Information Engineering Hefei230002 China Intelligent Interconnected Systems Laboratory of Anhui Province Hefei230002 China Chalmers University of Technology Department of Electrical Engineering Gothenburg412 96 Sweden Department of Electrical and Computer Engineering QC Québec CityG1V 0A6 Canada Eindhoven University of Technology Department of Electrical Engineering Eindhoven5612 AZ Netherlands

Utilizing the multi-dimensional (MD) space for constellation shaping has been proven to be an effective approach for achieving shaping gains. Despite there exists a variety of MD modulation formats tailored for specific optical transmission scenarios, there remains a notable absence of a dependable comparison method for efficiently and promptly re-evaluating their performance in arbitrary transmission systems. In this paper, we introduce an analytical nonlinear interference (NLI) power model-based shaping gain estimation method to enable a fast performance evaluation of various MD modulation formats in coherent dual-polarization (DP) optical transmission system. In order to extend the applicability of this method to a broader set of modulation formats, we extend the established NLI model to take the 4D joint distribution into account and thus able to analyze the complex interactions of non-iid signaling in DP systems. With the help of the NLI model, we conduct a comprehensive analysis of the state-of-the-art modulation formats and investigate their actual shaping gains in two types of optical fiber communication scenarios (multi-span and single-span). The numerical simulation shows that for arbitrary modulation formats, the NLI power and relative shaping gains in terms of signal-to-noise ratio can be more accurately estimated by capturing the statistics of MD symbols. Furthermore, the proposed method further validates the effectiveness of the reported NLI-tolerant modulation format in the literature, which reveals that the linear shaping gains and modulation-dependent NLI should be jointly considered for nonlinearity mitigation. © 1983-2012 IEEE.

关键词： Optical fibers

来源：评论

学校读者我要写书评

暂无评论

YOLOv8n-CGW: A novel approach to multi-oriented vehicle detection in intelligent transportation systems

引用

Multimedia Tools and Applications 2025年第7期84卷 3809-3840页

作者： Berwo, Michael Abebe Fang, Yong Sarwar, Nadeem Mahmood, Jabar Aljohani, Mansourah Elhosseini, Mostafa School of Information and Engineering Chang’an University Shaanxi Xi’an710064 China Department of Computer Science Bahria University Lahore Campus Punjab Lahore54600 Pakistan Department of Information Technology Faculty of Computing and Information Technology University of Sialkot Punjab Sialkot51040 Pakistan College of Computer Science and Engineering Taibah University Yanbu46421 Saudi Arabia Computers and Control Systems Engineering Department Faculty of Engineering Mansoura University Mansoura35516 Egypt

In the context of Intelligent Transportation systems (ITS), the role of vehicle detection and classification is indispensable for streamlining transportation management, refining traffic control, and conducting in-depth accident analyses. However, the intricate task of accurately detecting multi-oriented vehicles in diverse scenarios remains a challenge, even with the advancements in ITS. Factors such as vehicle morphology, design, road conditions, structural details, and climatic variables provide a significant part in the detection. To address this, our study introduces an advanced YOLOv8n model, specifically the YOLOv8n-CGW, which is built upon pre-trained deep learning frameworks. This model is meticulously tailored to enhance the detection capabilities for multi-oriented vehicles. Comprehensive evaluations on esteemed datasets like MtV, MERGED, Custom dataset, DAWN, WEDGE, and UA-DETRAC underscore the superiority of our approach over existing models. Notably, our YOLOv8n-CGW model achieves a remarkable mAP of 83.3% and boasts a swift inference time of 0.0019s, setting a new benchmark in the domain. © The Author(s), under exclusive licence to Springer science+Business Media, LLC, part of Springer Nature 2024.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Conditional Disturbance Compensation-Based Fault-Tolerant Group Consensus control for MASs: An Event-Based Switching Method

引用

IEEE Transactions on Automation science and engineering 2025年 22卷 13828-13841页

作者： Liu, Pei-Ming Guo, Xiang-Gui Wang, Jian-Liang Che, Wei-Wei Wu, Zheng-Guang University of Science and Technology Beijing Beijing Engineering Research Center of Industrial Spectrum Imaging School of Automation and Electrical Engineering Beijing100083 China University of Science and Technology Beijing Shunde Innovation School Foshan528000 China Beihang University Hangzhou Innovation Institute Autonomous Intelligent Systems Department Hangzhou310051 China Northeastern University College of Information Science and Engineering Shenyang266071 China Zhejiang University State Key Laboratory of Industrial Control Technology Institute of Cyber-Systems and Control Hangzhou310027 China

With respect to the group consensus control for multi-agent systems (MASs) with disturbances and actuator nonidentical and unknown direction faults (NUDFs), this paper proposes a novel fault-tolerant control scheme by incorporating an event-based switching function and a saturation function. The event-based switching function is implemented to directly switch to the desired working mode, thereby reducing invalid switching after a reverse fault. Concurrently, the saturation function, acting at the software level, can not only prevent the instantaneous impact of excessive reverse input caused by a reverse fault, but also eliminate input peaking and state chattering after switching the working mode. It is worth mentioning that the proposed switching-based fault-tolerant control method can avoid the control chocks and excessive control gains as in the existing methods by using Nussbaum functions and thus improve the transient performance. Additionally, for disturbances, the designed conditional disturbance compensation mechanism ensures a smaller steady-state error, and less energy consumption by utilizing beneficial disturbances and compensating for harmful ones. Besides, the conditional compensation mechanism also reduces the saturation error. Finally, the effectiveness of the proposed control scheme are verified through a simulation example of uncrewed aerial vehicles (UAVs). © 2004-2012 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：