The proceedings contain 22 papers. The special focus in this conference is on Engineering of complex Computer systems. The topics include: Automated Parameter Determination for Enhancing the Product Configur...
ISBN:
(纸本)9783031664557
The proceedings contain 22 papers. The special focus in this conference is on Engineering of complex Computer systems. The topics include: Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report;optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification;AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance;Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures;Test Architecture Generation by Leveraging BERT and control and Data Flows;less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction;modeling and Verification of Solidity Smart Contracts with the B Method;template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain;QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models;a Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection;Validation of RailML Using ProB;reachability Analysis of Concurrent Self-modifying Code;an Iterative Formal Model-Driven Approach to Railway systems Validation;an Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic control;confidentiality Management in complexsystems Design;analyzing Excessive Permission Requests in Google Workspace Add-Ons;formal Verification Techniques for Post-quantum Cryptography: A Systematic Review;autoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation;safePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64;towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair.
The purpose and objectives of this work are to develop methods for designing hybrid controlsystems for poorly formalized technical objects related to helicopter-type unmanned aerial vehicles, namely quadcopters. The ...
详细信息
This work is devoted to the development of a technique for energy-efficient heat removal control in a modern space monitoring radar station. For this purpose, a thermal model of a power amplification unit operating in...
详细信息
With the global aim of reducing carbon emissions, energy saving for communication systems has gained tremendous attention. Efficient energy-saving solutions are not only required to accommodate the fast growth in comm...
详细信息
ISBN:
(纸本)9781728190549
With the global aim of reducing carbon emissions, energy saving for communication systems has gained tremendous attention. Efficient energy-saving solutions are not only required to accommodate the fast growth in communication demand but solutions are also challenged by the complex nature of the load dynamics. Recent reinforcement learning (RL)-based methods have shown promising performance for network optimization problems, such as base station energy saving. However, a major limitation of these methods is the requirement of online exploration of potential solutions using a high-fidelity simulator or the need to perform exploration in a real-world environment. We circumvent this issue by proposing an offline reinforcement learning energy saving (ORES) framework that allows us to learn an efficient control policy using previously collected data. We first deploy a behavior energy-saving policy on base stations and generate a set of interaction experiences. Then, using a robust deep offline reinforcement learning algorithm, we learn an energy-saving control policy based on the collected experiences. Results from experiments conducted on a diverse collection of communication scenarios with different behavior policies showcase the effectiveness of the proposed energy-saving algorithms.
Sintering process is a critical step in the ironmaking process. Burn-through point (BTP), as a key performance index of sintering ore, has a great influence on the quality of the sintering product. The existing predic...
详细信息
ISBN:
(纸本)9798350311259
Sintering process is a critical step in the ironmaking process. Burn-through point (BTP), as a key performance index of sintering ore, has a great influence on the quality of the sintering product. The existing prediction methods attempt to use a single model to establish the relationship between variables. However, due to the strong volatility, uncertainty, and multivariable coupling of sintering process, the traditional prediction model cannot produce reliable predictions. In order to deal with the complex characteristics of sintering process, this paper proposes a decomposition-based encoder-decoder modeling framework, in which a sequence decomposition module is designed to decompose the input time series into different sub-sequences. Then, these sub-sequences are constructed by the encoder-decoder models separately. The effectiveness of the proposed multi-step ahead prediction modeling framework was evaluated in a real-world sintering process. Compared with the traditional prediction modeling framework, the proposed modeling framework has more accurate results in multi-step ahead prediction.
The surge in Reinforcement Learning (RL) applications in Intelligent Transportation systems (ITS) has contributed to its growth as well as highlighted key challenges. However, defining objectives of RL agents in traff...
详细信息
ISBN:
(纸本)9798350399462
The surge in Reinforcement Learning (RL) applications in Intelligent Transportation systems (ITS) has contributed to its growth as well as highlighted key challenges. However, defining objectives of RL agents in traffic control and management tasks, as well as aligning policies with these goals through an effective formulation of Markov Decision Process (MDP), can be challenging and often require domain experts in both RL and ITS. Recent advancements in Large Language Models (LLMs) such as GPT-4 highlight their broad general knowledge, reasoning capabilities, and commonsense priors across various domains. In this work, we conduct a large-scale user study involving 70 participants to investigate whether novices can leverage ChatGPT to solve complex mixed traffic controlproblems. The participants' task is to develop the state space and reward function for three RL mixed traffic control environments, including ring road, bottleneck, and intersection. We find ChatGPT has mixed results. For intersection and bottleneck, ChatGPT increases number of successful policies by 150% and 136% compared to solely beginner capabilities, with some of them even outperforming experts. However, ChatGPT does not provide consistent improvements across all scenarios.
The Transformer architecture is widely used in the field of computer vision due to its ability to relate context and global modeling, and Transformer-based object detection methods have achieved very bright results. H...
详细信息
The problem of using adaptive autonomous scripts in solving the problems of information resource management of computing systems is considered. A model of adaptive autonomous scripts using frames and finite state mach...
详细信息
In waste-to-energy plants, keeping a stable combustion state is required to decrease hazardous gases and keep the steam volume appropriate for generating electricity. Since waste has various properties and plants have...
详细信息
ISBN:
(纸本)9798350319552;9798350319545
In waste-to-energy plants, keeping a stable combustion state is required to decrease hazardous gases and keep the steam volume appropriate for generating electricity. Since waste has various properties and plants have many sensors intricately related to each other, it is very difficult to find a very complex relation of many sensors for keeping a stable combustion state. In this paper, we propose a fuzzy relational map of sensors, FuRMS, as a method to represent relations of many sensors. For data of unknown state, we calculate evaluation values with the map. We apply it to a waste-to-energy plant. We construct a map using 14110 data of the stable state and evaluate other 390 data of unknown state. The result shows that the map can predict combustion states, that is, the evaluation value begins to decrease 10 to 30 minutes earlier than beginnings of unstable states. We propose some methods to extend this method to be more useful in the future.
A novel method implemented for deadlock problems is specified to perfectly liveness, which is crucial to Petri Net(PN) models. In this article, we apply four classes of PN execution to models of complex Flexible Manuf...
详细信息
暂无评论