A contribuição da Legimática para a qualidade formal do texto legislativo

O objetivo deste trabalho é identificar como as ferramentas propostas pela Legimática podem contribuir para diminuir as deficiências dos textos legislativos apontadas pela Legística. A preocupação com o processo de criação e com a qualidade do texto legislativo por ele produzido é o foco principal da Legística Formal. Esta atividade encontra amparo nas ferramentas propostas pela Legimática que auxiliam a elaboração de normas legais por meio de processadores eletrônicos de textos concebidos especificamente para este propósito, ou seja, redação de leis. Tais ferramentas garantem o emprego de regras formalmente estabelecidas para um texto legal, e de forma mais abrangente, facilitam a clareza, o rigor e a uniformidade da linguagem legislativa do documento produzido. A realização de pesquisas qualitativa e bibliográfica permitiu propor a criação de um software que auxilie no processo de elaboração normativa dos órgãos legislativos federais brasileiros baseando-se em considerações de especialistas, análise de ferramentas semelhantes e referências na literatura.

La gestión de las actividades musicales del G-9 en contextos de educación fornal y no formal

479 p.

Envejecimiento, caserío y atención social: la familia asume el cuidado del mayor

[ES] La desestructuración familiar que en España ha supuesto un éxodo rural intensivo queda en evidencia varias décadas después, una vez que la población que decidió continuar residiendo en el medio rural ha envejecido. El anciano que habita en el medio rural carece a menudo del apoyo familiar necesario para hacer frente a las barreras físicas y sociales que la edad y el aislamiento le imponen mientras los servicios públicos no se adecúan a los caracteres propios de este medio. El habitante del caserío vasco, dada la proximidad del medio urbano, ha sufrido en menor medida las consecuencias del éxodo rural, manteniéndose más íntegra la red de apoyo familiar o, en todo caso, viéndose completada con la presencia del que acudió al medio urbano. Como consecuencia, es la familia la que asume el cuidado del mayor, cumpliendo éste su deseo de residir en casa hasta el final de su vida.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Enfrentando mudanças e valorizando a vida - uma referência para a enfermeira no cuidado à mulher submetida à cirurgia ginecológica

Diversos estudos que abordam as repercussões das cirurgias ginecológicas na vida da mulher apontam para uma relação existente com aspectos subjetivos, em virtude da construção social da identidade feminina, indicando que a perda de órgãos ginecológicos pode interferir na maneira da mulher se perceber e se relacionar com o mundo. O presente estudo tem como objeto o processo de interação da mulher no contexto das cirurgias ginecológicas. Para isso foram formulados os objetivos: Descrever os significados da cirurgia ginecológica para a mulher submetida a este procedimento e Analisar o processo de interação da mulher com ela mesma e com o seu núcleo social a partir dos significados por ela atribuídos à cirurgia ginecológica, considerando o fenômeno da mutilação. O estudo de natureza qualitativa, do tipo descritivo-exploratório, teve como referencial teórico-metodológico o Interacionismo Simbólico e a Grounded Theory, que subsidiaram uma interpretação da ação e das relações das mulheres no contexto da cirurgia ginecológica e da mutilação, baseados na definição e interpretação de significados por elas atribuídos. Dos resultados emergiram quatro categorias: Investigando a doença e decidindo aceitar a cirurgia, A passagem pela cirurgia: vivendo o processo de resolução do problema, Enfrentando as mudanças impostas pela cirurgia e Valorizando a vida. Evidenciou-se que ao receber o diagnóstico da doença, a mulher interage com dúvidas, medos, a busca por informação e pelos benefícios da cirurgia, e por fim decide aceitá-la. Ao passar pela cirurgia, vivencia incômodos, complicações, compreende que perdeu uma parte do corpo e procura conformar-se, tentando crer que foi o único caminho. As diversas mudanças que ocorrem fazem-na construir novos significados e mudar a percepção de si e do seu meio social, a partir da interação consigo mesma e com este meio, fazendo-a refletir sobre a sexualidade, seus relacionamentos, sua saúde, a diferença no corpo e em si mesma, nas funções que desempenha e sobre a mutilação provocada pela cirurgia. O desenvolvimento de mecanismos de enfrentamento, como comparar sua cirurgia e histórias com outras, identificar aprendizados com a experiência, buscar formas de superação e resignar-se resultaram na valorização da vida e na vontade de viver melhor. Percebe-se a importância da enfermeira estabelecer um cuidado multidimensional, que identifique as necessidades que vão além do corpo biológico, respeitando as particularidades e a individualidade no momento do cuidado e contribuindo para o bem-estar físico, psíquico, social e espiritual das mulheres.

