唐宇

作品数:6被引量:1H指数:1
导出分析报告
供职机构:泰州师范高等专科学校更多>>
发文主题:B方法免疫系统形式化方法形式化B方法病毒入侵更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《天水师范学院学报》《现代电子技术》《井冈山大学学报(自然科学版)》更多>>
所获基金:江苏省自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
VZV入侵神经内分泌系统的形式化B方法模型
《兰州工业高等专科学校学报》2010年第2期10-13,28,共5页唐宇 
B方法有不少应用于生物学方面的成功范例.首先用B方法对神经内分泌系统和VZV进行描述,将机器进行验证并通过,最后对VZV入侵神经内分泌系统进行了模拟,演示结果和生物学的部分研究结果基本一致.
关键词:B方法 VZV 神经内分泌系统 模型 
一种基于形式化B方法的软件构件模型被引量:1
《天水师范学院学报》2009年第2期87-89,共3页唐宇 
提出了一种基于形式化B方法的软件构件模型,分基于检索的部分、基于学习的部分和基于组装与演化的部分来依次展现构件信息,并结合实例给出了使用B语言来描述构件的具体功能和行为规约的具体运用。
关键词:形式化方法 B方法 软件构件模型 
一种基于B方法和构件技术的形式化开发方法
《井冈山大学学报(自然科学版)》2008年第4期21-23,共2页唐宇 
构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。
关键词:B方法 构件技术 形式化开发方法 
B方法在流感病毒入侵免疫系统模型设计中的应用
《九江医学》2007年第4期1-3,10,共4页唐宇 邹盛荣 
江苏省自然科学基金资助项目(BK2004052)
B方法有不少应用于生物学方面的成功范例,笔者用B方法建立流感病毒入侵免疫系统因子网络的形式化模型,利用生物信息学理念,把免疫系统当成一个网络化的分布式信息系统,以期通过这样的方式研究为流感疫苗研制、流感诊断和免疫疗法研究提...
关键词:B方法 流感病毒 模型设计 
B方法在流感病毒入侵免疫系统模型设计中的应用
《电脑知识与技术(过刊)》2007年第18期1646-1647,共2页唐宇 邹盛荣 
江苏省自然科学基金资助项目(BK2004052)
在我们的工作中,B方法已被用在一些极其重要的软件项目中并获得了很大成功.其中有不少应用于生物学方面的成功范例,我们用B方法建立了流感病毒入侵免疫系统因子网络的形式化模型,利用了生物信息学的理念,把免疫系统当成一个网络化的分...
关键词:B方法 流感病毒 模型设计 
基于B方法验证技术的应用研究
《现代电子技术》2007年第19期131-134,共4页邹盛荣 滕腾 阳雪平 唐宇 吴铭 周彬 
江苏省自然科学基金项目(BK2004052)"面向软件服务协同的agent结构研究";扬州大学自然科学基金(KK0513109)"混沌系统的反控制与脉冲同步及其应用"的资助
形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了...
关键词:B方法 形式化方法 因子网络 验证 免疫系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部