Introdução: A terapia de ressincronização cardíaca (TRC) é um tratamento recomendado pelas principais diretrizes mundiais para pacientes com insuficiência cardíaca congestiva (ICC), disfunção ventricular esquerda (FE <= 35%), com tratamento otimizado e distúrbio da condução intraventricular, principalmente pelo ramo esquerdo. Entretanto, 30%-40% dos pacientes selecionados não respondem ao tratamento. As razões desse insucesso não são completamente conhecidas. Existe, portanto, necessidade de desenvolvimento de índices multifatoriais para melhor selecionar e acompanhar a evolução e o prognóstico destes pacientes. Objetivo: Elaborar modelos preditores de risco de óbito cardíaco ou transplante (Tx), em diferentes fases da TRC. Métodos e Casuística: Estudo observacional, prospectivo e analítico, com inclusão de 116 pacientes, entre 01/2008 a 03/2013, sendo 69,8% do sexo masculino, com CF III (68,1%) e IV ambulatorial (31,9%), com BRE em 71,55% e com idade de 64,89 ± 11,18 anos e fração de ejeção (FE) de 29%. Avaliações foram feitas no período pré-implante (tempo 1), 6-12 meses (tempo 2) e 18-24 meses (tempo 3) e correlacionadas com a mortalidade cardíaca/Tx no final do seguimento. Foram estudadas variáveis clínicas, eletrocardiográficas e ecocardiográficas e realizadas análises de regressão de Cox e regressão logística, com a construção da curva ROC. As curvas de sobrevidas foram realizadas pelo método de Kaplan-Meier e comparadas pelo log-rank. Modelos e escores foram elaborados pelas pontuações do \"hazard ratio\", utilizado como variável independente no modelo de regressão logística. Resultados: Ocorreram 29 (25%) óbitos/Tx durante o seguimento de 34,09 ± 17,9 meses. A mortalidade cardíaca/Tx foi de 16,3 % (19 pacientes). Seis pacientes foram transplantados durante o tempo do estudo. No período préimplante (tempo 1), a presença de disfunção de ventrículo direito (VD), FE < 25% e o uso de altas doses de diuréticos (dois ou mais comprimidos de furosemida) mostraram-se com valor independente, com aumento de risco de óbito cardíaco/Tx de 3,9; 4,8 e 5,9 vezes, respectivamente. No tempo 2 (1° ano), as variáveis disfunção de VD, altas doses de diuréticos e internações por ICC foram as variáveis significativas, com aumento de risco 3,5; 5,3 e 12,5 respectivamente. No tempo 3 (2° ano), as variáveis disfunção de VD e classe funcional III/IV foram significativas no modelo multivariado de Cox, com aumento de risco de 12,1 e 7,7. As acurácias dos modelos foram 84,6%; 93% e 90,5%, respectivamente. Conclusão: Os modelos preditores de óbito cardíaco desenvolvidos a partir de variáveis clínicas e ecocardiográficas, obtidas em diferentes fases da TRC, mostraram boa acurácia e podem ajudar na seleção, seguimento, definição de resposta e aconselhamento destes pacientes / Introduction: Cardiac resynchronization therapy (CRT) is indicated for patients with congestive heart failure (CHF), ejection fraction (EF) <= 35%, and bundle branch block. However, 30%-40% do not respond to CRT. Therefore, there is a need to develop multifactorial indexes to better select and follow these patients. Objective: This work aims to develop predictive models for the risk of cardiac death or transplantation (Tx) at different stages of CRT. Methods: We performed a prospective observational study of 116 patients, 69.8% males, functional class (FC) III (68.1%) and IV (31.9%), LBBB in 71.55%, age 64.89 ± 11.18 years. We studied clinical, electrocardiographic, and echocardiographic variables and performed Cox and logistic regression with ROC and Kaplan- Meier curves. Results: The cardiac mortality was 16.3% (19 patients) in the 34.09 ± 17.9 follow-up months. Pre-implantation, the right ventricular dysfunction (RVD), EF <25%, and the use of high doses of diuretics (HDD) increased risk of cardiac death or Tx of 3.9, 4.8, and 5.9 fold, respectively, and in the first year, the variables RVD, HDD, and hospitalizations for CHF increased risk of death of 3.5, 5.3, and 12.5, respectively. In the 2nd year, the variables RVD and FC III / IV (NYHA) were significant in the multivariate Cox model. The accuracies of the models were 84.6%, 93%, and 90.5%, respectively. Conclusions: Cardiac death predictive models were developed in different stages of CRT, and were based on the analysis of simple clinical and echocardiographic variables. The models showed good accuracy and can help in the selection and follow-up of these patients

