唐宇
- 作品数：6 被引量：3H指数：1
- 供职机构：泰州师范高等专科学校更多>>
- 发文基金：江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于B方法和构件技术的形式化开发方法
- 2008年
- 构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。
- 唐宇
- 关键词：B方法形式化开发方法
- VZV入侵神经内分泌系统的形式化B方法模型
- 2010年
- B方法有不少应用于生物学方面的成功范例.首先用B方法对神经内分泌系统和VZV进行描述,将机器进行验证并通过,最后对VZV入侵神经内分泌系统进行了模拟,演示结果和生物学的部分研究结果基本一致.
- 唐宇
- 关键词：B方法VZV神经内分泌系统
- B方法在流感病毒入侵免疫系统模型设计中的应用
- 2007年
- B方法有不少应用于生物学方面的成功范例,笔者用B方法建立流感病毒入侵免疫系统因子网络的形式化模型,利用生物信息学理念,把免疫系统当成一个网络化的分布式信息系统,以期通过这样的方式研究为流感疫苗研制、流感诊断和免疫疗法研究提供帮助。
- 唐宇邹盛荣
- 关键词：B方法流感病毒
- B方法在流感病毒入侵免疫系统模型设计中的应用
- 2007年
- 在我们的工作中,B方法已被用在一些极其重要的软件项目中并获得了很大成功.其中有不少应用于生物学方面的成功范例,我们用B方法建立了流感病毒入侵免疫系统因子网络的形式化模型,利用了生物信息学的理念,把免疫系统当成一个网络化的分布式信息系统来研究,以期望通过这样的研究为感疫苗研制、流感诊断和免疫疗法研究提供帮助.
- 唐宇邹盛荣
- 关键词：B方法流感病毒
- 一种基于形式化B方法的软件构件模型被引量：1
- 2009年
- 提出了一种基于形式化B方法的软件构件模型,分基于检索的部分、基于学习的部分和基于组装与演化的部分来依次展现构件信息,并结合实例给出了使用B语言来描述构件的具体功能和行为规约的具体运用。
- 唐宇
- 关键词：形式化方法B方法软件构件模型
- 基于B方法验证技术的应用研究被引量：2
- 2007年
- 形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。
- 邹盛荣滕腾阳雪平唐宇吴铭周彬
- 关键词：B方法形式化方法免疫系统
