Results 71 to 80 of about 50,489 (260)

Optimization Bounds from Binary Decision Diagrams

INFORMS Journal on Computing, 2014
We explore the idea of obtaining bounds on the value of an optimization problem from a discrete relaxation based on binary decision diagrams (BDDs). We show how to construct a BDD that represents a relaxation of a 0-1 optimization problem, and how to obtain a bound for a separable objective function by solving a shortest (or longest) path problem in ...
David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker   +3 more
openaire   +2 more sources

Additive Gaussian Process Regression for Predictive Design of High‐Performance, Printable Silicones

Advanced Engineering Materials, EarlyView.
A chemistry‐aware design framework for tuning printable polydimethylsiloxane (PDMS) for vat photopolymerization (VPP) is developed using additive Gaussian process (GP) modeling. Polymer network mechanics informs variable groupings, feasible formulation constraints, and interaction variables.
Roxana Carbonell, Martha Leach, Hongtao Song, Carolyn Seepersad   +3 more
wiley   +1 more source

Binary Decision Diagrams as a HOL derived rule [PDF]

The Computer Journal, 1994
Binary Decision Diagrams (BDDs) are a representation for Boolean formulas which makes many operations, in particular tautology - checking, surprisingly efficient in important practical cases. In contrast to such custom decision procedures, the HOL theorem prover expands all proofs out to a sequence of extremely simple primitive inferences.
openaire   +1 more source

Combined Process‐ and Phase‐Field‐Simulation to Predict the Microstructure of Single‐Crystal Ni‐Based Superalloys

Advanced Engineering Materials, EarlyView.
A combined finite element and phase‐field approach predicts the evolution of microstructure during the directional solidification of Ni‐based superalloys. The model reveals how withdrawal rate, temperature gradient, and wall thickness control the dendrite spacing, highlighting the strong effect of surface regions in thin sections where dendrite growth ...
Sean Böhm, André B. Baldissera, Rainer Völkl, Uwe Glatzel   +3 more
wiley   +1 more source

Low‐Angle Grain Boundaries and Re‐Segregation in Single‐Crystalline Ni‐Base Superalloys

Advanced Engineering Materials, EarlyView.
This work demonstrates that Re‐segregation at low‐angle grain boundaries (LAGBs) in Ni‐base superalloys is influenced by misorientation angle. Advanced microscopy and atom probe tomography reveal that higher misorientation angles increases Re‐segregation.
Alireza B. Parsa, Aparna Saksena, Alesander Kostka, Pascal Thome, Felicitas Scholz, Alexandre Mussi, Christoph Somsen, Baptiste Gault, Jan Frenzel, Gunther Eggeler   +9 more
wiley   +1 more source

Truth tables to binary decision diagrams [PDF]

, 2020
Model transformation tools have reached a considerable level of maturity in the core features, and are currently developing in many directions. Some tools are focusing on providing higher performance for large models or complex transformations. Others focus on bidirectionality, visualisation, traceability, or verifiability, among other research ...
Antonio García-Domínguez, Georg Hinkel
openaire   +1 more source

Power analysis-resistant based on NCL path balance

Tongxin xuebao, 2013
Because of the insufficient research on the essence and the design technique of the path balance structure, the experience of the designer is severely relied on, so it can't be applied in kinds of automatization synthesis techniques.
Fang LUO, Qing-yu OU, Xiao-ping WU
doaj   +2 more sources

Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram

IEEE Access
The precise generation of train control curves for the on-board Automatic Train Protection (ATP) of the Chinese Train Control System Level 2 (CTCS-2) relies significantly on accurate train control engineering data, which serves as a critical element in ...
Hao Zhang, Qing Xu, Ke Ye
doaj   +1 more source

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

EMPLOYING COMPLEXITY ESTIMATES OF BINARY DECISION DIAGRAMS IN THE SYNTHESIS OF LOGICAL CIRCUITS

Informatika, 2016
A formula is suggested to evaluate the area of a logical circuit that is built in a given library of logical elements according to the BDD (Binary Decision Diagram) representation of a system of Boolean functions. The experimental results of synthesis of
N. A. Avdeev, P. N. Bibilo
doaj