Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Comparative study of the radiation-induced grafting of styrene onto poly(tetrafluoroethylene-co-perfluoropropylvinyl ether) and polypropylene substrates. I: Kinetics and structural investigation

A comparative study has been made of the radiation grafting of styrene onto poly(tetrafluoroethylene-co-perfluoropropyl vinyl ether) (PFA) and polypropylene (PP) substrates, using the simultaneous irradiation method. Effects of grafting conditions such as monomer concentrations, type of solvent, dose rate and irradiation dose on the grafting yield were investigated. Under the same grafting conditions it was found that a higher degree of grafting of styrene was obtained using a mixture of dichloromethane/methanol solvents for PFA and methanol for PP and the degree of grafting was higher in PP than in PFA at all doses. However, the micro-Raman spectroscopy analysis of the graft revealed that, for the same degree of grafting, the penetration depth of the grafted polystyrene into the substrate was higher in PFA than in PP substrates. In both polymers the crystallinity was hardly affected by the grafting process and the degree of crystallinity decreased slightly with grafting dose. The dependence of the initial rate of grafting on the dose rate and the monomer concentration was found to be 0.6 and 1.4 order for PFA and 0.15 and 2.2 for PP, respectively. The degree of grafting increased with increasing radiation dose in both polymers. However, the grafting yield decreased with an increase in the dose rate. The increase in the overall grafting yield for PFA and PP was accompanied by a proportional increase in the penetration depth of the graft into the substrates. (C) 2003 Society of Chemical Industry.

Structural variations and formation constants of first-row transition metal complexes of biologically active aroylhydrazones

