Formal network behaviour analysis using model checking

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

Gene therapy: Principles, practice, problems and prospects

The remarkable advances made in recombinant DNA technology over the last two decades have paved way for the use of gene transfer to treat human diseases. Several protocols have been developed for the introduction and expression of genes in humans, but the clinical efficacy has not been conclusively demonstrated in any of them. The eventual success of gene therapy for genetic and acquired disorders depends on the development of better gene transfer vectors for sustained, long term expression of foreign genes as well as a better understanding of the pathophysiology of human diseases, it is heartening to note that some of the gene therapy protocols have found other applications such as the genetic immunization or DNA vaccines, which is being heralded as the third vaccine revolution, Gene therapy is yet to become a dream come true, but the light is seen at the end of the tunnel.

Antipredator behaviour of Baltic planktivores

Predation is an important source of mortality for most aquatic animals. Thus, the ability to avoid being eaten brings substantial fitness benefits to individuals. Predator detection abilities and antipredator behaviour were examined in various planktivores, i.e. the littoral mysids Neomysis integer and Praunus flexuosus, three-spined stickleback Gasterosteus aculeatus larvae, pelagic mysids Mysis mixta and M. relicta, and the predatory cladoceran Cercopagis pengoi, with cues from their respective predators European perch Perca fluviatilis and Baltic herring Clupea harengus membras. The use of different aquatic macrophytes as predation refuges by the littoral planktivores was also examined. All pelagic planktivores and stickleback larvae were able to detect the presence of their predator by chemical cues alone. The littoral mysids N. integer and P. flexuosus responded only when chemical and visual predator cues were combined. The responses of stickleback larvae were stronger to the combined cues than the chemical cue alone. A common antipredator behaviour in all of the planktivores studied was decreased ingestion rate in response to predator cues. N. integer and stickleback larvae also decreased their swimming activity. Pelagic mysids and C. pengoi altered their prey selectivity patterns in response to predator cues. The effects of predator cues on the swarming behaviour of N. integer were examined. Swarming brings clear antipredator advantages to N. integer, since when they feed in a swarm, they do not significantly decrease their feeding rate. However, the swarming behaviour of N. integer was not affected by predation risk, but was instead a fixed strategy. Despite the presence or absence of predator cues, N. integer individuals attempted to associate with a swarm and preferred larger to smaller swarms. In studies with aquatic macrophytes, stickleback larvae and P. flexuosus utilized vegetation as a predation refuge, spending more time within vegetation when under predation threat. The two macroalgal species studied, bladderwrack Fucus vesiculosus and stonewort Chara tomentosa, were preferred by P. flexuosus, whereas Eurasian watermilfoil Myriophyllum spicatum was strongly avoided by N. integer and stickleback larvae. In fact, when in dense patches in aquaria, M. spicatum caused acute and high mortality (> 70%) in littoral mysids, but not in sticklebacks, whereas C. tomentosa and northern watermilfoil M. sibiricum did not. In contrast, only 2-4% mortality in N. integer was observed with intact and broken stems of M. spicatum in field experiments. The distribution of littoral mysids in different vegetations, however, suggests that N. integer avoids areas vegetated by M. spicatum.

In vitro demonstration of the heavy-atom effect for photodynamic therapy

Photodynamic therapy (PDT) is an emerging treatment modality for a range of disease classes, both cancerous and noncancerous. This has brought about an active pursuit of new PDT agents that can be optimized for the unique set of photophysical characteristics that are required for a successful clinical agent. We now describe a totally new class of PDT agent, the BF2-chelated 3,5-diaryl-1H-pyrrol-2-yl-3,5-diarylpyrrol-2-ylideneamines (tetraarylazadipyrromethenes). Optimized synthetic procedures have been developed to facilitate the generation of an array of specifically substituted derivatives to demonstrate how control of key therapeutic parameters such as wavelength of maximum absorbance and singlet-oxygen generation can be achieved. Photosensitizer absorption maxima can be varied within the body's therapeutic window between 650 and 700 nm, with high extinction coefficients ranging from 75,000 to 85,000 M(-1) cm(-1). Photosensitizer singlet-oxygen generation level was modulated by the exploitation of the heavy-atom effect. An array of photosensitizers with and without bromine atom substituents gave rise to a series of compounds with varying singlet-oxygen generation profiles. X-ray structural evidence indicates that the substitution of the bromine atoms has not caused a planarity distortion of the photosensitizer. Comparative singlet-oxygen production levels of each photosensitizer versus two standards demonstrated a modulating effect on singlet-oxygen generation depending upon substituent patterns about the photosensitizer. Confocal laser scanning microscopy imaging of 18a in HeLa cervical carcinoma cells proved that the photosensitizer was exclusively localized to the cellular cytoplasm. In vitro light-induced toxicity assays in HeLa cervical carcinoma and MRC5-SV40 transformed fibroblast cancer cell lines confirmed that the heavy-atom effect is viable in a live cellular system and that it can be exploited to modulate assay efficacy. Direct comparison of the efficacy of the photosensitizers 18b and 19b, which only differ in molecular structure by the presence of two bromine atoms, illustrated an increase in efficacy of more than a 1000-fold in both cell lines. All photosensitizers have very low to nondeterminable dark toxicity in our assay system.

