Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Cuidado odontológico provido a pessoas idosas residentes em instituições geriátricas de pequeno porte em Porto Alegre - RS : a retórica, a prática e os resultados

Dados demográficos confirmam o fenômeno do envelhecimento da população brasileira. Entretanto idosos que têm a ventura de desfrutar mais anos de vida, nem sempre conseguem fazê-lo com saúde. Isso é evidente, quando se analisa a condição de saúde bucal. Por várias razões, muitos idosos são institucionalizados para receberem a atenção e o auxílio de pessoal capacitado. Dentre os diversos serviços fornecidos, tanto hospitalares quanto de hotelaria, o cuidado odontológico não tem sido prioritário, e costumeiramente se observa flagrantes omissões. O objetivo deste trabalho foi identificar as características da provisão de cuidado odontológico proporcionado aos idosos residentes em instituições geriátricas de pequeno porte no município de Porto Alegre/RS, e estabelecer sua relação com as condições de higiene bucal deste grupo. Combinando métodos quantitativos e qualitativos de pesquisa, buscou-se coletar dados sobre a higiene bucal dos idosos institucionalizados e informações sobre cuidado odontológico com seus cuidadores e supervisores nas 12 casas geriátricas integrantes da amostra. A análise dos depoimentos dos supervisores e cuidadores demonstra que o cuidado odontológico não segue qualquer tipo de protocolo, padronização ou normatização, sendo realizado empiricamente e, em última análise, sob a responsabilidade e critério dos cuidadores. O índice de placa médio em dentes encontrado nos idosos resultou 2,24, segundo os parâmetros de Sillnes e Löe. No exame em próteses, segundo o índice de Ambjornsen, o resultado apurado atingiu 7,14. Embora os entrevistados considerem que o cuidado odontológico seja realizado com regularidade, questiona-se a sua eficácia diante dos altos níveis de placa observados. Os dados indicam que as características empíricas dos procedimentos de higiene bucal, desassociados de adequada orientação técnica, especialmente odontogeriátrica, ante o descompromisso organizacional privado, institucional público, e até familiar, implicam um cuidado odontológico bastante insatisfatório, sugerindo que os idosos institucionalizados estão sendo negligenciados permanentemente no âmbito odontológico.

OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Ensino de auxiliares de enfermagem : racionalidades que orientam as ações docentes em uma escola de qualificação profissional

O desvelamento das racionalidades imersas nas ações docentes de uma escola de qualificação profissional de auxiliares de enfermagem, compõem a área temática deste estudo. No intuito de atingirmos esta dimensão de análise, abordamos as seguintes questões de pesquisa: - Qual o entendimento das docentes sobre o seu trabalho enquanto enfermeiras e professoras?; - Qual o entendimento das docentes sobre o trabalho e a qualificação profissional de auxiliares de enfermagem?; - Quais as ações que orientam a prática docente na qualificação profissional, como indicativos da(s) racionalidade(s)?; - Que dimensões estariam presentes na ação docente que possibilitariam uma ação comunicativa?. A teoria de Jürgen Habermas é utilizado como aporte para as idéias trabalhadas neste estudo. A Teoria da Ação Comunicativa, em sua proposta básica, centra-se nas dimensões de desvelamento ideológico de interesses, uso do conhecimento e da racionalidade na busca da emancipação e da autonomia. Esta teoria diferencia três tipos de racionalidades ou ações: instrumental, estratégica e comunicativa. Na coleta de dados é empregada entrevista semi-estruturada, cujas perguntas contemplam as questões acima delineadas, aplicadas à oito professores de uma escola escolhida intencionalmente. A análise de dados utiliza o método de análise de discurso conforme a Pragmática Formal apresentada por Habermas (1987), a qual se preocupa com as dimensões internas e externas dos atos de fala, nem sempre vinculados a questões gramaticais, valendo mais o significado e a consideração de falibilidade da verdade expressa (Habermas, 1987). A dimensão do trabalho das Professoras como categoria teórica, envolve a atividade docente e de enfermeira. No significado que possuem de trabalho, o mesmo é concebido como um agir-racional-com-respeito-a-afins, uma vez que é entendido como uma relação meio-fim. A divisão social e técnica do trabalho, bem como a fragmentação entre a concepção intelectual e manual, são apresentadas em situações distintas ao se referirem ao seu trabalho e ao das auxiliares de enfermagem. Nos seus atos de fala expressam o descontentamento em seguirem normas pré-estabelecidas, com a rotinização dos cuidados e a burocratização dos serviços. No entanto, reproduzem este sistema hierarquizado na relação com as auxiliares de enfermagem, articulando o seu poder como forma de manterem o controle sobre o produto do trabalho. No relacionamento com profissionais de 3º grau surge a hegemonia médica, assumindo as Professoras um posicionamento de submissão, justificado por não considerarem o cuidado de enfermagem como detentor de saber próprio, além do que o trabalho médico teria um conhecimento reconhecido; outras Professoras, em menor expressão, reconhecem a existência de hegemonia, posicionam-se frente a esses profissionais em uma relação de iguais, questionando-os. A qualificação profissional das auxiliares de enfermagem é trazida nos atos de fala em uma racionalidade instrumental, visando a formação técnico-científica. As ações docentes não trazem as bases de uma racionalidade comunicativa. No entanto, é realizado pela pesquisadora, a proposta de desenvolvimento desta realidade na qualificação profissional de auxiliares de enfermagem.

