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.

Biological aspects of Amblyomma brasiliense (Acari : Ixodidae) under laboratory conditions

Although Amblyomma brasiliense Arag (a) over tildeo 1908 has been reported as one of the most aggressive ticks to humans in Brazil, information about the biology of this tick species is virtually inexistent. This work reports data on the life cycle of A. brasiliense fed on rabbits and pigs and maintained in an incubator at 20 degrees C, 90% RH and 12 h of light for off-host development. Tick yield of adult females fed on pigs and rabbits was 81.2% and 58.3%, respectively. Females fed on pigs had mean engorgement weight of 862.3 mg and egg mass of 208 mg, while females fed on rabbits had mean engorgement weight of 606.1 mg and egg mass of 160 mg; these values did not differ statistically between host species. Feeding period of female ticks fed on pigs (10 days) was significantly shorter than that on rabbits (17 days). Mean preoviposition period was slightly longer (35.9 days) for ticks fed on pigs than on rabbits (30 days). The minimum incubation period of eggs of ticks from both host species was similar and over 100 days. Egg production efficiency was low for females fed on both hosts (less than 30% and 20% for ticks from pigs and rabbits, respectively). More than 55% of larvae and 79% of nymphs fed on rabbits, set free inside the feeding chambers, engorged successfully. These ticks attained an engorgement weight of 1.3 and 18.2 mg, respectively, and fed for approximately 5 days. The minimum pre-molt period was 30 days for engorged larvae and over 44 days for nymphs. Molting success was low, less than 50% in the case of larvae and less than 20% for nymphs. Further studies are required to better determine the off-host requirements of this tick species.

Some aspects of acetylation of untreated and mercerized sisal cellulose

We report here on some aspects of the acetylation in LiCl/N,N-dimethylacetamide, DMAc, of untreated and mercerized sisal cellulose, hereafter designated as sisal and M-sisal, respectively. Fiber mercerization by NaOH solution has resulted in the following changes: 29.9% decrease in the index of crystallinity; 16.2% decrease in the degree of polymerization and 9.3% increase in α-cellulose content. A light scattering study of solutions of sisal, M-sisal, microcrystalline and cotton celluloses in LiCl/DMAc has shown that they are present as aggregates, with (an apparent) average aggregation numbers of 5.2, 3.2, 9.8, and 35.3, respectively. The presence of these aggregates affects the accessibility of cellulose during its functionalization. A study of the evolution of the degree of substitution, DS, of cellulose acetate as a function of reaction time showed an increase up to 5 h, followed by a decrease at 7 h. Possible reasons for this decrease are discussed. As expected, M-sisal gave a higher DS that its untreated counterpart.

Ecological aspects of the surf-zone ichthyofauna of Itamambuca Beach, Ubatuba, SP

Sandy beaches are among the most extensive environments in Brazil and are generally threatened by disorderly urban growth due to their location along the coast, where human populations tend to concentrate. This is especially true in southeastern Brazil, where the largest urban areas are located. Thus, better knowledge regarding these natural resources is of considerable importance. The surf zone of sandy beaches is inhabited by a number of fish species, including juveniles seeking both food and shelter from predators. An ecological survey was conducted in the surf zone of Itamambuca beach in the city of Ubatuba, São Paulo State, Brazil, in order to evaluate the composition, structure and dynamics of the fish fauna using community descriptors. Diurnal and nocturnal samples were taken with a beach seine at five oceanographic stations over a 12-month period. Water temperature and salinity were also recorded. A total of 2,147 individuals representing 34 species and 18 families were sampled. The main variation in fish fauna was detected on the diel level, followed by a spatial repartition possibly related to salinity. Seasonal variation was also observed. The five most important species in the overall context were Atherinella brasiliensis, Eucinostomus melanopterus, Mugil sp., Trachinotus goodei and Atherinella blackburni.

Nutritional aspects of the prevention and treatment of osteoporosis

