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

Asian Test Symposium (ATS)

作者： Wei-Po Huang Shi-Yu Huang Chi-Kang Chen Siang-Cheng Huang Electrical Engineering Department National Tsing Hua University Taiwan Electronic System Design Automation

ISBN: (数字)9798331529161

ISBN: (纸本)9798331529178

In security-critical applications, malicious Trojan Horses embedded in a CPU core could impose great threats on the security of an SoC. In this work, we propose a "Trojan-Horse detection framework" using a cross-auditing scheme. Our framework takes a target RISC-V core, and then pairs it up with another reference RISC-V core to conduct the functional simulation using a set of benchmark programs. The "care outputs" of both cores are compared to reveal the potential Trojan Horses in the target core. A set of well-known Trojan Horses are implanted into an open-source RISC-V core to evaluate the effectiveness of this framework. We found that we can successfully detect almost every implanted Trojan Horse as long as it has been activated and manifested by the benchmark programs.

关键词： Threat modeling Power demand Source coding Hardware security Benchmark testing Complexity theory Trojan horses Cryptography

来源：评论

学校读者我要写书评

暂无评论

LiDAR Point Cloud Map Coding Framework Based on Quadric Surface Fitting and Scene Construction 5

LiDAR Point Cloud Map Coding Framework Based on Quadric Surf...

引用

5th IEEE International Conference on Pattern Recognition and Machine Learning, PRML 2024

作者： Sun, Xuebin Wang, Jinxi Yang, Xiaofei School of Electrical Automation and Information Engineering Tianjin University Tianjin China School of Information and Control Engineering China University of Mining and Technology Xuzhou China Shanghai Institute of Optics and Fine Mechanics Department of Aerospace Laser Technology and System Shanghai China

ISBN: (纸本)9798350355925

Due to rapid 3D acquisition advancements, LiDAR point clouds are prevalent in emerging applications like heritage preservation, mobile robotics, and remote sensing. Yet, the sheer data volume poses challenges for transmission and storage, especially in autonomous driving. This paper introduces an efficient coding framework for compressing large dense LiDAR point cloud maps. By recording timestamps and quaternion matrices during map construction, we reduce map compression to sequence compression. The scans are segregated into intra-frames and inter-frames. For intra-frames, a quadric surface fitting intra-prediction technique eliminates spatial redundancy. For inter-frames, by constructing the 3D scene using encoded intra-frames, the inter-frame can be simulated according to its posture and LiDAR intrinsic parameters. Coding focuses on the difference between actual and predicted point cloud data. Decoding reverses this process, reconstructing the point cloud map from the decoded sequence and quaternion matrices. KITTI dataset experiments show the point cloud map can be averagely compressed to 3.43% of its original size while maintaining centimeter-level precision. This outperforms both octree and Google Draco methods. © 2024 IEEE.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis of Boolean Networks: Exploring the Influence of Multi-bit Function Perturbations 63

Stability Analysis of Boolean Networks: Exploring the Influe...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Liu, Aixin Wang, Lin Chen, Guanrong Guan, Xinping Shanghai Jiao Tong University Department of Automation Shanghai200240 China Ministry of Education of China Key Laboratory of System Control and Information Processing Shanghai200240 China City University of Hong Kong Department of Electrical Engineering Hong Kong

ISBN: (纸本)9798350316339

This study investigates the impact of multi-bit function perturbations (MFPs) on the steady-state distribution of Boolean networks (BNs), with a focus on robust stability. First, the algebraic formulation of BNs under MFPs is introduced. Then, a novel stability criterion is proposed, demonstrating that monotonically decreasing perturbations can effectively ensure the stability of BNs against MFPs. A significant advantage of this approach is that it enables robust stability assessment without remodeling the perturbed BNs. Applying this methodology to a simplified Boolean model of the lactose operon in Escherichia coli reveals that MFPs can serve as strategic tools to promote stability within BNs, rather than being merely disruptive. © 2024 IEEE.

关键词： Stability criteria

来源：评论

学校读者我要写书评

暂无评论

Distributed Optimization of Heterogeneous Linear Multi-Agent systems with Unknown Disturbances 63

Distributed Optimization of Heterogeneous Linear Multi-Agent...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Duan, Mengmeng Zhu, Shanying Yang, Ziwen Chen, Cailian Guan, Xinping The authors are with the Department of Automation Shanghai Jiao Tong University Shanghai 200240 ChinaKey Laboratory of System Control and Information Processing Ministry of Education of China Shanghai 200240 China and also Shanghai Engineering Research Center of Intelligent Control and Management Shanghai 200240 China

ISBN: (纸本)9798350316339

In this paper, we investigate the distributed optimization problem for heterogeneous linear multi-agent systems with unknown disturbances. By applying the primal-dual method and the time-scale separation technique, a distributed dynamic controller without using any disturbance information is proposed. Based on the optimal condition, the relationship between the optimal solution and the equilibrium point of the system is established, and it is shown that the distributed optimization problem is solved provided that the closed-loop system is stable. Then, inspired by the nonsingular perturbation analysis, it is proved that the closed-loop system is exponentially input-to-state stable with respect to the derivative of the disturbance. Numerical examples are provided to illustrate the theoretical results. © 2024 IEEE.

