Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine [PDF]
, 2008 A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components.
Ipate, F, Hierons, RM
core +7 more sources
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine [PDF]
, 2004 Stream X-machines are a formalisation of extended finite state machines that have been used to specify systems. One of the great benefits of using stream X-machines, for the purpose of specification, is the associated test generation technique which ...
Harman, M, Hierons, RM
core +7 more sources
Deterministic Stress Modeling for Multistage Compressor Flowfields [PDF]
, 2013 Unsteadiness is one of the main characteristics in turbomachinery flows. Local unsteady changes in static pressure must exist within a turbomachine in order for that machine to exchange energy with the fluid.
Stollenwerk, Stefan +3 more
core +1 more source
Non-Deterministic Methods and Surrogates in the Design of Rockfill Dams
Applied Sciences, 2021 The parameters of the constitutive models used in the design of rockfill dams are associated with a high degree of uncertainty. This occurs because rockfill dams are comprised of numerous zones, each with different soil materials, and it is not feasible ...
Rajeev Das, Azzedine Soulaimani
doaj +1 more source
Proceedings, 2018 Designing energy-efficient electric motor is a task where multiple goals have to be achieved at once. To find the best design possible, different approaches have been developed.
Johannes Schmelcher +4 more
doaj +1 more source
Combined Deterministic and Stochastic System Identification and Realization: DSR - A Subspace Approach Based on Observations [PDF]
Modeling, Identification and Control, 1996 A numerically stable and general algorithm for identification and realization of a complete dynamic linear state space model, including the system order, for combined deterministic and stochastic systems from time series is presented.
David Di Ruscio
doaj +1 more source
Model Pemesanan Bahan Baku menggunakan Peramalan Time Series dengan CB Predictor
ComTech, 2014 A company that manufactures finished goods often faces a shortage of raw materials, due to the determination of the quantity of raw material ordering improper because it is done by intuition and the lack of raw material inventory reserves.
Tri Pujadi
doaj +1 more source
Proceedings, 2018 Energy-efficient electric motors are gathering an increased attention since they are used in electric cars or to reduce operational costs, for instance.
Johannes Schmelcher +4 more
doaj +1 more source
Yağışın mekânsal dağılışında deterministik ve stokastik yöntemler: Mauritius örneği, Doğu Afrika
Coğrafi Bilimler Dergisi, 2016 Precipitation is one of the most important climatic parameters displaying significant changes across space and time. The accurate modeling of precipitation has become an important part of climate research for hydrological studies, the forecast of events ...
Olgu Aydın, Nussaïbah Begum Raja
doaj +1 more source
Application of deterministic, stochastic, and hybrid methods for cloud provider selection
Journal of Cloud Computing: Advances, Systems and Applications, 2022 Cloud Computing popularization inspired the emergence of many new cloud service providers. The significant number of cloud providers available drives users to complex or even impractical choice of the most suitable one to satisfy his needs without ...
Lucas Borges de Moraes +2 more
doaj +1 more source