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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是371-380 订阅

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

详细简洁

排序：

Comparing Commercial Tools and State-of-the-Art Methods for Generating Text Summaries

Comparing Commercial Tools and State-of-the-Art Methods for ...

引用

Mexican International Conference on Artificial Intelligence, MICAI

作者： René Arnulfo García-Hernández Yulia Ledeneva Griselda Matías Mendoza Ángel Hernández Dominguez Jorge Chavez Alexander Gelbukh José Luis Tapia Fabela Software Engineering Department Autonomous University of the State of Mexico Santiago Tianguistenco Mexico Computer Science Department Juarez Autonomous University of Tabasco Mexico Computational Systems Engineering Iguala Institute of Technology Iguala Guerrero Mexico Natural Language Laboratory National Polytechnic Institute CIC Mexico

Nowadays, there are commercial tools that allow automatic generation of text summaries. However, it is not known the quality of the generated summaries and the method that it is used for the generation of the summaries using these commercial tools. This paper provides a study about the commercial tools such as Copernic Summarizer, Microsoft Office Word Summarizer 2003 and Microsoft Office Word Summarizer 2007, with the objective to detect which of them gives the summaries more similar to those made by a human. Furthermore, the comparison between commercial tools and state-of-the-art methods is realized. The experiments were carried out using DUC-2002 standard collection which contains 567 news in English.

关键词： Humans Natural languages Data mining Artificial intelligence software engineering systems engineering and theory Laboratories computer science Operating systems software systems

来源：评论

学校读者我要写书评

暂无评论

Distributed H∞ consensus control for networks of multiple agents with linear coupling dynamics

Distributed H∞ consensus control for networks of multiple a...

引用

SICE Annual Conference

作者： Yang Liu Yingmin Jia Junping Du Fashan Yu Department of Systems and Control Beihang University Beijing China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo Henan China

This paper is devoted to the consensus control for a network of autonomous agents with high-dimension linear coupling dynamics and subject to external disturbances. By transforming the consensus control problem into an H infin control problem, we propose a distributed state feedback protocol, and obtain conditions in terms of linear matrix inequalities (LMIs) to ensure the consensus with a prescribed H infin performance level for networks with zero and nonzero communication delays, respectively. Furthermore, the undetermined feedback matrix of the proposed protocol is also solved. A numerical example is included to validate the theoretical results.

关键词： Control systems Communication system control Protocols Multiagent systems Vehicle dynamics Automatic control Telecommunication control Electronic mail Linear feedback control systems State feedback

来源：评论

学校读者我要写书评

暂无评论

Adaptive multi-class support vector machine for microarray classification and gene selection

Adaptive multi-class support vector machine for microarray c...

引用

SICE Annual Conference

作者： Juntao Li Yingmin Jia Junping Du Fashan Yu Department of Systems and Control Beihang University Beijing China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo Henan China

This paper proposes an adaptive multi-class support vector machine for simultaneous microarray classification and gene selection. By evaluating the gene ranking significance, the adaptive multi-class support vector machine is shown to encourage an adaptive grouping effect in the process of building classifiers, thus leading a sparse multi-classifiers with enhanced interpretability. Based on a reasonable correlation between the two regularization parameters, an efficient solution path algorithm is developed for solving the proposed support vector machine. Experiments performed on the leukaemia data set are provided to verify the obtained results.

关键词： Support vector machines Support vector machine classification Electronic mail Programmable control Adaptive control Gene expression Learning systems Automatic control Control systems Telecommunication control

来源：评论

学校读者我要写书评

暂无评论

Verifying and analyzing adaptive logic through UML state models

Verifying and analyzing adaptive logic through UML state mod...

引用

1st International Conference on software Testing, Verification and Validation, ICST 2008

作者： Ramirez, Andres J. Cheng, Betty H. C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)076953127X

