形式化B方法数学基础的实例研究
형식화B방법수학기출적실례연구
The Specified Example Research of Mathematic Basis of Formal B Method
  • 万方数据
    常熟理工学院学报 상숙리공학원학보
    JOURNAL OF CHANGSHU INSTITUTE OF TECHNOLOGY
    2008年 10期 104-107,112 ,共5页

    陈宇%邹盛荣%阳雪平

    진우%추성영%양설평

    形式化方法%B方法%体液免疫 形式化方法%B方法%體液免疫
    형식화방법%B방법%체액면역
    对免疫系统中的体液免疫用数学方程来表示抗体产生的规律,再用形式化B方法的抽象机来描述这一方程,所得结论与生物学体液免疫的一般规律相符.
    대면역계통중적체액면역용수학방정래표시항체산생적규률,재용형식화B방법적추상궤래묘술저일방정,소득결론여생물학체액면역적일반규률상부.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문