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.

A technique to assess small-scale heterogeneity of chemical properties in soil aggregates

A new method is presented which allows the separation of the soil aggregate exterior from the aggregate core. The method employs a combination of aggregate freezing with rapid separation of aggregate exteriors using ultrasonic energy. The factors influencing the thickness of the removed aggregate surface layer include water content of the aggregate prior to freezing, temperature difference between that of the frozen aggregate and that of the liquid it is submerged in during sonification, sonification time and energy, and the type of the immersion liquid. The success of the method and the thickness of the removed aggregate surface were examined using barium ( Ba2+) as a tracer. Barium ( as BaCl2) is rapidly absorbed by soil and is present at only very low levels in natural soils. Surface layers of 0.2 - 0.4 cm thickness were successfully removed from aggregates of 1 - 4 cm diameter. Two examples are given from soils in northern NSW to demonstrate the occurrence of small- scale heterogeneity in soil chemical properties. Compared with the surface fraction, a 4 - 7% higher calcium concentration was found in the core fraction of a clay loam soil ( Dermosol). Conversely, on a cracking clay soil ( Vertosol), atrazine concentration was around 15 times greater in the aggregate surface fractions compared with core fractions. Compared with the traditional estimation of soil chemical properties on homogenised bulk soil samples, it is suggested that separate analysis of aggregate surface and core fractions could provide useful additional information on the relationships between soil properties and environmental responses.

Efeito da adição de óleo essencial de pimenta rosa (Schinus terebinthifolius Raddi) microencapsulado em queijo minas frescal

A pimenta rosa é o fruto da aroeira (Schinus terebinthifolius Raddi), uma planta nativa do Brasil. A extração e caracterização do seu óleo essencial viabiliza a sua utilização industrial. Este trabalho teve como objetivo avaliar o efeito da adição de óleo essencial de pimenta rosa em queijo Minas Frescal . Foram identificados 95,36% dos constituintes do óleo essencial, sendo o δ-careno-3 o componente majoritário. O óleo essencial de pimenta rosa apresentou características antioxidante (2,53 ± 0,28 μmols de trolox por mL de óleo) e antimicrobiana para o desenvolvimento de Staphylococcus aureus. Foi observado, no teste de difusão em ágar, a formação do halo de inibição de 1,35 ± 0,32 cm, e na análise de concentração inibitória mínima, o valor de 3,13%. O óleo essencial é sensível à degradação no meio em que se encontra, portanto necessita de processos tecnológicos para assegurar sua ação. Para proteger o óleo essencial foi realizada a microencapsulação por meio da secagem por spray dryer. O óleo foi microencapsulado utilizando três formulações com diferentes concentrações de goma arábica, maltodextrina e amido modificado como papel de parede. As microcápsulas obtidas foram analisadas quanto às suas características físico-químicas e morfológicas e foi selecionada uma formulação para posterior adição ao queijo Minas Frescal. A formulação com 5% de amido modificado, 10% de maltodextrina e 5% de goma arábica foi selecionada. Para definição da concentração de óleo essencial que foi utilzada no queijo, foi realizado teste sensorial de ordenação-preferência, visto que a concentração inibitória mínima (3,13%) era muito alta para ser utilizada nos queijos. A formulação com 0,01% de óleo essencial foi a preferida e utilizada para fabricação dos queijos. Foram elaborados e caracterizados os queijos controle (CO) e o queijo com adição das microcápsulas de óleo essencial de pimenta rosa (OEPR). Em relação às características físico-químicas, os queijos CO e OEPR só apresentaram diferença significativa em relação à umidade (P= 0,0021; α=0,05). O queijo OEPR teve boa aceitação sensorial com média de aceitação global de 7,6 ± 0,97, não apresentando diferença significativa, ao nível de 95% de confiança, do queijo controle (7,6 ± 1,18). Para avaliar a capacidade do óleo essencial de pimenta rosa microencapsulado em inibir o desenvolvimento de S. aureus, foram inoculadas nos queijos CO e OEPR concentrações iniciais de 106 UFG.g. Os queijos foram armazenados em BOD à temperatura de 4 ± 1 °C até realização das análises, que ocorreram nos tempos: 0, 3, 6, 9, 12, 15 e 30 dias. Houve redução de 1,53 ciclos Log no queijo adicionado de óleo essencial de pimenta rosa. De acordo com os resultados obtidos, conclui-se que o óleo essencial de pimenta rosa é uma alternativa viável de utilização em queijo Minas Frescal , devido ao seu potencial antioxidante, antimicrobiano e à sua aceitação sensorial.

