The proceedings contain 130 papers. The topics discussed include: a cloud computing based digital storage and evaluation platform for Buddhist literature;a cloud platform for data of three-product rapid detection in t...
ISBN:
(纸本)9798350371437
The proceedings contain 130 papers. The topics discussed include: a cloud computing based digital storage and evaluation platform for Buddhist literature;a cloud platform for data of three-product rapid detection in the development of cloud computing;a comparative analysis of image-based classification and object detection for the ocular redness grading;a demand forecasting method for high value-added agri-food based on machine learning and time series analysis;a navigation system for guiding blind people in indoor and outdoor;a no-reference image quality assessment methodology based on distortion information extraction;a study of research data and metadata standards in the field of humanities and social sciences;an android application software security protection method based on hybrid reinforcement;an edge computing-based data collection method for smart grid data acquisition system;and an effective knowledge mining method for compressor fault text data based on large language model.
In the era of artificial intelligence generated content (AIGC), conditional multimodal synthesis technologies (e.g., text-to-image) are dynamically reshaping the natural content. Brain signals, serving as potential re...
详细信息
With the accelerated development of globalization, the international trade activities of Hainan Free Trade Port are becoming more frequent, and Enterprises face the challenge of processing large amounts of manifest in...
详细信息
Smart vision robots have become increasingly essential in various industries and applications due to their ability to perform complex visual tasks with high precision and efficiency. This project focuses on the develo...
详细信息
Smart vision robots have become increasingly essential in various industries and applications due to their ability to perform complex visual tasks with high precision and efficiency. This project focuses on the development of an autonomous surveillance and tracking system. The system aims to utilize computer vision algorithms for object detection and tracking. It has potential applications in security, automation, and remote monitoring. The project aims to enhance safety and efficiency in various environments through autonomous surveillance capabilities.
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 mai...
详细信息
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
With the promotion of global economic integration, internationalised engineering education has become an important way for colleges and universities to improve their teaching quality and international competitiveness....
详细信息
To achieve low joint-angle drift and avoid mutual collision between dual redundant manipulators (DRMs) when they are doing collaboration works, a recurrent neural network based bicriteria repetitive motion collision a...
详细信息
Based on the CiteSpace bibliometric method, 273 research papers from the Web of science Core Database from 2003 to 2023 were analyzed. This study delves into external characteristics such as publication volume, partic...
详细信息
Brain-inspired intelligence is a form of machine intelligence that mimics human brain *** machine intelligence similar to human consciousness is the ultimate task of brain-inspired intelligence and the long-term goal ...
详细信息
At present, the prediction effect of using deep learning to predict futures prices is usually not good. A Multi Contract LSTM model (MC-LSTM) was designed and implemented to predict futures prices by utilizing actual ...
详细信息
暂无评论