Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

X-ray diffraction data of tibolone Delta(4) isomer (isotibolone)

Tibolone is used for hormone reposition of postmenopause women and isotibolone is considered the major degradation product of tibolone. Isotibolone can also be present in tibolone API raw materials due to some inadequate synthesis. Its presence is then necessary to be identified and quantified in the quality control of both API and drug products. In this work we present the indexing of an isotibolone X-ray diffraction pattern measured with synchrotron light (lambda=1.2407 angstrom) in the transmission mode. The characterization of the isotibolone sample by IR spectroscopy, elemental analysis, and thermal analysis are also presented. The isotibolone crystallographic data are a=6.8066 angstrom, b=20.7350 angstrom, c=6.4489 angstrom, beta=76.428 degrees, V=884.75 angstrom(3), and space group P2(1), rho(o)= 1.187 g cm(-3), Z=2. (C) 2009 International Centre for Diffraction Data. [DOI: 10.1154/1.3257612]

Electrodeposition and characterization of Cu-Nb composite coatings

Copper coatings containing well-distributed Nb particles were obtained by co-electrodeposition in an acidic sulfate bath. Nb particle concentration in the bath was the most significant factor for the incorporation of Nb particles in copper, followed by stirring rate, whereas current density presented low significance. High Nb particle concentration and low stirring rate led to a higher incorporated Nb particle content. The microhardness of the composite layers was higher than that of pure copper deposits obtained under the same conditions due to copper matrix grain refinement and increased with the increase of both current density and incorporated Nb particle volume fraction. The corrosion resistance of Cu-Nb composites in 0.5 wt.% H(2)SO(4) solution at room temperature was higher than that of pure copper and increased with the increase of the Nb content. (C) 2010 Elsevier B.V. All rights reserved.

EBSD characterization of an ECAP deformed Nb single crystal

A niobium single crystal was subjected to equal channel angular pressing (ECAP) at room temperature after orienting the crystal such that [1 -1 -1] ayen ND, [0 1 -1] ayen ED, and [-2 -1 -1] ayen TD. Electron backscatter diffraction (EBSD) was used to characterize the microstructures both on the transverse and the longitudinal sections of the deformed sample. After one pass of ECAP the single crystal exhibits a group of homogeneously distributed large misorientation sheets and a well formed cell structure in the matrix. The traces of the large misorientation sheets match very well with the most favorably oriented slip plane and one of the slip directions is macroscopically aligned with the simple shear plane. The lattice rotation during deformation was quantitatively estimated through comparison of the orientations parallel to three macroscopic axes before and after deformation. An effort has been made to link the microstructure with the initial crystal orientation. Collinear slip systems are believed to be activated during deformation. The full constraints Taylor model was used to simulate the orientation evolution during ECAP. The result matched only partially with the experimental observation.

Co-electrodeposition and characterization of Cu-Si(3)N(4) composite coatings

Smooth copper coatings containing well-distributed silicon nitride particles were obtained by co-electrodeposition in acidic sulfate bath. The cathodic current density did not show significant influence on incorporated particle volume fraction, whereas the increase of particle concentration in the bath led to its decrease. The increase of stirring rate increased the amount of embedded particles. The microhardness of the composite layers was higher than that of pure copper deposits obtained under the same conditions due to dispersion-strengthening and copper matrix grain refinement and increased with the increase of incorporated particle volume fraction. The microhardness of composites also increased with the increase of current density due to copper matrix grain refining. The composite coatings presented higher strength but lower ductility than pure copper layers. Pure copper and composite coatings showed the same corrosion resistance in 0.5 wt.% H(2)SO(4) solution at room temperature. (C) 2011 Elsevier B.V. All rights reserved.

Identification and Validation of Brazilian Chronic Pain Descriptors

Appropriate pain assessment is very important for managing chronic pain. Given the cultural differences in verbally expressing pain and in psychosocial problems, specific tools are needed. The goal of this study was to identify and validate Brazilian pain descriptors. A purposive sample of health professionals and chronic pain patients was recruited. Four studies were conducted using direct and indirect psychophysical methods: category estimation, magnitude estimation, and magnitude estimation and tine-length. Results showed the descriptors which best describe chronic pain in Brazilian culture and demonstrated that there is not a significant correlation between patients and health professionals and that the psychophysical scale of judgment of pain descriptors is valid, stable, and consistent. Results reinforced that the translations of word descriptors and research tools into another language may be inappropriate, owing to differences in perception and communication and the inadequacy of exact translations to reflect the intended meaning. Given the complexity of the chronic pain, personal suffering involved, and the need for accurate assessment of chronic pain using descriptors stemming from Brazilian culture and language, it is essential to investigate the most adequate words to describe chronic pain. Although it requires more refinement, the Brazilian chronic pain descriptors can be used further to develop a multidimensional pain assessment tool that is culturally sensitive. (C) 2009 by the American Society for Pain Management Nursing

