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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

362 篇 会议
178 篇 期刊文献
6 册 图书

馆藏范围

546 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

326 篇 工学
- 230 篇 计算机科学与技术...
- 196 篇 软件工程
- 66 篇 控制科学与工程
- 47 篇 信息与通信工程
- 28 篇 机械工程
- 24 篇 电气工程
- 21 篇 生物工程
- 19 篇 生物医学工程（可授...
- 15 篇 光学工程
- 15 篇 电子科学与技术（可...
- 13 篇 动力工程及工程热...
- 13 篇 安全科学与工程
- 12 篇 土木工程
- 10 篇 仪器科学与技术
- 8 篇 建筑学
157 篇 理学
- 86 篇 数学
- 42 篇 系统科学
- 29 篇 生物学
- 27 篇 物理学
- 26 篇 统计学（可授理学、...
- 9 篇 化学
89 篇 管理学
- 67 篇 管理科学与工程(可...
- 39 篇 工商管理
- 28 篇 图书情报与档案管...
23 篇 医学
- 23 篇 临床医学
- 18 篇 基础医学(可授医学...
- 10 篇 药学(可授医学、理...
12 篇 经济学
- 12 篇 应用经济学
11 篇 法学
- 8 篇 社会学
8 篇 教育学
- 8 篇 教育学
4 篇 农学
2 篇 文学

主题

53 篇 computer science
53 篇 laboratories
38 篇 software enginee...
36 篇 grid computing
27 篇 application soft...
25 篇 quality of servi...
25 篇 cloud computing
24 篇 software systems
23 篇 resource managem...
19 篇 processor schedu...
18 篇 computational mo...
17 篇 costs
16 篇 distributed comp...
14 篇 computer archite...
13 篇 systems engineer...
11 篇 data mining
11 篇 middleware
11 篇 computer network...
11 篇 training
10 篇 mathematics

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 state key labora...
17 篇 software enginee...
9 篇 cloud computing ...
8 篇 college of compu...
8 篇 school of electr...
8 篇 state key labora...
7 篇 grid computing a...
6 篇 software systems...
6 篇 intelligent dist...
6 篇 state key labora...
6 篇 national water a...
6 篇 service oriented...
5 篇 software systems...
5 篇 shanghai key lab...
5 篇 the seventh rese...

作者

46 篇 rajkumar buyya
35 篇 junping du
34 篇 yingmin jia
24 篇 fashan yu
18 篇 ismail leila
17 篇 buyya rajkumar
13 篇 materwala huned
12 篇 veera boonjing
11 篇 p.k. mckinley
10 篇 cheng betty h. c...
8 篇 sarun intakosum
8 篇 bei zeng
8 篇 zhengfeng ji
7 篇 deyuan meng
7 篇 jun zhang
6 篇 wenling li
6 篇 boonjing veera
6 篇 leila ismail
6 篇 s.m. sadjadi
5 篇 guan haibing

语言

503 篇 英文
39 篇 其他
4 篇 中文
1 篇 日文

检索条件"机构=Software Systems Engineering Laboratory.Department of Computer Science"

共 546 条记录，以下是271-280 订阅

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

详细简洁

排序：

Lane Keeping Control for Autonomous 4WS4WD Vehicles Subject to Wheel Slip Constraint

Lane Keeping Control for Autonomous 4WS4WD Vehicles Subject ...

引用

American Control Conference

作者： Changfang Chen Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecom-munications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781457710957

This paper proposes a robust control scheme that prevents an autonomous 4WS4WD vehicle from lane departure and wheel skidding in presence of road curvature and aerodynamic drag. The control objectives can be specified as various closed-loop specifications, such as lane keeping, wheel slip constraint and disturbance attenuation. An LMI approach is used to deal with these objectives simultaneously, which combines the quadratic stabilization technique with constraints on inputs. Simulation results show that the proposed controller effectively limits the combined wheel slip and improves the lane keeping performance.

关键词： Wheels Vehicles Roads Tires Friction Aerodynamics Vehicle dynamics

来源：评论

学校读者我要写书评

暂无评论

An approach to XML tag recommendation

An approach to XML tag recommendation

引用

作者： Vacharaskunee, Sutheetutt Intakosum, Sarun Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand

ISBN: (纸本)9780769543673

The one strong point of XML is that it allows document owners to create their own structure and tag names. It might be that some XML documents contain the same information but use a different structure and/or tag names that have the same meaning but in different words. It will be difficult not only to search all relevant information in one query but also to use exchanged information right away. If the sender and receiver use different formats of XML, then either the sender or receiver has to reformat his XML. The best way to make searching and/or exchanging information easier is to ensure that all XML documents are in the same format. XML Tag Recommendation (XTR) is introduced to support this idea. XTR is based on case-based reasoning framework. It collects the most used tag name as a solution for future use. When you insert a new problem to XTR, it finds the most similar case and recommends the solution from that case to the XML document owner. The XML document owner can change his document format into the recommended solution format. Thus, the XML documents are in the same format. This makes searching and/or exchanging information more powerful. © 2011 IEEE.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Exploiting software architecture to support requirements satisfaction testing

Exploiting software architecture to support requirements sat...

引用

19th ACM SIGSOFT Symposium on Foundations of software engineering, SIGSOFT/FSE'11

作者： Clements, Paul Escalona, María J. Inverardi, Paola Malavolta, Ivano Marchetti, Eda Software Engineering Institute Carnegie Mellon University United States Department of Languages and Computer Systems University of Sevilla Spain Department of Computer Science University of Aquila Italy Software Engineering Laboratory ISTI-CNR Pisa Italy

ISBN: (纸本)9781450304436

Currently, software testing is mainly carried on independently from software architecture-related information. Some approaches propose to perform integration and regression testing with respect to software architecture descriptions, but less attention has been paid to analysing software architecture in order to develop a less costly and time-consuming test plan that covers the requirements of the system of interest. If on one side, it is well known that providing an effective test plan is crucial to software quality, on the other side software testing is extremely difficult because it stems from the complexity of current software systems. In this paper we (i) elaborate on how a new architectural analysis can help in producing better test plans and (ii) identify a set of corresponding research challenges. We believe that considering and analysing architectural information for requirements satisfaction testing purposes will provide substantial benefits in terms of test plan specification process, test plan effectiveness, and test cases understandability. © 2011 ACM.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Boolean equi-propagation for optimized SAT encoding

Boolean equi-propagation for optimized SAT encoding

引用

17th International Conference on Principles and Practice of Constraint Programming, CP 2011

作者： Metodi, Amit Codish, Michael Lagoon, Vitaly Stuckey, Peter J. Department of Computer Science Ben Gurion University of the Negev Israel Cadence Design Systems United States Department of Computer Science and Software Engineering and NICTA Victoria Laboratory The University of Melbourne Australia

ISBN: (纸本)9783642237850

We present an approach to propagation based SAT encoding, Boolean equi-propagation, where constraints are modelled as Boolean functions which propagate information about equalities between Boolean literals. This information is then applied as a form of partial evaluation to simplify constraints prior to their encoding as CNF formulae. We demonstrate for a variety of benchmarks that our approach leads to a considerable reduction in the size of CNF encodings and subsequent speed-ups in SAT solving times. © 2011, Springer-Verlag Berlin Heidelberg.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

Toward resilient human-robot interaction through situation projection for effective joint action

Toward resilient human-robot interaction through situation p...

引用

2011 AAAI Fall Symposium

作者： Pearce, Adrian R. Sonenberg, Liz Nixon, Paddy NICTA Victoria Research Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Department of Information Systems University of Melbourne Australia University of Tasmania Australia

ISBN: (纸本)9781577355496

In this paper we address the design of robots that can be successful partners to humans in joint activity. The paper outlines an approach to achieving adjustable autonomy during execution- and hence to achieve resilient multi-actor joint action - based on both temporal and epistemic situation projection. The approach is based on non-deterministic planning techniques based on the situations calculus. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Heart disease classification using neural network and feature selection

Heart disease classification using neural network and featur...

引用

21st International Conference on systems engineering, ICSEng 2011

作者： Khemphila, Anchana Boonjing, Veera Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Chalongkrung Rd. Ladkrabang Bangkok 10520 Thailand

ISBN: (纸本)9780769544953

In this study, we introduces a classification approach using Multi-Layer Perceptron (MLP)with Back-Propagation learning algorithm and a feature selection algorithm along with biomedical test values to diagnose heart disease. Clinical diagnosis is done mostly by doctor's expertise and experience. But still cases are reported of wrong diagnosis and treatment. Patients are asked to take number of tests for diagnosis. In many cases, not all the tests contribute towards effective diagnosis of a disease. Our work is to classify the presence of heart disease with reduced number of attributes. Original, 13 attributes are involved in classify the heart disease. We use Information Gain to determine the attributes which reduces the number of attributes which is need to be taken from patients. The Artificial neural networks is used to classify the diagnosis of patients. Thirteen attributes are reduced to 8 attributes. The accuracy differs between 13 features and 8 features in training data set is 1.1% and in the validation data set is 0.82%. © 2011 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Evaluating effectiveness of risk identification and management using organisational models

Evaluating effectiveness of risk identification and manageme...

引用

IEEE International Conference on computer Research and Development

作者： Bhuiyan, Moshiur Rana, Sohel Krishna, Aneesh Decision Systems Laboratory School of Computer Science and Software Engineering University of Wollongong NSW 2522 Australia OptInfra Systems Sydney NSW Australia Department of Computing Faculty of Science and Engineering Curtin University of Technology Perth WA 6102 Australia

ISBN: (纸本)9781612848372

In this paper firstly we discuss an approach for supporting risk identification with the use of higher-level organizational models. We provide some intuitive metrics for extracting measures of actor criticality and vulnerability from organizational models. This helps direct risk management to areas of critical importance within organization models. Secondly, we provide details of an experiment that we conducted to evaluate our methodology. We believe our novel approach, will provide added benefits when used with other approaches to risk management during business process management, that do not reference the greater organizational context during risk assessment. © 2011 IEEE.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

Frontier-based multi-robot map exploration using particle swarm optimization

Frontier-based multi-robot map exploration using particle sw...

引用

IEEE Symposium on Swarm Intelligence

作者： Wang, Yiheng Liang, Alei Guan, Haibing School of Software Shanghai Jiao Tong University Shanghai Key Laboratory of Scalable Computing and Systems Shanghai 200240 China Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai Key Laboratory of Scalable Computing and Systems Shanghai 200240 China

ISBN: (纸本)9781612840529

Exploring an unknown environment using team of autonomous mobile robots is an important task in many real-world applications. Many existing map exploration algorithms are based on frontier, which is the boundary between unexplored space and known open space. In the context of multiple robots, the main problem of frontier-based algorithm is to choose appropriate target points for the individual robots so that they can efficiently explore the different part of the common area. This paper proposed a novel distributed frontier-based map exploration algorithm using Particle Swarm Optimization model for robot coordination. In this algorithm, the robot keeps moving to the nearby frontier to reduce the size of the unknown region, and is navigated towards frontier far away based on the PSO model after exploring the local area. The exploration is completed when there are no frontier cells on the map. Our algorithm has been implemented and tested both in simulation runs and real world experiment. The result shows that our method has a good scalability and efficiency. © 2011 IEEE.

关键词： Particle swarm optimization (PSO)

来源：评论

学校读者我要写书评

暂无评论

Neighborhood-privacy protected shortest distance computing in cloud 11

Neighborhood-privacy protected shortest distance computing i...

引用

2011 ACM SIGMOD and 30th PODS 2011 Conference

作者： Gao, Jun Yu, Jeffrey Xu Jin, Ruoming Zhou, Jiashuai Wang, Tengjiao Yang, Dongqing Key Laboratory of High Confidence Software Technologies EECS Peking University Beijing China Department of Systems Engineering and Engineering Management Chinese University of Hong Kong Hong Kong Hong Kong Department of Computer Science Kent State University OH United States

ISBN: (纸本)9781450306614

With the advent of cloud computing, it becomes desirable to utilize cloud computing to efficiently process complex operations on large graphs without compromising their sensitive information. This paper studies shortest distance computing in the cloud, which aims at the following goals: i) preventing outsourced graphs from neighborhood attack, ii) preserving shortest distances in outsourced graphs, iii) minimizing overhead on the client side. The basic idea of this paper is to transform an original graph G into a link graph Gl kept locally and a set of outsourced graphs Go. Each outsourced graph should meet the requirement of a new security model called 1-neighborhood-d-radius. In addition, the shortest distance query can be answered using Gl and Go. Our objective is to minimize the space cost on the client side when both security and utility requirements are satisfied. We devise a greedy method to produce Gl and Go, which can exactly answer the shortest distance queries. We also develop an efficient transformation method to support approximate shortest distance answering under a given additive error bound. The final experimental results illustrate the effectiveness and efficiency of our method. © 2011 ACM.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

A Virtualization Approach to Auto-Scaling Problem

A Virtualization Approach to Auto-Scaling Problem

引用

International Conference on Information Technology: New Generations (ITNG)

作者： Theera Thepparat Amnart Harnprasarnkit Douanghatai Thippayawong Veera Boonjing Pisit Chanvarasuth Software Systems Engineering Laboratory.Department of Computer Science Faculty of Science King Mongkuts Institute of Technology Ladkrabang Bankok Thailand School of Management Technology Sirindhorn International Institute of Technology Thammasat University Pathumthani Thailand

The paper proposes to simulate feasibility of using virtualization technology to auto-scaling problem in cloud computing. It uses ARENA simulation software to build two different models. There are auto-scaling without server virtualization and auto-scaling with server virtualization. The results of our experiment show that employing virtualization technology increases both life time of servers and CPU utilization.

关键词： Servers Electronic mail Load modeling Computational modeling Cloud computing Mathematical model Blogs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 24 25 26 27 28 29 30 31 32 33 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：