Estudo da cinética e influência dos métodos de secagem sobre as propriedades físico-químicas de soro de leite

O soro de leite é um subproduto da fabricação do queijo, seja por acidificação ou por processo enzimático. Em condições ideais, a caseína do leite se agrega formando um gel, que posteriormente cortado, induz a separação e liberação do soro. É utilizado de diversas formas em toda a indústria alimentícia, possui rica composição em lactose, sais minerais e proteínas. A desidratação é um dos principais processos utilizados para beneficiamento e transformação do soro. Diante disto, o objetivo deste trabalho foi avaliar a influência dos métodos de secagem: liofilização, leito de espuma (nas temperaturas de 40, 50, 60, 70 e 80ºC) e spray-dryer (nas temperaturas de 55, 60, 65, 70 e 75ºC), sobre as características de umidade, proteína, cor e solubilidade do soro, bem como estudar o seu processo de secagem. O soro foi obtido e desidratado após concentração por osmose reversa, testando 11 tratamentos, em 3 repetições, utilizando um delineamento inteiramente casualizado. Os resultados demonstraram que o modelo matemático que melhor se ajustou foi o modelo de Page, apresentado um coeficiente de determinação ajustado acima de 0,98 e erro padrão da regressão em todas as temperaturas abaixo de 0,04 para o método por leito de espuma. Para o método de liofilização os respectivos valores foram 0,9975 e 0,01612. A partir disso, pode-se elaborar um modelo matemático generalizado, apresentando um coeficiente de determinação igual a 0,9888. No caso do leito de espuma, observou-se que à medida que se aumenta a temperatura do ar de secagem, o tempo de secagem diminui e os valores do coeficiente de difusão efetiva aumentam. Porém, a redução no tempo de secagem entre os intervalos de temperatura, diminui com o aumento da mesma. A energia de ativação para a difusão no processo de secagem do soro foi de 26,650 kJ/mol e para todas as avaliações físico-químicas e tecnológicas, a análise de variância apresentou um valor de F significativo (p<0,05), indicando que há pelo menos um contraste entre as médias dos tratamentos que é significativo.

Availability of heavy metals in contaminated soil evidenced by chemical extractants

Heavy metals have been accumulating in Brazilian soils, due to natural processes, such as atmospheric deposition, or human industrial activities. For certain heavy metals, when in high concentrations in the soil, there is no specific extractant to determine the availability of these elements in the soil. The objective of the present study was to evaluate the availability of Cd, Cu, Fe, Mn, Pb and Zn for rice and soybeans, using different chemical extractants. In this study we used seven soil samples with different levels of contamination, in completely randomized experimental design with four replications. We determined the available concentrations of Cd, Cu, Fe, Mn, Pb and Zn extracted by Mehlich-1, HCl 0.1 mol L-1, DTPA, and organic acid extractants and the contents in rice and soybeans, which extracts were analyzed by ICP-OES. It was observed that Mehlich-1, HCl 0.1 mol L-1 and DTPA extractants were effective to assess the availability of Cd, Cu, Pb and Zn for rice and soybeans. However, the same was not observed for the organic acid extractant.

Chemical sterilization in in vitro propagation of Arundina bambusifolia Lindl. and Epidendrum ibaguense Kunth

