The prediction and representation of phase equilibria and physicochemical properties in complex slag systems

The development of new experimental techniques for the determination of phase equilibria in complex slag systems, chemical thermodynamic, and viscosity models is reported. The new experimental data, and new thermodynamic and viscosity models, have been combined in a custom-designed computer software package to produce limiting operability diagrams for slag systems. These diagrams are used to describe phase equilibria and physicochemical properties in complex slag systems. The approach is illustrated with calculations on the system FeO-Fe2O3-CaO-SiO-Al2O3 at metallic iron saturation, slags produced in coal slagging gasifiers, and in the reprocessing of nonferrous smelting slags. This article was presented at the Mills Symposium Molten Metals, Slags and Glasses-Characterisation of Properties and Phenomena held in London in August 2000.

Freeform fabrication of functional aluminium prototypes using powder metallurgy

Freeform fabrication methods allow the direct formation of parts built layer by layer, under the control of a CAD drawing. Most of these methods form parts in thermoplastic or thermoset polymers, but there would be many applications for freeform fabrication of fully functional metal or ceramic parts. We describe here the freeforming of sinterable aluminium alloys. In addition, the building approach allows different materials to be positioned within a monolithic part for an optimal combination of properties. This is illustrated here with the formation of an aluminium gear with a metal-matrix composite wear surface. (C) 1999 Kluwer Academic Publishers.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Dynamic binary translation using run-time feedbacks

Dynamic binary translation is the process of translating, modifying and rewriting executable (binary) code from one machine to another at run-time. This process of low-level re-engineering consists of a reverse engineering phase followed by a forward engineering phase. UQDBT, the University of Queensland Dynamic Binary Translator, is a machine-adaptable translator. Adaptability is provided through the specification of properties of machines and their instruction sets, allowing the support of different pairs of source and target machines. Most binary translators are closely bound to a pair of machines, making analyses and code hard to reuse. Like most virtual machines, UQDBT performs generic optimizations that apply to a variety of machines. Frequently executed code is translated to native code by the use of edge weight instrumentation, which makes UQDBT converge more quickly than systems based on instruction speculation. In this paper, we describe the architecture and run-time feedback optimizations performed by the UQDBT system, and provide results obtained in the x86 and SPARC® platforms.

Inorganic nanoparticles as carriers for efficient cellular delivery

Cellular delivery involving the transfer of various drugs and bio-active molecules (peptides, proteins and DNAs, etc.) through the cell membrane into cells has attracted increasing attention because of its importance in medicine and drug delivery. This topic has been extensively reviewed. The direct delivery of drugs and biomolecules, however, is generally inefficient and suffering from problems such as enzymic degradation of DNAs. Therefore, searching for efficient and safe transport vehicles (carriers) to delivery genes or drugs into cells has been challenging yet exciting area of research. In past decades, many carriers have been developed and investigated extensively which can be generally classified into four major groups: viral carriers, organic cationic compounds, recombinant protiens and inorganic nanoparticles. Many inorganic materials, such as calcium phosphate, gold, carbon materials, silicon oxide, iron oxide and layered double hydroxide (LDH), have been studied. Inorganic nanoparticles show low toxicity and promise for controlled delivery properties, thus presenting a new alternative to viral carriers and cationic carriers. Inorganic nanoparticles generally possess versatile properties suitable for cellular delivery, including wide availability, rich functionality, good biocompatibility, potential capability of targeted delivery (e.g. selectively destroying cancer cells but sparing normal tissues) and controlled release of carried drugs. This paper reviews the latest advances in inorganic nanoparticle applications as cellular delivery carriers and highlights some key issues in efficient cellular delivery using inorganic nanoparticles. Critical proper-ties of inorganic nanoparticles, surface functionalisation (modification), uptake of biomolecules, the driving forces for delivery, and release of biomolecules will be reviewed systematically. Selected examples of promising inorganic nanoparticle delivery systems, including gold, fullerences and carbon nanotubes, LDH and various oxide nanoparticles in particular their applications for gene delivery will be discussed. The fundamental understanding of properties of inorganic nanoparticles in relation to cellular delivery efficiency as the most paramount issue will be highlighted. (c) 2005 Elsevier Ltd. All rights reserved.

Forces from highly focused laser beams: Modeling, measurement and application to refractive index measurements

The optical forces in optical tweezers can be robustly modeled over a broad range of parameters using generalsed Lorenz–Mie theory. We describe the procedure, and show how the combination of experimental measurement of properties of the trap coupled with computational modeling, can allow unknown parameters of the particle—in this case, the refractive index—to be determined.

The importance of wet-powder dynamic mechanical properties in understanding granulation

Granule impact deformation has long been recognised as important in determining whether or not two colliding granules will coalesce. Work in the last 10 years has highlighted the fact that viscous effects are significant in granulation. The relative strengths of different formulations can vary with strain rate. Therefore, traditional strength measurements made at pseudo-static conditions give no indication, even qualitatively, of how materials will behave at high strain rates, and hence are actually misleading when used to model granule coalescence. This means that new standard methods need to be developed for determining the strain rates encountered by granules inside industrial equipment and also for measuring the mechanical properties of granules at these strain rates. The constitutive equations used in theoretical models of granule coalescence also need to be extended to include strain-rate dependent components.