O problema do sequenciamento da produção diz respeito à alocação das tarefas nas máquinas em um ambiente de fabricação, o qual vem sendo amplamente estudado. O sequenciamento pode variar em tamanho e complexidade dependendo do tipo de ambiente onde ele é aplicado, do número e tipos de restrições tecnológicas e da função objetivo do problema. A utilização de métodos de decisão para a solução de problemas de sequenciamento na indústria depende de modelos que sejam capazes de oferecer soluções para os problemas reais, que geralmente envolvem diversas restrições, os quais devem ser considerados simultaneamente. No presente trabalho o problema de sequenciamento da produção em ambientes flow shop permutacionais, com bloqueio com buffer zero, e com tempos de setup dependente da sequência e da máquina, com o objetivo de minimização do makespan é estudado, sendo este considerado um problema NP-Completo. O problema é pouco explorado na literatura. No presente trabalho é apresentado um procedimento de cálculo para o makespan e três métodos de solução para o problema: quatro limitantes inferiores para o procedimento Branch-and-Bound; quatro modelos MILP, sendo dois deles adaptados; e 28 modelos heurísticos construtivos adaptados para o problema. Os métodos desenvolvidos baseiam-se em propriedades matemáticas do problema que são apresentadas neste trabalho como limitante inferior e limitante superior. Dentre todos os modelos MILP, o modelo adaptado RBZBS1 obteve os melhores resultados para os problemas menores e o modelo desenvolvido TNZBS1 obteve os melhores desvios relativos médios do makespan para os problemas maiores, que não foram resolvidos dentro do limite de tempo computacional estipulado. O limitante inferior para o Branch-and-Bound LBTN2 foi melhor que os demais tanto no tempo computacional e no número de nós explorados como também no número de problemas não resolvidos e no desvio relativo médio do makespan. Foi realizado uma comparação entre o melhor modelo MILP e o melhor limitante inferior para o Branch-and-Bound, sendo que o último obteve melhores resultados para os problemas testados. Entre os métodos heurísticos adaptados, o PF foi o que obteve, de uma forma geral, os melhores resultados em todas as fases. / Production scheduling is defined as a problem of allocating jobs in machines in a production environment and it has been largely studied. The scheduling can vary in difficulty and complexity depending on the environment, the variety and types of technological restraints and the objective function of the problem. The use of decision making methods to solve scheduling problems in the industry needs models that are capable to solve real problems, that usually involve a big variety of restraints that have to be simultaneously studied. At the present work the scheduling problem in a permutational flow shop environment, considering blocking with zero buffer, and sequence and machine dependent setup times, with the objective of minimizing makespan is studied, which is considered a NP-Complete problem and little explored in literature. The work presents a calculation procedure for the makespan and three solution methods for the problem: four lower bounds for the Branch-and-Bound procedure; four MILP models, two of which are adapted; and 28 constructive heuristic methods adapted to the problem. The methods developed are based on mathematical properties of the problem that are presented in this work as a lower bound and an upper bound. Among all the MILP models, the adapted model RBZBS1 was the one to obtain the best results for the smaller problems, and the developed model TNZBS1 obtained the smallest mean relative deviation of the makespan for the bigger problems that were not solved within the specified computational time limit. The lower bound for the Branch-and-Bound LBTN2 obtained smaller computational times and number of explored nodes as well as the number of unsolved problems and the mean relative deviation for the makespan than all other lower bounds. Also, a comparison among the best MILP model and the best lower bound for the Branch-and-Bound was performed, being that the last obtained better results for the tested problems. Among the adapted heuristic methods, the PF heuristic was the one that obtained, in general, the better results in all phases.