There is a great demand for simpler and less costly laboratory techniques and for more accessible procedures for orchid breeders who do not have the necessary theoretical basis to use the traditional seed and clone production methods of orchids in vitro. The aim of this study was to assess the use of sodium hypochlorite (NaClO) as a decontaminant in the process of inoculating adult orchid explants of Arundina bambusifolia and Epidendrum ibaguenses. Solutions of NaClO (1.200, 2.400, 3.600, 4.800 and 6.000 mg L-1 - equivalent to 50, 100, 150, 200 and 250 mL L-1 of commercial bleach - CB) were sprayed on the explants (1.0 mL) and the culture medium (GB5), in the presence or absence of activated charcoal (2 g L-1). The explants used were nodal segments of field-grown adult plants. The procedures for inoculating the explants were conducted outside the laminar flow chamber (LFC), except for the control treatment (autoclaved medium and explant inoculation inside the LFC). The best results for fresh weight yield, height and number of shoots were obtained using NaClO in solution at 1.200 mg L-1 (equivalent to 50 mL L-1 commercial bleach) with activated charcoal in the culture medium. Fresh weight figures were 1.10 g/jar for Arundina bambusifolia and 0.16 g/jar for Epidendrum ibaguenses. Spraying the NaClO solutions controls the contamination of the culture medium already inoculated with the explants.

Effect of filler content on morphology and physical-chemical characteristics of poly(vinylidene fluoride)/NaY-zeolite filled membranes

Poly(vinylidene fluoride) electrospun membranes have been prepared with different NaY zeolite contents up to 32%wt. Inclusion of zeolites induces an increase of average fiber size from ~200 nm in the pure polymer up to ~500 nm in the composite with 16%wt zeolite content. For higher filler contents, a wider distribution of fibers occurs leading to a broader size distributions between the previous fiber size values. Hydrophobicity of the membranes increases from ~115º water contact angle to ~128º with the addition of the filler and is independent on filler content, indicating a wrapping of the zeolite by the polymer. The water contact angle further increases with fiber alignment up to ~137º. Electrospun membranes are formed with ~80 % of the polymer crystalline phase in the electroactive  phase, independently on the electrospinning processing conditions or filler content. Viability of MC3T3-E1 cells on the composite membranes after 72 h of cell culture indicates the suitability of the membranes for tissue engineering applications.

Sugarcane productivity correlated with physical-chemical attributes to create soil management zone

The socioeconomic importance of sugar cane in Brazil is unquestionable because it is the raw material for the production of ethanol and sugar. The accurate spatial intervention in the management of the crop, resulting zones of soil management, increases productivity as well as its agricultural yields. The spatial and Person's correlations between sugarcane attributes and physico-chemical attributes of a Typic Tropustalf were studied in the growing season of 2009, in Suzanápolis, State of São Paulo, Brazil (20°28'10'' S lat.; 50°49'20'' W long.), in order to obtain the one that best correlates with agricultural productivity. Thus, the geostatistical grid with 120 sampling points was installed to soil and data collection in a plot of 14.6 ha with second crop sugarcane. Due to their substantial and excellent linear and spatial correlations with the productivity of the sugarcane, the population of plants and the organic matter content of the soil, by evidencing substantial correlations, linear and spatial, with the productivity of sugarcane, were indicators of management zones strongly attached to such productivity.

Molybdenum mixed with glyphosate and alone via foliar spray in no-tillage common bean grown on corn stover

The effect of molybdenum (Mo) on common bean grown in desiccated corn stover in a no-tillage system was evaluated under two application modes: Mo mixed with the desiccant glyphosate and Mo direct spray to the bean leaves. The treatments (four replicates) were assigned to a completely randomized block design in a split-plot arrangement with the application of Mo (0, 100, 200, 400 and 800 g ha-1) mixed with glyphosate in the main plots and Mo foliar spray (0 and 100 g ha-1) in the sub-plots. The field experiments were carried out in 2009 and 2010 in the municipality of Coimbra, Minas Gerais State, with the common bean cultivar Ouro Vermelho. Mo mixed with glyphosate had neither an effect on common bean yield nor on the Mo and N contents in leaves, however it increased the Mo and N contents in seeds. Application of Mo via foliar spray increased Mo content in leaves and Mo and N contents in seeds. The reapplication of molybdenum with glyphosate for desiccation in subsequent crops caused a cumulative effect of Mo content in bean seeds.