Vivendo com HIV/AIDS : cuidado, tratamento e adesão na experiência do grupo com vida

A presente dissertação aborda a adesão ao tratamento. Entendendo que tratamento não se restringe a prescrição e tomada de medicamentos, o Ambulatório de Medicina Integral do Hospital Universitário Pedro Ernesto (AMI/HUPE/UERJ) desenvolve um trabalho multidisciplinar com pacientes soropositivos. Durante o acompanhamento destes pacientes constatou-se a importância da criação de um espaço coletivo que permitisse a reflexão sobre o viver e conviver com HIV/AIDS. O Grupo COM VIDA começou as suas atividades em julho de 1996, contando com uma equipe multidisciplinar formada por médico, psicólogo e profissional do Serviço Social. Com a evolução do trabalho, a equipe foi lidando a cada dia mais e mais com as questões suscitadas pela terapia anti-retroviral. A adesão ao tratamento passou a ser um pilar no manejo do tratamento de pacientes com HIV/AIDS. A abordagem biopsicossocial do paciente constitui-se como facilitadora da adesão ao processo terapêutico. As variáveis que envolvem a intervenção terapêutica mencionada são consoantes ao processo de adoecimento humano que é complexo e dinâmico, na medida que pressupõe a capacidade de reagir para a pessoa que adoece tem um sentido e um significado. E tornando-se sujeito no processo de adoecimento e cuidado que o paciente desenvolve capacidade autônoma, o que contribui para alcançar os objetivos terapêuticos pactuados.

Educação ambiental na educação formal: do paradigma moderno ao paradigma da complexidade

A educação ambiental vem sendo disseminada por grande parte das escolas do país, conforme atestam pesquisas oficiais, mas uma lenta transformação a acompanha no que diz respeito à mudança dos princípios do modelo de desenvolvimento industrial, que enfatiza o consumismo como estratégia de reprodução. Ao mesmo tempo em que as pesquisas sugerem uma ampliação da consciência ambiental da sociedade como um todo, percebe-se um acirramento dos problemas socioambientais e soluções sendo alcançadas em escala inferior ao patamar considerado desejado. Onde estaria, então, o problema? Qual a razão desta possível defasagem educação ambiental x resultados? Foi com o intuito de responder a estas perguntas que essa tese foi realizada. Parte-se de uma percepção de que a Educação Ambiental praticada na escola reflete e acentua o paradigma moderno hegemônico, que se baseia em uma concepção dualista homem / natureza, em que uma está a serviço do outro, sem promover o questionamento sobre os desdobramentos da adoção dos valores da sociedade de consumo no desequilíbrio da vida no planeta. Essa dicotomia entre cultura e natureza, sociedade e ciência, sujeito e objeto se reflete na busca de soluções parciais, incompletas, visando-se apenas a uma parte do problema socioambiental, que não é visto como um sistema complexo. A educação ambiental realizada nessas bases dificulta a reunião das condições necessárias à mudança das estruturas da atual sociedade brasileira e à busca das soluções dos seus problemas socioambientais. Nessa perspectiva, esse trabalho objetiva criar subsídios para um caminho para a educação ambiental que possa contribuir para uma visão complexa da realidade e dos problemas socioambientais, na busca de soluções mais abrangentes. Para isto procura entender: a) como a teoria da complexidade poderia colaborar para esta mudança; b) em quais modelos práticos e teóricos a Educação Ambiental se dá no Brasil, ou seja, quais as diversas tendências da educação ambiental brasileira; e c) como esses modelos se expressam nas práticas dos professores analisando-se artigos publicados em anais de seminários, congressos e/ou encontros sobre o tema.

A contribuição das tecnologias não-invasivas de cuidado de enfermagem para o empoderamento feminino na gravidez e no parto: adaptação do modelo de promoção da saúde de Nola Pender

