Results 151 to 160 of about 17,423 (281)
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
Advanced Engineering Materials, EarlyView.A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems. [PDF]
Sensors (Basel), 2022 Daszczuk WB.
europepmc +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
A test sequence generation method of zone controller based on timed automata
Journal of Measurement Science and Instrumentation, 2019 In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller（ZC）, a model-based automatic generation method of test sequence is proposed.
SONG Shuang, CHEN Yue-dong
doaj
Identification of unobservable behavior in stochastic discrete event systems with a low number of sensors. [PDF]
MethodsX, 2023 Santillán-Mosquera R, Muñoz-Añasco M.
europepmc +1 more source
Advanced Engineering Materials, EarlyView.Cladding is a proven method that boosts the surface qualities of mechanical parts by applying a layer of more durable material over a base substrate. This work responds to the needs of offshore and pressure vessels sectors by focusing on cladding a super austenitic steel onto low‐carbon steel through gas tungsten arc welding.
E. J. da Cruz Junior +6 more
wiley +1 more source
SAT and SMT-Based Verification of Security Protocols Including Time Aspects. [PDF]
Sensors (Basel), 2021 Szymoniak S +4 more
europepmc +1 more source
Advanced Engineering Materials, EarlyView.Cermets (60 vol.% AISI 316L stainless steel, 40 vol.% recycled MgO), intended for use in aluminum electrolysis, were pre‐oxidized in three furnaces with different heating technologies and subjected to a cryolite corrosion test. The different atmospheres influenced the formation of oxide layers, which in turn affected corrosion resistance and ...
Patricia Kaiser +4 more
wiley +1 more source
Heart Rhythm Insights Into Structural Remodeling in Atrial Tissue: Timed Automata Approach. [PDF]
Front Physiol, 2018 Makowiec D, Wdowczyk J, Struzik ZR.
europepmc +1 more source