585 resultados para Equaçõesdiferenciais parciais


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Simulações de sais de carbonato fundidos pelo método de Dinâmica Molecular (MD) foram efetuadas com o modelo polarizável de cargas flutuantes (FC). O modelo de cargas flutuantes implementa os efeitos de polarização pelo método de Lagrangiano estendido, onde as variáveis extras são as próprias cargas parciais do íon poliatômico. O modelo FC foi parametrizado por meio de cálculos ab inito, aplicado ao ânion carbonato. Cálculos de Química Quântica ab initio foram utilizados para corroborar o modelo proposto para o ânion carbonato. Os sistemas investigados consistem em misturas de carbonatos alcalinos fundidos, Li2CO3/K2CO3, os quais são utilizados como eletrólitos em células a combustível. As simulações MD foram utilizadas para verificar o efeito da polarização dos ânions sobre a estrutura e dinâmica do líquido. Estudamos o efeito da inclusão de polarização sobre a condutividade do eletrólito.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

INTRODUÇÃO: O transplante hepático é o único tratamento efetivo para uma variedade de doenças hepáticas irreversíveis. No entanto, o número limitado de doadores pediátricos leva ao uso de enxertos hepáticos de doadores adultos, com necessidade de anastomoses vasculares mais complexas. Essas anastomoses tornam-se complicadas pela diferença no calibre dos vasos entre o doador e o receptor, resultando em alterações do fluxo sanguíneo, estenose da anastomose venosa ou arterial e trombose. Os efeitos para regeneração hepática decorrentes da privação do fluxo sanguíneo pela veia porta ou pela artéria hepática não estão completamente elucidados. Experimentalmente, quando um lobo do fígado não recebe o fluxo venoso portal, é observada atrofia deste segmento e hipertrofia do restante do órgão perfundido. Embora existam vários modelos experimentais para estudo da regeneração hepática, poucos são focados em animais em crescimento. Além disso, os efeitos regenerativos de drogas como o tacrolimus e a insulina precisam ser pesquisados, com o objetivo de encontrar um tratamento ideal para a insuficiência hepática ou um método de estimular a regeneração do fígado após ressecções ou transplantes parciais. O objetivo do presente estudo é descrever modelos de regeneração hepática em ratos em crescimento com: 1) ausência de fluxo hepático arterial e 2) redução do fluxo portal. Adicionalmente, o estudo avalia o efeito pró-regenerativo do tacrolimus e da insulina nesses modelos descritos. MÉTODOS: cento e vinte ratos (entre 50 e 100g de peso) foram divididos em 6 grupos, de acordo com o tipo de intervenção cirúrgica: Grupo 1, incisão abdominal sem intervenção hepática; Grupo 2, hepatectomia a 70%; Grupo 3, hepatectomia a 70% + estenose de veia porta; Grupo 4, hepatectomia a 70% + ligadura da artéria hepática; Grupo 5, hepatectomia a 70% + estenose de veia porta + insulina; Grupo 6, hepatectomia a 70% + estenose de veia porta + tacrolimus. Os animais dos grupos 1 ao 4 foram subdivididos em 5 subgrupos de acordo com o momento da morte: 1, 2, 3, 5 e 10 dias após a intervenção cirúrgica. Os animais dos grupos 5 e 6 foram subdividos em 2 subgrupos de acordo com o momento da morte: 2 e 10 dias após a intervenção cirúrgica. Os lobos hepáticos remanescentes foram submetidos à análise histomorfométrica, imuno-histoquímica e molecular. RESULTADOS: Verificou-se que no grupo com hepatectomia a 70% houve recuperação do peso do fígado no terceiro dia com aumento da atividade mitótica, enquanto que no grupo com estenose portal não se observou esse fenômeno (p < 0,001). A insulina e o tacrolimus promoveram aumento do peso do fígado e do índice mitótico. A atividade mitótica foi considerada aumentada nos animais dos grupos hepatectomia, hepatectomia + ligadura da artéria, insulina e tacrolimus; e esse parâmetro estava reduzido no grupo submetido à hepatectomia + estenose portal (p < 0,001). A expressão de interleucina 6 estava presente em todos os animais, sendo significativamente maior nos grupos hepatectomia, hepatectomia + ligadura da artéria e significativamente menor no grupo hepatectomia + estenose portal. Entretanto, a administração de tacrolimus ou insulina recuperou os níveis teciduais de interleucina 6 no grupo com estenose portal. CONCLUSÕES: No presente estudo foi padronizado um modelo simples e facilmente reprodutível para estudar a regeneração hepática em ratos em crescimento com redução do fluxo arterial ou venoso para o fígado. Foi demonstrado que a administração de insulina ou tacrolimus é capaz de reverter os efeitos deletérios da estenose portal na regeneração hepática. A obstrução do fluxo arterial não afetou a capacidade regenerativa hepática

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O objetivo deste trabalho é analisar o impacto dos Sistemas de Gestão Integrados (SGI) no desempenho organizacional sob a óptica do Triple Bottom Line (TBL), verificando se esta implementação auxilia a empresa a se tornar mais sustentável. A abordagem multi-método utilizada está dividida em três partes. A primeira compreende uma revisão sistemática da literatura, tendo como base a abordagem bibliométrica. A base de dados escolhida para a seleção dos artigos que compõem a amostra foi a ISI Web of Knowledge (Web of Science). As análises conduzidas sugerem lacunas na literatura a serem pesquisadas de modo a relacionar a integração dos sistemas de gestão como meio para as organizações tornarem-se mais sustentáveis, auxiliando assim na elaboração de um modelo teórico e das hipóteses de pesquisa. Os resultados parciais obtidos ressaltam a lacuna na literatura de estudos nessa área, principalmente que contemplem a dimensão social do Triple Bottom Line. Lacunas na literatura foram identificadas também no que se refere à análise do impacto da adoção dessas abordagens normativas no desempenho organizacional. A segunda etapa da metodologia é composta por estudos de casos múltiplos em empresas de diferentes setores e que tenham implantado sistemas de gestão de maneira integrada. Os resultados obtidos mostram que a certificação auxilia no desenvolvimento de ações sustentáveis, resultando em impactos econômicos, ambientais e sociais positivos. Nesta etapa, testou-se o modelo e as hipóteses levantadas na abordagem bibliométrica. A terceira etapa da metodologia é composta por análises estatísticas de dados secundários extraídos da revista Exame ?Maiores e Melhores\'. Os dados do ano de 2014 das empresas foram tratados por meio do software MINITAB 17 ®. Por meio do teste de mediana de mood, as amostras foram testadas e apresentaram diferenças estatisticamente significativas para o desempenho das empresas em diferentes setores. De maneira geral, as empresas com SGI apresentam melhor desempenho econômico do que as demais. Com a mesma base de dados, utilizando o modelo de equações estruturais e o software Smart PLS 2.0, criou-se um diagrama de caminhos analisando os constructos (SGI) com variáveis de desempenho (Endividamento, Lucratividade, Patrimônio, Crescimento e Retorno). O modelo de equações estruturais testado apresentou força para a relação entre SGI com Endividamento, Lucratividade, Patrimônio e Crescimento. As diferentes metodologias apresentadas contribuíram para responder a hipótese e afirmar com base na amostra deste trabalho que o SGI leva as empresas a terem melhor desempenho econômico, ambiental e social (baseado no TBL).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O distrito magmático alcalino de Jacupiranga constitui a ocorrência brasileira clássica de rochas alcalinas e ultrabásicas. Mencionado pela primeira vez por Bauer (1877) como jazida de minério de ferro, tornou-se conhecido através da descrição de Derby (1891), que propôs o termo jacupiranguito para as rochas alcalinas piroxeníticas aí correntes. Na mesma época, Hussak (1892, 1895, 1904) publicou descrições de minerais associados ao minério de ferro. Numerosas referências a Jacupiranga são encontradas na literatura especializada e de acordo com as preferências dos diversos autores e as tendências de cada época, o distrito foi citado como exemplo das mais variadas teorias petrogenéticas, principalmente da hipótese de Daly e Shand. Entretanto, a região nunca foi objeto de investigação realmente minuciosa. Por várias razões justifica-se um enxame e a descrição detalhada do carbonatito de Jacupiranga. Sob ponto de vista petrológico, as concepções sobre a gênese de rochas carbonáticas associadas a alcalinas evoluíram consideravelmente nos últimos anos. Numerosos estudos tendem a demonstrar o caráter magmático desses carbonatos, porém muitas de suas feições ainda permanecem sem explicação satisfatória. A descrição da localidade em questão visa contribuir para o acúmulo de observações necessárias à elaboração de hipóteses petrogenéticas, embora o estudo atual de nossos conhecimentos sobre a evolução dos magmas alcalinos ainda não permite a formulação de interpretações definitivas. Sob o ponto de vista industrial e econômico, um levantamento exato do carbonatito e dos minerais a ele associados é essencial. A interpretação correta da origem dos fosfatos residuais permite sua pesquisa e lavra racionais. Além disso, ocorre vultuosa reserva de carbonato de cálcio, fosfatos, óxidos de ferro e de titânio. O aproveitamento dessas matérias primas depende de sua caracterização geológica e mineralógica, tanto para a comprovação ) de toneladas exploráveis, como para o desenvolvimento de processos tecnológicos de concentração. No presente trabalho são apresentadas, as observações que pareceram de maior interesse geológico e econômico. Durante vários anos o autor teve oportunidade de realizar numerosas visitas à jazida de Jacupiranga e acompanhar o seu desenvolvimento. Recentemente, a lavra do minério residual e eluvial permitiu observações mais detalhadas do calcário não meteorizado, revelando sua extensão e riqueza em apatita. Pareceu então justificado sugerir à SERRANA SOCIEDADE ANÔNIMA DE MINERAÇÃO, concessionária do depósito, uma pesquisa preliminar da massa de carbonatito. Esse trabalho vem sendo executado de acordo com as recomendações do autor e consta de um levantamento a prancheta em escala 1:500 com intervalo de 1 metro entre curvas de níquel, coleta de aproximadamente 400 amostras na superfície do carbonatito, abertura de galerias de pesquisa e sondagens. Muitas centenas de análises químicas permitem a determinação exata dos teores dos principais elementos constituintes. Para os estudos mineralógicos foi examinada uma centena de lâminas delgadas e o resíduo insolúvel de 200 amostras de calcário. A granulação e a textura da rocha foi observada em algumas dezenas de amostras coloridas diferencialmente. Numerosos ensaios de cominuição, determinação dos teores nas frações granulométricas, de separação magnética e por líquidos pesados foram ainda realizados para a obtenção de elementos necessários aos estudos sobre processos de concentração industrial de apatita. Embora a pesquisa ainda não esteja concluída, seus resultados parciais são promissores. Verificou-se a existência de concentrações de apatita com dimensões de muitas dezenas de metros e teores acima de 15% de fosfato. Comprovou-se ainda grande tonelagem de calcário praticamente isento de sílica, com teor de magnésia inferior a 1.5%. Simultaneamente, as informações obtidas através dessa pesquisa permitem a caracterização da constituição química e litológica do carbonatito com precisão provavelmente superior à de qualquer ocorrência congênere.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O óxido de zinco é um material semicondutor que apresenta alta transparência óptica no espectro visível, alta energia de ligação de éxcitons e piezoeletricidade. Por suas propriedades, ele é utilizado na área de sensores, eletrodos transparentes e dispositivos optoeletrônicos. No entanto, sua utilização ainda é limitada pela dificuldade de obtenção de condutividade tipo p, cujo principal dopante é o nitrogênio, devido à assimetria de dopagem ocasionada por defeitos intrínsecos do material, dopagem em valências diferentes das esperadas e formação de níveis de aceitadores profundos na banda proibida. A aplicação em dispositivos piezoelétricos também exige alta resistividade e ótimas propriedades cristalinas. Muitos processos de deposição estabelecidos hoje ainda utilizam altas temperaturas, o que impede sua deposição sobre superfícies ou substratos sensíveis a altas temperaturas. O objetivo deste trabalho é desenvolver técnicas de deposição de filmes de ZnO, principalmente em baixas temperaturas ( 100°C), pelo método de magnetron sputtering de rádio frequência, para avaliar a influência dos gases de processo nas características estruturais, estequiométricas, elétricas e ópticas dos filmes. Para isso, foram obtidos filmes utilizando pressão total de argônio, e pressões parciais de argônio e oxigênio e argônio e nitrogênio, utilizando alvo cerâmico de óxido de zinco ou alvo metálico de zinco. Para alvo de ZnO, filmes com condutividade tipo n foram obtidos em ambiente de argônio, em condições que geraram deficiências de oxigênio. Filmes altamente resistivos foram obtidos com a utilização de pressão parcial de oxigênio no gás de processo, em condições que resultaram em filmes estequiométricos, inclusive com condutividade tipo p. Condutividade tipo p mais alta foi observada, apenas por ponta quente, para uma amostra obtida em argônio logo após a utilização de nitrogênio na câmara de processo, que provavelmente sofreu influência da dopagem não intencional do cobre, que foi identificado como um contaminante do processo devido à estrutura da câmara. Para alvo de Zn, observou-se a formação de nitreto de zinco, que demonstrou alta capacidade de oxidação em ambiente atmosférico, e portanto, transforma-se naturalmente ao longo do tempo ou por processos de oxidação térmica em ZnO dopado com nitrogênio. Filmes de ZnO produzidos a partir de nitreto de zinco foram os únicos dos testados que apresentaram fotoluminescência característica do ZnO, mesmo para processos onde não houve aquecimento intencional.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Durante a vida acumula-se, pelos sentidos, um conjunto de sensações necessárias e impreteríveis ao ato de reflexão, por quanto: sem a existência de um reservatório de impressões sensoriais, a mente não tem como refletir sobre elas. Durante a reflexão, temos uma resposta imediata a um estímulo condicionado pelo conhecimento prévio (experiências passadas) e pela identificação deste estímulo com um tempo e espaço em particular. Estas perceções também estão sujeitas aos fatores culturais, portanto, os estereótipos das coisas e eventos do processo de socialização que influenciam fortemente a perceção humana. Ao contrário, a nossa perceção espacial que envolve uma construção gradual e certamente não existe uma perceção previamente feito do nosso desenvolvimento mental. Neste caso, a perceção humana é uma resposta a um campo de informação interrelacionada e não só de fatores de informação individual. A mente organiza esses elementos sensoriais, de modo a formar uma experiência coerente. Os cinco sistemas não trabalham em exclusivo; eles se inter-relacionam recolhendo a mesma informação. Casa sistema percetual colabora com os estímulos parciais entre si e o sistema sensorial com o sistema motor que, em uma constelação fisiológica variável, mantém constante a sensação, o que, portanto, proíbe que o processo nervoso aja como uma simples transmissão de uma mensagem dada. Na época renascentista acreditava-se que os sistemas percetuais estavam relacionados com a imagem do corpo cósmico; a visão estava correlacionada com o fogo e a luz, a audição com o ar, o olfato com o vapor, o gosto com a água e o toque com a terra. Esta intervenção projetual adotou essa relação atribuindo a cada piso uma referência sensorial. Existem várias ciências holísticas que estudam as vertentes que podem influenciar na hora de edificar. Em combinação com os sentidos, os princípios da ciência védica podem delimitar o perímetro construído e as proporções que conferem a harmonia, a base da beleza e a funcionalidade. Deste modo, honram-se as bases da consciência do bem-estar de quem o utilizará. A colaboração do arquiteto ou designer e o utilizador é crucial para determinar as sensações que o utilizador irá encontrar no espaço. com a ajuda de várias referências de obras e autores, propõe-se intervir num edifício localizado na rua de Santa Catarina, entre as ruas Passos Manuel e 31 de Janeiro, na cidade do Porto. O imóvel conta com quatro pisos, com uma cave destinada a arrumos. A proposta de intervenção pretende aplicar a teoria do design sensorial a um projeto de spa de conceito inovador. O utilizador poderá navegar pelo edifício de princípio ao fim, através de diversos tratamentos e terapias, para atingir o bem-estar em cada experiência. O objetivo é despertar os sentidos subjugados pelo frenesim do quotidiano citadino

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A necessidade de obter e manter níveis de excelência e de satisfação no trabalho cada vez mais altos leva as organizações a um crescente investimento em modelos de gestão orientados ao suporte dos seus colaboradores. Desse cenário emergem alguns questionamentos: o suporte organizacional impacta na satisfação dos colaboradores? Indivíduos com alto capital psicológico possuem um maior nível de satisfação no trabalho? Buscando responder a essas perguntas, o estudo teve como objetivo comparar e analisar o impacto individual e combinado dos construtos Percepção de Suporte Organizacional e Capital Psicológico na Satisfação no Trabalho. A pesquisa foi realizada com 304 profissionais de empresas públicas e privadas, com escolaridade mínima equivalente ao nível médio, de ambos os gêneros e idades variadas. O instrumento para coleta dos dados foi um questionário de autopreenchimento composto de três escalas: Satisfação no Trabalho EST, Percepção de Suporte Organizacional EPSO e Escala de Capital Psicológico ECP. Para atingir os objetivos propostos no modelo conceitual, foi utilizada a abordagem quantitativa. Os dados foram analisados por modelagem de equação estrutural pelo algoritmo dos mínimos quadrados parciais (PLS). Os resultados demonstraram que as variáveis Percepção de Suporte Organizacional e Capital Psicológico impactam positivamente a variável Satisfação no Trabalho, sendo que a Percepção de Suporte Organizacional exerce maior impacto na Satisfação do Trabalho do que Capital Psicológico.  

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente estudo consta de uma etapa quantitativa e outra qualitativa; tem como objetivos descrever variáveis sócio-demográficas e psicológicas de adolescentes sexualmente ativas e primigestas de um Programa de Assistência Médica e Psicossocial à Adolescência (PAMPA) no período de 2000-2002. Descrever o conteúdo intrapsíquico de fantasias inconscientes em adolescentes. Identificar e correlacionar o conteúdo de fantasias inconscientes de adolescentes sexualmente ativas e primigestas em diferentes situações conjugais. Foram utilizadas as instalações do PAMPA na aplicação de uma entrevista semidiretiva e o Teste de Relações Objetais de Phillipson. Na análise sócio-demográfica verifico-se uma distribuição das adolescentes nas faixas etárias de 16 a 17 anos (31,1%), 14 a 15 anos (23,8%) e, 12 a 13 anos. 93,3%, das adolescentes são solteiras e, 6,7% é casada ou encontra-se em união consensual. Um terço das adolescentes encontra-se abaixo da escolaridade esperada para a faixa etária. A renda per capita de 48,6%, varia entre 0,5 e 1 salário mínimo. 40,2% das adolescentes tiveram a sexarca e destas 10,6% pertencem à faixa etária de 12 a 13 anos; e 48,5% de 16 a 17 anos. Metade das adolescentes sexualmente ativas estão grávidas. 57,6% das gestantes têm de 16 a 17 anos. Das adolescentes que iniciaram a vida sexual na faixa etária de 12 a 13 anos, 52,6% está grávida. 51% das adolescentes que tiveram a sexarca na faixa etária de 14 a 15 anos estão gestando e representam 45,5% do total de gestantes. Quanto à situação conjugal das primigestas, 54,5% é solteira e possui parceiro; já 30,3% encontra-se em união consensual ou é casada como conseqüência da gravidez. Não existem diferenças significativas da renda per capita das gestantes em relação à amostra em geral. 60,6% das gestantes buscaram assistência pré-natal a partir do segundo trimestre gestacional. 62,5% das adolescentes realizaram parto vaginal, 21,9% um parto por fórceps e 15,6% parto por cesariana. Observamos semelhanças no funcionamento psíquico em relação ao Sistema Tensional Inconsciente Dominante entre gestantes e adolescentes sexualmente ativas. Fatores como o não planejamento da gravidez e união conjugal em função da gravidez, são mais significativos, mostrando que o relacionamento conjugal e a maternidade não foram ainda elaborados e intensificam o processo de luto próprio da adolescência. No funcionamento psíquico, das gestantes, existem dificuldades em organizar a identidade sexual, negando modificações próprias da adolescência na tentativa de preservar relações vinculares infantilizadas. O conflito edípico permeia como principal nas relações triangulares, devido ao predomínio de objetos parciais persecutórios, incapacidade de conter o par combinado envolvendo sempre um terceiro excluído. Existe também a necessidade de manutenção de relações fusionais com exclusividade do vínculo não erotizado que levam a angústias intensas nas fantasias de separação, abandono e perda, sentimentos de fragmentação e medo de ataques destrutivo-vingativos. Quanto à período gravídico, as gestantes demonstram ambivalência na aceitação e necessidade de consentimento das figuras parentais, vinculadas à angústia surgida pelo medo de rejeição e abandono

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este estudo teve como objetivo principal analisar a relação entre a Liderança Transformacional, a Conversão do Conhecimento e a Eficácia Organizacional. Foram considerados como pressupostos teóricos conceitos consolidados sobre os temas desta relação, além de recentes pesquisas já realizadas em outros países e contextos organizacionais. Com base nisto identificou-se potencial estudo de um modelo que relacionasse estes três conceitos. Para tal considera-se que as organizações que buscam atingir Vantagem Competitiva e incorporam a Knowledge-Based View possam conquistar diferenciação frente a seus concorrentes. Nesse contexto o conhecimento ganha maior destaque e papel protagonista nestas organizações. Dessa forma criar conhecimento através de seus colaboradores, passa a ser um dos desafios dessas organizações ao passo que sugere melhoria de seus indicadores Econômicos, Sociais, Sistêmicos e Políticos, o que se define por Eficácia Organizacional. Portanto os modos de conversão do conhecimento nas organizações, demonstram relevância, uma vez que se cria e se converte conhecimentos através da interação entre o conhecimento existente de seus colaboradores. Essa conversão do conhecimento ou modelo SECI possui quatro modos que são a Socialização, Externalização, Combinação e Internalização. Nessa perspectiva a liderança nas organizações apresenta-se como um elemento capaz de influenciar seus colaboradores, propiciando maior dinâmica ao modelo SECI de conversão do conhecimento. Se identifica então na liderança do tipo Transformacional, características que possam influenciar colaboradores e entende-se que esta relação entre a Liderança Transformacional e a Conversão do Conhecimento possa ter influência positiva nos indicadores da Eficácia Organizacional. Dessa forma esta pesquisa buscou analisar um modelo que explorasse essa relação entre a liderança do tipo Transformacional, a Conversão do Conhecimento (SECI) e a Eficácia Organizacional. Esta pesquisa teve o caráter quantitativo com coleta de dados através do método survey, obtendo um total de 230 respondentes válidos de diferentes organizações. O instrumento de coleta de dados foi composto por afirmativas relativas ao modelo de relação pesquisado com um total de 44 itens. O perfil de respondentes concentrou-se entre 30 e 39 anos de idade, com a predominância de organizações privadas e de departamentos de TI/Telecom, Docência e Recursos Humanos respectivamente. O tratamento dos dados foi através da Análise Fatorial Exploratória e Modelagem de Equações Estruturais via Partial Least Square Path Modeling (PLS-PM). Como resultado da análise desta pesquisa, as hipóteses puderam ser confirmadas, concluindo que a Liderança Transformacional apresenta influência positiva nos modos de Conversão do Conhecimento e que; a Conversão do Conhecimento influencia positivamente na Eficácia Organizacional. Ainda, concluiu-se que a percepção entre os respondentes não apresenta resultado diferente sobre o modelo desta pesquisa entre quem possui ou não função de liderança.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Cacimbinha and Madeiro beaches are located in the eastern coast of Rio Grande do Norte state, in the municipality of Tibau do Sul. Given the indicative of erosion in the coast of this district and the coastal processes acting on the beaches, the global aim of this project is comprehend the evolution of depositional environment on the Cacimbinha beach, moreover, the project seeks to characterize deposits from the Cacimbinha and Madeiro beaches, according to the geomorphologic compartments identified on these beaches; distinguish the coastal features which possibly interact with the Cacimbinha beach; identify the potential relationship between the sediments from the coastal features and the deposits from Cacimbinha beach; understand which depositional processes that prevail at each facies deposited on the beach; and identify the probable sedimentary environments and its energy of deposition through of the materials recorded on the Cacimbinha beach. This study was based on previous bibliographic and field research, both guided by academic works, laws, concepts and theories concerning the physical geography, geomorphology of the quaternary, sedimentary geology and stratigraphy. Thus, the methodology was divided in three steps: Prefield step: office work was performed; Field step: Sampling of facies of sedimentation; PosField step: analysis and integration of data obtained during the research period. Thus, the results showed deposicional facies with distinguished energy in the relief compartments, beach and terrace. After the sedimentary analysis and its interpretation linked to the architecture of the mounted sections based on drilling, it became possible to trace the evolutionary history of this stretch of beach. Therefore, it can be stated that studies performed on coastal areas are of great importance, as long as, around the world, the most part of urban zones are seated on deposits of quaternary age and, then this work improve the knowledge regarding the sedimentary dynamics of this beach, becoming scientific support for management and planning of this area which focus on, mainly, the foreign tourism

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We present indefinite integration algorithms for rational functions over subfields of the complex numbers, through an algebraic approach. We study the local algorithm of Bernoulli and rational algorithms for the class of functions in concern, namely, the algorithms of Hermite; Horowitz-Ostrogradsky; Rothstein-Trager and Lazard-Rioboo-Trager. We also study the algorithm of Rioboo for conversion of logarithms involving complex extensions into real arctangent functions, when these logarithms arise from the integration of rational functions with real coefficients. We conclude presenting pseudocodes and codes for implementation in the software Maxima concerning the algorithms studied in this work, as well as to algorithms for polynomial gcd computation; partial fraction decomposition; squarefree factorization; subresultant computation, among other side algorithms for the work. We also present the algorithm of Zeilberger-Almkvist for integration of hyperexpontential functions, as well as its pseudocode and code for Maxima. As an alternative for the algorithms of Rothstein-Trager and Lazard-Rioboo-Trager, we yet present a code for Benoulli’s algorithm for square-free denominators; and another for Czichowski’s algorithm, although this one is not studied in detail in the present work, due to the theoretical basis necessary to understand it, which is beyond this work’s scope. Several examples are provided in order to illustrate the working of the integration algorithms in this text