Spectral properties of the tandem Jackson network, seen as a quasi-birth-and-death process

Quasi-birth-and-death (QBD) processes with infinite “phase spaces” can exhibit unusual and interesting behavior. One of the simplest examples of such a process is the two-node tandem Jackson network, with the “phase” giving the state of the first queue and the “level” giving the state of the second queue. In this paper, we undertake an extensive analysis of the properties of this QBD. In particular, we investigate the spectral properties of Neuts’s R-matrix and show that the decay rate of the stationary distribution of the “level” process is not always equal to the convergence norm of R. In fact, we show that we can obtain any decay rate from a certain range by controlling only the transition structure at level zero, which is independent of R. We also consider the sequence of tandem queues that is constructed by restricting the waiting room of the first queue to some finite capacity, and then allowing this capacity to increase to infinity. We show that the decay rates for the finite truncations converge to a value, which is not necessarily the decay rate in the infinite waiting room case. Finally, we show that the probability that the process hits level n before level 0 given that it starts in level 1 decays at a rate which is not necessarily the same as the decay rate for the stationary distribution.

Ester prodrugs of a potent analgesic, morphine-6-sulfate: syntheses, spectroscopic and physicochemical properties

The aim of this work is to develop 3-acyl prodrugs of the potent analgesic morphine-6-sulfate (M6S). These are expected to have higher potency and/or exhibit longer duration of analgesic action than the parent compound. M6S and the prodrugs were synthesized, then purified either by recrystallization or by semi-preparative HPLC and the structures confirmed by mass spectrometry, IR spectrophotometry and by detailed 1- and 2-D NMR studies. The lipophilicities of the compounds were assessed by a combination of shake-flask, group contribution and HPLC retention methods. The octanol-buffer partition coefficient could only be obtained directly for 3-heptanoylmorphine-6-sulfate, using the shake-flask method. The partition coefficients (P) for the remaining prodrugs were estimated from known methylene group contributions. A good linear relationship between log P and the HPLC log capacity factors was demonstrated. Hydrolysis of the 3-acetyl prodrug, as a representative of the group, was found to occur relatively slowly in buffers (pH range 6.15-8.01), with a small buffer catalysis contribution. The rates of enzymatic hydrolysis of the 3-acyl group in 10% rat blood and in 10% rat brain homogenate were investigated. The prodrugs followed apparent first order hydrolysis kinetics, with a significantly faster hydrolysis rate found in 10% rat brain homogenate than in 10% rat blood for all compounds. (C) 1998 Elsevier Science B.V. All rights reserved.

Effects of acidic treatments on the pore and surface properties of Ni catalyst supported on activated carbon

Activated carbon as catalyst support was treated with HCl, HNO3, and HF and the effects of acid treatments on the properties of the activated carbon support were studied by N-2 adsorption, mass titration, temperature-programmed desorption (TPD), and X-ray photoelectron spectrometry (XPS). Ni catalysts supported on untreated and treated activated carbons were prepared, characterized and tested for the reforming reaction of methane with carbon dioxide. It is found that acid treatment significantly changed the surface chemical properties and pore structure of the activated carbon. The surface area and pore volume of the carbon supports are generally enhanced upon acid treatment due to the removal of impurities present in the carbon. The adsorption capacity of Ni2+ on the carbon supports is also increased, and the increase can be closely correlated with the surface acidity. The impregnation of nickel salts decreases the surface area and pore volume of carbon supports both in micropores and mesopores. Acid treatment results in a more homogeneous distribution of the nickel salt in carbon. When the impregnated carbons are heated in inert atmosphere, there exists a redox reaction between nickel oxide and the carbon. Catalytic activity tests for methane reforming with carbon dioxide show that the activity of nickel catalysts based on the acid-treated carbon supports is closely related with the surface characteristics of catalysts. (C) 1998 Elsevier Science Ltd. All rights reserved.

Optical properties of metallic films for vertical-cavity optoelectronic devices

We present models for the optical functions of 11 metals used as mirrors and contacts in optoelectronic and optical devices: noble metals (Ag, Au, Cu), aluminum, beryllium, and transition metals (Cr, Ni, Pd, Pt, Ti, W). We used two simple phenomenological models, the Lorentz-Drude (LD) and the Brendel-Bormann (BB), to interpret both the free-electron and the interband parts of the dielectric response of metals in a wide spectral range from 0.1 to 6 eV. Our results show that the BE model was needed to describe appropriately the interband absorption in noble metals, while for Al, Be, and the transition metals both models exhibit good agreement with the experimental data. A comparison with measurements on surface normal structures confirmed that the reflectance and the phase change on reflection from semiconductor-metal interfaces (including the case of metallic multilayers) can be accurately described by use of the proposed models for the optical functions of metallic films and the matrix method for multilayer calculations. (C) 1998 Optical Society of America.