Osteoporosis is a global health problem characterized by low bone mass and microarchitectural deterioration of bone tissue with a consequent increase in bone fragility and susceptibility to fracture. Nutrition plays a critical role in reducing the risk of osteoporosis through its effect on all of these fragility factors, especially on the development and maintenance of bone mass. An adequate calcium, vitamin D and protein intake resulted in reduced bone remodeling, better calcium retention, reduced age-related bone loss, and reduced fracture risk. Recent evidence indicates that a healthy dietary pattern including dairy products (mainly fat free), fruit and vegetables and adequate amounts of meat, fish and poultry is positively related to bone health. Furthermore, mineral and vitamin supplementation should be closely monitored by health professionals since it could have adverse effects and be insufficient to ensure optimal protection of bone health.

Morphological aspects of buffaloes (Bubalus bubalis) umbilical cord

Buffalo is an important livestock resource, with a great participation in agricultural systems, providing milk, meat, and work power. Umbilical cord is responsible for maternal-fetal nutrients exchange during pregnancy, and its alterations can compromise the fetal development. We investigated ten pregnant uteruses collected from cross-bread buffaloes in different stages of gestation. Pregnancy and fetal age was determined by measuring the apex sacral length and development period was calculated by previously published formula. Umbilical cords were measured for length determination. Umbilical cord vascular net and anastomosis were observed by injection of Neoprene latex. Histological sections of the umbilical cord were studied after stain with HE, picrossirius, toluidine blue, orceine, and PAS reaction. Buffaloes' umbilical cord was formed by two central arteries, an allantois duct and two peripheral veins. The artery wall was composed by large quantity of collagen, elastic fibers, fibroblasts and large number of vasa vasorum. The allantois duct was located between the arteries and presented a great number of small nourishing vessels. Small nourishing vessels should be carefully considered to avoid to be mistaken to the arterials and veins vasa vasorum. Medium length of umbilical cord from buffalos was 11.8cm (minimum of 6.8cm and maximum of 17.4cm).

Microbiological and histopathological aspects of canine pyometra

As pyometra is recognized as one of the main causes of disease and death in the bitch the purposes of this study were to evaluate microbiological and histopathological aspects of canine pyometra and to research the virulence factors of the E. coli isolates identifying possible risks to human health. The microbiological isolation from the intrauterine contents of 100 dogs with pyometra was carried out and the virulence factors in the E. coli strains were identified using PCR method. This study also consisted of the counting of microorganisms colonies forming units in samples of intrauterine content, tests of antimicrobial susceptibility of the E. coli isolates and the histological examination of the uterus. E. coli was the most prevalent microorganism isolated (76.6%) and 120 strains (79.5%) were positive for sfa, 86 (56.9%) were positive for cnf, 87 (57.6%) were positive for pap, 52 (34.4%) were positive for hly, 51 (33.8%) were positive for iuc and 5 (3.3%) were positive for afa genes. One observed more sensitivity of E. coli to norfloxacin, polimixin B, sulphazotrin, chloranfenicol and enrofloxacin. In 42% of the samples of uterine walls where microorganisms were isolated, the sizes of the areas of the inflammatory responses corresponded to 39-56%. Virulence factors were identified in 98.0% of the strains evaluated, demonstrating a high frequency of potentially pathogenic E. coli. It must be considered that dogs are animals that are living in close proximity to man for thousands of years and have an important role in the transmission of E. coli to other animals and to man.

Nutrional aspects of the prevention and treatment of osteoporosis

