An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Discrepancy Between Antennal and Behavioral Responses for Enantiomers of a-Pinene: Electrophysiology and Behavior of Helicoverpa Armigera (Lepidoptera)

The ability of adult cotton bollworm, Helicoverpa armigera (Hubner), to distinguish and respond to enantiomers of α-pinene was investigated with electrophysiological and behavioral methods. Electroantennogram recordings using mixtures of the enantiomers at saturating dose levels, and single unit electrophysiology, indicated that the two forms were detected by the same receptor neurons. The relative size of the electroantennogram response was higher for the (−) compared to the (+) form, indicating greater affinity for the (−) form at the level of the dendrites. Behavioral assays investigated the ability of moths to discriminate between, and respond to the (+) and (−) forms of α pinene. Moths with no odor conditioning showed an innate preference for (+)-α-pinene. This preference displayed by naıve moths was not significantly different from the preferences of moths conditioned on (+)-α-pinene. However, we found a significant difference in preference between moths conditioned on the (−) enantiomer compared to naıve moths and moths conditioned on (+)-α-pinene, showing that learning plays an important role in the behavioral response. Moths are less able to distinguish between enantiomers of α-pinene than different odors (e.g., phenylacetaldehyde versus (−)-α-pinene) in learning experiments. The relevance of receptor discrimination of enantiomers and learning ability of the moths in host plant choice is discussed.

Effect of physiological and experiential state of Bactrocera tryoni flies on intra-tree foraging behavior for food (bacteria) and host fruit

Using caged guava trees in Queensland, Australia, provided with food and oviposition sites, the foraging behaviour of females of the tephritid Bactrocera tryoni was investigated in relation to hunger for protein, the presence or absence of bacteria as a source of protein, the degree of prior experience with host fruit and quality of host fruit for oviposition. One aim was to evaluate whether it is immature or mature B. tryoni females that are responsible for initially inoculating host fruit surfaces with "fruit-fly-type" bacteria, the odour of which is known to attract B. tryoni females. Three-week-old immature females provided with sucrose but deprived of protein from eclosion had a much greater propensity than 3-week-old protein-fed mature females to visit vials containing fruit-fly-type bacteria, irrespective of whether vials were associated with adjacent host fruit or not. In the absence of associated bacteria in vials, immature females had a much lower propensity than mature females to visit host fruit. In the presence of bacteria in vials, however, propensity of immature and mature females to visit fruit was about equal. Mature (but not immature) females were more inclined to visit fruit that ranked higher for oviposition (nectarines) than fruit that ranked lower (sweet oranges). Mature females that attempted oviposition during a single 3-min exposure period to a nectarine prior to release were much more likely to find a nectarine than were mature females naive to fruit or immature females with or without prior contact with fruit. Exposure to a nectarine before release did not affect the propensity of either mature or immature females to alight on an odourless visual model of a nectarine, however. As judged by numbers of leaves visited, protein-deprived immature females were more active than protein-fed mature females, irrespective of the sorts of resources on a tree. It was concluded that: the 1st B. tryoni females to arrive on the fruit of a host tree and therefore inoculate the fruit with fruit-fly-type bacteria were unlikely to be sexually immature, but to be mature as a result of having earlier acquired protein elsewhere; the odour of colonies of fruit-fly-type bacteria when associated with host fruit attracted protein-hungry but not protein-fed females; and the odour of the fruit itself attracted mature females (especially experienced ones) but not immature females.

Singing Behavior and Singing Functions of Black-Crested Gibbons (Nomascus concolor jingdongensis) at Mt. Wuliang, Central Yunnan, China

We used data on loud duetted and solo songs collected from one habituated polygynous group of black-crested gibbons (Nomascus concolor jingdongensis) on Mt. Wuliang, Yunnan, to test several hypotheses about the functions of these songs. The major function

Heat tolerance and the effects of shade on the behavior of Simmental bulls on pasture

