您的位置： 专家智库 > >

朱梧

作品数：10 被引量：35H指数：3
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金国家自然科学基金委员会数学天元基金国家攀登计划更多>>
相关领域：理学自动化与计算机技术自然科学总论更多>>

合作作者

领域

  • 7个理学
  • 5个自动化与计算...
  • 5个文化科学
  • 4个哲学宗教
  • 4个电子电信
  • 3个经济管理
  • 2个动力工程及工...
  • 2个航空宇航科学...
  • 2个一般工业技术
  • 2个自然科学总论
  • 1个天文地球
  • 1个化学工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电气工程
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个医药卫生
  • 1个社会学

主题

  • 5个定理
  • 4个映射
  • 4个语义
  • 4个中介逻辑
  • 3个学科
  • 3个语言
  • 2个代码
  • 2个代数
  • 2个等价
  • 2个等价性
  • 2个地质
  • 2个调度
  • 2个调度策略
  • 2个调度算法
  • 2个信念修正
  • 2个形式语言
  • 2个形式语义
  • 2个形象思维
  • 2个学风
  • 2个英文

机构

  • 6个南京大学
  • 6个南京航空航天...
  • 3个空军气象学院
  • 2个大连理工大学
  • 1个河海大学
  • 1个江苏技术师范...
  • 1个解放军理工大...
  • 1个南京理工大学
  • 1个南京教育学院
  • 1个南京晓庄学院
  • 1个南通大学
  • 1个曲阜师范大学
  • 1个肇庆学院
  • 1个中国人民解放...
  • 1个大连工学院
  • 1个南京航空学院

资助

  • 6个国家自然科学...
  • 4个国家高技术研...
  • 4个国家重点基础...
  • 4个江苏省自然科...
  • 4个中国航空科学...
  • 3个国家重点实验...
  • 3个中央高校基本...
  • 2个霍英东教育基...
  • 2个江苏省计算机...
  • 2个南京大学计算...
  • 2个国家教育部博...
  • 2个国家攀登计划
  • 2个江苏省高校自...
  • 1个安徽省自然科...
  • 1个高等学校优秀...
  • 1个广东省自然科...
  • 1个国防基础科研...
  • 1个国防科技技术...
  • 1个江苏省青年科...
  • 1个中国博士后科...

传媒

  • 5个南京航空航天...
  • 5个计算机学报
  • 4个Journa...
  • 4个Transa...
  • 3个电子与信息学...
  • 3个计算机研究与...
  • 3个数据采集与处...
  • 3个自然杂志
  • 3个计算机工程与...
  • 3个计算机应用与...
  • 3个自然辩证法研...
  • 3个计算机应用
  • 3个计算机应用研...
  • 3个小型微型计算...
  • 3个软件学报
  • 3个计算机工程与...
  • 3个解放军理工大...
  • 2个数学教育学报
  • 2个模糊系统与数...
  • 2个电子学报

地区

  • 6个江苏省
  • 1个辽宁省
共 7 条 记 录，以下是 1-7
肖奚安
供职机构：解放军理工大学理学院
研究主题：中介逻辑 公理集合论 中介 命题演算 数理逻辑
发表作品相关人物供职机构所获资助研究领域
王建东
供职机构：南京理工大学
研究主题：数据挖掘 机场噪声 关联规则 时间序列 聚类
发表作品相关人物供职机构所获资助研究领域
陈桂正
供职机构：南京晓庄学院行知学院
研究主题：实无限 艺术 HILBERT CANTOR 学科渗透
发表作品相关人物供职机构所获资助研究领域
周勇
供职机构：南京航空航天大学
研究主题：AADL 安全关键软件 自动生成方法 L模型 AAD
发表作品相关人物供职机构所获资助研究领域
毛宇光
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：关系数据库 数据库 数据模型 协调数据库 中介逻辑
发表作品相关人物供职机构所获资助研究领域
朱朝晖
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：人工智能 常识推理 情境演算 表示定理 UML
发表作品相关人物供职机构所获资助研究领域
徐利治
供职机构：大连理工大学数学科学学院
研究主题：数学 实无限 数学教育 数学方法论 抽象思维
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0