901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

A non-linear least-squares methodology for simultaneously estimating parameters of selectivity curves with a pre-defined functional form, across size classes and mesh sizes, using catch size frequency distributions, was developed based on the model of Kirkwood and Walker [Kirkwood, G.P., Walker, T.L, 1986. Gill net selectivities for gummy shark, Mustelus antarcticus Gunther, taken in south-eastern Australian waters. Aust. J. Mar. Freshw. Res. 37, 689-697] and [Wulff, A., 1986. Mathematical model for selectivity of gill nets. Arch. Fish Wiss. 37, 101-106]. Observed catches of fish of size class I in mesh m are modeled as a function of the estimated numbers of fish of that size class in the population and the corresponding selectivities. A comparison was made with the maximum likelihood methodology of [Kirkwood, G.P., Walker, T.I., 1986. Gill net selectivities for gummy shark, Mustelus antarcticus Gunther, taken in south-eastern Australian waters. Aust. J. Mar. Freshw. Res. 37, 689-697] and [Wulff, A., 1986. Mathematical model for selectivity of gill nets. Arch. Fish Wiss; 37, 101-106], using simulated catch data with known selectivity curve parameters, and two published data sets. The estimated parameters and selectivity curves were generally consistent for both methods, with smaller standard errors for parameters estimated by non-linear least-squares. The proposed methodology is a useful and accessible alternative which can be used to model selectivity in situations where the parameters of a pre-defined model can be assumed to be functions of gear size; facilitating statistical evaluation of different models and of goodness of fit. (C) 1998 Elsevier Science B.V.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Problema. Esta investigación se aproxima al entorno escolar con el propósito de avanzar en la comprensión de los imaginarios de los adolescentes y docentes en torno al cuerpo, la corporalidad y la AF, como un elemento relevante en el diseño de programas y planes efectivos para fomento de la práctica de AF. Objetivo. Analizar los imaginarios sociales de docentes y adolescentes en torno a los conceptos de cuerpo, corporalidad y AF. Métodos. Investigación de corte cualitativo, descriptivo e interpretativo. Se realizaron entrevistas semi-estructuradas a docentes y a estudiantes entre los 12 y 18 años de un colegio público de Bogotá. Se realizó análisis de contenido. Se compararon los resultados de estudiantes por grupos de edades y género. Resultados. Docentes y estudiantes definen el cuerpo a partir de las características biológicas, las diferencias sexuales y las funciones vitales. La definición de corporalidad en los estudiantes se encuentra ligada con la imagen y la apariencia física; los docentes la entienden como la posibilidad de interactuar con el entorno y como la materialización de la existencia. La AF en los estudiantes se asocia con la práctica de ejercicio y deporte, en los docentes se comprende como una práctica de autocuidado que permite el mantenimiento de la salud. Conclusiones. Para promover la AF tempranamente como una experiencia vital es necesario intervenir los espacios escolares. Hay que vincular al cuerpo a los procesos formativos con el propósito de desarrollar la autonomía corporal, este aspecto implica cambios en los currículos.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nephrops norvegicus is a sedentary bottom-dwelling crustacean that represents one of the main commercial species exploited in the Adriatic Sea (Central Mediterranean). An evaluation of the status of this important resource is thus extremely important in order to manage it in a sustainable way. The evaluation of N. norvegicus is complicated by several issues, mainly: (i) the complex biology and behaviour of the species itself, (ii) the presence of subpopulations with different biological traits within the same stock unit. Relevant concentration of N.norvegicus occurs within the Pomo/Jabuka Pits area which is characterised by peculiar oceanographic and geophysical conditions. This area represented for a long time an important fishing ground shared by Italian and Croatian fleets and recently a Fishery Restricted Area (FRA) was established there. The aim of the present study is to perform for the first time an evaluation of the status of the N.norvegicus subpopulation inhabiting the Pomo/Jabuka Pits also accounting for the possible effects on it of the management measures. To achieve this, the principal fisheryindependent and fishery-dependent dataset available for the study area were firstly analysed and then treated. Data collected by the CNR-IRBIM of Ancona through both indirect (“UWTV”) and direct (trawling) methods were refined by means of a revision of the time series and related biases, and a modelling approach accounting for environmental and fishery effects, respectively. Commercial data for both Italy and Croatia were treated in order to obtain landings and length distributions for the Pomo area only; an historical reconstruction of data starting from 1970 was carried out for both countries. The obtained information was used as input for a Bayesian length-based stock assessment model developed through the CASAL software; the flexibility of this model is recommended for N.norvegicus and similar species allowing to deal with sex- and fleet-based integrated assessment method

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Witches' broom disease (WBD) of cacao differs from other typical hemibiotrophic plant diseases by its unusually long biotrophic phase. Plant carbon sources have been proposed to regulate WBD developmental transitions; however, nothing is known about their availability at the plant-fungus interface, the apoplastic fluid of cacao. Data are provided supporting a role for the dynamics of soluble carbon in the apoplastic fluid in prompting the end of the biotrophic phase of infection. Carbon depletion and the consequent fungal sensing of starvation were identified as key signalling factors at the apoplast. MpNEP2, a fungal effector of host necrosis, was found to be up-regulated in an autophagic-like response to carbon starvation in vitro. In addition, the in vivo artificial manipulation of carbon availability in the apoplastic fluid considerably modulated both its expression and plant necrosis rate. Strikingly, infected cacao tissues accumulated intracellular hexoses, and showed stunted photosynthesis and the up-regulation of senescence markers immediately prior to the transition to the necrotrophic phase. These opposite findings of carbon depletion and accumulation in different host cell compartments are discussed within the frame of WBD development. A model is suggested to explain phase transition as a synergic outcome of fungal-related factors released upon sensing of extracellular carbon starvation, and an early senescence of infected tissues probably triggered by intracellular sugar accumulation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Annatto seeds do not germinate during early stages of their development because of insufficient reserve substances. In situ analysis showed that the principal reserves are proteins and starch, deposited in endosperm cells. During the early stages of development, the starch grains were elliptic, because amylose was the minor component. During development, these grains became more spherical due to an increase in amylose relative to amylopectin. Endosperm cells do not contain protein bodies, but they accumulate proteins dispersed in the cytoplasm. At the final stage of development the proteins became compacted due to the dehydration of the seeds wich is part of the global process of orthodox seeds maturation. Natural fluorescence revealed aromatic amino acids, principally tryptophan and tyrosine in the proteins. The seeds reached their maximum dry weight after moisture contents had declined to around 60%. At this point the seeds presented maximum germination capacity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Universidade Estadual de Campinas . Faculdade de Educação Física

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Universidade Estadual de Campinas . Faculdade de Educação Física

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Neste artigo apresentamos uma análise Bayesiana para o modelo de volatilidade estocástica (SV) e uma forma generalizada deste, cujo objetivo é estimar a volatilidade de séries temporais financeiras. Considerando alguns casos especiais dos modelos SV usamos algoritmos de Monte Carlo em Cadeias de Markov e o software WinBugs para obter sumários a posteriori para as diferentes formas de modelos SV. Introduzimos algumas técnicas Bayesianas de discriminação para a escolha do melhor modelo a ser usado para estimar as volatilidades e fazer previsões de séries financeiras. Um exemplo empírico de aplicação da metodologia é introduzido com a série financeira do IBOVESPA.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As dietas de baixo índice glicêmico e baixa carga glicêmica têm sido associadas à redução do risco de doenças crônicas. Por esse motivo há um interesse crescente na sua aplicação para avaliação e orientação nutricional. No entanto, existem limitações quanto ao uso de dados publicados de índice glicêmico e carga glicêmica, pela variedade e formas de processamento dos alimentos vegetais existentes. Devido à dificuldade de realização de ensaios in vivo, uma vez que são custosos, trabalhosos, invasivos e necessitam de período considerável de experimentação, foram desenvolvidas metodologias in vitro que, a partir da velocidade de digestão dos carboidratos, permitem estimar o índice glicêmico dos alimentos de forma prática, simples e econômica. O presente trabalho apresenta o uso de um marcador in vitro, o índice de hidrólise, na estimativa do índice glicêmico e da carga glicêmica, o método mais empregado por pesquisadores brasileiros, visando à sua aplicação por profissionais da área de Nutrição. Os cálculos e as interpretações para estimativa do Índice glicêmico e da carga glicêmica são apresentados por meio de um exemplo prático com alguns alimentos brasileiros e com o grão de amaranto submetido a diferentes processamentos. Na ausência de dados referentes à resposta glicêmica do alimento de interesse, os valores do marcador in vitro podem ser utilizados para estimar o índice glicêmico e a carga glicêmica dos alimentos. Porém, este marcador não deve ser utilizado indiscriminadamente, uma vez que leva em consideração apenas os fatores intrínsecos aos alimentos que influenciam o aproveitamento dos carboidratos disponíveis.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

