检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,854 篇 期刊文献
1,669 篇 会议
3 册 图书

馆藏范围

3,526 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,352 篇 工学
- 1,611 篇 计算机科学与技术...
- 1,194 篇 软件工程
- 444 篇 信息与通信工程
- 279 篇 电子科学与技术（可...
- 264 篇 控制科学与工程
- 241 篇 电气工程
- 230 篇 生物工程
- 179 篇 光学工程
- 151 篇 机械工程
- 119 篇 生物医学工程（可授...
- 96 篇 动力工程及工程热...
- 94 篇 化学工程与技术
- 88 篇 核科学与技术
- 79 篇 仪器科学与技术
- 78 篇 材料科学与工程（可...
- 70 篇 建筑学
- 68 篇 土木工程
- 60 篇 交通运输工程
- 53 篇 网络空间安全
1,380 篇 理学
- 592 篇 数学
- 579 篇 物理学
- 259 篇 生物学
- 155 篇 统计学（可授理学、...
- 106 篇 化学
- 102 篇 系统科学
525 篇 管理学
- 323 篇 管理科学与工程(可...
- 226 篇 图书情报与档案管...
- 86 篇 工商管理
111 篇 医学
- 95 篇 临床医学
- 80 篇 基础医学(可授医学...
55 篇 法学
27 篇 农学
25 篇 经济学
19 篇 教育学
10 篇 艺术学
9 篇 军事学
6 篇 文学
5 篇 哲学
1 篇 历史学

主题

111 篇 hadron colliders
91 篇 computer archite...
84 篇 training
82 篇 feature extracti...
79 篇 semantics
77 篇 computational mo...
64 篇 deep learning
58 篇 laboratories
46 篇 hardware
44 篇 accuracy
42 篇 data models
41 篇 machine learning
39 篇 neural networks
36 篇 delay
34 篇 convolution
34 篇 predictive model...
32 篇 image segmentati...
32 篇 optimization
31 篇 higgs bosons
31 篇 costs

机构

247 篇 university of ch...
208 篇 state key labora...
190 篇 yerevan physics ...
150 篇 centro brasileir...
149 篇 national and kap...
149 篇 istanbul technic...
148 篇 university of sp...
147 篇 universidad iber...
146 篇 indian institute...
145 篇 brunel universit...
145 篇 academy of scien...
141 篇 charles universi...
138 篇 università di to...
136 篇 key laboratory o...
135 篇 infn sezione di ...
133 篇 university of de...
132 篇 imperial college...
132 篇 rwth aachen univ...
130 篇 infn sezione di ...
130 篇 department of ph...

作者

112 篇 g. tonelli
112 篇 d. barney
112 篇 l. valencia palo...
112 篇 t. liu
112 篇 c. hensel
112 篇 a. garcia-bellid...
111 篇 a. babaev
111 篇 a. steen
111 篇 n. cartiglia
107 篇 v. karjavine
105 篇 n. colino
105 篇 f. moortgat
104 篇 b. clerbaux
104 篇 g. sultanov
103 篇 m. a. ciocci
103 篇 k. lamichhane
103 篇 s. maselli
102 篇 e. migliore
102 篇 p. avery
102 篇 l. silvestris

语言

3,193 篇 英文
225 篇 其他
115 篇 中文

检索条件"机构=Key Laboratory of Computer Architecture Institute of Computing Technology"

共 3526 条记录，以下是3041-3050 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Multi-query evaluation over compressed XML data in DaaS

引用

作者： Wang, Xiaoling Zhou, Aoying He, Juzhen Ng, Wilfred Hung, Patrick Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China Department of Computer Science Hong Kong University of Science and Technology Hong Kong Hong Kong Faculty of Business and Information Technology University of Ontario Institute of Technology Canada

ISBN: (纸本)9783642192937

This paper addresses the problem of evaluating a heavy load of subscribed queries (or simply multi-queries) over compressed XML data in a distributed service-oriented DaaS (Database as a Service) environment. We propose a holistic approach that evaluates complex queries over a compressed document and forwards the compressed results directly to the data requestor (DR). Firstly, we review the data management issues in DaaS, and then we will address the multi-queries optimization problem. Secondly, we introduce a new rewriting translation technique to decompose and reorganize a complex query into its corresponding Structure of complex XPath (SXP). Following this, multi-query evaluation is performed based on the containment relationships between the queries. The containment relationships are exploited by a global data structure, the Structural-Query-Index Tree (SQIT), which supports prefix sharing among the submitted queries. The experimental results demonstrate that the proposed approach obtains higher query processing efficiency than traditional ones. © Springer-Verlag Berlin Heidelberg 2011.

关键词： Query processing

来源：评论

学校读者我要写书评

暂无评论

Empirical design bugs prediction for verification

Empirical design bugs prediction for verification

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Qi Guo Tianshi Chen Haihua Shen Yunji Chen Yue Wu Weiwu Hu Chinese Academy of Sciences Beijing Beijing CN Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China

Coverage model is the main technique to evaluate the thoroughness of dynamic verification of a Design-under-Verification (DUV). However, rather than achieving a high coverage, the essential purpose of verification is to expose as many bugs as possible. In this paper, we propose a novel verification methodology that leverages the early bug prediction of a DUV to guide and assess related verification process. To be specific, this methodology utilizes predictive models built upon artificial neural networks (ANNs), which is capable of modeling the relationship between the high-level attributes of a design and its associated bug information. To evaluate the performance of constructed predictive model, we conduct experiments on some open source projects. Moreover, we demonstrate the usability and effectiveness of our proposed methodology via elaborating experiences from our industrial practices. Finally, discussions on the application of our methodology are presented.

关键词： computer bugs Predictive models Complexity theory Measurement Training data Training Correlation

来源：评论

学校读者我要写书评

暂无评论

Yield Explorer故障诊断软件的设计与开发

Yield Explorer故障诊断软件的设计与开发

引用

第七届中国测试学术会议

作者： Guo Hao 郭浩 Ye Jing 叶靖 Hu Yu 胡瑜 Li Xiaowei 李晓维 State Key Laboratory of Computer Architecture Beijing 100190 Institute of Computing Technology Ch 计算机体系结构国家重点实验室(筹) 北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049 State Key Laboratory of Computer Architecture Beijing 100190 Institute of Computing Technology Ch 计算机体系结构国家重点实验室(筹) 北京100190 中国科学院计算技术研究所北京100190

随着电路制造工艺的不断加深，芯片故障诊断的难度越来越大。为了较快的对芯片进行诊断，就要借助故障诊断软件的帮助。国内在此领域研究与发展较薄弱，主要依赖于国外厂商的成熟软件。本文所设计的故障诊断软件参考了国外优秀软件的共... 详细信息

随着电路制造工艺的不断加深，芯片故障诊断的难度越来越大。为了较快的对芯片进行诊断，就要借助故障诊断软件的帮助。国内在此领域研究与发展较薄弱，主要依赖于国外厂商的成熟软件。本文所设计的故障诊断软件参考了国外优秀软件的共同特点，同时融入了自己的特色，考虑了新工艺形势下的故障特点。软件支持多种输入文件格式，具有较好的可扩展性，同时便于作为诊断算法的评估平台。

关键词：集成电路芯片故障诊断软件开发功能分析

来源：评论

学校读者我要写书评

暂无评论

Cross-layer optimized placement and routing for FPGA soft error mitigation

Cross-layer optimized placement and routing for FPGA soft er...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Keheng Huang Yu Hu Xiaowei Li Chinese Academy of Sciences Beijing Beijing CN Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China

As the feature size of FPGA shrinks to nanometers, soft errors increasingly become an important concern for SRAM-based FPGAs. Without consideration of the application level impact, existing reliability-oriented placement and routing approaches analyze soft error rate (SER) only at the physical level, consequently completing the design with suboptimal soft error mitigation. Our analysis shows that the statistical variation of the application level factor is significant. Hence in this work, we first propose a cube-based analysis to efficiently and accurately evaluate the application level factor. And then we propose a cross-layer optimized placement and routing algorithm to reduce the SER by incorporating the application level and the physical level factor together. Experimental results show that, the average difference of the application level factor between our cube-based method and Monte Carlo golden simulation is less than 0.01. Moreover, compared with the baseline VPR placement and routing technique, the cross-layer optimized placement and routing algorithm can reduce the SER by 14% with no area and performance overhead.

关键词： Routing Wires Circuit faults Field programmable gate arrays Monte Carlo methods Algorithm design and analysis Accuracy

来源：评论

学校读者我要写书评

暂无评论

Accelerating vehicle detection in low-altitude airborne urban video

Accelerating vehicle detection in low-altitude airborne urba...

引用

International Conference on Image and Graphics

作者： Cao, Xianbin Lin, Renjun Yan, Pingkun Li, Xuelong Anhui Province Key Laboratory of Software In Computing and Communication School of Computer Science and Technology University of Science and Technology of China Hefei 230027 Anhui China Xi'an Institute of Optics and Precision Mechanics Chinese Academy of Sciences Xi'an 710119 Shaanxi China

ISBN: (纸本)9780769545417

The limitation of the existing methods of traffic data collection is that they rely on techniques that are strictly local in nature. The airborne system in unmanned aircrafts provides the advantages of wider view angle and higher mobility. However, detecting vehicles in airborne videos is a challenging task because of the scene complexity and platform movement. Most of the techniques used in stationary platforms cannot perform well in this situation. A new and efficient method based on Bayes model is proposed in this paper. This method can be divided into two stages, attention focus extraction and vehicle classification. Experimental results demonstrated that, compared with other representative algorithms, our method obtained better performance with higher detection rate, lower false positive rate and faster detection speed. © 2011 IEEE.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

A SAT-Based Pattern Generation Method for Diagnosis Multiple Scan Chain Faults

A SAT-Based Pattern Generation Method for Diagnosis Multiple...

引用

2011 2nd International Conference on Advanced Measurement and Test (AMT 2011)

作者： Fei Wang Da Wang Haigang Yang System on Programmable Chip Research Department Institute of Electronics Chinese Academy of Sciences Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy of Sciences

Scan chain design is a widely used design-for-testability(DFT) technique to improve test and diagnosis qualityHowever, failures on scan chain itself account for up to 30% of chip failuresTo diagnose root causes of scan chain failures in a short period is vital to failure analysis process and yield improvementsAs the conventional diagnosis process usually runs on the faulty free scan chain, scan chain faults may disable the diagnostic process, leaving large failure area to time-consuming failure analysisIn this paper, a SAT-based technique is proposed to generate patterns to diagnose scan chain faultsThe proposed work can efficiently generate high quality diagnostic patterns to achieve high diagnosis resolutionMoreover, the computation overhead of proving equivalent faults is reducedExperimental results on ISCAS'89 benchmark circuits show that the proposed method can reduce the number of diagnostic patterns while achieving high diagnosis resolution.

关键词： scan chain,testing,diagnosis,boolean satisfiability(SAT),very large scale integration

来源：评论

学校读者我要写书评

暂无评论

KLT feature based vehicle detection and tracking in airborne videos

KLT feature based vehicle detection and tracking in airborne...

引用

International Conference on Image and Graphics

作者： Cao, Xianbin Lan, Jinhe Yan, Pingkun Li, Xuelong Anhui Province Key Laboratory of Software In Computing and Communication School of Computer Science and Technology University of Science and Technology of China Hefei 230027 Anhui China Xi'an Institute of Optics and Precision Mechanics Chinese Academy of Sciences Xi'an 710119 Shaanxi China

ISBN: (纸本)9780769545417

Airborne vehicle detection and tracking systems equipped on unmanned aerial vehicles (UAVs) are difficult to develop because of factors like UAV motion, scene complexity and so on. In this paper, we propose a new framework of multi-motion layer analysis to detect and track moving vehicles in airborne platform. Moving vehicles are firstly detected by registration and temporal differencing to establish motion layers. After motion layers are constructed, they are maintained over time for tracking vehicles. All vehicles are tracked by maintaining their corresponding motion layers. Our experimental results showed that compared with other previous algorithms, our method can achieve better results in terms of detection and tracking performance. © 2011 IEEE.

关键词： Antennas

来源：评论

学校读者我要写书评

暂无评论

Towards practical ABox abduction in large OWL DL ontologies 25

Towards practical ABox abduction in large OWL DL ontologies

引用

25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11

作者： Du, Jianfeng Qi, Guilin Shen, Yi-Dong Pan, Jeff Z. Guangdong University of Foreign Studies Guangzhou 510006 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China School of Computer Science and Engineering Southeast University NanJing 211189 China State Key Laboratory for Novel Software Technology Nanjing University China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Department of Computing Science University of Aberdeen Aberdeen AB243UE United Kingdom

ISBN: (纸本)9781577355090

ABox abduction is an important aspect for abductive reasoning in Description Logics (DLs). It finds all minimal sets of ABox axioms that should be added to a background ontology to enforce entailment of a specified set of ABox axioms. As far as we know, by now there is only one ABox abduction method in expressive DLs computing abductive solutions with certain minimality. However, the method targets an ABox abduction problem that may have infinitely many abductive solutions and may not output an abductive solution in finite time. Hence, in this paper we propose a new ABox abduction problem which has only finitely many abductive solutions and also propose a novel method to solve it. The method reduces the original problem to an abduction problem in logic programming and solves it with Prolog engines. Experimental results show that the method is able to compute abductive solutions in benchmark OWL DL ontologies with large ABoxes. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

An intelligent load balancing algorithm towards efficient cloud computing

An intelligent load balancing algorithm towards efficient cl...

引用

2011 AAAI Workshop

作者： Xu, Yang Wu, Lei Guo, Liying Chen, Zheng Yang, Lai Shi, Zhongzhi Agent-based Cooperative System Lab School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu SC 611731 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9781577355243

MapReduce provided a novel computing model for complex job decomposition and sub-tasks management to support cloud computing with large distributed data sets. However, its performance is significantly influenced by the working data distributions over those data sets. In this paper, we put forward a novel model to balance data distribution to improve cloud computing performance in data-intensive applications, such as distributed data mining. By extending the classic MapReduce model with an agent-aid layer and abstracting working load requests for data blocks as tokens, the agents can reason from previously received tokens about where to send other tokens in order to balance the working tasks and improve system performance. Our key contribution lies in building an efficient token routing algorithm in spite of agents' unknowing to the global state of data distribution in cloud. We also built a prototype of our system, and the experimental results show that our approach can significantly improve the efficiency of cloud computing. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

GPU-accelerated fault simulation and its new applications

GPU-accelerated fault simulation and its new applications

引用

International Symposium on VLSI Design, Automation and Test

作者： Huawei Li Dawen Xu Kwang-Ting Cheng Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China Department of Electrical and Computer Engineering University of California Santa Barbara CA USA

GPUs have recently been explored as a new general-purpose computing platform, which are suitable for the acceleration of compute-intensive EDA applications. In this paper we describe a GPU-based one- to n-detection fault simulator for both stuck-at and transition faults, which demonstrates a 20X speedup over a commercial CPU-based fault simulator. We further show new fault-simulation-based test selection applications enabled by this accelerated fault simulation. Our results demonstrate that the tests selected from the applications achieve higher fault coverages for 1-to-n detections with steeper fault coverage curves, as well as a better delay test quality, in comparison with tests deterministically generated by commercial ATPG tools.

关键词： Circuit faults Graphics processing unit Instruction sets Delay Integrated circuit modeling Logic gates Computational modeling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共353页 << < 301 302 303 304 305 306 307 308 309 310 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：