Virtual Electrophysiology with SPatch

SPatch is an open source virtual laboratory designed to perform simulated electrophysiological experiments without the technical difficulties inherent to laboratory work. It provides the core equipment necessary for recording neuronal activity and allows the user to install the equipment, design their own protocols, prepare solutions to bathe the preparation or to fill the electrodes, and gather data. Assistance is provided for most steps with predefined components that are appropriate to a range of standard procedures. Experiments that can be performed with SPatch at present concern the study of voltage-gated channels in isolated neurons. This allows understanding the ionic mechanisms of Na+ and Ca2+ action potentials, after spike hyperpolarization, pacemaker tonic or bursting activity of neurons, delayed or sustained or adaptive firing of neurons in response to a depolarization, spontaneous depolarization of the membrane following an hyperpolarization, etc. In an educational context, the main interest of SPatch is to allow students to focus on the concepts and thought processes of electrophysiological investigation without the high equipment costs and extensive training required to perform laboratory work. It can be used to acquaint students with the relevant procedures before starting work in a real lab, or to give students an understanding of single neuron behavior and the ways it can be studied without requiring practical work. We illustrate the function and use of SPatch, explore educational issues arising from the inevitable differences between simulated and real laboratory work, and outline possible improvements.

SNNAP: A Tool for Teaching Neuroscience

Simulation tools aid in learning neuroscience by providing the student with an interactive environment to carry out simulated experiments and test hypotheses. The field of neuroscience is well suited for the use of simulation tools since nerve cell signaling can be described by mathematical equations and solved by computer. Neural signaling entails the propagation of electrical current along nerve membrane and transmission to neighboring neurons through synaptic connections. Action potentials and synaptic transmission can be simulated and results displayed for visualization and analysis. The neurosimulator SNNAP (Simulator for Neural Networks and Action Potentials) is a simulation environment that provides users with editors for model building, simulator engine and visual display editor. This paper presents several modeling examples that illustrate some of the capabilities and features of SNNAP. First, the Hodgkin-Huxley (HH) model is presented and the threshold phenomenon is illustrated. Second, small neural networks are described with HH models using various synaptic connections available with SNNAP. Synaptic connections may be modulated through facilitation or depression with SNNAP. A study of vesicle pool dynamics is presented using an AMPA receptor model. Finally, a central pattern generator model of the Aplysia feeding circuit is illustrated as an example of a complex network that may be studied with SNNAP. Simulation code is provided for each case study described and tasks are suggested for further investigation.

Realistic Single Cell Modeling – from Experiment to Simulation

This tutorial gives a step by step explanation of how one uses experimental data to construct a biologically realistic multicompartmental model. Special emphasis is given on the many ways that this process can be imprecise. The tutorial is intended for both experimentalists who want to get into computer modeling and for computer scientists who use abstract neural network models but are curious about biological realistic modeling. The tutorial is not dependent on the use of a specific simulation engine, but rather covers the kind of data needed for constructing a model, how they are used, and potential pitfalls in the process.

Introduction to Realistic Neural Modeling

This document corresponds to the tutorial on realistic neural modeling given by David Beeman at WAM-BAMM*05, the first annual meeting of the World Association of Modelers (WAM) Biologically Accurate Modeling Meeting (BAMM) on March 31, 2005 in San Antonio, TX. Part I - Introduction to Realistic Neural Modeling for the Beginner: This is a general overview and introduction to compartmental cell modeling and realistic network simulation for the beginner. Although examples are drawn from GENESIS simulations, the tutorial emphasizes the general modeling approach, rather than the details of using any particular simulator. Part II - Getting Started with Modeling Using GENESIS: This builds upon the background of Part I to describe some details of how this approach is used to construct cell and network simulations in GENESIS. It serves as an introduction and roadmap to the extended hands-on GENESIS Modeling Tutorial.

Modeling Calcium Concentration and Biochemical Reactions