关键词： Closed loop systems

来源：评论

学校读者我要写书评

暂无评论

Enhancing IC substrate manufacturing through differential geometry and lightweight networks for etching defect detection

引用

Journal of Manufacturing systems 2025年 80卷 902-915页

作者： Yu, Yongxing Huang, Dan Hu, Yueming School of Automation Science and Engineering South China University of Technology Guangzhou510641 China Engineering Research Center of Precision Electronic Manufacturing Equipment Ministry of Education and Guangdong Provincial Engineering Laboratory for Advanced Chip Intelligent Packaging Equipment South China University of Technology Guangzhou510641 China Department of Automation North China Electric Power University Baoding071003 China Baoding key Laboratory of State Detection and Optimization Regulation for Integrated Energy System North China Electric Power University Baoding071003 China

With the advancement of high-density interconnect technology in semiconductor manufacturing, the precision and complexity of integrated circuit (IC) substrates have significantly increased, placing higher demands on quality control. Efficient and accurate detection of complex etching defects, which often occur during manufacturing, has become critical to preventing potential product defects. A defect detection method is proposed that combines a lightweight network with differential geometry tools to address the issue of etching defects in IC substrates. First, an improved deformable model is used to rapidly extract regular circuit trace contours from complex metallographic images, and morphological processing is applied to enhance the details, achieving precise image segmentation. For under-etching defects between circuit traces, differential processing of the original and segmented images is performed to locate abnormal regions. Subsequently, an optimized lightweight network based on MobileNet, termed OMNet, is designed to achieve the rapid identification of under-etching defects in these regions. For etching defects occurring on circuit traces, the DGEtch method employs a high-precision discrete curvature calculation based on the Frenet frame to evaluate angular discontinuities in contours, enabling accurate detection of etching defects. Experimental results demonstrate that the proposed method achieves an average recall rate of over 95% and maintains a precision above 90%. It exhibits high accuracy and stability in detecting etching defects and consistently outperforms existing models, particularly in handling complex mixed defects. This study provides an effective solution for detecting complicated defects in high-density IC substrate manufacturing. © 2025 The Society of Manufacturing Engineers

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Optimal Operation of Centralized Battery Swap Charging system with Photovoltaic

引用

Journal of Modern Power systems and Clean Energy 2022年第1期10卷 149-162页

作者： Yuanzheng Li Yihan Cai Tianyang Zhao Yun Liu Jian Wang Lei Wu Yong Zhao School of Artificial Intelligence and Automation Ministry of Education Key Laboratory of Image Processing and Intelligence ControlHuazhong University of Science and TechnologyWuhanChina School of Electrical and Electronic Engineering Nanyang Technological UniversitySingaporeSingapore College of Mechatronics and Control Engineering Shenzhen UniversityShenzhenChina Department of Electrical&Computer Engineering Stevens Institute of TechnologyHobokenUSA

Electric vehicles(EVs)are widely deployed throughout the world,and photovoltaic(PV)charging stations have emerged for satisfying the charging demands of EV *** paper proposes a multi-objective optimal operation method for the centralized battery swap charging system(CBSCS),in order to enhance the economic efficiency while reducing its adverse effects on power *** proposed method involves a multi-objective optimization scheduling model,which minimizes the total operation cost and smoothes load fluctuations,***,we modify a recently proposed multi-objective optimization algorithm of non-sorting genetic algorithm III(NSGA-III)for solving this scheduling ***,simulation studies verify the effectiveness of the proposed multi-objective operation method.

关键词： Multi-objective optimization electric vehicle battery swap charging system scheduling photovoltaic

来源：评论

学校读者我要写书评

暂无评论

Day-ahead Chance-constrained Energy Management of Energy Hubs:A Distributionally Robust Approach

引用

CSEE Journal of Power and Energy systems 2022年第3期8卷 812-825页

作者： Jiaxin Cao Bo Yang Shanying Zhu Chao Ning Xinping Guan Department of Automation Shanghai Jiao Tong UniversityShanghai200240China Key Laboratory of System Control and Information Processing Ministry of Education of China Robert Frederick Smith School of Chemical and Biomolecular Engineering Cornell UniversityIthacaNY 14853 USA

The day-ahead management schedules of hybrid energy hubs are intricate and usually exposed to various uncertainties with the penetration of renewable sources and different ***,it is difficult to access to precise probability distribution functions and exact moment information of uncertain *** cope with these issues,an energy management scheme based on the distributionally robust optimization approach is developed for the energy *** makes no assumptions of certain probability distributions and can be implemented with limited empirical data and partial information of underlying *** operational strategy can provide decision makers with a preliminary and robust optimal solution in the day-ahead *** results illustrate the economical benefit of the energy model,and the effectiveness of the proposed approach in chance-constrained energy management is demonstrated by comparing with other *** Terms-Chance constraint,distributionally robust optimization,energy hub,energy management.

关键词： Chance constraint distributionally robust optimization energy hub energy management

