Results 101 to 110 of about 3,773,797 (206)

Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation

Journal of Applied Mathematics, 2015
We present on-the-fly degeneralization algorithm used to transform generalized Büchi automata (GBA) into Büchi Automata (BA) different from the standard degeneralization algorithm.
Laixiang Shan, Jun Qin, Mingshi Chen, Zheng Qin   +3 more
doaj   +1 more source

Microstructure Modification of Additively Manufactured Mo–9Si–8B by Annealing and Its Effects on High‐Temperature Mechanical Properties

Advanced Engineering Materials, EarlyView.
Postbuild annealing systematically modifies the phase fractions and morphology of EB‐PBF processed Mo–9Si–8B. Quantitative microstructure–property correlations reveal how controlled phase evolution enhances high‐temperature compressive strength and creep resistance.
Christopher Schmidt, Yong Chen, Georg Hasemann, Benjamin Wahlmann, Carolin Körner, Manja Krüger   +5 more
wiley   +1 more source

NEW EXPANSIONS OF BOOLEAN FUNCTIONS ON EXCLUSIVE OR OPERATION IN LOGICAL SYSTEMS DESIGN

Системный анализ и прикладная информатика, 2014
The Boolean function expansions and representation forms which are based on exclusive or operation are a key facility for design, test and diagnosis of digital systems and computer programs.
A. A. Prihozhy
doaj  

Investigating the Effect of Inclination Angle and the Influence of Scan Parameters on the Appearance and Thermal and Mechanical Properties of Filigree Tension Rods of LPBF‐Manufactured NiTi Shape‐Memory Alloys

Advanced Engineering Materials, EarlyView.
This article investigates the dependence of the properties on the manufacturing orientation in the form of the inclination angle to the build plate of LPBF‐fabricated NiTi rods with a diameter of 150–220 µm. Metallographic, chemical, thermal, and mechanical characterization show behavior under identical manufacturing conditions that ranges from ...
Sandra Herzig, Michael Werner, Christian Rotsch   +2 more
wiley   +1 more source

Planar Decision Diagrams for Multiple-Valued Functions [PDF]

, 1996
In VLSI, crossings of interconnect occupy space and cause delay. Therefore, there is significant benefit to planar circuits. We propose the use of planar multiple-valued decision diagrams for produce planar multiple-valued circuits.
Butler, Jon T., Sasao, Tsutomu
core   +2 more sources

A Library for Binary Decision Diagrams

, 2020
The aim of this thesis is to create an easy-to-use library that will provide the basic means for Boolean function manipulation based on six different variants of Binary Decision Diagrams - BDD, ZDD, CBDD, CZDD, TBDD, and ESRBDD.
Paulovčák, Martin
core   +1 more source

Functional Simulation using Binary Decision Diagrams

, 1997
In many verification techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams (BDDs) for functional simulation.
Rolf Drechsler, Christoph Scholl, Bernd Becker   +2 more
core  

Non‐Additive Criteria Assessment in Sustainability Evaluation of High Entropy Alloys: A Toxicity‐Weighted Framework

Advanced Engineering Materials, EarlyView.
Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic, Oladele A. Ogunseitan, Julie M. Schoenung   +2 more
wiley   +1 more source

Entropy‐Driven Design of Low‐Melting‐Point Alloys via Compositionally Complex Strategy

Advanced Engineering Materials, EarlyView.
Conventional low‐melting‐point alloys (LMPAs) are limited by a narrow compositional space and inherent property trade‐offs. This review presents an entropy‐driven design strategy that overcomes these limitations, ushering in a new class of low‐melting‐point compositionally complex alloys (LMCCAs).
Yinghui Shang, Jianxiang Zhao, Zhaoqi Chen, Hao Gong, Yinsen Yan, Junlei Tao, Yong Yang   +6 more
wiley   +1 more source

Gallium Microalloying in Bi–Sn Solders: Interfacial Phase Formation, Wettability, and Long‐Term Shear Reliability Under Isothermal Aging

Advanced Engineering Materials, EarlyView.
Gallium microalloying redirects interfacial reactions in low‐temperature Bi–Sn solders from Cu–Sn toward Cu–Ga intermetallic formation. The resulting Cu–Ga layer suppresses intermetallic growth during thermal aging, alters fracture pathways, and improves interfacial stability.
Iva Králová, Markéta Klimtová, Mohd Faizul Mohd Sabri, Yew Hoong Wong, Petr Veselý, Martin Plaček, Karel Dušek   +6 more
wiley   +1 more source