邹盛荣
- 作品数：26 被引量：69H指数：4
- 供职机构：扬州大学信息工程学院更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金江苏省普通高校研究生科研创新计划项目更多>>
- 相关领域：自动化与计算机技术理学医药卫生自然科学总论更多>>
- 基于矩阵分解的二分网络社区挖掘算法被引量：11
- 2014年
- 二分网络社区挖掘对复杂网络有重要的理论意义和应用价值。提出了一个基于矩阵分解的二分网络社区挖掘算法。该算法首先将二分网络分为两个部分,每个部分尽可能保存完整的社区信息,然后分别对两个部分进行递归的拆分,直至不能拆分为止。在拆分的过程中,应用矩阵分解,使得到的分解能与网络的相关矩阵的行空间尽可能接近,即尽可能保持原图的社区信息。实验结果表明,该算法在不需任何额外参数的情况下,不但能较准确地识别实际网络的社区个数,而且可以获得很好的划分效果。
- 陈伯伦陈崚邹盛荣徐秀莲
- 关键词：矩阵分解
- 三维流感病毒免疫模型研究
- 随着人类社会的发展，人类对于自身健康的研究越来越深入，人工免疫系统也成为了生物信息研究领域的热点。传统的动物实验趋于完善，却也出现了研究技术上的难关，研究员们无法通过传统的实验室环境模拟数量化的人体体内环境，更无法用人类...
- 邹盛荣蔡峰朱玉娇杜子骏
- B语言和方法与Z、VDM的比较被引量：40
- 2002年
- 1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:
- 邹盛荣郑国梁
- 关键词：B语言Z语言程序设计语言形式化方法
- 免疫因子网络的Immune-B模型设计被引量：4
- 2006年
- 用B方法建立了T细胞因子网络的形式化模型,基于这个模型,能够使用VC程序工具验证从动物科学与医学院得来的实验数据是否正确,然后比较了该模型的动态行为与实验结果是否相符.研究表明,生物学问题的复杂性使得不可能单纯依靠实验仪器来完全了解生物学规律,而Immune-B模型的使用,可以帮助解决免疫学和其他生物学领域的一些难题.
- 邹盛荣阳雪平郭峰王凯王金津顾小石
- 关键词：B方法VC++
- 形式化B方法数学基础的实例研究
- 2008年
- 对免疫系统中的体液免疫用数学方程来表示抗体产生的规律,再用形式化B方法的抽象机来描述这一方程,所得结论与生物学体液免疫的一般规律相符.
- 陈宇邹盛荣阳雪平
- 关键词：形式化方法B方法体液免疫
- B方法在流感病毒入侵免疫系统模型设计中的应用
- 2007年
- 在我们的工作中,B方法已被用在一些极其重要的软件项目中并获得了很大成功.其中有不少应用于生物学方面的成功范例,我们用B方法建立了流感病毒入侵免疫系统因子网络的形式化模型,利用了生物信息学的理念,把免疫系统当成一个网络化的分布式信息系统来研究,以期望通过这样的研究为感疫苗研制、流感诊断和免疫疗法研究提供帮助.
- 唐宇邹盛荣
- 关键词：B方法流感病毒
- UML模型到B抽象机的转换和实现被引量：2
- 2007年
- 统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明。文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化。实例分析表明,转换是可行的。
- 仲晓敏邹盛荣
- 关键词：UML形式化方法抽象机B方法
- 因子-蛋白网络的实证统计研究被引量：1
- 2009年
- 从复杂网络的角度对免疫系统因子-蛋白网络进行了实证研究。采用二分图及其投影的方法来描述因子-蛋白合作网,得到了平均距离、平均集群系数、集群系数分布、度分布、项目度分布、项目大小分布等统计性质,并根据这些统计性质进行了分析。结论表明这种复杂网络描述有助于发现和理解因子蛋白网络的一些新特性。
- 周塔邹盛荣顾爱华卫丽徐莹莹
- 关键词：二分图统计分布复杂网络
- 基于位置信息的HMIPv6快速切换方案
- 2008年
- 针对RSVP在HMIPv6下域间(inter-handover)切换延时过大,不能满足实时业务的要求。本文提出一种基于位置信息的HMIPv6快速切换方案,即移动节点进行域间切换时,根据移动节点的运动轨迹预测即将去往的接入路由器,从而提前注册及预留资源。
- 章永龙邹盛荣
- 关键词：移动IPV6快速切换资源预留协议
- 形式化B方法和UML的结合被引量：2
- 2008年
- 形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义。文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。
- 徐阳邹盛荣朱勇刘智霞张宏
- 关键词：B方法UML形式化方法
