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.

Performance of a multi-level TDR system exposed to tropical field conditions - A time-space comparison with tensiometry

Time-domain reflectometry (TDR) is an important technique to obtain series of soil water content measurements in the field. Diode-segmented probes represent an improvement in TDR applicability, allowing measurements of the soil water content profile with a single probe. In this paper we explore an extensive soil water content dataset obtained by tensiometry and TDR from internal drainage experiments in two consecutive years in a tropical soil in Brazil. Comparisons between the variation patterns of the water content estimated by both methods exhibited evidences of deterioration of the TDR system during this two year period at field conditions. The results showed consistency in the variation pattern for the tensiometry data, whereas TDR estimates were inconsistent, with sensitivity decreasing over time. This suggests that difficulties may arise for the long-term use of this TDR system under tropical field conditions. (c) 2008 Elsevier B.V. All rights reserved.

Effect of silicate fertilization on soil and on palisade grass plants under grazing intensities

Application of calcium silicate (SiCa) as soil acidity corrective was evaluated in a Rhodic Hapludox soil with palisade grass conducted under pasture rotation system with different grazing intensities. Experimental design was complete randomized blocks with four grazing intensities - grazing intensities were imposed by forage supply (50, 100, 150 and 200 kg t-1 of DM per LW) - in experimental plots with four replicates and, in the subplots, with seven doses of calcium silicate combined with lime: 0+0, 2+0, 4+0, 6+0, 2+4, 4+2 and 0+6 t ha-1, respectively. In the soil, it was evaluated the effect of four levels of calcium silicate (0, 2, 4 and 6 t ha-1) at 45, 90, and 365 days at three depths (0-10, 10-20 and 20-40 cm) and at 365 days, it was included one level of lime (6 t ha-1). For determination of leaf chemical composition and silicate content in the soil, four levels of calcium silicate (0, 2, 4 and 6 t ha-1) were evaluated at 45 and 365 days and at 45 days only for leaf silicate, whereas for dry matter production, all corrective treatments applied were evaluated in evaluation seasons. Application of calcium silicate was positive for soil chemical traits related to acidity correction (pH(CaCl2), Ca, Mg, K, H+Al and V), but the limestone promoted better results at 365 days. Leaf mineral contents were not influenced by application of calcium silicate, but there was an increase on silicate contents in leaves and in the soil. Dry matter yield and chemical composition of palisade grass improved with the application of correctives.

New methods to quantify NH3 volatilization from fertilized surface soil with urea

Gaseous N losses from soil are considerable, resulting mostly from ammonia volatilization linked to agricultural activities such as pasture fertilization. The use of simple and accessible measurement methods of such losses is fundamental in the evaluation of the N cycle in agricultural systems. The purpose of this study was to evaluate quantification methods of NH3 volatilization from fertilized surface soil with urea, with minimal influence on the volatilization processes. The greenhouse experiment was arranged in a completely randomized design with 13 treatments and five replications, with the following treatments: (1) Polyurethane foam (density 20 kg m-3) with phosphoric acid solution absorber (foam absorber), installed 1, 5, 10 and 20 cm above the soil surface; (2) Paper filter with sulfuric acid solution absorber (paper absorber, 1, 5, 10 and 20 cm above the soil surface); (3) Sulfuric acid solution absorber (1, 5 and 10 cm above the soil surface); (4) Semi-open static collector; (5) 15N balance (control). The foam absorber placed 1 cm above the soil surface estimated the real daily rate of loss and accumulated loss of NH3N and proved efficient in capturing NH3 volatized from urea-treated soil. The estimates based on acid absorbers 1, 5 and 10 cm above the soil surface and paper absorbers 1 and 5 cm above the soil surface were only realistic for accumulated N-NH3 losses. Foam absorbers can be indicated to quantify accumulated and daily rates of NH3 volatilization losses similarly to an open static chamber, making calibration equations or correction factors unnecessary.

Influence of soil properties on the abundance of plant species in ferruginous rocky soils vegetation, southeastern Brazil

