Quantificadores no contexto lógico: 'muitos' e 'poucos'

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

Aspectos lógicos e algébricos dos conjuntos fuzzy

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Aplicando lógica fuzzy no controle de robôs móveis usando dispositivos lógicos programáveis e a linguagem VHDL

Pós-graduação em Engenharia Elétrica - FEIS

Uma ferramenta alternativa para síntese de circuitos lógicos usando a técnica de circuito evolutivo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um modelo algébrico para a lógica do muito

Pós-graduação em Filosofia - FFC

Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Uma lógica do poucos

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

Plataforma de simulação computacional paralela com base nos conceitos de relógios lógicos e tempo virtual

Pós-graduação em Ciência da Computação - IBILCE

Application of fuzzy logic for the evaluation of livestock slaughtering

A lógica fuzzy admite infinitos valores lógicos intermediários entre o falso e o verdadeiro. Com esse princípio, foi elaborado neste trabalho um sistema baseado em regras fuzzy, que indicam o índice de massa corporal de animais ruminantes com objetivo de obter o melhor momento para o abate. O sistema fuzzy desenvolvido teve como entradas as variáveis massa e altura, e a saída um novo índice de massa corporal, denominado Índice de Massa Corporal Fuzzy (IMC Fuzzy), que poderá servir como um sistema de detecção do momento de abate de bovinos, comparando-os entre si através das variáveis linguísticas )Muito BaixaM, ,BaixaB, ,MédiaM, ,AltaA e Muito AltaM. Para a demonstração e aplicação da utilização deste sistema fuzzy, foi feita uma análise de 147 vacas da raça Nelore, determinando os valores do IMC Fuzzy para cada animal e indicando a situação de massa corpórea de todo o rebanho. A validação realizada do sistema foi baseado em uma análise estatística, utilizando o coeficiente de correlação de Pearson 0,923, representando alta correlação positiva e indicando que o método proposto está adequado. Desta forma, o presente método possibilita a avaliação do rebanho, comparando cada animal do rebanho com seus pares do grupo, fornecendo desta forma um método quantitativo de tomada de decisão para o pecuarista. Também é possível concluir que o presente trabalho estabeleceu um método computacional baseado na lógica fuzzy capaz de imitar parte do raciocínio humano e interpretar o índice de massa corporal de qualquer tipo de espécie bovina e em qualquer região do País.

Uso de medicações por via subaracnóidea no tratamento da dor crônica

JUSTIFICATIVA E OBJETIVOS: A dor crônica é um desafio para a Medicina atual. Novos métodos e medicamentos têm sido propostos com o intuito de controlar os sintomas álgicos. A via de administração subaracnóidea tem se mostrado como uma alternativa viável e segura, embora necessite continuamente ser objeto de estudo de muitos pesquisadores. O objetivo deste trabalho é fazer uma revisão dos medicamentos disponíveis no arsenal terapêutico já consagrados pelo uso e os que se mostram promissores na atualidade para a prática clínica diária. CONTEÚDO: Nesta revisão são avaliados vários fármacos que apresentam ação analgésica quando utilizada via neuroeixo. Opióides, anestésicos locais, agonistas alfa2-adrenérgicos, antagonistas dos aminoácidos excitatórios e inibitórios, acetilcolina, inibidores da acetilcolinesterase, bloqueadores dos canais de cálcio, adenosina, serotonina, antidepressivos tricíclicos e inibidores da síntese de prostaglandinas são analisados no que concerne aos seus efeitos farmacológicos, incluindo os indesejáveis. CONCLUSÕES: Muitos avanços foram registrados no controle dos sintomas álgicos após a utilização das substâncias citadas por via raquidiana, onde certamente algumas serão aproveitadas e enriquecerão o arsenal terapêutico e outras relegadas temporária ou definitivamente. Entretanto, ainda serão necessários muitos estudos clínicos e experimentais para que estes conhecimentos possam ser incorporados e utilizados com segurança pelos profissionais que lidam com o tratamento da dor crônica.

Olhares sociológicos sobre a ciência no século vinte: mudanças e continuidades

O artigo examina, em dois momentos distintos, as principais abordagens sociológicas sobre a ciência no século vinte: a Sociologia do Conhecimento, a Sociologia da Ciência e a Sociologia do Conhecimento Científico. No primeiro tópico são recapitulados os argumentos sociológicos de Karl Mannheim e de Robert King Merton. Defende-se a interpretação de que a obra de Mannheim seja reconhecida enquanto pressuposto epistemológico para o desenvolvimento da Sociologia da Ciência de Merton. Adaptada por Merton, a metateoria sociológica de Mannheim surge através de uma abordagem estrutural funcionalista associada a uma teoria de médio alcance. No segundo momento, são retomados os argumentos de Thomas Kuhn para, logo após, ser analisada a Sociologia do Conhecimento Científico enquanto apreciação construtiva da tradição de pensamento mertoniana. O estudo dos princípios lógicos da Sociologia do Conhecimento Científico de David Bloor e a investigação acerca da tradição de pensamento iniciada na Universidade de Edimburgo, na Escócia, foram o foco elementar dessa etapa do artigo. Finalmente, as principais características de cada uma das tradições são ressaltadas, buscando-se por mudanças e continuidades que viabilizaram o desenvolvimento da abordagem sociológica sobre a atividade científica desde sua gênese clássica até os estudos contemporâneos.

Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares, atingindo uma latência de 15,4ns e uma vazão de até 17,12GB/s com uma freqüência de operação de 64,58MHz.

Detecção de faltas em sistemas de distribuição de energia elétrica usando dispositivos programáveis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

LOGO2VHDL: modelos descritos em VHDL a partir da linguagem do LOGO!Soft Comfort da Siemens

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)