Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

O conceito de consciência em o ser e o nada de J.-P. Sartre

This current discourse intends to prove how consciousness or Being-for-itself presents the idea that in its operation one can emphasize that it s Nothingness, transience and liberty in Jean-Paul Sartre s work O Ser e o Nada. To testify the proposed idea, the conception that Sartre gives to consciousness, representing nothingness, without any content that is connected to the possessor objects of a transphenomenal existence will be the starting point. This way, consciousness will be analyzed transcendently to the object that it s not, demonstrating its revealer-revealed condition, because it unveils a concrete world that exists against its idea, functioning as the revealer intentionality that there are beings instead of nothingness, obeying the ontological proof defended by Sartre. From this idea, every kind of consciousness will always be consciousness of something, a glance of the world, avoiding the fact that the consciousness could be considered nothing in the world. In order to live its original negation state of the world, apprehending this same world, with the purpose of a knowledge, it needs to be divided in two: the first degree consciousness or previous-reflexive cogito, that turns the proper reflexion possible, because, it s the consciousness proper transphenomenality of being different of all that connected to its existence being only its consequence; and the cogito, responsible to the positioning of the first degree consciousness, while aware of its own consciousness, that is, while being certain that knows. From this point, the way to untangle the consciousness or Being-for-itself will be developed as being Chasm, Liberty and transience. From this idea, it s intended to know how consciousness, that in Sartre s thoughts is originally nothing, could turn into Liberty that is presented in the field of transience? In other words, how these three internal structures imbricate one another to form consciousness in Sartre? First of all, it has to be considered the review of a conduct of human reality, the inquiry, that will be possible to understand how Nothingness exists as the mold of all kind of negation. After this, it will be shown, considering its way of existence, the human reality that is connected to Para-si, determined like nothingness, still is proposed like Liberty. Form this point, it will be possible to gleam how Liberty is lived deeply by Para-si in the shape of chasm, trying to how Para-si turns into nothingness, creating a chasm based on its proper liberty. Then, Liberty will be the proper mechanism used by Para-si to modificate its original chasm. The way Being-for-itself has to build to gain its goal will be projecting in transience, the building of something possible that brings one being back. However, will be demonstrated like Chasm can occupy the moment of a choice turning the decision instant an anguish stage, based on the failing of stability of the Being-for-itself, once nothingness persists in the field of the possibilities that human beings preserves in its essence while being essentially Liberty. From this idea, anguish will be studied as the proper consciousness of Liberty, being bad-faith the attempt of avoid Liberty trying to gain a shelter contradicting the fact that life is done of continual choices

Chemical and microbiological evaluation of the internal surfaces of aluminum tubes both unlined and lined with epoxi resin by means of the stereoscope and scanning electron microscope

A superfície interna das bisnagas fabricadas com alumínio não revestido e revestido com resina epóxi, utilizadas para acondicionar cremes, pomadas, géis, etc., foram avaliadas quimicamente e por métodos microbiológicos correlacionados com a aderência de microrganismos. A prova da porosidade e da resistência à remoção da resina foi observada por meio do microscópio eletrônico de varredura (Topcon FM300) e estereoscópio Leica (MZ12) acoplado a Sistema de Digitalização de Imagens. Para avaliar a ação dos microrganismos foram utilizados corpos-de-prova esterilizados (discos de 10mm de diâmetro), imersos em caldo Mueller Hinton (Difco) e colocados em tubos de polipropileno com tampa de rosca (Corning). Foram inoculados tubos com meio de cultura para cada uma das suspensões bacterianas (10(9)UFC/mL) de Streptococcus agalactiae, Staphylococcus aureus, Acinetobacter lwoffii e Candida albicans, incubados a 37°C, sob agitação constante durante 12 dias. O meio de cultura era trocado a cada 3 dias. Após esse período, os corpos-de prova foram removidos, processados e observados em microscópio eletrônico de varredura JEOL-JSM (T330A). A observação por meio do microscopio eletrônico de varredura mostrou a aderência e a formação de biofilme sobre a superfície de alumínio não revestido e revestido com resina epóxi.

Contribuição ao estudo da reação á tricofitina nas dermatofitoses

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

