Explicit derivation of the relativistic mass-energy relation for internal kinetic and potential energies of a composite system

A straightforward derivation of relativistic expressions for the mechanical momentum, kinetic and total energies, and mass-energy equivalence (including potential energy) which does not require any knowledge of the energy-momentum relation for electromagnetic waves or consideration of elastic collisions, but is directly based on Newton's second law and Lorentz's transformations, is presented in this paper. The existence of an invariant force is shown to be important for the validity of the relativistic mechanics.

A windows program for the derivation of steady-state equations in enzyme systems

Despite the number of computer-assisted methods described for the derivation of steady-state equations of enzyme systems, most of them are focused on strict steady-state conditions or are not able to solve complex reaction mechanisms. Moreover, many of them are based on computer programs that are either not readily available or have limitations. We present here a computer program called WinStes, which derives equations for both strict steady-state systems and those with the assumption of rapid equilibrium, for branched or unbranched mechanisms, containing both reversible and irreversible conversion steps. It solves reaction mechanisms involving up to 255 enzyme species, connected by up to 255 conversion steps. The program provides all the advantages of the Windows programs, such as a user-friendly graphical interface, and has a short computation time. WinStes is available free of charge on request from the authors. (c) 2006 Elsevier Inc. All rights reserved.

Quantitative scattering of melanin solutions

The optical scattering coefficient of a dilute, well-solubilized eumelanin solution has been accurately measured as a function of incident wavelength, and found to contribute < 6% of the total optical attenuation between 210 and 325 nm. At longer wavelengths (325-800 nm), the scattering was less than the minimum sensitivity of our instrument. This indicates that ultraviolet and visible optical density spectra can be interpreted as true absorption with a high degree of confidence. The scattering coefficient versus wavelength was found to be consistent with Rayleigh theory for a particle radius of 38 6 1 nm. Our results shed important light on the role of melanins as photoprotectants.

Hydrogen generation from liquid phase catalytic reforming of sugar solutions using metal-supported catalysts

Most of the hydrogen production processes are designed for large-scale industrial uses and are not suitable for a compact hydrogen device to be used in systems like solid polymer fuel cells. Integrating the reaction step, the gas purification and the heat supply can lead to small-scale hydrogen production systems. The aim of this research is to study the influence of several reaction parameters on hydrogen production using liquid phase reforming of sugar solution over Pt, Pd, and Ni supported on nanostructured supports. It was found that the desired catalytic pathway for H-2 production involves cleavage of C-C, C-H and O-H bonds that adsorb on the catalyst surface. Thus a good catalyst for production of H2 by liquid-phase reforming must facilitate C-C bond cleavage and promote removal of adsorbed CO species by the water-gas shift reaction, but the catalyst must not facilitate C-O bond cleavage and hydrogenation of CO or CO2. Apart from studying various catalysts, a commercial Pt/gamma-alumina catalyst was used to study the effect of temperature at three different temperatures of 458, 473 and 493 K. Some of the spent catalysts were characterised using TGA, SEM and XRD to study coke deposition. The amorphous and organised form of coke was found on the surface of the catalyst. (C) 2006 International Association for Hydrogen Energy. Published by Elsevier Ltd. All rights reserved.

Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.