Differential privacy (DP) has recently been introduced into episodic reinforcement learning (RL) to formally address user privacy concerns in personalized services. Previous work mainly focuses on two trust models of ...
详细信息
In the conventional robust optimization(RO)context,the uncertainty is regarded as residing in a predetermined and fixed uncertainty *** many applications,however,uncertainties are affected by decisions,making the curr...
详细信息
In the conventional robust optimization(RO)context,the uncertainty is regarded as residing in a predetermined and fixed uncertainty *** many applications,however,uncertainties are affected by decisions,making the current RO framework *** paper investigates a class of two-stage RO problems that involve decision-dependent *** introduce a class of polyhedral uncertainty sets whose right-hand-side vector has a dependency on the here-and-now decisions and seek to derive the exact optimal wait-and-see decisions for the second-stage problem.A novel iterative algorithm based on the Benders dual decomposition is proposed where advanced optimality cuts and feasibility cuts are designed to incorporate the uncertainty-decision *** computational tractability,robust feasibility and optimality,and convergence performance of the proposed algorithm are guaranteed with theoretical *** motivating application examples that feature the decision-dependent uncertainties are ***,the proposed solution methodology is verified by conducting case studies on the pre-disaster highway investment problem.
Interrupt-driven embedded software is widely used in safety-critical systems, where any occurrence of errors can lead to serious consequences. Deadlock is a common concurrency error, and deadlock detection methods are...
详细信息
ISBN:
(数字)9798350376739
ISBN:
(纸本)9798350376746
Interrupt-driven embedded software is widely used in safety-critical systems, where any occurrence of errors can lead to serious consequences. Deadlock is a common concurrency error, and deadlock detection methods are mainly designed for multi-threaded programs. However, due to the differences in concurrency control and preemption mechanisms between interrupt-driven programs and multi-threaded programs, the existing deadlock detection methods for multi-threaded programs cannot be directly applied to interrupt-driven programs. A static deadlock detection method is proposed for interrupt-driven programs to enhance the reliability and safety of interrupt-driven embedded software. Building upon the traditional context-sensitive lockset analysis, this method takes into account the concurrent semantics of interrupts and extends the lock graph model. Our method effectively reduces false positives by analyzing the concurrent relationships of cycles in a lock graph. Based on these methods, we develop a deadlock detection tool, and experiments are conducted with it. The results demonstrate that the proposed method can effectively detect deadlocks related to interrupts.
Spiking neural P systems are a class of distributed parallel computing models inspired from the way neurons communicate with each other by means of electrical impulses (called “spikes”). In this paper, we continue t...
详细信息
Spiking neural P systems are a class of distributed parallel computing models inspired from the way neurons communicate with each other by means of electrical impulses (called “spikes”). In this paper, we continue the research of normal forms for spiking neural P systems. Specifically, we prove that the degree of spiking neural P systems without delay can be decreased to two without losing the computational completeness (both in the generating and accepting modes).
We introduce a constructive function approximation approach as a general tool, particularly useful in adaptive and data-driven methods for perception and control. The key idea is to estimate of a collection of simple ...
详细信息
ISBN:
(数字)9798350395440
ISBN:
(纸本)9798350395457
We introduce a constructive function approximation approach as a general tool, particularly useful in adaptive and data-driven methods for perception and control. The key idea is to estimate of a collection of simple local models as opposed to a single and complex regression model trained in the entire input space. We use principles from the Online Deterministic Annealing (ODA) optimization framework to construct an adaptive partition of the input space, which enables the introduction of local function approximation models within each subset of the partition. We show that both the partitioning and the local model training algorithms are stochastic approximation algorithms that operate online, and with the same observations, as part of a two-timescale stochastic approximation scheme. This process constitutes a heuristic method to gradually increase the complexity of the function approximation framework in a task-agnostic manner, giving emphasis to regions of the input space where the regression error is high. As a result this framework has inherent explainability properties, and is suitable for continuous learning applications where regression improvement without retraining from scratch is crucial. Simulation results illustrate the properties of the proposed approach.
The target of reducing travel time only is insufficient to support the development of future smart transportation systems. To align with the United Nations Sustainable Development Goals (UN-SDG), a further reduction i...
详细信息
ISBN:
(数字)9798350348811
ISBN:
(纸本)9798350348828
The target of reducing travel time only is insufficient to support the development of future smart transportation systems. To align with the United Nations Sustainable Development Goals (UN-SDG), a further reduction in fuel consumption and emissions, improvements in traffic safety, and the ease of infrastructure deployment and maintenance should also be considered. Most existing research in sustainable urban traffic control adjusts either traffic light signals or vehicle speed. Adaptive traffic light signal control can increase the intersection throughput and reduce travel time as well as energy consumption and emissions. Connected Autonomous Vehicles (CAVs) can proactively control vehicle acceleration to achieve more stable traffic nearby with relatively higher driving velocity (i.e., lower fuel consumption and CO 2 emissions) and maintain a safe distance from the surrounding traffic (i.e., longer time-to-collision).
Non-invasive estimation of chlorophyll content in plants plays an important role in precision agriculture. This task may be tackled using hyperspectral imaging that acquires numerous narrow bands of the electromagneti...
详细信息
The mining sector historically drove the global economy but at the expense of severe environmental and health repercussions,posing sustainability challenges[1]-[3].Recent advancements on artificial intelligence(AI)are...
详细信息
The mining sector historically drove the global economy but at the expense of severe environmental and health repercussions,posing sustainability challenges[1]-[3].Recent advancements on artificial intelligence(AI)are revolutionizing mining through robotic and data-driven innovations[4]-[7].While AI offers mining industry advantages,it is crucial to acknowledge the potential risks associated with its widespread ***-reliance on AI may lead to a loss of human control over mining operations in the future,resulting in unpredictable consequences.
The purpose of this paper is to investigate the general decay synchronization (GDS) of coupled reaction-diffusion memristive neural networks (CRDMNNs) with state coupling and spatial diffusion coupling. Firstly, by de...
详细信息
This report explores the experimental identification of magnetic flux density within the motor air gap, focusing on the development of a robot-based approach to automate the scanning procedure. Emphasis is placed on a...
详细信息
ISBN:
(数字)9798350362343
ISBN:
(纸本)9798350362350
This report explores the experimental identification of magnetic flux density within the motor air gap, focusing on the development of a robot-based approach to automate the scanning procedure. Emphasis is placed on analyzing the distribution of magnetic flux within the motor’s spatial air gap, as well as the amplification of harmonics resulting from changes in air gap orientation. Drawing upon experimental findings, a model is proposed to illustrate the three-dimensional distribution of magnetic flux within the gap.
暂无评论