Análise da gestão do líder formal em relação à implementação da mudança organizacional : estudo de caso na Universidade Federal do Rio Grande do Sul

Esta pesquisa analisa a gestão do líder formal em relação às mudanças acontecidas em sete Unidades de Ensino da Universidade Federal do Rio Grande do Sul (UFRGS), as quais decidiram unir seus ambientes de trabalho, pela falta de recursos humanos, para serem mais eficientes e dar um melhor atendimento à comunidade universitária. Segundo a Pró-Reitoria de Recursos Humanos da UFRGS, um dos principais fatores que fizeram com que a implementação das Secretarias Unificadas apresentasse situações de resistência e de conflito foram os problemas de liderança das pessoas que possuem autoridade formal e que dirigem as Unidades (líderes formais). Os resultados indicam que eles desconsideraram os elementos comportamentais e de planejamento da mudança no inicio e durante a implementação das Secretarias Unificadas. Foram entrevistados os líderes formais (Diretores e Assessores Administrativos) do Instituto de Geociências, do Instituto de Matemática, da Escola de Administração, da Escola de Educação Física, da Escola de Enfermagem, da Faculdade de Biblioteconomia e Comunicação e da Faculdade de Veterinária, e aplicaram-se questionários na totalidade dos funcionários das Secretarias Unificadas, para obter dados sobre estratégias implementadas, tipo de mudança, fatores facilitadores e fatores inibidores da mudança, características da liderança e gestão atual nas Secretarias Unificadas. A partir da análise dos dados coletados, chegou-se à afirmação de que o sucesso na gestão do líder formal nas Secretarias Unificadas de penderá da sua capacidade de criar boas condições de trabalho e desenvolver os fatores motivacionais, profissionais e pessoais, considerando que muitas das necessidades de mudança nas Unidades são compartilhadas e outras são específicas, devido aos seus interesses.

Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Sinais e sintomas apresentados pelos pacientes durante o eco-stress farmacológico : subsídios para o cuidado de enfermagem

Este estudo foi desenvolvido, visando identificar a correlação entre os sinais e sintomas prévios, apresentados pelos pacientes, e a ocorrência de sinais e sintomas no decorrer do eco-stress farmacológico, bem como a relação com o protocolo escolhido e o desfecho diagnóstico. O trabalho foi realizado em uma unidade de diagnóstico cardiológico, de um Hospital Universitário de Porto Alegre – RS. Trata-se de uma pesquisa quantitativa, de cárater exploratório descritivo, em que foi realizado um estudo retrospectivo dos registros dos exames, em duzentos e quarenta e seis fichas dos pacientes, submetidos ao eco-stress farmacológico, no período de junho de 1997 a julho de 1999. Os dados foram classificados, de acordo com os protocolos farmacológicos, utilizados na unidade aonde foi realizada a pesquisa, dipiridamol, dobutamina, dipiridamol ultrafast, dipiridamol e dobutamina. Das fichas, que fizeram parte da amostra, constaram cento e três pacientes (41,9%) do sexo feminino e cento e quarenta e três (58,1%) do sexo masculino. O maior número de pacientes foi submetido ao protocolo dipiridamol ultrafast, com 131 pacientes, seguido de 89 indivíduos submetidos ao teste com dobutamina. A mediana da idade dos sujeitos, submetidos ao eco-stress, foi de sessenta anos. A angina foi o sintoma, relatado com maior freqüência pelos pacientes, na entrevista que antecede o exame, constatado em 66,6% das fichas, seguido pela queixa de dor precordial em 16,8%. Houve correlações estatisticamente significativas entre os sinais e sintomas: angina, dor precordial, cansaço e cefaléia, apresentados antes e durante o exame, no grupo de pacientes que fez o teste com dipiridamol ultrafast. Nos pacientes submetidos ao protocolo com dobutamina, para angina e ocorrência de extrassístoles ventriculares. Não houve correlações estatisticamente significativas para os sinais e sintomas e o desfecho positivo e negativo para isquemia. As diferenças entre as médias dos valores da pressão arterial sistólica, diastólica e da freqüência cardíaca, antes e durante a realização do eco-stress, foram estatisticamente significativas nos protocolos dipiridamol, dobutamina, dipiridamol ultrafast. Estes achados contribuíram para prática da enfermeira que atua no eco-stress farmacológico e poderão ser utilizados por enfermeiras que venham a desenvolver suas atividades em instituições que aplicam este método diagnóstico.

