咨询与建议

限定检索结果

文献类型

  • 1,170 篇 期刊文献
  • 49 篇 会议
  • 1 件 标准
  • 1 篇 成果

馆藏范围

  • 1,221 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 991 篇 工学
    • 454 篇 计算机科学与技术...
    • 354 篇 软件工程
    • 169 篇 机械工程
    • 163 篇 控制科学与工程
    • 136 篇 仪器科学与技术
    • 64 篇 信息与通信工程
    • 56 篇 林业工程
    • 49 篇 农业工程
    • 45 篇 网络空间安全
    • 35 篇 电子科学与技术(可...
    • 28 篇 公安技术
    • 25 篇 电气工程
    • 18 篇 交通运输工程
    • 18 篇 安全科学与工程
    • 17 篇 测绘科学与技术
    • 14 篇 光学工程
    • 14 篇 地质资源与地质工...
    • 14 篇 环境科学与工程(可...
  • 160 篇 管理学
    • 138 篇 管理科学与工程(可...
    • 12 篇 公共管理
  • 94 篇 农学
    • 42 篇 林学
    • 28 篇 农业资源与环境
    • 12 篇 植物保护
  • 89 篇 教育学
    • 89 篇 教育学
  • 89 篇 理学
    • 20 篇 系统科学
    • 18 篇 数学
    • 15 篇 生态学
    • 11 篇 地理学
  • 72 篇 艺术学
    • 72 篇 设计学(可授艺术学...
  • 24 篇 经济学
    • 22 篇 应用经济学
  • 16 篇 法学
  • 12 篇 医学
  • 8 篇 军事学
  • 4 篇 文学
  • 2 篇 哲学
  • 1 篇 历史学

主题

  • 59 篇 深度学习
  • 34 篇 注意力机制
  • 30 篇 卷积神经网络
  • 23 篇 遗传算法
  • 21 篇 特征融合
  • 18 篇 图像分割
  • 18 篇 神经网络
  • 17 篇 特征提取
  • 15 篇 支持向量机
  • 14 篇 云计算
  • 14 篇 目标检测
  • 13 篇 数据挖掘
  • 13 篇 图像加密
  • 13 篇 bp神经网络
  • 12 篇 电容层析成像
  • 12 篇 迁移学习
  • 12 篇 信息隐藏
  • 11 篇 无线传感器网络
  • 11 篇 专家系统
  • 11 篇 图像处理

机构

  • 1,171 篇 东北林业大学
  • 68 篇 哈尔滨工业大学
  • 34 篇 哈尔滨理工大学
  • 27 篇 哈尔滨工程大学
  • 23 篇 北京林业大学
  • 19 篇 黑龙江省林业智能...
  • 17 篇 西南林业大学
  • 16 篇 北华大学
  • 12 篇 黑龙江工程学院
  • 11 篇 牡丹江师范学院
  • 10 篇 黑龙江大学
  • 9 篇 国家林业局哈尔滨...
  • 7 篇 哈尔滨商业大学
  • 7 篇 南京信息工程大学
  • 7 篇 黑龙江省林业生态...
  • 7 篇 哈尔滨师范大学
  • 7 篇 琼州学院
  • 6 篇 南京林业大学
  • 6 篇 呼伦贝尔学院
  • 6 篇 哈尔滨学院

作者

  • 79 篇 任洪娥
  • 56 篇 王霓虹
  • 56 篇 景维鹏
  • 53 篇 王阿川
  • 43 篇 陈宇
  • 42 篇 张健
  • 37 篇 刘亚秋
  • 32 篇 李丹
  • 30 篇 董本志
  • 29 篇 陈广胜
  • 28 篇 邱兆文
  • 28 篇 李艳娟
  • 25 篇 赵鹏
  • 25 篇 高心丹
  • 24 篇 王名扬
  • 24 篇 黄英来
  • 23 篇 李莉
  • 23 篇 郭继峰
  • 22 篇 于慧伶
  • 20 篇 于鸣

语言

  • 1,221 篇 中文
检索条件"机构=东北林业大学计算机与信息工程学院"
1221 条 记 录,以下是1221-1230 订阅
排序:
(Q)格值模型的省略型定理
收藏 引用
北京大学学报(自然科学版) 1999年 第3期35卷 409-413页
作者: 王捍贫 谢惠扬 北京大学计算机系 北京林业大学基础科学与信息工程学院
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。
来源: 评论