Iron chelators of the 2-pyridinecarbaldehyde isonicotinoylhydrazone (HPCIH) class show high potential for the treatment of iron overload diseases. In the present study, selected first-row transition metal (from Mn to Zn) complexes with HPCIH and 2-pyridinecarbaldehyde (4'-aminobenzoyl)hydrazone (HPCAH) were synthesised and characterised. Crystallography reveals that HPCAH exclusively forms bis complexes with divalent transition metals, with each ligand coordinating meridionally through its pyridine-N, imine-N and carbonyl-O atoms, forming distorted octahedral cis-MN4O2 complexes. Complexes of HPCIH were more varied and unpredictable, with metal/ligand ratios of 1:1, 1:2, 2:2 and 3:2 obtained with different metal ions. The isonicotinoyl ring N-atom in HPCIH was found to be an effective ligand, and this resulted in the varied metal/ligand ratios observed. The formation constants of divalent metal complexes with HPCIH were determined by potentiometric titrations and the values obtained were consistent with similar tridentate ligands and with the Irving-Williams order. ((C) Wiley-VCH Verlag GmbH & Co. KGaA, 69451 Weinheim, Germany, 2003).

Structural definition of the low-temperature phase transition of tris(ethane-1,2-diamine)zinc(II) dinitrate

The 93 K X-ray crystal structure of tris(ethane-1,2-diamine)zinc(II) dinitrate is reported. As predicted by the spectroscopic studies of other workers, there is a reversible phase transition of the structure at low temperature. We have determined this temperature to be 143 K. The structure at this temperature and below resembles that of the room temperature structure, except the crystallographic D-3 symmetry of the complex cation (296 K) is lowered to C-2 ( below 144 K) by subtle changes in cation-anion hydrogen bonding. No change in the conformation of the cation or its bond lengths and angles was found.

Osteoblast, fibroblast and in vivo biological response to poly(vinylidene fluoride) based composite materials

Electroactivematerials can be taken to advantage for the development of sensors and actuators as well as for novel tissue engineering strategies. Composites based on poly(vinylidenefluoride),PVDF,have been evaluated with respect to their biological response. Cell viability and proliferation were performed in vitro both with Mesenchymal Stem Cells differentiated to osteoblasts and Human Fibroblast Foreskin 1. In vivo tests were also performed using 6-week-old C57Bl/6 mice. It was concluded that zeolite and clay composites are biocompatible materials promoting cell response and not showing in vivo pro-inflammatory effects which renders both of them attractive for biological applications and tissue engineering, opening interesting perspectives to development of scaffolds from these composites. Ferrite and silver nanoparticle composites decrease osteoblast cell viability and carbon nanotubes decrease fibroblast viability. Further, carbon nanotube composites result in a significant increase in local vascularization accompanied an increase of inflammatory markers after implantation.

Integrating environmental and economic life cycle analysis in product development: a material selection case study

Purpose Achieving sustainability by rethinking products, services and strategies is an enormous challenge currently laid upon the economic sector, in which materials selection plays a critical role. In this context, the present work describes an environmental and economic life cycle analysis of a structural product, comparing two possible material alternatives. The product chosen is a storage tank, presently manufactured in stainless steel (SST) or in a glass fibre reinforced polymer composite (CST). The overall goal of the study is to identify environmental and economic strong and weak points related to the life cycle of the two material alternatives. The consequential win-win or trade-off situations will be identified via a Life Cycle Assessment/Life Cycle Costing (LCA/LCC) integrated model. Methods The LCA/LCC integrated model used consists in applying the LCA methodology to the product system, incorporating, in parallel, its results into the LCC study, namely those of the Life Cycle Inventory (LCI) and the Life Cycle Impact Assessment (LCIA). Results In both the SST and CST systems the most significant life cycle phase is the raw materials production, in which the most significant environmental burdens correspond to the Fossil fuels and Respiratory inorganics categories. The LCA/LCC integrated analysis shows that the CST has globally a preferable environmental and economic profile, as its impacts are lower than those of the SST in all life cycle stages. Both the internal and external costs are lower, the former resulting mainly from the composite material being significantly less expensive than stainless steel. This therefore represents a full win-win situation. As a consequence, the study clearly indicates that using a thermoset composite material to manufacture storage tanks is environmentally and economically desirable. However, it was also evident that the environmental performance of the CST could be improved by altering its End-of-Life stage. Conclusions The results of the present work provide enlightening insights into the synergies between the environmental and the economic performance of a structural product made with alternative materials. Further, they provide conclusive evidence to support the integration of environmental and economic life cycle analysis in the product development processes of a manufacturing company, or in some cases even in its procurement practices.

The quest for a sustainable product: An environmental study of tyre recyclates

The main objective of the present study is to assess the environmental advantages of substituting aluminium for a polymer composite in the manufacture of a structural product (a frame to be used as a support for solar panels). The composite was made of polypropylene and a recycled tyres’ rubber granulate. Analysis of different composite formulations was performed, to assess the variation of the environmental impact with the percentage of rubber granulate incorporation. The results demonstrate that the decision on which of the two systems (aluminium or composite) has the best life cycle performance is strongly dependent on the End-of Life (EoL) stage of the composite frame. When the EoL is deposition in a landfill, the aluminium frame performs globally better than its composite counterpart. However, when it is incineration with energy recovery or recycling, the composite frame is environmentally preferable. The raw material production stage was found to be responsible for most of the impacts in the two frame systems. In that context, it was shown that various benefits can accrue in several environmental impact categories by recycling rubber tyres and using the resulting materials. This is in a significant part also due to the recycling of the steel in the tyres. The present work illustrates how it is possible to minimize the overall environmental impact of consumer products through the adequate selection of their constitutive materials in the design stage. Additionally it demonstrates how an adequate EoL planning can be an important issue when developing a sustainable product, since it can highly influence its overall life cycle performance.

Critical behavior of a three-dimensional hardcore-cylinder composite system

In this work the critical indices β, γ , and ν for a three-dimensional (3D) hardcore cylinder composite system with short-range interaction have been obtained. In contrast to the 2D stick system and the 3D hardcore cylinder system, the determined critical exponents do not belong to the same universality class as the lattice percolation,although they obey the common hyperscaling relation for a 3D system. It is observed that the value of the correlation length exponent is compatible with the predictions of the mean field theory. It is also shown that, by using the Alexander-Orbach conjuncture, the relation between the conductivity and the correlation length critical exponents has a typical value for a 3D lattice system.

Composite synthetic hydroxyapatite 30%, in two physical states, as dermal filler

The aim of this study was to evaluate the response to the implantation of synthetic hydroxyapatite 30% (HAP-91®) in different physical states as dermal filler. Eighteen New Zealand rabbits were used, distributed randomly into two equal groups and then divided into three groups according to the postoperative period at 8, 21 and 49 days. One mL of HAP-91®, fluid and viscous, was implanted in the subcutaneous tissue, 1 cm proximal to the cranial crest of the right scapula. The thickness of the skin was measured before and after implantation and for the following 15 days. Pain sensitivity assessment was conducted, assigning the following scores: 0 - when the animal allowed the touch of the implant area and expressed no signs of pain; 1 - when the animal allowed the touch, but pain reaction occurred, like increase of the respiratory rate or attempt to escape; 2 - when the animal did not allow the touch to the implanted area. At 8, 21 and 49 days, biopsy of the implanted area was performed. No difference was observed between the thickness of the skin (p>0.05) and all animals received a score 0 for soreness. Histological analysis did not reveal any obvious inflammatory process, showing a predominance of mononuclear cells in samples of eight days and tissue organization around the biomaterial with a tendency to encapsulation. The results indicate that HAP-91®, both viscous and fluid, is biocompatible and suitable for dermal filling.

Modification of MOR by desilication treatments: Structural, textural and acidic characterization

The effect of several desilication experimental parameters (base concentration, temperature and time) on the characteristics of MOR zeolite was studied. The samples were characterized by X-ray diffraction, Al-27 and Si-29 MAS-NMR, chemical analysis, and FTIR (framework vibration region). The textural characterization was made by N-2 adsorption and the acidity was evaluated by pyridine adsorption followed by FTIR and by the catalytic model reaction of n-heptane cracking. The alkaline treatments promoted the Si extraction from the zeolite framework, without considerable loss of crystallinity and, as it was envisaged, an important increase of the mesoporous structure was attained. A linear correlation between the number of framework Si per unit cell. N-Si and the asymmetric stretching wavenumber, nu(i), was observed. The acidity characterization shows that the desilicated samples exhibit practically the same acid properties than the parent HMOR zeolite. The optimum desilication conditions were those used to obtain sample M/0.2/85/2, i.e., sample treated with 0.2 M NaOH solution at 85 degrees C for 2 h.

Thick dyke emplacement and internal flow: A structural and magnetic fabric study of the deep-seated dolerite dyke of Foum Zguid (southern Morocco)

Knowledge on forced magma injection and magma flow in dykes is crucial for the understanding of how magmas migrate through the crust to the Earth's surface. Because many questions still persist, we used the long, thick, and deep-seated Foum Zguid dyke (Morocco) to investigate dyke emplacement and internal flow by means of magnetic methods, structural analysis, petrography, and scanning electron microscopy. We also investigated how the host rocks accommodated the intrusion. Regarding internal flow: 1. Important variations of the rock magnetic properties and magnetic fabric occur with distance from dyke wall; 2. anisotropy of anhysteretic remanent magnetization reveals that anisotropy of magnetic susceptibility (AMS) results mainly from the superposition of subfabrics with distinct coercivities and that the imbrication between magnetic foliation and dyke plane is more reliable to deduce flow than the orientation of the AMS maximum principal axis; and 3. a dominant upward flow near the margins can be inferred. The magnetic fabric closest to the dyke wall likely records magma flow best due to fast cooling, whereas in the core the magnetic properties have been affected by high-temperature exsolution and metasomatic effects due to slow cooling. Regarding dyke emplacement, this study shows that the thick forceful intrusion induced deformation by homogeneous flattening and/or folding of the host sedimentary strata. Dewatering related to heat, as recorded by thick quartz veins bordering the dyke in some localities, may have also helped accommodating dyke intrusion. The spatial arrangement of quartz veins and their geometrical relationship with the dyke indicate a preintrusive to synintrusive sinistral component of strike slip.

CVD of CrO2 thin films: Influence of the deposition parameters on their structural and magnetic properties

This work reports on the synthesis of CrO2 thin films by atmospheric pressure CVD using chromium trioxide (CrO3) and oxygen. Highly oriented (100) CrO2 films containing highly oriented (0001) Cr2O3 were grown onto Al2O3(0001) substrates. Films display a sharp magnetic transition at 375 K and a saturation magnetization of 1.92 mu(B)/f.u., close to the bulk value of 2 mu(B)/f.u. for the CrO2.

Morphological and structural characterization of CrO2/Cr2O3 films grown by laser-CVD

This work reports on the synthesis of chromium (III, IV) oxides films by KrF laser-assisted CVD. Films were deposited onto sapphire substrates at room temperature by the photodissociation of Cr(CO)(6) in dynamic atmospheres containing oxygen and argon. A study of the processing parameters has shown that partial pressure ratio Of O-2 to Cr(CO)(6) and laser fluence are the prominent parameters that have to be accurately controlled in order to co-deposit both the crystalline oxide phases. Films consistent with such a two-phase system were synthesised for a laser fluence of 75 mJ cm(-2) and a partial pressure ratio of about 1. (c) 2005 Elsevier B.V. All rights reserved.

Structural and Microanalytical Studies of CrO2 Thin Films on c-Sapphire by High Resolution Electron Microscopy Methods

Chromium dioxide (CrO2) has been extensively used in the magnetic recording industry. However, it is its ferromagnetic half-metallic nature that has more recently attracted much attention, primarily for the development of spintronic devices. CrO2 is the only stoichiometric binary oxide theoretically predicted to be fully spin polarized at the Fermi level. It presents a Curie temperature of ∼ 396 K, i.e. well above room temperature, and a magnetic moment of 2 mB per formula unit. However an antiferromagnetic native insulating layer of Cr2O3 is always present on the CrO2 surface which enhances the CrO2 magnetoresistance and might be used as a barrier in magnetic tunnel junctions.