Neste trabalho, derivamos equações de recorrência que descrevem a dinâmica exata de uma rede neural não-monótona, em camadas, através de uma análise sinal ruído. Para poder avaliar o seu estado dinâmico, definimos a semelhança do estado da rede com alguma configuração específica desta como medida de interesse. Vamos nos referir a estas configurações por "padrões" e a esta medida de interesse por "overlap". Obtivemos as equações dinâmicas na recuperação de um padrão e na recuperação simultânea de dois padrões. Esta arquitetura apresenta conexões apenas entre camadas adjacentes no sentido entrada-saída e padrões descorrelacionados entre as camadas. Assim, a propagação de um sinal nesta rede se dá ao passar por uma seqüência de padrões pré-definidos, de camada para camada. Nesta dinâmica, os pontos fixos correspondem a um valor estacionário do overlap desta seqüência de padrões e não do overlap estacionário de um padrão específico. Nós constatamos, na recuperação de um padrão à temperatura zero, que o modelo não-monótono é capaz de armazenar um conjunto maior de informação que o modelo monótono. Encontramos, além da presença das soluções de ponto fixo, a de atratores cíclicos e caóticos, que foram identificados e expostos graficamente.

Esta tese foi desenvolvida para investigar os mecanismos envolvidos nos efeitos protetores do tratamento com lítio sobre a memória espacial de ratos submetidos a um modelo de estresse crônico variado, bem como verificar os efeitos destes tratamentos em alguns parâmetros relacionados com depressão. Foram utilizados ratos Wistar (Rattus norvegicus), divididos em 4 grupos experimentais: controles, controles tratados com lítio, estressados e estressados tratados com lítio. Observamos que em 21 dias de tratamentos com estresse e lítio não há alteração na memória espacial, e que aos 30 dias o tratamento com lítio induz um efeito facilitador sobre a memória. A partir disso, os tratamentos tiveram duração de quarenta dias, após os quais as medidas comportamentais e bioquímicas foram desenvolvidas. Observamos que o estresse diminui a atividade da enzima Na+, K+-ATPase em membranas sinápticas hipocampais, e este efeito é prevenido pelo tratamento com lítio, bem como revertido tanto pela interrupção do estresse quanto pelo tratamento pós-estresse com lítio. A interrupção do estresse por um período de trinta dias também reverte os seus efeitos sobre a memória, assim como o faz o tratamento pós-estresse com lítio. Estes dados indicam que o déficit cognitivo induzido pelo estresse crônico é mediado por alterações plásticas, e a similaridade temporal com os efeitos sobre a atividade da enzima Na+, K+-ATPase sugere que ela esteja envolvida no prejuízo observado na memória espacial. Também avaliamos os efeitos destes tratamentos sobre a transmissão glutamatérgica hipocampal, e observamos que o estresse aumenta a liberação basal de glutamato e diminui a captação deste neurotransmissor por fatias hipocampais. Este efeito pode induzir excitotoxicidade glutamatérgica e colaborar no agravamento de outros insultos, como o aumento na morte celular observado após a privação de oxigênio e glicose. Por sua vez, o lítio aumentou a captação de glutamato por sinaptossomas, o que pode ser uma ferramenta adicional na neuroproteção após diversos tipos de insulto. Também houve um aumento na liberação de glutamato após estímulo, e este efeito pode, por um lado, estar facilitando os mecanismos de plasticidade sináptica, por outro, ter contribuído para o aumento na morte celular observado após privação de oxigênio e glicose. Foram realizadas medidas de estresse oxidativo, onde o tratamento com lítio induziu um relativo efeito antioxidante, demonstrado pela diminuição na formação de espécies oxidantes no hipocampo e pelo aumento da reatividade antioxidante total em hipocampo e hipotálamo, bem como pelo aumento na atividade da superóxido dismutase (SOD) e da glutationa peroxidase (GPX) em hipotálamo e hipocampo, respectivamente. Contudo, este efeito antioxidante não foi eficiente na prevenção da peroxidação lipídica hipocampal provocada pelo estresse, e o aumento desproporcional na atividade da SOD em animais estressados e estressados + lítio é um possível causador da peroxidação dos lipídeos de membrana em hipocampo. Os tratamentos com estresse e lítio induziram aumento no consumo de alimentos doces, sem, contudo, alterar o consumo de ração padrão pelos animais. No entanto, somente animais tratados com lítio apresentaram aumento também no consumo de alimentos salgados, e o aumento no consumo de doces por este grupo foi muito mais acentuado do que nos animais estressados. Estes efeitos não parecem ser devidos a uma maior ansiedade, visto que não houve efeito ansiogênico dos tratamentos no labirinto em cruz elevado. Animais estressados não apresentaram a analgesia característica após exposição a um sabor doce agradável (leite condensado) na medida de latência de retirada da cauda; contudo, mostraram analgesia induzida por um sabor ácido e desagradável, o que caracteriza alguns dos efeitos clássicos da depressão. Já animais tratados com lítio apresentaram analgesia tanto após o sabor agradável quanto o aversivo, sugerindo uma maior sensibilidade a estímulos gustativos nestes animais, e o lítio preveniu a ausência de analgesia induzida por doce em animais estressados, o que pode ser tomado como um efeito antidepressivo deste tratamento. Por fim, observamos uma diminuição na atividade dopaminérgica ventro-estriatal de animais estressados, que pode estar envolvida na ausência de comportamento apetitivo condicionado por um estímulo palatável. Por outro lado, animais tratados com lítio apresentaram um aumento no tônus dopaminérgico, demonstrado pela aquisição de comportamento apetitivo e pela sensibilização cruzada com dietilpropiona, sem, contudo, apresentarem alteração no conteúdo total de dopamina no núcleo accumbens. Pode-se sugerir que o tratamento com lítio induza um aumento na liberação fásica de dopamina ou alteração em seus receptores, e estes efeitos podem estar envolvidos no aumentado interesse de animais tratados com lítio por alimentos novos / These studies were undertaken to investigate the mechanisms involved in the protective effects of lithium treatment on spatial memory of rats submitted to chronic variate stress paradigm, and to verify the effects of these treatments in some depression related parameters. Adult male Wistar rats (Rattus norvegicus) were divided into 4 groups: control, control treated with lithium, stressed and stressed treated with lithium. We observed that 21 days of stress and lithium treatments did not alter spatial memory, and that 30 days of lithium treatment had a facilitative effect on memory. From these results on, all treatments lasted 40 days, and after that behavioral and biochemical measurements were performed. We observed that stress decreases Na+, K+-ATPase activity in hippocampal synaptic membranes and this effect is prevented by lithium treatment, as well as it is reversed by stress interruption and post-stress lithium treatment. Thirty days of stress interruption also reversed its effects on spatial memory, as well as does a post-stress lithium treatment. These data suggest that the cognitive deficit induced by chronic stress is mediated by plastic alterations, and the parallelism between the effects on spatial memory and on Na+, K+-ATPase activity suggests that this enzyme may be involved in the spatial memory damage observed in stressed animals. We also evaluated the effects of stress and lithium on hippocampal glutamatergic transmission, and we observed that stress increases basal synaptosomal release and decreases glutamate uptake in slices of hippocampus. These effects may favor glutamatergic excitotoxicity and contribute to neuronal loss after other kinds of insults, as it was observed after oxygen and glucose deprivation. Lithium increased synaptosomal glutamate uptake, what can represent an additional tool in neuroprotection against several kinds of insults. Lithium also increased stimulated glutamate release, what can be benefic for neuronal plasticity but can also contribute to neuroendangerment after oxygen and glucose deprivation. We performed some oxidative stress measurements, and lithium treatment induced an antioxidant effect, evidenced by a decreased formation of oxidative agents in hippocampus and an increased on total antioxidant reactivity in hippocampus and hypothalamus, as well as an increased activity of superoxide dismuthase (SOD) and gluthathione peroxidase (GPx) in hippocampus and hypothalamus, respectively. However, this antioxidant effect was not enough to prevent the hippocampal lipid peroxidation induced by stress, and the disproportional increase on SOD activity in stressed and stressed + lithium is a possible mediator for the lipid peroxidation observed in this structure. Stress and lithium treatments induced an increased consumption of sweet foods, not altering standard chow consumption. However, just lithium-treated animals presented an increase in intake of savory foods, and their intake of sweet foods was notably higher than in stressed animals. These effects do not seem to be related to higher anxiety levels, since there was no anxiogenic effects of stress and lithium in the Plus Maze test. Stressed animals did not present sweet-induced analgesia, as evaluated by the tail-flick measurement, but they presented analgesia induced by an unpleasant flavor, characterizing some effects observed in depression. Conversely, lithiumtreated animals presented analgesia after pleasant and unpleasant tastes, suggesting an increased sensibility to gustative stimuli in these animals, and lithium prevented the absence of sweet-induced analgesia observed in stressed animals, what can be taken as an antidepressive effect of this treatment. Finally, we observed a decreased ventral-striatal dopaminergic activity in stressed animals that can be involved in the absence of a palatableconditioned appetitive behavior. On the other hand, lithium-treated animals presented an increased dopaminergic tonus, as showed by the acquired appetitive behavior and by the cross-sensitization with diethylpropione, without presenting any alteration in the total amount of dopamine in the nucleus accumbens. We can suggest that lithium treatment induces an increase on phasic dopamine release or an alteration in its receptors, and these effects can be involved in the increased interest of lithium-treated animals by new palatable foods.