Chemical treatment of papaya seeds aiming at long-term storage and control of damping off

Damping off is a nursery disease of great economic importance in papaya and seed treatment may be an effective measure to control. The aim of this work was to evaluate the quality of papaya seeds treated with fungicides and stored under two environmental and packaging conditions. Additionally, the efficiency of fungicide treatments in the control of damping-off caused by Rhizoctonia solani was evaluated. Papaya seeds were treated with the fungicides Captan, Tolylfluanid and the mixture Tolylfluanid + Captan (all commercial wettable powder formulations). Seeds of the control group were not treated. The seeds were stored for nine months in two conditions: packed in aluminum coated paper and kept at 7 ± 1ºC and in permeable kraft paper and kept in non-controlled environment. At the beginning of the storage and every three months the seed quality (germination and vigor tests), emergence rate index, height, dry mass and damping of plants in pre and post-emergence (in contaminated substrate and mycelia-free substrate) were analyzed. Both storage conditions as well as the fungicide treatments preserved the germination and seed vigor. In the infested substrate, seedling emergence was favored by fungicides, but in post-emergence, fungicides alone did not control the damping off caused by R. solani. Symptoms of damping off were not observed in the clean substrate. The results showed that the fungicide treatments may be used to pretreat papaya seed for long-term storage and commercialization.

Chemical, morphological, rheological and thermal properties of Solanum lycocarpum phosphorylated starches

The increasing need for starches with specific characteristics makes it important to study unconventional starches and their modifications in order to meet consumer demands. The aim of this work was to study physicochemical characteristics of native starch and phosphate starch of S. lycocarpum. Native starch was phosphated with sodium tripolyphosphate (5-11%) added with stirring. Chemical composition, morphology, density, binding ability to cold water, swelling power and solubility index, turbidity and syneresis, rheological and calorimetric properties were determined. Phosphorus was not detected in the native sample, but the phosphating process produced modified starches with phosphorus contents of 0.015, 0.092 and 0.397%, with the capacity of absorbing more water, either cold or hot. Rheological data showed the strong influence of phosphorus content on viscosity of phosphate starch, with lower pasting temperature and peak viscosity higher than those of native starch. Enthalpy was negatively correlated with the phosphorus content, requiring 9.7; 8.5; 8.1 and 6.4 kJ g-1 of energy for the transition from the amorphous to the crystalline state for the starch granules with phosphorus contents of 0; 0.015; 0.092 and 0.397%, respectively. Cluster analysis and principal component analysis showed that starches with 0.015 and 0.092% phosphorus have similar characteristics and are different from the others. Our results show that the characteristics of phosphate modified S. lycocarpum starch have optimal conditions to meet the demands of raw materials, which require greater consistency in stickiness, combined with low rates of retrogradation and syneresis.

Soil chemical properties affected by cover crops under no-tillage system

The use of cover crops in no-tillage systems (NTS) can significantly improve the soil's fertility. Thus, a study was performed to evaluate changes in chemical properties of soil caused by cover crops in a no-tillage system. The field experiment consisted of the following crop rotation: cover crops/rice/cover crops/rice. The experimental design was in randomized blocks with three replications. Treatments consisted of four cover crops (Brachiaria brizantha(Hochst. ex A. Rich.) Stapf. cv. Marandu, Brachiaria ruziziensis R. Germ. and C.M. Evrard, Panicum maximum Jacq. cv. Colonião, and Pennisetum glaucum(L.) R. Br. cv. BN-2) and fallow (control treatment). Soil samples were collected at the beginning of the summer crop in Oct 2007, Oct 2008 and Oct 2009 at 0-5 cm soil depth. The use of cover crops provided for a significant increase in the level of nutrients, soil organic matter, cation exchange capacity, and base saturation in the soil. Soil fertility improved from the first to second year with the growing of cover crops. The soil under cover crops P. glaucum, B. ruziziensis, and B. brizantha showed higher fertility than the area under fallow.

