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

Adaptive Nussbaum Design for Nonholonomic Systems With Asymptotic Stabilization Against False Data Injection

IEEE Transactions on Cybernetics 2025年

作者： Liu, Guilong Yang, Yongliang Gao, Weinan Wunsch, Donald C. University of Science and Technology Beijing Key Laboratory of Knowledge Automation for Industrial Processes of Ministry of Education School of Automation and Electrical Engineering Beijing100083 China Northeastern University State Key Laboratory of Synthetical Automation for Process Industries Shenyang110819 China Missouri University of Science and Technology Department of Electrical and Computer Engineering RollaMO65409 United States

This article addresses the stabilization challenges of nonholonomic systems under the threat of false data injection (FDI) attacks, which compromise the integrity of state information. A novel adaptive control strategy using Nussbaum-type gains is proposed to ensure the asymptotic stability of the closed-loop system while maintaining signal boundedness. The approach extends conventional Nussbaum designs to handle multiple unknown control directions. It integrates online learning mechanisms to mitigate the impact of FDI attacks. Additionally, adaptive backstepping and fuzzy-logic systems are utilized to approximate and compensate for unknown nonlinear dynamics. The methodology transforms nonholonomic systems into equivalent cascade structures to address inherent constraints and enable secure control input design. Simulation studies validate the effectiveness and resilience of the proposed control strategy, demonstrating significant improvements in stability and robustness in the presence of FDI attacks. © 2013 IEEE.

关键词： Adaptive control systems

来源：评论

学校读者我要写书评

暂无评论

The Expansion Postponement in Pure Type Systems

引用

Journal of computer science & technology 1997年第6期12卷 555-563页

作者：宋方敏 Department of Computer Science and State Key Laboratory for Novel Software Technology Nanjing University Nanjing

The expansion postponement problem in Pure Type Systems is an open problem raised by R. Pollack in 1992. In this paper, the author presents a set of necessary and sufficient conditions for this problem and a set of su... 详细信息

关键词： Type theory pure type system reduction and expansion

来源：评论

学校读者我要写书评

暂无评论

Weighted Density for The Win: Accurate Subspace Density Clustering

Weighted Density for The Win: Accurate Subspace Density Clus...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Maixuan Peng Yuyang Wu Yang Lu Mengke Li Yiqun Zhang Yiu-Ming Cheung School of Computer Science and Technology Guangdong University of Technology Guangzhou China Faculty of Science Wilfrid Laurier University Brantford Canada Fujian Key Laboratory of Sensing and Computing for Smart City School of Informatics Xiamen University Xiamen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China Department of Computer Science Hong Kong Baptist University China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

k-clustering typically struggles with the detection of irregular-distributed clusters due to the natural bias, while density clustering usually cannot well-adapt to different datasets and clustering tasks as it is not an oriented optimization process. This paper, therefore, proposes to perform density clustering in dynamically learned subspaces. To exploit the irregular-distributed clusters obtained by density clustering for the subspace determination, we design a new strategy to appropriately evaluate the importance of attributes. It turns out that the proposed Weighted Density-based Subspace Clustering (WDSC) algorithm inherits the unbiased merits of density clustering, and also upgrades the unlearning density clustering to be learnable under the subspace learning paradigm of k-clustering. A comprehensive evaluation including significance tests, ablation studies, qualitative comparisons, etc., shows the superiority of WDSC.

关键词： Accuracy Heuristic algorithms Signal processing algorithms Clustering algorithms Signal processing Acoustics Speech processing Optimization

来源：评论

学校读者我要写书评

暂无评论

Research on Microkernel Integrity Semantics Model and Formal Verification

引用

Chinese Journal of Electronics 2014年第1期23卷 43-48页

作者： QIAN Zhenjiang LIU Wei HUANG Hao State Key Laboratory for Novel Software Technology Nanjing University Department of Computer Science and Technology Nanjing University

Microkernel integrity is an important aspect of security for the whole microkernel system. Many of the research works on microkernel integrity focus on analysis and safeguards against the existing kernel attacks, and security enhancements for the vulnerabilities of system design and implementation aspects. The formal methods for operating system design and verification ensure the system’s high level of security. The existing formalization work and research for operating system mainly focus on the code-level verification of program correctness. In this paper, we propose a formal abstraction model of microkernel in order to accurately describe the semantics of every kernel behavior, and achieve the description of the whole kernel. Based on the model we illustrate the microkernel integrity criterions and elaborate on the integrity mechanism. Meanwhile, we formally verify the completeness and consistency between the mechanism and the definition of the microkernel integrity. We use the self-implemented operating system VTOS(Verified trusted operating system) as an example to illustrate the design method for the microkernel integrity.