Topological instability, average electronegativity difference and glass forming ability of amorphous alloys

In this paper, we report the remarkable agreement of the glass forming ability of binary alloys with a new criterion that combines the topological instability parameter (lambda) and the average electronegativity difference among the elements of an alloy, assuming both exert a synergetic effect. The best glass forming compositions for Zr-Cu and Ti-Ni systems are well predicted by this new approach. Although the new criterion needs further refinement, it is concluded that the proposed approach is a promising and simple tool to guide and reduce the tedious and labour intensive work to find good glass former compositions in metallic systems. (C) 2008 Elsevier Ltd. All rights reserved.

Hybrid Reinforcement of Sisal and Polypropylene Fibers in Cement-Based Composites

Several studies using vegetable fibers as the exclusive reinforcement in fiber-cement composites have shown acceptable mechanical performance at the first ages. However, after the exposure to accelerated aging tests, these composites have shown significant reduction in the toughness or increase in embrittlement. This was mainly attributed to the improved fiber-matrix adhesion and fiber mineralization after aging process. The objective of the present research was to evaluate composites produced by the slurry dewatering technique followed by pressing and air curing, reinforced with combinations of polypropylene fibers and sisal kraft pulp at different pulp freeness. The physical properties, mechanical performance, and microstructural characteristics of the composites were evaluated before and after accelerated and natural aging. Results showed the great contribution of pulp refinement on the improvement of the mechanical strength in the composites. Higher intensities of refinement resulted in higher modulus of rupture for the composites with hybrid reinforcement after accelerated and natural aging. The more compact microstructure was due to the improved packing of the mineral particles with refined sisal pulp. The toughness of the composites after aging was maintained in relation to the composites at 28 days of cure.

A 2-D Delaunay refinement algorithm using an initial prerefinement from the boundary mesh

An improvement to the quality bidimensional Delaunay mesh generation algorithm, which combines the mesh refinement algorithms strategy of Ruppert and Shewchuk is proposed in this research. The developed technique uses diametral lenses criterion, introduced by L. P. Chew, with the purpose of eliminating the extremely obtuse triangles in the boundary mesh. This method splits the boundary segment and obtains an initial prerefinement, and thus reducing the number of necessary iterations to generate a high quality sequential triangulation. Moreover, it decreases the intensity of the communication and synchronization between subdomains in parallel mesh refinement.

Quantitative analysis of aluminum dross by the Rietveld method

Aluminum white dross is a valuable material principally due to its high metallic aluminum content. The aim of this work is to develop a method for quantitative analysis of aluminum white dross with high accuracy. Initially, the material was separated into four granulometric fractions by means of screening. Two samples of each fraction were obtained, which were analyzed by means of X-ray fluorescence and energy dispersive spectroscopy in order to determine the elements present in the samples. The crystalline phases aluminum, corundum, spinel, defect spinel, diaoyudaoite, aluminum nitride, silicon and quartz low were identified by X-ray diffraction. The quantitative phase analysis was performed by fitting the X-ray diffraction profile with the Rietveld method using the GSAS software. The following quantitative results were found: 77.8% aluminum, 7.3% corundum, 2.6% spinel, 7.6% defect spinel, 1.8% diaoyudaoite, 2.9% aluminum nitride, and values not significant of quartz and silicon.

Mechanical properties, drying and autogenous shrinkage of blast furnace slag activated with hydrated lime and gypsum

This article reports the characteristics of blast furnace slag (BFS) pastes activated with hydrated lime (5%) and hydrated lime (2%) plus gypsum (6%) in relation to compressive strength, shrinkage (autogenous and drying) and microstructure (porosity, hydrated products). The paste mixtures were characterized using powder X-ray diffraction (XRD), mercury intrusion porosimetry (MIP) and thermogravimetric analysis (TG/DTG). BSF activated with lime and gypsum (LG) results in larger amounts of ettringite when compared with BFS activated with lime (L). Although the porosities of the L and LG mixtures were about the same, there was a greater pore refinement for the BFS activated with lime, with an increase in mesopores volume with age. The presence of ettringite and the higher volumes of macropores cause the compressive strength of BSF activated with hydrated lime plus gypsum to be smaller than that of BFS activated with lime. For both chemical activators, compressive strength developed slowly at early ages. Autogenous and drying shrinkage were greater for the BFS activated with lime, believed to result from the more refined porous structure in comparison with the mixture activated with gypsum plus lime. (c) 2010 Elsevier Ltd. All rights reserved.

