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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,196 篇 期刊文献
1,195 篇 会议
21 册 图书

馆藏范围

2,412 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,658 篇 工学
- 929 篇 计算机科学与技术...
- 814 篇 软件工程
- 444 篇 控制科学与工程
- 297 篇 信息与通信工程
- 242 篇 电气工程
- 232 篇 机械工程
- 180 篇 生物工程
- 144 篇 生物医学工程（可授...
- 138 篇 电子科学与技术（可...
- 119 篇 光学工程
- 86 篇 仪器科学与技术
- 84 篇 化学工程与技术
- 73 篇 动力工程及工程热...
- 53 篇 材料科学与工程（可...
- 49 篇 交通运输工程
- 41 篇 安全科学与工程
- 38 篇 建筑学
- 37 篇 力学（可授工学、理...
926 篇 理学
- 500 篇 数学
- 196 篇 生物学
- 194 篇 系统科学
- 185 篇 物理学
- 144 篇 统计学（可授理学、...
- 78 篇 化学
379 篇 管理学
- 261 篇 管理科学与工程(可...
- 129 篇 图书情报与档案管...
- 67 篇 工商管理
101 篇 医学
- 92 篇 临床医学
- 69 篇 基础医学(可授医学...
- 48 篇 药学(可授医学、理...
36 篇 法学
26 篇 经济学
19 篇 农学
13 篇 教育学
11 篇 艺术学
7 篇 文学
1 篇 军事学

主题

52 篇 feature extracti...
51 篇 automation
44 篇 control systems
37 篇 reinforcement le...
35 篇 neural networks
34 篇 laboratories
34 篇 training
33 篇 deep learning
32 篇 optimization
31 篇 machine learning
30 篇 accuracy
28 篇 image segmentati...
28 篇 artificial intel...
27 篇 robustness
26 篇 computational mo...
25 篇 trajectory
25 篇 mathematical mod...
23 篇 computer science
23 篇 semantics
22 篇 pattern recognit...

机构

73 篇 school of automa...
69 篇 department of au...
57 篇 faculty of infor...
56 篇 national laborat...
49 篇 university of ch...
47 篇 school of electr...
46 篇 beijing key labo...
45 篇 state key labora...
40 篇 school of automa...
36 篇 institute of aut...
35 篇 ieee
33 篇 school of artifi...
32 篇 peng cheng labor...
30 篇 school of comput...
28 篇 school of comput...
27 篇 school of automa...
27 篇 institutes for r...
27 篇 school of inform...
27 篇 state key labora...
26 篇 school of automa...

作者

42 篇 niyato dusit
38 篇 junping du
38 篇 kang jiawen
37 篇 yingmin jia
27 篇 fashan yu
23 篇 fei-yue wang
20 篇 li kang
19 篇 kang li
19 篇 johansson karl h...
18 篇 shi ling
18 篇 du hongyang
18 篇 yang tao
17 篇 derong liu
17 篇 yi xinlei
15 篇 du junping
15 篇 jia yingmin
15 篇 fei minrui
14 篇 shen tao
14 篇 li stan z.
14 篇 li xiang

语言

2,211 篇 英文
152 篇 其他
52 篇 中文

检索条件"机构=Laboratory of Computer Science Engineering and Automation"

共 2412 条记录，以下是2001-2010 订阅

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

详细简洁

排序：

Achieving high branch coverage with fewer paths

Achieving high branch coverage with fewer paths

引用

35th Annual IEEE International computer Software and Applications Conference Workshops, COMPSACW 2011

作者： Dong, Yu Lin, Mengxiang Yu, Kai Zhou, Yi Chen, Yinli State Key Laboratory of Software Development Environment Beihang University China School of Computer Science and Engineering Beihang University China School of Mechanical Engineering and Automation Beihang University China

ISBN: (纸本)9780769544595

Symbolic execution based test generation has made progress in recent years. However, in order to scale to larger programs there are some issues to be solved. Among them, generating a set of feasible paths to achieve high coverage gets more attention. In this paper, we focus on how to increase covering efficiency while maintaining high coverage. To achieve high branch coverage efficiently, we propose a path generation approach DYNASTY. A heuristic search strategy based on branch residual is used to guide branch selection. To avoid repetitive path exploration, a data structure named path trie is introduced to store paths generated. We have implemented our approach and conducted primary experiments. Our approach achieves high branch coverage quickly on the subjects. © 2011 IEEE.

关键词： Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

Active control of friction-induced self-excited vibration using adaptive fuzzy systems

Active control of friction-induced self-excited vibration us...

引用

作者： Wang, Y.F. Wang, D.H. Chai, T.Y. School of Mechanical Engineering and Automation Northeastern University Shenyang Liaoning 11004 China Department of Computer Science and Computer Engineering La Trobe University Melbourne VIC 3086 Australia State Key Laboratory of Integrated Automation for Process Industries Northeastern University Shenyang Liaoning 11004 China

Vibration caused by friction is harmful to engineering systems. Understanding the mechanism of such a physical phenomenon and developing some strategies to effectively control the vibration have both theoretical and practical significance. Based on our previous work, this paper deals with a problem of active compensation control of friction-induced self-excited vibration using adaptive fuzzy systems. Comparative studies on control performance are carried out, where a class of adaptive compensation control schemes with various friction models are applied to control a motion dynamics with friction. It is observed that our proposed modeling and control techniques are powerful to eliminate the limit cycle and the steady-state error. Furthermore, robustness of the proposed controller with respect to external disturbances is discussed. Simulation results show that the active controller with adaptive fuzzy friction compensation outperforms other active controllers with compensation terms characterized by three well-known friction models. © 2011 Elsevier Ltd.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

A digital entertainment system based on augmented reality

A digital entertainment system based on augmented reality

引用

2011 3rd International Asia Conference on Informatics in Control, automation and Robotics, CAR 2011

作者： Zhang, Mandun Wu, Lei Yang, Lu Wang, Yangsheng School of Computer Science and Engineering Hebei University of Technology Tianjin 300401 China Digital Interactive Media Laboratory Institute of Automation Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9783642259913

Augmented Reality Digital Entertainment System uses Augmented Reality technology in the field of digital entertainment. It merges the virtual scene produced by computer and the reality world scene into a whole perfectly. Then the scene is displayed on the HMD after computer processing. User can see the image clearly through HMD and interact with virtual objects. We choose the Video See-through HMD in experiment and propose a method for the no-markers' situation. The theory of coordinate transformation is analysised in 3D registration and the coming development of Augmented Reality is talked about at last. © 2011 Springer-Verlag.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

引用

22nd International Joint Conference on Artificial Intelligence, IJCAI 2011

作者： Xiao, Yanshan Liu, Bo Yin, Jie Cao, Longbing Zhang, Chengqi Hao, Zhifeng School of Computer Guangdong University of Technology Guangzhou China Faculty of Engineering and IT University of Technology Sydney NSW Australia College of Automation Science and Engineering South China University of Technology Guangzhou China School of Automation Guangdong University of Technology Guangzhou China Information Engineering Laboratory CSIRO ICT Centre Australia

ISBN: (纸本)9781577355120

Positive and unlabelled learning (PU learning) has been investigated to deal with the situation where only the positive examples and the unlabelled examples are available. Most of the previous works focus on identifying some negative examples from the unlabelled data, so that the supervised learning methods can be applied to build a classifier. However, for the remaining unlabelled data, which can not be explicitly identified as positive or negative (we call them ambiguous examples), they either exclude them from the training phase or simply enforce them to either class. Consequently, their performance may be constrained. This paper proposes a novel approach, called similarity-based PU learning (SPUL) method, by associating the ambiguous examples with two similarity weights, which indicate the similarity of an ambiguous example towards the positive class and the negative class, respectively. The local similarity-based and global similarity-based mechanisms are proposed to generate the similarity weights. The ambiguous examples and their similarity-weights are thereafter incorporated into an SVM-based learning phase to build a more accurate classifier. Extensive experiments on real-world datasets have shown that SPUL outperforms state-of-the-art PU learning methods.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Lazy symbolic execution for test data generation

Lazy symbolic execution for test data generation

引用

作者： Lin, M.X. Chen, Y.L. Yu, K. Wu, G.S. State Key Laboratory of Software Development Environment Beihang University China School of Mechanical Engineering and Automation Beihang University China School of Computer Science and Engineering Beihang University China School of Software Engineering Beijing University of Posts and Telecommunications China

In the context of test data generation, symbolic execution gets more attention as computing power increases continuously. Experiments show that test generation tools based on symbolic execution can get high coverage and find bugs on real applications. However, symbolic execution still has limitations in handling some complex program structures such as pointers, arrays and library functions. To address the problem, this study proposes a technique called lazy symbolic execution, which combines symbolic execution with a lazy evaluation strategy. The authors approach is motivated by the observation that some program structures can be reasoned about symbolically and the others have to be evaluated concretely. Traditional symbolic execution can cope with the former well, whereas lazy symbolic evaluation is used to handle the latter. However, lazy symbolic evaluation introduces intermediate variables into path constraints. To eliminate those variables, concrete values for some input variables are first obtained by constraint solving or searching processes. Then, the given path is executed again using inputs consisting of concrete and symbolic values. The procedure is repeated until all intermediate variables are wiped out. The authors have implemented a prototype tool and performed some experiments. The empirical results show the effectiveness of their approach. © 2011 The Institution of engineering and Technology.

关键词： Concretes

来源：评论

学校读者我要写书评

暂无评论

Influence of AC external magnetic field on the levitation force relaxation of HTS bulk above NdFeB guideway

Influence of AC external magnetic field on the levitation fo...

引用

作者： Liu, Minxian Lu, Yiyun Wang, Suyu Ma, Guangtong School of Computer Science and Technology Southwest University of Science and Technology Mianyang Sichuan 621000 China Department of Electrical Engineering and Automation Luoyang Institute of Science and Technology Luoyang Henan 471023 China Applied Superconductivity Laboratory Southwest Jiaotong University Chengdu Sichuan 610031 China

In the present High-Temperature Superconducting (HTS) maglev vehicle system, the air gaps between the adjacent permanent magnets make the magnetic fields above the NdFeB guideway non-uniform. So one is required to study the characteristics of levitation force of the HTS bulk influenced by non-uniform fields. In this paper, we have studied the characteristics of the levitation force relaxation by an experiment in which the AC external magnetic field generated by an electromagnet is used to simulate the timevarying external magnetic field caused by the inhomogeneity of the NdFeB guideway. From the experiment results, it is found that the levitation force is attenuated with the application of the AC external magnetic field, and the decay is increased with the amplitude of the AC magnetic field, but the decay is almost independent of the frequency of the AC magnetic field. © 2010 Springer science+Business Media, LLC.

关键词： Iron alloys

来源：评论

学校读者我要写书评

暂无评论

Numerical evaluation of levitation force oscillation of HTS bulk exposed to AC magnetic field over NdFeB guideway

Numerical evaluation of levitation force oscillation of HTS ...

引用

The levitation force of the YBCO bulk over an NdFeB guideway used in the high-temperature superconducting (HTS) maglev vehicle system is oscillated by the application of the AC external magnetic field. In our previous work, we interpreted that the oscillation is due to the shielding current fluctuation caused by fluctuant external magnetic field. In this paper, based on the Bean model, an analytical model is adopted to evaluate the levitation force. Comparing with the experimental results, the calculated results show good matching. The model can reveal the oscillation characteristics of the levitation force of HTS bulk which is being exposed to AC external magnetic field. Therefore, the levitation force oscillation of the HTS bulk in the maglev vehicle system can be evaluated by this numerical method. © 2010 Springer science+Business Media, LLC.

关键词： Iron alloys

来源：评论

学校读者我要写书评

暂无评论

Target object identification and localization in mobile manipulations

Target object identification and localization in mobile mani...

引用

2011 IEEE International Conference on Robotics and Biomimetics, ROBIO 2011

作者： Jiang, Yong Xi, Ning Zhang, Qin Jia, Yunyi Department of Electrical and Computer Engineering Michigan State University East Lansing MI 48824 United States State Key Laboratory of Robotics Shenyang Institute of Automation Chinese Academy of Science Shenyang 110016 China Mechatronic Engineering Beijing University of Posts and Telecommunications Beijing 100876 China

ISBN: (纸本)9781457721373

How to make mobile manipulator autonomously identify and locate target object in unknown environment, this is a very challenging question. In this paper, a multi-sensor fusion method based on camera and laser range finder (LRF) for mobile manipulations is proposed. Although the camera can acquire rich perceptual information, the image processing is very complex and easily influenced from the change in ambient light. Moreover, it can not directly provide the depth information of the environment. Since the LRF has the ability to directly measure 3D coordinates and the stability against the ambient light influence, meanwhile, the camera has the ability to acquire color information, the combination of the two sensors by making use of their advantages is utilized to obtain more accurate measurements as well as to simplify information processing. To overlay the camera image with the measurement points of the LRF pitching scan and to reconstruct the 3D image which includes the depth-of-field information, the model and the calibration of the system are built. Based on the combination of the color features extracted from the color image and the shape, size features extracted from the 3D depth-of-field image, the target object identification and localization are implemented autonomously. In order to extract the shape and size features, a triangular facet normal vector clustering (TFNVC) algorithm is introduced. The effectiveness of the proposed method and algorithm are validated by some experimental testing and analysis carried out on the mobile manipulator platform. © 2011 IEEE.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

A dynamic cell resource reserving handoff control algorithm

A dynamic cell resource reserving handoff control algorithm

引用

International Conference on Communications and Mobile Computing

作者： Zhu, Li-Zhong Yao, Zhenglin Guo, Hai-Feng College of Information Science and Engineering Shenyang Ligong University Shenyang 110168 China Northeastern University Beijing 100081 China NCIC and CNU Joint Laboratory for Computer Application Beijing 100081 China Shengyang Institute of Automation CAS Shengyang 110016 China

ISBN: (纸本)9780769543574

Handoff block rate is a very important QoS (Quality of Service) indicator in mobile communication. In hard handoff, the conventional method of reducing handoff block is to reserve some channels especially for handoff mobile terminals in the cell or cell group. This is a static method. It can guarantee the handoff successful rate, but in the meantime, some resource of wireless channel is wasted. In this paper, a dynamic reserving channel resource algorithm has been put forward on accessing instantaneous process. It can improve the utility of wireless network resource. In the paper, this algorithm also is tested in simulating experiment. The results show that the algorithm is available. © 2011 IEEE.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

A Digital Entertainment System Based on Augmented Reality

A Digital Entertainment System Based on Augmented Reality

引用

2011 3rd International Asia Conference on Informatics in Control, automation and Robotics(CAR 2011)

作者： Mandun Zhang Lei Wu Lu Yang Yangsheng Wang School of Computer Science and Engineering Hebei University of Technology Digital Interactive Media Laboratory Institute of AutomationChinese Academy of Sciences

Augmented Reality Digital Entertainment System uses Augmented Reality technology in the field of digital *** merges the virtual scene produced by computer and the reality world scene into a whole *** the scene is displayed on the HMD after computer *** can see the image clearly through HMD and interact with virtual *** choose the Video See-through HMD in experiment and propose a method for the no-markers’*** theory of coordinate transformation is analysised in3D registration and the coming development of Augmented Reality is talked about at last.

关键词： Augmented Reality,Registration,SIFT features,Feature Recognize

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共242页 << < 197 198 199 200 201 202 203 204 205 206 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：