关键词： Microkernel integrity Integrity mechanism Integrity semantics model Formal verification

来源：评论

学校读者我要写书评

暂无评论

Toward a seamless adaptation platform for Internetware

引用

science China(Information sciences) 2013年第8期56卷 41-53页

作者： CAO Chun YU Ping HU Hao LV Jian State Key Laboratory for Novel Software Technology Nanjing University Department of Computer Science and Technology Nanjing University

Internetware applications must adapt themselves to keep their satisfaction with sufficient functionality,performance and *** this paper,we introduce a comprehensive technical platform to support such *** and low disruptive software updating techniques for multi-grained abstractions,namely objects,processes/workflows,components and coordinated systems,are proposed toward a seamless adaptation *** platform integrates all the techniques organically to support the practical adaptation scenarios that need the synergy of multiple *** implement the platform in accordance with industrial standards with its feasibility and efficiency demonstrated and hope the platform can be a stepping stone for future technical research for the Internetware paradigm.

关键词： Internetware seamless adaptation dynamic software update process migration component reconfiguration

来源：评论

学校读者我要写书评

暂无评论

Transfer Learning via Multi-View Principal Component Analysis

引用

Journal of computer science & technology 2011年第1期26卷 81-98页

作者：吉阳生陈家骏牛罡商琳戴新宇 Department of Computer Science and Technology Nanjing University National Key Laboratory for Novel Software Technology Nanjing University

Transfer learning aims at leveraging the knowledge in labeled source domains to predict the unlabeled data in a target domain, where the distributions are diiTerent in domains. Among various methods for transfer learning, one kind of Mgorithms focus on the correspondence between bridge features and all the other specific features from different domains, and later conduct transfer learning via the single-view correspondence. However, the single-view correspondence may prevent these algorithms from further improvement due to the problem of incorrect correlation discovery. To tackle this problem, we propose a new method for transfer learning in a multi-view correspondence perspective, which is called MultiView Principal Component Analysis （MVPCA） approach. MVPCA discovers the correspondence between bridge features representative across all domains and specific features from different domains respectively, and conducts the transfer learning by dimensionality reduction in a multi-view way, which can better depict the knowledge transfer. Experiments show that MVPCA can significantly reduce the cross domain prediction error of a baseline non-transfer method. With multi-view correspondence information incorporated to the single-view transfer learning method, MVPCA can further improve the performance of one state-of-the-art single-view method.

关键词： transfer learning multi-view principal component analysis text mining sentiment classification

来源：评论

学校读者我要写书评

暂无评论

Predictive ISAC Beamforming Using LoRA-Transformer LSTM Integrated with GNN in Ultra-Dense D2D mmWave Networks

引用

IEEE Transactions on Vehicular technology 2025年

作者： Liu, Haochen Bi, Jia Li, Bohan Xiang, Luping Yang, Xin Zhang, Zhaolin Wang, Ling Northwestern Polytechnical University School of Electronics and Information Xi'an710019 China Rutherford Appleton Laboratory Scientific Computing Department STFC DidcotOX11 0QX United Kingdom Ocean University of China Faculty of Information Science and Engineering Qingdao266100 China Nanjing University State Key Laboratory of Novel Software Technology Nanjing210008 China School of Intelligent Software and Engineering Suzhou China

Effective beamforming is crucial in ultra-dense device-to-device (D2D) mmWave networks to reduce interference and optimize communication. However, current methods often struggle to balance high data rates with minimal signaling overhead, especially with imperfect channel state information (CSI). This paper introduces a machine learning-assisted beamforming design tailored for integrated sensing and communication (ISAC), combining an efficient Low-Rank Adaptation Blocked LSTM Transformer with Message Passing Graph Neural Network that is called as LoRA_BLT-MPGNN. The LoRA_BLT component provides a key advantage by efficiently capturing both temporal and spatial patterns through fixed-weight updates during training and low-rank approximation for fine-tuning, significantly reducing computational complexity without sacrificing accuracy. Using historical channel data, the method implicitly captures channel characteristics and directly predicts the beamforming matrix for the subsequent time slot, minimizing signaling overhead while maximizing the achievable sum rate. Our research and simulation results show that the proposed predictive beamforming design maintains robust sensing performance and achieves a sum rate closely approaching the upper bound achievable with perfect CSI. Additionally, the incorporation of MPGNNs enables efficient modeling and learning of complex inter-node relationships, making the approach adaptable to networks of varying sizes and densities. Simulations further demonstrate that the LoRA_BLT-MPGNN model can be generalized across different network densities and coverage areas, reducing computational complexity by approximately 32× in terms of Tensor Floating Point Operations (TFLOPs) compared to conventional methods while maintaining high performance. © 2025 IEEE.

