Augmented Virtual Environments (AVE) or Virtual-Reality Fusion systems fuse dynamic videos with static three-dimensional (3D) models of a virtual environment to provide an optimal solution for visualizing and understa...
详细信息
Residual networks play a foremost role in the domain of tracking, specifically in the extraction of features. The residual networks are using a simple technique of skipping connections to overcome the problem of vanis...
详细信息
The major contributor to global mortality is cardiovascular disease, posing a formidable challenge to the global healthcare system. Heart disease often develops and progresses without noticeable symptoms, emphasizing ...
详细信息
Fault diagnosis of rotating equipment plays a crucial role in ensuring operational reliability and minimizing downtime in industrial systems. This study proposes a novel approach that integrates personalized federated...
详细信息
Federated Learning (FL) has gained considerable attention for collaborative training in big data analysis, particularly in terms of privacy and communication constraints. Despite its promising advantages, FL faces the...
详细信息
Modern neural networks models for computer vision are trained on millions of images. The idea is that models are able to increase generalization when the dataset contains well diversified images, e.g. with varied illu...
详细信息
Exception management,as the lowest level function module of the operating system,is responsible for making abrupt changes in the control flow to react to exception events in the *** correctness of the exception manage...
详细信息
Exception management,as the lowest level function module of the operating system,is responsible for making abrupt changes in the control flow to react to exception events in the *** correctness of the exception management is crucial to guaranteeing the safety of the whole ***,existing formal verification projects have not fully considered the issues of exceptions at the assembly *** for real-time operating systems,in addition to basic exception handling,there are nested exceptions and task switching by exceptions service *** our previous work,we used high-level abstraction to describe the basic elements of the exception management and verified correctness only at the requirement *** on earlier work,this paper proposes EMS(Exception Management SPARCv8),a practical Hoare-style program framework to verify the exception management based on SPARCv8(Scalable Processor Architecture Version 8)at the design *** framework describes the low-level details of the machine,such as registers and memory *** divides the execution logic of the exception management into six phases for comprehensive formal *** the executing scenario of the real-time operating system SpaceOS on the Beidou-3 satellite as an example,we use the EMS framework to verify the exception *** the formalization and proofs are implemented in the interactive theorem prover Coq.
Deep learning has provided a reliable technological foundation for time series prediction tasks. In the field of time series prediction, deep learning models are widely used in the Power Internet of Things due to thei...
详细信息
This paper investigates the problems of invariant set analysis and control synthesis for multi-equilibrium switched systems under control constraints. A control strategy based on the invariant set method is proposed, ...
详细信息
ISBN:
(数字)9798331516147
ISBN:
(纸本)9798331516154
This paper investigates the problems of invariant set analysis and control synthesis for multi-equilibrium switched systems under control constraints. A control strategy based on the invariant set method is proposed, accompanied by criteria formulated as linear matrix inequalities, ensuring that the state remains within the mode-dependent invariant sets. Furthermore, considering the control constraints in practical scenarios, a multi-equilibrium switched controller with control constraints (MESCC controller) is designed. Compared to existing works, the proposed method incorporates mode-dependent dwell time conditions and mode-dependent invariant sets, thereby offering enhanced design flexibility. An example of an aero-engine control system is presented to demonstrate the effectiveness and potential of the theoretical results.
To use an intelligent tutoring system (ITS) in an educational setting effectively, it is necessary to understand the skill status of students and recommend appropriate questions. Existing studies focused on improving ...
详细信息
暂无评论