A documentação odontológica sob a ótica dos cirurgiões-dentistas de Natal-RN

The dental documentation or handbook is a collection of documents produced by the professional with diagnostic and therapeutical purpose where the inherent information to the buccal and general health of patients are registered. The register and proper filling of these documents, taking care of the ethical and legal requirements, provide to the dentist the possibility to contribute with justice in cases of human identification and makes of these documents an essential element of evidence in the ethical processes, administrative, civil and criminal against the dentists. Ahead of this fact, understanding such requirements and the importance of the dentist to register himself adequately, this research verified the knowledge of Natal (RN) City s dentists with relation to the elaboration of the dental handbook, investigating the concepts and the importance attributed to the handbook, identifying the documents more used and filed by these professionals, besides inquiring the legal value of filed documents and the filling time of these ones. The sample was constituted by 124 dentists, who had answered a questionnaire, after having been randomly selected ITom a list of professionals subscribed in the Dentistry Local Council/RN Section. The analysis of the results showed that majority of the participant citÍzens (52,3%) confers to the dental documentation the clinical importance, followed by the legal and forensic-dentistry importance; 59,3% of the searched professionals do not distinguish satisfactorily or they do not observe differences between the dental handbook and the clinical filing card, the X-rays, the dental certificates, the prescriptions, the directions and the receipts; between the documents of common use to clínical and specialist ones, the contract of rendering of services and term of ITee and cleared up consent are the documents less used by the professionals. It was still verified, that only 13,1% of the sample register the signature of the patients in the clinical filing card, making it more credibility to be presented in judgement. In the same way, copies of dental certificates and prescriptions evaluated and signed by the patients are filed respectively by only 13,5% and 9,4% ofthe searched professionals and 50% ofthe sample, keep these documents filed for an indeterminate period of time, that is, these professionals have the guard of the handbook and they do not intend to disdain it, although 85,5% of the sample does not recognize the real proprietor of the handbook. It is concluded that a great part of the dentists is unaware about the importance of the dental documentation, and neglect its elaboration, leaving themselves exposed to several kinds of penalties foreseen in the legislation

Prevalência e susceptibilidade antimicrobiana de Staphylococcusspp. em quadros de saúde e doença periodontal

The aim of this study was determine the prevalence and antimicrobial susceptibility of Staphylococcus spp. from patients with periodontal disease and periodontally healthy, correlate them with factors to host, local environment and traits of the diseases. To this, thirty adults from 19 to 55 years old were selected. They had not periodontal treatment and no antibiotic or antimicrobial was administered during three previous months. From these individuals, sites periodontally healthy, with chronic gingivitis and/or periodontitis were analyzed. Eighteen subgingival dental biofilm samples were collected through sterile paper points being six from each tooth randomly selected, representing conditions mentioned. They were transported to Oral Microbiology laboratory, plated onto Mannitol Salt Agar (MSA) and incubated at 370C in air for 48 h. Staphylococcus spp. were identified by colonial morphology, Gram stain, catalase reaction, susceptibility to bacitracin and coagulase activity. After identification, strains were submitted to the antibiotic susceptibility test with 12 antimicrobials, based on Kirby-Bauer technique. To establish the relation between coagulase-negative Staphylococcus (CSN) presence and their infection levels and host factors, local environment and traits of diseases were used Chi-square, Mann-Whitney and Kruskal-Wallis tests to a confidence level of 95%. 86,7% subjects harbored CSN in 11,7% periodontal sites. These prevalence were 12,1% in healthy sites, 11,7% in chronic gingivitis, 13,5% in slight chronic periodontitis, 6,75% in moderate chronic periodontitis and in sites with advance chronic periodontitis was not isolated CSN, without difference among them (p = 0,672). There was no significant difference to presence and infection levels of CSN as related to host factors, local environm ent and traits of the diseases. Amongst the 74 samples of CSN isolated, the biggest resistance was observed to penicillin (55,4%), erythromycin (32,4%), tetracycline (12,16%) and clindamycin (9,4%). 5,3% of the isolates were resistant to oxacilin and methicillin. No resistance was observed to ciprofloxacin, rifampicin and vancomycin. It was concluded that staphylococci are found in low numbers in healthy or sick periodontal sites in a similar ratio. However, a trend was observed to a reduction in staphylococci occurrence toward more advanced stages of the disease. This low prevalence was not related to any variables analyzed. Susceptibility profile to antibiotics demonstrates a raised resistance to penicillin and a low one to methicillin. To erythromycin, tetracycline and clindamycin was observed a significant resistance

