An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

Recombinant expression of Munc18c in a baculovirus system and interaction with syntaxin4

Two protein families that are critical for vesicle transport are the Syntaxin and Munc18/Sec1. families of proteins. These two molecules form a high affinity complex and play an essential role in vesicle docking and fusion. Munc18c was expressed as an N-terminally His-tagged fusion protein from recombinant baculovirus in Sf9 insect cells. His-tagged Munc18c was purified to homogeneity using both cobalt-chelating affinity chromatography and gel filtration chromatography. With this simple two-step protocol, 3.5 mg of purified Munc18c was obtained from a 1 L culture. Further, the N-terminal His-tag could be removed by thrombin cleavage while the tagged protein was bound to metal affinity resin. Recombinant Munc18c produced in this way is functional, in that it forms a stable complex with the SNARE interacting partner, syntaxin4. Thus we have developed a method for producing and purifying large amounts of functional Munc18c-both tagged and detagged-from a baculovirus expression system. We have also developed a method to purify the Munc18c:syntaxin4 complex. These methods will be employed for future functional and structural studies. Crown copyright (C) 2003 Published by Elsevier Inc. All rights reserved.