Charles Sanders Peirce: ciência enquanto semiótica

O diagrama do signo, quando aplicado no entendimento da ciência, dá lugar a uma correlação original entre abdução, dedução e indução. A união da abdução e da dedução consiste numa Forma geral de possibilidade lógica. Enquanto que a indução estabelece, no decorrer da experiência, a razão de freqüência no universo dos fatos das conseqüências previstas na representação geral. Como uma construção formal, a ciência enquanto semiótica sustenta-se, mesmo tendo por objeto um universo do puro acaso. Todavia, no interior do conjunto total do sistema filosófico de Peirce, a ciência só adquire significado se corresponder à realidade da Natureza. A garantia desta correspondência estatisticamente relevante seria o fato de o instinto humano pertencer ao mesmo estágio de evolução do universo todo.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

O poema e a canção em as coisas, de Arnaldo Antunes: imagens da primeiridade

Ce travail a pour but d analyser un corpus de six textes hybrides, que nous classons comme des poèmes-chansons/ poèmes-chantés à cause de leur double présence dans deux systèmes sémiotiques différents. Le premier, la littérature, ou plus spécifiquement la poésie, a comme support le livre As Coisas [Les Choses], d Arnaldo Antunes et l autre, la chanson, est enregistré dans les disques du même auteur. Notre travail lance un regard sur ce corpus, en essayant de vérifier un aspect recourrent dans l oeuvre d Arnaldo Antunes qui est la présence da priméité, catégorie theórique développée par Charles Sanders Peirce. Au-delà de l observation de cet aspect sémiothique, nous ferons une discussion sur la chanson populaire, et ses rapports avec la poésie et par conséquent avec la Litterature. La théorie sémiothique s appuyera sur deux piliers : En ce qui concerne l étude de la priméité, nous travaillerons avec les théories de Peirce, mais en nous servant aussi des ouvrages de Lúcia Santaella, Winfried Nöth, Júlio Plaza et Décio Pignatari ; Dans l autre voie, pour ce qui concerne l analyse des chansons, nous utiliserons la théorie de Luiz Tatit, fondée sur la sémiothique de Algirdas Julien Greimas. Tatit trace une méthode d analyse, où il est possible d analyser une chanson en exploitant et le texte et la mélodie, ce qui permet une meilleure compréhension de l étude des poèmes-chansons et ses variations. Comme support pour la discussion sur la musique, nous nous servirons des théories de José Miguel Wisnik, Claude Lévi-Strauss, Roland Barthes et Jean Fisette

Física estatística aplicada a sistemas sociais através do estudo de redes complexas

In this work a study of social networks based on analysis of family names is presented. A basic approach to the mathematical formalism of graphs is developed and then main theoretical models for complex networks are presented aiming to support the analysis of surnames networks models. These, in turn, are worked so as to be drawn leading quantities, such as aggregation coefficient, minimum average path length and connectivity distribution. Based on these quantities, it can be stated that surnames networks are an example of complex network, showing important features such as preferential attachment and small-world character

A teoria da ruína aplicada em um modelo de empresa financeira com risco de crédito

In this work we study a new risk model for a firm which is sensitive to its credit quality, proposed by Yang(2003): Are obtained recursive equations for finite time ruin probability and distribution of ruin time and Volterra type integral equation systems for ultimate ruin probability, severity of ruin and distribution of surplus before and after ruin

Microscopia de força atômica aplicada em imunoensaios

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A influência dos processos que buscam a autoformação: uma leitura através da fenomenologia e da Semiótica Social

Os Estágios Supervisionados são disciplinas integradoras entre o conhecimento específico e os conhecimentos pedagógicos. Neste trabalho, apresentamos resultados de uma pesquisa realizada com Licenciandos em Química utilizando a Metodologia Investigativa. O objetivo foi buscar as percepções dos sujeitos a respeito da própria aprendizagem e sua transferência ao processo de ensino. Utilizou-se o referencial proposto pela Fenomenologia e Semiótica Social para a análise dos dados. Confirmaram-se o potencial da metodologia no desenvolvimento metacognitivo dos sujeitos e na evolução de suas concepções. Estes valorizam a construção de estratégias de aprendizagem como um processo pessoal e profissional. A reflexão levou-os a reconhecer a complementaridade entre ensinar e aprender, como processos indissociáveis, e geradores de conhecimentos aplicáveis à atividade profissional.