Atomistic investigation into the mechanical behaviour of crystalline and amorphous TiO2 nanotubes

Titanium dioxide (TiO2) nanotubes are appealing to research communities due to their excellent functional properties. However, there is still a lack of understanding of their mechanical properties. In this work, we conduct molecular dynamics (MD) simulations to investigate the mechanical behaviour of rutile and amorphous TiO2 nanotubes. The results indicate that the rutile TiO2 nanotube has a much higher Young's modulus (∼800 GPa) than the amorphous one (∼400 GPa). Under tensile loading, rutile nanotubes fail in the form of brittle fracture but significant ductility (up to 30%) has been observed in amorphous nanotubes. This is attributed to a unique ‘repairing’ mechanism via bond reconstruction at under-coordinated sites as well as bond conversion at over-coordinated sites. In addition, it is observed that the fracture strength of rutile nanotubes is strongly dependent on their free surfaces. These findings are considered to be useful for development of TiO2 nanostructures with improved mechanical properties.

Behaviour of natural zeolites used for the treatment of simulated and actual coal seam gas water

Coal seam gas operations produce significant quantities of associated water which often require demineralization. Ion exchange with natural zeolites has been proposed as a possible approach. The interaction of natural zeolites with solutions of sodium chloride and sodium bicarbonate in addition to coal seam gas water is not clear. Hence, we investigated ion exchange kinetics, equilibrium, and column behaviour of an Australian natural zeolite. Kinetic tests suggested that the pseudo first order equation best simulated the data. Intraparticle diffusion was part of the rate limiting step and more than one diffusion process controlled the overall rate of sodium ion uptake. Using a constant mass of zeolite and variable concentration of either sodium chloride or sodium bicarbonate resulted in a convex isotherm which was fitted by a Langmuir model. However, using a variable mass of zeolite and constant concentration of sodium ions revealed that the exchange of sodium ions with the zeolite surface sites was in fact unfavourable. Sodium ion exchange from bicarbonate solutions (10.3 g Na/kg zeolite) was preferred relative to exchange from sodium chloride solutions (6.4 g Na/kg zeolite). The formation of calcium carbonate species was proposed to explain the observed behaviour. Column studies of coal seam gas water showed that natural zeolite had limited ability to reduce the concentration of sodium ions (loading 2.1 g Na/kg zeolite) with rapid breakthrough observed. It was concluded that natural zeolites may not be suitable for the removal of cations from coal seam gas water without improvement of their physical properties.

Study of fracture behaviour of bond coats on nickel superalloy by three-point bending of microbeams

A microbeam testing geometry is designed to study the variation in fracture toughness across a compositionally graded NiAl coating on a superalloy substrate. A bi-material analytical model of fracture is used to evaluate toughness by deconvoluting load-displacement data generated in a three-point bending test. It is shown that the surface layers of a diffusion bond coat can be much more brittle than the interior despite the fact that elastic modulus and hardness do not display significant variations. Such a gradient in toughness allows stable crack propagation in a test that would normally lead to unstable fracture in a homogeneous, brittle material. As the crack approaches the interface, plasticity due to the presence of Ni3Al leads to gross bending and crack bifurcation.

Co(II) and Cr(III) complexes of formate-formamide mixed ligands: synthesis, structures, single crystal-to-single crystal transformation and magnetic behaviour

Solvothermal treatment of an equimolar mixture of Co(NO3)(2)center dot 6H(2)O, HCONH2 and NaN3 in MeOH at 100 degrees C yielded a three-dimensional NaCl type network Co(HCOO)(2)(HCONH2)(2) center dot HCONH2 (1a) containing formamides in the pores of the structure. Solvated pink 1a undergoes single crystal-to-single crystal (SCSC) transformation at 215 degrees C to form the desolvated dark brown product Co(HCOO)(2)-( HCONH2)(2) (1b) with the retention of the original framework. Reversible single crystal-to-single crystal transformation of 1b (brown) to 1a (pink) in the presence of excess formamide was also established at room temperature. The coordination environment around Co(II) in both 1a and 1b is octahedral with a CoN2O4 coordination composition. A similar reaction replacing Co(II) by Cr(III) produced a heterometallic 3D extended network Na[Cr(HCOO)(4)(HCONH2)(2)]center dot 2H(2)O (2a) at 100 degrees C. An increase in reaction temperature to 150 degrees C produced a simple mononuclear complex Cr(HCOO)(3)(HCONH2)(3) center dot 3H(2)O (2b). Variable temperature magnetic studies revealed the presence of a canting phenomena in both 1a and 1b, and hysteresis loop in the field dependent magnetisation plot at 2 K whereas complex 2a is simply paramagnetic in nature.