Tecnologias leves nos processos gerenciais do enfermeiro : contribuição para o cuidado humanizado

O estudo tem por objetivo identificar a utilização das tecnologias leves nos processos gerenciais do enfermeiro e sua interferência na produção do cuidado.Entende-se por tecnologias leves as tecnologias das relações, como o acolhimento, o vínculo, a autonomização, responsabilização, entre outros. Trata-se de um estudo de caso de abordagem qualitativa, cujos sujeitos do estudo foram enfermeiros do setor de internação de um hospital geral. A coleta de dados foi realizada através da observação livre, no período de dezembro de 2002 a fevereiro de 2003 e os dados foram analisados através da abordagem dialética e classificados em estruturas de relevância. A análise de dados permitiu identificar o acolhimento e o vínculo como tecnologias leves presentes no universo gerencial do enfermeiro. No entanto, foram observadas também situações de não acolhimento e ausência de vínculo, tendo em vista que o uso das tecnologias leves acontece de forma distinta para os diferentes sujeitos envolvidos nos processos de trabalho, assim como nos diferentes momentos de interações entre eles Esse fato imprime características dinâmicas, de irregularidade e contraditoriedades nos processos de trabalho em saúde, assim como no cuidado enquanto resultado esperado desses processos. Concluiu-se que o enfermeiro produz e promove o cuidado humanizado ao utilizar as tecnologias leves. São propostas intervenções direcionadas a possibilitar reflexões pertinentes aos processos de trabalho, com o objetivo de subsidiar os processos gerenciais do enfermeiro com elementos úteis à humanização do cuidado. Descritores: cuidados de enfermagem/ organização e administração; serviços de enfermagem; administração de serviços de saúde; relação enfermeiro – paciente.

Applying economic methods to humanities and other strange things: four short essays

A dissertação consiste de quarto partes. A primeira é uma resenha sobre a incorporação formal de preocupações com posição relativa (relative concerns) nos modelos econômicos. Creio que existe espaço para uma resenha desse tipo visto que nenhuma foi feita desde 1992, quando começou a literatura relevante para a presente discussão. O ensaio seguinte consiste da prova de um teorema sobre a distribuição igualitária de riqueza no contexto de preocupação com o status social. A conclusão é bastante cínica em relação a uma das vacas sagradas da maioria dos utopismos. O terceiro ensaio é de novo um teorema, de novo como conclusões cínicas, a respeito da intuição que uma sociedade com os membros suficientemente (mas não perfeitamente) altruístas seria estável e sem conflitos. O último ensaio é uma conjectura baseada num artigo recente de David Friedman. A minha ambição foi tentar explicar o comportamento aparentemente puramente caprichoso e irracional de law enforment nos regimes ditatoriais. O que une os ensaios é uma tentativa de rever algumas discussões típicas até mais das ciências humanas que sociais valendo se do instrumental formal da teoria dos jogos e a intolerância à ambiguidades nutrida pelas últimas gerações dos economistas.

Homem e risco: do oráculo à lei Sarbanes-Oxley

O presente trabalho aborda a relação histórica entre o Homem e o Risco, com ênfase nas relações contemporâneas, passando pela Ética Empresarial e pela Governança Corporativa, que têm por objetivo disciplinar as relações do capital com base nos princípios de eqüidade, transparência e prestação de contas, além do respeito às leis, regulamentos, normas, tanto formais quanto informais ou de mercado, e os aspectos éticos intrínsecos e culminando com a Lei Sarbanes-Oxley. Mais do que aproximar o investimento da produção, esse conjunto alicerça a confiança mútua, tornando-se arena de negócios entre atraídos e atraentes, ou seja, investidores e empresas. Estabelece, também, uma oportunidade para as empresas aumentarem suas origens por ação direta do patrimônio líquido, não implicando, portanto, em ônus dissociado do retorno, premiando, sob vários enfoques, a rentabilidade com responsabilidade social e percepção dos outros públicos inerentes ao negócio - stakeholders.