SEVERAL MODELS OF TIME ESTIMATION HAVE BEEN developed in psychology; a few have been applied to music. In the present study, we assess the influence of the distances travelled through pitch space on retrospective time estimation. Participants listened to an isochronous chord sequence of 20-s duration. They were unexpectedly asked to reproduce the time interval of the sequence. The harmonic structure of the stimulus was manipulated so that the sequence either remained in the same key (CC) or travelled through a closely related key (CFC) or distant key (CGbC). Estimated times were shortened when the sequence modulated to a very distant key. This finding is discussed in light of Lerdahl's Tonal Pitch Space Theory (2001), Firmino and Bueno's Expected Development Fraction Model (in press), and models of time estimation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

One of the standard generalized-gradient approximations (GGAs) in use in modern electronic-structure theory [Perdew-Burke-Ernzerhof (PBE) GGA] and a recently proposed modification designed specifically for solids (PBEsol) are identified as particular members of a family of functionals taking their parameters from different properties of homogeneous or inhomogeneous electron liquids. Three further members of this family are constructed and tested, together with the original PBE and PBEsol, for atoms, molecules, and solids. We find that PBE, in spite of its popularity in solid-state physics and quantum chemistry, is not always the best performing member of the family and that PBEsol, in spite of having been constructed specifically for solids, is not the best for solids. The performance of GGAs for finite systems is found to sensitively depend on the choice of constraints stemming from infinite systems. Guidelines both for users and for developers of density functionals emerge from this work.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Depression in old age is a complex multifactorial phenomenon that is influenced by several biopsychosocial variables. Depressive symptoms are associated with the presence of chronic diseases, with being female, with low education and low income levels, and with poor perceived health assessment. In impoverished areas, older adults may have more physical disability, as they may have less access to health services. Therefore, they may be more likely to report depressive symptoms. Methods: Population-based cross-sectional research was undertaken using data from the FIBRA study conducted in Ermelino Matarazzo, a poor subdistrict of the city of Sao Paulo, Brazil. The participants comprised 303 elderly people, aged 65 years and over, who attended a single-session data collection effort carried out at community centers. The protocol comprised sociodemographic and self-reported health variables, and the Geriatric Depression Scale. Results: The majority of the subjects reported five or fewer symptoms of depression (79.21%), reported one or two self-reported chronic diseases (56.86%), declared themselves to have one or two self-reported health problems (46.15%), and had good perceived health assessment (40.27%). The presence of depressive symptoms was associated with a higher number of self-reported health problems, poor perceived health assessment, and lower schooling levels, in the total sample and in analyses including men only. For women, depressive symptoms were associated with the number of self-reported health problems and family income. Conclusion: The presence of health problems, such as falls and memory problems, lower perceived health, and low education (and low family income for women) were associated with a higher presence of depressive symptoms among elderly people in this poor area of Sao Paulo.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

