Development of a weather-based model for Botrytis leaf blight of onion

ABSTRACT In the present study, onion plants were tested under controlled conditions for the development of a climate model based on the influence of temperature (10, 15, 20 and 25°C) and leaf wetness duration (6, 12, 24 and 48 hours) on the severity of Botrytis leaf blight of onion caused by Botrytis squamosa. The relative lesion density was influenced by temperature and leaf wetness duration (P <0.05). The disease was most severe at 20°C. Data were subjected to nonlinear regression analysis. Beta generalized function was used to adjust severity and temperature data, while a logistic function was chosen to represent the effect of leaf wetness on the severity of Botrytis leaf blight. The response surface obtained by the product of two functions was expressed as ES = 0.008192 * (((x-5)1.01089) * ((30-x)1.19052)) * (0.33859/(1+3.77989 * exp (-0.10923*y))), where ES represents the estimated severity value (0.1); x, the temperature (°C); and y, the leaf wetness (in hours). This climate model should be validated under field conditions to verify its use as a computational system for the forecasting of Botrytis leaf blight in onion.

Formal development and quantitative verification of dependable systems

-

Development and evaluation of a loop-mediated isothermal amplification (LAMP) assay for rapid detection of Actinobacillus pleuropneumoniae based the dsbE-like gene

This paper reports on the development and validation of a loop-mediated isothermal amplification assay (LAMP) for the rapid and specific detection of Actinobacillus pleuropneumoniae (A. pleuropneumoniae). A set of six primers were designed derived from the dsbE-like gene of A.pleuropneumoniae and validate the assay using 9 A. pleuropneumoniae reference/field strains, 132 clinical isolates and 9 other pathogens. The results indicated that positive reactions were confirmed for all A. pleuropneumoniae strains and specimens by LAMP at 63ºC for 60 min and no cross-reactivity were observed from other non-A.pleuropneumoniae including Haemophilus parasuis, Escherichia coli, Pasteurella multocida, Bordetella bronchiseptica, Streptococcus suis, Salmonella enterica, Staphylococcus, porcine reproductive and respiratory syndrome virus (PRRSV), and Pseudorabies virus. The detection limit of the conventional PCR was 10² CFU per PCR test tube, while that of the LAMP was 5 copies per tube. Therefore, the sensitivity of LAMP was higher than that of PCR. Moreover, the LAMP assay provided a rapid yet simple test of A. pleuropneumoniae suitable for laboratory diagnosis and pen-side detection due to ease of operation and the requirement of only a regular water bath or heat block for the reaction.

Development of porous glass-fiber reinforced composite for bone implants. Evaluation of antimicrobial effect and implant fixation

Cranial bone reconstructions are necessary for correcting large skull bone defects due to trauma, tumors, infections and craniotomies. Traditional synthetic implant materials include solid or mesh titanium, various plastics and ceramics. Recently, biostable glass-fiber reinforced composites (FRC), which are based on bifunctional methacrylate resin, were introduced as novel implant solution. FRCs were originally developed and clinically used in dental applications. As a result of further in vitro and in vivo testing, these composites were also approved for clinical use in cranial surgery. To date, reconstructions of large bone defects were performed in 35 patients. This thesis is dedicated to the development of a novel FRC-based implant for cranial reconstructions. The proposed multi-component implant consists of three main parts: (i) porous FRC structure; (ii) bioactive glass granules embedded between FRC layers and (iii) a silver-polysaccharide nanocomposite coating. The porosity of the FRC structure should allow bone ingrowth. Bioactive glass as an osteopromotive material is expected to stimulate the formation of new bone. The polysaccharide coating is expected to prevent bacterial colonization of the implant. The FRC implants developed in this study are based on the porous network of randomly-oriented E-glass fibers bound together by non-resorbable photopolymerizable methacrylate resin. These structures had a total porosity of 10–70 volume %, of which > 70% were open pores. The pore sizes > 100 μm were in the biologically-relevant range (50-400 μm), which is essential for vascularization and bone ingrowth. Bone ingrowth into these structures was simulated by imbedding of porous FRC specimens in gypsum. Results of push-out tests indicated the increase in the shear strength and fracture toughness of the interface with the increase in the total porosity of FRC specimens. The osteopromotive effect of bioactive glass is based on its dissolution in the physiological environment. Here, calcium and phosphate ions, released from the glass, precipitated on the glass surface and its proximity (the FRC) and formed bone-like apatite. The biomineralization of the FRC structure, due to the bioactive glass reactions, was studied in Simulated Body Fluid (SBF) in static and dynamic conditions. An antimicrobial, non-cytotoxic polysaccharide coating, containing silver nanoparticles, was obtained through strong electrostatic interactions with the surface of FRC. In in vitro conditions the lactose-modified chitosan (chitlac) coating showed no signs of degradation within seven days of exposure to lysozyme or one day to hydrogen peroxide (H2O2). The antimicrobial efficacy of the coating was tested against Staphylococcus aureus and Pseudomonas aeruginosa. The contact-active coating had an excellent short time antimicrobial effect. The coating neither affected the initial adhesion of microorganisms to the implant surface nor the biofilm formation after 24 h and 72 h of incubation. Silver ions released to the aqueous environment led to a reduction of bacterial growth in the culture medium.