O cuidado cultural à mulher durante a gestação : uma contribuição para a humanização

Trata-se de um estudo qualitativo conduzido na linha da etnoenfermagem. Teve como objetivo implementar o cuidado cultural congruente à mulher durante a gestação, segundo o modelo de Leininger. Participou seis mulheres gestantes moradoras de Passo Fundo, interior do Rio Grande do Sul, no período de março de 2003 a novembro de 2003. Os dados foram coletados durante a consulta de enfermagem e a visita domiciliar; como estratégia para obtenção dos dados utilizou-se a observação participante e o Guia Rápido para Avaliação Cultural serviu de instrumento para conhecer a cultura da gestante. Para a análise dos dados, foi utilizada a Análise Temática e de Padrões. A partir dos assuntos abordados durante a implementação do cuidado emergiram unidades de significado que foram agrupadas para a formação dos temas. Procurou-se desenvolver a implementação do cuidado cultural na gestação aplicando as três formas de ação: preservação, acomodação e repadronização. O cuidado cultural na gestação mostrou-se como um recurso para favorecer o cuidado humanizado à mulher durante a gestação. As descobertas deste estudo apontam para a necessidade de se valorizar o contexto cultural da gestante no sentido de alcançar um cuidado congruente com seu modo de vida.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Exame físico : uma face reveladora do cuidado humano

Este é um estudo qualitativo, fenomenológico, com sustentação filosófica à luz de Maurice Merleau-Ponty. Tem por objeto o conhecimento, a compreensão e o significado do procedimento do exame físico como uma face reveladora do cuidado humano. Foi desenvolvido entre enfermeiras que cuidam de crianças hospitalizadas, na Clínica Pediátrica do Hospital Universitário da Fundação Universidade Federal do Rio Grande, RS. O estudo foi norteado por quatro questões: sobre a seqüência das partes do corpo da criança examinadas pela enfermeira; as bases de sustentação teórica e a defesa da prática da execução do exame físico no cotidiano; sobre como é compreendido o procedimento e o significado do exame físico. As enfermeiras possibilitaram compreender o fenômeno como um procedimento que é ensinado e aprendido no curso de graduação em enfermagem; que é aperfeiçoado durante a prática profissional; que exige estudo específico e rigor científico na técnica de execução, interpretação e registro. As bases de sustentação do procedimento estão na literatura e na continuidade do exercício; são defendidas na prática pelas suas finalidades e por se constituir fundamento para o processo de cuidado humano. É compreendido como linguagem e prática humanizada e a sua não execução é interpretada como falha da enfermeira no processo de cuidado. O fenômeno alerta às instituições formadoras no que tange à importância do rigor no ensino do exame físico, às instituições cuidadoras por se referir como fundamento ao processo de cuidado e para as enfermeiras como uma revisão dos conceitos e valores sobre o conhecimento e o exercício contínuo do exame físico.

Educação musical não-formal e atuação profissional : um survey em oficinas de música de Porto Alegre - RS

O presente trabalho teve como objetivo caracterizar o ensino de música inserido em projetos sociais. Os objetivos específicos foram analisar as dimensões presentes nas práticas educativo-musicais das oficinas de música, identificar os profissionais que ali ensinam música e qual a sua formação, e examinar as concepções sobre educação musical desses profissionais e do coordenador. O referencial teórico do trabalho está fundamentado em conceitos de educação não-formal, de autores da pedagogia e da educação musical. Foi realizado um survey de pequeno porte em 19 oficinas de música do projeto de Descentralização, da Secretaria Municipal de Cultura, da Prefeitura de Porto Alegre. Os participantes foram 14 oficineiros (profissionais que ensinam música) e o ativista de música (coordenador das oficinas). A técnica de pesquisa utilizada foi a da entrevista semi-estruturada, e os dados foram analisados qualitativamente. A partir da análise, considerei que as oficinas de música se configuram como espaços de educação musical não-formal. Os resultados sinalizam a necessidade de reconhecimento desses espaços como contextos de atuação profissional que, como tais, demandam uma formação também profissional.