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

Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors

IEEE TRANSACTIONS ON automation science AND ENGINEERING 2025年 22卷 9061-9074页

作者： Hu, Shaopeng Hu, Yihui Liu, Ding Fanti, Maria Pia Li, Zhiwu Xidian Univ Sch Electromech Engn Xian 710071 Peoples R China Xian Univ Posts & Telecommun Sch Automat Xian 710121 Peoples R China Polytech Univ Bari Dept Elect & Informat Engn I-70125 Bari Italy Macau Univ Sci & Technol Inst Syst Engn Taipa Macao Peoples R China

This paper addresses the problems of diagnosability verification and enforcement of discrete event systems modeled with unbounded Petri nets. Diagnosability in such systems is critical for ensuring reliability and maintaining operational integrity, yet current methods often struggle with the complexity introduced by unboundedness and potential deadlocks. Given an unbounded labeled Petri net that may reach deadlocks, a quiescent basis coverability graph is established to verify the diagnosability of the considered system. This procedure employs a deterministic finite state automaton, called an extended verifier, derived from the proposed quiescent basis coverability graph. It is shown that an unbounded Petri net is diagnosable if and only if the verifier does not contain a class of cycles, called repetitive $F$ -cycles. This result also provides necessary and sufficient conditions for diagnosability enforcement by developing an online supervisor. Further, the designed supervisor is maximally permissive and also circumvents a plant entering deadlocks by firing non-fault sequences. Examples are presented to demonstrate the proposed method. Note to Practitioners-Fault diagnosis and diagnosability enforcement are critical for the development and operation of highly automated systems covering computer-integrated production processes, intelligent traffic, computer and communication networks, smart gird, etc. This work touches upon this problem from the perspective of discrete event systems that are modeled with unbounded labeled Petri nets. The feasibility and applicability of the reported method stem from the usage of a structurally compact representation of a considered plant such that the computational cost of a real-world system is acceptable. The graphical representation of Petri nets as well as the proposed quiescent basis coverability graph make the method easy to use and manipulate. Moreover the sufficient and necessary conditions of diagnosability enforcement can

关键词： Petri nets System recovery Fault diagnosis automation Automata Discrete-event systems Polynomials Mechanical engineering Firing Computational modeling Unbounded Petri net fault diagnosis diagnosability enforcement discrete event system

来源：评论

学校读者我要写书评

暂无评论

Applications of Artificial Intelligence in Human Resource Management: Theoretical Framework and Future Research Directions 4

Applications of Artificial Intelligence in Human Resource Ma...

引用

4th international conference on computer science and Management technology, ICCSMT 2023

作者： Zhang, Xuming Wang, Shilong Peng, Ling School of Management Guangdong University of Science and Technology Dongguan523083 China Graduate School of Computer Science and Technology Harbin Institute of Technology Harbin150000 China

ISBN: (纸本)9798400709517

With the rapid advancement of artificial intelligence (AI) technologies, their incorporation into human resource management (HRM) has grown increasingly prevalent. AI tools have substantially enhanced the precision of talent acquisition, predictive performance analytics, and the formulation of responsive HR strategies and human resource management (HRM). However, challenges persist, including data privacy concerns, potential biases in AI algorithms, and retaining a human-centric approach amidst automation. This paper delves into the diverse applications of AI within HRM, encompassing areas such as recruitment screening, employee engagement analysis, and forward-thinking HR planning. Looking ahead, organizations must deeply contemplate the ethical implications of these technologies, endeavoring to design transparent, accountable, and unbiased AI systems while striking a balance between technological efficiency and human intuition and judgment. © 2023 ACM.

关键词： Human resource management

来源：评论

学校读者我要写书评

暂无评论

Research on a processing scheme of weak photoelectric signal based on FPGA 5

Research on a processing scheme of weak photoelectric signal...

引用

2023 5th international conference on Information science, Electrical, and automation Engineering, ISEAE 2023

作者： Xiong, Yizhu Zhao, Ze Li, Wenjing Sun, Xibin Guangdong Polytechnic of Science and Technology College of Computer Zhuhai519090 China Guangdong Shunde Innovation Design Research Institute Foshan528311 China

ISBN: (纸本)9781510667440

This paper introduces a weak optical signal processing scheme based on FPGA. Through the design of weak signal conditioning module, data acquisition control module, FPGA and peripheral modules, multi-channel acquisition, amplification, filtering and processing of weak light signals are realized. Finally, the feasibility of the scheme is verified through relevant experiments. © COPYRIGHT SPIE. Downloading of the abstract is permitted for personal use only.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Intrinsic Property and Common Information Extraction for Unsupervised Multiplex Graph Learning

Intrinsic Property and Common Information Extraction for Uns...