来源：评论

学校读者我要写书评

暂无评论

MA-RRT∗ Algorithm for Path Planning with Maximum Rotation Angle Constraint and Adaptive Crossing Threat Zone 42

MA-RRT∗ Algorithm for Path Planning with Maximum Rotation A...

引用

42nd Chinese control Conference, CCC 2023

作者： Luo, Jiong Heng, Yong Li, Qi Hua, Yongzhao Dong, Xiwang Ren, Zhang School of Automation Science and Electrical Engineering Science and Technology on Aircraft Control Laboratory Beihang University Beijing100191 China Beijing Institute of Electronic System Engineering Beijing100854 China Institute of Artificial Intelligence Beihang University Beijing100191 China

ISBN: (纸本)9789887581543

With the gradual diversification of modern application scenes, the demand for UAV path planning is becoming more and more abundant. This paper first introduces a possible battle scenario, and the problems that must be considered in path planning in this scene are analyzed: the maximum rotation angle constraint and the demand that the UAV can cross the threat zone flexibly. Maximum rotation angle and Adaptive crossing threat zone RRT∗(MA-RRT∗) algorithm is proposed to solve the above problems. The algorithm improves the reconnection process of neighbor set in RRT∗, and adds the maximum rotation angle constraint to the RRT∗ framework, so that the generated path strictly meets this constraint. In addition, the above process also reduces the time consumption of RRT∗, and the speed advantage of MA-RRT∗ becomes more and more obvious with the increase of iteration times. Then, the obstacle information is regarded as one of the components of the node cost of the path, and the original obstacle is regarded as a soft constraint. This enables the path to adaptively cross the threat zone, which is more in line with the actual situation. We compare our algorithm with RRT∗ in numerical simulation, which verifies the effectiveness and time consumption advantages of the algorithm. © 2023 Technical Committee on control Theory, Chinese Association of automation.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

Improved Auction Algorithm for Weapon Target Assignment with Firepower-Health Model 42

Improved Auction Algorithm for Weapon Target Assignment with...

引用

42nd Chinese control Conference, CCC 2023

作者： Wang, Shuobo Heng, Yong Hua, Yongzhao Dong, Xiwang Ren, Zhang Institute of Artificial Intelligence Beihang University Beijing100191 China Beijing Institute of Electronic System Engineering Beijing100854 China School of Automation Science and Electrical Engineering Science and Technology on Aircraft Control Laboratory Beihang University Beijing100191 China

ISBN: (纸本)9789887581543

This paper proposes an improved auction algorithm to optimize the efficiency of dynamic weapon target assignment (WTA) problem. Firstly, the dynamic battlefield environment of firepower-health model is analyzed and the constraints of weapon assignment problem are established. The firepower-health model is about the idea of adding constraints of weapon firepower and target health to promote the result of assignment more effectively. Secondly, in order to improve the computing speed of WTA algorithm, the penalty mechanism is introduced in the compensation auction algorithm. The main idea of improved algorithm is to reduce the extra consuming of the weapon during the assignment, from which penalty mechanism can optimize the assignment results and reduce the number of algorithm iterations by punishing the overkilled target under certain rules. Finally, the simulation results based on the dynamic firepower-health model show that the proposed algorithm can meet the requirements of firepower allocation, and can promote the effectiveness of assignment with high real-time response. © 2023 Technical Committee on control Theory, Chinese Association of automation.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

Distributed Group Coordination of Random Communication Constrained Cyber-Physical systems Using Cloud Edge Computing

IEEE Transactions on Industrial Cyber-Physical Systems

引用

IEEE Transactions on Industrial Cyber-Physical systems 2024年 2卷 196-205页

作者： Ren, Hongru Long, Yinren Ma, Hui Li, Hongyi Guangdong University of Technology School of Automation Guangdong-Hong Kong Joint Laboratory for Intelligent Decision and Cooperative Control Guangdong Provincial Key Laboratory for Intelligent Decision and Cooperative Control Guangzhou510006 China Guangdong University of Technology School of Mathematics and Statistics Guangzhou510006 China Southwest University College of Electronic and Information Engineering Chongqing Key Laboratory of Generic Technology and System of Service Robots Chongqing400715 China

This paper studied the distributed group coordinated control problem of cyber-physical systems (CPSs) with multi-agent architecture. We build the distributed networked multi-group agent systems (NMGASs) with nonlinear and unknown dynamics via cloud edge computing. The common and challenging situations of random communication constraints in CPSs are considered, including network-induced delay, packet dropout, and packet disorder, which are treated as round-trip time (RTT) delay. To actively compensate for RTT delay and achieve coordination among all agents, a data-driven cloud edge predicted control strategy is designed. This strategy only needs to obtain the I/O measurement data of the systems, and can automatically carry out adaptive learning, which has more extensive application scenarios compared to model-based control methods. Theoretical analysis yields the conditions of simultaneous stability and consensus of the closed-loop systems with the proposed strategy. Finally, the practical examples are provided to illustrate the effectiveness of the proposed strategy. © 2023 IEEE.

关键词： Edge computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：