免疫因子网络的Immune-B模型设计

journal6 ›› 2006, Vol. 27 ›› Issue (3): 27-32.

免疫因子网络的Immune-B模型设计

(扬州大学信息工程学院，江苏扬州 225009)

出版日期:2006-05-25 发布日期:2012-09-11
作者简介:邹盛荣(1968-)，男，江苏省高邮人，扬州大学信息工程学院副教授，主要从事软件工程、B语言与方法等研究.
基金资助:
江苏省自然科学基金资助项目(BK2004052)

Immune-B:The Design of Cytokine Networks Model of Immunology

(College of Information Engineering,Yangzhou University，Yangzhou 225009,Jiangsu China)

Online:2006-05-25 Published:2012-09-11

摘要/Abstract

摘要：用B方法建立了T细胞因子网络的形式化模型，基于这个模型，能够使用VC程序工具验证从动物科学与医学院得来的实验数据是否正确，然后比较了该模型的动态行为与实验结果是否相符.研究表明，生物学问题的复杂性使得不可能单纯依靠实验仪器来完全了解生物学规律，而Immune-B模型的使用，可以帮助解决免疫学和其他生物学领域的一些难题.

关键词： Immune-B, 因子网络, B方法, VC++

Abstract: A formalized model of T-cell cytokine networks is set up by using B method.Based on this model,it is achieved to run verification with VC program and to compare the dynamic behavior of the model to actual experimental data from College of Animal Science and Veterinary Medicine.The results show that the use of Immune-B method can help confront open questions in immunology and probably in other fields of biology,which,because of their complexity,cannot be addressed by standard laboratory techniques alone.

Key words: Immune-B, cytokine network, B method, VC++

邹盛荣, 阳雪平, 郭峰, 王凯, 王金津, 顾小石. 免疫因子网络的Immune-B模型设计[J]. journal6, 2006, 27(3): 27-32.

ZOU Sheng-Rong, YANG Xue-Ping, GUO Feng, WANG Kai, WANG Jin-Jin, GU Xiao-Shi. Immune-B:The Design of Cytokine Networks Model of Immunology[J]. journal6, 2006, 27(3): 27-32.