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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,056 篇 工学
- 1,629 篇 计算机科学与技术...
- 1,368 篇 软件工程
- 391 篇 信息与通信工程
- 322 篇 控制科学与工程
- 226 篇 生物工程
- 183 篇 电气工程
- 168 篇 生物医学工程（可授...
- 158 篇 机械工程
- 133 篇 电子科学与技术（可...
- 123 篇 光学工程
- 82 篇 安全科学与工程
- 79 篇 交通运输工程
- 75 篇 化学工程与技术
- 74 篇 仪器科学与技术
- 73 篇 网络空间安全
957 篇 理学
- 531 篇 数学
- 250 篇 生物学
- 240 篇 物理学
- 165 篇 统计学（可授理学、...
- 135 篇 系统科学
- 70 篇 化学
661 篇 管理学
- 399 篇 管理科学与工程(可...
- 284 篇 图书情报与档案管...
- 188 篇 工商管理
184 篇 医学
- 151 篇 临床医学
- 129 篇 基础医学(可授医学...
- 84 篇 公共卫生与预防医...
- 74 篇 药学(可授医学、理...
109 篇 法学
- 86 篇 社会学
76 篇 经济学
- 75 篇 应用经济学
51 篇 教育学
36 篇 农学
18 篇 文学
10 篇 军事学
5 篇 艺术学
2 篇 哲学
1 篇 历史学

主题

110 篇 software enginee...
102 篇 computer science
95 篇 deep learning
90 篇 machine learning
73 篇 accuracy
66 篇 software
65 篇 artificial intel...
61 篇 computational mo...
60 篇 feature extracti...
54 篇 training
50 篇 internet of thin...
49 篇 information tech...
48 篇 predictive model...
46 篇 semantics
45 篇 security
43 篇 data mining
42 篇 optimization
41 篇 support vector m...
38 篇 real-time system...
37 篇 convolutional ne...

机构

46 篇 college of compu...
37 篇 department of so...
32 篇 faculty of softw...
27 篇 department of so...
23 篇 state key labora...
22 篇 school of comput...
21 篇 department of co...
19 篇 faculty of compu...
19 篇 gik institute of...
19 篇 university of eu...
19 篇 dept. of technol...
17 篇 faculty of compu...
16 篇 department of in...
15 篇 school of comput...
15 篇 national key lab...
15 篇 state key labora...
15 篇 faculty of scien...
14 篇 school of comput...
14 篇 school of comput...
14 篇 computer vision ...

作者

37 篇 tao dacheng
21 篇 raja hashim ali
20 篇 ali raja hashim
18 篇 herawan tutut
16 篇 muhammad waseem ...
16 篇 usama arshad
16 篇 arshad usama
16 篇 zamli kamal z.
16 篇 muhammad adnan k...
16 篇 ow siew hock
15 篇 du bo
15 篇 siew hock ow
14 篇 zain ul abideen
14 篇 susilo willy
14 篇 selamat ali
13 篇 tutut herawan
13 篇 lee sai peck
13 篇 liang peng
13 篇 samara ghassan
12 篇 ahmed bestoun s.

语言

3,060 篇 英文
172 篇 其他
23 篇 中文
2 篇 日文
1 篇 德文

检索条件"机构=Faculty of Cybersecurity Software Engineering and Computer Science"

共 3257 条记录，以下是3131-3140 订阅

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

详细简洁

排序：

Elevator group control algorithm based on residual gradient and Q-learning

Elevator group control algorithm based on residual gradient ...

引用

SICE Annual Conference

作者： Ziliang Zong Xugang Wang Zheng Tang Guangzhou Zeng Faculty of Engineering Toyama University Toyama Japan Faculty of Computer Science Shandong University Jinan China Intelligence Engineering Laboratory Institute of Software Chinese Academy and Sciences Beijing China

This paper describes the application of a novel reinforcement learning to the difficult real world problem of elevator dispatching. We propose a new algorithm combing Q-learning and residual gradient to solve this pro... 详细信息

ISBN: (纸本)4907764227

关键词： Elevators Learning Automatic control Aerospace electronics Control systems Shafts Aerospace control Dynamic programming Optimal control computer science

来源：评论

学校读者我要写书评

暂无评论

Recurrent neural network with backpropagation through time for speech recognition

Recurrent neural network with backpropagation through time f...

引用

International Symposium on Communications and Information Technologies (ISCIT)

作者： A.M. Ahmad S. Ismail D.F. Samaon Universiti Teknologi Malaysia Malaysia Department of Software Engineering Faculty of Computer Science and Information System Universiti Teknologi Malaysia Skudai Johor Malaysia

Speech recognition and understanding have been studied for many years. The neural network is well-known as a technique that is able to classify nonlinear problems. Much research has been done in applying neural networks to solving the problem of recognizing speech such as Arabic. Arabic offers a number of challenges to speech recognition. We propose a fully-connected hidden layer between the input and state nodes and the output. We also investigate and show that this hidden layer makes the learning of complex classification tasks more efficient. We also investigate the difference between LPCC (linear predictive cepstrum coefficients) and MFCC (Mel-frequency cepstral coefficients) in the feature extraction process. The aim of the study was to observe the differences in the 29 letters of the Arabic alphabet from "alif" to "ya". The purpose of this research is to upgrade the knowledge and understanding of Arabic alphabet or words using a fully-connected recurrent neural network (FCRNN) and backpropagation through time (BPTT) learning algorithm. Six speakers (a mixture of male and female) in a quiet environment are used in training.

关键词： Recurrent neural networks Backpropagation Speech recognition Neurofeedback Neural networks Natural languages Writing Neurons software engineering computer science

来源：评论

学校读者我要写书评

暂无评论

Verification of multiple input/multiple output business processes

Verification of multiple input/multiple output business proc...

引用

IEEE International Conference on Information Reuse and Integration (IRI)

作者： C. Badica C. Fox Faculty of Automation Computers and Electronics Software Engineering Department University of Craiova Craiova Romania Department of Computer Science University of Essex Colchester UK

In many business process modelling situations using Petri nets, the resulting model does not have a single input place and a single output place. Therefore, the correctness of the model cannot be assessed within the existing frameworks, which are devised for workflow nets - a particular class of Petri nets with a single input place and a single output place. Moreover, the existing approaches for tackling this problem are rather simplistic and they do not work even for simple examples. This paper shows that, by an appropriate reduction of a multiple input/multiple output Petri net, it is possible to use the existing techniques to check the correctness of the original process. The approach is demonstrated with an appropriate example.

关键词： Petri nets Automation computer science software engineering Business process re-engineering Job production systems Virtual manufacturing Information technology Technology management Management information systems

来源：评论

学校读者我要写书评

暂无评论

Formal description of a generic graph model with RTPA

Formal description of a generic graph model with RTPA

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： A. Adewumi Yingxu Wang Department of Computer Sciences Faculty of Science University of Lagos Lagos Nigeria Theoretical and Empirical Software Engineering Center University of Calgary Calgary AB Canada

Formal specification of abstract data types (ADTs) is important in modeling system architectures and their implementations. One of the most widely used ADTs is graph, since many problems in sciences and engineering can be formulated and solved by a graph model. In this paper, we present a formal approach to the specification of graphs as an ADT using real-time process algebra (RTPA). RTPA is a formal method that describes a software system, especially a real-time system, as a set of processes. We use RTPA to describe a generic graph model in three parts encompassing the architecture, static and dynamic behaviors. In the RTPA specification, the graph behaviors can be classified into four categories, namely: (a) basic operations (InsertNode, DeleteNode, InsertEdge, DeleteEdge, GetSize, GetNumberOfEdges, Retrieve, Update, and Search); (b) node/edge-specific operations (FindNode, FindEdge, Fanin, Fanout, FindNeighbours, and Degree); (c) pointer operations (CurrentNode and CurrentEdge); and (d) utility operations (Create, Clear, and Release). Each of the 20 operations is formally described by an RTPA processes in a unified encapsulation of graph behaviors. On the basis of the RTPA graph model, a wide range of graph-based applications can be implemented by sharing the common architecture and behaviors of the graph as a system type or class.

关键词： computer architecture Formal specifications Algebra software systems Real time systems software engineering Tree graphs Encapsulation Application software Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Generic Environment for Full Automation of Benchmarking 1

Generic Environment for Full Automation of Benchmarking

引用

Testing of Component-Based Systems and software Quality, 1st International Workshop on software Quality, SOQUA 2004 and Workshop Testing Component-Based Systems, TECOS 2004

作者： Kalibera, Tomáš Bulej, Lubomír Tůma, Petr Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranské nám. 25 Prague118 00 Czech Republic Institute of Computer Science Czech Academy of Sciences Pod Vodárenskou věží 2 Prague182 07 Czech Republic

ISBN: (纸本)3885793873

Regression testing is an important part of software quality assurance. We work to extend regression testing to include regression benchmarking, which applies benchmarking to detect regressions in performance. Given the specific requirements of regression benchmarking, many contemporary benchmarks are not directly usable in regression benchmarking. To overcome this, we present a case for designing a generic benchmarking environment that will facilitate the use of contemporary benchmarks in regression benchmarking, analyze the requirements and propose architecture of such an environment. © 2004 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Solving interoperability problems on a federation of software process systems

Solving interoperability problems on a federation of softwar...

引用

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

作者： Ahmed-Nacer, Mohamed Mostefai, Med-Amine Computer Science Department Faculty of Electrical Engineering Univ. Sci./Technol. Houari B. BP 32 El-Alia 16123 Bab-Ezzouar Algeria Software Laboratory Ctr. of Res. in Sci. and Tech. Info. 03 frère Aissou Ben Aknoun 16030 Algiers Algeria

ISBN: (纸本)9728865007

software process components that share information and that cooperate for common tasks lead to multiple problems of interoperability. Some based-interoperability approaches have been proposed. However, more problems remain to be solved to enable the heterogeneous process components interoperability at execution level. This paper presents a process-based approach (architecture) for the federation of software process systems. Based on this approach, we focus on its implementation problems for the process execution interoperability. We show how we solve these problems and we discuss their implementation through the main development techniques of distributed applications.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Field testing a wireless sensor network for reactive environmental monitoring [soil moisture measurement]

Field testing a wireless sensor network for reactive environ...

引用

Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP)

作者： R. Cardell-Oliver K. Smettem M. Kranz K. Mayer School of Computer Science & Software Engineering University of Western Australia Australia Centre for Water Research University of Western Australia Australia Faculty of Engineering and Information Technology Australian National University CSIRO ICT Centre Australia

Wireless sensor network technology promises to reveal fine-grained, dynamic changes in monitored variables of an outdoor landscape. But there are significant problems to be overcome in translating this vision to working systems. This paper describes the design and implementation of a reactive, event driven network for environmental monitoring of soil moisture and evaluates the effectiveness of this solution. A novel feature of our solution is its reactivity to the environment: when rain falls and soil moisture is changing rapidly, measurements are collected frequently, whereas during dry periods, between rainfall events, measurements are collected much less often. Reactivity allows us to focus on dynamic responses and limit the amount of useless data gathered, as well as improving robustness and network lifetime. The main contribution of the paper is to demonstrate that a reactive sensor network can deliver useful data on soil moisture responses to rainfall. Field trial results on the reactivity, robustness and longevity of the network are evaluated, and future improvements proposed.

关键词： Testing Wireless sensor networks Soil moisture Rain Robustness computerized monitoring Machine vision Moisture measurement Soil measurements Remote monitoring

来源：评论

学校读者我要写书评

暂无评论

The dimensions of variation in the teaching of data structures

The dimensions of variation in the teaching of data structur...

引用

ITiCSE 2004 - 9th Annual SIGCSE Conference on Innovation and Technology in computer science Education

作者： Lister, Raymond Tenenberg, Josh Box, Ilona Morrison, Brians Westbrook, D. Suzanne University of Technology Sydney Faculty of Information Technology Sydney NSW 2007 Australia University of Washington Tacoma Institute of Technology 1900 Commerce St. Tacoma WA 98402-3100 University of Western Sydney School of Computing and IT Penrith NSW 1797 Australia Southern Polytechnic State University School of Computing and Software Engineering Marietta GA 30060 University of Arizona Department of Computer Science Tucson AZ 85721

The current debate about the teaching of data structures is hampered because, as a community, we usually debate specifics about data structure implementations and libraries, when the real level of disagreement remains implicit - the intent behind our teaching. This paper presents a phenomenographic study of the intent of CS educators for teaching data structures in CS2. Based on interviews with computer science educators and analysis of CS literature, we identified five categories of intent: developing transferable thinking, improving students' programming skills, knowing "what's under the hood", knowledge of software libraries, and component thinking. The CS community needs to first debate at the level of these categories before moving to more specific issues. This study also serves as an example of how phenomenographic analysis can be used to inform debate on syllabus design in general. Copyright 2004 ACM.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

1/f^β noise-based real-time animation of trees swaying in wind fields

1/f<SUP>β</SUP> noise-based real-time animation of trees sw...

引用

computer Graphics International Conference (CGI 2003)

作者： Ota, S Fujimoto, T Tamura, M Muraoka, K Fujita, K Chiba, N Iwate Software Center Japan Computer Science Department Faculty of Engineering Iwate University Japan Department of Communications Engineering Tohoku Institute of Technology Japan

ISBN: (纸本)0769519466

Trees are one of the most important elements of natural landscapes. Therefore, in computer graphics, there is a great demand for methods to realize the natural representation of trees in virtual landscapes in various fields such as entertainment industry or environmental assessment in construction. Many studies have been made on techniques in which the shapes of trees are modeled but only a few studies have been reported on methods to incorporate the shapes with motions in a wind field. Most of these studies use physical simulation techniques based on the equations of motion to generate the branch motions and cannot realize the motions of individual leaves. In this paper, we propose a method to create the natural motions of individual leaves and branches swaying in a wind field. This method generates the leaf and branch motions based on "1/f(beta) noise", which is observed in various natural phenomena. For the branch motion, a simple simulation method based on the spring model is applied to enhance the realism of the motion. This method enables the real-time creation of the leaf and branch motions. Diverse motions according to tree species and shapes and wind conditions can be easily realized by controlling the parameters.

关键词： tree leaf motion wind 1/f(beta) noise real-time animation

来源：评论

学校读者我要写书评

暂无评论

An efficient distributed method for acceptable allocation of resources based on a concession policy 17

An efficient distributed method for acceptable allocation of...

引用

17th International Conference on Advanced Information Networking and Applications

作者： Huang, TJ Cheng, ZX Koyama, A He, AU Zhang, GZ ISTC Univ. of Aizu Aizu-Wakamatsu Japan Dept. of Computer Software University of Aizu Japan Faculty of Engineering Yamagata University Japan Graduate School of Computer Science and Engineering University of Aizu Japan

ISBN: (纸本)0769519067

Distributed resource allocation is a fundamental problem in construction of distributed systems. Though a lot of distributed algorithms have been developed for the problem, many of them are only designed to satisfy the desired quality of the requested resources, without considering acceptable range of the quality of the requested resources. In this paper we propose a new distributed algorithm employing a concession method, by which a process can transfer a reserved resource to another process, so that more processes can use the resources in the same time, to increase the efficiency and still keep the satisfaction for the quality of the resources in an acceptable range. We redefine the problem, and give the design and implementation of the algorithm in the paper.

关键词： Algorithm design and analysis Application software Codecs computer networks computer science Distributed algorithms Distributed computing Helium Resource management System recovery

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共326页 << < 310 311 312 313 314 315 316 317 318 319 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：