Results 121 to 130 of about 284,503 (316)
Phase Field Failure Modeling: Brittle‐Ductile Dual‐Phase Microstructures under Compressive Loading
Advanced Engineering Materials, EarlyView.The approach by Amor and the approach by Miehe and Zhang for asymmetric damage behavior in the phase field method for fracture are compared regarding their fitness for microcrack‐based failure modeling. The comparison is performed for the case of a dual‐phase microstructure with a brittle and a ductile constituent.
Jakob Huber, Jan Torgersen, Ewald Werner
wiley +1 more source
Extending Event-B with discrete timing properties
, 2013 Event-B is a formal language for systems modelling, based on set theory and predicate logic. It has the advantage of mechanized proof, and it is possible to model a system in several levels of abstraction by using refinement.
Sarshogh, Mohammad Reza
core
Discrete-Time Event-Triggered Control of Nonlinear Wireless Networked Control Systems
Abstract and Applied Analysis, 2014 This paper investigates the problem of stabilization of nonlinear discrete-time networked control systems (NCSs) with event-triggering communication scheme in the presence of signal transmission delay.
Songlin Hu +3 more
doaj +1 more source
Multimodal Data‐Driven Microstructure Characterization
Advanced Engineering Materials, EarlyView.A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang +4 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A two‐dimensional multiscale finite element analysis framework was established for the first‐generation MoSiBTiC alloy, and the mechanical and fracture‐related parameters of the constituent phases were calibrated through experiments and simulations. The framework provides a basis for analyzing crack propagation behavior in its complex microstructure ...
Junfeng Du +4 more
wiley +1 more source
Towards a user-friendly parallel simulator of discrete-event systems [PDF]
Acta Montanistica Slovaca, 2003 We propose an algorithm used in a user transparent parallel simulator to improve the lookahead ability of submodels by combining the lookahead values of submodels entities.
Solèány Viliam, afaøík Jiøí
doaj
Discrete Dynamics in Nature and Society, 2017 Mutual exclusion problems widely exist in discrete event systems in which several processes will compete for the common resource for maintaining their normal running. This competition is mutually exclusive.
Zhongyuan Jiang +4 more
doaj +1 more source
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
Algebraic Methods for Discrete Event Systems - A Tutorial
, 1996 Discrete event dynamic systems (DEDS) are treated in a mathematical framework using algebra and polynomials over finite fields. In this framework DEDS interacts with the environment by signals rather than events.
Gunnarsson, Johan,
core
Verification of Archive System Opacity With Bounded Labeled Petri Nets
IEEE AccessOpacity is an essential security indicator in archive systems. There exists a set of secret states and an external intruder who can observe the behavior of the system in the archive system.
Zhenzhong Liu
doaj +1 more source