Almost all regions of the brain receive one or more neuromodulatory inputs, and disrupting these inputs produces deficits in neuronal function. Neuromodulators act through intracellular second messenger pathways to influence the electrical properties of neurons, integration of synaptic inputs, spatio-temporal firing dynamics of neuronal networks, and, ultimately, systems behavior. Second messengers pathways consist of series of bimolecular reactions, enzymatic reactions, and diffusion. Calcium is the second messenger molecule with the most effectors, and thus is highly regulated by buffers, pumps and intracellular stores. Computational modeling provides an innovative, yet practical method to evaluate the spatial extent, time course and interaction among second messenger pathways, and the interaction of second messengers with neuron electrical properties. These processes occur both in compartments where the number of molecules are large enough to describe reactions deterministically (e.g. cell body), and in compartments where the number of molecules is small enough that reactions occur stochastically (e.g. spines). – In this tutorial, I explain how to develop models of second messenger pathways and calcium dynamics. The first part of the tutorial explains the equations used to model bimolecular reactions, enzyme reactions, calcium release channels, calcium pumps and diffusion. The second part explains some of the GENESIS, Kinetikit and Chemesis objects that implement the appropriate equations. In depth explanation of calcium and second messenger models is provided by reviewing code, both in XPP, Chemesis and Kinetikit, that implements simple models of calcium dynamics and second messenger cascades.

Teaching Cognitive Modeling Using PDP++

PDP++ is a freely available, open source software package designed to support the development, simulation, and analysis of research-grade connectionist models of cognitive processes. It supports most popular parallel distributed processing paradigms and artificial neural network architectures, and it also provides an implementation of the LEABRA computational cognitive neuroscience framework. Models are typically constructed and examined using the PDP++ graphical user interface, but the system may also be extended through the incorporation of user-written C++ code. This article briefly reviews the features of PDP++, focusing on its utility for teaching cognitive modeling concepts and skills to university undergraduate and graduate students. An informal evaluation of the software as a pedagogical tool is provided, based on the author’s classroom experiences at three research universities and several conference-hosted tutorials.

The MIRELA framework: modeling and analyzing mixed reality applications using timed automata

Mixed Reality (MR) aims to link virtual entities with the real world and has many applications such as military and medical domains [JBL+00, NFB07]. In many MR systems and more precisely in augmented scenes, one needs the application to render the virtual part accurately at the right time. To achieve this, such systems acquire data related to the real world from a set of sensors before rendering virtual entities. A suitable system architecture should minimize the delays to keep the overall system delay (also called end-to-end latency) within the requirements for real-time performance. In this context, we propose a compositional modeling framework for MR software architectures in order to specify, simulate and validate formally the time constraints of such systems. Our approach is first based on a functional decomposition of such systems into generic components. The obtained elements as well as their typical interactions give rise to generic representations in terms of timed automata. A whole system is then obtained as a composition of such defined components. To write specifications, a textual language named MIRELA (MIxed REality LAnguage) is proposed along with the corresponding compilation tools. The generated output contains timed automata in UPPAAL format for simulation and verification of time constraints. These automata may also be used to generate source code skeletons for an implementation on a MR platform. The approach is illustrated first on a small example. A realistic case study is also developed. It is modeled by several timed automata synchronizing through channels and including a large number of time constraints. Both systems have been simulated in UPPAAL and checked against the required behavioral properties.

Design, Simulation und Erprobung einer aktiven Sitzaufhängung für Nutzfahrzeuge

Nutzfahrzeuge müssen oft durch sehr unebenes Gelände gefahren werden. In diesem Fall wird der Fahrer starken Vibrationen ausgesetzt, die von der Fahrzeugkarosserie durch die Sitzaufhängung auf ihn wirken. Um diese Schwingungen zu verringern, werden die Sitzaufhängungen in der Regel mit Feder-Dämpfer-Systemen ausgerüstet. Jedoch erreichen die passiven Systeme vor allem bei niederfrequenten Schwingungen ihre physikalischen Grenzen. Eine wesentliche Verbesserung des Sitzkomforts kann unter solchen Anregungsbedingungen nur mit einer aktiven Sitzaufhängung erreicht werden. In diesem Beitrag wird ein neuartiges aktives System für die Sitzaufhängung auf Basis von elektrorheologischen Flüssigkeiten vorgestellt. Außerdem werden die theoretischen Grundlagen für die Modellierung der beschriebenen aktiven Sitzaufhängung dargestellt. Anschließend werden die Simulationsergebnisse mit den Messergebnissen unter realen Betriebsbedingungen verglichen. Die Repräsentation der Ergebnisse mit Hilfe der im Bereich der Sitztechnik weit verbreiteten SEAT-Werten (Seat Effective Amplitude Transmissibility) zeigt das Potenzial des entwickelten Systems zur aktiven Reduktion der Schwingungsbelastung des Fahrers und ermöglicht seine objektive Bewertung.