咨询与建议

限定检索结果

文献类型

  • 150,478 篇 期刊文献
  • 16,256 篇 会议
  • 25 册 图书

馆藏范围

  • 166,750 篇 电子文献
  • 9 种 纸本馆藏

日期分布

学科分类号

  • 87,675 篇 工学
    • 14,961 篇 材料科学与工程(可...
    • 14,381 篇 化学工程与技术
    • 6,947 篇 机械工程
    • 6,775 篇 电子科学与技术(可...
    • 6,057 篇 地质资源与地质工...
    • 5,716 篇 仪器科学与技术
    • 5,694 篇 计算机科学与技术...
    • 4,512 篇 软件工程
    • 4,442 篇 控制科学与工程
    • 4,084 篇 水利工程
    • 4,080 篇 光学工程
    • 3,948 篇 土木工程
    • 3,935 篇 石油与天然气工程
    • 3,291 篇 动力工程及工程热...
    • 2,762 篇 信息与通信工程
  • 44,309 篇 理学
    • 12,453 篇 化学
    • 7,379 篇 生物学
    • 5,991 篇 物理学
    • 5,550 篇 数学
    • 4,441 篇 地质学
  • 21,756 篇 医学
    • 10,845 篇 临床医学
    • 4,105 篇 中西医结合
    • 3,268 篇 药学(可授医学、理...
    • 2,775 篇 基础医学(可授医学...
    • 2,771 篇 中药学(可授医学、...
  • 18,419 篇 农学
    • 5,558 篇 作物学
    • 3,789 篇 农业资源与环境
  • 8,641 篇 教育学
    • 5,088 篇 教育学
  • 8,500 篇 管理学
    • 4,193 篇 管理科学与工程(可...
  • 5,501 篇 经济学
    • 5,025 篇 应用经济学
  • 2,424 篇 法学
  • 1,708 篇 文学
  • 1,454 篇 历史学
  • 892 篇 艺术学
  • 583 篇 哲学
  • 525 篇 军事学

主题

  • 1,264 篇 中国
  • 685 篇 设计
  • 579 篇 数学模型
  • 519 篇 催化剂
  • 503 篇 应用
  • 498 篇 合成
  • 484 篇 晶体
  • 408 篇 of
  • 364 篇 稀土
  • 364 篇 数值模拟
  • 344 篇 计算机
  • 332 篇 水稻
  • 295 篇 研究
  • 290 篇 and
  • 289 篇 测定
  • 251 篇 激光
  • 234 篇 稳定性
  • 227 篇 方程
  • 218 篇 大鼠
  • 215 篇 化学成分

机构

  • 1,706 篇 哈尔滨工业大学
  • 905 篇 中国科学院物理研...
  • 877 篇 西南石油学院
  • 851 篇 上海交通大学
  • 795 篇 四川大学
  • 794 篇 同济大学
  • 752 篇 北京大学
  • 752 篇 academia sinica
  • 740 篇 浙江大学
  • 720 篇 中国科学院上海光...
  • 700 篇 山东大学
  • 675 篇 清华大学
  • 646 篇 中国科学院南京土...
  • 643 篇 南京大学
  • 622 篇 天津大学
  • 622 篇 北京理工大学
  • 580 篇 吉林大学
  • 578 篇 中国科学院海洋研...
  • 561 篇 中国科学院微生物...
  • 538 篇 中国科学院高能物...

作者

  • 1,947 篇 china
  • 310 篇 chinese academy ...
  • 233 篇 beijing
  • 148 篇 china)
  • 117 篇 p.r.china
  • 115 篇 institute of sci...
  • 101 篇 shanghai
  • 73 篇 2 graduate unive...
  • 69 篇 张碧江
  • 60 篇 刘杰
  • 54 篇 harbin institute...
  • 49 篇 王勇
  • 47 篇 李伟
  • 45 篇 徐军
  • 43 篇 王伟
  • 42 篇 张杰
  • 41 篇 李军
  • 36 篇 张茂林
  • 35 篇 黄翠芬
  • 34 篇 王东

语言

  • 121,682 篇 中文
  • 45,077 篇 英文
检索条件"作者=2. institute of Chemistry,Chinese Academy of Sciences,{3. 100080,{2."
166759 条 记 录,以下是21-30 订阅
排序:
Formal Verification under Unknown Constraints
收藏 引用
Wuhan University Journal of Natural sciences 2005年 第1期10卷 43-46页
作者: LI Guang-hui 1,2.3., LI Xiao-wei 2.3.. School of Information Engineering, Zhejiang Forestry College, Hangzhou 3.13.0, Zhejiang, China 2. {3. of Computing Technology, chinese academy of sciences, Beijing {2., China 3. Graduate School of the chinese academy of sciences, Beijing 10003., China School of Information Engineering Zhejiang Forestry College Hangzhou Zhejiang China institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate School of the chinese academy of sciences Beijing China
We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the cor... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Representation of microscale ocean wavenumber spectrum correct to the second order
收藏 引用
Science China Earth sciences 2005年 第4期48卷 549-554页
作者: YUAN Yeli2.& HUA Feng1,2.3.1. institute of Oceanology, {3., Qingdao 2.6071, China 2. Key Laboratory of Marine Science and Numerical Modeling, State Oceanic Administration, Qingdao 2.6061, China 3. Graduate School of the {3., Beijing 10003., China Key Laboratory of Marine Science and Numerical Modeling State Oceanic Administration Qingdao China institute of Oceanology Chinese Academy of Sciences Qingdao China Graduate School of the chinese academy of sciences Beijing China
In this paper, the analytical representations of four wave source functions in high-frequency spectrum range are given on the basis of ocean wave theory and dimensional analysis, and the perturbation method is used to... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring
收藏 引用
Science China Earth sciences 2006年 第5期49卷 554-560页
作者: FAN Ke1,2.3.& WANG Huijun2.1. Nansen-Zhu International Research Center, institute of Atmospheric Physics, {3., Beijing 10002., China 2. Department of Atmospheric Science, Yunnan University, Kunming 650091, China 3. Graduate University of the {3., Beijing 100049, China Nansen-Zhu International Research Center Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Department of Atmospheric Science Yunnan University Kunming China Graduate University of the chinese academy of sciences Beijing China
The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold ... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
A formal model of fair exchange protocols
收藏 引用
Science in China(Series F) 2005年 第4期48卷 499-512页
作者: QING Sihan1,2.3.& LI Gaicheng1,2.3.1. Engineering Research Center for Information Security Technology, institute of Software, {3. Aca- demy of {2., Beijing 100080, China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 100080, China 3. Graduate School of the chinese academy of sciences, Beijing 10003., China Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing China Beijing Zhongke Ansheng Corporation of Information Technology Beijing China Graduate School of the chinese academy of sciences Beijing China
Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
SYNTHESIS AND CHARACTERIZATION OF NEW STABILIZERS WITH OPTIMAL MOLECULAR WEIGHT
收藏 引用
chinese Journal of Polymer Science 2001年 第4期19卷 341-350页
作者: Jiang-qing Pan institute of chemistry {2., Beijing {3. China 中科院化学所 北京
Over 2.x 10(8) tons of polymers are produced every year, and a large portion of polymers faces the degradation problem. There are many effective methods to protect polymers against degradation and the addition of stab... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Magnetic properties of Jiaxian red clay sequences from northern chinese Loess Plateau and its paleoclimatic significance
收藏 引用
Science China Earth sciences 2005年 第8期48卷 1234-1245页
作者: QIANG Xiaoke, AN Zhisheng, LI Huamei, CHANG Hong & SONG Yougui 1. SKLLQG, institute of Earth Environment, chinese academy of sciences, Xi’an 710075, China 2. Guangzhou institute of Geochemistry, chinese academy of sciences, Guangzhou 510640, China chinese academy of sciences SKLLQG Institute of Earth Environment Xi’an China chinese academy of sciences Guangzhou Institute of Geochemistry Guangzhou China
Detailed rock magnetism investigation of the Jiaxian red clay sequences indicated that there are common magnetic mineralogy properties in red clay and loess-paleosol sequences from the chinese Loess Plateau as well as... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Analysis and application of automatic deformation monitoring data for buildings and structures of mining area
收藏 引用
中国有色金属学会会刊:英文版 2011年 第S3期21卷 516-522页
作者: XIAO Jie1, 2. 3. ZHANG Jin4 1. institute of Geodesy and Geophysics, chinese academy of sciences, Wuhan 43.077, China 2. Key Laboratory of Dynamic Geodesy, institute of Geodesy and Geophysics, chinese academy of sciences, Wuhan 43.077, China 3. Graduate School of chinese academy of sciences, Beijing 100049, China 4. Department of Surveying and Mapping, Taiyuan University of Technology, Taiyuan 03.02., China institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China Key Laboratory of Dynamic Geodesy Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China Graduate School of chinese academy of sciences Beijing 100049 China Department of Surveying and Mapping Taiyuan University of Technology Taiyuan 030024 China
The buildings and structures of mines were monitored automatically using modern surveying technology. Through the analysis of the monitoring data, the deformation characteristics were found out from three aspects cont... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Bio-regeneration of p-complexation desulfurization adsorbents
收藏 引用
Science China chemistry 2005年 第6期48卷 538-544页
作者: LI Wangliang1,2. XING Jianmin1, XIONG Xiaochao1,2. SHAN Guobin1,2.& LIU Huizhou1 1. Laboratory of Separation Science and Engineering, {3. of Process Engineering, chinese academy of sciences, Beijing {2., China 2. Graduate School of the chinese academy of sciences,Beijing 10003., China Laboratory of Separation Science and Engineering Institute of Process Engineering Chinese Academy of Sciences Beijing China Graduate School of the chinese academy of sciences Beijing China
The coupling of adsorption desulfurization and biodesulfurization is a new approach to produce clean fuels. Sulfur compounds are firstly adsorbed on adsorbents, and then the ad-sorbents are regenerated by microbial co... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Effective solutions to a global 3. visual system in networking environments
收藏 引用
Science China Earth sciences 2005年 第11期48卷 2032-2039页
作者: ZHANG Liqiang1,2. ZHANG Yan3. YANG Chongjun2. LIU Suhong1, REN Yingchao2. RUI Xiaoping2.& LIU Donglin2.1. State Key Laboratory of Remote Sensing sciences, School of Geography and Remote Sensing, Beijing Normal University, Beijing 100875, China 2. State Key Laboratory of Remote Sensing sciences, {2. of Remote Sensing Applications, chinese academy of sciences, Beijing 101001, China 3. {2. of Geographical sciences and Natural Resources Research, chinese academy of sciences, Beijing 101001, China State Key Laboratory of Remote Sensing sciences School of Geography and Remote Sensing Beijing Normal University Beijing China chinese academy of sciences State Key Laboratory of Remote Sensing SciencesInstitute of Remote Sensing Applications China institute of Geographical sciences and Natural Resources Research Chinese Academy of Sciences China
The development of Web-based global 3. visual system has made progresses. However, there exist few mature and effective ways for managing, transmitting and visualizing massive spatial data. Based on the related work, ... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Formal analysis and design of multi-party fair exchange protocols
收藏 引用
Science in China(Series F) 2006年 第2期49卷 155-174页
作者: QING Sihan1,2.3.& LI Gaicheng1,3.1. Engineering Research Center for Information Security Technology, institute of Software, chinese academy of sciences, Beijing {2., China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing {2., China 3. Graduate School of the chinese academy of sciences, Beijing 10003., China Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing China Beijing Zhongke Ansheng Corporation of Information Technology Beijing China Graduate School of the chinese academy of sciences Beijing China
Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论