邹盛荣

作品数：22被引量：54H指数：3
导出分析报告
供职机构：扬州大学信息工程学院更多>>
发文主题：B方法形式化方法UML流感病毒免疫系统更多>>
发文领域：自动化与计算机技术理学医药卫生自然科学总论更多>>
发文期刊：《计算机技术与发展》《常熟理工学院学报》《科学技术与工程》《现代电子技术》更多>>
所获基金：江苏省自然科学基金国家自然科学基金江苏省普通高校研究生科研创新计划项目国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML到Event-B的系统化转换方法
《计算机技术与发展》2023年第12期113-120,共8页耿雪 邹盛荣 刘晓莹 姚聚义 
国家自然科学基金(61972335)。
在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难...
关键词：统一建模语言 形式化方法 EVENT-B 抽象转换 模型 
基于Agent的流感病毒免疫模型
《南京师范大学学报（工程技术版）》2015年第3期50-54,共5页邹盛荣 朱玉姣 杜子骏 蔡锋 
本文选用一种新的思路,利用Agent计算机模型以及计算机仿真手段来研究免疫系统的宏观性能和某些重要细节,为进一步建立准确完善的免疫系统模型提供有力的依据.与生物组织和试管中的实验相比,计算机免疫模型更容易设计和分析,且可直接获...
关键词：免疫系统 计算机仿真 AGENT模型 流感病毒 
三维流感病毒免疫模型研究
《南京师范大学学报（工程技术版）》2014年第4期58-61,共4页邹盛荣 蔡锋 朱玉姣 杜子骏 
国家自然科学基金(61070047;61070133;61003180)
随着人类社会的发展,人类对于自身健康的研究越来越深入,人工免疫系统也成为了生物信息研究领域的热点.传统的动物实验虽趋于完善,却也出现了研究技术上的难关,研究员们无法通过传统的实验室环境模拟数量化的人体体内环境,更无法用人类...
关键词：人工免疫 计算机仿真 JAVA 3D 流感病毒 
基于矩阵分解的二分网络社区挖掘算法被引量：11
《计算机科学》2014年第2期55-58,101,共5页陈伯伦 陈崚 邹盛荣 徐秀莲 
国家自然科学基金项目(61070047;61070133;61003180);国家重点基础研究发展规划(973)项目(2012CB316003);江苏省自然科学基金项目(BK21010134);江苏省研究生创新基金(CXZZ13_0172)资助
二分网络社区挖掘对复杂网络有重要的理论意义和应用价值。提出了一个基于矩阵分解的二分网络社区挖掘算法。该算法首先将二分网络分为两个部分,每个部分尽可能保存完整的社区信息,然后分别对两个部分进行递归的拆分,直至不能拆分为止...
关键词：二分网络 矩阵分解 社区检测 
基于特征模糊贴近的数据库约束挖掘算法
《计算机科学》2013年第11期208-210,227,共4页王勇 邹盛荣 
国家自然科学基金(61105071)资助
传统的关联规则算法,只考虑了类内的关联性,忽略了类间的相似性特征、高开销的分类过程、耗时的关联过程。提出了数据内间特征模糊贴近分类的数据库约束挖掘算法,其通过数据模糊集间的贴近度描述数据间的一致度,在传统的神经网络挖掘技...
关键词：模糊贴近 数据挖掘 神经网络 
一些实际双层网络之间的合作涌现被引量：5
《复杂系统与复杂性科学》2012年第2期79-83,共5页李凯军 顾长贵 瞿艳青 潘四军 邹盛荣 何大韧 姜玉梅 
国家自然科学基金(10635040;70371071)
为了说明多层网合作涌现及其双层网模型适用于更多领域的系统,报道了在高速-普通公路、大陆-香港电影、理论-实验高能物理科研、两个专业学生的手机联系、神经内分泌-免疫等5个双层网中出现的合作涌现。这些实际调研结果与该双层网模型...
关键词：复杂系统 双层网 合作涌现 
群落划分方法在免疫网络中的比较
《电脑知识与技术》2011年第6X期4432-4435,共4页彭昱静 邹盛荣 陈彦 
为了能够较为准确的寻找大规模复杂网络中的社团结构,很多学者提出了寻找社团结构的算法。论文将三种不同的典型的群落算法用于免疫网络中,经过不同的算法比较,我们发现BC-Finder算法划分的群落跟我们的因子的通道生物功能群落较为贴近,...
关键词：复杂网络 群落算法 免疫网络 二分图 生物信息学 
因子-蛋白网络的实证统计研究被引量：1
《科技信息》2009年第35期82-83,共2页周塔 邹盛荣 顾爱华 卫丽 徐莹莹 
从复杂网络的角度对免疫系统因子-蛋白网络进行了实证研究。采用二分图及其投影的方法来描述因子-蛋白合作网,得到了平均距离、平均集群系数、集群系数分布、度分布、项目度分布、项目大小分布等统计性质,并根据这些统计性质进行了分析...
关键词：因子-蛋白 二分图 统计分布 复杂网络 
中文分词技术在搜索引擎中的探讨
《科技信息》2009年第35期46-46,384,共2页顾爱华 赵泉 周塔 彭昱静 卫丽 徐莹莹 邹盛荣 
本文通过深入探讨中文分词技术在搜索引擎中的算法描述,并详细介绍机器不断地学习新词、动态地维护词典的模型,尝试解决最棘手的处理新词问题,使其更好地为分词提供更智能描述特别是对新词。
关键词：中文分词 搜索引擎 新词 
软件需求获取形式化的案例研究被引量：1
《现代电子技术》2009年第12期45-48,共4页邹盛荣 彭昱静 郭忠伟 刘春秋 周塔 卫丽 顾爱华 
软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的...
关键词：需求获取 UML 用例驱动 B方法 形式化需求 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部