关键词： Beamforming

来源：评论

学校读者我要写书评

暂无评论

PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing

arXiv

引用

arXiv 2025年

作者： Zhang, Yuwei Jin, Zhi Xing, Ying Li, Ge Liu, Fang Zhu, Jiaxin Dou, Wensheng Wei, Jun Affiliated with Nanjing Institute of Software Technology University of Chinese Academy of Sciences Nanjing China Key Laboratory of System Software Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences Beijing China Key Laboratory of High Confidence Software Technologies Peking University Ministry of Education School of Computer Science Peking University Beijing China School of Computer Science Wuhan University Wuhan China School of Intelligent Engineering and Automation Beijing University of Posts and Telecommunications Beijing China State Key Laboratory of Complex & Critical Software Environment School of Computer Science and Engineering Beihang University Beijing China

Bug fixing holds significant importance in software development and maintenance. Recent research has made substantial strides in exploring the potential of large language models (LLMs) for automatically resolving software bugs. However, a noticeable gap in existing approaches lies in the oversight of collaborative facets intrinsic to bug resolution, treating the process as a single-stage endeavor. Moreover, most approaches solely take the buggy code snippet as input for LLMs during the patch generation stage. To mitigate the aforementioned limitations, we introduce a novel stage-wise framework named PATCH. Specifically, we first augment the buggy code snippet with corresponding dependence context and intent information to better guide LLMs in generating the correct candidate patches. Additionally, by taking inspiration from bug management practices, we decompose the bug-fixing task into four distinct stages: bug reporting, bug diagnosis, patch generation, and patch verification. These stages are performed interactively by LLMs, aiming to simulate the collaborative behavior of programmers during the resolution of software bugs. By harnessing these collective contributions, PATCH effectively enhances the bug-fixing capability of LLMs. We implement PATCH by employing the powerful dialogue-based LLM ChatGPT. Our evaluation on the widely used bug-fixing benchmark BFP demonstrates that PATCH has achieved better performance than state-of-the-art LLMs. Copyright © 2025, The Authors. All rights reserved.

关键词： computer software maintenance

来源：评论

学校读者我要写书评

暂无评论

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits

arXiv

引用

arXiv 2025年

作者： Huang, Mingyu Guan, Ji Fang, Wang Ying, Mingsheng Key Laboratory of System Software Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing101408 China School of Informatics University of Edinburgh EdinburghEH8 9UR United Kingdom Centre for Quantum Software and Information University of Technology Sydney UltimoNSW2007 Australia

In the current NISQ (Noisy Intermediate-Scale Quantum) era, simulating and verifying noisy quantum circuits is crucial but faces challenges such as quantum state explosion and complex noise representations, constraining simulation, and equivalence checking to circuits with a limited number of qubits. This paper introduces an approximation algorithm for simulating and assessing the equivalence of noisy quantum circuits, specifically designed to improve scalability under low-noise conditions. The approach utilizes a novel tensor network diagram combined with singular value decomposition to approximate the tensors of quantum noises. The implementation is based on Google’s TensorNetwork Python package for contraction. Experimental results on realistic quantum circuits with realistic hardware noise models indicate that our algorithm can simulate and check the equivalence of QAOA (Quantum Approximate Optimization Algorithm) circuits with around 200 qubits, surpassing the state-of-the-art methods by noise number and execution time. © 2025, CC BY.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

Verifying Time Petri Nets by Linear Programming

引用

Journal of computer science & technology 2001年第1期16卷 39-46页

作者：李宣东 State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing P.R. China

The paper proposes an approach to solving some verification prob- lems of time Petri nets using linear programming. The approach is based on the observation that for loop-closed time Petri nets, it is only necessary to investigate a finite prefix of an untimed run of the underlying Petri net. Using the technique the paper gives solutions to reachability and bounded delay timing analysis problems. For both problems algorithms are given, that are decision procedures for loop-closed time Petri nets, and semi-decision procedures for general time Petri nets.

关键词： real-time system time Petri net linear programming model-checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：