Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Analysis of fixational eye micromovements through pupil tracking

Póster presentado en OPTYKA Optical Fair 2012, Poznan, Polonia, 9-10 noviembre 2012.

Sistema Nacional de Salud español. Características y análisis

La Ley General de Sanidad 14/1986 de 25 de Abril posibilitó el tránsito del antiguo modelo de Seguridad Social al actual modelo de Sistema Nacional de Salud (SNS), financiado con impuestos y de cobertura prácticamente universal. Desde entonces se han producido profundos cambios en el sistema que culminaron en el año 2002 con la descentralización total de competencias en materia de salud en las Comunidades Autónomas. La regulación nacional de competencias en materia de salud se realiza desde el Consejo Interterritorial del Sistema Nacional de Salud, organismo que agrupa a los máximos responsables autonómicos en materia de salud de cada Comunidad Autónoma y que tiene entre otras, la responsabilidad de evitar las desigualdades en servicios sanitarios dentro del territorio nacional. La creación y competencias del Consejo Interterritorial quedan recogidas en la Ley 16/2003 de 28 de mayo de Cohesión de la calidad del Sistema Nacional de Salud. La cartera de servicios comunes del SNS se establece en el Real Decreto 1030/2006 de 15 de Septiembre, actualizando el Real Decreto 63/1995 de 20 de enero sobre Ordenación de las prestaciones sanitarias, resultando del actual marco legislativo con la descentralización de competencias y gestión de los presupuestos un horizonte de posible variabilidad en los modelos de gestión de cada CCAA, que, si bien deben garantizar la universalidad de las prestaciones, también ofrece una diversidad de modalidades de gestionar los recursos en materia de salud. En cuanto al estado de salud de los españoles, destacar que la esperanza de vida al nacer se sitúa en 79,9 años, superior a la media europea, 78,3 años, y la esperanza de vida ajustada por incapacidad fue en 2002 de 72,6 años en España respecto a los 70,8 de la UE. Según cifras del propio Ministerio de Sanidad, la percepción de la salud de los ciudadanos fue positiva para un 73% de los hombres y un 63,2 de las mujeres. Alrededor del 60% de la población tiene un peso normal y la morbilidad sitúa en los primeros lugares las enfermedades del aparato circulatorio, el cáncer y las enfermedades del aparato respiratorio (CIE-9). El gasto sanitario en España, es un capítulo presupuestario importante, al situarse en torno al 7,5 del P.I.B, y los recursos e inversiones presentan aparentes desigualdades autonómicas. Los modelos de gestión y dependencia patrimonial de los recursos, variables entre Autonomías, plantean la necesidad de monitorizar un seguimiento que permita evaluar en los próximos diez años el impacto de la descentralización de competencias del Sistema. La estructura del Sistema tiene dos niveles asistenciales mayoritarios, atención primaria y especializada, absorbiendo la atención especializada la mayor parte del presupuesto. El incremento del gasto sanitario y la universalidad de las prestaciones han condicionado en gran medida la implantación de modelos de gestión diferentes a los tradicionales. Esta situación no es exclusiva del Estado Español. En los Estados del entorno de la Unión Europea, el Consejo de Ministros de Sanidad de la UE en su sesión celebrada los días 1 y 2 de Junio de 200625 concluyeron un documento que recoge los valores y principios comunes de los sistemas sanitarios de los países de la Unión Europea, resaltando los principios y valores de los sistemas sanitarios como soporte estructural de dichos estados. Como conclusión, en este momento (2007) el Sistema Nacional de Salud Español, está inmerso en un proceso de trasformación orientado a garantizar la eficiencia de las prestaciones de manera responsable, es decir, ofertar al ciudadano la mejor calidad de servicios al mínimo coste.

High-resolution pollen record of ODP Hole 175-1078C

To address the connection between tropical African vegetation development and high-latitude climate change we present a high-resolution pollen record from ODP Site 1078 (off Angola) covering the period 50-10 ka BP. Although several tropical African vegetation and climate reconstructions indicate an impact of Heinrich Stadials (HSs) in Southern Hemisphere Africa, our vegetation record shows no response. Model simulations conducted with an Earth System Model of Intermediate Complexity including a dynamical vegetation component provide one possible explanation. Because both precipitation and evaporation increased during HSs and their effects nearly cancelled each other, there was a negligible change in moisture supply. Consequently, the resulting climatic response to HSs might have been too weak to noticeably affect the vegetation composition in the study area. Our results also show that the response to HSs in southern tropical Africa neither equals nor mirrors the response to abrupt climate change in northern Africa.

