期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

B Method Model of VZV Intrued Neuroendocrine System
下载PDF
导出
摘要 B方法有不少应用于生物学方面的成功范例.首先用B方法对神经内分泌系统和VZV进行描述,将机器进行验证并通过,最后对VZV入侵神经内分泌系统进行了模拟,演示结果和生物学的部分研究结果基本一致. There are many successful applications of the B method in the biology. The neuroendocrine system and VZV are described by B method. The machine confirms and the simulation to the VZV inrased neuroendocrine system were carried on. It turned out that the simulated results accord with the part of biologic research.
作者 唐宇
机构地区 泰州师范高等专科学校财经系
出处 《兰州工业高等专科学校学报》 2010年第2期10-13,28,共5页 Journal of Lanzhou Higher Polytechnical College
关键词 B方法 VZV 神经内分泌系统 模型 B method VZV neuroendocrine system model
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献5

二级参考文献20

  • 1陈敏.水痘减毒活疫苗的使用建议[J].国外医学（预防．诊断．治疗用生物制品分册）,1996,19(2):58-60. 被引量：3
  • 2葛蒙梁,金祖余.抗水痘-带状疱疹病毒药物研究进展[J].国外医学（皮肤性病学分册）,1996,22(6):344-348. 被引量：18
  • 3王穗 李德钧 等.大连市人群水痘－带状疱疹病毒血清流行病学调查[J].中国公共卫生学报,1998,17(3):186-186.
  • 4齐滕夕美.发生于1岁4个月小儿的带状疱疹－水痘带状疱疹病毒母婴感染的研究[J].国外医学：皮肤性病学分册,1996,22(1):55-56.
  • 5Abrial J R,Lee M K O,Neilson D S.The B-Method. 4th International Symposium of VDM Europe Proceedings, Volume 2, Springer-Verlag, 1991
  • 6Abrial J R.The B-Book, Assigning Programs to Meanings. Cambridge University, 1996
  • 7Morgan C.Programming from Specifications. Prentice Hall, 1994
  • 8Xue Jinyun. Unified Approach for Developing Efficient Algorithmic Programs. Comput. Sci. & Technology, 1997,12(4)
  • 9Cukic B,Bastani F B.Developing Highly Reliable Software:The MAP Approach[R].University of Houston,Tech.Report:UH-CS97-7.1997-07.
  • 10Bastani F B.Cukic B.A Transformational Approach for Measuring Software Reliability[C]//Proc.of the 4th IEEE Intl.Workshop on Evaluation Tech.for Dependable Sys..San Antonio,1995-10.

共引文献91

兰州工业高等专科学校学报
2010年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部