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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

14,479 篇 会议
86 篇 期刊文献
7 册 图书

馆藏范围

14,572 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

8,871 篇 工学
- 5,280 篇 计算机科学与技术...
- 3,494 篇 软件工程
- 1,404 篇 控制科学与工程
- 1,043 篇 机械工程
- 1,013 篇 电气工程
- 1,008 篇 信息与通信工程
- 635 篇 电子科学与技术（可...
- 544 篇 仪器科学与技术
- 299 篇 动力工程及工程热...
- 269 篇 建筑学
- 248 篇 土木工程
- 227 篇 交通运输工程
- 227 篇 生物医学工程（可授...
- 208 篇 化学工程与技术
- 192 篇 安全科学与工程
- 187 篇 材料科学与工程（可...
- 184 篇 环境科学与工程（可...
- 182 篇 生物工程
- 181 篇 光学工程
2,679 篇 管理学
- 2,218 篇 管理科学与工程(可...
- 580 篇 图书情报与档案管...
- 530 篇 工商管理
2,480 篇 理学
- 1,304 篇 数学
- 623 篇 系统科学
- 471 篇 物理学
- 307 篇 统计学（可授理学、...
- 264 篇 生物学
- 176 篇 化学
227 篇 教育学
- 215 篇 教育学
204 篇 经济学
- 202 篇 应用经济学
176 篇 医学
137 篇 文学
128 篇 法学
111 篇 农学
69 篇 艺术学
47 篇 军事学
1 篇 哲学
1 篇 历史学

主题

1,330 篇 computational mo...
995 篇 biological syste...
676 篇 application soft...
546 篇 computer archite...
431 篇 mathematical mod...
309 篇 computer science
290 篇 analytical model...
253 篇 computer simulat...
234 篇 monitoring
213 篇 educational inst...
200 篇 real time system...
179 篇 power system mod...
170 篇 data mining
168 篇 object oriented ...
166 篇 data models
165 篇 adaptation model
155 篇 modeling
154 篇 hardware
153 篇 databases
151 篇 servers

机构

32 篇 department of co...
29 篇 school of contro...
26 篇 college of compu...
24 篇 school of comput...
23 篇 school of contro...
20 篇 school of comput...
19 篇 school of comput...
18 篇 school of comput...
18 篇 school of comput...
16 篇 school of comput...
16 篇 school of comput...
16 篇 school of comput...
16 篇 school of comput...
16 篇 college of compu...
14 篇 department of co...
14 篇 college of compu...
14 篇 college of compu...
13 篇 school of comput...
13 篇 school of comput...
13 篇 college of compu...

作者

15 篇 wei li
14 篇 china
13 篇 li li
13 篇 wang wei
12 篇 wang hui
11 篇 wang li
10 篇 zhang lei
10 篇 li yang
10 篇 hui wang
10 篇 wei liu
10 篇 li ying
10 篇 li jing
10 篇 xin li
9 篇 lei wang
9 篇 qing wang
9 篇 li xin
9 篇 wang jing
9 篇 wang jian
9 篇 jie li
9 篇 gang liu

语言

14,426 篇 英文
127 篇 中文
14 篇 其他
2 篇 俄文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 乌克兰文

检索条件"任意字段=2010 International Conference on Computer Application and System Modeling, ICCASM 2010"

共 14572 条记录，以下是291-300 订阅

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

详细简洁

排序：

Spectral Representation of Some Computably Enumerable Sets with an application to Quantum Provability

引用

12th international conference on Unconventional Computation and Natural Computation (UCNC)

作者： Calude, Cristian S. Tadaki, Kohtaro Univ Auckland Dept Comp Sci Auckland 1 New Zealand Chuo Univ Tokyo Japan

ISBN: (纸本)9783642390746;9783642390739

We propose a new type of quantum computer which is used to prove a spectral representation for a class S of computable sets. When S. S codes the theorems of a formal system, the quantum computer produces through measurement all theorems and proofs of the formal system. We conjecture that the spectral representation is valid for all computably enumerable sets. The conjecture implies that the theorems of a general formal system, like Peano Arithmetic or ZFC, can be produced through measurement;however, it is unlikely that the quantum computer can produce the proofs as well, as in the particular case of S. The analysis suggests that showing the provability of a statement is different from writing up the proof of the statement.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Modulating Vision with Motor Plans: A Biologically-inspired Efficient Allocation of Visual Resources 13

Modulating Vision with Motor Plans: A Biologically-inspired ...

引用

13th IEEE-RAS international conference on Humanoid Robots (Humanoids)

作者： Lukic, Luka Billard, Aude Santos-Victor, Jose Inst Super Tecn VISLAB ISR Lisbon Portugal Ecole Polytech Fed Lausanne LASA Lausanne Switzerland

ISBN: (纸本)9781479926190

This paper presents a novel, biologically-inspired, approach for an efficient management of computational resources for visual processing. In particular, we modulate a visual "attentional landscape" with the motor plans of a robot. The attentional landscape is a more recent, general and a more complex concept of an arrangement of spatial attention than a simple "attentional spotlight" or a "zoom-lens" model of attention. A higher attention priority for visual processing must be given to manipulation-relevant parts of the visual field, in contrast with other, manipulation-irrelevant, parts. Hence, in our model visual attention is not exclusively defined in terms of visual saliency in color, texture or intensity cues, it is rather modulated by motor (manipulation) programs. This computational model is supported by recent experimental findings in visual neuroscience and physiology. We show how this approach can be used to efficiently distribute limited computational resources devoted to visual processing, which is very often the computational bottleneck in a robot system. The model offers a view on the well-known concept of visual saliency that has not been tackled so far, thus this approach can offer interesting alternative prospects not only for robotics, but also for computer vision, physiology and neuroscience. The proposed model is validated in a series of experiments conducted with the iCub robot, both using the simulator and with the real robot.

关键词： biomimetics robot vision attention zoom-lens model attentional spotlight biologically-inspired efficient allocation computer vision iCub robot physiology robot motor plans robotics visual attentional landscape visual neuroscience visual processing visual resources visual saliency Cameras Computational modeling Couplings Kernel Robots Trajectory Visualization

来源：评论

学校读者我要写书评

暂无评论

A model-driven development method for applying to management information systems

引用

2nd international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2010

作者： Matsumoto, Keinosuke Mizuno, Tomoki Mori, Naoki Department of Computer Science and Intelligent Systems Graduate School of Engineering Osaka Prefecture University 1-1 Gakuen-cho Nakaku Sakai Osaka 599-8531 Japan

ISBN: (纸本)9783642297632

Almost every information system is built assuming that it is to be modified during operation. It costs very much to transplant the system to change requirement specifications or implementing technologies. For this purpose, there is a model theory approach that is based on a theory that a system can be modeled by automata and set theory. However, it is very difficult to generate automata of the system to be developed right from the start. In addition, there is a model-driven development method that can flexibly correspond to changes of business logics or implementing technologies. In the model-driven development, a system is modeled using a modeling language. This paper proposes a new development method applying the model-driven development method to a component of the model theory approach. The experiment has shown that a reduced amount of workloads is more than 30% of all the workloads. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Actionable mining of large, multi-relational data using localized predictive models

引用

2nd international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2010

作者： Ghosh, Joydeep Sharma, Aayush Department of Electrical and Computer Engineering University of Texas at Austin Austin TX 78712 United States

ISBN: (纸本)9783642297632

Many large datasets associated with modern predictive data mining applications are quite complex and heterogeneous, possibly involving multiple relations, or exhibiting a dyadic nature with associated side-information. For example, one may be interested in predicting the preferences of a large set of customers for a variety of products, given various properties of both customers and products, as well as past purchase history, a social network on the customers, and a conceptual hierarchy on the products. This article provides an overview of recent innovative approaches to predictive modeling for such types of data, and also provides some concrete application scenarios to highlight the issues involved. The common philosophy in all the approaches described is to pursue a simultaneous problem decomposition and modeling strategy that can exploit heterogeneity in behavior, use the wide variety of information available and also yield relatively more interpretable solutions as compared to global "one-shot" approaches. Since both the problem domains and approaches considered are quite new, we also highlight the potential for further investigations on several occasions throughout this article. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Sales

来源：评论

学校读者我要写书评

暂无评论

Selection of appropriate data storage for wavelet transform coefficients

Selection of appropriate data storage for wavelet transform ...

引用

2010 6th international Joint conference on computer, Information, and systems Sciences, and Engineering, CISSE 2010

作者： Žouželková, I. Vala, R. Juřík, M. Department of Computer and Communication Systems Faculty of Applied Informatics Tomas Bata University in Zlín Nad Stráněmi 4511 760 05 Zlín Czech Republic

ISBN: (纸本)9781461435570

The study of transform coefficients brought a question of a useful tool for signal evaluation and comparison. The application should use a database storage system for fast inserting and selecting data and should be also capable of saving large amount of real numbers. This paper deals with performance tests of selected database management systems: relational MySQL, MS SQL and object-relational PostgreSQL. The tests were focused on different storage engines and used data types such as a numerical array, text and decimal. Besides the relational database models, a multidimensional approach was projected and analyzed. The results showed that the most effective solution is saving the transform coefficients into separated 16 atributes using the MySQL storage engine called MyISAM. The multidimensional model appeared to be less suitable for this kind of application. © 2013 Springer Science+Business Media.

关键词： Virtual storage

来源：评论

学校读者我要写书评

暂无评论

Data-driven adaptive control paradigm of supply chain in pharmaceutical chain enterprises

引用

international conference on Informatics and Management Science, IMS 2012

作者： Wei, Hua Xia, Wei Wei, Xiao-Dong Peng, Dai-Yin Huang, Chuan-Hua Anhui University of Traditional Chinese Medicine Hefei Anhui 230038 China College of Electronic and Information Engineering Anhui University of Architecture Hefei Anhui 230022 China Department of Computer Science Anhui Zhong-ao Institute of Technology Hefei Anhui 230000 China

ISBN: (纸本)9781447148043

There are some problems in researches on supply chain control of pharmaceutical chain enterprises under dynamic environment. The authors establish a new paradigm of computer simulation analysis and adaptive control, the core strategies of which are data-driven and agent's computing. The paper constructs a feedback closed-loop cycle mode that is data collection and processing, data-driven mode discovery and performance identification, data-driven control output. Then an adaptive dynamic control strategy is established based on active induction and emergency intervention control. Contents of the new strategy include: supply chain modeling of pharmaceutical chain enterprises based on CAS, adaptive control paradigm of supply chain in pharmaceutical chain enterprises, program design of control and system behavior assessment based on epsilon machine. © 2013 Springer-Verlag.

关键词： Supply chains

来源：评论

学校读者我要写书评

暂无评论

Simulation Software for Flow of Fluid with Suspended Point Particles in Complex Domains: application to Matrix Diffusion

Simulation Software for Flow of Fluid with Suspended Point P...

引用

11th international conference on Applied Parallel and Scientific Computing (PARA)

作者： Toivanen, Jukka I. Mattila, Keijo Hyvaluoma, Jari Kekalainen, Pekka Puurtinen, Tuomas Timonen, Jussi Univ Jyvaskyla FI-40014 Jyvaskyla Finland Univ Fed Santa Catarina BR-88040 90 Florianopolis SC Brazil MTT Agrifood Res Finland FI-31600 Jokioinen Finland

ISBN: (纸本)9783642368035

Matrix diffusion is a phenomenon in which tracer particles convected along a flow channel can diffuse into porous walls of the channel, and it causes a delay and broadening of the breakthrough curve of a tracer pulse. Analytical and numerical methods exist for modeling matrix diffusion, but there are still some features of this phenomenon, which are difficult to address using traditional approaches. To this end we propose to use the lattice-Boltzmann method with point-like tracer particles. These particles move in a continuous space, are advected by the flow, and there is a stochastic force causing them to diffuse. This approach can be extended to include particle-particle and particle-wall interactions of the tracer. Numerical results that can also be considered as validation of the LBM approach, are reported. As the reference we use recently-derived analytical solutions for the breakthrough curve of the tracer.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Metrics in assessing the quality and evolution of jEdit

Metrics in assessing the quality and evolution of jEdit

引用

2010 6th international Joint conference on computer, Information, and systems Sciences, and Engineering, CISSE 2010

作者： Bluemke, Ilona Roguski, Rafal Institute of Computer Science Warsaw University of Technology Nowowiejska 15/19 00-665 Warsaw Poland

ISBN: (纸本)9781461435570

Adequate metrics of object-oriented software enable to determine the complexity of a system, estimate the effort needed for testing and even locate some parts in the design that could be error prone or should be redesigned. The measurements and metrics are not widely used in the development of software. Contemporary systems are complex and adequate measuring tool is necessary in the design and evolution process. In this paper we present how software metrics can be used in assessing software. Next, a case study-an evaluation of three versions of a well known open source software-jEdit is presented. To measure this application Metrics 1.3.6, an Eclipse plug-in, was used. The correlation of metrics values and real quality attributes of software is described. On the basis of metrics values some conclusions concerning the quality of the design of each version and some general trends in the evolution of jEdit project evolution are derived. © 2013 Springer Science+Business Media.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

LOGICAL AND EXPERIMENTAL VERIFICATION OF computer MODEL FOR HEAT DISTRIBUTION IN THE OBJECTS UNDER COVER

LOGICAL AND EXPERIMENTAL VERIFICATION OF COMPUTER MODEL FOR ...

引用

5th international conference on Trends in Agricultural Engineering

作者： Vogelgesang, Jan Rutkowski, Kazimierz Kempkiewicz, Krzysztof Agr Univ Krakow Fac Prod & Power Engn PL-30149 Krakow Poland

ISBN: (纸本)9788021323889

The technical system that gains heat from deep in the ground by heat pump is complicated and any attempt to implement innovative solutions requires a comprehensive analysis. The developed computer program had to predict the effects of design changes in the system: the lower source - heat pump - buffer tank - heaters - the greenhouse and its environment. The goal of this paper is to present the method to verify and determine the directions of model improvement (Vogelgesang et al., 2010). The verification process consists of two stages. First, a computer model with logical and some other tests was experienced to check the behavior of desired quality features. In this model, the fiction experiences were implemented changing about 20 input variables, and their results to logic and expert analysis were subjected. No unexpected program behaviors were occurred, also in limit situations. In this analysis the expected and known quality relations were confirmed as "increase", "decrease". Next, an experiment in the real object was carried, to calibrate the model and to determine the numerical values of some parameters, in particular related to environmental variables, including coefficient of heat transfer. After obtaining adjusted values, the model was experimentally verified conducting a series of experiments, similarly to the quality verification, but this time expecting confirmation of the simulated values with these obtained in the real object. Due to technical limitations, experiments included only variables related with the buffer tank operation. In this scope, the satisfactory quality of applied model was stated. Obtained consistency of results allows choose an optimal size of the buffer tank in the technical system with heat pump having a model as a base including expected time of its use, the object type and the projected weather scenario. There was found that further development requires modeling of thermal processes in the greenhouse, in particular the internal hea

关键词： computer model heat distribution

来源：评论

学校读者我要写书评

暂无评论

Knowledge Discovery, Knowledge Engineering and Knowledge Management - Second international Joint conference, IC3K 2010, Revised Selected Papers

引用

2nd international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2010

ISBN: (纸本)9783642297632

The proceedings contain 28 papers. The topics discussed include: a spatio-anatomical medical ontology and automatic plausibility checks;experimentally studying progressive filtering in presence of input imbalance;semantic web search system founded on case-based reasoning and ontology learning;early warning and decision support in critical situations of opinion formation within online social networks;a connection between extreme learning machine and neural network kernel;visually summarizing semantic evolution in document streams with topic table;a clinical application of feature selection: quantitative evaluation of the locomotor function;inference based query expansion using user's real time implicit feedback;a quantitative knowledge measure and its applications;a model-driven development method for applying to management information systems;and automated reasoning support for ontology development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：