O problema do sequenciamento da produção diz respeito à alocação das tarefas nas máquinas em um ambiente de fabricação, o qual vem sendo amplamente estudado. O sequenciamento pode variar em tamanho e complexidade dependendo do tipo de ambiente onde ele é aplicado, do número e tipos de restrições tecnológicas e da função objetivo do problema. A utilização de métodos de decisão para a solução de problemas de sequenciamento na indústria depende de modelos que sejam capazes de oferecer soluções para os problemas reais, que geralmente envolvem diversas restrições, os quais devem ser considerados simultaneamente. No presente trabalho o problema de sequenciamento da produção em ambientes flow shop permutacionais, com bloqueio com buffer zero, e com tempos de setup dependente da sequência e da máquina, com o objetivo de minimização do makespan é estudado, sendo este considerado um problema NP-Completo. O problema é pouco explorado na literatura. No presente trabalho é apresentado um procedimento de cálculo para o makespan e três métodos de solução para o problema: quatro limitantes inferiores para o procedimento Branch-and-Bound; quatro modelos MILP, sendo dois deles adaptados; e 28 modelos heurísticos construtivos adaptados para o problema. Os métodos desenvolvidos baseiam-se em propriedades matemáticas do problema que são apresentadas neste trabalho como limitante inferior e limitante superior. Dentre todos os modelos MILP, o modelo adaptado RBZBS1 obteve os melhores resultados para os problemas menores e o modelo desenvolvido TNZBS1 obteve os melhores desvios relativos médios do makespan para os problemas maiores, que não foram resolvidos dentro do limite de tempo computacional estipulado. O limitante inferior para o Branch-and-Bound LBTN2 foi melhor que os demais tanto no tempo computacional e no número de nós explorados como também no número de problemas não resolvidos e no desvio relativo médio do makespan. Foi realizado uma comparação entre o melhor modelo MILP e o melhor limitante inferior para o Branch-and-Bound, sendo que o último obteve melhores resultados para os problemas testados. Entre os métodos heurísticos adaptados, o PF foi o que obteve, de uma forma geral, os melhores resultados em todas as fases. / Production scheduling is defined as a problem of allocating jobs in machines in a production environment and it has been largely studied. The scheduling can vary in difficulty and complexity depending on the environment, the variety and types of technological restraints and the objective function of the problem. The use of decision making methods to solve scheduling problems in the industry needs models that are capable to solve real problems, that usually involve a big variety of restraints that have to be simultaneously studied. At the present work the scheduling problem in a permutational flow shop environment, considering blocking with zero buffer, and sequence and machine dependent setup times, with the objective of minimizing makespan is studied, which is considered a NP-Complete problem and little explored in literature. The work presents a calculation procedure for the makespan and three solution methods for the problem: four lower bounds for the Branch-and-Bound procedure; four MILP models, two of which are adapted; and 28 constructive heuristic methods adapted to the problem. The methods developed are based on mathematical properties of the problem that are presented in this work as a lower bound and an upper bound. Among all the MILP models, the adapted model RBZBS1 was the one to obtain the best results for the smaller problems, and the developed model TNZBS1 obtained the smallest mean relative deviation of the makespan for the bigger problems that were not solved within the specified computational time limit. The lower bound for the Branch-and-Bound LBTN2 obtained smaller computational times and number of explored nodes as well as the number of unsolved problems and the mean relative deviation for the makespan than all other lower bounds. Also, a comparison among the best MILP model and the best lower bound for the Branch-and-Bound was performed, being that the last obtained better results for the tested problems. Among the adapted heuristic methods, the PF heuristic was the one that obtained, in general, the better results in all phases.

[pt] Nesta tese foram estudados três sistemas nanoscópicos compostos de pontos quânticos (PQs). No primeiro deles foi analisada a denominada nuvem Kondo, ou a extensão da blindagem que os spins da banda de condução fazem do spin de uma impureza magnética embebida em uma matriz metálica e representada, no nosso caso, por um PQ. As propriedades da nuvem Kondo foram obtidas através da manifestação da ressonância Kondo na densidade de estados local nos sítios da matriz metálica e também através das correlações de spin entre o spin do elétron no PQ e os spins da banda de condução. Foi possível encontrar uma concordância entre as extensões da nuvem Kondo obtidas com ambos métodos. O segundo sistema estudado consiste em uma estrutura de três PQs alinhados e com o PQ central acoplado a dois contatos metálicos. Foi analisada a operação deste sistema como uma porta lógica quântica cujo funcionamento depende do estado de carga do PQ central. Foi feito um estudo dependente do tempo das propriedades do sistema e, em particular, da correlação dos spins dos PQs laterais. Mostramos que o efeito Kondo, refletido na condutância do sistema, pode ser uma ferramenta fundamental para conhecer o estado da porta quântica. Os primeiros dois sistemas foram tratados usando o método dos Bósons Escravos na aproximação de campo médio. Finalmente, foi estudado o transporte termoelétrico em um sistema de dois PQs quando um deles está acoplado a contatos metálicos unidimensionais. O sistema foi analisado no regime de resposta linear e não linear a um potencial externo no regime de bloqueio de Coulomb. Mostramos que a presença de ressonâncias Fano e de uma singularidade de Van-Hove na densidade de estados dos contatos unidimensionais perto do nível de Fermi são ingredientes fundamentais para o aumento da eficiência termoelétrica do dispositivo. O problema de muitos corpos foi resolvido na aproximação de Hubbard III que permite um estudo correto das propriedades de transporte deste sistema para T maior que TK, onde TK é a temperatura Kondo. / [en] In this thesis, were studied three nanoscopic quantum dot (QD) systems. First, the so-called Kondo cloud was analyzed, the extension of the conduction band spin screening of a magnetic impurity embedded in a metallic matrix and represented, in our case, by a QD. The Kondo cloud properties were obtained studying the way in which the local density of states of the metallic matrix sites reflects the Kondo resonance and also through the spin-spin correlations between the QD and the conduction band spins. It was possible to find a good agreement between the Kondo cloud extensions obtained using both methods. The second system consists of three aligned QDs with the central QD connected to two metallic leads. The operation of this system as a quantum gate was studied, which depends on the central QD charge. A time dependent study of the system properties and, in particular, of the lateral QDs spin correlation was developed. We showed that the Kondo effect, reflected in the conductance, could be a fundamental tool to measure the information contained in the quantum gate state. The first two systems were treated using the Slave Bosons Mean Field Approximation method. Finally, we studied the thermoelectric transport of a two QD system when one of them is connected to two onedimensional leads. The system was analyzed in the linear and nonlinear response to an external applied potential, always in the Coulomb blockade regime. It was found that the presence of Fano resonances and a Van-Hove singularity in the one-dimensional lead density of states near the Fermi level are fundamental ingredients to enhance thermoelectric efficiency. The many-body problem was treated in the Hubbard III approximation, which is a correct approach to study the transport properties for T greater than TK, where TK is the Kondo temperature.

