您的位置： 专家智库 > >

纪明宇

作品数：12 被引量：36H指数：3
供职机构：东北林业大学信息与计算机工程学院更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家大学生创新性实验计划更多>>
相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>

合作作者

领域

  • 8个自动化与计算...
  • 2个经济管理
  • 2个文化科学
  • 2个理学
  • 1个机械工程
  • 1个交通运输工程
  • 1个医药卫生
  • 1个农业科学

主题

  • 5个时序逻辑
  • 3个形式化
  • 3个形式化验证
  • 3个知识库
  • 3个知识库模型
  • 3个状态空间爆炸
  • 3个状态迁移图
  • 3个逻辑
  • 3个聚类
  • 3个决策图
  • 2个异构
  • 2个自动机
  • 2个综合性能
  • 2个稳态
  • 2个消去
  • 2个离散化
  • 2个马尔可夫
  • 2个马尔可夫过程
  • 2个马尔可夫链
  • 2个聚类算法

机构

  • 6个东北林业大学
  • 2个哈尔滨工程大...
  • 1个东北农业大学
  • 1个哈尔滨工业大...
  • 1个牡丹江师范学...

资助

  • 5个国家自然科学...
  • 5个中央高校基本...
  • 3个黑龙江省自然...
  • 3个国家大学生创...
  • 2个国家科技支撑...
  • 1个黑龙江省博士...
  • 1个中国博士后科...
  • 1个天津市自然科...
  • 1个黑龙江省新世...
  • 1个黑龙江省教育...
  • 1个黑龙江省教育...
  • 1个博士科研启动...
  • 1个国家教育部博...
  • 1个牡丹江市社科...

传媒

  • 4个智能计算机与...
  • 3个计算机工程与...
  • 2个黑龙江大学自...
  • 2个电子学报
  • 2个计算机工程
  • 2个信息技术
  • 2个哈尔滨工程大...
  • 2个吉林大学学报...
  • 1个黑龙江教育（...
  • 1个黑龙江科技信...
  • 1个科技致富向导
  • 1个牡丹江师范学...
  • 1个东北林业大学...
  • 1个通信学报
  • 1个电子世界
  • 1个计算机学报
  • 1个数学物理学报...
  • 1个华中科技大学...
  • 1个计算机应用与...
  • 1个计算机应用

地区

  • 8个黑龙江省
共 8 条 记 录，以下是 1-8
王海涛
供职机构：东北林业大学信息与计算机工程学院
研究主题：形式化验证 自动机 决策图 状态空间爆炸 MARKOV模型
发表作品相关人物供职机构所获资助研究领域
陈志远
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：形式化验证 自动机 非负矩阵分解 加权和 聚类算法
发表作品相关人物供职机构所获资助研究领域
李金凤
供职机构：东北林业大学
研究主题：立体匹配方法 WEB应用 计算机专业 双语教学 高校
发表作品相关人物供职机构所获资助研究领域
李艳梅
供职机构：哈尔滨工程大学计算机科学与技术学院
研究主题：反例 形式化验证 高阶 聚类算法 模糊聚类
发表作品相关人物供职机构所获资助研究领域
王慧
供职机构：东北林业大学信息与计算机工程学院
研究主题：状态迁移图 时序逻辑 知识库模型
发表作品相关人物供职机构所获资助研究领域
滕志霞
供职机构：东北林业大学
研究主题：网格技术 教学改革 蛋白质 药物 生物信息
发表作品相关人物供职机构所获资助研究领域
张谨
供职机构：东北林业大学信息与计算机工程学院
研究主题：状态迁移图 时序逻辑 知识库模型
发表作品相关人物供职机构所获资助研究领域
吴迪
供职机构：东北林业大学信息与计算机工程学院
研究主题：状态迁移图 时序逻辑 知识库模型
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0