引用

2023 IEEE international conference on Electrical, automation and computer Engineering, ICEACE 2023

作者： Guan, Xiyu Zhang, Yan School of Computer Science Beijing Institute of Technology Beijing China

ISBN: (纸本)9798350309614

Unsupervised multiplex graph learning (UMGL) has emerged as an important research topic, but previous UMGL methods continue to face the following challenges: (i) contrastive learning-based methods necessitate negative samples, which can be costly, and the selection of negative samples substantially affects performance, and (ii) traditional UMGL methods often prioritize structural information excessively while neglecting node characteristics. This imbalance makes them susceptible to noise caused by incorrect links. To tackle these challenges, we introduce a potent and efficient UMGL method aimed at extracting the intrinsic properties and common information of the multiplex graph simultaneously, while reducing redundant information of node representations. We introduce the attention mechanism to fuse local structure and node characteristics with no need to build negative samples. Comprehensive experiments on four multiplex graph datasets demonstrate that our method excels in comparison to the other multiplex graph embedding models in the node classification task. © 2023 IEEE.

关键词： Knowledge Graph Multiplex Graph Representation Learning

来源：评论

学校读者我要写书评

暂无评论

Extrinsic Calibration Method for GNSS/IMU and LiDAR with the Custom Calibration Pattern

Extrinsic Calibration Method for GNSS/IMU and LiDAR with the...

引用

2023 IEEE international conference on Electrical, automation and computer Engineering, ICEACE 2023

作者： Yan, Chao Ye, Fei Xue, Guoqiang Bai, Wentao Gong, Yefei School of Electrical Engineering and Automation Changshu Institute of Technology China School of Automobile Engineering Changshu Institute of Technology China Business School Changshu Institute of Technology China School of Computer Science and Engineering Changshu Institute of Technology China

ISBN: (纸本)9798350309614

In this paper, a novel approach for extrinsic calibration of GNSS/IMU and multiline LiDAR sensors in ground-based SLAM systems is presented. LiDAR and GNSS/IMU sensors are widely used in SLAM systems for sensing and localization. However, precise calibration of the extrinsic parameters between these sensors is crucial for successful sensor fusion. The extrinsic calibration involves determining the translation and rotation matrices, denoted as t and R respectively, which characterize the relative position and orientation between the GNSS/IMU and LiDAR sensors. To achieve accurate calibration, a specially designed calibration plate is introduced in this approach. One major advantage of this method is that it can be performed in a static setting, eliminating the need to calculate LiDAR odometry. This allows for continuous and highly accurate GNSS/IMU positional data acquisition. Additionally, by moving the combination to accumulate multiple poses, the method ensures that the GNSS/IMU and multiline LiDAR sensors have only one fixed attitude during calibration. This increases the robustness of the calibration results. To validate the correctness and effectiveness of the proposed algorithm, simulated and measured datasets are used for quantitative and qualitative assessments. The results demonstrate the accuracy and reliability of the extrinsic calibration approach. © 2023 IEEE.

关键词： custom calibration pattern extrinsic calibration GNSS/IMU LiDAR Simultaneous Localization and Mapping

来源：评论

学校读者我要写书评

暂无评论

Agriculture and Artificial Intelligence: Using Today's AI to Address Traditional Farming methods

Agriculture and Artificial Intelligence: Using Today's AI to...

引用

2023 international conference on New Frontiers in Communication, automation, Management and Security, ICCAMS 2023

作者： Kumar, Manoj Thiruvenkadam, T. Khaliq, Mazhar Iise Department of Computer Application KalyanpurUttar Pradesh Lucknow India School of Cs and It Bengaluru India Khwaja Moinuddin Chishti Language University Department of Computer Science and Information Technology Lucknow India

ISBN: (纸本)9798350317060

The Bound together Nations' Food and Cultivating Affiliation (FAO) broadens that by 2050, there will be 2 billion extra people on the planet, yet the extended locale under agribusiness will simply make up 4% of that turn of events. New specialized advancements and solutions for current cultivation bottlenecks can be utilized to carry out more productive practices. As a representation of how cultivating has advanced over the long haul, it is feasible to utilize the immediate use of simulated intelligence (manmade consciousness) or machine knowledge all through the sector [1]. With man-made intelligence controlled cultivating arrangements, a rancher can accomplish more with less, increment quality, and fuel different rural areas with simulated intelligence. Additionally, it examines the issues that are typical in the future and computer-controlled thoughts for the future. © 2023 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Channel Controlled ARQ Protocol Design for OCDM-Based Data Transmissions 13

Channel Controlled ARQ Protocol Design for OCDM-Based Data T...

引用

13th IEEE international conference on CYBER technology in automation, Control, and Intelligent Systems, CYBER 2023