Modelagem matemática aplicada ao controle biológico de Ceratitis capitata Wiedemann (Diptera: Tephritidae) por Diachasmimorpha longicaudata Ashmed (Hymenoptera: Braconidae) em Citrus

O modelo matemático apresentado tem como objetivos: (1) simular as dinâmicas populacionais de um sistema hospedeiro parasitóide de três níveis tróficos composto pelas populações de mosca-do-mediterrâneo Ceratitis capitata (Wiedemann), vespa braconídea parasitóide Diachasmimorpha longicaudata (Ashmed) e frutos cítricos; (2) auxiliar no melhor entendimento dos principais fatores biológicos e ecológicos que regem as interações populacionais e (3) colaborar com programas mais eficientes de controle biológico para o sistema em questão. A metodologia empregada baseou-se na formulação de sistemas de equações de diferenças que descrevessem os processos de interação do sistema trófico. Posteriormente, foram elaboradas resoluções numéricas desses sistemas de equações e sua representação gráfica, utilizando-se o programa computacional Matlab, versão 6.1. Os dados biológicos e ecológicos necessários para a formulação das equações matemáticas foram fornecidos por especialistas em controle de C. capitata e retirados da literatura referente ao controle biológico das moscas-das-frutas em plantações de citros no Brasil, principalmente através da utilização de vespas parasitóides, como D. longicaudata. Os resultados obtidos nas simulações sugerem que o modelo proposto descreve adequadamente o sistema ecológico em questão e permite entender melhor suas principais características biológicas e ecológicas. em conseqüência pode auxiliar na escolha do modo e momento para liberação da vespa parasitóide para o controle mais efetivo de C. capitata.

Propriedades eletrônicas e estruturais do PbTiO3: teoria do funcional de densidade aplicada a modelos periódicos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Espectroscopia de impedância eletroquímica aplicada ao estudo das reações heterogêneas em ânodos dimensionalmente estáveis

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Semiótica peirceana e produção poética

Entre as diversas semióticas e semiologias atualmente existentes, devem-se distinguir dois projetos gerais: o de origem saussureana e o de origem peirceana. O primeiro recolhe da ciência lingüística seu modo de proceder e as características gerais do signo. O segundo pertence à tradição crítica filosófica. Para a inteligência capaz de aprender com a experiência, a dimensão temporal e histórica é essencial. O signo peirceano implica as relações de um tempo irreversível. À produção presente do signo cabe a função poética, a qual é essencial à vida de toda inteligência. A hipótese cientifica, as revoluções sociais em seu momento originário e a produção artística produzem novos signos, recortam novos objetos e abrem feixes de possibilidades para a conduta futura.

Efeitos colaterais da ranitidina aplicada em dose terapêutica em cães saudáveis

O objetivo deste trabalho foi verificar se a dose de ranitidina 2mg kg-1, aplicada via intravenosa, causa êmese ou hipotensão em cães saudáveis. Foram selecionados 10 cães da raça Retriever do Labrador, 10 da raça Beagle e 10 cães sem raça definida, sendo cinco animais de cada sexo. Os animais foram submetidos ao exame clínico e à avaliação da pressão sanguínea antes da aplicação do fármaco e também 10 minutos e quatro horas após a administração deste. Após a aplicação, observou-se que 13,3% dos animais apresentaram-se normais; 6,7% dos cães apresentaram apatia; 50% dos animais apresentaram salivação e 30% apresentaram apatia, salivação, mímica de vômito ou êmese. Não houve diminuição significativa da pressão arterial após a administração do fármaco. Conclui-se que o uso de ranitidina na dose terapêutica, aplicada via intravenosa, pode provocar apatia, salivação, mímica de vômito e êmese.

Inferência bayesiana aplicada à estimação de herdabilidades dos parâmetros da curva de crescimento de fêmeas da raça Nelore

