938 resultados para Exploratory and confirmatory methods


Relevância:

100.00% 100.00%

Publicador:

Resumo:

There has been significant interest in parallel execution models for logic programs which exploit Independent And-Parallelism (IAP). In these models, it is necessary to determine which goals are independent and therefore eligible for parallel execution and which goals have to wait for which others during execution. Although this can be done at run-time, it can imply a very heavy overhead. In this paper, we present three algorithms for automatic compiletime parallelization of logic programs using IAP. This is done by converting a clause into a graph-based computational form and then transforming this graph into linear expressions based on &-Prolog, a language for IAP. We also present an algorithm which, given a clause, determines if there is any loss of parallelism due to linearization, for the case in which only unconditional parallelism is desired. Finally, the performance of these annotation algorithms is discussed for some benchmark programs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of such programs. In particular, it is possible to parallelize pure Prolog programs while maintaining the semantics of the language. However, when builtin side-effects (such as write or assert) appear in the program, if an identical observable behaviour to that of sequential Prolog implementations is to be preserved, such side-effects have to be properly sequenced. Previously proposed solutions to this problem are either incomplete (lacking, for example, backtracking semantics) or they force sequentialization of significant portions of the execution graph which could otherwise run in parallel. In this paper a series of side-effect synchronization methods are proposed which incur lower overhead and allow more parallelism than those previously proposed. Most importantly, and unlike previous proposals, they have well-defined backward execution behaviour and require only a small modification to a given (And-parallel) Prolog implementation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Penguin colonies represent some of the most concentrated sources of ammonia emissions to the atmosphere in the world. The ammonia emitted into the atmosphere can have a large influence on the nitrogen cycling of ecosystems near the colonies. However, despite the ecological importance of the emissions, no measurements of ammonia emissions from penguin colonies have been made. The objective of this work was to determine the ammonia emission rate of a penguin colony using inverse-dispersion modelling and gradient methods. We measured meteorological variables and mean atmospheric concentrations of ammonia at seven locations near a colony of Adélie penguins in Antarctica to provide input data for inverse-dispersion modelling. Three different atmospheric dispersion models (ADMS, LADD and a Lagrangian stochastic model) were used to provide a robust emission estimate. The Lagrangian stochastic model was applied both in ‘forwards’ and ‘backwards’ mode to compare the difference between the two approaches. In addition, the aerodynamic gradient method was applied using vertical profiles of mean ammonia concentrations measured near the centre of the colony. The emission estimates derived from the simulations of the three dispersion models and the aerodynamic gradient method agreed quite well, giving a mean emission of 1.1 g ammonia per breeding pair per day (95% confidence interval: 0.4–2.5 g ammonia per breeding pair per day). This emission rate represents a volatilisation of 1.9% of the estimated nitrogen excretion of the penguins, which agrees well with that estimated from a temperature-dependent bioenergetics model. We found that, in this study, the Lagrangian stochastic model seemed to give more reliable emission estimates in ‘forwards’ mode than in ‘backwards’ mode due to the assumptions made.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Diseño conceptual de puentes de alta velocidad ferroviarios. Railroad bridges, in general, and those for high speed railways, in particular, demand very special conditions. The traffic loads are much higher than for road bridges. Loads due to braking and acceleration determine, due to their magnitude, the structural layout. Because of the speed of the vehicles there are specific dynamic effects which need to be considered. In order to ensure passenger comfort, compatible with speeds of up to 350 km/h, it is necessary to meet very demanding conditions with respect to stiffness, displacements and dynamic behavior. In this paper these conditions are briefly described and different typological possibilities to satisfy them are presented as well as the main construction methods applicable to this kind of bridges.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Two different methods of analysis of plate bending, FEM and BM are discussed in this paper. The plate behaviour is assumed to be represented by using the linear thin plate theory where the Poisson-Kirchoff assumption holds. The BM based in a weighted mean square error technique produced good results for the problem of plate bending. The computational effort demanded in the BM is smaller than the one needed in a FEM analysis for the same level of accuracy. The general application of the FEM cannot be matched by the BM. Particularly, different types of geometry (plates of arbitrary geometry) need a similar but not identical treatment in the BM. However, this loss of generality is counterbalanced by the computational efficiency gained in the BM in the solution achievement

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Palm juice (Borassus flabellifer) is one of the most common and cheap natural juices. Fermented palm juice contains various phytochemical compounds that exhibit antioxidant activity. In the present study, we examined the effects of pH on the production of phytochemicals and their antioxidant activity during the fermentation process. The concentration of total phenolics and flavonoid compounds of fermented palm juice and their antioxidant activity were investigated at various pH. The results showed that total phenolics concentration and antioxidant activity of palm wine and palm vinegar increase as pH increases: 3.54.55.5. Maximum flavonoid concentration was obtained at pH 6.5. Measurements of antioxidant activity by conventional DPPH method and Photochem antioxidant analyzer technique were highly correlated, with a corresponding R2 value of 0.94.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La actividad volcánica interviene en multitud de facetas de la propia actividad humana, no siempre negativas. Sin embargo, son más los motivos de peligrosidad y riesgo que incitan al estudio de la actividad volcánica. Existen razones de seguridad que inciden en el mantenimiento del seguimiento y monitorización de la actividad volcánica para garantizar la vida y la seguridad de los asentamientos antrópicos en las proximidades de los edificios volcánicos. En esta tesis se define e implementa un sistema de monitorización de movimientos de la corteza en las islas de Tenerife y La Palma, donde el impacto social que representa un aumento o variación de la actividad volcánica en las islas es muy severo. Aparte de la alta densidad demográfica del Archipiélago, esta población aumenta significativamente, en diferentes periodos a lo largo del año, debido a la actividad turística que representa la mayor fuente de ingresos de las islas. La población y los centros turísticos se diseminan predominantemente a lo largo de las costas y también a lo largo de los flancos de los edificios volcánicos. Quizá el mantenimiento de estas estructuras sociales y socio-económicas son los motivos más importantes que justifican una monitorización de la actividad volcánica en las Islas Canarias. Recientemente se ha venido trabajando cada vez más en el intento de predecir la actividad volcánica utilizando los nuevos sistemas de monitorización geodésica, puesto que la actividad volcánica se manifiesta anteriormente por deformación de la corteza terrestre y cambios en la fuerza de la gravedad en la zona donde más tarde se registran eventos volcánicos. Los nuevos dispositivos y sensores que se han desarrollado en los últimos años en materias como la geodesia, la observación de la Tierra desde el espacio y el posicionamiento por satélite, han permitido observar y medir tanto la deformación producida en el terreno como los cambios de la fuerza de la gravedad antes, durante y posteriormente a los eventos volcánicos que se producen. Estos nuevos dispositivos y sensores han cambiado las técnicas o metodologías geodésicas que se venían utilizando hasta la aparición de los mismos, renovando métodos clásicos y desarrollando otros nuevos que ya se están afianzando como metodologías probadas y reconocidas para ser usadas en la monitorización volcánica. Desde finales de la década de los noventa del siglo pasado se han venido desarrollando en las Islas Canarias varios proyectos que han tenido como objetivos principales el desarrollo de nuevas técnicas de observación y monitorización por un lado y el diseño de una metodología de monitorización volcánica adecuada, por otro. Se presenta aquí el estudio y desarrollo de técnicas GNSS para la monitorización de deformaciones corticales y su campo de velocidades para las islas de Tenerife y La Palma. En su implementación, se ha tenido en cuenta el uso de la infraestructura geodésica y de monitorización existente en el archipiélago a fin de optimizar costes, además de complementarla con nuevas estaciones para dar una cobertura total a las dos islas. Los resultados obtenidos en los proyectos, que se describen en esta memoria, han dado nuevas perspectivas en la monitorización geodésica de la actividad volcánica y nuevas zonas de interés que anteriormente no se conocían en el entorno de las Islas Canarias. Se ha tenido especial cuidado en el tratamiento y propagación de los errores durante todo el proceso de observación, medida y proceso de los datos registrados, todo ello en aras de cuantificar el grado de fiabilidad de los resultados obtenidos. También en este sentido, los resultados obtenidos han sido verificados con otros procedentes de sistemas de observación radar de satélite, incorporando además a este estudio las implicaciones que el uso conjunto de tecnologías radar y GNSS tendrán en un futuro en la monitorización de deformaciones de la corteza terrestre. ABSTRACT Volcanic activity occurs in many aspects of human activity, and not always in a negative manner. Nonetheless, research into volcanic activity is more likely to be motivated by its danger and risk. There are security reasons that influence the monitoring of volcanic activity in order to guarantee the life and safety of human settlements near volcanic edifices. This thesis defines and implements a monitoring system of movements in the Earth’s crust in the islands of Tenerife and La Palma, where the social impact of an increase (or variation) of volcanic activity is very severe. Aside from the high demographic density of the archipelago, the population increases significantly in different periods throughout the year due to tourism, which represents a major source of revenue for the islands. The population and the tourist centres are mainly spread along the coasts and also along the flanks of the volcanic edifices. Perhaps the preservation of these social and socio-economic structures is the most important reason that justifies monitoring volcanic activity in the Canary Islands. Recently more and more work has been done with the intention of predicting volcanic activity, using new geodesic monitoring systems, since volcanic activity is evident prior to eruption because of a deformation of the Earth’s crust and changes in the force of gravity in the zone where volcanic events will later be recorded. The new devices and sensors that have been developed in recent years in areas such as geodesy, the observation of the Earth from space, and satellite positioning have allowed us to observe and measure the deformation produced in the Earth as well as the changes in the force of gravity before, during, and after the volcanic events occur. The new devices and sensors have changed the geodetic techniques and methodologies that were used previously. The classic methods have been renovated and other newer ones developed that are now vouched for as proven recognised methodologies to be used for volcanic monitoring. Since the end of the 1990s, in the Canary Islands various projects have been developed whose principal aim has been the development of new observation and monitoring techniques on the one hand, and the design of an appropriate volcanic monitoring methodology on the other. The study and development of GNSS techniques for the monitoring of crustal deformations and their velocity field is presented here. To carry out the study, the use of geodetic infrastructure and existing monitoring in the archipelago have been taken into account in order to optimise costs, besides complementing it with new stations for total coverage on both islands. The results obtained in the projects, which are described below, have produced new perspectives in the geodetic monitoring of volcanic activity and new zones of interest which previously were unknown in the environment of the Canary Islands. Special care has been taken with the treatment and propagation of errors during the entire process of observing, measuring, and processing the recorded data. All of this was done in order to quantify the degree of trustworthiness of the results obtained. Also in this sense, the results obtained have been verified with others from satellite radar observation systems, incorporating as well in this study the implications that the joint use of radar technologies and GNSS will have for the future of monitoring deformations in the Earth’s crust.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A sample of 95 sib pairs affected with insulin-dependent diabetes and typed with their normal parents for 28 markers on chromosome 6 has been analyzed by several methods. When appropriate parameters are efficiently estimated, a parametric model is equivalent to the β model, which is superior to nonparametric alternatives both in single point tests (as found previously) and in multipoint tests. Theory is given for meta-analysis combined with allelic association, and problems that may be associated with errors of map location and/or marker typing are identified. Reducing by multipoint analysis the number of association tests in a dense map can give a 3-fold reduction in the critical lod, and therefore in the cost of positional cloning.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Speech recognition involves three processes: extraction of acoustic indices from the speech signal, estimation of the probability that the observed index string was caused by a hypothesized utterance segment, and determination of the recognized utterance via a search among hypothesized alternatives. This paper is not concerned with the first process. Estimation of the probability of an index string involves a model of index production by any given utterance segment (e.g., a word). Hidden Markov models (HMMs) are used for this purpose [Makhoul, J. & Schwartz, R. (1995) Proc. Natl. Acad. Sci. USA 92, 9956-9963]. Their parameters are state transition probabilities and output probability distributions associated with the transitions. The Baum algorithm that obtains the values of these parameters from speech data via their successive reestimation will be described in this paper. The recognizer wishes to find the most probable utterance that could have caused the observed acoustic index string. That probability is the product of two factors: the probability that the utterance will produce the string and the probability that the speaker will wish to produce the utterance (the language model probability). Even if the vocabulary size is moderate, it is impossible to search for the utterance exhaustively. One practical algorithm is described [Viterbi, A. J. (1967) IEEE Trans. Inf. Theory IT-13, 260-267] that, given the index string, has a high likelihood of finding the most probable utterance.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introdução: As doenças cardiovasculares são a principal causa de morte no Brasil e no mundo e apresentam importante contribuição para a carga global de doenças. A dieta tem sido considerada um dos determinantes primários do estado de saúde dos indivíduos, atuando na modulação dos fatores de risco metabólicos para doença cardiovascular. Objetivos: Desenvolver um modelo conceitual para a relação entre fatores de risco metabólicos e investigar sua associação com padrões de dieta de adultos e idosos residentes no município de São Paulo. Métodos: Estudo transversal de base populacional com amostra probabilística de adultos e idosos, residentes em área urbana do município de São Paulo, que participaram do Inquérito de Saúde do Município de São Paulo, realizado em duas fases entre os anos de 2008 e 2011 (estudo ISA Capital 2008). Na primeira fase do estudo, 1.102 adultos e idosos, de ambos os sexos, foram entrevistados no domicílio, por meio da aplicação de questionário estruturado e do recordatório alimentar de 24 horas. Na segunda fase, 642 indivíduos adultos e idosos foram reavaliados quanto ao consumo alimentar por meio da aplicação, por telefone, do segundo recordatório alimentar, e, destes, 592 participaram da coleta domiciliar de amostras de sangue venoso, da medição antropométrica e da aferição da pressão arterial por técnico de enfermagem. Os alimentos relatados em ambos os recordatórios foram agrupados segundo a similaridade do valor nutricional e hábitos alimentares da população, e corrigidos pela variância intrapessoal da ingestão por procedimentos estatísticos da plataforma online Multiple Source Method. Os grupos de alimentos foram analisados por meio de análise fatorial exploratória e confirmatória (manuscrito 1) e por modelos de equações estruturais exploratórios (manuscrito 3), a fim de obter os padrões de dieta. O modelo conceitual da relação entre os fatores de risco metabólicos (leptina sérica, proteína C-reativa de alta sensibilidade sérica, pressão arterial sistólica e diastólica, razão colesterol total/lipoproteína de alta densidade, razão triacilglicerol/lipoproteína de alta densidade, glicemia de jejum plasmática, circunferência da cintura e peso corporal) foi obtido por modelos de equações estruturais estratificados por sexo (manuscrito 2). Por fim, a associação dos padrões de dieta com o modelo conceitual proposto (manuscrito 3) foi investigada por modelos de equações estruturais exploratórios. Índices de qualidade de ajuste foram estimados para avaliar a adequação de todos os modelos. As análises foram realizadas no programa Mplus versão 6.12. Resultados: No manuscrito 1, a análise fatorial exploratória revelou a existência de dois padrões de dieta, os quais apresentaram boa qualidade de ajuste na análise fatorial confirmatória quando aplicados os pontos de corte de cargas fatoriais |0,25| na rotação oblíqua Promax. No manuscrito 2, a relação entre os fatores de risco metabólicos foi diferente entre os sexos. Nas mulheres, a leptina sérica apresentou efeitos indiretos e positivos, mediados pelo peso corporal e pela circunferência da cintura, em todos os fatores de risco avaliados. Já nos homens, a leptina sérica apresentou efeitos diretos e positivos sobre a proteína C-reativa de alta sensibilidade e efeitos indiretos e positivos (mediados pelo peso corporal e pela circunferência da cintura) sobre a razão triacilglicerol/lipoproteína de alta densidade, colesterol total/lipoproteína de alta densidade e glicemia de jejum plasmática. No manuscrito 3, foram obtidos três padrões de dieta, dos quais o Tradicional apresentou relação direta e negativa com a leptina sérica e relação indireta e negativa com o peso corporal e a circunferência da cintura, bem como com os demais fatores de risco metabólicos. Já o padrão Prudente apresentou relação direta e negativa com a pressão arterial sistólica, enquanto o padrão Moderno não se associou aos fatores de risco metabólicos investigados. Conclusão: Diferenças nos padrões de dieta de acordo com o tipo de rotação fatorial empregada foram observadas. A relação entre os fatores de risco metabólicos para doença cardiovascular foi distinta entre homens e mulheres, sendo a leptina um dos possíveis hormônios envolvidos. Os padrões de dieta Tradicional e Prudente associaram-se inversamente com os fatores de risco metabólicos, desempenhando uma importante estratégia de prevenção e controle às doenças cardiovasculares no país.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the analysis of heart rate variability (HRV) are used temporal series that contains the distances between successive heartbeats in order to assess autonomic regulation of the cardiovascular system. These series are obtained from the electrocardiogram (ECG) signal analysis, which can be affected by different types of artifacts leading to incorrect interpretations in the analysis of the HRV signals. Classic approach to deal with these artifacts implies the use of correction methods, some of them based on interpolation, substitution or statistical techniques. However, there are few studies that shows the accuracy and performance of these correction methods on real HRV signals. This study aims to determine the performance of some linear and non-linear correction methods on HRV signals with induced artefacts by quantification of its linear and nonlinear HRV parameters. As part of the methodology, ECG signals of rats measured using the technique of telemetry were used to generate real heart rate variability signals without any error. In these series were simulated missing points (beats) in different quantities in order to emulate a real experimental situation as accurately as possible. In order to compare recovering efficiency, deletion (DEL), linear interpolation (LI), cubic spline interpolation (CI), moving average window (MAW) and nonlinear predictive interpolation (NPI) were used as correction methods for the series with induced artifacts. The accuracy of each correction method was known through the results obtained after the measurement of the mean value of the series (AVNN), standard deviation (SDNN), root mean square error of the differences between successive heartbeats (RMSSD), Lomb\'s periodogram (LSP), Detrended Fluctuation Analysis (DFA), multiscale entropy (MSE) and symbolic dynamics (SD) on each HRV signal with and without artifacts. The results show that, at low levels of missing points the performance of all correction techniques are very similar with very close values for each HRV parameter. However, at higher levels of losses only the NPI method allows to obtain HRV parameters with low error values and low quantity of significant differences in comparison to the values calculated for the same signals without the presence of missing points.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Recent years have witnessed a surge of interest in computational methods for affect, ranging from opinion mining, to subjectivity detection, to sentiment and emotion analysis. This article presents a brief overview of the latest trends in the field and describes the manner in which the articles contained in the special issue contribute to the advancement of the area. Finally, we comment on the current challenges and envisaged developments of the subjectivity and sentiment analysis fields, as well as their application to other Natural Language Processing tasks and related domains.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Functionalized carbon nanotubes (CNTs) using three aminobenzene acids with different functional groups (carboxylic, sulphonic, phosphonic) in para position have been synthesized through potentiodynamic treatment in acid media under oxidative conditions. A noticeable increase in the capacitance for the functionalized carbon nanotubes mainly due to redox processes points out the formation of an electroactive polymer thin film on the CNTs surface along with covalently bonded functionalities. The CNTs functionalized using aminobenzoic acid rendered the highest capacitance values and surface nitrogen content, while the presence of sulfur and/or phosphorus groups in the aminobenzene structure yielded a lower functionalization degree. The oxygen reduction reaction (ORR) activity of the functionalized samples was similar to that of the parent CNTs, independently of the functional group present in the aminobenzene acid. Interestingly, a heat treatment in N2 atmosphere with a very low O2 concentration (3125 ppm) at 800 °C of the CNTs functionalized with aminobenzoic acid produced a material with high amounts of surface oxygen and nitrogen groups (12 and 4% at., respectively), that seem to modulate the electron-donor properties of the resulting material. The onset potential and limiting current for ORR was enhanced for this material. These are promising results that validates the use of electrochemistry for the synthesis of novel N-doped electrocatalysts for ORR in combination with adequate heat treatments.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The microfoundations research agenda presents an expanded theoretical perspective because it considers individuals, their characteristics, and their interactions as relevant variables to help us understand firm-level strategic issues. However, microfoundations empirical research faces unique challenges because processes take place at different levels of analysis and these multilevel processes must be considered simultaneously. We describe multilevel modeling and mixed methods as methodological approaches whose use will allow for theoretical advancements. We describe key issues regarding the use of these two types of methods and, more importantly, discuss pressing substantive questions and topics that can be addressed with each of these methodological approaches with the goal of making theoretical advancements regarding the microfoundations research agenda and strategic management studies in general.