Results 101 to 110 of about 37,742 (304)
An algorithm for compositional nonblocking verification of extended finite-state machines
, 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
Advanced Engineering Materials, EarlyView.This work shows that the mechanical performance of multimaterial digital light processing (DLP) printed thermoset composites is governed by resin compatibility and interfacial design rather than spatial patterning alone. Brittle and ductile resin combinations produced premature interfacial failure, while graded interfaces and mechanically compatible ...
Ahmed M. H. Ibrahim +3 more
wiley +1 more source
Investigating alternatives for system architectures to enhance discrete manufacturing
International Journal of Distributed Sensor Networks, 2019 This article investigates the possibility of advancing discrete manufacturing using system architectures that are developed for Collaborative Process Automation Systems.
Sara Afshar +3 more
doaj +1 more source
The evolution of manufacturing SPECIES
, 2022 S.187-192This research aims to develop hierarchical and cladistic classifications of manufacturing system evolution, incorporating evolving and interacting product, process and production system features.
Böttinger, Fabian +8 more
core +1 more source
Advanced Functional Materials, EarlyView.Multianalyte, real‐time monitoring of bioprinted scaffolds remains challenging. Phosphorescence‐lifetime–based, optically responsive microparticles are embedded in diverse printable hydrogels (κ‐carrageenan, GelMA, PEGDA) to form biomaterial inks that report oxygen, glucose, lactate, and temperature.
Waqas Saleem +11 more
wiley +1 more source
Estimation of a dynamic discrete choice model of irreversible investment [PDF]
, 2001 In this paper we propose and estimate a dynamic structural model of fixed capital investment at the firm level. Our dataset consists of an unbalanced panel of Spanish manufacturing firms. Two important features are present in this dataset.
Sánchez Mangas, Rocío
core
, 2008 This paper studies the nonblocking check used in supervisory control of discrete event systems and its limitations. Different examples with different liveness requirements are discussed.
Malik, Robi +3 more
core +1 more source
Advanced Functional Materials, EarlyView.Flexible piezoresistive pressure sensors underpin wearable and soft electronics. This review links sensing physics, including contact resistance modulation, quantum tunneling and percolation, to unified materials/structure design. We highlight composite and graded architectures, interfacial/porous engineering, and microstructured 3D conductive networks
Feng Luo +2 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This study demonstrates that memristors can replace conventional 2T–1C driving circuits with simplified 1T–1 m architectures by exploiting resistance switching. With ultra‐low switching voltages (< ±0.2 V) and multi‐level resistance states, the memristors precisely control the current injected into organic light‐emitting diodes (OLEDs).
Dong Hyun Kim +6 more
wiley +1 more source
Development of a standard framework for manufacturing simulators [PDF]
Discrete event simulation is now a well established modelling and experimental technique for the analysis of manufacturing systems. Since it was first employed as a technique, much of the research and commercial developments in the field have been ...
Sandhu, Sukhbinder Singh
core