您的位置: 专家智库 > >

湖南省自然科学基金(09JJ3114)

作品数:4 被引量:14H指数:2
相关作者:袁敏黄志球李祥胡军曹子宁更多>>
相关机构:南京航空航天大学湘南学院更多>>
发文基金:湖南省自然科学基金国家高技术研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 7个自动化与计算...
  • 4个机械工程
  • 4个理学
  • 3个电子电信
  • 3个交通运输工程
  • 3个文化科学
  • 2个经济管理
  • 2个航空宇航科学...
  • 2个一般工业技术
  • 2个自然科学总论
  • 1个哲学宗教
  • 1个生物学
  • 1个建筑科学
  • 1个医药卫生
  • 1个政治法律

主题

  • 7个形式化
  • 7个事务
  • 6个形式化方法
  • 5个形式化建模
  • 5个形式化验证
  • 5个业务流
  • 4个等价
  • 4个形式化建模与...
  • 4个业务流程集成
  • 4个事务性
  • 3个调度
  • 3个多核
  • 3个多业务
  • 3个映射
  • 3个用户
  • 3个事务处理
  • 2个代码
  • 2个代数
  • 2个代数方法
  • 2个递归

机构

  • 7个南京航空航天...
  • 2个东南大学
  • 1个广西财经学院
  • 1个电子科技大学
  • 1个南京大学
  • 1个清华大学
  • 1个天津工业大学
  • 1个华南理工大学
  • 1个湘南学院
  • 1个中国科学院软...
  • 1个计算机软件新...
  • 1个江苏师范大学
  • 1个南京航空学院

资助

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

传媒

  • 6个小型微型计算...
  • 5个计算机研究与...
  • 5个软件学报
  • 5个计算机科学与...
  • 4个计算机集成制...
  • 4个南京航空航天...
  • 4个计算机学报
  • 4个计算机科学
  • 4个第一届全国服...
  • 3个电子学报
  • 3个计算机工程与...
  • 3个计算机工程
  • 3个计算机应用与...
  • 2个东南大学学报...
  • 2个计算机应用
  • 2个计算机应用研...
  • 2个航空学报
  • 2个计算机工程与...
  • 2个控制与决策
  • 2个应用科学学报

地区

  • 6个江苏省
  • 1个广西
7 条 记 录,以下是 1-7
袁敏
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:WEB服务 PI-演算 事务 数据挖掘 WEB
发表作品相关人物供职机构所获资助研究领域
黄志球
供职机构:南京航空航天大学
研究主题:WEB服务 抽象语法树 隐私 代码 本体
发表作品相关人物供职机构所获资助研究领域
李祥
供职机构:南京航空航天大学
研究主题:变换方法 车道线检测 消失点 自适应逆 抽样技术
发表作品相关人物供职机构所获资助研究领域
闫艳
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:PI-演算 WEB服务 参与者 建模方法 事务
发表作品相关人物供职机构所获资助研究领域
胡军
供职机构:南京航空航天大学
研究主题:故障树 形式化方法 SYSML 安全关键系统 接口自动机
发表作品相关人物供职机构所获资助研究领域
肖芳雄
供职机构:广西财经学院信息与统计学院
研究主题:进程代数 WEB服务 QOS WEB服务组合 面向对象
发表作品相关人物供职机构所获资助研究领域
曹子宁
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:进程代数 信息物理融合系统 WEB服务 AADL WEB
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0