A simulação paralela de eventos é uma área da computação que congrega grande volume de pesquisas, pela importância em facilitar o estudo de novas soluções nas mais diferentes áreas da ciência e tecnologia, sem a necessidade da construção de onerosos protótipos. Diversos protocolos de simulação paralela podem ser encontrados, divididos em dois grandes grupos de acordo com o algoritmo empregado para a execução em ordem dos eventos: os conservadores e os otimistas; contudo, ambos os grupos utilizam trocas de mensagens para a sincronização e comunicação. Neste trabalho, foi desenvolvido um novo protocolo de simulação paralela, fazendo uso de memória compartilhada, o qual foi implementado e testado sobre um ambiente de estações de trabalho, realizando, assim, simulação paralela com uso de memória compartilhada distribuída. O protocolo foi desenvolvido tendo como base de funcionamento os protocolos conservadores; utilizou diversas características dos mesmos, mas introduziu várias mudanças em seu funcionamento. Sua execução assemelha-se às dos protocolos de execução síncrona, utilizando conceitos como o lookahead e janelas de tempo para execução de eventos. A principal mudança que o novo protocolo sofreu foi proporcionada pelo acesso remoto à memória de um LP por outro, produzindo diversas outras nas funções relativas à sincronização dos processos, como o avanço local da simulação e o agendamento de novos eventos oriundos de outro LP. Um ganho adicional obtido foi a fácil resolução do deadlock, um dos grandes problemas dos protocolos conservadores de simulação paralela. A construção de uma interface de comunicação eficiente com uso de memória compartilhada é o principal enfoque do protocolo, sendo, ao final da execução de uma simulação, disponibilizado o tempo de simulação e o tempo de processamento ocioso (quantia utilizada em comunicação e sincronização). Além de uma implementação facilitada, propiciada pelo uso de memória compartilhada ao invés de trocas de mensagens, o protocolo oferece a possibilidade de melhor ocupar o tempo ocioso dos processadores, originado por esperas cada vez que um LP chega a uma barreira de sincronização. Em nenhum momento as modificações efetuadas infringiram o princípio operacional dos protocolos conservadores, que é não possibilitar a ocorrência de erros de causalidade local. O novo protocolo de simulação foi implementado e testado sobre um ambiente multicomputador de memória distribuída, e seus resultados foram comparados com dois outros simuladores, os quais adotaram as mesmas estratégias, com idênticas ferramentas e testados em um mesmo ambiente de execução. Um simulador implementado não utilizou paralelismo, tendo seus resultados sido utilizados como base para medir o speedup e a eficiência do novo protocolo. O outro simulador implementado utilizou um protocolo conservador tradicional, descrito na literatura, realizando as funções de comunicação e sincronização através de trocas de mensagens; serviu para uma comparação direta do desempenho do novo protocolo proposto, cujos resultados foram comparados e analisados.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Biológicas. Programa de Pós-Graduação em Neurociências. / Made available in DSpace on 2013-07-16T03:21:40Z (GMT). No. of bitstreams: 1 241161.pdf: 345406 bytes, checksum: 93fba09d50453e7d3c00201cd0d8a63b (MD5) / Efeito da vagotomia subdiafragmática bilateral e da injeção intracerebroventricular de 2-Desoxi-D-Glicose (2-DG) e Estreptozotocina (STZ) na aquisição de esquiva (memória emocional) em ratos machos submetidos ao labirinto em cruz elevado (LCE) sob o paradigma da primeira e segunda exposição.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Desportos, Programa de Pós-Graduação em Educação Física, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T08:05:35Z (GMT). No. of bitstreams: 1 298469.pdf: 4092215 bytes, checksum: bec93ef610844d3a01bbbae47a0779d9 (MD5) / A experiência como algo que permite aos indivíduos apropriarem-se de sua própria vida parece estar à margem ou em declínio na contemporaneidade. É nesse contexto maior que se situa a presente pesquisa e com a seguinte "pergunta de partida": que dimensões lúdicas da experiência de infância podem ser evocadas na memória de velhos moradores da Ilha de Santa Catarina e de Açores, tendo por referência os registros de brincadeiras e brinquedos contidos na obra de Franklin Cascaes (1908 - 1983)? Foram traçados os seguintes objetivos: caracterizar as dimensões lúdicas da experiência de infância escavadas na memória de velhos moradores da Ilha de Santa Catarina e dos Açores (PT), a partir dos registros de brinquedos e brincadeiras da obra de Franklin Cascaes; e perceber se os sujeitos investigados conheciam ou compartilhavam da cultura lúdica registrada por Franklin Cascaes, bem como conhecer ainda outros brinquedos e outras brincadeiras presentes na memória dos velhos entrevistados além daqueles assinalados por esse estudioso da cultura açoriana da Ilha de Santa Catarina. Metodologicamente, foi delimitado um campo empírico para a memória lúdica de infância de velhos moradores da Ilha, tendo na história oral o suporte para o registro dessa memória. Os doze distritos administrativos da Ilha constituíram o lócus da pesquisa, ou seja, o lugar onde os velhos ilhéus passaram suas infâncias, num tempo e espaço entre 1930 e 1950. O número de entrevistados compreendeu uma amostra de natureza qualitativa, limitada pela recorrência das informações obtidas nas dezenove entrevistas realizadas. A obra de Franklin Cascaes foi consultada para buscar documentos, imagens e objetos relativos à cultura lúdica daquele tempo histórico da Ilha. Um campo empírico complementar foi realizado com quatro entrevistas com velhos moradores dos Açores (PT). As dimensões lúdicas da experiência de infância, escavadas na memória dos velhos moradores da Ilha de Santa Catarina e de Açores, foram caracterizadas por brinquedos e brincadeiras que imitavam o mundo adulto, mas com espaço para a imaginação das crianças; por uma infância circunscrita ao modo de vida típico da Ilha, entre 1930 e 1950; por um tempo de brincar na rua, em grupo e com possibilidade de interação com a natureza; por um local de infância com uma imensidão de espaço para brincar a "rédeas soltas"; por amplo reconhecimento por parte dos entrevistados, dos registros de brinquedos e brincadeiras feitos pelo artista-folclorista que eternizou, para as gerações futuras, a cultura infantil das gerações passadas; pela experiência dos entrevistados como artífices de seus próprios brinquedos; e por uma crítica à política de cidade que fez Florianópolis trilhar os caminhos da modernização e urbanização sem salvaguardar espaços públicos, livres, extensos e abertos onde as futuras gerações de crianças possam brincar, transformando essas crianças em reféns de lugares fechados e mudando radicalmente a cultura da infância atual.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação. Programa de Pós-Graduação em Educação. / Made available in DSpace on 2012-10-22T07:57:23Z (GMT). No. of bitstreams: 1 231708.pdf: 24600573 bytes, checksum: 8cd4aeb844eb19c7edb046c91a8cacd9 (MD5) / Esta é uma pesquisa sobre fotografias, mais especificamente, retratos de família - aqui encarados como um aspecto da memória. No fluxo visual desencadeado pela fotografia, pela memória, e também pela pintura, reflito sobre como podemos ser educados por imagens: uma educação visual. O caminho escolhido na busca por reflexões sobre a fotografia é a Arte da Memória. Herdada da Retórica grega e latina, foi - e persiste até hoje - um instrumento utilizado com o objetivo de fortalecer e educar nossas memórias. A Arte da Memória nos liga ao passado da Renascença, época em que se desenvolveu a perspectiva artificial, técnica que plasma o real a partir de cálculos matemáticos e que é, até hoje, o princípio ótico norteador das câmeras fotográficas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências de Educação, Programa de Pós-Graduação em Educação, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:36:32Z (GMT). No. of bitstreams: 1 321964.pdf: 661475 bytes, checksum: 57fd8d1af5a2e038bec2cd5bc7b90056 (MD5) Previous issue date: 2013 / A presente dissertação tem como objetivo discutir a noção de uma educação estética em Walter Benjamin. As fontes principais da investigação são constituídas pelos ensaios Infância berlinense: 1900 e Diário de Moscou, os quais, ao transcenderem os gêneros literários da "autobiografia" e dos "diários de viagem", conduzem-nos a reflexões que nos mostram o lugar do corpo na formação de uma nova maneira de pensar a constituição da subjetividade humana. Para mostrar como isso sucede, abordamos as relações intrínsecas existentes entre os conceitos de experiência, memória e sentidos nas duas obras inves-tigadas. Diante dessa tríade, pensamos que essas reflexões suscitam uma pedagogia da corporalidade na elaboração de uma imagem única e dialética. <br> / Abstract : The present dissertation aimed to discuss the notion of an aesthetic education in Walter Benjamin. The main sources of research was constituted by works Berliner Childhood around 1900 and Moscow Diary, which, in transcending the literary genres of the "autobiography" and "travel diaries", lead us to re-flections that show us the body's place in the construction of a new way of thinking about the constitution of human subjectivity. In order to show how this happens, we approach the intrinsic relations between the concepts of expe-rience, memory and senses in the two works investigated. Given this triad, we think that these reflections raise a pedagogy of corporeality through the elaboration of a single image and dialectics.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Biológicas, Programa de Pós-Graduação em Neurociências, Florianópolis, 2014 / Made available in DSpace on 2015-02-05T20:43:17Z (GMT). No. of bitstreams: 1 332163.pdf: 1184443 bytes, checksum: 4d14f1adca422355d09194fd2de0b112 (MD5) Previous issue date: 2014 / O Transtorno por Estresse Pós-Traumático (TEPT) é um transtorno mental causado por um fator inicialmente estressante, como acidentes automobilísticos, assaltos, guerras, desastres naturais, entre muitos outros exemplos. Os principais sintomas são ansiedade (caracterizada por hiperexcitação, vigília e medo) quando as experiências do indivíduo de algum evento traumático são revividas. Assim, o objetivo deste estudo foi padronizar um modelo de indução de transtorno por estresse pós-traumático (TEPT) em camundongos, por meio de observação emocional (in vivo) e avaliação bioquímica (ex vivo). Para tal, foram utilizados camundongos Swiss machos (25-35 g) submetidos a uma série de cinco choques elétricos (0,8 mA e duração de 10 s). Estes animais foram expostos novamente ao mesmo aparelho 1, 6 e 24 horas, 7 e 14 dias mais tarde. Imediatamente após a reexposição, avaliou-se o estado de medo, ansiedade e depressão. Em seguida, o hipocampo foi removido para aferir a concentração de proteínas envolvidas na neuroplasticidade. Este protocolo foi capaz de induzir um comportamento excessivo de medo nos animais quando foram reexpostos ao aparelho gerador de choque. Além disso, os animais apresentaram comportamento de ansiedade e depressão avaliados no labirinto em cruz elevado e no nado forçado, respectivamente. A análise bioquímica mostrou elevação da concentração de BDNF 24h após a série de choques e imediatamente após a reexposição, bem como um aumento da concentração de CREB 1 e 6h após os choques. Além disso, observou-se uma redução da concentração 24 e 1h da caspase 8 e de p38 MAPK após os choques, respectivamente. Assim, conclui-se que o modelo utilizado induziu mudanças comportamentais (medo, ansiedade e depressão) e bioquímicas condizentes com os sinais observados em humanos, sugerindo que ele pode ser útil para se estudar a fisiopatologia e o tratamento do TEPT.<br> / Abstract: Post-Traumatic Stress Disorder (PTSD) is a mental disorder caused by an factor initially stressful. Automobile accidents, muggings, wars, natural disasters among many other examples. The main symptoms are anxiety (characterized by hyperexcitation, hypervigilance and fear) when the patient relives some traumatic event from the past. Thus, the aim of this study was to standardize a model of PTSD in mice by observation of emotional (in vivo) and biochemical (ex vivo) parameters. For this purpose male Swiss mice were used (25-35 g) and submitted to a series of five electric shocks (0,8 mA, for 10 s) in a step down apparatus. The animals were re-exposed to the apparatus 1, 6, 24 hours, 7 and 14 days later. Immediately after re-exposure, we evaluated the state of fear, depression and anxiety. After that, the hippocampus was collected to mensure the expression of proteins that are involved in hippocampus neuroplasticity. This protocol was able to induce excessive fear behavior in the animals when they were re-exposed to the shock apparatus. Moreover, the animals showed anxiety and depression behavior in the elevated plus maze and forced swimming test, respectively. Biochemical analysis showed an increase in BDNF concentration 24 h after the shock series and immediately after the exposure, as well as an increase in CREB levels 1 and 6 h after shock series. Further, caspase 8 and p38 MAPK showed a decrease of their levels 24 and 1 h after the shock exposure, respectively.We can conclude that this PTSD model induced behavioral changes in the animals (fear, anxiety and depression), accompanied by biochemical changes. Thus, this profile is consistent with symptoms observed in humans, suggesting that the model used in this work can be useful to study the physiopathology and treatment of PTSD.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências Biológicas, Programa de Pós-Graduação em Farmacologia, Florianópolis, 2014. / Made available in DSpace on 2015-02-05T20:49:48Z (GMT). No. of bitstreams: 1 327307.pdf: 2382785 bytes, checksum: 0c1104b46a4410a54e840381da9fb942 (MD5) Previous issue date: 2014 / A busca por drogas que prejudicam a reconsolidação de memórias traumáticas pode ter um impacto clínico bastante importante. O canabidiol (CBD) é o principal componente da Cannabis sativa desprovido de efeitos psicotomiméticos e seguro para o uso em animais de laboratório e em humanos. Considerando que o CBD atenua a expressão da ansiedade e facilita o processo de extinção de memórias aversivas, o objetivo do presente trabalho foi investigar em ratos se ele também interfere com a reconsolidação de uma memória de medo condicionada ao contexto, bem como avaliar a participação do córtex pré-frontal medial (CPFm) no processo de reconsolidação e nos efeitos sistêmicos do CBD. Para tanto, imediatamente após a evocação da memória de ratos previamente condicionados, o CBD foi administrado (3 ? 30 mg/kg). Foi observado, uma redução na porcentagem de congelamento até 22 dias após o tratamento com a dose de 10 mg/kg. Não ocorreu reinstalação da memória, e o mesmo efeito foi observado quando testado em uma memória mais velha (7 dias), foi bloqueado pelo antagonista dos receptores canabinoides do tipo 1 (AM251 1 mg/kg; CB1), mas não pelo antagonista dos receptores de serotonina do tipo 5-HT1A (WAY 0,1 mg/kg), e não foi evidente quando a evocação da memória foi omitida. Tais resultados indicam que o CBD prejudica a reconsolidação de uma memória aversiva, um efeito dependente da ativação indireta do sistema endocanabinoide. Uma hora após a evocação da memória, foi observado um aumento na expressão da proteína Zif268 no CPFm, principalmente nas subdivisões do córtex cingulado (CC) e pré-límbico (PL), mas não no infralímbico (IL). Esse aumento não foi observado quando a memória não foi evocada e foi atenuado com a administração de CBD. Esse conjunto de resultados sugere que o CC participa da reconsolidação, indicando também um papel para o PL nesse fenômeno. Para confirmar o papel do córtex PL na reconsolidação, essa estrutura foi inativada imediatamente após a evocação da memória de 1, 7 e 21 dias. Em todos os casos, foi observada, uma redução na porcentagem de congelamento quando os animais foram retestados no dia seguinte. Novamente, esse efeito foi duradouro e não sofreu reinstalação, confirmando que a atividade do córtex PL é importante para essa etapa de re-estabilização da memória. Quando o CBD foi administrado sistemicamente, o bloqueio dos receptores CB1 com AM251 (50 pmol/0.2 µL) no córtex PL preveniu o efeito amnéstico. A inibição da FAAH pelo URB597 (200 pmol/0,2 µL)administrado diretamente no córtex PL imediatamente após a evocação da memória, também prejudica a reconsolidação. Em conjunto, esses resultados confirmam a participação do córtex PL na reconsolidação de uma memória de medo e demonstram que os receptores CB1 dessa área são recrutados pelo CBD quando ele prejudica a reconsolidação.<br> / Abstract : The search for reconsolidation blockers may uncover clinically relevant drugs to disrupt memories of significant stressful life experiences. In this sense, cannabidiol (CBD), the major non-psychotomimetic component of Cannabis and a compound safe to be used in rodents and in humans, might be relevant. Based on the fact that CBD facilitates fear extinction and is anxiolityc, and on the evidence that many CBD effects are mediated by the medial prefrontal cortex activity (mPFC), the aim of the present study was to evaluate whether the systemic injection of CBD in rats, could mitigate an established contextual fear memory, by blocking its reconsolidation, evaluating the role of mPFC in this step of memory processing and in the CBD effects. CBD (3 ? 30 mg/kg) was administered immediately after fear memory retrieval in rats previously conditioned. It was observed a reduction in the percentage of freezing time until 22 days after the treatment, with the most effective dose (10 mg/kg). This effect was not accompanied by fear memory reinstatement, it was seen when tested in an older memory (7 days old), it could be blocked by the cannabinoid receptor CB1 antagonist AM251 (1 mg/kg), but not by the serotonin receptor 5-HT1A antagonist WAY100635 (0.1 mg/kg), suggesting that CBD disrupts fear memory reconsolidation by the endocannabinoid system. One hour after retrieval, it was observed an increase in Zif268 expression in the mPFC, mainly in its cingulate (CC) and prelimbic (PL) parts, but not in infralimbic (IL). When memory retrieval was omitted, the Zif268 expression was not seen and the CBD systemic administration prevented the expression in CC and PL. These results confirm the CC role in reconsolidation and suggest a role for PL cortex. To confirm the role of PL cortex in fear memory reconsolidation, this structure was temporarily inactivated with muscimol (4.0 nmol/0.2 µL) immediately after retrieval of different memory ages (1, 7 and 21 days old). In all cases, a reduction in the percentage of freezing time was observed one day later. This effect was long lasting and did not present reinstatement, confirming that PL cortex activity subserves fear memory reconsolidation. When the CBD was administered systemically, the blockade of CB1 receptors with AM251 (50 pmol/0.2 µL) in PL cortex prevented the CBD effect in fear memory reconsolidation. The inhibition of FAAH by URB597 injected bilaterally into the PL cortex (200 pmol/0.2 µL) immediately after fear memory retrieval also impaired its reconsolidation. Altogether, the results confirm that theactivity of PL cortex subserves fear memory reconsolidation, acting as a neural substrate to the CBD effects.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2014 / Made available in DSpace on 2015-02-05T21:02:33Z (GMT). No. of bitstreams: 1 330255.pdf: 3149547 bytes, checksum: 67161f66dc891b9dd0fe6599ef298d40 (MD5) Previous issue date: 2014 / O multiprocessamento em chip sob a crescente demanda por desempenho leva a um número crescente de núcleos de processamento, que interagem através de uma complexa hierarquia de memória compartilhada, a qual deve obedecer a requisitos de coerência e consistência, capturados na interface hardware-software na forma de um modelo de memória. Dada uma execução de um programa paralelo, verificar se a hierarquia obedece aqueles requisitos é um problema intratável quando a observabilidade do sistema restringe-se a um trace de memória para cada processador, tal como ocorre em um checker dinâmico pós-silício. Esses checkers (baseados em inferências sobre traces) requerem o uso de backtracking para excluir falsos negativos. Por outro lado, checkers pré-silício podem se beneficiar da observabilidade ilimitada de representações de projeto para induzir um problema de verificação que pode ser resolvido em tempo polinomial (sem o uso de backtracking) e com plenas garantias de verificação (sem falsos negativos nem falsos positivos). Esta dissertação faz uma avaliação experimental comparativa de checkers dinâmicos baseados em diferentes mecanismos (inferências, emparelhamento em grafo bipartido, scoreboard única e múltiplas scoreboards). Os checkers são comparados para exatamente o mesmo conjunto de casos de teste: 200 programas paralelos não sincronizados, gerados de forma pseudo-aleatória, obtidos variando a frequência de ocorrência de instruções (4 mixes), o número de endereços compartilhados (entre 2 e 32) e o número total de operações de memória (entre 250 e 64K). A partir de uma mesma representação pré-validada do sistema, foram construídas oito representações derivadas, cada uma contendo um erro de projeto distinto. Para reproduzir condições compatíveis com as tendências arquiteturais, os checkers foram comparados ao verificar um modelo com máxima relaxação de ordem de programa (bastante similar ao usado, por exemplo, nas arquiteturas Alpha e ARMv7) para sistemas contendo de 2 a 32 núcleos de processamento. Não é do conhecimento do autor a existência na literatura de uma avaliação experimental tão ampla. Os resultados mostram a inviabilidade do uso de checkers baseados em inferências em tempo de projeto: têm o mais alto esforço computacional e a maior taxa de crescimento com o aumento do número de processadores. A avaliação indica que a forma mais eficiente de construir um checker pré-silício corresponde a uma observabilidade de três pontos de monitoramento por processador, ao uso de verificação on-the-fly (ao invés de análise post-mortem) e à utilização de múltiplos mecanismos para verificar separadamente e em paralelo os subespaços de verificação definidos pelo escopo individual de cada processador, enquanto os subespaços entre processadores são verificados globalmente. Como um desdobramento da avaliação experimental, a dissertação identifica uma deficiência comum a todos os checkers analisados: sua inadequação para verificar modelos de memória com fraca atomicidade de escrita, exatamente aqueles apontados como tendência e já presentes em arquiteturas recentes (e.g. ARMv8). Diante disso, a dissertação propõe algoritmos generalizados capazes de verificar tais modelos.<br> / Abstract: Chip multiprocessing under the growing demand for performance leads to agrowing number of processing cores, which interact through a complex shared memory hierarchy that must satisfy coherence and consistency requirements captured as a memory model in the hardware-software interface. Given an execution of a parallel program, verifying if the hierarchy complies to those requirements is an intractable problem when the system observability is limited to a memory trace per processor, as in dynamic post-silicon checkers.Those checkers (based on inferences over traces) require the use of backtracking to avoid false negatives. On the other hand, pre-silicon checkers may benefit from the unlimited observability of design representations to induce a verification problem that may be solved in polynomial time (without the use of backtracking) with full verification guarantees (i.e. neither false negatives nor false positives). This dissertation provides an experimental evaluation of dynamic checkers based on different mechanisms (inferences, bipartite graph matching, single scoreboard and multiple scoreboards). The checkers are compared under exactly the same set of test cases: 200 non-synchronized parallel programs, generated pseudo-randomly, obtained by varying the frequency of instructions (4 mixes), the number of shared addresses (between 2 and 32) and the total number of memory operations (between 250 and 64K). From the same pre-validated system representation, eight distinct representations were built, each one containing a single and unique design error. To reproduce conditions compatible with architectural trends, the checkers were compared while verifying a memory model with maximal relaxation of program order (similar, for example, to those used in Alpha and ARMv7 architectures) and systems containing 2 to 32 processing cores. To the author's best knowledge, no broader experimental evaluation is available in the literature. The results show that the use of inference-based checkers at design time is impractical: they have the highest computational effort and the highest rate of growth with the number of cores. The evaluation shows that the most efficient way of building a pre-silicon checker corresponds to three observable points per core, the use of on-the-fly analysis (instead of post-mortem) and the usage of multiple engines to check the verification subspaces defined by the scope of each processor independently and in parallel, while checking globally the inter-processor subspaces. As a spin-off from the experimental evaluation, the dissertation identifies a deficiency common to all analyzed checkers: their unsuitability to handle memory models with weak write atomicity, which are precisely those pointed out as the trend and are present in architectures already in the market (e.g. ARMv8). In face of this, the dissertation proposes generic algorithms capable of verifying such models.