Results 61 to 70 of about 174,940 (299)

Lightweight hybrid tableaux

Journal of Applied Logic, 2010
The paper presents a decision procedure for some fragments of the hybrid logic. The main difference between hybrid logic and modal logic is the presence of nominals, which are propositional symbols true at exactly one world in a model. The decision procedure is based on a prefixed tableau calculus.
openaire   +2 more sources

Design and Prototyping of Topology‐Optimized, Additively Manufactured Lightweight Components for Space Robotic Systems: A Case Study

Advanced Engineering Materials, EarlyView.
The results demonstrate a simulation‐driven workflow that applies LSB topology optimization with additive manufacturing constraints to mission‐specific load cases, integrating European Cooperation for Space Standardization compliant verification and manufacturability to develop structurally efficient rover suspension components.
Stelios K. Georgantzinos, Grigorios Kostopoulos, Eleni Papadopoulou, Stefanos Voulgaris, Alexandra Tseni, Panteleimon Bakalis, Maria N. Gkara, Chara Ch. Mitropoulou, Georgios Kazakis, Alin Munteanu, Jeremi Gancet, Nikos D. Lagaros   +11 more
wiley   +1 more source

Additive Manufacturing of Rare Earth Permanent Magnetic Materials: Research Status and Prospects

Metals
With the rapid development of intelligent manufacturing, modern components are accelerating toward being light weight, miniaturized, and complex, which provides a broad space for the application of rare earth permanent magnet materials.
Yun Chen, Chengyue Xiong, Yongbing Li
doaj   +1 more source

A Sequence-Based Damage Identification Method for Composite Rotors by Applying the Kullback–Leibler Divergence, a Two-Sample Kolmogorov–Smirnov Test and a Statistical Hidden Markov Model

Entropy, 2019
Composite structures undergo a gradual damage evolution from initial inter-fibre cracks to extended damage up to failure. However, most composites could remain in service despite the existence of damage. Prerequisite for a service extension is a reliable
Angelos Filippatos, Albert Langkamp, Pawel Kostka, Maik Gude   +3 more
doaj   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Numerical investigation of blanking for metal polymer sandwich sheets

MATEC Web of Conferences, 2016
Metal polymer sandwich sheets consist of materials with drastically different mechanical properties. Due to this fact and because of high local gradients in the cutting zone during the blanking process, traditional process strategies and empirical ...
Gutknecht Florian, Übelacker David, Clausmeyer Till, Erman Tekkaya A.   +3 more
doaj   +1 more source

Screen‐Printed Flexible Piezoelectric Force Sensor Array with Electromagnetic Interference Shielding

Advanced Engineering Materials, EarlyView.
This article introduces a flexible screen‐printed piezoelectric sensor array designed for low‐frequency healthcare applications such as tactile sensing and cardiovascular monitoring. The device integrates interface electronics enabling the simultaneous acquisition of up to 128 signals, along with flexible EMI shielding that significantly reduces noise ...
Joseph Faudou, Mohammed Benwadih, Arnaud Gabas, Lina Kadura, Minh‐Quyen Le, Daniel Grinberg, Pierre‐Jean Cottinet   +6 more
wiley   +1 more source

Intrinsic properties of dispersion-strengthened HfO2–Al2O3–SiO2 material as an EBC bond coat

Journal of Advanced Ceramics
To address the challenges of insufficient thermal resistance and high-temperature stability in current environmental barrier coating (EBC) bond coats above 1500 °C, this study successfully synthesized HfO2–Al2O3–SiO2 powders with a dispersion ...
Deteng Wang, Huiyong Yang, Qifa Wan, Yixin Xiao, Haijiang Yu, Luyan Wang, Lianyi Wang, Wei Li, Ruiying Luo, Juntong Huang   +9 more
doaj   +1 more source

LSPA-SGs: A lightweight and secure protocol for authentication and key agreement based Elliptic Curve Cryptography in smart grids

, 2022
Susan A. Mohammed Taqi, Saeed Jalili
openalex   +1 more source

Fabrication of Multifunctional FeSi Gyroid Lattice Composites via Additive Manufacturing and Polymer Infiltration

Advanced Engineering Materials, EarlyView.
A two‐step approach combining laser powder bed fusion of FeSi electrical steel with Bakelite infiltration enables the fabrication of multifunctional gyroid lattice composites. The resulting structures exhibit high strength, magnetic anisotropy, and complete polymer infiltration, demonstrating a simple and scalable route toward lightweight, mechanically
Angelo F. Andreoli, Mayumi A. Nakahashi, Vitor E. Pinotti, Felipe O. C. Bernardo, Lidiane C. Costa, Francisco G. Coury, Ronei C. de Oliveira, Adilson J. A. de Oliveira, Carlos E. H. Ventura, Piter Gargarella   +9 more
wiley   +1 more source