A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Efeitos ansiogênicos do óxido nítrico no córtex pre-frontal medial de camundongos

Medo e a ansiedade são emoções que têm origem nas reações de defesa que os animais exibem diante de ameaças que podem comprometer sua integridade física ou a própria sobrevivência, tais como confrontos com o predador ou com animais da mesma espécie. Em se tratando da espécie humana, estas respostas defensivas eliciadas representariam a ocorrência de transtornos de ansiedade e, a busca por sua compreensão, resultou no desenvolvimento de modelos animais de ansiedade, dentre os quais se destaca o labirinto em cruz elevado (LCE) que é baseado na aversão natural de roedores a espaços abertos. Com relação aos substratos neurais envolvidos nestas manifestações, cabe destacar a matéria cinzenta periaquedutal bem como estruturas prosencefálicas, como o córtex pré-frontal (CPFm), uma estrutura límbica que tem sido frequentemente descrita como relevante na neurobiologia da ansiedade. O óxido nítrico (NO) tem sido investigado em diferentes estruturas cerebrais de roedores nas quais foram evidenciadas respostas pró-aversivas. Sendo o CPFm uma estrutura que contém neurônios nitrérgicos, este estudo teve o objetivo de investigar o efeito da facilitação nitrérgica através da injeção intra-CPFm de um doador de NO, o NOC-9 [6-(Hidroxi-1-metil-2-nitrosohidrazino)-N-metil-1-hexanamina], sobre o comportamento de camundongos expostos ao labirinto em cruz elevado (LCE). Métodos e Resultados: Camundongos Suíços machos (25-35g, n = 53) receberam implante de cânula guia no CPFm. Cinco dias após, os animais receberam microinjeção de veículo ou NOC-9 nas doses de (1,875 nmol; 18,75 nmol; 37,5 nmol ou 75nmol) e, após cinco minutos, foram expostos... (Resumo completo, clicar acesso eletrônico abaixo)

Contrasting effects of nitric oxide and corticotropin-releasing factor within the dorsal periaqueductal gray on defensive behavior and nociception in mice

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