B方法在流感病毒入侵免疫系统模型设计中的应用  

The Flue Virus Invades a Formal B Method Model Design of Immune System

作　　者：唐宇 邹盛荣 

机构地区：扬州大学,信息工程学院,江苏,扬州,225009 泰州师范高等专科学校,江苏,泰州,225300 扬州大学,信息工程学院,江苏,扬州,225009

出　　处：《电脑知识与技术（过刊）》2007年第18期1646-1647,共2页Computer Knowledge and Technology

基　　金：江苏省自然科学基金资助项目(BK2004052)

摘　　要：在我们的工作中,B方法已被用在一些极其重要的软件项目中并获得了很大成功.其中有不少应用于生物学方面的成功范例,我们用B方法建立了流感病毒入侵免疫系统因子网络的形式化模型,利用了生物信息学的理念,把免疫系统当成一个网络化的分布式信息系统来研究,以期望通过这样的研究为感疫苗研制、流感诊断和免疫疗法研究提供帮助.In our works,the B method has already been used in some very and important software items and acquired very successful.There aren't a few successful examples which apply in the biology among them,we built up flue virus to invade immune system factor the formal models of the network with the B method,making use of a living creature information to learn of principle,be turned as a network the immune system of the distributes type information system to study,with the expectation pass thus of research for the feeling vaccine develop,flue diagnosis and immunity therapy research provide a help.

关 键 词：B方法 流感病毒 模型设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]