Inhibition of the NMDA receptor/Nitric Oxide pathway in the dorsolateral periaqueductal gray causes anxiolytic-like effects in rats submitted to the Vogel conflict test

Abstract Background Several studies had demonstrated the involvement of the dorsolateral portion of periaqueductal grey matter (dlPAG) in defensive responses. This region contains a significant number of neurons containing the enzyme nitric oxide synthase (NOS) and previous studies showed that non-selective NOS inhibition or glutamate NMDA-receptor antagonism in the dlPAG caused anxiolytic-like effects in the elevated plus maze. Methods In the present study we verified if the NMDA/NO pathway in the dlPAG would also involve in the behavioral suppression observed in rats submitted to the Vogel conflict test. In addition, the involvement of this pathway was investigated by using a selective nNOS inhibitor, Nω-propyl-L-arginine (N-Propyl, 0.08 nmol/200 nL), a NO scavenger, carboxy-PTIO (c-PTIO, 2 nmol/200 nL) and a specific NMDA receptor antagonist, LY235959 (4 nmol/200 nL). Results Intra-dlPAG microinjection of these drugs increased the number of punished licks without changing the number of unpunished licks or nociceptive threshold, as measure by the tail flick test. Conclusion The results indicate that activation of NMDA receptors and increased production of NO in the dlPAG are involved in the anxiety behavior displayed by rats in the VCT.

Fine-tuning of defensive behaviors in the dorsal periaqueductal gray by atypical neurotransmitters

This paper presents an up-to-date review of the evidence indicating that atypical neurotransmitters such as nitric oxide (NO) and endocannabinoids (eCBs) play an important role in the regulation of aversive responses in the periaqueductal gray (PAG). Among the results supporting this role, several studies have shown that inhibitors of neuronal NO synthase or cannabinoid receptor type 1 (CB1) receptor agonists cause clear anxiolytic responses when injected into this region. The nitrergic and eCB systems can regulate the activity of classical neurotransmitters such as glutamate and γ-aminobutyric acid (GABA) that control PAG activity. We propose that they exert a ‘fine-tuning’ regulatory control of defensive responses in this area. This control, however, is probably complex, which may explain the usually bell-shaped dose-response curves observed with drugs that act on NO- or CB1-mediated neurotransmission. Even if the mechanisms responsible for this complex interaction are still poorly understood, they are beginning to be recognized. For example, activation of transient receptor potential vanilloid type-1 channel (TRPV1) receptors by anandamide seems to counteract the anxiolytic effects induced by CB1 receptor activation caused by this compound. Further studies, however, are needed to identify other mechanisms responsible for this fine-tuning effect.

New perspective on the pathophysiology of panic: merging serotonin and opioids in the periaqueductal gray

Panic disorder patients are vulnerable to recurrent panic attacks. Two neurochemical hypotheses have been proposed to explain this susceptibility. The first assumes that panic patients have deficient serotonergic inhibition of neurons localized in the dorsal periaqueductal gray matter of the midbrain that organize defensive reactions to cope with proximal threats and of sympathomotor control areas of the rostral ventrolateral medulla that generate most of the neurovegetative symptoms of the panic attack. The second suggests that endogenous opioids buffer normal subjects from the behavioral and physiological manifestations of the panic attack, and their deficit brings about heightened suffocation sensitivity and separation anxiety in panic patients, making them more vulnerable to panic attacks. Experimental results obtained in rats performing one-way escape in the elevated T-maze, an animal model of panic, indicate that the inhibitory action of serotonin on defense is connected with activation of endogenous opioids in the periaqueductal gray. This allows reconciliation of the serotonergic and opioidergic hypotheses of panic pathophysiology, the periaqueductal gray being the fulcrum of serotonin-opioid interaction.

Dorsal periaqueductal gray stimulation facilitates anxiety-, but not panic-related, defensive responses in rats tested in the elevated T-maze

The escape response to electrical or chemical stimulation of the dorsal periaqueductal gray matter (DPAG) has been associated with panic attacks. In order to explore the validity of the DPAG stimulation model for the study of panic disorder, we determined if the aversive consequences of the electrical or chemical stimulation of this midbrain area can be detected subsequently in the elevated T-maze. This animal model, derived from the elevated plus-maze, permits the measurement in the same rat of a generalized anxiety- and a panic-related defensive response, i.e., inhibitory avoidance and escape, respectively. Facilitation of inhibitory avoidance, suggesting an anxiogenic effect, was detected in male Wistar rats (200-220 g) tested in the elevated T-maze 30 min after DPAG electrical stimulation (current generated by a sine-wave stimulator, frequency at 60 Hz) or after local microinjection of the GABA A receptor antagonist bicuculline (5 pmol). Previous electrical (5, 15, 30 min, or 24 h before testing) or chemical stimulation of this midbrain area did not affect escape performance in the elevated T-maze or locomotion in an open-field. No change in the two behavioral tasks measured by the elevated T-maze was observed after repetitive (3 trials) electrical stimulation of the DPAG. The results indicate that activation of the DPAG caused a short-lived, but selective, increase in defensive behaviors associated with generalized anxiety.

