Results 21 to 30 of about 1,418,415 (161)
The Use of Language Projection for Compositional Verification of Discrete Event Systems [PDF]
, 2008 This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property.
Simon Ware +3 more
core +1 more source
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source
Discrete Exterior Calculus [PDF]
, 2003 This thesis presents the beginnings of a theory of discrete exterior calculus (DEC). Our approach is to develop DEC using only discrete combinatorial and geometric operations on a simplicial complex and its geometric dual.
Hirani, Anil Nirmal
core +1 more source
Mathematics, 2023 The Fuzzy Discrete Mycorrhiza Optimization (FDMOA) Algorithm is a new hybrid optimization method using the Discrete Mycorrhiza Optimization Algorithm (DMOA) in combination with type-1 or interval type-2 fuzzy logic system.
Hector Carreon-Ortiz +2 more
doaj +1 more source
Using the discrete element method to simulate brittle fracture in the indentation of a silica glass with a blunt indenter [PDF]
, 2013 This work was supported by the Conseil Régional d’Aquitaine and was conducted under the auspices of the Etude et Formation en Surfacage Optique (EFESO 2) project.
CHARLES, Jean-Luc +5 more
core +1 more source
, 2006 This paper presents a general framework for modular synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence.
Hugo Flordal +3 more
core +1 more source
Computing small discrete logarithms faster [PDF]
, 2012 Computations of small discrete logarithms are feasible even in "secure" groups, and are used as subroutines in several cryptographic protocols in the literature.
Lange, T. +3 more
core +3 more sources
Simulation of continuum heat conduction using DEM domains [PDF]
, 2012 Currently, almost all material manufacturing processes are simulated using methods based on continuum approaches such as the Finite Element Method (FEM).
CHARLES, Jean-Luc +3 more
core +1 more source
An algorithm for compositional nonblocking verification of extended finite-state machines [PDF]
, 2014 This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied
Fabian, Martin, +6 more
core +1 more source
Statistical analysis of vegetable productivity dynamics of Uzbekistan [PDF]
BIO Web of Conferences, 2023 In all fields, there are a lot of random events at a given time. In particular, the process of growing agricultural crops, which is repeated over a certain period, that is, seasonally, is the basis for our analysis as a discrete {Yt,t ∈ T} random dynamic
Fayziev Akhtamjon +3 more
doaj +1 more source