Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

Treinamento concorrente : efeito sobre marcadores inflamatórios sistêmicos e indicadores funcionais em homens de meia idade

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

Variabilidade da frequência cardíaca após treinamento concorrente : comparação entre homens e mulheres de meia-idade = Heart rate variability after concurrent training : comparison between middle-aged men and women

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

Tensão térmica e taxa de reação em um reator para gaseificação de biomassa do tipo concorrente

A conversão da energia química da biomassa em outras formas de energia pode ser processada de diversas maneiras. Dentre essas, encontra-se a gaseificação, que utiliza reatores para conversão da biomassa em gás combustível. Para o dimensionamento de um gaseificador e seus constituintes, vários fatores devem ser levados em consideração, desde as características do combustível até as reais necessidades de energia térmica liberada. Especificamente no dimensionamento da grelha, alguns índices servem de referência, como a tensão térmica e a taxa de reação. Este trabalho teve como objetivos determinar a taxa de reação e a tensão térmica de uma grelha plana utilizada em um gaseificador bem como comparar os valores obtidos com aqueles recomendados para o dimensionamento de grelhas em fornalhas. Foi utilizado um gaseificador de biomassa de fluxo concorrente de pequena escala, ao qual foi acoplada uma câmara para combustão do gás produzido. O combustível utilizado foi toretes de eucalipto, em pedaços com diâmetro de 4 a 8 cm e comprimento de 10 a 20 cm. Conclui-se que os índices de taxa de reação e tensão térmica encontrados podem ser utilizados como parâmetros para o dimensionamento de grelhas de gaseificadores de leito fixo.

Um Projecto de investimento concorrente a um incentivo financeiro do IEFP

Prova Para Atribuição do Título de Especialista em Contabilidade – Código n.º 344

Mecanismos de suporte à execução concorrente de programas em lógica

Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Contributo para o desenvolvimento de uma metodologia que avalia a posição da omoplata: fidedignidade intra e interobservador e validade concorrente