Sonhos antecipatórios: influência de um evento significativo da vigília na atividade onírica

In most cultures, dreams are believed to predict the future on occasion. Several neurophysiological studies indicate that the function of sleep and dreams is to consolidate and transform memories, in a cyclical process of creation, selection and generalization of conjectures about the reality. The aim of the research presented here was to investigate the possible adaptative role of anticipatory dreams. We sought to determine the relationship between dream and waking in a context in which the adaptive success of the individual was really at risk, in order to mobilize more strongly the oneiric activity. We used the entrance examination of the Federal University of Rio Grande do Norte (UFRN) as a significant waking event in which performance could be independently quantified. Through a partnership with UFRN, we contacted by e-mail 3000 candidates to the 2009 examination. In addition, 150 candidates were approached personally. Candidates who agreed to participate in the study (n = 94) completed questionnaires specific to the examination and were asked to describe their dreams during the examinaton period. The examination performance of each candidate in the entrance examination was provided by the UFRN to the researcher. A total of 45 participants reported dreams related to the examination. Our results show a positive correlation between performance on the examination and anticipatory dreams with the event, both in the comparison of performance on objective and discursive, and in final approval (in the group that not dreamed with the exam the rate of general approval, 22,45%, was similar to that found in the selection process as a whole, 22.19%, while for the group that dreamed with the examination that rate was 35.56%). The occurrence of anticipatory dreams reflectes increased concern during waking (psychobiological mobilization) related to the future event, as indicated by higher scores of fear and apprehension, and major changes in daily life, in patterns of mood and sleep, in the group that reported testrelated dreams. Furthermore, the data suggest a role of dreams in the determination of environmentally relevant behavior of the vigil, simulating possible scenarios of success (dream with approval) and failure (nightmares) to maximize the adaptive success of the individual

Efeito da degradação ambiental nas propriedades de cisalhamento de compósitos PPS/fibra de carbono

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

Avaliação do comportamento em fadiga de juntas estruturais de ligas de Al2024T3 coladas com adesivo epóxi

Ligas de alumínio são extensamente usadas em partes aeronáuticas devido às boas propriedades mecânicas e baixa densidade. Estas partes devem ser unidas para formar conjuntos maiores. Uma junta estrutural é definida como um segmento de estrutura que provê um meio de transferir carga de um elemento estrutural para outro. A maioria das juntas aeronáuticas é mecanicamente fixada com múltiplos prendedores (parafusos ou rebites). Estas juntas apresentam uma alta concentração de tensões ao redor do prendedor, porque a transferência de carga entre elementos da junta acontece em uma fração da área disponível. Por outro lado, as cargas aplicadas em juntas adesivas são distribuídas sobre toda a área colada e reduz os pontos de concentração de tensão. Juntas são a fonte mais comum de falhas estruturais em aeronaves e quase todos os reparos envolvem juntas. Portanto, é importante entender todos os aspectos de projeto e análise de juntas. O objetivo deste trabalho é comparar estaticamente juntas estruturais de ligas de Al2024-T3 em três condições: juntas mecanicamente rebitadas, juntas coladas e uma configuração híbrida rebitada e colada. Foi usada a norma NASM 1312-4 para confecção dos corpos-de-prova. Além disso, foram conduzidos testes de fadiga, sob amplitude de carregamento constante e razão de tensão igual a 0,1 para avaliar a eficiência dos elementos estruturais durante sua vida em serviço. Os resultados mostraram que a configuração híbrida apresenta maior resistência estática e uma vida em fadiga superior à configuração colada.

Projeto de Sistemas Integrados de Propósito Geral Baseados em Redes em Chip Expandindo as Funcionalidades dos Roteadores para Execução de Operações: A plataforma IPNoSys

