Results 41 to 50 of about 1,220 (267)

Additive Manufacturing of Continuous Fibre Reinforced Composites: Process, Characterisation, Modelling, and Sustainability

Advanced Engineering Materials, EarlyView.
Additive manufacturing provides precise control over the placement of continuous fibres within polymer matrices, enabling customised mechanical performance in composite components. This article explores processing strategies, mechanical testing, and modelling approaches for additive manufactured continuous fibre‐reinforced composites.
Cherian Thomas, Amir Hosein Sakhaei
wiley   +1 more source

Karl Popper and the Mechanisms of Hydrogen Embrittlement

Advanced Engineering Materials, EarlyView.
Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley   +1 more source

Varieties of Orthomodular Lattices. II

, 1972
In this paper we continue the study of equationally defined classes of orthomodular lattices started in [1].The only atom in the lattice of varieties of orthomodular lattices is the variety of all Boolean algebras.
Günter Bruns, Gudrun Kalmbach
core   +1 more source

Orthomodular lattices with state-separated noncompatible pairs [PDF]

, 2000
summary:In the logico-algebraic foundation of quantum mechanics one often deals with the orthomodular lattices (OML) which enjoy state-separating properties of noncompatible pairs (see e.g. , and ).
R. Mayet, P. Pták, Pták, P., Mayet, R.
core   +1 more source

Lattices of Subsemivarieties of Certain Varieties [PDF]

Journal of the Australian Mathematical Society, 1971
For all positive integers m, n, m ≤ n, let m,n denote the variety of algebras with m n-ary operations ω1, …, ωm and n m-ary operations φ1, …, φn satisfying the system of identities The varieties m,n are considered by Swierczkowski [1] and by Akataeb and Smirnov [2]. Jonsson and Tarski [3] consider m,n in the case m = 1, n = 2.
openaire   +2 more sources

Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization

Advanced Engineering Materials, EarlyView.
Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier, Moritz Blum, Luana Caron, Alisa Chirkova, Philipp Cimiano, Basil Ell, Inga Ennen, Michael Feige, Maik Gaerner, Thomas Hilbig, Andreas Hütten, Günter Reiss, Tapas Samanta, Sonja Schöning, Christian Schröder, Lennart Schwan, Chris Taake, Martin Wortmann   +17 more
wiley   +1 more source

Hydrogen‐Assisted Fracture of Iron‐Based Fe–Ni–Al Alloys

Advanced Engineering Materials, EarlyView.
Principal relations and fracture mechanisms of single‐phase and precipitate‐strengthened Fe–Ni–Al alloys subjected to prior electrochemical hydrogen charging are identified. The mechanisms of hydrogen effect on strength and microhardness are discussed, including hydrogen‐induced increase in microhardness and the role of hydrogen in fracture behavior ...
Nataliya Yadzhak, Olha Zvirko, Rostyslav Leshchak, Hryhoriy Nykyforchyn   +3 more
wiley   +1 more source

Amalgamation through quantifier elimination for varieties of commutative residuated lattices

, 2012
This work presents a model-theoretic approach to the study of the amalgamation property for varieties of semilinear commutative residuated lattices. It is well-known that if a first-order theory T enjoys quantifier elimination in some language L, the ...
Marchioni, Enrico
core   +2 more sources

Amalgamation in small varieties of lattices

, 1990
A property used by G. Grätzer and H. Lakser to describe the amalgamation class of a finitely generated variety of pseudo-complemented distributive lattices, and a property used by C.
Jónsson, Bjarni
core   +1 more source

Varieties of distributive rotational lattices

, 2012
A rotational lattice is a structure (L;\vee,\wedge, g) where L=(L;\vee,\wedge) is a lattice and g is a lattice automorphism of finite order. We describe the subdirectly irreducible distributive rotational lattices. Using Jónsson's lemma, this leads to a description of all varieties of distributive rotational lattices.
Czédli, Gábor, Nagy, Ildikó V.
openaire   +3 more sources