Results 61 to 70 of about 118,065 (269)
Lightweight Static Capabilities
Electronic Notes in Theoretical Computer Science, 2007 AbstractWe describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients:(i)A compact kernel of trust that is specific to the problem domain.(ii)Unique names (capabilities) that confer rights and certify properties, so as to extend the trust from the kernel to ...
Oleg Kiselyov, Chung-chieh Shan
openaire +1 more source
Design and Analysis of Compression–Torsion Coupling Metamaterials Using the Golden Section Method
Advanced Engineering Materials, EarlyView.A novel compression–torsion metamaterial is engineered using inclined rods and symmetry breaking. To optimize its torsional performance, the golden section method is employed. The mechanical response of the metamaterial is validated through both numerical analysis and experimental validation.
Amirhossein Hassani, Sara Bagherifard
wiley +1 more source
Comparing interphase formation in different thermoplastics combined with RTM6/M18 epoxy systems
Advanced Manufacturing: Polymer & Composites ScienceThe integration of thermoplastics and thermosets through interphases enables novel composite structures with tailored mechanical and processing properties.
Matthias Taubert +3 more
doaj +1 more source
Active Corrosion Protection of Sintered AA7075 Aluminum Alloy via Mn Powder Addition
Advanced Engineering Materials, EarlyView.AA7075 containing Mn‐rich particles is fabricated via spark plasma sintering using AA7075 and Mn powders. Corrosion resistance is evaluated through dip‐and‐dry tests using 0.1 M NaCl (pH 6.0), and mass loss decreases with increasing Mn addition. Mn‐rich particles function as a source of Mn ions, and formation of Mn‐accumulation films on Cu‐containing ...
Ko Ebina, Masashi Nishimoto, Izumi Muto
wiley +1 more source
Hybrid Metal–Carbon Ink for Printed Stretchable Temperature Sensors
Advanced Engineering Materials, EarlyView.We prepare conductive inks for temperature sensing with silver flakes and carbon or graphite flakes in a silicone elastomer matrix. Silver dominates the temperature‐dependent conductivity, while the carbon filler network ensures the stability of the conductive pathways and retains function under strain.
Makara Lay +3 more
wiley +1 more source
Discover Applied SciencesThis article presents a structured design process for lightweight carbon fiber rims tailored to an electric Formula Student race car. Unlike prior work that focuses mainly on geometry or material selection, the contribution here is an integrated design ...
Kevin Klemt +3 more
doaj +1 more source
Additive Manufacturing of Rare Earth Permanent Magnetic Materials: Research Status and Prospects
MetalsWith 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
New AI‐Assisted Approach for Expanding the Solution Space: Application to Lattice Structure Design
Advanced Engineering Materials, EarlyView.This work introduces an innovative framework for designing structured materials by ex panding the design space through reparameterization of qualitative variables into continuous structural descriptors. Combined with machine‐learning‐based prediction and multi‐objective optimization, the approach enables the discovery of novel lattice architectures ...
G. H. Gahimbare +5 more
wiley +1 more source
Additive Manufacturing of Alumina‐Reinforced Elastomers
Advanced Engineering Materials, EarlyView.Vat‐photopolymerized elastomers reinforced with platelet‐shaped alumina exhibited preferential orientation, reduced porosity, and significantly enhanced mechanical performance. A 3 wt% platelet loading increased tensile strength from 12.4 to 45.7 MPa, highlighting the critical role of filler morphology in elastomeric VPP composites.
Majid Barzegar Keyvani +6 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 +3 more
doaj +1 more source