Over the past two decades, synchronization, as an interesting collective behavior of complex dynamical networks, has been attracting much attention. To reveal and analyze the inherent mechanism of synchronization in c...
详细信息
Over the past two decades, synchronization, as an interesting collective behavior of complex dynamical networks, has been attracting much attention. To reveal and analyze the inherent mechanism of synchronization in complex dynamical networks with time delays in nodes, this paper attempts to use PD and PI control protocols to achieve synchronization. Based on a classical network model, we investigate the PD and PI control for synchronization of complex dynamical networks with delayed nodes and obtain some sufficient conditions. By using Lyapunov functions and appropriate state transformations, we prove that global synchronization can be achieved via the above control protocols. Finally, some simulation examples are illustrated to validate the effectiveness of the proposed theoretical results.
Background: Early and accurate diagnosis of bipolar and major depressive disorders is important in clinical practice. However, no diagnostic biomarkers can discriminate bipolar from major depressive disorder with high...
详细信息
Active disturbance rejection controllers have been applied in a certain range in industrial processes. Aiming at the control difficulties of a class of large inertia and large delay thermal processes in thermal power ...
详细信息
Existing implementations of dynamic memory allocators(DMA) employ a large spectrum of policies and techniques. The formal specifications of these techniques are quite complicated in isolation and very complex when com...
详细信息
Existing implementations of dynamic memory allocators(DMA) employ a large spectrum of policies and techniques. The formal specifications of these techniques are quite complicated in isolation and very complex when combined. Therefore, the formal reasoning on a specific DMA implementation is difficult for automatic tools and mostly single-use. This paper proposes a solution to this problem by providing formal models for a full class of DMA, the class using various kinds of lists to manage the memory blocks controlled by the DMA. To obtain reusable formal models and tractable formal reasoning, we organise these models in a hierarchy ranked by refinement relations. We prove the soundness of models and the refinement relations using the modeling framework Event-B and the theorem prover Rodin. We demonstrate that our hierarchy is a basis for an algorithm theory for list based DMA: it abstracts various existing implementations of DMA and leads to new DMA implementations. The applications of this formalisation include model-based code generation, testing, and static analysis.
This paper discusses model order reduction of large sparse second-order index-3 differential algebraic equations (DAEs) by applying Iterative Rational Krylov Algorithm (IRKA). In general, such DAEs arise in constraint...
详细信息
Carbon and nitrogen are central elements in global biogeochemical cycles. To effectively manage carbon and nitrogen in China, we developed a comprehensive model for quantifying their fluxes, investigating their interp...
Carbon and nitrogen are central elements in global biogeochemical cycles. To effectively manage carbon and nitrogen in China, we developed a comprehensive model for quantifying their fluxes, investigating their interplay across 16 human and natural subsystems. Between 1980 and 2020, nitrogen losses in China increased 2.3-fold and carbon emissions surged 6.5-fold. Integrated carbon and nitrogen management holds the potential for a 74% reduction in nitrogen losses to air and water and a 91% decrease in carbon emissions to the atmosphere by 2060. Compared with separate control of carbon or nitrogen, integrated management delivers an additional reduction of 1.8 million tons of nitrogen and 26.5 million tons of carbon by 2060, bringing out a 37% decrease in unit abatement cost and a net societal benefit of 1384 billion USD.
Considering the problems of internal and external disturbances, i.e. time-varying load, inaccurate system model and external uncertainties etc., a compound control strategy based on model predictive control (MPC) and ...
详细信息
Driving heavy-duty vehicles, such as buses and tractor-trailer vehicles, is a difficult task in comparison to passenger cars. Most research on motion planning for autonomous vehicles has focused on passenger vehicles,...
详细信息
ISBN:
(数字)9781728166735
ISBN:
(纸本)9781728166742
Driving heavy-duty vehicles, such as buses and tractor-trailer vehicles, is a difficult task in comparison to passenger cars. Most research on motion planning for autonomous vehicles has focused on passenger vehicles, and many unique challenges associated with heavy-duty vehicles remain open. However, recent works have started to tackle the particular difficulties related to on-road motion planning for buses and tractor-trailer vehicles using numerical optimization approaches. In this work, we propose a framework to design an optimization objective to be used in motion planners. Based on geometric derivations, the method finds the optimal trade-off between the conflicting objectives of centering different axles of the vehicle in the lane. For the buses, we consider the front and rear axles trade-off, whereas for articulated vehicles, we consider the tractor and trailer rear axles trade-off. Our results show that the proposed design strategy produces planned paths that considerably improve the behavior of heavy-duty vehicles by keeping the whole vehicle body in the center of the lane.
Target selection has always been a popular research topic in the human-computer interaction(HCI)*** with continuous interactive spaces,such as video games,augmented reality(AR),and virtual reality(VR),are becom-
Target selection has always been a popular research topic in the human-computer interaction(HCI)*** with continuous interactive spaces,such as video games,augmented reality(AR),and virtual reality(VR),are becom-
To implement a real-time reduction in NOx,a rapid and accurate model is required.A PLS-ELM model based on the combination of partial least squares(PLS)and the extreme learning machine(ELM)for the establishment of the ...
详细信息
To implement a real-time reduction in NOx,a rapid and accurate model is required.A PLS-ELM model based on the combination of partial least squares(PLS)and the extreme learning machine(ELM)for the establishment of the NOx emission model of utility boilers is ***,the initial input variables of the NOx emission model are determined according to the mechanism ***,the initial input data is extracted by ***,the extracted information is used as the input of the ELM model.A large amount of real data was obtained from the distributed control system(DCS)historical database of a 1 000 MW power plant boiler to train and validate the PLS-ELM *** modeling performance of the PLS-ELM was compared with that of the back propagation(BP)neural network,support vector machine(SVM)and ELM *** mean relative errors(MRE)of the PLS-ELM model were 1.58%for the training dataset and 1.69%for the testing *** prediction precision of the PLS-ELM model is higher than those of the BP,SVM and ELM *** consumption time of the PLS-ELM model is also shorter than that of the BP,SVM and ELM models.
暂无评论