Propositional directed acyclic graph — A propositional directed acyclic graph (PDAG) is a data structure that is used to represent a Boolean function. A Boolean function can be represented as a rooted, directed acyclic graph of the following form: * Leaves are labeled with op (true),… … Wikipedia
Methanol-Reformer — Ein Methanol Reformer ist eine Vorrichtung der Chemietechnik, die in der Brennstoffzellentechnik verwendet wird, um aus einem Methanol Wasser Gemisch unter Freisetzung von Kohlendioxid reinen Wasserstoff zu erzeugen. Als chemische Reaktion liegt… … Deutsch Wikipedia
Methanol reformer — A methanol refomer is a device used in chemical engineering, especially in the area of fuel cell technology, which can produce pure hydrogen gas and carbon dioxide by reacting a methanol and water (steam) mixture. Methanol is transformed into… … Wikipedia
Binary decision diagram — In the field of computer science, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph (PDAG), is a data structure that is used to represent a Boolean function. On a… … Wikipedia
Boolean function — In mathematics, a (finitary) Boolean function is a function of the form f : B k rarr; B, where B = {0, 1} is a Boolean domain and k is a nonnegative integer called the arity of the function. In the case where k = 0, the function is essentially a… … Wikipedia
Wasserstoffherstellung — Mit Wasserstoffherstellung wird die Bereitstellung von molekularem Wasserstoff (H2) bezeichnet. Als Rohstoffe können Erdgas (vor allem Methan (CH4)), Kohlenwasserstoffe, Biomasse, Wasser (H2O) und andere wasserstoffhaltige Verbindungen eingesetzt … Deutsch Wikipedia