To analyse the sensitivity and specificity of clinical indicators of ineffective airway clearance in children with congenital heart disease and to identify the indicators that have high predictive power. The precise establishment of nursing diagnoses has been found to be one of the factors contributing to higher quality of care and cost reduction in healthcare institutions. The use of indicators to diagnose ineffective airway clearance could improve care of children with congenital heart disease. Longitudinal study. Participants consisted of 45 children, <= 1 year of age, with congenital heart disease, who had not had definitive or palliative surgical correction. Six assessments were made at 2-day intervals. Each clinical indicator was defined based on previously established operational criteria. Sensitivity, specificity and positive and negative predictive values of each indicator were calculated based on a model for the longitudinal data. A nursing diagnosis of ineffective airway clearance was made in 31% of patients on the first assessment, rising to 71% on the last assessment, for a 40% increase. Sensitivity was highest for Changes in Respiratory Rates/Rhythms (0.99), followed by Adventitious Breath Sounds (0.97), Sputum Production (0.85) and Restlessness (0.53). Specificity was higher for Sputum Production (0.92), followed by Restlessness (0.73), Adventitious Breath Sounds (0.70) and Changes in Respiratory Rates/Rhythms (0.17). The best positive predictive values occurred for Sputum Production (0.93) and Adventitious Breath Sounds (0.80). Adventitious Breath Sounds followed by Sputum Production were the indicators that had the best overall sensitivity and specificity as well as the highest positive predictive values. The use of simple indicators in nursing diagnoses can improve identification of ineffective airway clearance in children with congenital heart disease, thus leading to early treatment of the problem and better care for these children.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work is related to the so-called non-conventional finite element formulations. Essentially, a methodology for the enrichment of the initial approximation which is typical of the meshless methods and based on the clouds concept is introduced in the hybrid-Trefftz formulation for plane elasticity. The formulation presented allows for the approximation and direct enrichment of two independent fields: stresses in the domains and displacements on the boundaries of the elements. Defined by a set of elements and interior boundaries sharing a common node, the cloud notion is employed to select the enrichment support for the approximation fields. The numerical analysis performed reveals an excellent performance of the resulting formulation, characterized by the good approximation ability and a reduced computational effort. Copyright (C) 2009 John Wiley & Sons, Ltd.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Learning Object (OA) is any digital resource that can be reused to support learning with specific functions and objectives. The OA specifications are commonly offered in SCORM model without considering activities in groups. This deficiency was overcome by the solution presented in this paper. This work specified OA for e-learning activities in groups based on SCORM model. This solution allows the creation of dynamic objects which include content and software resources for the collaborative learning processes. That results in a generalization of the OA definition, and in a contribution with e-learning specifications.