Trata-se de um estudo do tipo estudo de caso, na abordagem qualitativa, que visa a analisar as vivências das mulheres que utilizaram as tecnologias não-invasivas de cuidado de enfermagem durante a gravidez e o parto e discutir quais e como essas tecnologias estimularam o empoderamento nelas. Para isso foram utilizadas referências que abordem conceitos de gênero, empoderamento e tecnologias. Como referencial teórico foi utilizado a de Promoção da Saúde de Nola Pender que, a partir da identificação dos fatores biopsicossociais do indivíduo, busca influenciar comportamentos saudáveis, visando ao bem-estar como proposta de promoção da saúde. O cenário do estudo foi a Casa de Parto David Capistrano Filho, localizada no município do Rio de Janeiro, e contou com a participação de dez mulheres que pariram na Casa. Para a coleta de dados, foi elaborado um diagrama semelhante ao de Pender, contendo alguns aspectos biopsicossociais das mulheres que pudessem ter influência na vivência de empoderamento delas. As entrevistas aconteceram entre os meses de março e maio de 2010. Os dados produzidos foram analisados e transformados em três categorias: características e vivências individuais da mulher; conhecimentos, sentimentos e influências, na gravidez e no parto, a partir do uso das tecnologias; e o resultado do empoderamento. A tecnologia relacional, como o acolhimento, o vínculo e a escuta sensível, influenciou de forma benéfica as mulheres desde o momento que elas iniciaram o pré-natal na Casa, já que no início da gravidez algumas tinham receio com as mudanças do corpo e com as responsabilidades da maternidade. A dor do parto também foi outra preocupação citada por desconhecerem a fisiologia do processo. Mas, através de tecnologias como a de informação, de apoio, de potencialização de expressão corporal, de favorecimento da presença do acompanhante e de respeito de escolha delas, o parto acabou sendo calmo, tranqüilo, acolhedor e prazeroso. Com isso, as tecnologias contribuíram para as vivências de fortalecimento do vínculo com o bebê, na maior autoconfiança em parir e no preparo da maternidade que despertou nelas um desejo de serem pessoas de opiniões próprias e de terem uma formação profissional para garantir um bom futuro para o filho. Percebeu-se, nesse estudo, que as tecnologias favoreceram o empoderamento delas em parir numa Casa de Parto sendo assistidas por enfermeiras obstetras. No entanto, elas ainda se mostram passivas à dominação masculina quando valorizam a capacidade feminina em conquistar o espaço público masculino, mesmo em detrimento de suas reais necessidades, mostrando a importância de mais discussão sobre a temática a fim de vislumbrar novas tecnologias que auxiliem às mulheres a transpor esse empoderamento, adquirido durante a gravidez e o parto, para o seu dia a dia.

Projetos de cuidado em Fisioterapia

As práticas de cuidado em fisioterapia, em muitas situações, resgatam a função do fisioterapeuta de executor de técnicas que lhe era atribuída nos primórdios da profissão. Ao exercer essa função meramente técnica, muitas vezes deixando-se substituir pelo equipamento nas suas ações, o profissional compromete o estabelecimento do vínculo terapeuta-paciente, contribuindo para o esvaziamento do encontro em saúde. Nessas situações, predomina o êxito técnico (a eficiência na realização do procedimento) sobre o sucesso prático (os benefícios trazidos para vida das pessoas). Para que o sucesso prático seja atingido, é fundamental que haja o questionamento sobre o que sonham as pessoas, profissionais e pacientes, para as suas vidas e para a saúde, quais são suas perspectivas e projetos de vida, seus projetos de felicidade. Nesse sentido, é imprescindível considerar, também, os projetos de felicidade dos profissionais da saúde enquanto sujeitos desse encontro. Afinal, é a partir deles que o profissional elabora o seu projeto de cuidado para cada paciente. Assim, esse trabalho buscou compreender os elementos que configuram a construção de projetos de cuidado em fisioterapia a partir da reflexão dos próprios fisioterapeutas. Para tanto, utilizou-se a metodologia qualitativa de pesquisa por meio de entrevistas semi-estruturadas para que fossem produzidas narrativas da história de vida do trabalho. Os discursos foram analisados integralmente e a categorização foi feita em três sub-temas: exercício profissional, relação com os pacientes e reflexões. Foi possível perceber que muitos dos arranjos de trabalho estabelecidos visam coibir o vínculo profissional-paciente, transformando-o em valor de troca e mercantilizando a relação terapêutica. Expropriada do vínculo, a prática se resume à realização de procedimentos independentes de sua finalidade, minando as possibilidades de sucesso prático. Nesse caso, não é a tecnologia que gera o afastamento e a mecanização, mas são as estratégias de mercantilização do cuidado fisioterápico. Essa situação só pode ocorrer por um processo de subordinação do profissional e seu saber, o que está fortemente associado a condições de trabalho exploratórias. Podemos dizer que a mercantilização do cuidado facilita a restrição sobre as condições de trabalho e também é fruto dela. O problema é que essa restrição é vista pelos profissionais como não definitiva, mas como um caminho para se alcançar reconhecimento na busca pelo exercício liberal da fisioterapia. A intenção desse estudo não foi traçar um plano normativo de conduta para a profissão, mas imaginamos que o equacionamento dessas questões passa necessariamente pelo reconhecimento, pelas inquietações e indignações com o problema. O que se espera, portanto, é facilitar esse processo de desconforto por meio da proximidade dessas questões trazidas pelas narrativas.