Growth and development of honey weed based on days or thermal units

This work was carried out with the objective of evaluating the growth and development of honey weed (Leonurus sibiricus) based on days or thermal units (growing degree days). Thus, two independent trials were developed to quantify the phenological development and total dry mass accumulation in increasing or decreasing photoperiod conditions. Considering only one growing season, honey weed phenological development was perfectly fit to day scale or growing degree days, but with no equivalence between seasons, with the plants developing faster at increasing photoperiods, and flowering 100 days after seeding. Even day-time scale or thermal units were not able to estimate general honey weed phenology during the different seasons of the year. In any growing condition, honey weed plants were able to accumulate a total dry mass of over 50 g per plant. Dry mass accumulation was adequately fit to the growing degree days, with highlights to a base temperature of 10 ºC. Therefore, a higher environmental influence on species phenology and a lower environmental influence on growth (dry mass) were observed, showing thereby that other variables, such as the photoperiod, may potentially complement the mathematical models.

Initial growth and development of southern sandbur based on thermal units

Availability of basic information on weed biology is an essential tool for designing integrated management programs for agricultural systems. Thus, this study was carried out in order to calculate the base temperature (Tb) of southern sandbur (Cenchrus echinatus), as well as fit the initial growth and development of the species to accumulated thermal units (growing degree days - GDD). For that purpose, experimental populations were sown six times in summer/autumn conditions (decreasing photoperiod) and six times in winter/spring condition (increasing photoperiod). Southern sandbur phenological evaluations were carried out, on alternate days, and total dry matter was measured when plants reached the flowering stage. All the growth and development fits were performed based on thermal units by assessing five base temperatures, as well as the absence of it. Southern sandbur development was best fit with Tb = 12 ºC, with equation y = 0,0993x, where y is the scale of phenological stage and x is the GDD. On average, flowering was reached at 518 GDD. Southern sandbur phenology may be predicted by using mathematical models based on accumulated thermal units, adopting Tb = 12 ºC. However, other environmental variables may also interfere with species development, particularly photoperiod.

Growth and development of sourgrass based on days or thermal units

This work was carried out with the objective of evaluating growth and development of sourgrass (Digitaris insularis) based on days or thermal units (growing degree days - GDD). Two independent trials were developed aiming to quantify the species' phenological development and total dry matter accumulation in increasing or decreasing photoperiod conditions. Plants were grown in 4 L plastic pots, filled with commercial substrate, adequately fertilized. In each trial, nine growth evaluations were carried out, with three replicates. Phenological development of sourgrass was correctly fit to time scale in days or GDD, through linear equation of first degree. Sourgrass has slow initial growth, followed by exponential dry matter accumulation, in increasing photoperiod condition. Maximum total dry matter was 75 and 6 g per plant for increasing and decreasing photoperiod conditions, respectively. Thus, phenological development of sourgrass may be predicted by mathematical models based on days or GDD; however, it should be noted that other environmental variables interfere on the species' growth (mass accumulation), especially photoperiod.

Growth and Development of Purple Nutsedge Based on Days or Thermal Units

This work was carried out with the objective of elaborating mathematical models to predict growth and development of purple nutsedge (Cyperus rotundus) based on days or accumulated thermal units (growing degree days). Thus, two independent trials were developed, the first with a decreasing photoperiod (March to July) and the second with an increasing photoperiod (August to November). In each trial, ten assessments of plant growth and development were performed, quantifying total dry matter and the species phenology. After that, phenology was fit to first degree equations, considering individual trials or their grouping. In the same way, the total dry matter was fit to logistic-type models. In all regressions four temporal scales possibilities were assessed for the x axis: accumulated days or growing degree days (GDD) with base temperatures (Tb) of 10, 12 and 15 oC. For both photoperiod conditions, growth and development of purple nutsedge were adequately fit to prediction mathematical models based on accumulated thermal units, highlighting Tb = 12 oC. Considering GDD calculated with Tb = 12 oC, purple nutsedge phenology may be predicted by y = 0.113x, while species growth may be predicted by y = 37.678/(1+(x/509.353)-7.047).

Development and validation of a genotype 3 recombinant protein-based immunoassay for hepatitis E virus serology in swine

