Results 131 to 140 of about 2,084,052 (380)

Machine Improvisation With Formal Specifications

, 2014
(Abstract to follow)
Donzé, A, Valle, R, Akkaya, I, Libkind, S, Seshia, SA, Wessel, D   +5 more
openaire   +2 more sources

Energy Dissipation in Nonlinearly Elastic Auxetic and Non‐Auxetic Mechanical Metamaterials with Friction and Material Damping

Advanced Engineering Materials, EarlyView.
This study presents a hyperelastic mechanical metamaterial for elastic energy dissipation. Energy is dissipated within its unit cells by friction assisted by material damping. Frictional contact is enhanced when using auxetic unit cells. The load–displacement plot for one compression cycle shows a pronounced hysteresis loop, indicating that a large ...
Eunhyeuk Jeong, Emilio Calius, Maziar Ramezani   +2 more
wiley   +1 more source

Formal Specification of Graphic Data Types [PDF]

, 1982
William R. Mallgren
openalex   +1 more source

Multimodal Characterization Method for Metamaterials with Tunable Mechanical Stiffness and Electrical Resistivity

Advanced Engineering Materials, EarlyView.
This study presents a multimodal characterization method for a prototype metamaterial model structure that features four distinct states of mechanical stiffness and electrical resistivity. Through simulations and experiments, it uncovers insights into the structural behavior, the correlation between changes in electrical resistivity and mechanical ...
Rebecca Kose, Michael Mathias Becker, Martin Schuppmann, Sarah Christine Lidwina Fischer   +3 more
wiley   +1 more source

Systems, methods and apparatus for verification of knowledge-based systems [PDF]

, 2010
Systems, methods and apparatus are provided through which in some embodiments, domain knowledge is translated into a knowledge-based system. In some embodiments, a formal specification is derived from rules of a knowledge-based system, the formal ...
Erickson, John D., Gracinin, Denis, Hinchey, Michael G., Rash, James L., Rouff, Christopher A.   +4 more
core   +1 more source

On the Deformation Behavior of Metastable CrMnNi Steels Processed by Directed Energy Deposition in Different Temperature Regimes

Advanced Engineering Materials, EarlyView.
In the present study, metastable CrMnNi steels with varying chemical compositions and a concomitantly altered stacking fault energy are processed via directed energy deposition and afterwards tested via tensile tests at different temperatures. The present study shows the influence of the manufacturing process on the elemental deformation mechanisms for
Julia Richter, Thomas Wegener, Florian Stredak, Gert Bartzsch, Steffen Scherbring, Javad Mola, Olena Volkova, Stefan Böhm, Thomas Niendorf   +8 more
wiley   +1 more source

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development [PDF]

, 1992
Hartmut Ehrig, B. Mahr, Ingo Claßen, Fernando Orejas   +3 more
openalex   +1 more source

Formal design specification of a Processor Interface Unit [PDF]

This report describes work to formally specify the requirements and design of a processor interface unit (PIU), a single-chip subsystem providing memory-interface bus-interface, and additional support services for a commercial microprocessor within a ...
Cohen, Gerald C., Fura, David A., Windley, Phillip J.   +2 more
core   +1 more source

A Simulative Evaluation of Triply Periodic Minimal Surface Structures in the Context of Elastocaloric Applications

Advanced Engineering Materials, EarlyView.
A simulative evaluation of triply periodic minimal surface (TPMS) structures for an elastocaloric application under compressive load is performed. For the evaluation of the structure's performance, surface/volume ratio, generated heat and invested mechanical work are taken into account and are compared to a tube as a reference specimen.
Michael Fries, Paul Motzki, Dirk Bähre, Anne Jung   +3 more
wiley   +1 more source

A Technique for Analyzing the Effects of Changes in Formal Specifications [PDF]

, 1992
D. Richard Kuhn
openalex   +1 more source