Made available in DSpace on 2016-08-31T13:33:41Z (GMT). No. of bitstreams: 1 TarcisioSB_DISSERT.pdf: 1571314 bytes, checksum: 86e8646fa8da6455187767e219181490 (MD5) Previous issue date: 2014-12-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Studies on connections lock in computer networks have been gaining prominence in recent research focused on computational communication and technology. Several researchers have used various methods in order to identify and minimize the blocking rate that prevent a connection is established. This paper presents a blocking rate analysis in connections of shortest paths algorithms. They have on the performance of a transparent optical network. Two algorithms will be used to perform the analysis and simulations, the Genetic Algorithm (AG) and the algorithm Yen (AY). The Genetic Algorithm is based on Computational Intelligence (CI) and the Yen algorithm is based on the principle of finding and identifying the K shortest paths. Numerical simulations performed on different network scenarios show that the greater the number of connections, the higher the blocking rate in the connections. This study will help to identify which algorithm behaves better in the specific cases described in this work / Os estudos sobre bloqueio de conexões em redes de computadores vêm ganhando destaque em recentes pesquisas voltadas à comunicação computacional e tecnologia. Vários pesquisadores têm utilizado diversos métodos buscando identificar e minimizar ao máximo a taxa média de bloqueio que impedem que uma conexão seja estabelecida. Este trabalho apresenta uma análise de taxa média de bloqueio em conexões por algoritmos de caminhos mínimos. Têm sobre o desempenho de uma rede ótica transparente. Serão utilizados dois algoritmos para realizar a análise e as simulações, o Algoritmo Genético (AG) e o Algoritmo de Yen (AY). O Algoritmo Genético fundamentado por Inteligência Computacional (IC) e o Algoritmo de Yen baseado no princípio de encontrar e identificar os K menores caminhos. Simulações numéricas realizadas em diferentes cenários da rede mostram que, quanto maior o número de conexões, maior será a taxa média de bloqueio nas conexões. Através desse estudo será possível identificar qual algoritmo se comporta melhor para os casos específicos descritos nesse trabalho

Made available in DSpace on 2016-06-02T20:15:28Z (GMT). No. of bitstreams: 1 5145.pdf: 3696466 bytes, checksum: a50814528dfffc17767d4ca059a77ac6 (MD5) Previous issue date: 2013-03-27 / Universidade Federal de Minas Gerais / We investigate in this thesis the control of absorptive optical bistability in a standing wave optical cavity filled with a collection of two and three-level noninteracting atoms weakly coupled to a single electromagnetic mode of a optical resonator. The observed control for the three-level configuration happens under cavity coherent population trapping conditions, it is sensitive to the induced atomic coherence in the system and it can be manipulated through different parameters. We propose some applications presenting a new effect, named by ourselves as complementary optical bistability. It is very interesting to exploit bistability phenomenon to perform bistable cascade devices, such as an optical transistor. We also study the all-optical control of the quantum fuctuations of a beam via a combination of single-atom cavity quantum electrodynamics (CQED) and electromagnetically induced transparency (EIT). Specifically, the EIT control field is used to tune the CQED transition frequencies in and out of resonance with the probe light. In this way, single-photon and two-photon blockade and anti-blockade effects are employed to produce sub-Poissonian and super-Poissonian light fields, respectively. The achievable quantum control paves the way towards the realization of a prototype of a quantum transistor which amplifies or attenuates the noise. Its feasibility is demonstrated by calculations using realistic parameters from recent experiments. / Nesta tese estudamos o controle da biestabilidade óptica absortiva em uma cavidade linear contendo uma coleção de átomos de dois e três níveis não interagentes fracamente acoplados a um único modo do campo. Mostramos que o controle para a configuração atômica de três níveis ocorre apenas nas condições de aprisionamento coerente de população e que o mesmo é sensível à coerência atômica induzida no sistema podendo ser manipulado através de diferentes parâmetros. Propomos algumas aplicações apresentando um efeito novo, o qual denominamos de biestabilidade óptica complementar, muito interessante para explorar dispositivos ópticos biestáveis com funções de cascatabilidade, como um transistor óptico. Estudamos também o controle óptico das flutuações do campo de prova pela combinação do fenômeno de transparência eletromagneticamente induzida para um único átomo no regime de acoplamento forte em eletrodinâmica quântica de cavidades. Especificamente, o campo de controle é utilizado para ajustar as frequências de transição dos estados vestidos ressonantemente ou quase ressonantemente com o campo de prova do sistema. Desta forma, efeitos de bloqueio de um e dois fótons e anti-bloqueio são observados produzindo campos sub- e super-Poissonianos, respectivamente. O controle quântico obtido pode ser promissor para a realização de um protótipo de um transistor quântico que amplifica e atenua flutuações quânticas do campo transmitido pelo sistema. A viabilidade desse dispositivo é demonstrada através de cálculos utilizando parâmetros de experimentos recentes.

