VZV 入侵神经内分泌系统的形式化B 方法模型.pdfVIP

1 : 1009- 2269( 2010) 02- 0010- 04 * VZV B 唐 宇 ( , 225300) : B 方法有不少应用于生物学方面的成功范例. 首先用B 方法对神经内分泌系统和VZV 进 行描 , 将机器进行验证并通过, 最后对VZV 入侵神经内分泌系统进行了模拟, 演示结果和生物 学的部分研究结果基本一致. : B 方法; VZV; 神经内分泌系统; 模型 : TP 311 : A ST ATU S= { unactive, active} ; 0 CELL = { NE