A osteoporose é um problema de saúde global, caracterizada por baixa massa óssea e deterioração da microarquitetura do tecido ósseo, com consequente aumento da fragilidade óssea e suscetibilidade a fraturas. A nutrição desempenha um papel fundamental na redução do risco de osteoporose por seu efeito sobre todos os fatores relacionados à fragilidade óssea, principalmente no desenvolvimento e na manutenção da massa óssea. Uma adequada ingestão de cálcio, vitamina D e proteína leva à redução da remodelação óssea, à maior retenção de cálcio, à redução da perda óssea relacionada à idade e à redução do risco de fraturas. Evidências recentes indicam que uma alimentação saudável, incluindo a ingestão de produtos lácteos (principalmente os desnatados), frutas e verduras, e uma quantidade adequada de carnes, peixes e aves, está relacionada positivamente com a saúde óssea. Além disso, a suplementação de vitaminas e minerais deve ser monitorada de perto, por profissionais de saúde, uma vez que pode ter efeitos adversos e ser insuficiente para assegurar uma eficaz proteção à saúde óssea

Mechanistic aspects of the isomerization of Z-vinylic tellurides double bonds in the synthesis of potassium Z-vinyltrifluoroborate salts

Through direct transmetalation reaction of Z-vinylic tellurides with nBuLi was observed the unexpected isomerization of double bonds leading to potassium E-vinyltrifluoroborates salts in low to moderate yields. Using EPR spin trapping experiments the radical species that promoted the stereoinversion of Z-vinylic organometallic species during the preparation of potassium vinyltrifluoroborate salts was identified. The experiments support the proposed mechanism, which is based on the homolytic cleavage of the TenBu bond.

Reproductive aspects of Meloetyphlus fuscatus a meloid beetle cleptoparasite of the bee Eulaema nigrita (Hymenoptera, Apidae, Euglossini)

This study investigated the reproductive biology of the meloid beetle Meloetyphlus fuscatus Waterhouse, a cleptoparasite of Eulaema nigrita nests. New E. nigrita nests had rates of cell parasitism by meloids ranging from 3.7% to 15.8%, while in re-used nests the rate of cell parasitism ranged from 1.4% to 18.7%. The adult parasites were never observed trying to leave the host nests. Both sexes mated more than once. Females had a high fecundity (more than 8,000 eggs), and in most cases, deposited their eggs into the empty, old cells of the host. The triungulins (the first larval instars) hatched from eggs 18-20 days after oviposition and dispersed from the host nest by attaching themselves to males as they emerged. The triungulins most likely transfer to female bees during mating and are transported to the nests of their hosts. Within an attacked cell, the triungulin consumes the bee egg and completes its development by consuming the larval food stored in the cell.

Aspects of a noncommutative scalar/tensor duality

We study the noncommutative massless Kalb-Ramond gauge field coupled to a dynamical U(1) gauge field in the adjoint representation together with a compensating vector field. We derive the Seiberg-Witten map and obtain the corresponding mapped action to first order in theta. The (emergent) gravity structure found in other situations is not present here. The off-shell dual scalar theory is derived and it does not coincide with the Seiberg-Witten mapped scalar theory. Dispersion relations are also discussed. The p-form generalization of the Seiberg-Witten map to order theta is also derived.

