Results 11 to 20 of about 8,959,956 (282)
Probabilistic model checking of complex biological pathways [PDF]
, 2006 Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including security and communication protocols, distributed algorithms and power management.
Heath, J. +4 more
core +9 more sources
On Logics for Coalgebraic Simulation [PDF]
, 2004 We investigate logics for coalgebraic simulation from a compositional perspective. Specifically, we show that the expressiveness of an inductively-defined language for coalgebras w.r.t.
Cirstea, Corina
core +2 more sources
Zhongguo dianli, 2020 With renewable energy consumption becoming a key issue, generation rights transaction between wind power and captive plants plays an important role in improving the power system's accommodation capacity.
Haoliang XU +4 more
doaj +1 more source
Probabilistic design criterion for best arrangement of bracing configuration in JTOP structures [PDF]
Journal of Hydraulic Structures, 2022 Fixed marine structures is widely utilized as production or oil recovering platform in the shallow sea, and are also subject to random loading. Jacket structures subject to random loading pose difficulties in both analysis and design, with solutions ...
Farhad Hosseinlou, Mohammad Boshagh
doaj +1 more source
Data-driven Prediction of Internal Turbulences in Production Using Synthetic Data
Proceedings of the Conference on Production Systems and Logistics, 2023 Production planning and control are characterized by unplanned events or so-called turbulences. Turbulences can be external, originating outside the company (e.g., delayed delivery by a supplier), or internal, originating within the company (e.g ...
Schuhmacher, Jan +4 more
doaj +1 more source
Probabilistic simulation for the certification of railway vehicles [PDF]
, 2015 The present dynamic certification process that is based on experiments has been essentially built on the basis of experience. The introduction of simulation techniques into this process would be of great interest.
Nguyen-Tajan, Mac Lan +14 more
core +1 more source
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
A modular approach to defining and characterising notions of simulation [PDF]
, 2006 We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notions of simulation for such systems, and inductive techniques to define the ...
Cirstea, Corina
core +1 more source
Modelling, 2021 Inspection processes are becoming more and more popular beyond the manufacturing industry to ensure product quality. Implementing inspection systems in multistage production lines brings many benefits in productivity, quality, and customer satisfaction ...
Pablo Martinez, Rafiq Ahmad
doaj +1 more source
Probabilistic Revenue Analysis of Microgrid Considering Source-Load and Forecast Uncertainties
IEEE Access, 2022 Due to the randomness of load and renewable energy generation (REG), microgrids face multiple uncertainties. These uncertainties lead to the uncertainty of microgrid operation and bring more challenges to the economic evaluation of microgrids.
Yang Yang +3 more
doaj +1 more source