Ferruginous "campos rupestres" are a particular type of vegetation growing on iron-rich primary soils. We investigated the influence of soil properties on plant species abundance at two sites of ferruginous "campos rupestres" and one site of quartzitic "campo rupestre", all of them in "Quadrilátero Ferrífero", in Minas Gerais State, southeastern Brazil. In each site, 30 quadrats were sampled to assess plant species composition and abundance, and soil samples were taken to perform chemical and physical analyses. The analyzed soils are strongly acidic and presented low fertility and high levels of metallic cations; a principal component analysis of soil data showed a clear segregation among sites due mainly to fertility and heavy metals content, especially Cu, Zn, and Pb. The canonical correspondence analysis indicated a strong correlation between plant species abundance and soil properties, also segregating the sites.

A multi-screening approach for marine-derived fungal metabolites and the isolation of cyclodepsipeptides from Beauveria felina

Extracts obtained from 57 marine-derived fungal strains were analyzed by HPLC-PDA, TLC and ¹H NMR. The analyses showed that the growth conditions affected the chemical profile of crude extracts. Furthermore, the majority of fungal strains which produced either bioactive of chemically distinctive crude extracts have been isolated from sediments or marine algae. The chemical investigation of the antimycobacterial and cytotoxic crude extract obtained from two strains of the fungus Beauveria felina have yielded cyclodepsipeptides related to destruxins. The present approach constitutes a valuable tool for the selection of fungal strains that produce chemically interesting or biologically active secondary metabolites.

A hybrid heuristic for the multi-plant capacitated lot sizing problem with setup carry-over

This paper addresses the capacitated lot sizing problem (CLSP) with a single stage composed of multiple plants, items and periods with setup carry-over among the periods. The CLSP is well studied and many heuristics have been proposed to solve it. Nevertheless, few researches explored the multi-plant capacitated lot sizing problem (MPCLSP), which means that few solution methods were proposed to solve it. Furthermore, to our knowledge, no study of the MPCLSP with setup carry-over was found in the literature. This paper presents a mathematical model and a GRASP (Greedy Randomized Adaptive Search Procedure) with path relinking to the MPCLSP with setup carry-over. This solution method is an extension and adaptation of a previously adopted methodology without the setup carry-over. Computational tests showed that the improvement of the setup carry-over is significant in terms of the solution value with a low increase in computational time.

Mineralogical characterization of a highly-weathered soil by the Rietveld Method

The mineralogical characterization through mineral quantification of Brazilian soils by X-ray diffraction data using the Rietveld Method is not common. A mineralogical quantification of an Acric Ferralsol from the Ponta Grossa region, state of Paraná, Brazil, was carried out using this Method with X-Ray Diffraction data to verify if this method was suitable for mineral quantification of a highly-weathered soil. The A, AB and B3 horizons were fractioned to separate the different particle sizes: clay, silt, fine sand (by Stokes Law) and coarse sand fractions (by sieving), with the procedure free of chemical treatments. X-ray Fluorescence, Inductively Coupled Plasma Atomic Emission Spectrometry, Infrared Spectroscopy and Mössbauer Spectroscopy were used in order to assist the mineral identification and quantification. The Rietveld Method enabled the quantification of the present minerals. In a general way, the quantitative mineralogical characterization by the Rietveld Method revealed that quartz, gibbsite, rutile, hematite, goethite, kaolinite and halloysite were present in the clay and silt fractions of all horizons. The silt fractions of the deeper horizons were different from the more superficial ones due to the presence of large amounts of quartz. The fine and the coarse sand fractions are constituted mainly by quartz. Therefore, a mineralogical quantification of the finer fraction (clay and silt) by the Rietveld Method was successful.

Lessons from the Terra Preta de Índios of the Amazon region for the utilisation of charcoal for soil amendment

The potential of charcoal and of partially combusted organic waste to mimic the soil organic matter of the Terras Pretas de Índios (Amazonian Dark Earths) from the Amazon Region is discussed. These materials serve as soil conditioners and as sequesterers of carbon in recalcitrant and in reactive forms. Studies carried out by Brazilian and by international groups have contributed to the emergence of an awareness of the compositions and of the uses of these materials. In this contribution we report on chemical studies that are leading to the development of a scientific and technological awareness, and of innovations that will have value in finding novel uses in applications to soil of chars from organic wastes such as those from the biofuel industry, and from metallurgical and various coal plant residues.

Multivariate analysis of the effects of soil parameters and environmental factors on the flavonoid content of leaves of Passiflora incarnata L., Passifloraceae