Do encontro ao sentido: o cuidado aos sujeitos adoecidos de câncer

Esta pesquisa objetivou compreender como se dão as práticas de cuidado dirigidas ao sujeito adoecido de câncer no cotidiano dos serviços de saúde. Para tanto, partimos do entendimento que o processo de adoecer traz repercussões nos modos de andar a vida dos sujeitos, especialmente no que diz respeito ao câncer, patologia que traz consigo metáforas ligadas à morte, sofrimento e dor. Ao dar início à busca pelos serviços de saúde, os sujeitos se deparam com uma série de entraves que podem não proporcionar alívio, não suprindo as necessidades que essa nova condição impõe. Encontramos, em muitos momentos, práticas que negam o caráter subjetivo da experiência da doença, não valorizando a narrativa dos sujeitos. Como trajetória metodológica, escolhemos desenvolver um estudo de natureza qualitativa, utilizando como instrumento privilegiado a entrevista semi aberta. Iniciamos as entrevistas com a consigna: conte como se deu o tratamento de sua doença desde a descoberta até o momento em que se encontra. Os dados coletados a partir do encontro com os sujeitos adoecidos foram complementados por informações contidas nos prontuários médicos, bem como por observações obtidas no momento da interação. O local de realização da pesquisa foi um hospital estadual de grande porte localizado na cidade de Fortaleza, estado do Ceará. As entrevistas foram realizadas no serviço de oncologia clínica do referido hospital. Ao todo foram entrevistados doze sujeitos que estavam em tratamento ambulatorial no serviço. Dos doze sujeitos, cinco eram mulheres e sete eram homens. As idades variaram de 29 a 65 anos. A análise dos dados se deu após imersão no material empírico, posteriormente materializado nas transcrições das entrevistas. Procuramos deixar que os sentidos aflorassem, confrontando com o material que já tínhamos disponível, surgindo daí as categorias empíricas. Dividimos as categorias em duas dimensões, a do sujeito e a da rede de serviços de saúde. Ao final da análise, constatamos alguns pontos que consideramos importantes no sentido de se tornarem dispositivos de mudança. Foi possível confirmar que os sujeitos sabem de si, e realizam um processo de construção do sentido sobre sua doença e das práticas terapêuticas. A doença produz mudanças no sujeito, e os força a ressignificarem sua rotina e hábitos de vida. Foi possível observar que o encontro com os serviços de saúde tem se dado de forma truncada. A luta pelo direito a saúde é árdua: pela demora na confirmação do diagnóstico, pela demora em conseguir marcar exames e receber seus resultados, pela falta de especialistas que saibam o que estão fazendo. Os sujeitos têm descoberto a doença quando esta se encontra avançada. A importância do diálogo, da escuta, da percepção do que o outro necessita é importante, por isso, valorizar os relatos dos sujeitos adoecidos de câncer se faz urgente.

Tecnologias não-invasivas de cuidado de enfermagem obstétrica no suporte físico à parturiente: critérios e efeitos esperados