Objetivou-se estimar parâmetros genéticos, utilizando inferência Bayesiana, para as estimativas dos parâmetros individuais de peso à maturidade (Â) e taxa de crescimento, obtidos pela função de crescimento Brody. O arquivo estava constituído de 14.563 registros de pesos e idades referentes a 1.158 fêmeas da raça Nelore, participantes do Programa de Melhoramento Genético da Raça Nelore. Para a análise das estimativas dos parâmetros da curva, via inferência bayesiana, foi proposto um modelo animal unicaráter, que incluiu como fixo o efeito de grupo contemporâneo (animais nascidos no mesmo estado, no mesmo trimestre do ano, mesmo ano e mesmo regime alimentar) e como aleatórios os efeitos genético direto e residual. Nessa análise, foram utilizados dois diferentes tamanhos para as cadeias geradas pelo algoritmo de amostragem de Gibbs, de 550 e 1.100 mil ciclos, com períodos de descarte amostral de 50 e 100 mil ciclos, respectivamente, e amostragens a cada 500 e 1.000 ciclos, respectivamente. As médias posteriores da variância genética aditiva e residual foram próximas, tanto para  quanto para a, mesmo quando implementados diferentes tamanhos para as cadeias geradas pelo algoritmo de amostragem de Gibbs. Os coeficientes de herdabilidade estimados para Â, variaram de 0,44 a 0,46, amplitude semelhante aos 0,46 a 0,48 obtidos para as estimativas de. Essas magnitudes indicam que a seleção pode ser usada como instrumento para alterar a forma da curva de crescimento desses animais. Entretanto, o uso das informações obtidas, visando à alteração da curva de crescimento dos animais, deve ser feito com grande cautela, uma vez que as características a serem trabalhadas na modificação do formato da curva de crescimento, de acordo com resultados da literatura especializada, são negativamente correlacionadas.

Análise de risco aplicada ao manejo precaucionário das pescarias artesanais na região do reservatório da UHE-Tucuruí (Pará, Brasil)

As pescarias no reservatório da UHE-Tucuruí no rio Tocantins, Pará, envolvem cerca de 6.000 pescadores e movimentam cerca de R$ 4,2 milhões/ano. A atividade se concentra em três espécies principais: tucunaré Cichla monoculus (capturado com anzol), pescada Plagioscion squamosissimus (capturado com rede e/ou anzol) e mapará Hypophthalmus marginatus (capturado com rede). Com o objetivo de caracterizar os pescadores e as pescarias do reservatório, criar cenários de aumento do esforço pesqueiro e prever os momentos de conflito pela escassez de recursos, foram levantadas informações da literatura e realizadas duas campanhas de coleta de dados nos anos de 1999 e 2000, envolvendo entrevistas com líderes comunitários e pescadores. As seguintes variáveis foram consideradas: desembarque por espécie-alvo (de acordo com os registros fornecidos pelas colônias de pescadores), artes de pesca, estratégias dos pescadores, conflitos e formas de apropriação do espaço e rendimentos da atividade. Estas variáveis foram inseridas em um modelo dinâmico, simulado no software Vensim PLE para um período de 10 anos a partir de 1999. Os resultados indicam que a pesca de anzol é a estratégia mais rentável, e que possíveis momentos de conflito devido à escassez de recursos podem acontecer em curto prazo (2005). A metodologia utilizada para as simulações e análises de risco também se revelou adequada à realidade local e ao conjunto de dados disponíveis.

Anatomia do nervo isquiático em mocós (Kerodon rupestris WIED, 1820) aplicada a clínica de animais silvestres

To know the origin of the ischiatic nerve in mocos (Kerodon rupestris Wied,1820) near by intervertebral forames and the muscling belonging to its routes were used 10 adult animals, from CEMAS-ESAM. After natural obit, they were fixed in formol (10%) and dissected to exposition and to singt of the ischiatic nerve. The results were indicated in percentage. Variations in the quantity of the lumber and sacral vertebras nere observed, five animals (50,00%) reveled seven lumbar vertebras and three sacral ones; two animals recrealed seven lumbar vertebras and four sacral ones, and two animals reveled six lumbar vertebras and three sacral ones. An animal (10,00%) revealed six lumbar vertebras and four ones. Therefore, the origin of the nerve was differentiated five animals (50,00%) had the participation of L 7,S 1,S 2; two animals (20,00%) with L 7,S 1; and a little part of S 2. Two animals (20,00%) with L 6,S 1,S 2, and an animal (10,00%) with L 6,S 1, and a little part of S 2. The last root of the ischiatic nerve in all its origins, contribute to the constitution of the first root of pudental nerve. It was verified that in all its route, the ischiatic nerves (100,00%) ceded branches to the muscles: medial gluteus, deep gluteus, superficial gluteus, emiting muscular branches to the femoral biceps or to thigh, and to the semimembranous and semi-tendinous muscles, that is continuous with a high calibre trunk, originating the fibular nerve(sideways), the tibial nerve(medial) and the lateral plantar sural cutaneous nerve (caudal).