您的位置： 专家智库 > >

黎升洪

作品数：22 被引量：57H指数：4
供职机构：江西财经大学信息管理学院更多>>
发文基金：国家自然科学基金江西省教育厅科学技术研究项目江西省高等学校教学改革研究课题更多>>
相关领域：自动化与计算机技术经济管理文化科学电子电信更多>>

合作作者

领域

  • 6个自动化与计算...
  • 3个金属学及工艺
  • 3个电子电信
  • 3个理学
  • 2个化学工程
  • 2个医药卫生
  • 2个一般工业技术
  • 2个文化科学
  • 1个经济管理
  • 1个机械工程
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个农业科学
  • 1个社会学

主题

  • 4个形式化
  • 4个WEB服务
  • 3个时态逻辑
  • 2个导航
  • 2个等价
  • 2个形式化方法
  • 2个形式化验证
  • 2个形式化验证方...
  • 2个阳极
  • 2个阳极氧化
  • 1个大型数据
  • 1个大型数据库
  • 1个单臂
  • 1个单分散
  • 1个单分散性
  • 1个单子
  • 1个氮丙啶
  • 1个氮化
  • 1个氮化钛
  • 1个氮化钛薄膜

机构

  • 3个江西财经大学
  • 2个江西省科学院
  • 2个上海大学
  • 1个湖南科技学院
  • 1个上海市计算机...
  • 1个上海科学技术...

资助

  • 5个国家自然科学...
  • 3个江西省自然科...
  • 2个上海市高等学...
  • 2个江西省教育厅...
  • 1个广东省自然科...
  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个湖南省自然科...
  • 1个江西省科技成...
  • 1个上海市自然科...
  • 1个北京市教委科...
  • 1个贵州省自然科...
  • 1个博士科研启动...
  • 1个国家级大学生...
  • 1个湖南省教育厅...
  • 1个湖南省普通高...
  • 1个江西省教育厅...
  • 1个江西省科技支...
  • 1个软件工程国家...
  • 1个上海市教育委...

传媒

  • 2个南昌大学学报...
  • 2个新技术新工艺
  • 2个计算机时代
  • 2个国外金属热处...
  • 2个计算机应用
  • 2个江西科学
  • 2个计算机工程与...
  • 2个计算机与现代...
  • 2个微计算机信息
  • 2个上海大学学报...
  • 2个计算机科学
  • 2个热处理技术与...
  • 1个现代化工
  • 1个化工新型材料
  • 1个应用化工
  • 1个现代涂料与涂...
  • 1个高分子通报
  • 1个科学通报
  • 1个涂料工业
  • 1个东南大学学报...

地区

  • 5个江西省
  • 1个湖南省
  • 1个上海市
共 7 条 记 录，以下是 1-7
缪淮扣
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品相关人物供职机构所获资助研究领域
冯艳清
供职机构：江西财经大学信息管理学院
研究主题：SPIN PROMELA 语义 形式化分析 形式化
发表作品相关人物供职机构所获资助研究领域
罗清胜
供职机构：江西财经大学国际学院
研究主题：OCL USE OCL约束 元模型 对象约束语言
发表作品相关人物供职机构所获资助研究领域
张新林
供职机构：湖南科技学院计算机与通信工程系
研究主题：实验课程 物联网 教学改革 计算机网络 校企合作
发表作品相关人物供职机构所获资助研究领域
王任
供职机构：江西财经大学信息管理学院
研究主题：测试用例生成方法 测试用例 正则表达式 有限状态机 WEB服务
发表作品相关人物供职机构所获资助研究领域
曾国屏
供职机构：江西省科学院
研究主题：有机硅 水性聚氨酯 有机硅改性 倍半硅氧烷 环保型
发表作品相关人物供职机构所获资助研究领域
袁晓月
供职机构：江西省科学院
研究主题：范畴论 分光光度法测定 分光光度法 微量铝 原子吸收
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0