Este estudo buscou identificar os critérios utilizados pelas enfermeiras obstétricas para empregar as tecnologias não-invasivas de cuidado no suporte físico à parturiente e quais são seus efeitos esperados. Para tanto, se realizou uma pesquisa quantitativa exploratória do tipo survey, que abordou as práticas/cuidados fornecidas pelas enfermeiras obstétrica durante a assistência ás parturientes que tinham relação com o suporte físico. Estas foram agrupadas em: suporte relacionado ao ambiente; suporte ao posicionamento (livre movimentação e adoção de posturas verticais, deambulação, movimentos pélvicos, posição de cócoras, e posição de quatro apoios); suporte aos estímulos táteis (massagens, compressas frias/mornas, banho morno de aspersão e imersão); e suporte energético (oferta de alimento). Para tanto, utilizou-se um questionário, que foi disponibilizado via internet, após a criação de um domínio e web site próprio para tal finalidade. A população-alvo constituiu-se de enfermeiras obstétricas que atuam no cuidado da parturiente em território nacional, sendo que estas foram convidadas a participar, entre os meses de julho e setembro de 2009, através de e-mails survey individuais ou coletivos. Participaram do estudo120 profissionais, sendo que 45,8% foram excluídos automaticamente pelo sistema, pois não possuíam os critérios de inclusão. Dos participantes elegíveis (65), 33,8% responderam somente o teste de elegibilidade, 4,6% responderam parcialmente e 61,6% responderam completamente o questionário. Os resultados demonstraram que alguns aspectos relacionados ao conceito ainda encontram-se pouco compreendidos pelas profissionais da área, entretanto este não é um entrave para que práticas/cuidados relacionados a esta nova terminologia sejam utilizadas durante a assistência à parturiente. De acordo com os objetivos propostos, conseguiu-se determinar os critérios e efeitos esperados pelas enfermeiras obstétricas ao utilizarem as tecnologias não-invasivas de cuidado estudadas, entretanto também se evidenciou brechas no conhecimento científico. Assim conclui-se que as enfermeiras obstétricas utilizam práticas/cuidados relacionadas as tecnologias não-invasivas de cuidado de enfermagem obstétrica no suporte físico à parturiente, pautadas em critérios e efeitos esperados que em sua maioria possuem bases científicas que os comprove. Considera-se que a utilização destas são uma ferramenta importante para a desmedicalização do processo de parto e consequentemente, para a diminuição dos índices de morbimortalidade materna e neonatall. Portanto, é necessário estimular à assistência ao parto por enfermeiras obstétricas, de modo a suplantar o modelo de assistência tecnocrático, ainda hegemônico no país.

Formal methods in the foundations of science

The intent of this study is to provide formal apparatus which facilitates the investigation of problems in the methodology of science. The introduction contains several examples of such problems and motivates the subsequent formalism.

A general definition of a formal language is presented, and this definition is used to characterize an individual’s view of the world around him. A notion of empirical observation is developed which is independent of language. The interplay of formal language and observation is taken as the central theme. The process of science is conceived as the finding of that formal language that best expresses the available experimental evidence.

To characterize the manner in which a formal language imposes structure on its universe of discourse, the fundamental concepts of elements and states of a formal language are introduced. Using these, the notion of a basis for a formal language is developed as a collection of minimal states distinguishable within the language. The relation of these concepts to those of model theory is discussed.

An a priori probability defined on sets of observations is postulated as a reflection of an individual’s ontology. This probability, in conjunction with a formal language and a basis for that language, induces a subjective probability describing an individual’s conceptual view of admissible configurations of the universe. As a function of this subjective probability, and consequently of language, a measure of the informativeness of empirical observations is introduced and is shown to be intuitively plausible – particularly in the case of scientific experimentation.

The developed formalism is then systematically applied to the general problems presented in the introduction. The relationship of scientific theories to empirical observations is discussed and the need for certain tacit, unstatable knowledge is shown to be necessary to fully comprehend the meaning of realistic theories. The idea that many common concepts can be specified only by drawing on knowledge obtained from an infinite number of observations is presented, and the problems of reductionism are examined in this context.

A definition of when one formal language can be considered to be more expressive than another is presented, and the change in the informativeness of an observation as language changes is investigated. In this regard it is shown that the information inherent in an observation may decrease for a more expressive language.

The general problem of induction and its relation to the scientific method are discussed. Two hypotheses concerning an individual’s selection of an optimal language for a particular domain of discourse are presented and specific examples from the introduction are examined.