Cognitive process modelling of controllers in en route air traffic control

In recent years, various efforts have been made in air traffic control (ATC) to maintain traffic safety and efficiency in the face of increasing air traffic demands. ATC is a complex process that depends to a large degree on human capabilities, and so understanding how controllers carry out their tasks is an important issue in the design and development of ATC systems. In particular, the human factor is considered to be a serious problem in ATC safety and has been identified as a causal factor in both major and minor incidents. There is, therefore, a need to analyse the mechanisms by which errors occur due to complex factors and to develop systems that can deal with these errors. From the cognitive process perspective, it is essential that system developers have an understanding of the more complex working processes that involve the cooperative work of multiple controllers. Distributed cognition is a methodological framework for analysing cognitive processes that span multiple actors mediated by technology. In this research, we attempt to analyse and model interactions that take place in en route ATC systems based on distributed cognition. We examine the functional problems in an ATC system from a human factors perspective, and conclude by identifying certain measures by which to address these problems. This research focuses on the analysis of air traffic controllers' tasks for en route ATC and modelling controllers' cognitive processes.

P-found: grid-enabling distributed repositories of protein folding and unfolding simulations for data mining

The P-found protein folding and unfolding simulation repository is designed to allow scientists to perform data mining and other analyses across large, distributed simulation data sets. There are two storage components in P-found: a primary repository of simulation data that is used to populate the second component, and a data warehouse that contains important molecular properties. These properties may be used for data mining studies. Here we demonstrate how grid technologies can support multiple, distributed P-found installations. In particular, we look at two aspects: firstly, how grid data management technologies can be used to access the distributed data warehouses; and secondly, how the grid can be used to transfer analysis programs to the primary repositories — this is an important and challenging aspect of P-found, due to the large data volumes involved and the desire of scientists to maintain control of their own data. The grid technologies we are developing with the P-found system will allow new large data sets of protein folding simulations to be accessed and analysed in novel ways, with significant potential for enabling scientific discovery.

Power allocation strategies for distributed space-time codes in two-way relay networks

We study a two-way relay network (TWRN), where distributed space-time codes are constructed across multiple relay terminals in an amplify-and-forward mode. Each relay transmits a scaled linear combination of its received symbols and their conjugates,with the scaling factor chosen based on automatic gain control. We consider equal power allocation (EPA) across the relays, as well as the optimal power allocation (OPA) strategy given access to instantaneous channel state information (CSI). For EPA, we derive an upper bound on the pairwise-error-probability (PEP), from which we prove that full diversity is achieved in TWRNs. This result is in contrast to one-way relay networks, in which case a maximum diversity order of only unity can be obtained. When instantaneous CSI is available at the relays, we show that the OPA which minimizes the conditional PEP of the worse link can be cast as a generalized linear fractional program, which can be solved efficiently using the Dinkelback-type procedure.We also prove that, if the sum-power of the relay terminals is constrained, then the OPA will activate at most two relays.

Executive control in bilinguals: a concise review on fMRI studies

The investigation of bilingualism and cognition has been enriched by recent developments in functional magnetic resonance imaging (fMRI). Extending how bilingual experience shapes cognition, this review examines recent fMRI studies adopting executive control tasks with minimal or no linguistic demands. Across a range of studies with divergent ages and language pairs spoken by bilinguals, brain regions supporting executive control significantly overlap with brain regions recruited for language control (Abutalebi & Green, this issue). Furthermore, limited but emerging studies on resting-state networks are addressed, which suggest more coherent spatially distributed functional connectivity in bilinguals. Given the dynamic nature of bilingual experience, it is essential to consider both task-related functional networks (externally-driven engagement), and resting-state networks, such as default mode network (internal control). Both types of networks are important elements of bilingual language control, which relies on domain-general executive control.

Elementary Petri net inside RFID distributed database (PNRD)

Usually, a Petri net is applied as an RFID model tool. This paper, otherwise, presents another approach to the Petri net concerning RFID systems. This approach, called elementary Petri net inside an RFID distributed database, or PNRD, is the first step to improve RFID and control systems integration, based on a formal data structure to identify and update the product state in real-time process execution, allowing automatic discovery of unexpected events during tag data capture. There are two main features in this approach: to use RFID tags as the object process expected database and last product state identification; and to apply Petri net analysis to automatically update the last product state registry during reader data capture. RFID reader data capture can be viewed, in Petri nets, as a direct analysis of locality for a specific transition that holds in a specific workflow. Following this direction, RFID readers storage Petri net control vector list related to each tag id is expected to be perceived. This paper presents PNRD cornerstones and a PNRD implementation example in software called DEMIS Distributed Environment in Manufacturing Information Systems.

A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

Brain monoaminergic neurons and ventilatory control in vertebrates

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

ALGORITHM FOR PROBABILISTIC ANALYSIS of DISTRIBUTION SYSTEMS WITH DISTRIBUTED GENERATION

In this paper an efficient algorithm for probabilistic analysis of unbalanced three-phase weakly-meshed distribution systems is presented. This algorithm uses the technique of Two-Point Estimate Method for calculating the probabilistic behavior of the system random variables. Additionally, the deterministic analysis of the state variables is performed by means of a Compensation-Based Radial Load Flow (CBRLF). Such load flow efficiently exploits the topological characteristics of the network. To deal with distributed generation, a strategy to incorporate a simplified model of a generator in the CBRLF is proposed. Thus, depending on the type of control and generator operation conditions, the node with distributed generation can be modeled either as a PV or PQ node. To validate the efficiency of the proposed algorithm, the IEEE 37 bus test system is used. The probabilistic results are compared with those obtained using the Monte Carlo method.

