您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(NS2012129)

作品数：2 被引量：4H指数：1
相关作者：黄志球陈哲马琳徐丙凤王进更多>>
相关机构：南京航空航天大学广西财经学院更多>>
发文基金：中央高校基本科研业务费专项资金江苏省普通高校研究生科研创新计划项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 7个自动化与计算...
  • 3个机械工程
  • 3个电子电信
  • 3个交通运输工程
  • 3个航空宇航科学...
  • 2个经济管理
  • 2个电气工程
  • 2个文化科学
  • 2个理学
  • 1个建筑科学
  • 1个一般工业技术
  • 1个自然科学总论

主题

  • 5个形式化
  • 5个业务流
  • 5个业务流程执行...
  • 5个执行语言
  • 4个形式化方法
  • 4个形式化验证
  • 4个隐私
  • 3个代码
  • 3个调度
  • 3个多服务
  • 3个多任务
  • 2个代码段
  • 2个代码分析
  • 2个代码生成
  • 2个代数
  • 2个代数方法
  • 2个等价
  • 2个定理
  • 2个定理证明
  • 2个动态故障树

机构

  • 7个南京航空航天...
  • 1个东南大学
  • 1个广西财经学院
  • 1个电子科技大学
  • 1个南京林业大学
  • 1个天津工业大学
  • 1个华南理工大学
  • 1个江苏师范大学
  • 1个南京航空学院

资助

  • 7个国家自然科学...
  • 7个江苏省普通高...
  • 7个中央高校基本...
  • 6个国家高技术研...
  • 6个中国博士后科...
  • 6个江苏省博士后...
  • 4个江苏省自然科...
  • 4个中央级公益性...
  • 4个江苏省研究生...
  • 3个国家重点基础...
  • 3个中国航空科学...
  • 2个湖南省自然科...
  • 2个教育部留学回...
  • 2个上海市高校选...
  • 2个湖南省教育厅...
  • 2个宁波市自然科...
  • 2个国家教育部博...
  • 2个国家重点实验...
  • 2个江苏省高校自...
  • 2个教育部人文社...

传媒

  • 7个计算机科学
  • 6个计算机研究与...
  • 4个计算机工程
  • 4个小型微型计算...
  • 4个软件学报
  • 4个计算机与数字...
  • 4个第十一届全国...
  • 3个电子学报
  • 3个计算机学报
  • 3个计算机工程与...
  • 3个计算机应用
  • 3个计算机应用研...
  • 3个四川大学学报...
  • 3个解放军理工大...
  • 3个吉林大学学报...
  • 2个南京航空航天...
  • 2个计算机应用与...
  • 2个航空学报
  • 2个计算机系统应...
  • 2个计算机工程与...

地区

  • 6个江苏省
  • 1个广西
共 7 条 记 录，以下是 1-7
陈哲
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：源代码 抽象语法树 插桩 内存 词法分析
发表作品相关人物供职机构所获资助研究领域
黄志球
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
发表作品相关人物供职机构所获资助研究领域
唐佳俊
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：WEB服务组合 服务质量 WEB服务 业务流程执行语言 BPEL
发表作品相关人物供职机构所获资助研究领域
王进
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：WEB服务 BPEL WEB服务组合 隐私 云计算
发表作品相关人物供职机构所获资助研究领域
徐丙凤
供职机构：南京林业大学信息科学技术学院
研究主题：故障树 接口自动机 嵌入式软件 形式化方法 信息物理融合系统
发表作品相关人物供职机构所获资助研究领域
马琳
供职机构：南京航空航天大学
研究主题：故障树分析 交叉口信号 故障树 智能交通控制 交通流模型
发表作品相关人物供职机构所获资助研究领域
肖芳雄
供职机构：广西财经学院信息与统计学院
研究主题：进程代数 WEB服务 QOS WEB服务组合 面向对象
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0