咨询与建议

限定检索结果

文献类型

  • 4,658 篇 学位论文
  • 2,229 篇 期刊文献
  • 158 篇 会议

馆藏范围

  • 7,045 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6,041 篇 工学
    • 2,225 篇 计算机科学与技术...
    • 2,191 篇 软件工程
    • 1,705 篇 机械工程
    • 925 篇 控制科学与工程
    • 791 篇 仪器科学与技术
    • 605 篇 电子科学与技术(可...
    • 560 篇 电气工程
    • 535 篇 信息与通信工程
    • 268 篇 网络空间安全
    • 267 篇 交通运输工程
    • 260 篇 材料科学与工程(可...
    • 230 篇 动力工程及工程热...
    • 190 篇 航空宇航科学与技...
    • 175 篇 建筑学
    • 132 篇 土木工程
    • 121 篇 公安技术
    • 95 篇 化学工程与技术
    • 67 篇 光学工程
    • 56 篇 船舶与海洋工程
  • 1,285 篇 管理学
    • 1,081 篇 管理科学与工程(可...
    • 177 篇 工商管理
    • 90 篇 公共管理
  • 548 篇 理学
    • 263 篇 数学
    • 135 篇 系统科学
    • 86 篇 物理学
  • 319 篇 经济学
    • 292 篇 应用经济学
    • 50 篇 理论经济学
  • 197 篇 教育学
    • 156 篇 教育学
  • 169 篇 艺术学
    • 153 篇 设计学(可授艺术学...
  • 87 篇 医学
  • 80 篇 法学
  • 66 篇 文学
  • 62 篇 哲学
    • 62 篇 哲学
  • 45 篇 农学
  • 39 篇 军事学
  • 7 篇 历史学

主题

  • 342 篇 fpga
  • 120 篇 模糊逻辑
  • 111 篇 plc
  • 94 篇 模糊控制
  • 78 篇 可编程逻辑控制器
  • 69 篇 遗传算法
  • 64 篇 数据采集
  • 52 篇 嵌入式系统
  • 49 篇 控制系统
  • 43 篇 专家系统
  • 43 篇 可靠性
  • 40 篇 逻辑回归
  • 40 篇 人工智能
  • 36 篇 petri网
  • 36 篇 物联网
  • 35 篇 现场可编程门阵列
  • 34 篇 面向对象
  • 33 篇 路径规划
  • 33 篇 卷积神经网络
  • 32 篇 xml

机构

  • 892 篇 哈尔滨工业大学
  • 507 篇 西北工业大学
  • 420 篇 合肥工业大学
  • 346 篇 广东工业大学
  • 344 篇 北京工业大学
  • 186 篇 浙江工业大学
  • 162 篇 河北工业大学
  • 141 篇 北方工业大学
  • 122 篇 沈阳工业大学
  • 119 篇 西安工业大学
  • 115 篇 电子科技大学
  • 96 篇 浙江大学
  • 95 篇 西安电子科技大学
  • 94 篇 华中科技大学
  • 93 篇 湖北工业大学
  • 91 篇 吉林大学
  • 83 篇 重庆大学
  • 79 篇 武汉理工大学
  • 77 篇 天津工业大学
  • 76 篇 东北大学

作者

  • 68 篇 何华灿
  • 17 篇 李战怀
  • 15 篇 刘鹏
  • 15 篇 王涛
  • 14 篇 梁华国
  • 13 篇 韩江洪
  • 13 篇 刘晓平
  • 12 篇 黄正峰
  • 12 篇 刘椿年
  • 12 篇 王伟
  • 11 篇 方滨兴
  • 11 篇 陆阳
  • 10 篇 戴伏生
  • 10 篇 马盈仓
  • 10 篇 王勇
  • 9 篇 刘杰
  • 9 篇 高德远
  • 9 篇 李梅
  • 9 篇 王鑫
  • 9 篇 陈阳

语言

  • 7,043 篇 中文
  • 2 篇 英文
检索条件"机构=维也纳工业大学逻辑与计算研究所"
7045 条 记 录,以下是1-10 订阅
排序:
加权加标网络的稳定与平衡
收藏 引用
逻辑研究 2024年 第4期17卷 35-53页
作者: 王轶 董惠敏 中山大学哲学系(珠海) 维也纳工业大学逻辑与计算研究所
经典结构平衡理论对不带权重的加标网络有较为完善的研究。Morrissette(1958)将结构平衡理论推广到加权加标网络并加以经验研究。近年来出现了基于时态逻辑CTL的结构平衡逻辑研究,但探讨的社会网络局限于不带权重的加标网络。本文将... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
面向复杂光照的舞台演员检测
收藏 引用
计算机辅助设计与图形学学报 2024年 第4期36卷 565-574页
作者: 赵国庆 董天阳 童程凯 沈冰雁 浙江工业大学计算机学院 杭州310014
复杂舞台场景存在多个光源产生的偏色和光照不均匀问题,严重影响了演员检测的精度.针对上述问题,提出一种基于伪多模态融合的演员检测方法.首先随机选取一种光照处理方法构建增强图像,与原图像构成伪多模态图像对;然后在增强图像中以演... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
寄存器传输级硬件设计信息流建模与安全验证
收藏 引用
西北工业大学学报 2024年 第3期42卷 506-513页
作者: 秦茂源 侯佳滢 李家乐 唐时博 邰瑜 西安工业大学计算机科学与工程学院 陕西西安710021 西北工业大学网络空间安全学院 陕西西安710072
近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
爬取公开信息行为入罪的逻辑解构与标准重构——从“反反爬行为”的性质切入
收藏 引用
浙江社会科学 2024年 第4期 55-67,156,157页
作者: 苏桑妮 浙江工业大学数字法治研究 浙江工业大学法学院 杭州310023
在涉及网络爬虫程序的数据犯罪案件中,绕过反爬虫措施的“反反爬行为”因其“技术侵入性”和“法益侵害性”,成为爬取公开信息行为入罪的主要依据。然而,反爬虫措施不是计算机安保措施,故“反反爬行为”的“侵入性”在技术层面上并不成... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于量子元胞自动机的n位全加器设计
收藏 引用
电子学报 2024年 第2期52卷 626-632页
作者: 张辉 解光军 张永强 合肥工业大学微电子学院 安徽合肥230009
量子元胞自动机(Quantum-dot Cellular Automata,QCA)以其功耗低、纳米级设计、运算速度高等特点被认为是一门新兴技术,在不久的将来有望取代CMOS工艺,用于量子计算机的电路设计.近年来,在QCA电路中有很多使用三输入择多门(M3)和三输入... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
元宇宙教学:高等教育数字化教学转型的高阶形态
收藏 引用
计算机科学 2024年
作者: 张策 初佃辉 张侨 刘鹏 魏萌 刘晓颖 哈尔滨工业大学(威海)计算机科学与技术学院 哈尔滨工业大学(威海)教务处
新科技革命下信息技术正在日新月异地改变着人类思想与行动,推动数字时代高等教育教学发生变革,高等教育数字化转型已成为驱动高校教育教学适应与引领发展的最大动力。在这场教育教学数字变革浪潮中,元宇宙教育教学因其虚拟灵动、美... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
基于GPU的LBM迁移模块算法优化
收藏 引用
计算机工程 2024年 第2期50卷 232-238页
作者: 黄斌 柳安军 潘景山 田敏 张煜 朱光慧 齐鲁工业大学(山东省科学院)山东省计算中心(国家超级计算济南中心) 山东济南251013 济南超级计算技术研究院高性能计算实验室 山东济南251013 哈尔滨工业大学能源科学与工程学院 黑龙江哈尔滨150001
格子玻尔兹曼方法(LBM)是一种基于介观模拟尺度的计算流体力学方法,其在计算时设置大量的离散格点,具有适合并行的特性。图形处理器(GPU)中有大量的算术逻辑单元,适合大规模的并行计算。基于GPU设计LBM的并行算法,能够提高计算效率。但... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于β-VAE的联邦学习异常更新检测算法
收藏 引用
计算机应用研究 2024年 第8期41卷 2496-2501页
作者: 张仁斌 崔宇航 张子石 合肥工业大学计算机与信息学院 合肥230601 合肥工业大学工业安全与应急技术安徽省重点实验室 合肥230601
利用自编码器模型检测恶意模型更新的联邦学习框架是一种优秀的投毒攻击防御框架,但现有的基于自编码器的模型存在训练困难、异常检测能力不足等问题。针对以上问题,提出了一种基于β-VAE的联邦学习异常更新检测算法:服务器端通过抑制... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
可重构CNN处理器的高能效自适应映射策略研究
收藏 引用
计算机辅助设计与图形学学报 2024年
作者: 常立博 武丹妮 杜慧敏 张盛兵 郝鹏 蔡秀霞 西北工业大学计算机学院 西安邮电大学电子工程学院
针对因CNN模型巨大的参数规模和数据访问量, 及不同CNN模型或同一模型中不同层的计算模式存在多样性, 导致仅可支持单一或固定映射方式及片上数据缓存的计算系统整体能效较低的问题, 提出软硬件协同设计策略. 将基于深度强化学习的... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
面积高效的格密码多项式乘法硬件实现
收藏 引用
计算机工程 2024年
作者: 谢家兴 蒲金伟 方伟钿 郑欣 熊晓明 广东工业大学自动化学院 广东工业大学集成电路学院
基于格的后量子密码算法在公钥密码领域具有广泛的应用前景,多项式乘法的计算复杂性是其硬件实现的主要性能瓶颈。针对多项式乘法实现存在的面积效率低和内存映射冲突等问题,提出一种基于部分数论变换和系数交叉运算的多项式乘法结构... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论