The aim of the present study was to evaluate the effect of soil characteristics (pH, macro- and micro-nutrients), environmental factors (temperature, humidity, period of the year and time of day of collection) and meteorological conditions (rain, sun, cloud and cloud/rain) on the flavonoid content of leaves of Passiflora incarnata L., Passifloraceae. The total flavonoid contents of leaf samples harvested from plants cultivated or collected under different conditions were quantified by high-performance liquid chromatography with ultraviolet detection (HPLC-UV/PAD). Chemometric treatment of the data by principal component (PCA) and hierarchic cluster analyses (HCA) showed that the samples did not present a specific classification in relation to the environmental and soil variables studied, and that the environmental variables were not significant in describing the data set. However, the levels of the elements Fe, B and Cu present in the soil showed an inverse correlation with the total flavonoid contents of the leaves of P. incarnata.

Design methodology for multi-pumped discrete Raman amplifiers: case-study employing photonic crystal fibers

This paper proposes a new design methodology for discrete multi-pumped Raman amplifier. In a multi-objective optimization scenario, in a first step the whole solution-space is inspected by a CW analytical formulation. Then, the most promising solutions are fully investigated by a rigorous numerical treatment and the Raman amplification performance is thus determined by the combination of analytical and numerical approaches. As an application of our methodology we designed an photonic crystal fiber Raman amplifier configuration which provides low ripple, high gain, clear eye opening and a low power penalty. The amplifier configuration also enables to fully compensate the dispersion introduced by a 70-km singlemode fiber in a 10 Gbit/s system. We have successfully obtained a configuration with 8.5 dB average gain over the C-band and 0.71 dB ripple with almost zero eye-penalty using only two pump lasers with relatively low pump power. (C) 2009 Optical Society of America

Eucalyptus sp seedling response to potassium fertilization and soil water

A considerable portion of Brazil's commercial eucalypt plantations is located in areas Subjected to periods of water deficit and grown in soils with low natural fertility, particularly poor In potassium. Potassium is influential in controlling water relations of plants. The objective of this study was to verify the influence of potassium fertilization and soil water potential (psi(w)) oil the dry matter production and oil water relations Of eucalypt seedlings grown under greenhouse conditions. the experimental units were arranged in 4x4x2 randomized blocks factorial design, as follow: four species of Eucalyptus (Eucalyptus grandis, Eucalyptus urophylla, Eucalyptus camaldulensis and hybrid Eucalyptus grandis x Eucalyptus urophylla), four dosages of K (0, 50, 100 and 200 mg dm(-3)) and two soil water potentials (-0.01 M Pa and -0.1 M Pa). Plastic containers with 15 cm diameter and 18 cm height, with Styrofoam base, containing 3.0 dm(3) of soil and two plants per container were used. Soil water potential was kept at -0.01 MPa for 40 days after seeding. Afterward, the experimental units were divided into two groups: in one group the potential was kept at 0.01 MPa, and in the other one, at -0.10 MPa. Sol I water potential was control led gravimetrically twice a day with water replacement until the desired potential was reestablished. A week before harvesting, the leaf water potential (psi), the photosynthetic rate (A), the stomatal conductance (gs) and the transpiration rate were evaluated. The last week before harvesting, the mass of the containers was recorded daily before watering to determine the consumption of water by the plants. After harvesting, total dry matter and leaf area were evaluated. the data were Submitted to analysis of variance, to Tukey's tests and regression analyses. The application of K influenced A, gs and the transpiration rate. Plants deficient in K showed lower A and higher Us and transpiration rates. There were no statistical differences in A, gs and transpiration rates ill plants with and Without water deficit. The addition of K reduced the consumption of water per unit of leaf area and, in general, plants submitted to water deficit presented a lower consumption of water.

Multi-trait and random regression mature weight heritability and breeding value estimates in Nelore cattle

Mature weight breeding values were estimated using a multi-trait animal model (MM) and a random regression animal model (RRM). Data consisted of 82 064 weight records from 8 145 animals, recorded from birth to eight years of age. Weights at standard ages were considered in the MM. All models included contemporary groups as fixed effects, and age of dam (linear and quadratic effects) and animal age as covariates. In the RRM, mean trends were modelled through a cubic regression on orthogonal polynomials of animal age and genetic maternal and direct and maternal permanent environmental effects were also included as random. Legendre polynomials of orders 4, 3, 6 and 3 were used for animal and maternal genetic and permanent environmental effects, respectively, considering five classes of residual variances. Mature weight (five years) direct heritability estimates were 0.35 (MM) and 0.38 (RRM). Rank correlation between sires' breeding values estimated by MM and RRM was 0.82. However, selecting the top 2% (12) or 10% (62) of the young sires based on the MM predicted breeding values, respectively 71% and 80% of the same sires would be selected if RRM estimates were used instead. The RRM modelled the changes in the (co) variances with age adequately and larger breeding value accuracies can be expected using this model.

