The growing demand for energy-saving lamps highlights critical limitations in traditional LED secondary optics, which reduce energy efficiency and complicate heat dissipation - a key factor in LED lamp longevity. This...
详细信息
Usually, elderly patients in hospitals suffer from malnutrition because they are unable to consume food as prescribed by doctors or nutritionists. Analyzing food intake is labor-intensive and time-consuming. Therefore...
详细信息
This paper presents the modern design and simulation of a broadband Class-J power amplifier (CJPA) tailored for enhancing military radar systems, especially those operating in the critical L-band spectrum. Motivated b...
详细信息
Jointcloud computing has recently emerged as a promising computing paradigm, which enables collaboration among multiple clouds to efficiently deliver cross-cloud services to cloud users. Due to the limited computation...
详细信息
Autonomous driving systems (ADSs) have undergone remarkable development and are increasingly employed in safety-critical applications. However, recently reported data on fatal accidents involving ADSs suggests that th...
详细信息
Due to installation technology, secondary span oscillation, galloping, icing and other factors in transmission lines, crimping pipes are prone to many defects. Because of the height problem, it isn't easy to detec...
详细信息
This article introduces a novel method for predicting solar energy production using an affordable data logger and the Artificial Neural Network (ANN) algorithm. The main goal of this research is to create a ...
详细信息
Road safety is of prime importance as road accidents are among the biggest causes of deaths in the country. Road Accidents are majorly due to violators and lawbreakers of road safety rules like not wearing helmets, tr...
详细信息
Insertion is one of the basic operations in DNA computing. Based on this basic operation, an evolutionary computation model, the insertion system, was defined. For the evolutionary computation model defined above, var...
详细信息
Repairing legacy systems is a difficult and error-prone task: often, limited knowledge of the intricacies of these systems could make an attempted repair result in new errors. Consequently, it is desirable to repair s...
详细信息
ISBN:
(纸本)9789897584879
Repairing legacy systems is a difficult and error-prone task: often, limited knowledge of the intricacies of these systems could make an attempted repair result in new errors. Consequently, it is desirable to repair such systems in an automated and sound way. Here, we discuss our ongoing work on the automated repair of Scenario-Based Models: fully executable models that describe a system using scenario objects that model its individual behaviors. We show how rich, scenario-based models can be model-checked, and then repaired to prevent various safety violations. The actual repair is performed by adding new scenario objects to the model, and without altering existing ones - in a way that is well aligned with the principles of scenario-based modeling. In order to automate our repair approach, we leverage off-the-shelf SMT solvers. We describe the main principles of our approach, and discuss our plans for future work.
暂无评论