It is becoming increasingly important to be able to adapt an application's behavior at run time in response to changing requirements and environmental conditions. Adaptive programs are typically difficult to specify, design, and verify. A variety of conditions may trigger an adaptation, each of which may involve different types of adaptation mechanisms. In many cases, adaptive systems are concurrent, thus further exacerbating the complexity. Furthermore, it is important that adaptations do not put the system into an inconsistent state during or after adaptation. This paper presents an iterative approach to modeling and analyzing UML behavioral design models of adaptive systems, where the UML state diagrams are automatically translated into Promela code for analysis with the Spin model checker. The adaptive models are analyzed for adherence to both system invariants and properties that should hold during adaptation. We demonstrate this approach on applications for the mobile computing domain where we verify the design models against formally-specified properties. © 2008 IEEE.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Building classification rules for case-based classifier using fuzzy sets and formal concept analysis 08

Building classification rules for case-based classifier usin...

引用

5th International Conference on Soft Computing As Transdisciplinary science and Technology, CSTST '08

作者： Tadrat, Jirapond Boonjing, Veera Pattaraintakorn, Puntip Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand

ISBN: (纸本)9781605580463

The focus of this paper is a construction of better knowledge base in case-based classifier system. Our knowledge base structure is based on concept lattice where rules are built from its subconcept-superconcept relation. Since the lattice can only be constructed from inputs with binary attributes, descriptive and numeric attributes must be transformed to binary attributes. In this paper, we propose the transformation of numeric attributes to descriptive attributes using fuzzy set theory. We experiment on benchmark data sets, Car and Iris, to determine the performance in term of number of rules used and classification precision. The results show that trend of accuracy is proportional to the size of learning inputs. The number of rules used is relatively small compared with size of training data. Our case-based classifier produces very promising results in practice and can classify the new problem more accurate than traditional classifiers. Copyright 2008 ACM.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Autonomic Management of Hybrid Sensor Grid systems and Applications

Autonomic Management of Hybrid Sensor Grid Systems and Appli...

引用

International Conference on computer Communications and Networks (ICCCN)

作者： Xiaolin Li Xinxin Liu Huanyu Zhao Nanyan Jiang Manish Parashar Department of Computer Science Scalable Software Systems Laboratory Oklahoma State University Stillwater OK USA Department of Electrical & Computer Engineering Applied Software Systems Laboratory Rutgers University NJ USA

In this paper, we propose an autonomic management framework (ASGrid) to address the requirements of emerging large-scale applications in hybrid grid and sensor network systems. To the best of our knowledge, we are the first who proposed the autonomic sensor grid system concept in a holistic manner targeted at non-trivial large applications. To bridge the gap between the physical world and the digital world and facilitate information analysis and decision making, ASGrid is designed to smooth the integration of sensor networks and grid systems and efficiently use both on demand. Under the blueprint of ASGrid, we present several building blocks that fulfill the following major features: (1) Self-configuration through content-based aggregation and associative rendezvous mechanisms; (2) Self-optimization through utility-based sensor selection and model-driven hierarchical sensing task scheduling; (3) Self-protection through ActiveKey dynamic key management and S3Trust trust management mechanisms. Experimental and simulation results on these aspects are presented.

关键词： Sensor systems and applications Content management Grid computing Instruments Sensor phenomena and characterization Resource management Power system management Sensor systems Waste management Application software

来源：评论

学校读者我要写书评

暂无评论

Rescheduling co-allocation requests based on flexible advance reservations and processor remapping

Rescheduling co-allocation requests based on flexible advanc...

引用

International Workshop on Grid Computing

作者： Marco A. S. Netto Rajkumar Buyya Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

Large-scale computing environments, such as TeraGrid, Distributed ASCI Supercomputer (DAS), and Gridpsila5000, have been using resource co-allocation to execute applications on multiple sites. Their schedulers work with requests that contain imprecise estimations provided by users. This lack of accuracy generates fragments inside the scheduling queues that can be filled by rescheduling both local and multi-site requests. Current resource co-allocation solutions rely on advance reservations to ensure that users can access all the resources at the same time. These coallocation requests cannot be rescheduled if they are based on rigid advance reservations. In this work, we investigate the impact of rescheduling co-allocation requests based on flexible advance reservations and processor remapping. The metascheduler can modify the start time of each job component and remap the number of processors they use in each site. The experimental results show that local jobs may not fill all the fragments in the scheduling queues and hence rescheduling co-allocation requests reduces response time of both local and multi-site jobs. Moreover, we have observed in some scenarios that processor remapping increases the chances of placing the tasks of multi-site jobs into a single cluster, thus eliminating the inter-cluster network overhead.