It bet on the next generation of computers as architecture with multiple processors and/or multicore processors. In this sense there are challenges related to features interconnection, operating frequency, the area on chip, power dissipation, performance and programmability. The mechanism of interconnection and communication it was considered ideal for this type of architecture are the networks-on-chip, due its scalability, reusability and intrinsic parallelism. The networks-on-chip communication is accomplished by transmitting packets that carry data and instructions that represent requests and responses between the processing elements interconnected by the network. The transmission of packets is accomplished as in a pipeline between the routers in the network, from source to destination of the communication, even allowing simultaneous communications between pairs of different sources and destinations. From this fact, it is proposed to transform the entire infrastructure communication of network-on-chip, using the routing mechanisms, arbitration and storage, in a parallel processing system for high performance. In this proposal, the packages are formed by instructions and data that represent the applications, which are executed on routers as well as they are transmitted, using the pipeline and parallel communication transmissions. In contrast, traditional processors are not used, but only single cores that control the access to memory. An implementation of this idea is called IPNoSys (Integrated Processing NoC System), which has an own programming model and a routing algorithm that guarantees the execution of all instructions in the packets, preventing situations of deadlock, livelock and starvation. This architecture provides mechanisms for input and output, interruption and operating system support. As proof of concept was developed a programming environment and a simulator for this architecture in SystemC, which allows configuration of various parameters and to obtain several results to evaluate it

Desempenho escolar de crianças com Distúrbio Específico de Linguagem: relações com habilidades metafonológicas e memória de curto prazo

OBJETIVO: Descrever o desempenho de crianças com Distúrbio Específico de Linguagem (DEL) em provas de leitura, escrita, aritmética, consciência fonológica e memória seqüencial auditiva, assim como, verificar se há associação positiva entre as provas que avaliam a aprendizagem escolar e as que avaliam o processamento da informação. MÉTODOS: Vinte sujeitos com diagnóstico de DEL, com idades entre 7 e 12 anos, foram submetidos ao Teste de Desempenho Escolar (TDE) e a duas provas, que avaliam o processamento da informação (Perfil de Habilidades Fonológicas e Subteste de Memória Seqüencial Auditiva do Teste de Illinois de Habilidades Psicolingüísticas - ITPA). RESULTADOS: A maioria apresentou alteração em todas as provas realizadas. As associações entre o desempenho do grupo nas diferentes provas demonstram que a habilidade metafonológica apresentou associação estatisticamente significante com as habilidades de leitura (p=0,02) e escrita (p=0,02). Por sua vez, a habilidade de memória seqüencial auditiva apresentou associação estatisticamente significante apenas com a habilidade de aritmética (p=0,0003). CONCLUSÃO: O desempenho escolar, assim como as habilidades de consciência fonológica e memória de curto prazo mostraram-se defasados na maioria dos sujeitos avaliados, havendo associação positiva entre: a prova de memória de curto prazo e a prova de aritmética; a prova de consciência fonológica e as provas de leitura e escrita. Neste contexto, reforça-se aqui a utilização de programas de intervenção baseados em Modelos Psicolingüísticos, que sugerem o uso de estratégias individuais para o desenvolvimento das habilidades metafonológicas.

Desempenho de escolares com dislexia, transtornos e dificuldades de aprendizagem em provas de habilidades metafonológicas (PROHFON)

OBJETIVO: Elaborar um procedimento de avaliação de habilidades metafonológicas e caracterizar o desempenho de escolares com dislexia do desenvolvimento, transtornos e dificuldades de aprendizagem, e bom desempenho acadêmico. MÉTODOS: Foram elaboradas provas de habilidades metafonológicas baseadas em habilidades necessárias para o desenvolvimento da leitura e da escrita. Participaram 134 escolares do 3º ao 5º ano do ensino fundamental, de ambos os gêneros, com faixa etária entre 7 e 13 anos de idade, divididos em GI (20 escolares com dislexia do desenvolvimento), GII (20 escolares com transtornos de aprendizagem), GIII (20 escolares com dificuldades de aprendizagem) e GIV (74 escolares com bom desempenho acadêmico). Foi aplicada a avaliação das habilidades metafonológicas - PROHFON. RESULTADOS: GI e GII diferenciaram-se de GIV na maior parte das provas; GI diferenciou-se de GII apenas na prova de síntese e análise fonêmica e de GIII em habilidades de deleção e combinação de fonemas. GIII diferenciou-se de GIV nas habilidades de contagem, identificação, rima, deleção e combinação. CONCLUSÃO: Escolares com dislexia do desenvolvimento, transtornos e dificuldades de aprendizagem, e bom desempenho acadêmico apresentam desempenhos semelhantes nas habilidades de identificação, contagem e combinação de fonemas, rima e aliteração. Os grupos diferenciam-se em relação às habilidades silábicas (contagem, identificação, síntese e análise, deleção, combinação) e fonêmicas (deleção, síntese e análise). O PROHFON contribuiu para a caracterização do perfil metafonológico de escolares com diferentes comprometimentos em aprendizagem.

