您的位置: 专家智库 > >

阳雪平

作品数:6 被引量:9H指数:2
供职机构:广州工商学院更多>>
发文基金:江苏省自然科学基金更多>>
相关领域:自动化与计算机技术自然科学总论更多>>

领域

  • 14个自动化与计算...
  • 2个自然科学总论
  • 1个冶金工程
  • 1个电子电信
  • 1个交通运输工程
  • 1个医药卫生
  • 1个农业科学
  • 1个理学

主题

  • 13个B方法
  • 9个形式化
  • 9个形式化方法
  • 9个免疫
  • 5个语言
  • 5个状态图
  • 5个免疫系统
  • 5个UML状态图
  • 5个VC++
  • 5个B语言
  • 5个IMMUNE
  • 5个-B
  • 3个形式化B方法
  • 2个入侵
  • 2个软件开发
  • 2个数据库
  • 2个数学
  • 2个数学基础
  • 2个体液免疫
  • 1个代码

机构

  • 13个扬州大学
  • 1个南京大学
  • 1个华南理工大学
  • 1个中山大学
  • 1个广东松山职业...
  • 1个泰州师范高等...
  • 1个广州工商学院

资助

  • 13个江苏省自然科...
  • 2个国家自然科学...
  • 2个江苏省教育厅...
  • 1个国家重点基础...
  • 1个江苏省“青蓝...
  • 1个江苏省普通高...

传媒

  • 5个吉首大学学报...
  • 5个现代电子技术
  • 5个科学技术与工...
  • 2个九江医学
  • 2个电脑知识与技...
  • 2个电脑知识与技...
  • 2个常熟理工学院...
  • 2个科技信息
  • 1个计算机光盘软...
  • 1个电脑开发与应...
  • 1个计算机时代
  • 1个沿海企业与科...
  • 1个甘肃科技
  • 1个中文信息学报
  • 1个计算机科学
  • 1个天水师范学院...
  • 1个网管员世界
  • 1个兰州工业高等...
  • 1个宁波职业技术...
  • 1个中国制造业信...

地区

  • 13个江苏省
  • 1个广东省
14 条 记 录,以下是 1-10
邹盛荣
供职机构:扬州大学信息工程学院
研究主题:B方法 形式化方法 UML 流感病毒 免疫系统
发表作品相关人物供职机构所获资助研究领域
程宪宝
供职机构:广州工商学院
研究主题:中毒 FTP服务器 批处理 FTP WINDOWS
发表作品相关人物供职机构所获资助研究领域
陈宇
供职机构:扬州大学信息工程学院
研究主题:B方法 形式化方法 B语言 UML状态图 形式化
发表作品相关人物供职机构所获资助研究领域
孟静
供职机构:扬州大学信息工程学院
研究主题:B语言 B方法 UML状态图 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
孙建国
供职机构:扬州大学信息工程学院
研究主题:B语言 B方法 UML状态图 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
腾腾
供职机构:扬州大学信息工程学院
研究主题:B语言 B方法 UML状态图 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
周彬
供职机构:扬州大学信息工程学院
研究主题:B方法 形式化方法 免疫系统
发表作品相关人物供职机构所获资助研究领域
滕腾
供职机构:扬州大学信息工程学院
研究主题:B方法 形式化方法 免疫系统 纹理特征 图像识别
发表作品相关人物供职机构所获资助研究领域
吴铭
供职机构:扬州大学信息工程学院
研究主题:B方法 形式化方法 免疫系统
发表作品相关人物供职机构所获资助研究领域
王凯
供职机构:扬州大学信息工程学院
研究主题:IMMUNE B方法 VC++ 免疫 -B
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0