Introdução: A perfusão miocárdica de estresse pela tomografia (PMT) é um método emergente e não-invasivo para detecção de isquemia miocárdica. O objetivo deste estudo foi avaliar a acurácia diagnóstica da PMT em pacientes com bloqueio de ramo esquerdo (BRE) que estavam em pesquisa diagnóstica de doença arterial coronariana (DAC) e o valor adicional da PMT sobre a tomografia computadorizada com múltiplos detectores (ATC) usando tomógrafo com 320 detectores, e compará-los com a cintilografia de perfusão miocárdica (SPECT) para detecção de isquemia miocárdica com estenose coronariana significativa (estenose >- 70%), utilizando a angiografia coronariana quantitativa (QCA) e a angiografia coronariana pela tomografia computadorizada com múltiplos detectores como referências. Material e Métodos: Quarenta e dois pacientes com BRE e SPECT ( < 2 meses) em avaliação diagnóstica de DAC foram encaminhados para realizar o protocolo de tomografia que incluiu o escore de cálcio, PMT, ATC e realce tardio do miocárdio. Trinta pacientes foram encaminhados para angiografia coronária invasiva. As imagens foram interpretadas por observadores independentes e alheios aos resultados dos exames e aos dados clínicos. Foram realizadas análises por paciente e por território. O estudo obteve a aprovação da comissão de ética e todos os pacientes assinaram consentimento informado. Resultados: A idade média dos pacientes foi 63 +- 10 anos e, destes, 67% mulheres (28 pacientes). A dose média de radiação total foi de 9,3 +- 4,6 mSv. Na análise por paciente, sensibilidade, especificidade, valores preditivos positivo e negativo foram de 86%, 89%, 80 e 93% para a PMT (p=0,001) (kappa 0,74) e 63%, 91%, 65% e 90% (p < 0,001) na análise por território (kappa 0,55), respectivamente. Em ambas as análises, o ATC mostrou excelente precisão, com área sob a curva ROC=0,9. Considerável concordância foi demonstrada entre SPECT e o QCA (kappa 0,32 e 0,26) nas análises por paciente e por território, respectivamente. A avaliação combinada da ATC com a PMT permitiu melhorar a acurácia diagnóstica para detecção de estenose coronariana com redução luminal hemodinamicamente significativa ( >= 70%) comparando-se com a ATC, PMT ou SPECT isolados, demonstrado por valores de sensibilidade, especificidade, e valores preditivos positivos e negativos de 93%, 87%, 87%, 93% (p < 0,0001) na avaliação combinada por paciente, e 85%, 90%, 79%, 93% (p < 0,0001) na avaliação combinada por território. Conclusão: O uso do protocolo tomográfico de estresse é viável e possui boa acurácia para diagnóstico de DAC em pacientes com BRE com resultados superiores ao SPECT. A combinação da PMT e ATC permitiu melhorar a acurácia diagnóstica da avaliação de obstrução coronariana significativa em pacientes com BRE / Introduction: Stress computed tomography myocardial perfusion (CTP) is an emerging and non-invasive method to detect myocardial ischemia. The objective of this study was to evaluate diagnostic accuracy of CTP in patients with left bundle branch block (LBBB) who were being evaluated for coronary artery disease (CAD) and the additional value of CTP on computed tomography angiography (CTA) using 320-row detector CT scanner and compare them with single-photon emission computed tomography (SPECT) for detection of myocardial ischemia with significant coronary stenosis >= 70% using quantitative invasive coronary angiography (QCA) and coronary CT angiography as references. Material and Methods: Forty two LBBB patients with SPECT ( < 2 months) in diagnostic evaluation for CAD were referred to stress CT protocol which included calcium score, CTP, CTA and myocardial delayed enhancement. Thirty patients were referred to invasive coronary angiography. Independent blinded observers performed analyses of the images. Per-patient and perterritory analyses were conducted. Ethical committee aproval was obtained and all patients gave informed consent. Results: The mean age was 63 +- 10 years. 67% were women (28 patients). The total mean radiation dose was 9,3 +- 4,6 mSv. In per-patient sensitivity, specificity, positive and negative values were 86%, 89%, 80 and 93%, for CTP (p=0,001) (kappa 0.74) and 63%, 91% 65% and 90% (p < 0,001) in per-territory analysis (kappa 0.55), respectively. In both analyses, CTA showed excellent accuracy with area under receiver operating curve (AUC) = 0.9. Fair agreement was demonstrated between SPECT and QCA (kappa 0,32 e 0,26) in per-patient and per-territory analyses, respectively. The combined analysis of CTA with CTP, improved diagnostic accuracy for detection of coronary stenosis with hemodynamically significant luminal reduction ( >= 70%) compared with CTA, CTP or SPECT alone, demonstrated by sensitivity, specificity, and positive and negative predictive values of 93%, 87%, 87%, 93% (p < 0,0001) in the combined evaluation by patient and 85%, 90%, 79%, 93% (p < 0,0001) in the combined evaluation by territory. Conclusion: The use of customized stress CT protocol is feasible and has good accuracy for the diagnosis of CAD in patients with LBBB with results better than SPECT. The combination of PMT and ATC has improved the diagnostic accuracy of the assessment of significant coronary obstruction in patients with LBBB

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work formalizes four methods based on Linear Logic for the verification of interorganizational workflow processes modelled by Interorganizational Workflow nets, which are Petri nets that model such processes. The first method is related to the verification of the Soundness criteria for interorganizational workflow processes. The method is based on the construction and analysis of Linear Logic proof trees, which represent the local processes as much as they do the global processes. The second and third methods are related, respectively to Soundness criteria verification, Relaxed Soundness and Weak Soundness for the interorganizational workflow processes. These are obtained through the analysis of reutilized Linear Logic proof trees that have been constructed for the verification of the Soundness criteria. However, the fourth method has the objective of detecting the deadlock free scenarios in interorganizational workflow and is based on the construction and analysis of Linear Logic proof trees, which initially takes into consideration the local processes and communication between such, and thereafter the candidate scenarios. A case study is carried out in the context of a Web services composition check, since there is a close correlation between the modelling of the interorganizational workflow process and a Web services composition. Therefore, the four methods proposed in the interorganizational workflow process context, are applied to a Web services composition. The evaluation of the obtained results shows that the reutilization of Linear Logic proof trees initially constructed for verifying the Soundness criteria, in fact occurs in the context of verifying the Relaxed Soundness andWeak Soundness criteria. In addition, the evaluation shows how the Linear Logic sequents and their proof trees explicitly show the possibilities for existing collaborations in a Web service composition. An evaluation that takes into account the number of constructed linear logic proof trees shows that this number can be significantly reduced in the deadlock-freeness scenarios detection method. An approach for resource planning based on the symbolic date calculation, which considers data extracted from Linear Logic proof trees is presented and validated through simulations performed on the CPN tools simulator. Two approaches for the monitoring of deadlockfreeness scenarios are introduced and show how data obtained from the Linear Logic proof trees can be used to guide the execution of such scenarios. / Este trabalho formaliza quatro métodos baseados na Lógica Linear para verificação de processos de workflow interorganizacionais modelados por WorkFlow nets interorganizacionais, que são redes de Petri que modelam tais processos. O primeiro método está relacionado com a verificação do critério de correção Soundness para processos de workflow interorganizacionais. O método é baseado na construção e análise de árvores de prova da Lógica Linear que representam tanto os processos locais quanto o processo global. O segundo e terceiro métodos estão relacionados, respectivamente, com a verificação dos critérios de correção Relaxed Soundness e Weak Soundness para processos de workflow interorganizacionais, e são obtidos através da análise de árvores de prova da Lógica Linear reutilizadas, construídas para a prova do critério de correção Soundness. Já o quarto método tem por objetivo a detecção dos cenários livres de deadlock em processos de workflow interorganizacionais e é baseado na construção e análise de árvores de prova da Lógica Linear que consideram, inicialmente, os processos locais e as comunicações entre estes e, posteriormente, os cenários candidatos. Um estudo de caso é realizado no contexto da verificação de composições de serviços Web, uma vez que há uma relação estreita entre a modelagem de um processo de workflow interorganizacional e uma composição de serviços Web. Assim, os quatro métodos propostos no contexto dos processos de workflow interorganizacionais são aplicados a uma composição de serviços Web. A avaliação dos resultados mostra que o reuso de árvores de prova da Lógica Linear construídas inicialmente para a prova do critério de correção Soundness de fato ocorre no contexto da verificação dos critérios de correção Relaxed Soundness e Weak Soundness. Além disso, a avaliação mostra como os sequentes da Lógica Linear e suas árvores de prova explicitam as possibilidades de colaboração existentes em uma composição de serviços Web. Uma avaliação que leva em conta o número de árvores de prova da Lógica Linear construídas mostra que este número pode ser significativamente reduzido no método para detecção de cenários livres de deadlock. Uma abordagem para planejamento de recursos, baseada no cálculo de datas simbólicas, que considera dados extraídos de árvores de prova da Lógica Linear, é apresentada e validada através de simulações realizadas no simulador CPN Tools. Duas abordagens para a monitoração dos cenários livres de deadlock são introduzidas e mostram como dados obtidos nas árvores de prova da Lógica Linear podem ser utilizados para guiar a execução de tais cenários. / Doutor em Ciência da Computação

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-12-16T17:15:33Z No. of bitstreams: 1 marcellofonsecasalgadofilho.pdf: 9000247 bytes, checksum: a234119931ed8da56fb969e17bc8b078 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-12-19T13:03:57Z (GMT) No. of bitstreams: 1 marcellofonsecasalgadofilho.pdf: 9000247 bytes, checksum: a234119931ed8da56fb969e17bc8b078 (MD5) / Made available in DSpace on 2016-12-19T13:03:57Z (GMT). No. of bitstreams: 1 marcellofonsecasalgadofilho.pdf: 9000247 bytes, checksum: a234119931ed8da56fb969e17bc8b078 (MD5) Previous issue date: 2010-04-14 / Introdução: O bloqueio do nervo dorsal do pênis (BNDP) e a anestesia local tópica (LT) com uma mistura eutética de prilocaína e lidacaína são técnicas de uso rotineiro, fácil aplicação e baixo índice de complicações na cirurgia de postectomia. Propôs-se avaliar qual delas apresenta melhor analgesia com menor efeito hemodinâmico na cirurgia de postectomia por Plastibell® em crianças. Pacientes e métodos: Este ensaio clínico randomizado foi conduzido com 41 meninos, submetidos à postectomia por Plastibell® divididos em dois grupos: LT e BNDP. O estudo foi aprovado pelo Comitê de Ética em Pesquisa em Humanos segundo as normas da declaração de Helsinki e pelo Clinical trials/FDA. Nos pacientes sorteados para a técnica LT, a pomada de mistura eutética de prilocaína e lidacaína era aplicada no prepúcio uma hora antes da cirurgia. Antes da indução anestésica, todas as crianças eram monitoradas com estetoscópio precordial e monitor multiparâmetro Datex Omeda®. A indução anestésica era padrão para os dois grupos, com concentração inspirada de sevoflurano a 8% sob máscara facial e ventilação espontânea. No grupo BNDP, fez-se o bloqueio do nervo dorsal do pênis com levobupivacaína a 0,5% na dose de 2mg/kg. Avaliaram-se a frequência cardíaca, a pressão arterial média, a frequência respiratória e os movimentos involuntários durante os momentos de indução anestésica, de bloqueio do nervo dorsal do pênis, um minuto após a incisão e no pós-operatório imediato. A dor foi avaliada na primeira e na vigésima quarta hora de pós-operatório, pela escala análogo visual de dor. Resultados: Os grupos foram homogêneos quanto à idade, peso, diâmetro da glande, comprimento do pênis e tempo cirúrgico. No grupo LT, observou-se uma tendência a aumento da freqüência cardíaca no momento 1 minuto pós-incisão (p = 0,073) e da pressão arterial media no momento 1 minuto pósincisão (p = 0,046). No grupo BNDP, houve aumento da freqüência cardíaca (p = 0,004) e da pressão arterial média (p = 0,016) no momento do bloqueio. Comparando os momentos de maiores estímulos hemodinâmicos em cada grupo (T2 no grupo LT e T1 no grupo BNDP), observamos um estímulo mais intenso no BNDP, com aumento significante da freqüência cardíaca (p = 0,001) e maior incidência de movimentos involuntários (p = 0,002). Não houve diferença na dor 7 na primeira e na vigésima quarta hora de pós-operatório entre os grupos estudados. A incidência de hematoma e edema em 24 horas de pós--operatório foi maior no grupo BNDP. Conclusão: A anestesia LT com a pomada de mistura eutética de prilocaína e lidacaína proporciona menor repercussão hemodinâmica e analgesia satisfatória ao procedimento de postectomia por Plastibell®, controle da dor pós-operatório e baixa incidência de complicações pós-operatórias em relação ao BNDP, quando ambas as técnicas estão associadas à anestesia geral inalatória com sevoflurano. / Introduction: The dorsal penile nerve block (DPNB) and local topical anesthesia (LT) with eutetic mixture lidocaine and prilocaine are current techniques with easy implementation and low complication rate in circumcision surgery. Herein, we evaluated which anesthetic technique provides better analgesia with less hemodynamic stimulation during circumcision with Plastibell® in children. Patients and methods: Forty-one boys who underwent circumcision with Plastibell® were divided at random into two groups: LT and DPNB. In LT group the ointment eutetic mixture lidocaine and prilocaine was applied to the foreskin one hour before surgery. Before inhalatory induction, all children were completely monitored. Inhalatory induction was standard for the two groups with 8% end-tidal concentration of sevoflurane on a facemask and spontaneous ventilation. After 10 minutes of anesthesia induction, the end-tidal sevoflurane concentration was decreased to 2%. In the DPNB a dorsal penile nerve block was done with levobupivacaine 0.5% (2 mg/kg). We evaluated the heart rate, respiratory rate mean arterial pressure, and involuntary movements in the moments of induction of anesthesia (T0); dorsal penile nerve block (T1); 1 minute post-incision (T2) and 1 minute after end of surgery (T3). And also pain 1 hour and 24 hours after surgery. Results: The groups were homogeneous when compared age, weight, diameter of the glands, penile length and surgical duration. In the LT group there was a tendency to increase Heart Rate at T2 (p = 0.073) and an increase of Mean Arterial Pressure at T2 (p = 0.046) when compared to the induction time. The DPNB group had an increase in Heart Rate (p = 0.004) and Mean Arterial Pressure (p = 0.016) at the block time (T1) when compared to T0 time. Comparing the moments of greatest hemodynamic stimulus for each group (T2 for LT and T1 for DPNB) we observed a more intense stimulus in DPNB group with a significant increase in Heart Rate (p = 0.001) and greater incidence of involuntary movements (57.1% vs. 10%; p = 0.002). There was no difference in the incidence of pain between the study groups. Post-operative complications were higher in DPNB, especially hematoma and edema. Conclusions: Anesthesia with eutetic mixture lidocaine and prilocaine provides satisfactory hemodynamic stable during circumcision with Plastibell®, pain control and less complication in the post 9 operative period when this technique is associated with general anesthesia with sevoflurane.

