Spelling suggestions: "subject:"análise lógica"" "subject:"aanálise lógica""
1 |
Análise lógica da proposição e divisibilidade infinita de extensões no Tractatus de Wittgenstein / Logical analysis of the proposition and infinite divisibility of extensions in Wittgenstein's TractatusOliveira, Paulo Júnio de 10 November 2015 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-17T14:31:15Z
No. of bitstreams: 2
Dissertação - Paulo Júnio de Oliveira - 2015.pdf: 1566271 bytes, checksum: a8c1caa1354936dd420024e5bc704cb9 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-17T14:33:55Z (GMT) No. of bitstreams: 2
Dissertação - Paulo Júnio de Oliveira - 2015.pdf: 1566271 bytes, checksum: a8c1caa1354936dd420024e5bc704cb9 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-03-17T14:33:55Z (GMT). No. of bitstreams: 2
Dissertação - Paulo Júnio de Oliveira - 2015.pdf: 1566271 bytes, checksum: a8c1caa1354936dd420024e5bc704cb9 (MD5)
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Previous issue date: 2015-11-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The aim of this dissertation is to discuss the problem of infinite divisibility of
bodies, a problem which was already discussed in the classic period by Aristotle
and his analysis of Zeno’s paradoxes. Our working hypothesis is that in the
Tractatus-Logico-Philosophicus Wittgenstein has offered a reformulation of this
very problem when he discusses the process of analysis of propositions. One of the
central thesis in the Tractatus is that all ordinary proposition can be completely
analyzed and that this process of analysis has to be finite. Based on that, we argue
that it necessarily follows that the elements present in the state of affairs described
by the proposition cannot be further divided since the analysis of the proposition
which describes such a state is necessarily finite. / O objetivo deste trabalho é discutir o problema da divisibilidade infinita de
“corpos”, um problema que era discutido já no período clássico por Aristóteles e
sua análise dos paradoxos de Zenão. Nossa hipótese de trabalho é a de que no
Tractatus-Logico-Philosophicus Wittgenstein teria apresentado uma possível
reformulação desse problema ao tratar da análise de proposições. Uma das teses
centrais no Tractatus é a de que toda a proposição tem uma análise lógica completa
e esse processo de análise tem de ter um fim. Baseado nisso, nós argumentamos que
segue-se necessariamente que os elementos presentes no estado de coisas descritos
pela proposição não podem prosseguir sendo subdivididos, uma vez que o processo
de análise da proposição que descreve tal estado de coisas é necessariamente finito.
|
2 |
Concepções e Evidências: Análise Lógica do Acesso no Plano de Ação 2009-2011 da Política Nacional de Atenção Integral à Saúde do Homem no Brasil.Yoshiara, Alberto Yassuo 28 May 2013 (has links)
Submitted by Maria Creuza Silva (mariakreuza@yahoo.com.br) on 2014-10-02T18:05:28Z
No. of bitstreams: 1
DISS MP ALBERTO YOSHIARA 2013.pdf: 1451930 bytes, checksum: 72e91cdb1691cfa6c0f526d8e72f40f7 (MD5) / Approved for entry into archive by Maria Creuza Silva (mariakreuza@yahoo.com.br) on 2014-10-02T19:00:10Z (GMT) No. of bitstreams: 1
DISS MP ALBERTO YOSHIARA 2013.pdf: 1451930 bytes, checksum: 72e91cdb1691cfa6c0f526d8e72f40f7 (MD5) / Made available in DSpace on 2014-10-02T19:00:10Z (GMT). No. of bitstreams: 1
DISS MP ALBERTO YOSHIARA 2013.pdf: 1451930 bytes, checksum: 72e91cdb1691cfa6c0f526d8e72f40f7 (MD5) / A Política Nacional de Atenção Integral à Saúde do Homem (PNAISH) é, desde sua institucionalização, uma intervenção que se propõe original e inovadora, refletindo a necessidade dos homens com base em indicadores de morbimortalidade em piores condições quando comparados às mulheres, questão atribuída às especificidades socioculturais e de gênero. Efetiva-se operacionalmente a proposta, com a publicação do Plano de Ação Nacional 2009-2011 instituindo a lógica de trabalho e estratégias pactuadas a serem seguidas na implementação dos Planos de Ação de estados e municípios. Longe de um discurso isento de críticas, a proposta traz consigo também os debates e pressupostos críticos constituídos nos movimentos sociais, questões sobre a necessidade de saúde, medicalização como padrão de uso e acesso aos serviços, e as representações constitutivas do cuidado e a educação em saúde. Neste contexto é que o estudo propôs-se a avaliar a plausibilidade lógica da PANSH 2009-2011 e sua proposta de operacionalização frente a PNAISH e às necessidades de Saúde dos Homens, bem como o conhecimento acumulado sobre os temas relacionados ao acesso, acolhimento e fatores socioculturais e gênero associados, no Brasil e em parte do mundo. Para tanto, propôs-se a utilização da análise lógica do Plano em questão, segundo a abordagem de BROUSSELLE e CHAMPAGNE (2011) partindo-se de uma investigação descritiva e qualitativa de documentos, literatura científica, informações e a modelização da intervenção proposta nacionalmente. Aferiu-se assim as dificuldades e lacunas do desenho da planificação quanto a problemática central do acesso de Homens ao serviço de saúde, o que sugere também uma baixa capacidade de assegurar os efeitos pretendidos, dificuldade de aplicações em municípios e estados, bem como as possíveis barreiras, dificuldades ou entraves que poderão ser encontradas por estes na elaboração de seus Planos Municipais e Estaduais. Assim, é que se julga fundamental a realização de avaliações sobre a política e seu mérito, bem como aos planos de ação e a reflexão sobre as estratégias adotadas para cumprimento dos objetivos.
|
3 |
Análise lógica de protocolos, proposta e avaliação de desempenho de um algoritmo de atribuição de rótulo baseado em SRLG em um ambiente GMPLS-WDM. / Protocol logical analysis, proposal and performance evaluation of a label assignment algorithm based on SRLG in a GMPLS-WDM environment.Cunha, Daniela Vieira 04 April 2006 (has links)
Para satisfazer o explosivo aumento na demanda de tráfego de voz e dados, as redes ópticas baseadas em WDM e GMPLS estão sendo desenvolvidas. A suíte de protocolos GMPLS é atualmente considerada como um plano de controle para as redes ópticas e é composta por protocolos de sinalização e de roteamento, como também do protocolo de gerenciamento de enlace (LMP). O LMP é um importante protocolo que interfere na atribuição de rótulos (comprimentos de onda) e é necessário fazer sua análise lógica para verificar se o mesmo está livre de erros de progresso. Para esta finalidade, o método denominado alcançabilidade justa foi utilizado. Verificada a corretude do LMP, o estudo foca o subproblema de atribuição de comprimento de onda do RWA nas redes GMPLS-WDM por ser um dos principais problemas que causam o baixo desempenho destas redes. O cenário estudado é das redes GMPLS-WDM que operam em um ambiente RWA dinâmico com restrição de continuidade de comprimento de onda. O problema RWA é examinado bem como as várias heurísticas de atribuição de comprimento de onda apresentadas na literatura. Com o objetivo de melhorar o desempenho das redes GMPLS-WDM com restrição de continuidade de comprimento de onda, propõe-se um algoritmo de atribuição de rótulos que utiliza os conceitos conjunto de rótulos e SRLG já implementados pelo GMPLS. O algoritmo proposto melhora a eficiência no uso de recursos nas redes em questão. O desempenho é verificado através da métricas de probabilidade de bloqueio de conexão, desempenho este próximo do ótimo e demonstrado através de simulações. / To satisfy the explosive increasing demands of voice and data traffic, optical networks based on WDM and GMPLS are being developed. The GMPLS´ suite of protocols is currently being considered as the control plane for optical networks and it is compounded of signaling and routing protocols, and also the link management protocol (LMP). The LMP is an important protocol that interferes with label (wavelength) assignment and it is necessary to logically analyse this protocol in order to verify if it is free from progress errors. For this purpose, the method called fair reachability has been used. Verified the LMP is correctable, the study focuses on the RWA wavelength assignment problem in GMPLS-WDM networks because it is one of the main problems which causes the low performance of these networks. The studied scene is GMPLS-WDM networks operating under a dynamic RWA environment with wavelength continuity constraint. The RWA problem is examined and also the various wavelength-assignment heuristics proposed in the literature. With the goal to improve the performance of the GMPLS-WDM networks with wavelength continuity constraint, it is proposed a label assignment algorithm, which uses the concepts of label set and SRLG, already implemented by GMPLS. The proposed algorithm provides an improvement in efficiency of resource use. The performance is verified by using the blocking probability metric, and it is very close to the optimum and demonstrated through simulations.
|
4 |
Programa de Humanização do Parto: análise da teoria e implantação em SalvadorMartinho, Rosana Machado Lopes January 2011 (has links)
p. 1-208 / Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2013-05-08T17:31:23Z
No. of bitstreams: 1
22222222.pdf: 1815576 bytes, checksum: 52ffa497e296b122e3886d6f8543404f (MD5) / Approved for entry into archive by Maria Creuza Silva(mariakreuza@yahoo.com.br) on 2013-05-13T13:44:38Z (GMT) No. of bitstreams: 1
22222222.pdf: 1815576 bytes, checksum: 52ffa497e296b122e3886d6f8543404f (MD5) / Made available in DSpace on 2013-05-13T13:44:38Z (GMT). No. of bitstreams: 1
22222222.pdf: 1815576 bytes, checksum: 52ffa497e296b122e3886d6f8543404f (MD5)
Previous issue date: 2011 / O artigo pretende avaliar a teoria do Programa de Humanização do Pré-natal e Nascimento no Brasil, a fim de verificar se o programa é desenhado de tal modo que possa alcançar os resultados pretendidos. Foi realizada uma análise lógica direta no sentido discutido por Brousselle e Champagne, através da comparação do modelo lógico e modelo teórico do programa. Identificou-se que o referido programa é apenas, parcialmente, fundamentado em evidências científicas. Seu principal problema está na definição abrangente de humanização que engloba tanto aspectos da qualidade técnica do cuidado quanto de uma difusa e não explicitada “cidadania”. Além disso, os objetivos do programa estão definidos de forma genérica e pouco preciso o que torna mais difícil a compreensão da intervenção por parte daqueles que os executa, especialmente, os profissionais de saúde. Conclui-se que o Programa de Humanização do Pré-natal e Nascimento foi desenhado de uma forma que alguns elos causais podem comprometer a produção dos resultados esperados. Em sentido contrário, deve-se fortalecer o programa e, para isso, faz-se necessário investir numa discussão mais ampla com todos os níveis de governança envolvidos na implantação desta política, a fim de delimitar o escopo da assistência humanizada e, conseqüentemente, evitar que essa temática represente um grande “guarda-chuva” capaz de abarcar e solucionar todos os problemas na assistência ao parto e nascimento. / Salvador
|
5 |
Análise lógica de protocolos, proposta e avaliação de desempenho de um algoritmo de atribuição de rótulo baseado em SRLG em um ambiente GMPLS-WDM. / Protocol logical analysis, proposal and performance evaluation of a label assignment algorithm based on SRLG in a GMPLS-WDM environment.Daniela Vieira Cunha 04 April 2006 (has links)
Para satisfazer o explosivo aumento na demanda de tráfego de voz e dados, as redes ópticas baseadas em WDM e GMPLS estão sendo desenvolvidas. A suíte de protocolos GMPLS é atualmente considerada como um plano de controle para as redes ópticas e é composta por protocolos de sinalização e de roteamento, como também do protocolo de gerenciamento de enlace (LMP). O LMP é um importante protocolo que interfere na atribuição de rótulos (comprimentos de onda) e é necessário fazer sua análise lógica para verificar se o mesmo está livre de erros de progresso. Para esta finalidade, o método denominado alcançabilidade justa foi utilizado. Verificada a corretude do LMP, o estudo foca o subproblema de atribuição de comprimento de onda do RWA nas redes GMPLS-WDM por ser um dos principais problemas que causam o baixo desempenho destas redes. O cenário estudado é das redes GMPLS-WDM que operam em um ambiente RWA dinâmico com restrição de continuidade de comprimento de onda. O problema RWA é examinado bem como as várias heurísticas de atribuição de comprimento de onda apresentadas na literatura. Com o objetivo de melhorar o desempenho das redes GMPLS-WDM com restrição de continuidade de comprimento de onda, propõe-se um algoritmo de atribuição de rótulos que utiliza os conceitos conjunto de rótulos e SRLG já implementados pelo GMPLS. O algoritmo proposto melhora a eficiência no uso de recursos nas redes em questão. O desempenho é verificado através da métricas de probabilidade de bloqueio de conexão, desempenho este próximo do ótimo e demonstrado através de simulações. / To satisfy the explosive increasing demands of voice and data traffic, optical networks based on WDM and GMPLS are being developed. The GMPLS´ suite of protocols is currently being considered as the control plane for optical networks and it is compounded of signaling and routing protocols, and also the link management protocol (LMP). The LMP is an important protocol that interferes with label (wavelength) assignment and it is necessary to logically analyse this protocol in order to verify if it is free from progress errors. For this purpose, the method called fair reachability has been used. Verified the LMP is correctable, the study focuses on the RWA wavelength assignment problem in GMPLS-WDM networks because it is one of the main problems which causes the low performance of these networks. The studied scene is GMPLS-WDM networks operating under a dynamic RWA environment with wavelength continuity constraint. The RWA problem is examined and also the various wavelength-assignment heuristics proposed in the literature. With the goal to improve the performance of the GMPLS-WDM networks with wavelength continuity constraint, it is proposed a label assignment algorithm, which uses the concepts of label set and SRLG, already implemented by GMPLS. The proposed algorithm provides an improvement in efficiency of resource use. The performance is verified by using the blocking probability metric, and it is very close to the optimum and demonstrated through simulations.
|
Page generated in 0.0343 seconds