The objectives were to assess the degree of thermolysis capacity as a characteristic of heat tolerance of the Simmental beef cattle and evaluate the effects of shade and shade type (artificial: AS, trees: TS, or no shade: NS) on daily behavior patterns during summer. Black globe temperature (BGT) was different under the two types of shade (P < 0.05) and was lower under the TS (P < 0.01) and under AS (P > 0.01) than average BGT in the sun. Animals when in AS used more intensely the shade (P = 0.002) mostly lying down under it (10.00-14.00 hours), while time standing was similar (P = 0.107) between TS and NS. Bulls without shade (NS) spent significantly more time at the water trough and most part of the day standing idle (72.4%, 10.1 h/14 h). TS bulls spent more time grazing/standing (P < 0.001). The Simmental bulls that were in TS and AS spent more time ruminating than bulls that stay without shade (NS). The availability of shade changes grazing, rumination and idling behavior of cattle in response to environmental conditions. Shade provided by trees can be more efficient than artificial shading as cattle spent more time grazing when tree shade was available. Thermolysis capacity can be used to select heat-tolerant animals.

Evaluation of thermal behavior of latex membranes from genetically improved rubber tree (Hevea brasiliensis)

Thermal stability, thermal decomposition process, residual mass, temperature of glass transition (T-g) and temperature dependence of storage modulus (E'), were determined for latex membranes prepared from six clones of Hevea brasiliensis: IAC 331, IAC 332, IAC 333 and IAC 334 grown at experimental plantations of Instituto Agronomico de Campinas (IAC) in Votuporanga, São Paulo State, Brazil. Latex membranes from GT1 and RRIM 600 Asian matrix clones were used as references. The thermal behavior of latex membranes from genetically improved rubber trees was characterized using thermogravimetry/derivative thermogravimetry (TG/DTG), differential scanning calorimetry (DSC) and dynamic mechanical analysis (DMA). The thermal behavior of latex from clones studied in the present work showed similar features of the clones previously reported (IAC 40, IAC 300, IAC 301, IAC 328, IAC 329 and IAC 330), with mass loss in four consecutive steps, except IAC 333, which showed an additional mass loss step. (c) 2006 Elsevier B.V. All rights reserved.

Nesting behavior of the Picazuro Pigeon, Columba Picazuro (Columbidae, aves)

A pomba-asa-branca nidifica em todos os meses do ano no sudeste do Brasil. O material do ninho é quebrado dos ramos secos no tôpo de árvores ou pêgo no chão e levado para construir um ninho frágil e transparente onde será depositado um ovo. Fêmea e macho alternam-se na incubação e na criação do filhote e eles não sujam as bordas dos ninhos com fezes.

A preliminary investigation of pre-dispersal seed predation by Acanthoscelides schrankiae horn (Coleoptera: Bruchidae) in Mimosa bimucronata (DC.) Kuntze trees

This is the first record of Acanthoscelides schrankiae Horn, feeding in seeds of Mimosa bimucronata (DC.) Kuntze. We investigated the pattern of oviposition and seed exploitation by A. schrankiae, and the distribution of mature fruits and seed predation in the inflorescences. We also compared the percentage of predated seeds, the total dry weight of fruits and non-predated seeds, the percentage of aborted seeds, and the percentage of non-emergent insects, among different quadrants of the M. bimucronata canopy. To determine the occurring species, the emergence of bruchids and parasitoids was observed in the laboratory, resulting altogether, only in individuals of A. schrankiae and Horismenus sp. (Hymenoptera: Eulophidae) species, respectively. Mean number of fruits produced in the median region of inflorescence was significantly higher than in the inferior and superior regions, and the frequencies (observed and expected) of predated and non-predated seeds differed among the different regions of inflorescence. Females of A. schrankiae laid their eggs on fruits, and larvae, after emergence, perforated the exocarp to reach the seeds. Most fruits presented one to three eggs and only one bruchid larva was observed in each seed. The highest value of the rate number of eggs/fruit and the highest percentage of predated seeds were recorded in April. Dry weight of fruits (total) and seeds (non-predated), proportions of predated seeds, seed abortions, and non-emergent seed predators, were evenly distributed in the canopy.

Applying machine learning based on multiscale classifiers to detect remote phenology patterns in Cerrado savanna trees

Plant phenology is one of the most reliable indicators of species responses to global climate change, motivating the development of new technologies for phenological monitoring. Digital cameras or near remote systems have been efficiently applied as multi-channel imaging sensors, where leaf color information is extracted from the RGB (Red, Green, and Blue) color channels, and the changes in green levels are used to infer leafing patterns of plant species. In this scenario, texture information is a great ally for image analysis that has been little used in phenology studies. We monitored leaf-changing patterns of Cerrado savanna vegetation by taking daily digital images. We extract RGB channels from the digital images and correlate them with phenological changes. Additionally, we benefit from the inclusion of textural metrics for quantifying spatial heterogeneity. Our first goals are: (1) to test if color change information is able to characterize the phenological pattern of a group of species; (2) to test if the temporal variation in image texture is useful to distinguish plant species; and (3) to test if individuals from the same species may be automatically identified using digital images. In this paper, we present a machine learning approach based on multiscale classifiers to detect phenological patterns in the digital images. Our results indicate that: (1) extreme hours (morning and afternoon) are the best for identifying plant species; (2) different plant species present a different behavior with respect to the color change information; and (3) texture variation along temporal images is promising information for capturing phenological patterns. Based on those results, we suggest that individuals from the same species and functional group might be identified using digital images, and introduce a new tool to help phenology experts in the identification of new individuals from the same species in the image and their location on the ground. © 2013 Elsevier B.V. All rights reserved.

Behavior of the brown-rot fungus Gloeophyllum trabeum on thermally-modified Eucalyptus grandis wood

In this study, we aimed evaluate the behavior of the brown-rot fungus Gloeophylum trabeum and white-rot fungus Pycnoporus sanguineus on thermally-modified Eucalyptus grandis wood. To this end, boards from five-year-eleven-month-old E. grandis trees, taken from the Duratex-SA company stock, were thermally-modified between 180 ºC and 220 ºC in the Laboratory of Wood Drying and Preservation at Universidade Estadual Paulista - UNESP, Botucatu, Sao Paulo state Brazil. Samples of each treatment were tested according to the ASTM D-2017 (2008) technical norm. The accelerated decay caused by the brown-rot fungus G. trabeum was compared with the decay caused by the white-rot fungus P. sanguineus, studied by Calonego et al. (2010). The results showed that (1) brown-rot fungus caused greater decay than white-rot fungus; and (2) the increase in temperature from 180 to 220 ºC caused reductions between 28.2% and 70.0% in the weight loss of E. grandis samples incubated with G. trabeum.

Protocylindrocorpus brasiliensis n. sp. (Diplogastroidea: Cylindrocorporidae) associated with the ambrosia beetle, Euplatypus parallelus (f.) (Curculionidae: Platypodinae) in para rubber trees (Hevea brasiliensis)

Protocylindrocorpus brasiliensis n. sp. (Diplogastroidea: Cylindrocorporidae) is described from reproductive stages removed from galleries of the ambrosia beetle, Euplatypus parallelus (F.) (Curculionidae: Platypodinae) in Para rubber trees (Hevea brasiliensis) in Brazil. This is the first record of the genus Protocylindrocorpus from the Neotropics. Males of P. brasiliensis are quite striking because their long spicules extend up to 72% of their total body length. The adults exhibit conspecific agglutination where they congregate in a slimy substance that serves to maintain them in a coherent group for mating. Some of the adults were infected by fungal and protozoan pathogens, implying that disease plays a role in regulating natural populations. The discovery of P. brasiliensis provides new information on nematode structure, behavior, and ecology.

Detection and landing behavior of emerald ash borer, Agrilus planipennis, at low population density

The exotic emerald ash borer, Agrilus planipennis Fairmaire (Coleoptera: Buprestidae), was first discovered in North America in southeastern Michigan, USA, and Windsor, Ontario, Canada in 2002. Significant ash (Fraxinus spp.) mortality has been caused in areas where this insect has become well established, and new infestations continue to be discovered in several states in the United States and in Canada. This beetle is difficult to detect when it invades new areas or occurs at low density. Girdled trap tree and ground surveys have been important tools for detecting emerald ash borer populations, and more recently, purple baited prism traps have been used in detection efforts. Girdled trap trees were found to be more effective than purple prism traps at detecting emerald ash borer as they acted as sinks for larvae in an area of known low density emerald ash borer infestation. The canopy condition of the trap trees was not predictive of whether they were infested or not, indicating that ground surveys may not be effective for detection in an area of low density emerald ash borer population. When landing rates of low density emerald ash borer populations were monitored on non-girdled ash trees, landing rates were higher on larger, open grown trees with canopies that contain a few dead branches. As a result of these studies, we suggest that the threshold for emerald ash borer detection using baited purple prism traps hung at the canopy base of trees is higher than for girdled trap trees. In addition, detection of developing populations of EAB may be possible by selectively placing sticky trapping surfaces on non-girdled trap trees that are the larger and more open grown trees at a site.

Aircraft accident report : collision with trees and crash short of the runway, Corporate Airlines flight 5966, BAE systems BAE-J3201, N875JX, Kirksville, Missouri, October 19, 2004 /

On October 19, 2004, about 1937 central daylight time, Corporate Airlines (doing business as American Connection) flight 5966, a BAE Systems BAE-J3201, N875JX, struck trees on final approach and crashed short of runway 36 at the Kirksville Regional Airport (IRK), Kirksville, Missouri. The flight was operating under the provisions of 14 Code of Federal Regulations Part 121 as a scheduled passenger flight from Lambert-St. Louis International Airport, in St. Louis, Missouri, to IRK. The captain, first officer, and 11 of the 13 passengers were fatally injured, and 2 passengers received serious injuries. The airplane was destroyed by impact and a post impact fire. Night instrument meteorological conditions (IMC) prevailed at the time of the accident, and the flight operated on an instrument flight rules flight plan. The National Transportation Safety Board determines that the probable cause of the accident was the pilots' failure to follow established procedures and properly conduct a nonprecision instrument approach at night in IMC, including their descent below the minimum descent altitude (MDA) before required visual cues were available (which continued unmoderated until the airplane struck the trees) and their failure to adhere to the established division of duties between the flying and nonflying (monitoring) pilot. Contributing to the accident was the pilots' failure to make standard callouts and the current Federal Aviation Regulations that allow pilots to descend below the MDA into a region in which safe obstacle clearance is not assured based upon seeing only the airport approach lights. The pilots' unprofessional behavior during the flight and their fatigue likely contributed to their degraded performance. The safety issues in this report focus on operational and human factors issues, including the pilots' professionalism and sterile cockpit procedures, nonprecision instrument approach procedures, flight and duty time regulations, fatigue, and flight data/image recorder requirements.

Applying network analysis to the conservation of habitat trees in urban environments: a case study from Brisbane, Australia

In Australia more than 300 vertebrates, including 43 insectivorous bat species, depend on hollows in habitat trees for shelter, with many species using a network of multiple trees as roosts, We used roost-switching data on white-striped freetail bats (Tadarida australis; Microchiroptera: Molossidae) to construct a network representation of day roosts in suburban Brisbane, Australia. Bats were caught from a communal roost tree with a roosting group of several hundred individuals and released with transmitters. Each roost used by the bats represented a node in the network, and the movements of bats between roosts formed the links between nodes. Despite differences in gender and reproductive stages, the bats exhibited the same behavior throughout three radiotelemetry periods and over 500 bat days of radio tracking: each roosted in separate roosts, switched roosts very infrequently, and associated with other bats only at the communal roost This network resembled a scale-free network in which the distribution of the number of links from each roost followed a power law. Despite being spread over a large geographic area (> 200 km(2)), each roost was connected to others by less than three links. One roost (the hub or communal roost) defined the architecture of the network because it had the most links. That the network showed scale-free properties has profound implications for the management of the habitat trees of this roosting group. Scale-free networks provide high tolerance against stochastic events such as random roost removals but are susceptible to the selective removal of hub nodes. Network analysis is a useful tool for understanding the structural organization of habitat tree usage and allows the informed judgment of the relative importance of individual trees and hence the derivation of appropriate management decisions, Conservation planners and managers should emphasize the differential importance of habitat trees and think of them as being analogous to vital service centers in human societies.

Root behavior of savanna species in Brazil's Pantanal wetland.

The objective of this study was to determine the maximum depth, structure, diameter and biomass of the roots of common woody species in two savanna physiognomies (savanna woodland and open woody savanna) in Brazil's Pantanal wetland. The root systems of 37 trees and 34 shrubs of 15 savanna species were excavated to measure their length and depth and estimate the total root biomass through allometric relationships with stem diameter at ground level. In general, statistical regression models between root weight and stem diameter at ground level showed a significance of P < 0.05 and R2 values close to or above 0.8. The average depths of the root system in wetland savanna woodland and open woody savanna are 0.8 ± 0.3 m and 0.7 ± 0.2 m, respectively, and differ from the root systems of savanna woody species in non-flooding areas, whose depth usually ranges from 3 to 19 m.Weattribute this difference to the adaptation of woody plant to the shallow water table, particularly during the wet season. This singularity of woody species in wetland savannas is important when considering biomass and carbon stocks for national and global carbon inventories.