O sequenciamento e a programação da produção trazem grandes benefícios financeiros às empresas se realizados de forma adequada. Atualmente, soluções generalizadas apresentam resultados aceitáveis, porém têm como consequência benefícios inferiores quando comparados a estudos específicos. O ramo da otimização de resultados possui dois tipos de soluções: as exatas para problemas de menores dimensões e não exatas, ou heurísticas, para problemas de médias e grandes dimensões. Este trabalho apresenta algoritmos exatos do tipo Branch & Bound e Modelos de Programação Linear Inteira Mista para solucionar quatro variações de problemas de scheduling: Fm|block|&sum;Cjm, Fm|block|&sum;Tj, Fm|block, Sijk|&sum;Cjm e Fm|block, Sijk|&sum;Tj. As abordagens utilizadas são inéditas na literatura e apresentaram resultados animadores para a maioria dos cenários. O limitante para o tempo total de fluxo obteve resposta ótima em 100% dos casos para problemas de até 20 tarefas e 4 máquinas em menos de uma hora. Para o tempo total de atraso, o limitante se mostrou mais eficiente quando os valores das due dates apresentam alta taxa de dispersão. Para os casos com setup, foram elaboradas três variações de limitantes para cada problema. O limitante com setup que apresentou o melhor desempenho foi o que obteve a melhor relação entre o seu valor numérico e seu custo computacional. Os modelos MILP solucionaram 100% dos problemas sem setup para até 20 tarefas e 4 máquinas e para os casos com setup, foram solucionados problemas de até 14 tarefas e 4 máquinas no tempo limite de uma hora. Os testes computacionais mostram a eficiência na redução do número de nós e, consequentemente, no tempo de execução. Portanto, o estudo realizado indica que, para problemas de pequeno porte e médio, os métodos em questão possuem grande potencial para aplicações práticas. / Job Sequence and Programming give benefits both financial and organizational to any company when performed properly. Nowadays, there is still a gap between theory and practice due to solutions that are short in specification. The analyzed problems differ in type and dimension thus modifying its complexity. The results optimization field is divided into two types of solution: the exact solution for minor problems and the non-exact solution for greater dimension problems. The present paper presents exact algorithms to solve the problems Fm|block|&sum;Cjm, Fm|block|&sum;Tj, Fm|block, Sijk|&sum;Cjm by the Branch & Bounds and Mixed Integer Linear Program models. The approaches are new and presented good results for most cases. Bounds for the no-setup total flow time scenario solved 100% of the 20 jobs and 4 machines cases. High dispersion range due dates contributed for the effectiveness of the no-setup total tardiness bound\'s effectiveness. Three different approaches were developed for the setup cases. The best approach aimed to optimize the value/effort factor for the B&B. The Mixed Integer Linear Program models solved 100% of the no-setup cases for 20 jobs and 4 machines. The MILPs setup cases solved optimally 14 jobs and 4 machines cases. Computational tests were executed and analyzed and they highlighted the node count reduction and, consequently, the execution time. The present study points out that the exact methods can be applied to small and medium scheduling problems in practice.