Alternative pathways for catecholamine action in oral motor control

Orofacial movement is a complex function performed by facial and jaw muscles. Jaw movement is enacted through the triggering of motoneurons located primarily in the trigeminal motor nucleus (Mo5). The Mo5 is located in the pontine reticular formation, which is encircled by premotor neurons. Previous studies using retrograde tracers have demonstrated that premotor neurons innervating the Mo5 are distributed in brainstem areas, and electrophysiological studies have suggested the existence of a subcortical relay in the corticofugal-Mo5 pathway. Various neurotransmitters have been implicated in oral movement. Dopamine is of special interest since its imbalance may produce changes in basal ganglia activity, which generates abnormal movements, including jaw motor dysfunction, as in oral dyskinesia and possibly in bruxism. However, the anatomical pathways connecting the dopaminergic systems with Mo5 motoneurons have not been studied systematically. After injecting retrograde tracer fluorogold into the Mo5, we observed retrograde-labeled neurons in brainstem areas and in a few forebrain nuclei, such as the central nucleus of the amygdala, and the parasubthalamic nucleus. By using dual-labeled immunohistochemistry, we found tyrosine hydroxylase (a catecholamine-processing enzyme) immunoreactive fibers in close apposition to retrograde-labeled neurons in brainstem nuclei, in the central nucleus of the amygdala and the parasubthalamic nucleus, suggesting the occurrence of synaptic contacts. Therefore, we suggested that catecholamines may regulate oralfacial movements through the premotor brainstem nuclei, which are related to masticatory control, and forebrain areas related to autonomic and stress responses. (C) 2005 Elsevier B.V.. All rights reserved.

alpha(1)-Adrenoceptors in proximal segments of tail arteries from control and reserpinised rats

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Software to productive and reproductive control of goats: PROCAPRI

PROCAPRI is a software to productive and reproductive control of goats developed with the aim of assisting the goat producers in their decisions, to make a representative data set of Brazilian goats production and providing research information. It has five modules: Administration, Association, UNESP, Maintenance, and Utilities. It has been available since October 1994, and it has been amply used, with 157 copies distributed until April 1998 in Brazil and other countries.

Host specificity of Metriona elatior, a potential biological control agent of tropical soda apple, Solanum viarum, in the USA

The leaf beetle Metriona elatior from Brazil-Argentina was screened in the Florida (USA) State quarantine facility as a potential biological control agent of tropical soda apple, Solanum viarum, a recently arrived weed species. Multiple-choice host-specificity tests were conducted in small cages (60 cm x 60 cm x 60 cm) using 95 plant species in 29 families. Adults fed heavily on the main target weed (S. viarum), and on turkeyberry, Solanum torvum (noxious weed of Asiatic origin); fed moderately on red soda apple, Solanum capsicoides (weed of South American origin), and eggplant, Solanum melongena (economic crop); and fed lightly on aquatic soda apple, Solanum tampicense (weed of Mexican-Caribbean-Central American origin), and on silverleaf nightshade, Solanum elaeagnifolium (native weed widely distributed). M. elatior adults laid 84 to 97% of their egg masses on S. viarum, and 3 to 16% on S. melongena. Non-choice host-specificity tests were also conducted in quarantine in which M. elatior adults and neonate larvae were exposed to 17 and 19 plant species, respectively. Tests with the neonates indicate that this insect was able to complete its development on S. viarum, S. torvum, S. melongena, and S. capsicoides. Although some adult feeding and oviposition occurred on S. melongena in quarantine on potted plants in small cages, no feeding or oviposition by M. elatior was observed in field experiments conducted in Brazil. Surveys in unsprayed S. melongena fields in Argentina and Brazil indicated that M. elatior is not a pest of S. melongena in South America. The evidence obtained from the South-American field surveys, Brazil open-field experiments, and Florida quarantine host specificity tests indicate that M. elatior causes significant feeding damage to S. viarum, and does not represent a threat to S. melongena crops in the USA. Therefore an application for permission to release M. elatior against S. viarum in the USA was submitted in October 1998.

PHEIDOLE ANTS AS POTENTIAL BIOLOGICAL-CONTROL AGENTS OF THE BOLL-WEEVIL, ANTHONOMUS-GRANDIS (COL, CURCULIONIDAE), IN SOUTHEAST BRAZIL

This study evaluates the potential of ants as natural biological control agents of the boil weevil (Anthonomus grandis), during the between-season period, in South-east Brazil. Active adults of Anthonomus were experimentally distributed on the ground of the cotton field. Results show that 20% of the adult Anthonomus are attacked and removed by foraging ants. The native ant Pheidole oliveirai was by far the most efficient predator, accounting for 94% of the predation on Anthonomus. Recruited workers of P. oliveirai were usually very fast at transporting the weevils to their nests. The potential benefit of suppressing overwintering adult Anthonomus during the between-season period is mainly that of reducing the risk of high level infestations during the next cropping cycle.

Adaptive control charts: A Markovian approach for processes subject to independent disturbances

Recent studies have shown that adaptive X control charts are quicker than traditional X charts in detecting small to moderate shifts in a process. In this article, we propose a joint statistical design of adaptive X and R charts having all design parameters varying adaptively. The process is subjected to two independent assignable causes. One cause changes the process mean and the other changes the process variance. However, the occurrence of one kind of assignable cause does not preclude the occurrence of the other. It is assumed that the quality characteristic is normally distributed and the time that the process remains in control has exponential distribution. Performance measures of these adaptive control charts are obtained through a Markov chain approach. (c) 2005 Elsevier B.V. All rights reserved.