The design and optimization of a natural gas to hydrocarbon liquids (GTL) process is considered, mainly from the view of maximizing the variable income during operation. Autothermal reforming (ATR) is used for synthesis gas production. The kinetic model for Fischer Tropsch (FT) reactions is the one given by Iglesia et al. for a cobalt-based FT reactor. For the product distribution, three altern...

We present a new temporal logic, GTL, appropriate for specifying properties of hardware at the register transfer level. We argue that this logic represents an improvement over model checking for some natural hardware veriication problems. We show that the validity problem for this logic is 1 1 complete. We then identify a fragment of the logic that is decidable. We show that in this fragment we...

Abstract The Method of Lines in combination with impedance/admittance and field transformation is used to analyze electromagnetic waves. cases are waveguiding structures microwave technology optics. core the theory solution generalized transmission line equations (GTL). In case complex structures, a finite differences (FD) can be used. quality this essentially depends on effectiveness interpola...

Converting remote natural gas to liquid fuel is one possible solution to the problem of transporting remote gas to the energy market. However, the high investment cost of gas-to-liquid (GTL) plants prevents large scale exploitation of remote gas reserves. A lean GTL is suggested based on an autothermal reformer with enriched air as oxidant and a once-through Fischer-Tropsch synthesis. In order ...

There is a proliferation of geometric algorithms and data types with no existing mechanism to unify geometric programming in C++. The geometry template library (GTL) provides geometry concepts and concept mapping through traits as well as algorithms parameterized by conceptual geometric data type to provide a unified library of fundamental geometric algorithms that is interoperable with existin...

Mammalian cytochrome c oxidase (COX) is composed of three catalytic, on mitochondrial DNA encoded subunits, and ten nuclear encoded subunits, which have been ascribed a regulatory function (1). At least three nuclear encoded subunits occur in tissue-specific isoforms (Via, Vila and VIE). The liverand hearttype cDNA has been described for rat subunit Via (2) and bovine subunit Vm (3). The liver-...

a value chain is a series of events that takes a raw material and with each step adds value to it. global interest in the application of natural gas (ng) in production and transportation has grown dramatically, representing a long-term, low-cost, domestic, and secure alternative to petroleum-based fuels. many technological solutions are currently considered on the market or in development, whic...