System security is becoming an increasingly essential feature of modern computing systems, particularly programmable hardware such as Field Programmable Gate arrays (FPGA), employed in various applications such as aut...
详细信息
In this paper use CIC-IDS2017 dataset to illustrate a comparative analysis of traditional and proposed models for intrusion detection in network security systems. The comparison includes DT, RF, ET and XGBoost classif...
详细信息
Graph data represents information efficiently and can be used to learn subsequent tasks easily. In the domain of biological science, recommender systems, social network analysis graph representation learning has becom...
详细信息
作者:
Richmond, Christ D.Duke University
Pratt School of Engineering Department of Electrical and Computer Engineering DurhamNC United States
Parameter estimation is among the many goals of engineeringsystems and scientific applications, and parameter bounds have provided significant insights into achievable system performance. These bounds are based on an...
详细信息
In modern communication, speech technology plays a vital role, with accent being one of the key features that reflects the nuances of spoken technology. However, differences in accent can make communication difficult,...
详细信息
A key component of behavior analysis and human-computer interaction (HCI) is facial expression detection, which helps systems understand and react to human emotions more effectively and nuancedly. While previous resea...
详细信息
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
Information Retrieval (IR) systems which provide accurate and contextually relevant information to healthcare and law etc. where accuracy is very crucial. Traditional information retrieval methods fundamentally based ...
详细信息
In the process of modeling and solving large-scale complexsystems, issues with complex state structures and low computational efficiency are often *** partially observable discrete event systems, this paper proposes ...
详细信息
Causal discovery in non-stationary time series data is crucial for understanding complexsystems but remains challenging due to evolving relationships over time. This paper presents a novel two-stage approach for caus...
详细信息
暂无评论