RESUMO: Introdução: A relação cinemática entre as articulações do CAO apresenta grande importância na função do MS, e é por isso cada vez mais investigada e descrita. O posicionamento da omoplata ganha um importante papel para compreender as DCAO. É indiscutível o importante papel da omoplata na dinâmica do MS, bem como o posicionamento escapular como parâmetro clínico de disfunção do CAO. Todos estes factores criam a necessidade de desenvolver instrumentos de avaliação da posição da articulação ET. A grande maioria dos testes de avaliação, restringem a sua avaliação às disfunções da articulação GU, não integrando uma avaliação mais dinâmica e interactiva que respeite os pressupostos teóricos inerentes ao REU. È importante também que os métodos de avaliação sejam de fácil aplicabilidade clínica e que avaliem fidedignamente e com validade os outcomes. Objectivos: Contribuir para o desenvolvimento de uma metodologia de avaliação da omoplata em diferentes amplitudes do MS, através do estudo da validade concorrente, da fidedignidade intra e inter-observador. Metodologia: A amostra foi constituída por 20 elementos seleccionados por conveniência, entre o corpo de discentes da ESS-IPS, sem história de disfunção do CAO. Foi realizada uma análise cinemática ao MS de cada sujeito, usando um aparelho de análise por varrimento electromagnético, o FOB. Em cada sujeito foram ainda medidas, as distâncias escapulares em estudo, usando a fita métrica. Cada método de medição foi constituído por dois momento (teste e reteste), em cada momento, as medidas eram recolhidas por dois investigadores distintos. Resultados e Discussão: Foram considerados como positivos os resultados que se apresentassem acima do limiar de 0,5, que classifica uma correlação como moderada a excelente. Os resultados da validade mostram que para o investigador 1 nas medidas M1e M2 apenas houve correlação com valores excelentes a moderados até aos 30º de elevação do MS. Já para M3 apenas aos 30º no plano da omoplata essa mesma correlação não tem valores próximos do cutpoint. Em M4 nenhum valor tem correlação significativa com os valores do FOB, chegando mesmo a haver correlação negativa para os 120º no plano da omoplata. Em M5 apenas os 0º mostram valores correlacionais excelentes a moderados. Para o investigador 2, em M1 e M2 á semelhança do investigador 1, só existem valores de correlação significativos até aos 30º de elevação do MS. Já para M3 todos os valores mostram excelente a moderada correlação á excepção dos 120º no plano frontal. Em M4 este investigador apresenta maus resultados. Já em M5 os valores de correlação são moderados aos 0º e aos 90º. No que diz respeitos aos resultados dos CCI intra-observador,podemos afirmar que foi em M5 que estes valores mais se aproximaram do cut point. M1 e M2 são as medidas onde se encontram resultados menos satisfatórios. É aos 60º que existem valores mais satisfatórios, seguidos pelos 0º e 30º, quando nos aproximamos de graus mais elevados, como 90º e 120º, estes valores tendem a baixar. Quanto á fidedignidade inter-observador para M1 apenas aos 90º e aos 120º houve valores de correlação abaixo do cutpoint. Em M2, só os 60º do plano sagital não teve valores acima do cutpoint, em M3 apenas os 30º plano sagital não obtiveram valores acima do cut-point, o mesmo acontece para M3 aos 30º plano da omoplata e em M5 aos 30º e 120º no plano frontal. Conclusão: Os resultados deste estudo indicam que a metodologia em causa apresenta elevado grau de fidedignidade inter-observador, já no que toca é fidedignidade intra-observador o grau de semelhança não é tão elevado. Também o erro associado á medida não ultrapassou 1,5cm, sendo considerado baixo. Na validade concorrente concluímos que é aos 0º que a metodologia se torna uma opção válida na aferição das distâncias medidas com uma boa a excelente concordância com o FOB. As medidas consideradas como opções válidas, nas diferentes amplitudes, podem funcionar como parâmetros clínicos de caracterização do posicionamento da omoplata, podendo vir a contribuir ainda para a caracterização da orientação da mesma.-------------------- ABSTRACT:Introduction: The kinematic relationship between the joints of the CAO has great importance in the function of MS, which is why more and more investigated and described. The positioning of the blade gets an important role in understanding the DCAO. There is no doubt the important role of the scapula in the dynamics of MS as well as the positioning of scapular dysfunction as a clinical parameter of the CAO. All these factors create the need to develop tools for evaluating the place of articulation ET. Most assessment tests, restrict its assessment to GU joint disorders, not incorporating a more dynamic and interactive way that respects the theoretical assumptions inherent in the REU. It is also important that the methods are easy to apply clinical and reliably to assess the validity and outcomes. Objectives: To contribute to the development of a methodology for evaluating the scapula in different ranges of MS, through the study of concurrent validity, reliability of intra-and inter-observer. Methodology: The sample consisted of 20 selected elements for convenience, between the body of students of IPS-ESS with no history of dysfunction of the CAO. We performed a kinematic analysis of each subject to MS, using a scanning device for electromagnetic analysis, the FOB. In each subject were also measured, the scapular distances under study, using tape measure. Each method of measuring the time consisted of two (test and retest), in each moment, the measures were collected by two different investigators. Results and Discussion: We considered as positive results that were above the threshold of 0.5, which ranks as a moderate to excellent correlation. The results show that the validity for the researcher in an action M1e M2 was only correlated with moderate to excellent values up to 30º of elevation of the MS. As for M3 only to 30º in the plane of the scapula has the same correlation values near the cutpoint. M4 has no value in correlation with the values of the FOB, and even negative correlation to 120 ° in the plane of the scapula. In M5 show only the values 0 ° correlational excellent to moderate. For investigator 2 in M1 and M2 will be like an investigator, there are only significant correlation values up to 30º of elevation of the MS. As for M3 all the values show excellent correlation to moderate with the exception of 120 ° in the frontal plane. In this researcher M4 has bad results. M5 already in the correlation values are moderate to 0º and 90 º. Regarding the results of ICC intra-observer, we can say that M5 was that these values come closest to the cut point. M1 and M2 are measures which are less than satisfactory results. At 60 ° there are more satisfactory values, followed by 0º and 30º, when we approached the highest levels, such as 90 ° and 120 °, these values tend to decrease. The inter-observer reliability for M1 only to 90 º and 120 ºcorrelation values were below the cutpoint. In M2, only 60 of the sagital plane did not have values above the cutpoint in M3 only 30º sagital plane did not obtain values above the cut-point, the same goes for M3 at 30 ° plane of the scapula and M5 at 30 º and 120 º in frontal plane. Conclusion: The results of this study indicate that the methodology in question has a high degree of inter-observer reliability, as far as intra-observer reliability is the degree of similarity is not as high. Also the error of measure did not exceed 1.5 cm, and is considered low. In concurrent validity conclude that it is at 0 ° the methodology becomes a valid option for the measurement of distances measured with a good to excellent agreement with the FOB. The measures considered as valid options in different amplitudes, can function as clinical parameters to characterize the positioning of the shoulder blade and could further contribute to the characterization of the orientation of the same.