Hepatitis E virus (HEV) is classified within the family Hepeviridae, genus Hepevirus. HEV genotype 3 (Gt3) infections are endemic in pigs in Western Europe and in North and South America and cause zoonotic infections in humans. Several serological assays to detect HEV antibodies in pigs have been developed, at first mainly based on HEV genotype 1 (Gt1) antigens. To develop a sensitive HEV Gt3 ELISA, a recombinant baculovirus expression product of HEV Gt3 open reading frame-2 was produced and coated onto polystyrene ELISA plates. After incubation of porcine sera, bound HEV antibodies were detected with anti-porcine anti-IgG and anti-IgM conjugates. For primary estimation of sensitivity and specificity of the assay, sets of sera were used from pigs experimentally infected with HEV Gt3. For further validation of the assay and to set the cutoff value, a batch of 1100 pig sera was used. All pig sera were tested using the developed HEV Gt3 assay and two other serologic assays based on HEV Gt1 antigens. Since there is no gold standard available for HEV antibody testing, further validation and a definite setting of the cutoff of the developed HEV Gt3 assay were performed using a statistical approach based on Bayes' theorem. The developed and validated HEV antibody assay showed effective detection of HEV-specific antibodies. This assay can contribute to an improved detection of HEV antibodies and enable more reliable estimates of the prevalence of HEV Gt3 in swine in different regions.

Development and characterization of edible films based on gluten from semi-hard and soft Brazilian wheat flours (development of films based on gluten from wheat flours)

Edible films based on gluten from four types of Brazilian wheat gluten (2 "semi-hard" and 2 "soft") were prepared and mechanical and barrier properties were compared with those of wheat gluten films with vital gluten. Water vapor, oxygen permeability, tensile strength and percent elongation at break, solubility in water and surface morphology were measured. The films from "semi-hard" wheat flours showed similar water vapor permeability and solubility in water to films from vital gluten and better tensile strength than the films from "soft" and vital gluten. The films from vital gluten had higher elongation at break and oxygen permeability and also lower solubility in water than the films from the Brazilian wheat "soft" flours. In spite of the vital gluten showed greater mechanical resistance, desirable for the bakery products, for the purpose of developing gluten films Brazilian "semi-hard" wheat flours can be used instead of vital gluten, since they showed similar barrier and mechanical properties.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Development and chemical and sensory characterization of pumpkin seed flour-based cereal bars

Pumpkin (Cucurbita maxima), popularly known as squash, is a widely grown vegetable in Brazil. In this study, pumpkin seed flours (PSF) with different granulometries were used: PSF 1 (medium granulometry) and PSF 2 (coarse granulometry) in the preparation of cereal bars (CB) with different combinations with brown oats. Five formulations were prepared: CB-1 (control - 25% brown oats and 0% PSF); CB-2 (12.5% PSF 1 and 12.5% brown oats); CB-3 (25% PSF 1 and 0% brown oats); CB-4 (12.5% PSF 2 and 12.5% brown oats); and CB-5 (25% PSF 2 and 0% brown oats). The acceptance test results were analyzed in a conventional preference mapping which indicated that the bars CB-2 and CB-5 received mostly the maximum hedonistic score. With the objective of developing a cereal bar replacing oats with PSF, the bars CB-2 and CB-5 were compared to the conventional bar CB-1. The cereal bars CB-2 and CB-5 showed an increase in crude protein (87.5% and 62.5%) and in dietary fiber (77% and 44%), respectively. These results allowed the classification of CB-2 and CB-5 as fiber sources; they can, therefore, be classified as light products according to the Brazilian legislation.

Viologen based electroactive polymers and composites for durable electrochromic systems

Electrochromism, the phenomenon of reversible color change induced by a small electric charge, forms the basis for operation of several devices including mirrors, displays and smart windows. Although, the history of electrochromism dates back to the 19th century, only the last quarter of the 20th century has its considerable scientific and technological impact. The commercial applications of electrochromics (ECs) are rather limited, besides top selling EC anti-glare mirrors by Gentex Corporation and airplane windows by Boeing, which made a huge commercial success and exposed the potential of EC materials for future glass industry. It is evident from their patents that viologens (salts of 4,4ʹ-bipyridilium) were the major active EC component for most of these marketed devices, signifying the motivation of this thesis focusing on EC viologens. Among the family of electrochromes, viologens have been utilized in electrochromic devices (ECDs) for a while, due to its intensely colored radical cation formation induced by applying a small cathodic potential. Viologens can be synthesized as oligomer or in the polymeric form or as functionality to conjugated polymers. In this thesis, polyviologens (PVs) were synthesized starting from cyanopyridinium (CNP) based monomer precursors. Reductive coupling of cross-connected cyano groups yields viologen and polyviologen under successive electropolymerization using for example the cyclic voltammetry (CV) technique. For further development, a polyviologen-graphene composite system was fabricated, focusing at the stability of the PV electrochrome without sacrificing its excellent EC properties. High electrical conductivity, high surface area offered by graphene sheets together with its non-covalent interactions and synergism with PV significantly improved the electrochrome durability in the composite matrix. The work thereby continued in developing a CNP functionalized thiophene derivative and its copolymer for possible utilization of viologen in the copolymer blend. Furthermore, the viologen functionalized thiophene derivative was synthesized and electropolymerized in order to explore enhancement in the EC contrast and overall EC performance. The findings suggest that such electroactive viologen/polyviologen systems and their nanostructured composite films as well as viologen functionalized conjugated polymers, can be potentially applied as an active EC material in future ECDs aiming at durable device performances.