Abstract: Methods for converting a carbon-containing feedstock into a fluid transportation fuel are described. The methods may include converting the carbon-containing feedstock into a producer gas comprising H2, CO, CO2, and N2, and reacting the producer gas with a substrate catalyst to produce a combination of Fischer-Tropsch (F-T) products, the F-T products including the fluid transportation fuel. A portion of the F-T products may be catalytically cracked to produce additional amounts of the fluid transportation fuel. A portion of the F-T products may also be hydrogenated to produce additional amounts of the fluid transportation fuel. Apparatuses are also described for converting a carbon-containing feedstock into a fluid transportation fuel. The apparatuses may include a producer gas reactor, a Fischer-Tropsch reactor, a cracking reactor, and a hydrogenation reactor.

Abstract: Disclosed in the application include systems and processes for producing a liquid transportation fuel product using a carbon-containing feedstock. Also disclosed include catalysts that can be used in the systems and the processes, and processes of making the catalysts.

Abstract: Disclosed in the application include systems and processes for producing a liquid transportation fuel product using a carbon-containing feedstock.

Abstract: Methods for converting a carbon-containing feedstock into a fluid transportation fuel are described. The methods may include converting the carbon-containing feedstock into a producer gas comprising H2, CO, CO2, and N2, and reacting the producer gas with a substrate catalyst to produce a combination of Fischer-Tropsch (F-T) products, the F-T products including the fluid transportation fuel. A portion of the F-T products may be catalytically cracked to produce additional amounts of the fluid transportation fuel. A portion of the F-T products may also be hydrogenated to produce additional amounts of the fluid transportation fuel. Apparatuses are also described for converting a carbon-containing feedstock into a fluid transportation fuel. The apparatuses may include a producer gas reactor, a Fischer-Tropsch reactor, a cracking reactor, and a hydrogenation reactor.

Abstract: Methods for converting a carbon-containing feedstock into a fluid transportation fuel are described. The methods may include converting the carbon-containing feedstock into a producer gas comprising H2, CO, CO2, and N2, and reacting the producer gas with a substrate catalyst to produce a combination of Fischer-Tropsch (F-T) products, the F-T products including the fluid transportation fuel. A portion of the F-T products may be catalytically cracked to produce additional amounts of the fluid transportation fuel. A portion of the F-T products may also be hydrogenated to produce additional amounts of the fluid transportation fuel. Apparatuses are also described or converting a carbon-containing feedstock into a fluid transportation fuel. The apparatuses may include a producer gas reactor, a Fischer-Tropsch reactor, a cracking reactor, and a hydrogenation reactor.

Abstract: Methods for converting a carbon-containing feedstock into a fluid transportation fuel are described. The methods may include converting the carbon-containing feedstock into a producer gas comprising H2, CO, CO2, and N2, and reacting the producer gas with a substrate catalyst to produce a combination of Fischer-Tropsch (F-T) products, the F-T products including the fluid transportation fuel. A portion of the F-T products may be catalytically cracked to produce additional amounts of the fluid transportation fuel. A portion of the F-T products may also be hydrogenated to produce additional amounts of the fluid transportation fuel. Apparatuses are also described or converting a carbon-containing feedstock into a fluid transportation fuel. The apparatuses may include a producer gas reactor, a Fischer-Tropsch reactor, a cracking reactor, and a hydrogenation reactor.

Abstract: A rules-based system makes use of a specification that is similar to those used in earlier systems, such as in OPS5, but does not require the computational complexity of implementations such as Rete. In some such implementations, matching of the applicable rules given a set of facts is simplified by providing preallocated storage locations for the Boolean values of the condition elements for each rule. The Boolean values are set by direct processing of each of the facts. These preallocated storage locations are arranged to allow efficient evaluation of the overall condition of each of the rules in a manner that is significantly more efficient than implementations of earlier rule-based systems.