A Markovian model market-Akerlof`s lemons and the asymmetry of information

In this work we study an agent based model to investigate the role of asymmetric information degrees for market evolution. This model is quite simple and may be treated analytically since the consumers evaluate the quality of a certain good taking into account only the quality of the last good purchased plus her perceptive capacity beta. As a consequence, the system evolves according to a stationary Markov chain. The value of a good offered by the firms increases along with quality according to an exponent alpha, which is a measure of the technology. It incorporates all the technological capacity of the production systems such as education, scientific development and techniques that change the productivity rates. The technological level plays an important role to explain how the asymmetry of information may affect the market evolution in this model. We observe that, for high technological levels, the market can detect adverse selection. The model allows us to compute the maximum asymmetric information degree before the market collapses. Below this critical point the market evolves during a limited period of time and then dies out completely. When beta is closer to 1 (symmetric information), the market becomes more profitable for high quality goods, although high and low quality markets coexist. The maximum asymmetric information level is a consequence of an ergodicity breakdown in the process of quality evaluation. (C) 2011 Elsevier B.V. All rights reserved.

The practice of Information Architecture of websites in Brazil

The project of Information Architecture is one of the initial stages of the project of a website, thus the detection and correction of errors in this stage are easier and time-saving than in the following stages. However, to minimize errors for the projects of information architecture, a methodology is necessary to organize the work of the professional and guarantee the final product quality. The profile of the professional who works with Information Architecture in Brazil has been analyzed (quantitative research by means of a questionnaire on-line) as well as the difficulties, techniques and methodologies found in his projects (qualitative research by means of interviews in depth with support of the approaches of the Sense-Making). One concludes that the methodologies of projects of information architecture need to develop the adoption of the approaches of Design Centered in the User and in the ways to evaluate its results.

Effect of impeller type and mechanical agitation on the mass transfer and power consumption aspects of ASBR operation treating synthetic wastewater

The effect of flow type and rotor speed was investigated in a round-bottom reactor with 5 L useful volume containing 2.0 L of granular biomass. The reactor treated 2.0 L of synthetic wastewater with a concentration of 800 mgCOD/L in 8-h cycles at 30 degrees C. Five impellers, commonly used in biological processes, have been employed to this end, namely: a turbine and a paddle impeller with six-vertical-flat-blades, a turbine and a paddle impeller with six-45 degrees-inclined-flat-blades and a three-blade-helix impeller. Results showed that altering impeller type and rotor speed did not significantly affect system stability and performance. Average organic matter removal efficiency was about 84% for filtered samples, total volatile acids concentration was below 20 mgHAc/L and bicarbonate alkalinity a little less than 400 mgCaCO(3)/L for most of the investigated conditions. However, analysis of the first-order kinetic model constants showed that alteration in rotor speed resulted in an increase in the values of the kinetic constants (for instance, from 0.57 h(-1) at 50 rpm to 0.84 h(-1) at 75 rpm when the paddle impeller with six-45 degrees-inclined-flat-blades was used) and that axial flow in mechanically stirred reactors is preferable over radial-flow when the vertical-flat-blade impeller is compared to the inclined-flat-blade impeller (for instance at 75 rpm, from 0.52 h(-1) with the six-flat-blade-paddle impeller to 0.84 h(-1) with the six-45 degrees-inclined-flat-blade-paddle impeller), demonstrating that there is a rotor speed and an impeller type that maximize solid-liquid mass transfer in the reaction medium. Furthermore, power consumption studies in this reduced reactor volume showed that no high power transfer is required to improve mass transfer (less than 0.6 kW/10(3) m(3)). (C) 2008 Elsevier Ltd. All rights reserved.

Nutritional Aspects of Second Generation Soy Foods

Samples of 15 second generation soy-based products (n = 3), commercially available, were analyzed for their protein and isoflavone contents and in vitro antioxidant activity, by means of the Folin-Ciocalteu reducing ability, DPPH radical scavenging capacity, and oxygen radical absorbance capacity. Isoflavone identification and quantification were performed by high-performance liquid chromatography. Products containing soy and/or soy-based ingredients represent important sources of protein in addition to the low fat amounts. However, a large variation in isoflavone content and in vitro antioxidant capacity was observed. The isoflavone content varied from 2.4 to 18.1 mg/100 g (FW), and soy kibe and soy sausage presented the highest amounts. Chocolate had the highest antioxidant capacity, but this fact was probably associated with the addition of cocoa liquor, a well-known source of polyphenolics. This study showed that the soy-based foods do not present a significant content of isoflavones when compared with the grain, and their in vitro antioxidant capacity is not related with these compounds but rather to the presence of other phenolics and synthetic antioxidants, such as sodium erythorbate. However, they may represent alternative sources and provide soy protein, isoflavones, and vegetable fat for those who are not ready to eat traditional soy foods.