您的位置: 专家智库 > >

国家自然科学基金(69783006)

作品数:8 被引量:33H指数:5
相关作者:薛锦云李云清杨庆红谢武平万松松更多>>
相关机构:江西师范大学江西农业大学中国科学院软件研究所更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 9个自动化与计算...
  • 7个文化科学
  • 5个经济管理
  • 4个电子电信
  • 3个理学
  • 2个农业科学
  • 1个哲学宗教
  • 1个化学工程
  • 1个社会学
  • 1个政治法律
  • 1个语言文字

主题

  • 7个PAR方法
  • 6个形式化
  • 6个循环不变式
  • 6个语义
  • 4个递归
  • 3个递归程序
  • 3个递归算法
  • 3个递推
  • 3个递推关系
  • 3个定理证明
  • 3个形式化推导
  • 2个代理
  • 2个代理平台
  • 2个代码
  • 2个递推法
  • 2个定理
  • 2个定理证明器
  • 2个对称加密
  • 2个多代理
  • 2个信息系统

机构

  • 8个江西师范大学
  • 2个武汉大学
  • 2个江西农业大学
  • 2个江西省高性能...
  • 1个南昌大学
  • 1个上海交通大学
  • 1个江西科技师范...
  • 1个中国科学院软...

资助

  • 9个国家自然科学...
  • 6个国家重点基础...
  • 5个江西省教育厅...
  • 5个江西省高等学...
  • 4个江西省自然科...
  • 4个国际科技合作...
  • 3个国家高技术研...
  • 2个国家重大基础...
  • 2个江西省教育科...
  • 2个江西省教育厅...
  • 2个江西师范大学...
  • 1个江西省软科学...
  • 1个江西省研究生...
  • 1个博士科研启动...
  • 1个江西省教育科...
  • 1个江西省教育厅...
  • 1个江西省科技厅...
  • 1个江西省科技支...
  • 1个江西省社会科...
  • 1个江西省社会科...

传媒

  • 6个江西师范大学...
  • 5个计算机研究与...
  • 5个计算机工程与...
  • 5个计算机工程
  • 5个计算机与现代...
  • 4个微计算机信息
  • 4个计算机教育
  • 4个计算机技术与...
  • 3个微电子学与计...
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 3个计算机工程与...
  • 3个昆明理工大学...
  • 3个计算机科学
  • 3个第二届全国高...
  • 3个第二届中国计...
  • 2个安徽农业科学
  • 2个计算机学报
  • 2个计算机时代
  • 2个江西科学

地区

  • 8个江西省
  • 1个湖北省
9 条 记 录,以下是 1-9
薛锦云
供职机构:江西师范大学
研究主题:PAR方法 程序设计 形式化方法 循环不变式 PAR
发表作品相关人物供职机构所获资助研究领域
李云清
供职机构:江西师范大学计算机信息工程学院
研究主题:程序设计 教学改革 循环不变式 教学模式 数据结构
发表作品相关人物供职机构所获资助研究领域
杨庆红
供职机构:江西师范大学计算机信息工程学院
研究主题:循环不变式 程序设计 教学改革 递归问题 递推关系
发表作品相关人物供职机构所获资助研究领域
万松松
供职机构:江西师范大学
研究主题:软件测试 循环不变式 并行测试 测试用例 PAR方法
发表作品相关人物供职机构所获资助研究领域
李欣
供职机构:江西师范大学
研究主题:JAVA语言 JAVA 乙基 2-乙基己醇 癸二酸
发表作品相关人物供职机构所获资助研究领域
刘珊慧
供职机构:江西农业大学计算机与信息工程学院
研究主题:本体 农业院校 农业信息检索 语义检索 信息平台建设
发表作品相关人物供职机构所获资助研究领域
揭安全
供职机构:江西师范大学计算机信息工程学院
研究主题:教学改革 并发 APLA-JAVA 可重用部件库 PAR方法
发表作品相关人物供职机构所获资助研究领域
谢武平
供职机构:武汉大学
研究主题:PAR方法 APLA RA 可靠性研究 测试用例
发表作品相关人物供职机构所获资助研究领域
杨乐
供职机构:江西农业大学计算机与信息工程学院
研究主题:水稻根系 可视化 根系 水稻 学习者
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0