In this paper we propose a methodology for the deductive veriication of out-of-order scheduling algorithms. A `top-down' scheme for the systematic deenition of system invariants is deened. The complementary use of predicted values, auxiliary elds storing a dispatch time prediction of an instruction's value, is proposed as a means of further simplifying the veriication of systems in this class. ...

A Simple Temporal Network with Uncertainty (STNU) includes real-valued variables, called time-points; binary difference constraints on those and contingent links that represent actions uncertain durations. STNUs have been used for robot control, web-service composition, business processes. The most important property of an STNU is dynamic controllability (DC); algorithms checking this are DC-ch...

Model predictive control (MPC) based methods are gaining more and more attention in power converters and electrical drives. Nevertheless, high computational burden of MPC is an obstacle for its application, especially when the prediction horizon increases extends. At the same time, increasing the prediction horizon leads to a superior response. In this paper, a long horizon MPC is proposed to c...

Numerical solutions based on standard finite volume method are presented for the study of heat transfer and fluid dynamic characteristics in turbulent flows behind a single sided backward-facing step. The calculation of the differential equations is performed using SIMPLE algorithm. For the turbulent quantities standard K-model is used. Predicted mean velocity profiles and reattachment lengths ...

in this paper a novel process monitoring scheme for reducing the type і and type іі error rates in the monitoring phase is proposed. first, the proposed approach uses an augmented data matrix to implement the process dynamic. then, we apply independent component analysis (ica) transformation to the augmented data matrix, and eliminate the outliers using the local outlier factor (lof) algorithm....

Abstract: Urban canyon is categorized as hard environment for positioning of a dynamic vehicle due to low number and also bad configuration of in-view satellites. In this paper, a tuning procedure is proposed to adjust the important factors in Kalman Filter (KF) using Genetic Algorithm (GA). The authors tested the algorithm on a dynamic vehicle in an urban canyon with hard condition and compare...