Results 141 to 150 of about 467,057 (287)
KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc +1 more source
Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability
This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner +3 more
wiley +1 more source
Toward mass customization of animal trackers by design automation. [PDF]
Beutler P +6 more
europepmc +1 more source
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 +4 more
wiley +1 more source
Fully automated processor chip design: motivation, challenges and future directions. [PDF]
Zhang R, Guo J, Cheng S, Chen Y.
europepmc +1 more source
Egse - pds software requirements specification
This document provides the basic requirements for the design and development of the VIR ...
openaire +1 more source
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 +3 more
wiley +1 more source
PMMoTo: A Porous Media Morphology and Topology Toolkit. [PDF]
Weigand TM.
europepmc +1 more source
What Do Large Language Models Know About Materials?
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 +2 more
wiley +1 more source
This article demonstrates the successful qualification of a copper–tungsten composite for laser powder bed fusion. The resulting components exhibited high density, high thermal conductivity, and reduced thermal expansion. Heat sinks with complex geometries were successfully manufactured, clearly showcasing the material's potential for additive ...
Simon Rauh +6 more
wiley +1 more source

