咨询与建议

限定检索结果

文献类型

  • 849,054 篇 期刊文献
  • 129,152 篇 报纸
  • 42,380 篇 会议
  • 18,477 篇 学位论文
  • 8,566 册 图书
  • 23 篇 多媒体

馆藏范围

  • 1,045,726 篇 电子文献
  • 1,999 种 纸本馆藏

日期分布

学科分类号

  • 345,130 篇 工学
    • 38,182 篇 材料科学与工程(可...
    • 34,315 篇 机械工程
    • 28,619 篇 土木工程
    • 25,740 篇 交通运输工程
    • 25,480 篇 计算机科学与技术...
    • 24,005 篇 化学工程与技术
    • 21,036 篇 电气工程
    • 19,237 篇 软件工程
    • 17,595 篇 仪器科学与技术
    • 16,375 篇 动力工程及工程热...
    • 16,360 篇 水利工程
    • 14,677 篇 建筑学
    • 13,205 篇 电子科学与技术(可...
  • 217,504 篇 医学
    • 138,167 篇 临床医学
    • 25,528 篇 中西医结合
    • 23,906 篇 公共卫生与预防医...
    • 16,068 篇 医学技术(可授医学...
    • 14,131 篇 药学(可授医学、理...
    • 13,425 篇 基础医学(可授医学...
  • 139,800 篇 管理学
    • 47,401 篇 管理科学与工程(可...
    • 39,517 篇 公共管理
    • 37,365 篇 工商管理
    • 20,267 篇 农林经济管理
  • 104,485 篇 经济学
    • 98,086 篇 应用经济学
  • 94,188 篇 教育学
    • 82,724 篇 教育学
  • 87,542 篇 农学
    • 19,356 篇 作物学
    • 12,607 篇 兽医学
  • 66,724 篇 法学
    • 30,896 篇 政治学
    • 26,033 篇 马克思主义理论
    • 14,657 篇 法学
  • 59,324 篇 理学
  • 26,566 篇 文学
  • 23,493 篇 哲学
  • 13,505 篇 艺术学
  • 11,457 篇 历史学
  • 8,105 篇 军事学

主题

  • 8,182 篇 中国
  • 7,900 篇 应用
  • 7,786 篇 治疗
  • 5,578 篇 诊断
  • 5,490 篇 对策
  • 4,024 篇 企业
  • 3,522 篇 数值模拟
  • 3,329 篇 问题
  • 3,238 篇 设计
  • 3,196 篇 影响因素
  • 2,986 篇 管理
  • 2,876 篇 产量
  • 2,747 篇 儿童
  • 2,725 篇 疗效
  • 2,679 篇 防治
  • 2,609 篇 分析
  • 2,482 篇 创新
  • 2,466 篇 现状
  • 2,357 篇 企业管理
  • 2,280 篇 教学改革

机构

  • 4,455 篇 浙江大学
  • 3,469 篇 清华大学
  • 3,231 篇 吉林大学
  • 3,224 篇 上海交通大学
  • 3,097 篇 同济大学
  • 3,039 篇 山东大学
  • 2,904 篇 华南理工大学
  • 2,847 篇 武汉大学
  • 2,719 篇 中国矿业大学
  • 2,707 篇 四川大学
  • 2,651 篇 北京大学
  • 2,475 篇 中南大学
  • 2,447 篇 中国地质大学
  • 2,428 篇 哈尔滨工业大学
  • 2,331 篇 西安交通大学
  • 2,318 篇 华中科技大学
  • 2,314 篇 天津大学
  • 2,187 篇 西北工业大学
  • 2,152 篇 中国农业大学
  • 2,043 篇 西北农林科技大学

作者

  • 9,082 篇 王志军
  • 7,402 篇 李志军
  • 5,671 篇 陆军
  • 5,460 篇 王晓军
  • 5,430 篇 张志军
  • 4,963 篇 李晓军
  • 4,867 篇 张晓军
  • 4,611 篇 刘志军
  • 4,031 篇 张爱军
  • 3,726 篇 张立军
  • 3,652 篇 张永军
  • 3,515 篇 陈志军
  • 3,496 篇 刘晓军
  • 3,344 篇 杨立军
  • 3,220 篇 王爱军
  • 2,931 篇 李永军
  • 2,867 篇 陈晓军
  • 2,846 篇 王永军
  • 2,755 篇 李树军
  • 2,669 篇 蔡立军

语言

  • 1,043,697 篇 中文
  • 3,867 篇 英文
  • 40 篇 日文
  • 1 篇 法文
检索条件"作者=朱维军"
1047653 条 记 录,以下是31-40 订阅
排序:
基于时间区间时序逻辑的实时系统统一模型检测
收藏 引用
电子科技大学学报 2014年 第5期43卷 712-716页
作者: 朱维军 乔芃喆 周清雷 张海宾 郑州大学信息工程学院 郑州450001 西安电子科技大学计算机学院 西安710071 河南牧业经济学院信息工程系 郑州450011
在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此,该文使用一个离散时间区间时序逻辑公式建立实时系统模型,使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质,在此基础上,离散时间区间时序逻辑统一模型... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
大枣加工中氧化型维生素C和还原型维生素C的变化
收藏 引用
果树学报 2006年 第3期23卷 465-467页
作者: 朱维军 陈月英 河南农业职业学院 郑州451450
以大枣为原料,在浸提、澄清工序中,通过抗氧化剂和果胶酶处理试验,旨在探索大枣在加工过程中氧化型维生素C和还原型维生素C的变化规律,达到最大限度保存大枣中总维生素C的目的。结果表明,(1)采用植酸处理对还原型维生素C的保存效果最好;... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
我国调味品行业存在的问题及发展趋势
收藏 引用
中国酿造 2009年 第6期28卷 15-17页
作者: 朱维军 陈月英 河南农业职业学院 河南郑州451450
随着我国居民收入的增加,购买力增强,调味品表现出向高档化发展的趋势。同时调味品行业自身也存在诸多问题,严重制约调味品的发展,文中论述了调味品的生产现状、存在问题及未来发展趋势。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
动态虚拟MSISDN的拟态自动机模型与安全性验证方法
收藏 引用
信息网络安全 2018年 第4期 15-22页
作者: 朱维军 樊永文 班绍桓 郑州大学信息工程学院 河南郑州450001
移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的安全性,目前尚缺乏有效的分析方法。文章首先使用有穷状态自动... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
玉米笋的综合加工
收藏 引用
食品科学 1997年 第2期18卷 66-67页
作者: 赵雨 王福玲 宋连启 郑其良 朱维军 河南省农业学校加工研究室 451450
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
香菇柄肉松加工工艺的研究
收藏 引用
中国农学通报 2009年 第8期25卷 75-78页
作者: 朱维军 陈月英 焦镭 河南农业职业学院 郑州451450
以香菇柄和猪肉为原料,通过单因素试验及正交试验,探讨香菇柄肉松加工中主要工艺参数的最佳组合及辅料的最佳用量。结果表明,辅料添加量的最佳配比:白砂糖16%、酱油6%、食盐1.2%。工艺参数的最佳组合为:烘烤温度60℃、烘烤时间60min、... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种时间自动机时钟离散化算法
收藏 引用
郑州大学学报(理学版) 2011年 第3期43卷 70-72页
作者: 朱维军 周清雷 郑州大学信息工程学院 河南郑州450052
稠密时间自动机被广泛应用于实时系统自动验证.然而其在补操作下不封闭,因而导致多种线性实时性质不可验证.离散时间自动机虽不存在此问题,但该模型表达能力偏弱.因此,提出了一种时间自动机时钟离散化算法,结合时钟物理约束因素,证明了... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
考虑球冠形脱空影响的圆钢管混凝土柱抗侧向冲击性能分析
收藏 引用
建筑钢结构进展 2024年
作者: 朱维军 沈奇罕 王静峰 胡子明 合肥工业大学土木与水利工程学院 合肥工业大学水泥基材料低碳技术与装备教育部工程研究中心 合肥工业大学先进钢结构技术与产业化安徽省协同创新中心
近年来钢管混凝土作为城市高架、跨河桥梁的墩柱常受到车辆、船舶等机械冲击灾害,是引发其结构损伤、破坏甚至严重倒塌的最主要因素之一。而实际钢管混凝土结构由于材料、施工、环境等因素普遍存在脱空缺陷问题,但目前尚缺乏关于带脱... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
时间自动机模型验证的研究进展
收藏 引用
计算机应用与软件 2008年 第6期25卷 33-34,37页
作者: 朱维军 王迤冉 周清雷 郑州大学信息工程学院 周口师范学院计算机科学系 河南周口466001
基于时间自动机的模型验证是一种形式化的实时并发系统时间性质验证技术,重大软件对时间行为、时序关系的高可靠性要求,不断刺激时间自动机模型验证技术的发展。介绍了时间自动机理论、模型验证算法及工具,对该领域的研究进展做了综述,... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于图像加密的置乱性能分析研究
收藏 引用
计算机工程与设计 2006年 第24期27卷 4729-4731,4738页
作者: 王迤冉 朱维军 詹新生 周口师范学院计算机科学系 河南周口466000 郑州大学信息工程学院 河南郑州450052
为了安全的使用图像加密方案,促进图像加密技术的进一步发展,对这些加密算法的安全性进行比较与分析是非常必要的。提出了对加密图像置乱度进行评价的若干参数,这些参数包括:不动点比、信息熵、灰度平均变化值、图像r-m自相关度和图像... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论