关键词： Time factors Estimation Runtime Schedules Resource management Processor scheduling Supercomputers

来源：评论

学校读者我要写书评

暂无评论

A Meta-scheduler with Auction Based Resource Allocation for Global Grids

A Meta-scheduler with Auction Based Resource Allocation for ...

引用

International Conference on Parallel and Distributed systems (ICPADS)

作者： Saurabh Kumar Garg Srikumar Venugopal Rajkumar Buyya Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

As users increasingly require better quality of service from grids, resource management and scheduling mechanisms have to evolve in order to satisfy competing demands on limited resources. Traditional schedulers for grids are system centric and favour system performance over increasing userpsilas utility. On the other hand market oriented schedulers are price-based systems that favour users but are based solely on user valuations. This paper proposes a novel meta-scheduler that unifies the advantages of both the systems for benefiting both users and resources. In order to do that, we design a valuation metric for userpsilas applications and computational resources based on multi-criteria requirements of users and resource load. The meta-scheduler maps user applications to suitable distributed resources using a continuous double auction (CDA). Through simulation, we compare our scheduling mechanism against other common mechanisms used by current meta-schedulers. The results show that our meta-scheduler mechanism can satisfy more users than the others while still meeting traditional system-centric performance criteria such as average load and deadline of applications.

关键词： Resource management Processor scheduling Cost accounting Grid computing Computational modeling Environmental economics Laboratories computer science software engineering Quality of service

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of multiple site resource provisioning: effects of the precision of availability information 08

引用

Proceedings of the 15th international conference on High performance computing

作者： Marcos Dias De Assunção Rajkumar Buyya Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering The University of Melbourne Australia and NICTA Victoria Research Laboratory The University of Melbourne Australia Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering The University of Melbourne Australia

ISBN: (纸本)9783540898931

Emerging deadline-driven Grid applications require a numberof computing resources to be available over a time frame, startingat a specific time in the future. To enable these applications, it is importantto predict the resource availability and utilise this informationduring provisioning because it affects their performance. It is impracticalto request the availability information upon the scheduling of everyjob due to communication overhead. However, existing work has notconsidered how the precision of availability information influences theprovisioning. As a result, limitations exist in developing advanced resourceprovisioning and scheduling mechanisms. This work investigateshow the precision of availability information affects resource provisioningin multiple site environments. Performance evaluation is conductedconsidering both multiple scheduling policies in resource providers andmultiple provisioning policies in brokers, while varying the precision ofavailability information. Experimental results show that it is possible toavoid requesting availability information for every Grid job scheduledthus reducing the communication overhead. They also demonstrate thatmultiple resource partition policies improve the slowdown of Grid jobs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Market-Oriented Cloud Computing: Vision, Hype, and Reality for Delivering IT Services as Computing Utilities

Market-Oriented Cloud Computing: Vision, Hype, and Reality f...

引用

IEEE International Conference on High Performance Computing and Communications (HPCC)

作者： Rajkumar Buyya Chee Shin Yeo Srikumar Venugopal Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

This keynote paper: presents a 21 st century vision of computing; identifies various computing paradigms promising to deliver the vision of computing utilities; defines Cloud computing and provides the architecture for creating market-oriented Clouds by leveraging technologies such as VMs; provides thoughts on market-based resource management strategies that encompass both customer-driven service management and computational risk management to sustain SLA-oriented resource allocation; presents some representative Cloud platforms especially those developed in industries along with our current work towards realising market-oriented resource allocation of Clouds by leveraging the 3rd generation Aneka enterprise Grid technology; reveals our early thoughts on interconnecting Clouds for dynamically creating an atmospheric computing environment along with pointers to future community research; and concludes with the need for convergence of competing IT paradigms for delivering our 21 st century vision.

关键词： Meteorology Cloud computing Resource management Grid computing Quality of service Industries Monitoring

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 34 35 36 37 38 39 40 41 42 43 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：