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


Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this paper, we introduce a Bayesian analysis for bioequivalence data assuming multivariate pharmacokinetic measures. With the introduction of correlation parameters between the pharmacokinetic measures or between the random effects in the bioequivalence models, we observe a good improvement in the bioequivalence results. These results are of great practical interest since they can yield higher accuracy and reliability for the bioequivalence tests, usually assumed by regulatory offices. An example is introduced to illustrate the proposed methodology by comparing the usual univariate bioequivalence methods with multivariate bioequivalence. We also consider some usual existing discrimination Bayesian methods to choose the best model to be used in bioequivalence studies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work describes the development and optimization of a sequential injection method to automate the determination of paraquat by square-wave voltammetry employing a hanging mercury drop electrode. Automation by sequential injection enhanced the sampling throughput, improving the sensitivity and precision of the measurements as a consequence of the highly reproducible and efficient conditions of mass transport of the analyte toward the electrode surface. For instance, 212 analyses can be made per hour if the sample/standard solution is prepared off-line and the sequential injection system is used just to inject the solution towards the flow cell. In-line sample conditioning reduces the sampling frequency to 44 h(-1). Experiments were performed in 0.10 M NaCl, which was the carrier solution, using a frequency of 200 Hz, a pulse height of 25 mV, a potential step of 2 mV, and a flow rate of 100 mu L s(-1). For a concentration range between 0.010 and 0.25 mg L(-1), the current (i(p), mu A) read at the potential corresponding to the peak maximum fitted the following linear equation with the paraquat concentration (mg L(-1)): ip = (-20.5 +/- 0.3) Cparaquat -(0.02 +/- 0.03). The limits of detection and quantification were 2.0 and 7.0 mu g L(-1), respectively. The accuracy of the method was evaluated by recovery studies using spiked water samples that were also analyzed by molecular absorption spectrophotometry after reduction of paraquat with sodium dithionite in an alkaline medium. No evidence of statistically significant differences between the two methods was observed at the 95% confidence level.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The aim of this study was to develop a fast capillary electrophoresis method for the determination of propranolol in pharmaceutical preparations. In the method development the pH and constituents of the background electrolyte were selected using the effective mobility versus pH curves. Benzylamine was used as the internal standard. The background electrolyte was composed of 60 mmol L(-1) tris(hydroxymethyl)aminomethane and 30 mmol L(-1) 2-hydroxyisobutyric acid,at pH 8.1. Separation was conducted in a fused-silica capillary (32 cm total length and 8.5 cm effective length, 50 mu m I.D.) with a short-end injection configuration and direct UV detection at 214 nm. The run time was only 14 s. Three different strategies were studied in order to develop a fast CE method with low total analysis time for propranolol analysis: low flush time (Lflush) 35 runs/h, without flush (Wflush) 52 runs/h, and Invert (switched polarity) 45 runs/h. Since the three strategies developed are statistically equivalent, Mush was selected due to the higher analytical frequency in comparison with the other methods. A few figures of merit of the proposed method include: good linearity (R(2) > 0.9999); limit of detection of 0.5 mg L(-1): inter-day precision better than 1.03% (n = 9) and recovery in the range of 95.1-104.5%. (C) 2009 Elsevier B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Voice processing in real-time is challenging. A drawback of previous work for Hypokinetic Dysarthria (HKD) recognition is the requirement of controlled settings in a laboratory environment. A personal digital assistant (PDA) has been developed for home assessment of PD patients. The PDA offers sound processing capabilities, which allow for developing a module for recognition and quantification HKD. Objective: To compose an algorithm for assessment of PD speech severity in the home environment based on a review synthesis. Methods: A two-tier review methodology is utilized. The first tier focuses on real-time problems in speech detection. In the second tier, acoustics features that are robust to medication changes in Levodopa-responsive patients are investigated for HKD recognition. Keywords such as Hypokinetic Dysarthria , and Speech recognition in real time were used in the search engines. IEEE explorer produced the most useful search hits as compared to Google Scholar, ELIN, EBRARY, PubMed and LIBRIS. Results: Vowel and consonant formants are the most relevant acoustic parameters to reflect PD medication changes. Since relevant speech segments (consonants and vowels) contains minority of speech energy, intelligibility can be improved by amplifying the voice signal using amplitude compression. Pause detection and peak to average power rate calculations for voice segmentation produce rich voice features in real time. Enhancements in voice segmentation can be done by inducing Zero-Crossing rate (ZCR). Consonants have high ZCR whereas vowels have low ZCR. Wavelet transform is found promising for voice analysis since it quantizes non-stationary voice signals over time-series using scale and translation parameters. In this way voice intelligibility in the waveforms can be analyzed in each time frame. Conclusions: This review evaluated HKD recognition algorithms to develop a tool for PD speech home-assessment using modern mobile technology. An algorithm that tackles realtime constraints in HKD recognition based on the review synthesis is proposed. We suggest that speech features may be further processed using wavelet transforms and used with a neural network for detection and quantification of speech anomalies related to PD. Based on this model, patients' speech can be automatically categorized according to UPDRS speech ratings.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Due to the increase in water demand and hydropower energy, it is getting more important to operate hydraulic structures in an efficient manner while sustaining multiple demands. Especially, companies, governmental agencies, consultant offices require effective, practical integrated tools and decision support frameworks to operate reservoirs, cascades of run-of-river plants and related elements such as canals by merging hydrological and reservoir simulation/optimization models with various numerical weather predictions, radar and satellite data. The model performance is highly related with the streamflow forecast, related uncertainty and its consideration in the decision making. While deterministic weather predictions and its corresponding streamflow forecasts directly restrict the manager to single deterministic trajectories, probabilistic forecasts can be a key solution by including uncertainty in flow forecast scenarios for dam operation. The objective of this study is to compare deterministic and probabilistic streamflow forecasts on an earlier developed basin/reservoir model for short term reservoir management. The study is applied to the Yuvacık Reservoir and its upstream basin which is the main water supply of Kocaeli City located in the northwestern part of Turkey. The reservoir represents a typical example by its limited capacity, downstream channel restrictions and high snowmelt potential. Mesoscale Model 5 and Ensemble Prediction System data are used as a main input and the flow forecasts are done for 2012 year using HEC-HMS. Hydrometeorological rule-based reservoir simulation model is accomplished with HEC-ResSim and integrated with forecasts. Since EPS based hydrological model produce a large number of equal probable scenarios, it will indicate how uncertainty spreads in the future. Thus, it will provide risk ranges in terms of spillway discharges and reservoir level for operator when it is compared with deterministic approach. The framework is fully data driven, applicable, useful to the profession and the knowledge can be transferred to other similar reservoir systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Labor churning is an important component of labor turnover in Brazil, which includes job reallocation between firms. The labor churning evolution in the nineties, at least for the industry sector in Sao Paulo, folows a very similar path for di erent groups of firms (divided by size or by subsectors), suggesting that changes in the macroeconomic environment a ect labor churning in a very similar way for different firms. This paper proposes a model to explain the path of formal labor churning in Brazil. The model admits that employers, when facing exogenous shocks that rise real wage, may substitute employees to reduce wage costs, particularly in low inflation periods, when real wages are more rigid. An econometric analysis is conducted using disaggregated data by firms for the industry sector in the Metropolitan Region of Sao Paulo. The results confirm the models main hipotesis. The results also suggest that, after the monetary estabilization, controlling for inflation and with valid instruments, labor churning is relatively higher

