Abstract Model design is not a linear, one-shot process. It proceeds through refinements and revisions. To effectively support developers in generating model revisions, it desirable to have some automated verify evolvable models. address this problem, we recently proposed adopt topological proofs , which are slices of the original that witness property satisfaction. We implemented TOrPEDO, fram...

Vesicle-associated membrane protein (VAMP) 1 is a 120-amino acid protein which co-purifies with cholinergic synaptic vesicles from the marine ray Torpedo californica. We used the Torpedo gene to isolate two independent classes of VAMP cDNA clones from rat brain. Nucleotide sequence analysis of the cDNAs predicts proteins which are 84 and 75% homologous to Torpedo VAMP-1. The amino-terminal 24-2...

To study the water entry ballistic trajectory of a torpedo, the wind tunnel experiment has been done based on the similarity principle. Then the drag coefficient of the torpedo is got when it enters the water, which is amended by the introduction of continuous supercavitation factor and local cavity effect factor. The vertical plane motion equations are established to get the torpedo’s trajecto...

Torpedo anchors are a new type of anchoring system in deepwater that is much more economical than conventional methods. The dynamic penetration process vitally important to the installation torpedo anchors. Based on spherical cavity expansion theory, response characteristics pressure-locked soils analyzed using Mohr-Coulomb criterion. equations for with bullet-shaped heads established consideri...

The presynaptic plasma membrane (PSPM) of cholinergic nerve terminals was purified from Torpedo electric organ using a large-scale procedure. Up to 500 g of frozen electric organ were fractioned in a single run, leading to the isolation of greater than 100 mg of PSPM proteins. The purity of the fraction is similar to that of the synaptosomal plasma membrane obtained after subfractionation of To...