A safety assessment methodology applied to CNS/ATM-based air traffic control system

In the last decades, the air traffic system has been changing to adapt itself to new social demands, mainly the safe growth of worldwide traffic capacity. Those changes are ruled by the Communication, Navigation, Surveillance/Air Traffic Management (CNS/ATM) paradigm, based on digital communication technologies (mainly satellites) as a way of improving communication, surveillance, navigation and air traffic management services. However, CNS/ATM poses new challenges and needs, mainly related to the safety assessment process. In face of these new challenges, and considering the main characteristics of the CNS/ATM, a methodology is proposed at this work by combining ""absolute"" and ""relative"" safety assessment methods adopted by the International Civil Aviation Organization (ICAO) in ICAO Doc.9689 [14], using Fluid Stochastic Petri Nets (FSPN) as the modeling formalism, and compares the safety metrics estimated from the simulation of both the proposed (in analysis) and the legacy system models. To demonstrate its usefulness, the proposed methodology was applied to the ""Automatic Dependent Surveillance-Broadcasting"" (ADS-B) based air traffic control system. As conclusions, the proposed methodology assured to assess CNS/ATM system safety properties, in which FSPN formalism provides important modeling capabilities, and discrete event simulation allowing the estimation of the desired safety metric. (C) 2011 Elsevier Ltd. All rights reserved.

Over the Air Download for Digital Television Receivers Upgrade

Over the air download is an important feature for terrestrial digital television systems. It provides a cheaper option for DTV receiver manufacturers to provide bug fixes and quality improvements to their products, allowing a shorter time to the market. This paper presents a mechanism proposal of an over the air download software update for the Brazilian system. This mechanism was specified considering the Brazilian DTV over the air download specifications, but it was extended considering efficiency, reliability and user transparency as requirements for software update. A proof of concept was implemented on a Linux based set-top box. The mechanism is divided into five main functional parts: download schedule, packets download, packets authentication, installation and error robustness. Some analyses were conducted upon the implementation considering the following criteria: download robustness and maximum downloading rate. (1)

The effect of the dibenzylbutyrolactolic lignan (-)-cubebin on doxorubicin mutagenicity and recombinogenicity in wing somatic cells of Drosophila melanogaster

The dibenzylbutyrolactolic lignan (-)-cubebin was isolated from dry seeds of Piper cubeba L (Piperaceae). (-)-Cubebin possesses anti-inflammatory, analgesic and antimicrobial activities. Doxorubicin (DXR) is a topoisomerase-interactive agent that may induce single- and double-strand breaks, intercalate into the DNA and generate oxygen free radicals. Here, we examine the mutagenicity and recombinogenicity of different concentrations of (-)-cubebin alone or in combination with DXR using standard (ST) and high bioactivation (HB) crosses of the wing Somatic Mutation And Recombination Test in Drosophila melanogaster. The results from both crosses were rather similar. (-)-Cubebin alone did not induce mutation or recombination. At lower concentrations, (-)-cubebin statistically reduced the frequencies of DXR-induced mutant spots. At higher concentrations, however, (-)-cubebin was found to potentiate the effects of DXR, leading to either an increase in the production of mutant spots or a reduction, due to toxicity. These results suggest that depending on the concentration, (-)-cubebin may interact with the enzymatic system that catalyzes the metabolic detoxification of DXR, inhibiting the activity of mitochondria! complex 1 and thereby scavenging free radicals. Recombination was found to be the major effect of the treatments with DXR alone. The combined treatments reduced DXR mutagenicity but did not affect DXR recombinogenicity. (C) 2011 Elsevier Ltd. All rights reserved.

Distance Education in Another Register: Uses and Appropriation of Technologies in Teacher Education