Predicting the columnar-to-equiaxed transition for a distribution of nucleation undercoolings

A deterministic mathematical model for steady-state unidirectional solidification is proposed to predict the columnar-to-equiaxed transition. In the model, which is an extension to the classic model proposed by Hunt [Hunt JD. Mater Sci Eng 1984;65:75], equiaxed grains nucleate according to either a normal or a log-normal distribution of nucleation undercoolings. Growth maps are constructed, indicating either columnar or equiaxed solidification as a function of the velocity of isotherms and temperature gradient. The fields A columnar and equiaxed growth change significantly with the spread of the nucleation undercooling distribution. Increasing the spread Favors columnar solidification if the dimensionless velocity of the isotherms is larger than 1. For a velocity less than 1, however, equiaxed solidification is initially favored, but columnar solidification is enhanced for a larger increase in the spread. This behavior was confirmed by a stochastic model, which showed that an increase in the distribution spread Could change the grain structure from completely columnar to 50% columnar grains. (c) 2008 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Structural complexes of human adenine phosphoribosyltransferase reveal novel features of the APRT catalytic mechanism

Adenine phosphoribosyltransferase (APRT) is an important enzyme component of the purine recycling pathway. Parasitic protozoa of the order Kinetoplastida are unable to synthesize purines de novo and use the salvage pathway for the synthesis of purine bases rendering this biosynthetic pathway an attractive target for antiparasitic drug design. The recombinant human adenine phosphoribosyltransferase (hAPRT) structure was resolved in the presence of AMP in the active site to 1.76 angstrom resolution and with the substrates PRPP and adenine simultaneously bound to the catalytic site to 1.83 angstrom resolution. An additional structure was solved containing one subunit of the dimer in the apo-form to 2.10 angstrom resolution. Comparisons of these three hAPRT structures with other `type I` PRTases revealed several important features of this class of enzymes. Our data indicate that the flexible loop structure adopts an open conformation before and after binding of both substrates adenine and PRPR Comparative analyses presented here provide structural evidence to propose the role of Glu 104 as the residue that abstracts the proton of adenine N9 atom before its nucleophilic attack on the PRPP anomeric carbon. This work leads to new insights to the understanding of the APRT catalytic mechanism.

A new topology of ACBP from Moniliophthora perniciosa

Acyl-CoA binding protein (ACBP) is a housekeeping protein and is an essential protein in human cell lines and in Trypanosoma brucei. The ACBP of Moniliophthora perniciosa is composed of 104 amino acids and is possibly a non-classic isoform exclusively from Basidiomycetes. The M. perniciosa acbp gene was cloned, and the protein was expressed and purified. Acyl-CoA ester binding was analyzed by isoelectric focusing, native gel electrophoresis and isothermal titration calorimetry. Our results suggest an increasing affinity of ACBP for longer acyl-CoA esters, such as myristoyl-CoA to arachidoyl-CoA, and best fit modeling indicates two binding sites. ACBP undergoes a shift from a monomeric to a dimeric state, as shown by dynamic light scattering, fluorescence anisotropy and native gel electrophoresis in the absence and presence of the ligand. The protein`s structure was determined at 1.6 angstrom resolution and revealed a new topology for ACBP, containing five a-helices instead of four. alpha-helices 1, 2, 3 and 4 adopted a bundled arrangement that is unique from the previously determined four-helix folds of ACBP, while alpha-helices 1, 2, 4 and 5 formed a classical four-helix bundle. A MES molecule was found in the CoA binding site, suggesting that the CoA site could be a target for small compound screening. (C) 2009 Elsevier B.V. All rights reserved.

Prediction of Viscosities of Fatty Compounds and Biodiesel by Group Contribution

In the present work, a group contribution method is proposed for the estimation of viscosity of fatty compounds and biodiesel esters as a function of the temperature. The databank used for regression of the group contribution parameters (1070 values for 65 types of substances) included fatty compounds, such as fatty acids, methyl and ethyl esters and alcohols, tri- and diacylglycerols, and glycerol. The inclusion of new experimental data for fatty esters, a partial acylglycerol, and glycerol allowed for a further refinement in the performance of this methodology in comparison to a prior group contribution equation (Ceriani, R.; Goncalves, C. B.; Rabelo, J.; Caruso, M.; Cunha, A. C. C.; Cavaleri, F. W.; Batista, E. A. C.; Meirelles, A. J. A. Group contribution model for predicting viscosity of fatty compounds. J. Chem. Eng. Data 2007, 52, 965-972) for all classes of fatty compounds. Besides, the influence of small concentrations of partial acylglycerols, intermediate compounds in the transesterification reaction, in the viscosity of biodiesels was also investigated.