Relevância:

100.00% 100.00%

Publicador:

Resumo:

O presente trabalho tem como objetivo analisar três bancos comunitários de desenvolvimento (BCDs) paulistanos, ligados ao movimento de moradia, em seus primeiros meses de existência (de junho de 2009 a dezembro de 2011), tendo-se por base a perspectiva dos atores envolvidos. A partir de 2004, iniciou-se um processo de disseminação dos bancos comunitários conduzidos pelas lideranças criadoras da primeira instituição desse tipo no país, o Banco Palmas, fundado em 1998, em Fortaleza (CE), e pela Secretaria Nacional de Economia Solidária (SENAES). Existem poucos estudos sobre os bancos comunitários disseminados e poucas informações sobre as contingências existentes no processo de adoção desses bancos. O presente trabalho pretende contribuir suprindo essa lacuna. O trabalho conclui que, no caso dos três bancos comunitários paulistanos, ligados ao movimento de moradia, há contingências em dois níveis de implementação. O primeiro nível é caracterizado pela relação entre os coordenadores de associações comunitárias de construção, as quais dão suporte ao banco, os gerentes, os analistas de crédito e os caixas dos bancos, e os moradores dos conjuntos habitacionais onde os bancos estão inseridos. Nesse nível de implementação as contingências são: o confronto entre a agenda da associação comunitária de construção e do banco comunitário, a realização de atividades pelos trabalhadores e gerentes dos bancos cujo foco não é o banco comunitário e a intensidade do trabalho do agente de crédito. No segundo nível de implementação, caracterizado pela relação entre as ações indutoras da adoção dos bancos comunitários e os coordenadores de associação, os gerentes, analistas de crédito e caixas dos bancos, foram identificadas as seguintes contingências: o conjunto de obstáculos existente com o gestor da rede de correspondentes e o conjunto de obstáculos gerados por problemas ocorridos no modelo de indução vertical. As estratégias adotadas pelos bancos estudados para contraporem-se a tais contingências referem-se à busca de parcerias com uma instituição geograficamente mais próxima, parceria esta não consolidada até o fim do período analisado, para obtenção de recursos e gerenciamento da rede de correspondente, e à espera por recursos adicionais, baseado no modelo de indução vertical.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We studied the effects of changes in banking spreads on distributions of income, wealth and consumption as well as the welfare of the economy. This analysis was based on a model of heterogeneous agents with incomplete markets and occupational choice, in which the informality of firms and workers is a relevant transmission channel. The main finding is that reductions in spreads for firms increase the proportion of entrepreneurs and formal workers in the economy, thereby decreasing the size of the informal sector. The effects on inequality, however, are ambiguous and depend on wage dynamics and government transfers. Reductions in spreads for individuals lead to a reduction in inequality indicators at the expense of consumption and aggregate welfare. By calibrating the model to Brazil for the 2003-2012 period, it is possible to find results in line with the recent drop in informality and the wage gap between formal and informal workers.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We studied the effects of changes in banking spreads on distributions of income, wealth and consumption as well as the welfare of the economy. This analysis was based on a model of heterogeneous agents with incomplete markets and occupational choice, in which the informality of firms and workers is a relevant transmission channel. The main finding is that reductions in spreads for firms increase the proportion of entrepreneurs and formal workers in the economy, thereby decreasing the size of the informal sector. The effects on inequality, however, are ambiguous and depend on wage dynamics and government transfers. Reductions in spreads for individuals lead to a reduction in inequality indicators at the expense of consumption and aggregate welfare. By calibrating the model to Brazil for the 2003-2012 period, it is possible to find results in line with the recent drop in informality and the wage gap between formal and informal workers

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Estudos comprovam que determinados componentes exercem uma função fundamental para o desempenho do produto final, por exemplo o microprocessador Intel e o revestimento Teflon. Assim como os exemplos, alguns destes componentes de produtos possuem marca, as quais tem notoriedade para o consumidor final. Ou seja, o fabricante de componente começa a ter reconhecimento de marca na mente do consumidor. Devido a esta tendência de mercado, este estudo verificará inicialmente, os fatores que determinam a lembrança de marca de componentes por parte do consumidor final. E posteriormente, analisará as influências desta percepção de marca, e do reconhecimento dos benefícios do componente para a decisão de compra do consumidor. Para tanto, o estudo propõe o desenvolvimento de um modelo conceitual, o qual será testado empiricamente. Este modelo tem como base o modelo de decisão de compra do consumidor para produto final, com sugeridas adaptações para a situação de marcas de componentes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