The article explores the relationships between distance education, information and communication technologies and teacher education. Its focus is on the interactive media and its uses in an in-service teacher education program, in Brazil, and on the ways the teachers used the technologies doing their own appropriateness. It departs from the presuppositions of the society of knowledge, that is, the close relationships between new technologies, continuing professional development and social inclusion, arguing that this paradigm is an ideological discourse. The article shows how the teachers have used the technologies in creative ways, calling the attention to the importance of this teachers` abilities as a basic skill to facing the challenges of the society of knowledge itself.

Ockham's Razor: The Discovery of Neptune

The discovery of Neptune in September 1846 is a good example of scientific rationality but it has proven to be surprisingly difficult to explain how this is so from the perspective of Karl Popper, Thomas Kuhn and several other commentators who have been influenced by these thinkers. I try briefly to explain how to avoid these difficulties and understand the achievement of the astronomers who predicted the location of the new planet, Urbain J. J. Leverrier and John Couch Adams.

Scalable Visualization of Galaxies, Oceans, and Brains

One of the challenges in scientific visualization is to generate software libraries suitable for the large-scale data emerging from tera-scale simulations and instruments. We describe the efforts currently under way at SDSC and NPACI to address these challenges. The scope of the SDSC project spans data handling, graphics, visualization, and scientific application domains. Components of the research focus on the following areas: intelligent data storage, layout and handling, using an associated “Floor-Plan” (meta data); performance optimization on parallel architectures; extension of SDSC’s scalable, parallel, direct volume renderer to allow perspective viewing; and interactive rendering of fractional images (“imagelets”), which facilitates the examination of large datasets. These concepts are coordinated within a data-visualization pipeline, which operates on component data blocks sized to fit within the available computing resources. A key feature of the scheme is that the meta data, which tag the data blocks, can be propagated and applied consistently. This is possible at the disk level, in distributing the computations across parallel processors; in “imagelet” composition; and in feature tagging. The work reflects the emerging challenges and opportunities presented by the ongoing progress in high-performance computing (HPC) and the deployment of the data, computational, and visualization Grids.

Using FCD Mapper Software and Landsat Images to Assess Forest Canopy Density in Landscapes in Australia and the Philippines

Using Landsat imagery, forest canopy density (FCD) estimated with the FCD Mapper®, was correlated with predominant height (PDH, measured as the average height of the tallest 50 trees per hectare) for 20 field plots measured in native forest at Noosa Heads, south-east Queensland, Australia. A corresponding image was used to calculate FCD in Leyte Island, the Philippines and was validated on the ground for accuracy. The FCD Mapper was produced for the International Tropical Timber Organisation and estimates FCD as an index of canopy density using reflectance characteristics of Landsat Enhanced Thematic (ETM) Mapper images. The FCD Mapper is a ‘semi-expert’ computer program which uses interactive screens to allow the operator to make decisions concerning the classification of land into bare soil, grass and forest. At Noosa, a positive strong nonlinear relationship (r2 = 0.86) was found between FCD and PDH for 15 field plots with variable PDH but complete canopy closure. An additional five field plots were measured in forest with a broken canopy and the software assessed these plots as having a much lower FCD than forest with canopy closure. FCD estimates for forest and agricultural land in the island of Leyte and subsequent field validation showed that at appropriate settings, the FCD Mapper differentiated between tropical rainforest and banana or coconut plantation. These findings suggest that in forests with a closed canopy this remote sensing technique has promise for forest inventory and productivity assessment. The findings also suggest that the software has promise for discriminating between native forest with a complete canopy and forest which has a broken canopy, such as coconut or banana plantation.

Ending the affair: The decline of television current affairs in Australia

Examines the state of current affairs television in Australia today by pondering the future, while drawing lessons from the past. The book questions the social and political value of what we now think of as current affairs journalism.

An experimental study of the effects of work stress, work control, and task information on adjustment

The present study was designed to examine the main and interactive effects of task demands, work control, and task information on levels of adjustment. Task demands, work control, and task information were manipulated in an experimental setting where participants completed a letter-sorting activity (N = 128). Indicators of adjustment included measures of positive mood, participants' perceptions of task performance, and task satisfaction. Results of the present study provided some support for the main effects of objective task demands, work control, and task information on levels of adjustment. At the subjective level of analysis, there was some evidence to suggest that work control and task information interacted in their effects on levels of adjustment. There was minimal support for the proposal that work control and task information would buffer the negative effects of task demands on adjustment. There was, however, some evidence to suggest that the stress-buffering role of subjective work control was more marked at high, rather than low, levels of subjective task information.

Educational characteristics of students with high or low self-concept

In response to methodological concerns associated with previous research into the educational characteristics of students with high or low self-concept, the topic was re-examined using a significantly more representative sample and a contemporary self-concept measure. From an initial screening of 515 preadolescent, coeducational students in 18 schools, students significantly high or low in self-concept were compared using standardized tests in reading, spelling, and mathematics, and teacher interviews to determine students' academic and nonacademic characteristics. The teachers were not informed of the self-concept status of the students. Compared to students with low self-concept, students with high self-concept were rated by teachers as being more popular, cooperative, and persistent in class, showed greater leadership, were lower in anxiety, had more supportive families, and had higher teacher expectations for their future success. Teachers observed that students with low self-concept were quiet and withdrawn, while peers with high self-concept were talkative and more dominating with peers. Students with lower self-concepts were also lower than their peers in reading, spelling, and mathematical abilities. The findings support the notion that there is an interactive relationship between self-concept and achievement. (C) 1998 John Wiley & Sons, Inc.

The moderating role of task characteristics in determining responses to a stressful work simulation

Two experimental studies were conducted to examine whether the stress-buffering effects of behavioral control on work task responses varied as a function of procedural information. Study 1 manipulated low and high levels of task demands, behavioral control, and procedural information for 128 introductory psychology students completing an in-basket activity. ANOVA procedures revealed a significant three-way interaction among these variables in the prediction of subjective task performance and task satisfaction. It was found that procedural information buffered the negative effects of task demands on ratings of performance and satisfaction only under conditions of low behavioral control. This pattern of results suggests that procedural information may have a compensatory effect when the work environment is characterized by a combination of high task demands and low behavioral control. Study 2 (N = 256) utilized simple and complex versions of the in-basket activity to examine the extent to which the interactive relationship among task demands, behavioral control, and procedural information varied as a function of task complexity. There was further support for the stress-buffering role of procedural information on work task responses under conditions of low behavioral control. This effect was, however, only present when the in-basket activity was characterized by high task complexity, suggesting that the interactive relationship among these variables may depend on the type of tasks performed at work. Copyright (C) 1999 John Wiley & Sons, Ltd.

Does maintaining green leaf area in sorghum improve yield under drought? I. Leaf growth and senescence

Production of sorghum [Sorghum bicolor (L.) Moench], an important cereal crop in semiarid regions of the world, is often limited by drought. When water is limiting during the grain-filling period, hybrids possessing the stay-green trait maintain more photosynthetically active leaves than hybrids not possessing this trait. To improve yield under drought, knowledge of the extent of genetic variation in green leaf area retention is required. Field studies were undertaken in north-eastern Australia on a cracking and self-mulching gray clay to determine the effects of water regime and hybrid on the components of green leaf area at maturity (GLAM). Nine hybrids varying in stay-green were grown under a fully irrigated control, postflowering water deficit, and terminal (pre- and postflowering) water deficit. Water deficit reduced GLAM by 67% in the terminal drought treatment compared with the fully irrigated control. Under terminal water deficit, hybrids possessing the B35 and KS19 sources of stay-green retained more GLAM (1260 cm(2) plant(-1)) compared with intermediate (780 cm(2) plant(-1)) and senescent (670 cm(2) plant(-1)) hybrids. RQL12 hybrids (KS19 source of stay-green) displayed delayed onset and reduced rate of senescence; A35 hybrids displayed only delayed onset. Visual rating of green leaf retention was highly correlated with measured GLAM, although this procedure is constrained by an inability to distinguish among the functional mechanisms determining the phenotype. Linking functional rather than phenotypic differences to molecular markers may improve the efficiency of selecting for traits such as stay-green.

Integrating attribute and space characteristics in choropleth display and spatial data mining

This paper develops an interactive approach for exploratory spatial data analysis. Measures of attribute similarity and spatial proximity are combined in a clustering model to support the identification of patterns in spatial information. Relationships between the developed clustering approach, spatial data mining and choropleth display are discussed. Analysis of property crime rates in Brisbane, Australia is presented. A surprising finding in this research is that there are substantial inconsistencies in standard choropleth display options found in two widely used commercial geographical information systems, both in terms of definition and performance. The comparative results demonstrate the usefulness and appeal of the developed approach in a geographical information system environment for exploratory spatial data analysis.

Nitrogen dynamics and the physiological basis of stay-green in sorghum

Sorghum [Sorghum bicolor (L,) Moench] hybrids containing the stay-green trait retain more photosynthetically active leaves under drought than do hybrids that do not contain this trait. Since the Longevity and photosynthetic capacity of a leaf are related to its N status, it is important to clarify the role of N in extending leaf greenness in stay-green hybrids. Field studies were conducted in northeastern Australia to examine the effect of three water regimes and nine hybrids on N uptake and partitioning among organs. Nine hybrids varying in the B35 and KS19 sources of stay-green were grown under a fully irrigated control, post-flowering water deficit, and terminal water deficit. For hybrids grown under terminal water deficit, stay-green was viewed as a consequence of the balance between N demand by the grain and N supply during gain filling. On the demand side, grain numbers were 16% higher in the four stay-green than in the five senescent hybrids. On the supply side, age-related senescence provided an average of 34 and 42 kg N ha(-1) for stay-green and senescent hybrids, respectively. In addition, N uptake during grain filling averaged 116 and 82 kg ha(-1) in stay-green and senescent hybrids. Matching the N supply from these two sources with grain N demand found that the shortfall in N supply for grain filling in the stay-green and senescent hybrids averaged 32 and 41 kg N ha(-1) resulting in more accelerated leaf senescence in the senescent hybrids. Genotypic differences in delayed onset and reduced rate of leaf senescence were explained by differences in specific leaf nitrogen and N uptake during grain filling. Leaf nitrogen concentration at anthesis was correlated with onset (r = 0.751**, n = 27) and rate (r = -0.783**, n = 27) of leaf senescence ender terminal water deficit.

Gender differences in bone geometry during the adolescent growth spurt

To investigate whether there are gender differences in the bone geometry of the proximal femur during the adolescent years we used an interactive computer program ?Hip Strength Analysis? developed by Beck and associates (Beck et al., Invest Radiol. 1990,25:6-18.) to derive femoral neck geometry parameters from DXA bone scans (Hologic 2000, array mode). We analyzed a longitudinal data-set collected on 70 boys and 68 girls over a seven year period. Distance and velocity curves for height were fitted for each child utilizing a cubic spline procedure and the age of peak height velocity (PHV) was determined. To control for maturational differences between children of the same chronological age and between boys and girls, section modulus (Z) an index of bending strength, cross sectional area of bone (CSA), sub-periosteal width (SPW), and BMD values at the neck and shaft of the proximal femur were determined for points on each individual?s curve at the age of PHV and one and two years on either side of peak. To control for size differences, height and weight were introduced as co-variates in the two-way analyses of variance looking at gender over time measured at the maturational age points (-2, -1, age of PHV, +1, +2). The following figure presents the results of the analyses on two variables, BMD and Z at neck and shaft regions:After the age of peak linear growth (PHV), independent of body size, there was a gender difference in BMD at the shaft but not at the neck. Section modulus at both sites indicated that male bones became significantly stronger after PHV. Underlying these maturational changes, male bones became wider (SPW) after PHV in both the neck and shaft and enclosed more material (CSA) at all maturational age points at both regions. These results call into question the emphasis on using BMD as a measure of skeletal integrity in growing children