Nomeação rápida, leitura e compreensão em escolares com dificuldades de aprendizagem

OBJETIVO: Comparar e correlacionar o desempenho em nomeação rápida, leitura e compreensão de escolares com dificuldades de aprendizagem. MÉTODOS: Participaram deste estudo 32 escolares da 4ª série do ensino fundamental, de ambos os gêneros, com faixa etária entre 11 anos e 4 meses e 12 anos e 7 meses. Foram realizadas a primeira e a segunda tomada de leitura oral de um texto, selecionado a partir da indicação dos professores da 4ª série; a primeira e a segunda tomada de compreensão por meio de quatro perguntas apresentadas sequencialmente ao texto, em que os escolares deveriam responder oralmente; e a prova de nomeação rápida do Teste de Desempenho Cognitivo-Linguístico, versão individual. RESULTADOS: Houve diferença entre a primeira e a segunda compreensão e entre nomeação rápida, primeira e segunda leitura. Houve forte correlação entre compreensão e leitura, sugerindo que o desempenho na primeira tomada de leitura influenciou de forma significativa o desempenho na segunda tomada de leitura; o mesmo ocorreu para a compreensão. CONCLUSÃO: A defasagem na realização das atividades de nomeação, leitura e compreensão na primeira avaliação ocasionou falhas no mecanismo de conversão fonema-grafema que podem ser suficientes para desencadear dificuldades na aprendizagem da leitura.

Desempenho de escolares com dislexia do desenvolvimento em tarefas fonológicas e silábicas

OBJETIVO: caracterizar o desempenho em tarefas fonológicas e silábicas de escolares com dislexia do desenvolvimento e comparar estes achados com o desempenho de discentes com bom desempenho escolar. MÉTODOS: participaram do estudo 26 alunos de oito a 12 anos de idade, de ambos os sexos, de 2ª. a 4ª. séries do Ensino Fundamental municipal na cidade de Marilia-SP, divididas em GI: composto por 13 escolares com dislexia atendidos no Centro de Estudos da Educação e Saúde - CEES/UNESP e GII: composto por 13 alunos com bom desempenho acadêmico, pareados segundo sexo, idade e escolaridade com o GI. Como procedimento foi utilizada a Prova de Consciência Fonológica - Instrumento de Avaliação Seqüencial - CONFIAS. Os resultados foram analisados estatisticamente pelo Teste Mann-Whitney (comparação entre os grupos) e Teste dos Postos Sinalizados-Wilcoxon (comparação entre as variáveis). RESULTADOS: os resultados evidenciaram diferença estatisticamente significante, sugerindo melhor desempenho do GII em relação ao GI quanto às tarefas fonêmicas e silábicas. O GI apresentou diferença estatisticamente significativa nas tarefas silábicas e fonêmicas, com melhor desempenho nas primeiras. Entre os escolares do GII não houve grande diferença estatística entre tarefas silábicas, apenas entre tarefas fonêmicas. CONCLUSÃO: o estudo concluiu que escolares com dislexia do desenvolvimento apresentam dificuldades quanto à identificação de rima e produção de palavras com o som dado, apontando para um déficit em acessar os códigos e as representações fonológicas.

Alterações dos processos fonológicos e índice de gravidade entre escolares com dislexia e escolares com bom desempenho acadêmico

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