Ancient colour vision: Multiple opsin genes in the ancestral vertebrates

Molecular investigation of the origin of colour vision has discovered five visual pigment (opsin) genes, all of which are expressed in an agnathan (jawless) fish, the lamprey Geotria australis. Lampreys are extant representatives of an ancient group of vertebrates whose origins are thought to date back to at least the early Cambrian, approximately 540 million years ago [1.]. Phylogenetic analysis has identified the visual pigment opsin genes of G. australis as orthologues of the major classes of vertebrate opsin genes. Therefore, multiple opsin genes must have originated very early in vertebrate evolution, prior to the separation of the jawed and jawless vertebrate lineages, and thereby provided the genetic basis for colour vision in all vertebrate species. The southern hemisphere lamprey Geotria australis (Figure 1A,B) possesses a predominantly cone-based visual system designed for photopic (bright light) vision [2. S.P. Collin, I.C. Potter and C.R. Braekevelt, The ocular morphology of the southern hemisphere lamprey Geotria australis Gray, with special reference to optical specializations and the characterisation and phylogeny of photoreceptor types. Brain Behav. Evol. 54 (1999), pp. 96–111.2. and 3.]. Previous work identified multiple cone types suggesting that the potential for colour vision may have been present in the earliest members of this group. In order to trace the molecular evolution and origins of vertebrate colour vision, we have examined the genetic complement of visual pigment opsins in G. australis.

California older adult Stroop test (COAST): Development of a Stroop test adapted for geriatric populations

An adaptation of the traditional Stroop test, the California Older Adult Stroop Test (COAST) (Pachana, Marcopulos, Yoash-Gantz & Thompson, 1995), has been developed specifically for use with a geriatric population, utilizing larger typeface, fewer items (50) per task, and more easily distinguished colors (red, yellow and green). Test-retest reliability and validity data are reviewed for both control and clinical populations. Increased error rates on the Stroop test compared to the COAST were found for the color and color/word interference tasks. These results are discussed in terms of changes in the visual system with increasing age. The implications for better test sensitivity with the COAST for older adult populations are discussed.

Photoreceptor projection and termination pattern in the lamina of gonodactyloid stomatopods (mantis shrimp)

The apposition compound eyes of gonodactyloid stomatopods are divided into a ventral and a dorsal hemisphere by six equatorial rows of enlarged ommatidia, the mid-band (MB). Whereas the hemispheres are specialized for spatial vision, the MB consists of four dorsal rows of ommatidia specialized for colour vision and two ventral rows specialized for polarization vision. The eight retinula cell axons (RCAs) from each ommatidium project retinotopically onto one corresponding lamina cartridge, so that the three retinal data streams (spatial, colour and polarization) remain anatomically separated. This study investigates whether the retinal specializations are reflected in differences in the RCA arrangement within the corresponding lamina cartridges. We have found that, in all three eye regions, the seven short visual fibres (svfs) formed by retinula cells 1-7 (R1-R7) terminate at two distinct lamina levels, geometrically separating the terminals of photoreceptors sensitive to either orthogonal e-vector directions or different wavelengths of light. This arrangement is required for the establishment of spectral and polarization opponency mechanisms. The long visual fibres (lvfs) of the eighth retinula cells (R8) pass through the lamina and project retinotopically to the distal medulla externa. Differences between the three eye regions exist in the packing of svf terminals and in the branching patterns of the lvfs within the lamina. We hypothesize that the R8 cells of MB rows 1-4 are incorporated into the colour vision system formed by R1-R7, whereas the R8 cells of MB rows 5 and 6 form a separate neural channel from R1 to R7 for polarization processing.

Hyperspace geography: Visualizing fitness landscapes beyond 4D