Postharvest biological control of brown rot in peaches after cold storage preceded by preharvest chemical control 1

ABSTRACT Pathogenic fungi cause skin darkening and peach quality depreciation in post harvest. Therefore, alternative techniques to chemical treatment are necessary in order to reduce risks to human health. The aim of this study was to evaluate the effect of the application of Trichoderma harzianum in association with different fungicides applied before harvest to 'Eldorado' peaches for brown rot control and other quality parameters during storage. The treatments consisted of five preharvest fungicide applications (control, captan, iprodione, iminoctadine and tebuconazole) associated with postharvest application of T. harzianum, after cold storage (with and without application), in three evaluation times (zero, two and four days at 20 °C), resulting in a 5x2x3 factorial design. The application of T. harzianum only brought benefits to the control of brown rot when combined with the fungicide captan, at zero day shelf life. After two days, there was a greater skin darkening in peaches treated with T. harzianum compared with peaches without the treatment, except for peaches treated with the fungicide iprodione and T. harzianum The application of T. harzianum during postharvest showed no benefits for the control of brown rot, however, the association with fungicides reduced the incidence of Rhizopus stolonifer during the shelf life.

A high-throughput screening method for general cytotoxicity part I Chemical toxicity

Foi desenvolvido um método destinado a fazer a triagem rápida e o escalonamento da toxicidade geral exercida por xenobióticos tendo como modelo o Saccharomyces cerevisiae. Para padronizar as condições de experimentação foi estabelecida a relação entre a absorvência a 525 nm e o número de células em suspensão por mililitro de meio de cultura e calculadas uma curva padrão e respectiva equação definidora (Y=6,8219E-08X + 0,0327) Culturas de Saccharomyces cerevisiae em meio completo para leveduras (YPD - 1% de glucose 2%, de peptona 0,5% e extracto de levedura 1%) foram expostas a diferentes concentrações de nicotina e a inibição do crescimento avaliada.

Essential oils of Origanum vulgare L. subsp glandulosum (Desf.) letswaart from Tunisia: chemical composition and antioxidant activity

BACKGROUND: Characterisation of the essential oils from O. glandulosum collected in three locations of Tunisia, chemical composition and the evaluation of their antioxidant activities were carried out. RESULTS: The essential oils from Origanum vulgare L. subsp. glandulosum (Desf.) letswaart collected from three localities of north Tunisia - Krib, Bargou and Nefza - were obtained in yields of 2.5, 3.0 and 4.6% (v/w), respectively. The essential oils were analysed by GC and GC/MS and assayed for their total phenolics content, by the Folin-Ciocalteu method, and antioxidant effectiveness, using the 2,2-diphenyl-1-picrylhydrazil (DPPH) radical scavenging assay. The main components of these essential oils, from Nefza, Bargou and Krib, were p-cymene (36%, 40% and 46%), thymol (32%, 39% and 18%), gamma-terpinene (24%, 12% and 16%) and carvacrol (2%, 2% and 15%), respectively). The ability to scavenge the DPPH radicals, expressed by IC50, ranged from 59 to 80 mg L-1. The total phenolic content, expressed in gallic acid equivalent (GAE) g kg(-1) dry weight, varied from 9.37 to 17.70 g kg(-1) dw. CONCLUSIONS: A correlation was identified between the total phenolic content of the essential oils and DPPH radical scavenger capacity. The occurrence of a p-cymene chemotype of O. glandulosum in the northern region of Tunisia is demonstrated.