作者： Qin, Wenxuan Zhang, Yechu Yan, Lei Zhang, Rongxin Wang, Yiyin School of Computer and Communication Engineering Northeastern University Qinhuangdao China School of Electronic Science and Engineering Xiamen University Xiamen China Shanghai Jiao Tong University Department of Automation Shanghai China

ISBN: (纸本)9798350315196

Channel controlled automatic retransmission request (CC-ARQ) has shown potential in reducing complexity and bit error rate (BER) in wireless links. In this paper, we design an ARQ protocol transmission scheme for OCDM-based data transmissions. By employing retransmission threshold design based on orthogonality deficiency (od) of the channel matrix, the data transmissions receiver can enjoy the enough diversity offered by the wireless OCDM links with linear equalizers, which is essential for low-complexity communication environments, e.g., sensor cyber systems. © 2023 IEEE.

关键词： Bit error rate

来源：评论

学校读者我要写书评

暂无评论

Research of Image De-noising Based on Deep Learning 6

Research of Image De-noising Based on Deep Learning

引用

6th international conference on computer Network, Electronic and automation, ICCNEA 2023

作者： Li, Kai Wang, Zhongsheng Xi'an Technological University School of Computer Science and Engineering Xi'an710021 China Xi'an Technological University State and Provincial Joint Engineering Lab. of Advanced Network Monitoring and Control Xi'an710021 China

ISBN: (纸本)9798350305388

Image denoising is a technology to restore the image by changing the information before and after the image sequence. The restored image will become very clear, and it is used a lot now. Due to the imperfect equipment, when the image is transmitted, it will be affected by noise, thus losing the original details. In order to solve this problem and make the noise image clear and obvious, this paper proposes an image denoising method based on deep learning, and constructs the image denoising network structure based on convolutional neural network. At the same time, the directional propagation algorithm is optimized to speed up the training speed of the model and effectively improve the denoising effect. By comparing the experimental data of the classical algorithm experiment, it is concluded that this study has achieved a better denoising effect. Finally, the key issues of image denoising research are summarized, and the development trend of future research in this field is discussed. © 2023 IEEE.

关键词： Image denoising

来源：评论

学校读者我要写书评

暂无评论

Delay and Energy Consumption Optimization Method for Dependent Task Unloading 6

Delay and Energy Consumption Optimization Method for Depende...

引用

6th international conference on computer Network, Electronic and automation, ICCNEA 2023

作者： Chou, Xingxing Wang, Wei Ren, Wei Shaanxi University of Science and Technology School of Electrical and Control Engineering Xi'an710021 China

ISBN: (纸本)9798350305388

By deploying sufficient resources at the edge, applications with low latency and high energy consumption can be offloaded to the edge server for execution, reducing the total application execution cost. The existing unload models usually assume that several tasks of the application are independent of each other, and they often have dependencies in the real world. In view of the contradiction between the above research and reality, firstly, considering the limited edge server resources and battery capacity, this paper establishes a joint optimization model of delay and energy consumption (total cost) for dependent task unloading. Secondly, to solve this model problem, a Modified Sparrow Search Algorithm (MSSA) is proposed. To solve the problems of premature convergence, easy to fall into local optimal and poor global search ability in SSA, reverse learning, neighborhood search and Wolf pack algorithm are introduced to improve the algorithm. Finally, simulation results show that compared with other algorithms, the total application execution cost of the proposed algorithm is reduced by 7%~18%. © 2023 IEEE.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Research on Target Recognition and Tracking technology Based on Laser Point Cloud 6

Research on Target Recognition and Tracking Technology Based...

引用

6th international conference on computer Network, Electronic and automation, ICCNEA 2023

作者： Qin, Long Wei, Yanxi Yu, Fan Liu, Zihao Xi'an Industrial and Commercial College Xi'an China Xi'an Technological University School of Computer Science and Engineering Xi'an China The 705 Research Institute China State Shipbuilding Corporation Limited Xi'an China

ISBN: (纸本)9798350305388

In view of the common road surface, multiple objects in a complex environment, because the detection results of multiple objects are not ideal, resulting in errors in the detection results, in order to achieve the accurate tracking of the target object. The basic principle of Camshift algorithm is emphasized, and Kalman filtering algorithm is added in the tracking process to process the obtained target data to form a moving track, predict the position of the target next time, and solve the problem of follow-up tracking. Through the verification under the complex background of the daily road, it is found that the improved algorithm can effectively and accurately extract the moving target to be tracked from the continuous frames of the point cloud image, and has high robustness. The problem of high real-time requirement for target tracking has been effectively solved. The example shows that the prediction effect is good, and it is feasible. © 2023 IEEE.

关键词： Target tracking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：