Modern software systems are often equipped with hundreds to thousands of configurations, many of which greatly affect performance. Unfortunately, properly setting these configurations is challenging for developers due...
详细信息
ISBN:
(纸本)9781450349116
Modern software systems are often equipped with hundreds to thousands of configurations, many of which greatly affect performance. Unfortunately, properly setting these configurations is challenging for developers due to the complex and dynamic nature of system workload and environment. In this paper, we first conduct an empirical study to understand performance-sensitive configurations and the challenges of setting them in the real-world. Guided by our study, we design a systematic and general control-theoretic framework, SmartConf, to automatically set and dynamically adjust performance-sensitive configurations to meet required operating constraints while optimizing other performance metrics. Evaluation shows that SmartConf is effective in solving real-world configuration problems, often providing better performance than even the best static configuration developers can choose under existing configuration systems.
Detailed information about the objects, processes and phenomena of transport infrastructure is needed to exploit the opportunities inherent in modern methods, mathematical models, algorithms and controlsystems of urb...
详细信息
We propose a new equations describing dynamics of a complex non-stationary systems/processes from nonextensive statistical mechanics which tend to the maximum of Tsallis entropy. We consider three types of internal en...
详细信息
We propose a new equations describing dynamics of a complex non-stationary systems/processes from nonextensive statistical mechanics which tend to the maximum of Tsallis entropy. We consider three types of internal energy constraints. The maximum entropy states are already well investigated. But this can not be argued about the transient states which determine how the system moves to the final state. We use the Speed-Gradient principle originated in the control theory. The proposed equations allow to forecast the dynamics of complex non equilibrium systems. Tsallis entropy is widely used in many fields of science nowadays including physics, biology, computer science and others. (C) 2018, IFAC (international Federation of Automatic control) Hosting by Elsevier Ltd. All rights reserved.
The modeling of the microstrip line with side grounded conductors located near air-substrate boundary is performed. The dependences of per-unit-length delay and the characteristic impedance on a distance between the g...
详细信息
Often the modeling of optimal predictive distributed and/or event-triggered control involve combination of linear dynamical models and logical variables. The most suitable tool for modeling such systems is the Mixed L...
详细信息
Often the modeling of optimal predictive distributed and/or event-triggered control involve combination of linear dynamical models and logical variables. The most suitable tool for modeling such systems is the Mixed Logical Dynamical (MLD) framework. The aim of this paper is to present mathematical formulation and of such model under Receding Horizon control (RHC) and a method of implementing such model and control in Matlab environment. Also an illustrative example of an MLD model formulation and simulation is shown in the second part of the paper. (C) 2018, IFAC (international Federation of Automatic control) Hosting by Elsevier Ltd. All rights reserved.
The complex system of large-scale intelligent, concurrent and polymorphic organizational structure is a hot topic in the field of simulation. Qualitative and quantitative research on such systems requires integration ...
详细信息
The ship propulsion system is a nonlinear and uncertain system. To overcome these constraints, in order to synthesize a powerful command, the multimodel control is promising. This paper deals with the modeling and mul...
详细信息
The structure of the tank fire control system is complex, the fault information acquisition is difficult, and the fault features are more, the maintenance cost is high, and the fault prediction and health management p...
详细信息
ISBN:
(数字)9781728101996
ISBN:
(纸本)9781728102009
The structure of the tank fire control system is complex, the fault information acquisition is difficult, and the fault features are more, the maintenance cost is high, and the fault prediction and health management problems need to be solved urgently. The machine learning algorithm of support vector classifier is used to predict the fault of the fire control computer and sensor subsystem. In order to better carry out the fire control system health management, the fault prediction of the fire control system not only stays in the identification of the "normal" and "fault" states, but also distinguishes different types of fault states. The least squares support vector multiclassifier based on decision directed acyclic graph is selected for prediction. The improved separation measure is introduced to improve the decision directed acyclic graph, which reduces the error caused by improper initial sequence. The particle swarm optimization algorithm is used to optimize the parameters of the least squares support vector classifier, which improves the classification accuracy. The experimental test of the tank fire control computer proves that the proposed method has high reliability and effectiveness.
With the ever-expanding scientific research scale and the influence of the trend of "integration, comprehensiveness and systematization" of modern scientific knowledge, the idea and enthusiasm of the common ...
详细信息
With the ever-expanding scientific research scale and the influence of the trend of "integration, comprehensiveness and systematization" of modern scientific knowledge, the idea and enthusiasm of the common research topics among the disciplines in physical education (PE) have been activated. The physical education research gradually develops to a highly differentiated and integrated aspects of teaching scientific research, which has solved many complex theoretical and practical problems in the development of physical education. In order to further promote the nationwide fitness program, clustering analysis method has played an important role in physical education research for the implementation of the Olympic Games glory strategic plan. Hot topics in modern PE research, such as China's sustainable development of competitive PE research issues, China's national sports power and state policy research issues, competitive PE reserve personnel optimization training mode research issues etc. need to be highly integrated. By analyzing and discussing the existing problems and evaluation systems of China's physical education, this study aims to improve the theory of China's higher physical education evaluation system, and to provide a reference for exploring the improvement measures for the further study of PE teaching problems.
We present a formal modeling and verification of Air Traffic control system (ATC) for airspace management. This system assists air traffic controllers by visualizing aircrafts in the airport vicinity. In such a critic...
详细信息
ISBN:
(纸本)9783319951652;9783319951645
We present a formal modeling and verification of Air Traffic control system (ATC) for airspace management. This system assists air traffic controllers by visualizing aircrafts in the airport vicinity. In such a critical-safety system, the use of robust formal methods that assure bugs absence is highly required. Therefore, we use a formalism of discrete transition systems based on abstraction and refinement along proof obligations. These proofs ensure the consistency of the system by mean of invariants preservation and deadlock freedom. The first guarantee that all invariants hold permanently and thus provide a handy solution for bugs absence verification. The second prove that the system runs forever to avoid deadlock. This modeling and proving enable us to establish that the system is, relatively to some criteria, correct by construction.
暂无评论