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

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

在我们的工作中,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.