Results 151 to 160 of about 230,174 (255)

A Concept of a Digital and Traceable Manufacturing Documentation Based on Formalized Process Description Applied on Composite Aircraft Moveable

Advanced Engineering Materials, EarlyView.
The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker, Dominik Delisle, Christian Krombholz, Martin Rädel, Frank Dressel   +4 more
wiley   +1 more source

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
europepmc   +1 more source

Enabling Digital Continuity in Virtual Manufacturing for Eco‐Efficiency Assessment of Lightweight Structures by Means of a Domain‐Specific Structural Mechanics Language: Requirements, Idea and Proof of Concept

Advanced Engineering Materials, EarlyView.
This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel, Andreas Schuster, Felix Schoenitz, Jean Lefèvre   +3 more
wiley   +1 more source

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]

PeerJ Comput Sci
Alsaegg KAM, Pashazadeh S, Zolfy Lighvan M.   +2 more
europepmc   +1 more source

What Do Large Language Models Know About Materials?

Advanced Engineering Materials, EarlyView.
If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer, Thomas Wallmersperger, Gianaurelio Cuniberti   +2 more
wiley   +1 more source

An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis. [PDF]

Sci Rep
Varriano G, Nardone V, Brunese MC, Bruno M, Santone A, Brunese L, Zappia M.   +6 more
europepmc   +1 more source

Duplex Stainless Steel Laser‐Surface Textured: Stability in Brine Solution

Advanced Engineering Materials, EarlyView.
Controlled laser‐surface treatment (LST) of duplex DSS2205 steel is performed to increase its stability in brine solution under cyclic electrochemical assays. The superior protection with respect to flat and smooth panels is attributed to the presence of FeCr2O4 as the main protective oxide layer in the LST surface, after corrosion tests. The stability
Mohammad Rezayat, Hamidreza Enshaei, Elaine Armelin, José I. Iribarren, Antonio Mateo, Miguel Morales   +5 more
wiley   +1 more source

Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC. [PDF]

Stat Biosci
Yang Z, Liang H, Liu H, Barth S, Byrne M, Andersen E, Bhandaru V, Castel A.   +7 more
europepmc   +1 more source

A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions

Advanced Engineering Materials, EarlyView.
This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice, Krzysztof S. Stopka, Michael D. Sangid   +2 more
wiley   +1 more source