Qualidade de vida em pacientes hipertensos e validade concorrente do Minichal-Brasil

FUNDAMENTO: Os questionários de Qualidade de Vida Relacionada à Saúde (QVRS) são instrumentos de medidas de resultados humanísticos tanto em estudos clínicos quanto em farmacoeconômicos. No entanto, eles devem ter seus parâmetros psicométricos avaliados, de forma a refletir a avaliação subjetiva individual da qualidade de vida. OBJETIVOS: Descrever o perfil de qualidade de vida dos pacientes hipertensos e avaliar a validade concorrente do instrumento Minichal-Brasil, comparando com o instrumento de avaliação genérica da Organização Mundial da Saúde (OMS) conhecido como WHOQOL-Bref. MÉTODOS: Cento e noventa e um pacientes adultos (sendo 72,8% mulheres) com hipertensão arterial foram entrevistados. Aproximadamente um terço dos pacientes teve uma condição de pressão controlada. A média da QVRS medida pela pontuação total do Minichal foi 69,7 (DP = 19,2 IC95% de 66,9 a 72,4), sendo no domínio "estado mental" = 69,1 (IC95% de 66,1 a 72,2) e no domínio "manifestações somáticas" = 69,9 (IC95% 66,5 -73,2). As médias para o instrumento WHOQOL-Bref foram: no domínio "físico" = 61,5 (IC95% de 59,0 a 64,1), no domínio "psicológico" = 65,7 (IC95% de 63,2 a 68,2), no domínio "social" = 72,3 (IC95% de 70,0 a 74,5) e no domínio "meio ambiente" uma média de 59,7 (IC95% de 57,7 a 61,7). RESULTADOS: O Minichal apresentou correlação significativa (p<0,001) com WHOQOL-Bref relativo a todos os seus domínios, com exceção do domínio "meio ambiente", que não se correlacionou com o domínio "manifestações somáticas". CONCLUSÃO: O Minichal-Brasil provou ser uma ferramenta útil na avaliação da QVRS em pacientes hipertensos.

Ambiente visual para programação distribuída em java

