咨询与建议

限定检索结果

文献类型

  • 1,025 篇 会议
  • 898 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,331 篇 工学
    • 607 篇 计算机科学与技术...
    • 526 篇 软件工程
    • 242 篇 控制科学与工程
    • 210 篇 信息与通信工程
    • 150 篇 电子科学与技术(可...
    • 145 篇 机械工程
    • 144 篇 电气工程
    • 139 篇 材料科学与工程(可...
    • 134 篇 化学工程与技术
    • 112 篇 仪器科学与技术
    • 99 篇 生物工程
    • 90 篇 动力工程及工程热...
    • 76 篇 力学(可授工学、理...
    • 66 篇 生物医学工程(可授...
    • 62 篇 光学工程
    • 57 篇 交通运输工程
    • 47 篇 土木工程
    • 47 篇 航空宇航科学与技...
    • 40 篇 冶金工程
    • 34 篇 建筑学
  • 685 篇 理学
    • 337 篇 数学
    • 206 篇 物理学
    • 114 篇 生物学
    • 110 篇 化学
    • 89 篇 系统科学
    • 68 篇 统计学(可授理学、...
  • 275 篇 管理学
    • 180 篇 管理科学与工程(可...
    • 96 篇 图书情报与档案管...
    • 49 篇 工商管理
  • 40 篇 医学
    • 37 篇 临床医学
  • 35 篇 法学
  • 20 篇 农学
  • 19 篇 经济学
  • 12 篇 军事学
  • 5 篇 教育学
  • 4 篇 艺术学
  • 2 篇 文学

主题

  • 41 篇 optimization
  • 40 篇 feature extracti...
  • 33 篇 training
  • 27 篇 accuracy
  • 24 篇 semantics
  • 23 篇 robustness
  • 22 篇 mathematical mod...
  • 21 篇 computational mo...
  • 20 篇 deep learning
  • 20 篇 wireless sensor ...
  • 19 篇 neural networks
  • 19 篇 visualization
  • 18 篇 automation
  • 18 篇 analytical model...
  • 16 篇 predictive model...
  • 16 篇 software
  • 15 篇 signal processin...
  • 15 篇 data models
  • 14 篇 laboratories
  • 13 篇 task analysis

机构

  • 36 篇 university of ch...
  • 33 篇 state key labora...
  • 32 篇 shenzhen city ke...
  • 31 篇 national enginee...
  • 30 篇 college of compu...
  • 30 篇 state key labora...
  • 25 篇 state key labora...
  • 24 篇 state key labora...
  • 24 篇 school of comput...
  • 24 篇 shaanxi key labo...
  • 23 篇 complex system a...
  • 21 篇 key laboratory o...
  • 20 篇 state key labora...
  • 20 篇 school of automa...
  • 19 篇 school of comput...
  • 19 篇 school of artifi...
  • 19 篇 shaanxi key labo...
  • 18 篇 shaanxi key labo...
  • 18 篇 key laboratory o...
  • 17 篇 hubei key labora...

作者

  • 26 篇 ding liu
  • 24 篇 shen linlin
  • 21 篇 ji zhen
  • 20 篇 cui zhihua
  • 19 篇 yufeng zheng
  • 17 篇 zhen ji
  • 16 篇 fei-yue wang
  • 15 篇 guangwen xu
  • 15 篇 junzhi yu
  • 14 篇 hu shengshan
  • 14 篇 wang fei-yue
  • 14 篇 li minghui
  • 13 篇 yunhao liu
  • 13 篇 li yan
  • 13 篇 zhang youmin
  • 12 篇 qiang huang
  • 12 篇 yu hang
  • 12 篇 liu ding
  • 12 篇 linlin shen
  • 12 篇 huiling duan

语言

  • 1,798 篇 英文
  • 69 篇 中文
  • 59 篇 其他
检索条件"机构=Key Laboratory of Software Engineering for Complex System"
1925 条 记 录,以下是1821-1830 订阅
排序:
pService: Towards Similarity Search on Peer-to-Peer Web Services Discovery
pService: Towards Similarity Search on Peer-to-Peer Web Serv...
收藏 引用
International Conference on Advances in P2P systems (AP2PS)
作者: Gang Zhou Jianjun Yu National Digital Switching System Engineering and Technological Research and Development Center China State Key Laboratory of Software Development Environment Beihang University China Computer Network Information Center Chinese Academy and Sciences China
We present the design of pService system for P2P Web services discovery supporting similarity search with its locality-preserving feature based on modified Skip Graph. In pService, the most important property (e.g. se... 详细信息
来源: 评论
Tuning and monitoring of quantum dot growth by an in situ cantilever
收藏 引用
Physical Review B 2009年 第4期79卷 045401-045401页
作者: Yan Wang Jörg Weissmüller Huiling Duan Department of Mechanics and Aerospace Engineering and State Key Laboratory for Turbulence and Complex System College of Engineering Peking University Beijing 100871 People’s Republic of China Institut für Nanotechnologie Forschungszentrum Karlsruhe Karlsruhe 76021 Germany Technische Physik Universität des Saarlandes Saarbrücken 66041 Germany
Self-organization of quantum dots (QDs) on an in situ cantilever setup is investigated using a continuum approach. In this QD growth system, the cantilever has two functions. The first function is as a substrate of QD... 详细信息
来源: 评论
Steady state speed distribution analysis for a combined cellular automaton traffic model
收藏 引用
Chinese Physics B 2008年 第8期17卷 2850-2858页
作者: 王俊峰 陈桂生 刘进 College of Computer Science Sichuan University Institute of Electronic System Engineering State Key Laboratory of Software Engineering Wuhan University
Cellular Automaton (CA) based traffic flow models have been extensively studied due to their effectiveness and simplicity in recent years. This paper develops a discrete time Markov chain (DTMC) analytical framewo... 详细信息
来源: 评论
Model Checking Needham-Schroeder Security Protocol Based on Temporal Logic of Knowledge
Model Checking Needham-Schroeder Security Protocol Based on ...
收藏 引用
International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC
作者: Xiangyu Luo Yan Chen Ming Gu Lijun Wu School of Software Key Laboratory of Security for Information System of Ministry of Education Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic Technology Guilin China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China
Formal verification approaches can guarantee the correctness of security protocols. In this paper we take the well-known Needham-Schroeder public-key authentication protocol as an example, to show how we can apply the... 详细信息
来源: 评论
DFTT4CWS: A Testing Tool for Composite Web Services Based on Data-Flow
DFTT4CWS: A Testing Tool for Composite Web Services Based on...
收藏 引用
Web Information systems and Applications Conference (WISA)
作者: Jun Hou Lei Xu School of Computer Science and Engineering South-East University Nanjing China China Telecom Jiangsu Hongxin System Integration Company Limited Nanjing China State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China
For large and complex composite Web services which are composed by BPEL and a set of WSDL and XSD documents, we urgently need the aid of the tools in designing and selecting test cases. However, most of mature testing... 详细信息
来源: 评论
Wave propagation in a magneto-electro- elastic plate
收藏 引用
Science China(Physics,Mechanics & Astronomy) 2008年 第6期51卷 651-666页
作者: WEI JianPing SU XianYue State Key Laboratory for Turbulence and Complex System and Department of Mechanics and Aerospace Engineering Peking UniversityBeijing 100871China
The wave propagation in a magneto-electro-elastic plate was studied. Some new characteristics were discovered: the guided waves are classified in the forms of the Quasi-P, Quasi-SV and Quasi-SH waves and arranged by t... 详细信息
来源: 评论
Numerical Simulation of Random Close Packing with Tetrahedra
收藏 引用
Chinese Physics Letters 2008年 第5期25卷 1724-1726页
作者: 李水乡 赵健 周璇 College of Engineering Peking University Beijing 100871 State Key Laboratory for Turbulence and Complex System Study Peking University Beijing 100871
The densest packing of tetrahedra is still an unsolved problem. Numerical simulations of random close packing of tetrahedra are carried out with a sphere assembly model and improved relaxation algorithm. The packing d... 详细信息
来源: 评论
Robust Controller Design for Networked Control systems with Nonlinear Uncertainties
Robust Controller Design for Networked Control Systems with ...
收藏 引用
2009 American Control Conference (ACC 2009)
作者: Junyan Yu Long Wang Mei Yu Jie Chen Yingmin Jia Intelligent Control Laboratory Center for Systems and Control College of Engineering and Key Laboratory of Machine Perception (Ministry of Education) Peking University Beijing 100871 P.R.China Department of Automation North China Electric Power University Zhuxinzhuang Dewai Beijing 102206 P.R.China Beijing Institute of Technology Key Laboratory of Complex System Intelligent Control and Decision Ministry of Education Beijing 100081 P.R.China Seventh Research Division Beihang University Beijing 100083 P.R. China
We address robust stabilization problem for networked control systems with nonlinear uncertainties and packet losses by modelling such systems as a class of uncertain switched systems. Based on theories on switched Ly... 详细信息
来源: 评论
Optimized modeling of signalized intersections coordination based on two-way bandwidth maximization
收藏 引用
Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (engineering and Technology Edition) 2009年 第SUPPL. 2期39卷 19-24页
作者: Ma, Nan Shao, Chun-Fu Zhao, Yi Key Laboratory of Urban Transportation Complex System Theory and Technology Ministry of Education Beijing Jiaotong University Beijing 100044 China Department of Civil and Environmental Engineering University of Nevada Reno Reno NV89557 United States
To reduce traffic delays, relieve congestion, and improve the operation of urban traffic network, a phase sequence optimization model was presented based on the idea of maximization of two-way green wave bandwidth. Un... 详细信息
来源: 评论
Analysis and improvement of ZG off-line TTP non-repudiation protocol
收藏 引用
Tongxin Xuebao/Journal on Communications 2009年 第11 A期30卷 44-51页
作者: Liu, Dong-Mei Qing, Si-Han Li, Peng-Fei Li, Shang-Jie National Engineering Research Center for Fundamental Software Institute of Software Chinese Academy of Sciences Beijing 100080 China Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing 100080 China Graduate School Chinese Academy of Sciences Beijing 100039 China National Key Laboratory of Integrated Information System Technology Chinese Academy of Sciences Beijing 100080 China
Based on the weakness of ZG off-line TTP(trusted third party) non-repudiation protocol because of using protocol deadline, the improvement of the ZG off-line TTP non-repudiation protocol was given, which eliminated th... 详细信息
来源: 评论