In vitro study on radiographic gray levels of biomaterials using two digital image methods

PURPOSE: To compare the direct and indirect radiographic methods for assessing the gray levels of biomaterials employing the Digora for Windows and the Adobe Photoshop CS2 systems. METHODS: Specimens of biomaterials were made following manusfacturer's instructions and placed on phosphor storage plates (PSP) and on radiographic film for subsequent gray level assessment using the direct and indirect radiographic method, respectively. The radiographic density of each biomaterial was analyzed using Adobe Photoshop CS2 and Digora for Windows software. RESULTS: The distribution of gray levels found using the direct and indirect methods suggests that higher exposure times are correlated to lower reproducibility rates between groups. CONCLUSION: The indirect method is a feasible alternative to the direct method in assessing the radiographic gray levels of biomaterials, insofar as significant reproducibility was observed between groups for the exposure times of 0.2 to 0.5 seconds.

Shear force and torsion in reinforced concrete beam elements: theoretical analysis based on Brazilian Standard Code ABNT NBR 6118:2007

Reinforced concrete beam elements are submitted to applicable loads along their life cycle that cause shear and torsion. These elements may be subject to only shear, pure torsion or both, torsion and shear combined. The Brazilian Standard Code ABNT NBR 6118:2007 [1] fixes conditions to calculate the transverse reinforcement area in beam reinforced concrete elements, using two design models, based on the strut and tie analogy model, first studied by Mörsch [2]. The strut angle θ (theta) can be considered constant and equal to 45º (Model I), or varying between 30º and 45º (Model II). In the case of transversal ties (stirrups), the variation of angle α (alpha) is between 45º and 90º. When the equilibrium torsion is required, a resistant model based on space truss with hollow section is considered. The space truss admits an inclination angle θ between 30º and 45º, in accordance with beam elements subjected to shear. This paper presents a theoretical study of models I and II for combined shear and torsion, in which ranges the geometry and intensity of action in reinforced concrete beams, aimed to verify the consumption of transverse reinforcement in accordance with the calculation model adopted As the strut angle on model II ranges from 30º to 45º, transverse reinforcement area (Asw) decreases, and total reinforcement area, which includes longitudinal torsion reinforcement (Asℓ), increases. It appears that, when considering model II with strut angle above 40º, under shear only, transverse reinforcement area increases 22% compared to values obtained using model I.

Paralelización del código de desenredo y suavizado de mallas de tetraedros "S.U.S Code"

Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino. Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.

Analysis of optimal control problems for the incompressible MHD equations and implementation in a finite element multiphysics code

This thesis deals with the study of optimal control problems for the incompressible Magnetohydrodynamics (MHD) equations. Particular attention to these problems arises from several applications in science and engineering, such as fission nuclear reactors with liquid metal coolant and aluminum casting in metallurgy. In such applications it is of great interest to achieve the control on the fluid state variables through the action of the magnetic Lorentz force. In this thesis we investigate a class of boundary optimal control problems, in which the flow is controlled through the boundary conditions of the magnetic field. Due to their complexity, these problems present various challenges in the definition of an adequate solution approach, both from a theoretical and from a computational point of view. In this thesis we propose a new boundary control approach, based on lifting functions of the boundary conditions, which yields both theoretical and numerical advantages. With the introduction of lifting functions, boundary control problems can be formulated as extended distributed problems. We consider a systematic mathematical formulation of these problems in terms of the minimization of a cost functional constrained by the MHD equations. The existence of a solution to the flow equations and to the optimal control problem are shown. The Lagrange multiplier technique is used to derive an optimality system from which candidate solutions for the control problem can be obtained. In order to achieve the numerical solution of this system, a finite element approximation is considered for the discretization together with an appropriate gradient-type algorithm. A finite element object-oriented library has been developed to obtain a parallel and multigrid computational implementation of the optimality system based on a multiphysics approach. Numerical results of two- and three-dimensional computations show that a possible minimum for the control problem can be computed in a robust and accurate manner.