Human perception is finely tuned to extract structure about the 4D world of time and space as well as properties such as color and texture. Developing intuitions about spatial structure beyond 4D requires exploiting other perceptual and cognitive abilities. One of the most natural ways to explore complex spaces is for a user to actively navigate through them, using local explorations and global summaries to develop intuitions about structure, and then testing the developing ideas by further exploration. This article provides a brief overview of a technique for visualizing surfaces defined over moderate-dimensional binary spaces, by recursively unfolding them onto a 2D hypergraph. We briefly summarize the uses of a freely available Web-based visualization tool, Hyperspace Graph Paper (HSGP), for exploring fitness landscapes and search algorithms in evolutionary computation. HSGP provides a way for a user to actively explore a landscape, from simple tasks such as mapping the neighborhood structure of different points, to seeing global properties such as the size and distribution of basins of attraction or how different search algorithms interact with landscape structure. It has been most useful for exploring recursive and repetitive landscapes, and its strength is that it allows intuitions to be developed through active navigation by the user, and exploits the visual system's ability to detect pattern and texture. The technique is most effective when applied to continuous functions over Boolean variables using 4 to 16 dimensions.

Are corals colorful?

Using in situ spectrometry data and visual system modeling, we investigate whether the colors conferred to the reef-building corals by GFP-like proteins would look colorful not only to humans, but also to fish occupying different ecological niches on the reef. Some GFP-like proteins, most notably fluorescent greens and nonfluorescent chromoproteins, indeed generate intense color signals. An unexpected finding was that fluorescent proteins might also make corals appear less colorful to fish, counterbalancing the effect of absorption by the photosynthetic pigments of the endosymbiotic algae, which might be a form of protection against herbivores. We conclude that GFP-determined coloration of corals may be an important factor in visual ecology of the reef fishes.

The number, morphology, and distribution of retinal ganglion cells and optic axons in the Australian lungfish Neoceratodus forsteri (Krefft 1870)

Australian lungfish Neoceratodus forsteri may be the closest living relative to the first tetrapods and yet little is known about their retinal ganglion cells. This study reveals that lungfish possess a heterogeneous population of ganglion cells distributed in a horizontal streak across the retinal meridian, which is formed early in development and maintained through to adult stages. The number and complement of both ganglion cells and a population of putative amacrine cells within the ganglion cell layer are examined using retrograde labelling from the optic nerve and transmission electron-microscopic analysis of axons within the optic nerve. At least four types of retinal ganglion cells are present and lie predominantly within a thin ganglion cell layer, although two subpopulations are identified, one within the inner plexiform and the other within the inner nuclear layer. A subpopulation of retinal ganglion cells comprising up to 7% or the total population are significantly larger (> 400 mu m(2)) and are characterized as giant or alpha-like cells. Up to 44% of cells within the retinal ganglion cell layer represent a population of presumed amacrine cells. The optic nerve is heavily fasciculated and the proportion of myelinated axons increases with body length from 17% in subadults to 74% in adults. Spatial resolving power, based on ganglion cell spacing, is low (1.6-1.9 cycles deg(-1), n = 2) and does not significantly increase with growth. This represents the first detailed study of retinal ganglion cells in sarcopterygian fish, and reveals that, despite variation amongst animal groups, trends in ganglion cell density distribution and characteristics of cell types were defined early in vertebrate evolution.

Tyre-force estimation by Kalman inverse filtering: applications to off-highway mining trucks

Kalman inverse filtering is used to develop a methodology for real-time estimation of forces acting at the interface between tyre and road on large off-highway mining trucks. The system model formulated is capable of estimating the three components of tyre-force at each wheel of the truck using a practical set of measurements and inputs. Good tracking is obtained by the estimated tyre-forces when compared with those simulated by an ADAMS virtual-truck model. A sensitivity analysis determines the susceptibility of the tyre-force estimates to uncertainties in the truck's parameters.

The variable colours of the fiddler crab Uca vomeris and their relation to background and predation

Colour changes in fiddler crabs have long been noted, but a functional interpretation is still lacking. Here we report that neighbouring populations of Uca vomeris in Australia exhibit different degrees of carapace colours, which range from dull mottled to brilliant blue and white. We determined the spectral characteristics of the mud substratum and of the carapace colours of U. vomeris and found that the mottled colours of crabs are cryptic against this background, while display colours provide strong colour contrast for both birds and crabs, but luminance contrast only for a crab visual system. We tested whether crab populations may become cryptic under the influence of bird predation by counting birds overflying or feeding on differently coloured colonies. Colonies with cryptically coloured crabs indeed experience a much higher level of bird presence, compared to colourful colonies. We show in addition that colourful crab individuals subjected to dummy bird predation do change their body colouration over a matter of days. The crabs thus appear to modify their social signalling system depending on their assessment of predation risk.

Synaptogenesis in the mushroom body calyx during metamorphosis in the honeybee Apis mellifera: An electron microscopic study

