| 形式化B方法数学基础的实例研究 |
| |
| 引用本文： | 陈宇,邹盛荣,阳雪平.形式化B方法数学基础的实例研究[J].常熟理工学院学报,2008,22(10):104-107. |
| |
| 作者姓名： | 陈宇 邹盛荣 阳雪平 |
| |
| 作者单位： | 扬州大学,信息工程学院,江苏,扬州,225009 |
| |
| 摘 要： | 对免疫系统中的体液免疫用数学方程来表示抗体产生的规律，再用形式化B方法的抽象机来描述这一方程，所得结论与生物学体液免疫的一般规律相符．
|
| 关 键 词： | 形式化方法 B方法 体液免疫 |
The Specified Example Research of Mathematic Basis of Formal B Method |
| |
| CHEN Yu,ZOU Sheng-rong,YANG Xue-ping.The Specified Example Research of Mathematic Basis of Formal B Method[J].Journal of Changshu Institute of Technology,2008,22(10):104-107. |
| |
| Authors: | CHEN Yu ZOU Sheng-rong YANG Xue-ping |
| |
| Institution: | CHEN Yu,ZOU Sheng-rong,YANG Xue-ping (Institute of Information Technology,YangZhou University,Yangzhou 250009,China) |
| |
| Abstract: | B method is one of the few practical formal methods.It is based on the strict mathematics and pierces the process of the whole software development.It is especially useful in the development of the large complicated system.It adopts a strict mathematics test,promising the accuracy of each one step.This paper describes the rule of the production of antibody in the humoral immunity of immune system with mathematic formula,and then describes the formula with abstract machine of formal b method.We get the resul... |
| |
| Keywords: | formal method B method humoral immunity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