Em vista da maior complexidade da programação paralela e distribuída em relação à programação de ambientes centralizados, novas ferramentas vêm sendo construídas com o objetivo de auxiliar o programador desses ambientes a desempenhar sua tarefa de formas mais eficazes e produtivas. Uma das ferramentas que há algum tempo tem sido usada na programação centralizada e aos poucos está sendo empregada também na programação concorrente é a programação visual. A programação visual se vale da presença de elementos visuais na especificação dos programas como peças chaves do processo de desenvolvimento de software. No caso específico da programação concorrente, a programação visual é especialmente útil pela capacidade que os gráficos têm de representar de forma mais adequada estruturas bidimensionais. Um programa concorrente, por relacionar no espaço diversos elementos com seus próprios fluxos de execução, faz surgir duas dimensões de análise que são mais difíceis de serem observadas através de programas textuais. Atualmente existem ferramentas de programação visual paralela e distribuída, mas a ênfase é dada na programação paralela, sem muita atenção a aplicações de sistemas abertos ou cliente-servidor. Além disso, tais ferramentas sofrem da falta de apoio à engenharia do software. Considerando essas deficiências, este trabalho apresenta uma ferramenta de programação visual para o desenvolvimento de aplicações compostas por objetos distribuídos que ofereça também a possibilidade de aplicar os principais conceitos da engenharia de software, como reutilização e orientação a objeto. Nesta ferramenta, o programador especifica de maneira visual a estrutura do seu programa, insere o código textual para a lógica da aplicação e o ambiente se encarrega do tratamento da distribuição e da comunicação de mais baixo nível. A aplicação é representada como um grafo dirigido, onde os nodos representam os objetos distribuídos e os arcos indicam os relacionamentos existentes entre esses objetos. A especificação dos programas é modular, baseando-se na reunião de componentes reutilizáveis, o que torna o sistema altamente configurável e extensível. Tanto a implementação da ferramenta quanto o código das aplicações geradas usam a linguagem de programação Java. A linguagem de programação visual projetada não especifica detalhes a respeito de como irá funcionar a comunicação e distribuição dos objetos. Portanto, foram implementados componentes para comunicação e outros recursos de programação distribuída, como locks e dados globais para serem usados nas aplicações. Para validar os principais objetivos da ferramenta, foram implementados alguns exemplos de aplicações distribuídas, como um pequeno sistema de bate-papo.

Efeito de um protocolo de treinamento concorrente sobre fatores de risco para o acúmulo de gordura hepática de adolescentes obesos

Study Design: Prospective study Objective: To evaluate the effect of a protocol of concurrent training lasting 16 weeks on risk factors for the accumulation of hepatic fat in obese youth. Methods: 38 obese children and adolescents of both sexes, between 12 and 15 years old. The obesity was attested by the percentage of body fat, which was estimated by dual-energy X-ray absorptiometry (DEXA). Additionally, the amount of fat located in the trunk (kg) was estimated too. Before and after the intervention, the youths underwent biochemical blood tests (fasting complete lipid profile [mg / dL]) and ultrasonography of the liver (right size Wolves [LD cm] and left [LE in cm]). The intervention consisted of concurrent training (strength training [30 minutes] and endurance training [30 minutes]) with three sessions per week, totaling 180 minutes a week, for ten weeks. Statistical analysis was made by the test t of Student for paired data using SPSS software (17.0) and significance statistical fixed at p <5%. Results: After the intervention, significant improvements were observed in the percentage of total fat (PRE: 45.1 ± 5.3 and POST: 41.7 ± 5.6, p = 0.001) and in the trunk region (PRE: 46, 5 ± 5.6 and POST: 42.9 ± 6.3, p = 0.001). For lipid profile, reduction in total cholesterol (PRE: 164 ± 34 and POST: 148 ± 29, p = 0.001), triglycerides (PRE: 118 ± 59 and POST: 104 ± 53, p = 0.002) and lipoproteins density (PRE: 100 ± 29 and POST: 85 ± 26, p = 0.001), but not for high-density (p = 0.981). Both the LE (PRE: 8.8 ± 1.4 and POST: 7.8 ± 1.3, p = 0.001) and LD (PRE: 13.6 ± 1.3 and POST: 12.9 ± 1, 1, p = 0.001) experienced a decrease in its proportions. Conclusion: The concurrent training was effective in combating some risk factors to the accumulation of fat in the liver, as well as in reducing fat in both lobes of the organ in young obese.

Efeitos do treinamento concorrente sobre parâmetros da síndrome metabólica em adolescentes obesos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise do gasto energético e composição corporal de adolescentes obesos sedentários e de adolescentes obesos submetidos a treinamento concorrente

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Efeito do treinamento concorrente sobre fatores de risco para a doença gordurosa não alcoólica do fígado de adolescentes obesos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Efeitos da suplementação com Faseolamina (Phaseolus vulgaris) e do treinamento concorrente na composição corporal de mulheres pós menopausa

Pós-graduação em Fisioterapia - FCT