The goals of this study are to determine relationships between synaptogenesis and morphogenesis within the mushroom body calyx of the honeybee Apis mellifera and to find out how the microglomerular structure characteristic for the mature calyx is established during metamorphosis. We show that synaptogenesis in the mushroom body calycal neuropile starts in early metamorphosis (stages P1-P3), before the microglomerular structure of the neuropile is established. The initial step of synaptogenesis is characterized by the rare occurrence of distinct synaptic contacts. A massive synaptogenesis starts at stage P5, which coincides with the formation of microglomeruli, structural units of the calyx that are composed of centrally located presynaptic boutons surrounded by spiny postsynaptic endings. Microglomeruli are assembled either via accumulation of fine postsynaptic processes around preexisting presynaptic boutons or via ingrowth of thin neurites of presynaptic neurons into premicroglomeruli, tightly packed groups of spiny endings. During late pupal stages (P8-P9), addition of new synapses and microglomeruli is likely to continue. Most of the synaptic appositions formed there are made by boutons (putative extrinsic mushroom body neurons) into small postsynaptic profiles that do not exhibit presynaptic specializations (putative intrinsic mushroom body neurons). Synapses between presynaptic boutons characteristic of the adult calyx first appear at stage P8 but remain rare toward the end of metamorphosis. Our observations are consistent with the hypothesis that most of the synapses established during metamorphosis provide the structural basis for afferent information flow to calyces, whereas maturation of local synaptic circuitry is likely to occur after adult emergence.

In vivo demonstration of load-induced fluid flow in the rat tibia and its potential implications for processes associated with functional adaptation

Load-induced extravascular fluid flow has been postulated to play a role in mechanotransduction of physiological loads at the cellular level. Furthermore, the displaced fluid serves as a carrier for metabolites, nutrients, mineral precursors and osteotropic agents important for cellular activity. We hypothesise that load-induced fluid flow enhances the transport of these key substances, thus helping to regulate cellular activity associated with processes of functional adaptation and remodelling. To test this hypothesis, molecular tracer methods developed previously by our group were applied in vivo to observe and quantify the effects of load-induced fluid flow under four-point-bending loads. Preterminal tracer transport studies were carried out on 24 skeletally mature Sprague Dawley rats. Mechanical loading enhanced the transport of both small- and larger-molecular-mass tracers within the bony tissue of the tibial mid-diaphysis. Mechanical loading showed a highly significant effect on the number of periosteocytic spaces exhibiting tracer within the cross section of each bone. For all loading rates studied, the concentration of Procion Red tracer was consistently higher in the tibia subjected to pure bending loads than in the unloaded, contralateral tibia, Furthermore, the enhancement of transport was highly site-specific. In bones subjected to pure bending loads, a greater number of periosteocytic spaces exhibited the presence of tracer in the tension band of the cross section than in the compression band; this may reflect the higher strains induced in the tension band compared with the compression band within the mid-diaphysis of the rat tibia. Regardless of loading mode, the mean difference between the loaded side and the unloaded contralateral control side decreased with increasing loading frequency. Whether this reflects the length of exposure to the tracer or specific frequency effects cannot be determined by this set of experiments. These in vivo experimental results corroborate those of previous ex vivo and in vitro studies, Strain-related differences in tracer distribution provide support for the hypothesis that load-induced fluid flow plays a regulatory role in processes associated with functional adaptation.

Sensory Processing in Aquatic Environments

Research on sensory processing or the way animals see, hear, smell, taste, feel and electrically and magnetically sense their environment has advanced a great deal over the last fifteen years. This book discusses the most important themes that have emerged from recent research and provides a summary of likely future directions. The book starts with two sections on the detection of sensory signals over long and short ranges by aquatic animals, covering the topics of navigation, communication, and finding food and other localized sources. The next section, the co-evolution of signal and sense, deals with how animals decide whether the source is prey, predator or mate by utilizing receptors that have evolved to take full advantage of the acoustical properties of the signal. Organisms living in the deep-sea environment have also received a lot of recent attention, so the next section deals with visual adaptations to limited light environments where sunlight is replaced by bioluminescence and the visual system has undergone changes to optimize light capture and sensitivity. The last section on central co-ordination of sensory systems covers how signals are processed and filtered for use by the animal. This book will be essential reading for all researchers and graduate students interested in sensory systems.