首页> 中文期刊> 《常熟理工学院学报》 >形式化B方法数学基础的实例研究

形式化B方法数学基础的实例研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

对免疫系统中的体液免疫用数学方程来表示抗体产生的规律,再用形式化B方法的抽象机来描述这一方程,所得结论与生物学体液免疫的一般规律相符.

著录项

来源
《常熟理工学院学报》 |2008年第10期|104-107112|共5页
作者
陈宇; 邹盛荣; 阳雪平;
展开▼
作者单位

扬州大学,信息工程学院,江苏,扬州,225009;

扬州大学,信息工程学院,江苏,扬州,225009;

扬州大学,信息工程学院,江苏,扬州,225009;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
形式化方法; B方法; 体液免疫;

相似文献

中文文献
外文文献
专利

1. 内涵逻辑的建构及其形式化的问题——论人工智能机的逻辑基础与数学基础 [J] . 刘彦伟 ,黄国钧 ,方醒世 . 河南师范大学学报：自然科学版 . 1993,第3期
2. 安全关键系统需求形式化建模分析实例研究* [J] . 张维珺 ,胡军 ,李宛倩 . 计算机科学与探索 . 2019,第008期
3. UML状态图到形式化B语言转换的实例研究 [J] . 邹盛荣 ,孟静 ,阳雪平 . 科学技术与工程 . 2007,第024期
4. 从内涵逻辑形式化建构论人工智能机的逻辑与数学基础 [J] . 杨朝晖 . 光盘技术 . 2007,第001期
5. 形式化方法的理论基础专题前言 [J] . 傅育熙 ,李国强 ,田聪 . 软件学报 . 2018,第6期
6. AADL行为模型形式化分析方法的实例研究 [C] . 滕燕 ,赵永望 . 全国抗恶劣环境计算机第二十六届学术年会 . 2016
7. 算法形式化方法在三类组合数学问题求解中的应用研究 [A] . 游颖 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号