您的位置： 专家智库 > >

陈志远

作品数：12 被引量：31H指数：3
供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家科技支撑计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

领域

  • 8个自动化与计算...
  • 4个电子电信
  • 4个文化科学
  • 2个经济管理
  • 2个天文地球
  • 1个电气工程
  • 1个交通运输工程
  • 1个政治法律
  • 1个理学

主题

  • 7个形式化
  • 6个形式化验证
  • 5个逻辑
  • 3个形式化验证方...
  • 3个遗传算法
  • 3个异构
  • 3个映射
  • 3个云计算
  • 3个知识库
  • 3个状态空间爆炸
  • 3个自动机
  • 2个导师
  • 2个电路
  • 2个调度
  • 2个形式化方法
  • 2个形式化描述
  • 2个社会承诺
  • 2个时序逻辑
  • 2个综合性能
  • 2个稳态

机构

  • 7个哈尔滨工程大...
  • 2个东北林业大学
  • 1个东北农业大学

资助

  • 8个国家自然科学...
  • 8个中央高校基本...
  • 4个国家科技支撑...
  • 3个中国博士后科...
  • 3个黑龙江省自然...
  • 3个黑龙江省博士...
  • 2个黑龙江省青年...
  • 2个黑龙江省教育...
  • 2个博士科研启动...
  • 2个黑龙江省高等...
  • 1个国家高技术研...
  • 1个国家社会科学...
  • 1个河南省科技攻...
  • 1个黑龙江省博士...
  • 1个黑龙江省科技...
  • 1个教育部留学回...
  • 1个天津市自然科...
  • 1个黑龙江省哲学...
  • 1个黑龙江省新世...
  • 1个中央级公益性...

传媒

  • 6个哈尔滨工程大...
  • 4个电子学报
  • 4个计算机工程
  • 4个计算机工程与...
  • 3个通信学报
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 3个吉林大学学报...
  • 2个武汉大学学报...
  • 2个应用科技
  • 2个计算机研究与...
  • 2个计算机学报
  • 2个计算机应用与...
  • 2个计算机科学
  • 2个吉林大学学报...
  • 2个中南大学学报...
  • 2个计算机教育
  • 1个科学中国人
  • 1个黑龙江教育（...
  • 1个无线电通信技...

地区

  • 8个黑龙江省
共 8 条 记 录，以下是 1-8
纪明宇
供职机构：东北林业大学信息与计算机工程学院
研究主题：计算方法 句子相似度 形式化验证 自动机 时序逻辑
发表作品相关人物供职机构所获资助研究领域
黄少滨
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：聚类算法 聚类 高阶 联合聚类 异构
发表作品相关人物供职机构所获资助研究领域
王海涛
供职机构：东北林业大学信息与计算机工程学院
研究主题：形式化验证 自动机 决策图 状态空间爆炸 MARKOV模型
发表作品相关人物供职机构所获资助研究领域
张国印
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：计算机专业 P2P 数字签名 无线传感器网络 数字水印
发表作品相关人物供职机构所获资助研究领域
白玉
供职机构：哈尔滨工程大学
研究主题：消解 通信 超宽带天线 计算机视觉 CST
发表作品相关人物供职机构所获资助研究领域
张涛
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：插值 反例 并发系统 UML顺序图 SPIN
发表作品相关人物供职机构所获资助研究领域
李艳梅
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：反例 形式化验证 高阶 聚类算法 模糊聚类
发表作品相关人物供职机构所获资助研究领域
刘正
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：非负矩阵分解 加权和 聚类算法 聚类 WEB安全
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0