With the need of the companies in becoming more competitive within the market, it arises an incessant search for selective human potential, with a high level of capacity and low rotativity, which motivation results in production raise, quality optimization and waste reduction. This scenario requires a strategy development which advantages the Human Resources Quality Management. This way, the model of the Human System Audit (HSA), developed by the Spanish researchers Ouijano and Navarro, presents itself as an important tool to diagnosis and evaluation, contemplating the environment where the organization is inserted, its strategies, its organizational design, its processes and its organizational effectiveness. In this sense, the present study has identified the existent relation between the professional satisfaction and the Organizational Culture, based in the model HSA. The research has been a quantitative-descriptive one and has had as population the technical-administrative workers from the Federal Center of Technical Education of Rio Grande do Norte (CEFET RN). The data collection has occurred during May, 2008, by means of the application of a questionnaire in the HSA model. The sample was composed by 167 subjects, distributed among the Five units of the institution. It was used the factorial analysis, with the extraction method of main components and orthogonal rotation varimax, in order to extract the dimensions of the satisfaction and of the organizational culture and the calculation of Cronbach s Alpha coefficient, to evaluate the reliability of these dimensions. The factorial analysis of the satisfaction indicators has identified four factors,, all of them showing significance: gratefulness and relationship , self-realization , stability and security and physical conditions and social benefits . The result of the factorial analysis with the indicators of the organizational culture has extracted four factors and among them, three of them have obtained significance: Personal Satisfaction Style , Competitive-Denial-Power Style and the Conventional-Dependent Style . After identifying the dimensions of the satisfaction and culture found at CEFET-RN, it has been notice the existence or not of relation among them, through the application of Pearson s coefficient. It has been verified that all of the dimensions of the Professional satisfaction are correlated with some dimension of the organizational culture, having in outstand position, with higher intensity, the relation between the culture style of Personal Satisfaction and the satisfaction factor referring to the self-realization

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work involves the organization and content perspectives on Enterprise Content Management (ECM) framework. The case study at the Federal University of Rio Grande do Norte was based on ECM model to analyse the information management provided by the three main administrative systems: The Integrated Management of Academic Activities (SIGAA), Integrated System of Inheritance, and Contracts Administration (SIPAC) and the Integrated System for Administration and Human Resources (SIGRH). A case study protocol was designed to provide greater reliability to research process. Four propositions were examined in order to reach the specific objectives of identification and evaluation of ECM components from UFRN perspective. The preliminary phase provided the guidelines for the data collection. In total, 75 individuals were interviewed. Interviews with four managers directly involved on systems design were recorded (average duration of 90 minutes). The 70 remaining individuals were approached in random way in UFRN s units, including teachers, administrative-technical employees and students. The results showed the presence of many ECM elements in the management of UFRN administrative information. The technological component with higher presence was "management of web content / collaboration". But initiatives of other components (e.g. email and document management) were found and are in continuous improvement. The assessment made use of eQual 4.0 to examine the effectiveness of applications under three factors: usability, quality of information and offered service. In general, the quality offered by the systems was very good and walk side by side with the obtained benefits of ECM strategy adoption in the context of the whole institution