Results 71 to 80 of about 266,760 (372)
Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development [PDF]
Domain-specific standards and guidelines play a crucial role in regulating safety-critical systems, with one notable example being the DO-178C document for the aerospace industry. This document provides guidelines for organisations seeking to ensure the safety and certification of their software systems.
arxiv
Proceedings FM-09 Workshop on Formal Methods for Aerospace [PDF]
The main workshop objective was to promote a holistic view and interdisciplinary methods for design, verification and co-ordination of aerospace systems, by combining formal methods with techniques from control engineering and artificial intelligence.
arxiv +1 more source
A track-before-detect labelled multi-Bernoulli particle filter with label switching [PDF]
This paper presents a multitarget tracking particle filter (PF) for general track-before-detect measurement models. The PF is presented in the random finite set framework and uses a labelled multi-Bernoulli approximation. We also present a label switching improvement algorithm based on Markov chain Monte Carlo that is expected to increase filter ...
arxiv +1 more source
“AYAS”: From Aerospace Club to Aerospace Society
The history of educational activity and linking the education with research in the aerospace-related areas in Armenia is presented – all the way from the creation of an extra-curricular study group for school students dubbed the "AYAS" Aerospace Club to the foundation of the "AYAS" Aerospace Society.
openaire +2 more sources
A Novel Digitalization Approach for Smart Materials – Ontology‐Based Access to Data and Models
In order to access heterogeneous material data and model‐based knowledge, the established ontology‐based data access (OBDA) is extended to include material models. This novel ontology‐based data and model access (OBDMA) enables the computation of new responses beyond stored data.
Jürgen Maas+15 more
wiley +1 more source
Investigation on hot deformation behavior of 2050 Al-Cu-Li alloy
In this paper, Gleeble-3500 thermal simulator was employed to perform single-pass isothermal compression tests of a spray formed 2050 Al-Cu-Li alloy at a temperature range of 350 to 470 ℃ and a strain rate range of 0.01 to 5 s−1.
MA Xiaoguang+5 more
doaj +1 more source
A metallic implant's higher stiffness compared to the surrounding bone leads to stress shielding problems, causing bone density reduction and bone growth interference in pediatric patients. 3D‐printed triply periodic minimal surface structures present a promising engineering solution.
Ali Ebrahimzadeh Dehaghani+4 more
wiley +1 more source
Spatial distribution of microstructure in Inconel 718 3D‐printed with bidirectional strategy with no rotation and chessboard strategy is studied. The former results in a highly ordered arrangement of coarse grains separated by line clusters of dislocation‐dense fine grains. This arrangement is disrupted by the chessboard strategy.
Jalal Al‐Lami+4 more
wiley +1 more source
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani+2 more
wiley +1 more source
Additive manufacturing of magnesium alloys by laser is difficult because the melting point of the oxide layer is much higher than the evaporation temperature of the metal underneath. Making the oxide layer thinner can solve this problem. Alloying magnesium with strontium makes the oxide layer thinner, especially at 0.5 wt%.
Elmar Jonas Breitbach+8 more
wiley +1 more source