您的位置: 专家智库 > >

化志章

作品数:20 被引量:60H指数:5
供职机构:江西师范大学计算机信息工程学院更多>>
发文基金:国家自然科学基金江西省教育厅科学技术研究项目江西省高等学校教学改革研究课题更多>>
相关领域:自动化与计算机技术文化科学更多>>

领域

  • 13个自动化与计算...
  • 10个文化科学
  • 7个电子电信
  • 7个理学
  • 6个经济管理
  • 6个哲学宗教
  • 6个生物学
  • 6个天文地球
  • 6个化学工程
  • 6个矿业工程
  • 6个冶金工程
  • 6个金属学及工艺
  • 6个机械工程
  • 6个动力工程及工...
  • 6个电气工程
  • 6个建筑科学
  • 6个水利工程
  • 6个轻工技术与工...
  • 6个交通运输工程
  • 6个航空宇航科学...

主题

  • 11个递归
  • 11个形式化
  • 11个PAR方法
  • 10个递归算法
  • 10个非递归
  • 10个非递归算法
  • 9个形式化推导
  • 9个循环不变式
  • 9个解法
  • 9个可靠性
  • 8个递推
  • 8个形式化方法
  • 8个数据结构
  • 8个可重用
  • 8个教学
  • 8个PAR
  • 7个递推关系
  • 6个多态
  • 6个多态性
  • 6个设计模式

机构

  • 15个江西师范大学
  • 10个中国科学院软...
  • 8个江西省高性能...
  • 6个东北大学
  • 6个贵州大学
  • 6个河海大学
  • 5个安徽医科大学
  • 5个北京中医药大...
  • 5个成都理工大学
  • 5个佛山科学技术...
  • 5个广东药学院
  • 5个广东医学院
  • 5个贵州师范大学
  • 5个河北师范大学
  • 5个安徽理工大学
  • 4个安徽工业大学
  • 4个北方工业大学
  • 4个北方民族大学
  • 4个北京工商大学
  • 4个广州医学院

作者

  • 15个揭安全
  • 15个化志章
  • 12个杨庆红
  • 12个薛锦云
  • 11个李云清
  • 9个石海鹤
  • 7个肖美华
  • 7个王昌晶
  • 7个万剑怡
  • 6个钟林辉
  • 6个胡启敏
  • 6个郑宇军
  • 5个严宜明
  • 5个王岚
  • 5个游珍
  • 5个左正康
  • 4个严青松
  • 4个乐毅敏
  • 3个张晓华
  • 3个丁之旺

传媒

  • 11个江西师范大学...
  • 10个计算机工程与...
  • 9个计算机应用研...
  • 9个计算机工程与...
  • 8个计算机研究与...
  • 8个计算机工程与...
  • 8个计算机工程
  • 8个微电子学与计...
  • 7个计算机与现代...
  • 6个化工科技
  • 6个生态学报
  • 6个心理学报
  • 5个分析化学
  • 5个工业安全与环...
  • 5个植物生态学报
  • 5个林业科学
  • 5个计算机安全
  • 5个岩石矿物学杂...
  • 4个植物学通报
  • 3个人民论坛
15 条 记 录,以下是 1-10
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60273092)
基于PAR方法的算法设计形式化和自动化研究
相关领域:自动化与计算机技术 文化科学 兵器科学与技术
相关作品相关人物相关机构相关资助相关领域
江西省教育厅科学技术研究项目
相关领域:自动化与计算机技术 医药卫生 理学 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
江西省教育厅科学技术研究项目(2005-90)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
江西省教育厅科学技术研究项目(GJJ09142)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
江西省高等学校教学改革研究课题
相关领域:文化科学 经济管理 自动化与计算机技术 语言文字 医药卫生
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划(2003CCA02800)
相关领域:自动化与计算机技术 电子电信
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划
相关领域:天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家重大基础研究前期研究专项
相关领域:理学 生物学 农业科学 天文地球 医药卫生
相关作品相关人物相关机构相关资助相关领域
江西省自然科学基金
相关领域:理学 医药卫生 自动化与计算机技术 农业科学 金属学及工艺
相关作品相关人物相关机构相关资助相关领域
共2页<12>
聚类工具0