The merging cluster Abell 1758 revisited: multi-wavelength observations and numerical simulations

Context. Cluster properties can be more distinctly studied in pairs of clusters, where we expect the effects of interactions to be strong. Aims. We here discuss the properties of the double cluster Abell 1758 at a redshift z similar to 0.279. These clusters show strong evidence for merging. Methods. We analyse the optical properties of the North and South cluster of Abell 1758 based on deep imaging obtained with the Canada-France-Hawaii Telescope (CFHT) archive Megaprime/Megacam camera in the g' and r' bands, covering a total region of about 1.05 x 1.16 deg(2), or 16.1 x 17.6 Mpc(2). Our X-ray analysis is based on archive XMM-Newton images. Numerical simulations were performed using an N-body algorithm to treat the dark-matter component, a semi-analytical galaxy-formation model for the evolution of the galaxies and a grid-based hydrodynamic code with a parts per million (PPM) scheme for the dynamics of the intra-cluster medium. We computed galaxy luminosity functions (GLFs) and 2D temperature and metallicity maps of the X-ray gas, which we then compared to the results of our numerical simulations. Results. The GLFs of Abell 1758 North are well fit by Schechter functions in the g' and r' bands, but with a small excess of bright galaxies, particularly in the r' band; their faint-end slopes are similar in both bands. In contrast, the GLFs of Abell 1758 South are not well fit by Schechter functions: excesses of bright galaxies are seen in both bands; the faint-end of the GLF is not very well defined in g'. The GLF computed from our numerical simulations assuming a halo mass-luminosity relation agrees with those derived from the observations. From the X-ray analysis, the most striking features are structures in the metal distribution. We found two elongated regions of high metallicity in Abell 1758 North with two peaks towards the centre. In contrast, Abell 1758 South shows a deficit of metals in its central regions. Comparing observational results to those derived from numerical simulations, we could mimic the most prominent features present in the metallicity map and propose an explanation for the dynamical history of the cluster. We found in particular that in the metal-rich elongated regions of the North cluster, winds had been more efficient than ram-pressure stripping in transporting metal-enriched gas to the outskirts. Conclusions. We confirm the merging structure of the North and South clusters, both at optical and X-ray wavelengths.

Comparison Between Single-Diode Low-Level Laser Therapy (LLLT) and LED Multi-Diode (Cluster) Therapy (LEDT) Applications Before High-Intensity Exercise

Background Data and Objective: There is anecdotal evidence that low-level laser therapy (LLLT) may affect the development of muscular fatigue, minor muscle damage, and recovery after heavy exercises. Although manufacturers claim that cluster probes (LEDT) maybe more effective than single-diode lasers in clinical settings, there is a lack of head-to-head comparisons in controlled trials. This study was designed to compare the effect of single-diode LLLT and cluster LEDT before heavy exercise. Materials and Methods: This was a randomized, placebo-controlled, double-blind cross-over study. Young male volleyball players (n = 8) were enrolled and asked to perform three Wingate cycle tests after 4 x 30 sec LLLT or LEDT pretreatment of the rectus femoris muscle with either (1) an active LEDT cluster-probe (660/850 nm, 10/30mW), (2) a placebo cluster-probe with no output, and (3) a single-diode 810-nm 200-mW laser. Results: The active LEDT group had significantly decreased post-exercise creatine kinase (CK) levels (-18.88 +/- 41.48U/L), compared to the placebo cluster group (26.88 +/- 15.18U/L) (p < 0.05) and the active single-diode laser group (43.38 +/- 32.90U/L) (p<0.01). None of the pre-exercise LLLT or LEDT protocols enhanced performance on the Wingate tests or reduced post-exercise blood lactate levels. However, a non-significant tendency toward lower post-exercise blood lactate levels in the treated groups should be explored further. Conclusion: In this experimental set-up, only the active LEDT probe decreased post-exercise CK levels after the Wingate cycle test. Neither performance nor blood lactate levels were significantly affected by this protocol of pre-exercise LEDT or LLLT.