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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,052 篇 会议
871 篇 期刊文献
56 册 图书

馆藏范围

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

日期分布

学科分类号

1,741 篇 工学
- 1,347 篇 计算机科学与技术...
- 1,113 篇 软件工程
- 333 篇 信息与通信工程
- 301 篇 控制科学与工程
- 165 篇 生物工程
- 147 篇 电气工程
- 121 篇 电子科学与技术（可...
- 119 篇 生物医学工程（可授...
- 116 篇 机械工程
- 83 篇 光学工程
- 83 篇 安全科学与工程
- 73 篇 动力工程及工程热...
- 66 篇 建筑学
- 66 篇 土木工程
- 65 篇 仪器科学与技术
- 65 篇 化学工程与技术
- 56 篇 网络空间安全
779 篇 理学
- 414 篇 数学
- 190 篇 生物学
- 147 篇 系统科学
- 145 篇 物理学
- 124 篇 统计学（可授理学、...
- 67 篇 化学
508 篇 管理学
- 360 篇 管理科学与工程(可...
- 199 篇 工商管理
- 191 篇 图书情报与档案管...
128 篇 医学
- 118 篇 临床医学
- 98 篇 基础医学(可授医学...
81 篇 法学
- 62 篇 社会学
60 篇 经济学
- 60 篇 应用经济学
54 篇 教育学
23 篇 农学
12 篇 文学
7 篇 军事学
3 篇 艺术学

主题

176 篇 software enginee...
135 篇 computer science
78 篇 computational mo...
75 篇 application soft...
72 篇 deep learning
71 篇 accuracy
70 篇 laboratories
68 篇 software systems
67 篇 machine learning
67 篇 software
63 篇 artificial intel...
61 篇 computer archite...
58 篇 training
52 篇 quality of servi...
52 篇 wireless sensor ...
49 篇 systems engineer...
49 篇 resource managem...
47 篇 grid computing
47 篇 security
46 篇 cloud computing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 school of inform...
11 篇 institute for so...
11 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of softwa...
10 篇 department of so...
10 篇 school of intell...

作者

49 篇 rajkumar buyya
35 篇 junping du
33 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
22 篇 fashan yu
19 篇 xenofon koutsouk...
15 篇 song houbing
15 篇 zamli kamal z.
15 篇 gautam biswas
14 篇 m. parashar
14 篇 biswas gautam
13 篇 materwala huned
12 篇 jafer shafagh
12 篇 veera boonjing
11 篇 philippe charlan...
11 篇 ahmed bestoun s.
11 篇 zander carol
11 篇 p.k. mckinley
11 篇 parashar manish

语言

2,843 篇 英文
119 篇 其他
14 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Software Engineering and Computer Systems Department"

共 2979 条记录，以下是2381-2390 订阅

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

详细简洁

排序：

March Test BDN: A new March Test for dynamic faults

March Test BDN: A new March Test for dynamic faults

引用

IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR

作者： Alberto Bosio Giorgio Di Natale Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Université Montpelher II Montpellier France

High-density components and process scaling lead more and more to the occurrence of new class of dynamic faults, especially in Static Random Access Memories (SRAMs), thus requiring more and more sophisticated test algorithms. Among the different types of algorithms proposed for testing SRAMs, March Tests have proven to be the most performing due to their low complexity, their simplicity and regular structure. Several March Tests for dynamic faults have been published, with different fault coverage. In this paper we propose March BDN, an extended version of the March AB. We will prove that it is able to increase the fault coverage in order to target latest dynamic faults. We show that the proposed March BDN has the highest known fault coverage compared to March Tests with the same complexity.

关键词： Circuit faults Heuristic algorithms Random access memory Decoding Complexity theory Arrays Taxonomy

来源：评论

学校读者我要写书评

暂无评论

Service and Utility Oriented Distributed Computing systems: Challenges and Opportunities for Modeling and Simulation Communities

Service and Utility Oriented Distributed Computing Systems: ...

引用

Annual Symposium on Simulation

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

Summary form only given. Grids and peer-to-peer (P2P) networks have emerged as popular platforms for the next generation parallel and distributed computing. In these environments, resources are geographically distributed, managed and owned by various organizations with different policies, and interconnected by wide-area networks or the Internet. This introduces a number of resource management and application scheduling challenges in the domain of security, resource and policy heterogeneity, fault tolerance, and dynamic resource conditions. In these dynamic distributed computing environments, it is hard and challenging to carry out resource management design studies in a repeatable and controlled manner as resources and users are autonomous and distributed across multiple organizations with their own policies. Therefore, simulations have emerged as the most feasible technique for analyzing policies for resource allocation. This paper presents emerging trends in distributed computing and their promises for revolutionizing the computing field, and identifies distinct characteristics and challenges in building them. We motivate opportunities for modeling and simulation communities and present our discrete-event grid simulation toolkit, called GridSim, used by researchers world-wide for investigating the design of utility-oriented computing systems such as data centers and grids. We present various case studies on the use of GridSim in modeling and simulation of business grids, parallel applications scheduling, workflow scheduling, and service pricing and revenue management.

关键词： Distributed computing Computational modeling Resource management Processor scheduling Peer to peer computing Next generation networking computer network management Environmental management IP networks Dynamic scheduling

来源：评论

学校读者我要写书评

暂无评论

Gridbus Work?ow Management System on Clouds and Global Grids

Gridbus Work?ow Management System on Clouds and Global Grids

引用

IEEE International Conference on e-Science and Grid Computing

作者： Suraj Pandey Chao Jin William Voorsluys Mustafizur Rahman Rajkumar Buyya Grid Computing and Distributed Systems GRIDS Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

The Gridbus workflow management system (GWMS) is designed to execute scientific applications, expressed in the form of workflows, onto Grid and Cloud resources. With the help of this system, we demonstrate a computational and data-intensive Image Registration (IR) workflow for functional Magnetic Resonance Imaging (fMRI) applications on Clouds and global Grids. We also present a demonstration of the Aneka System. Aneka is a .NET based Cloud software platform that provides: (i) a configurable service container hosting pluggable services for discovering, scheduling various types of workloads and (ii) a flexible and extensible framework supporting various programming models. We use distributed Grid and Cloud resources from Australia, Austria, France, Japan, and USA for the executions of image registration workflow, and resources from Melbourne University for executing map-reduce applications in Aneka cloud environment.

关键词： Image registration Workflow management software Cloud computing Grid computing Optical computing Magnetic resonance imaging Application software Containers Processor scheduling Australia

来源：评论

学校读者我要写书评

暂无评论

Aircraft AC generators: Hybrid system modeling and simulation

Aircraft AC generators: Hybrid system modeling and simulatio...

引用

International Conference on Prognostics and Health Management, PHM

作者： Ashraf Tantawy Xenofon Koutsoukos Gautam Biswas Institute for Software Integrated Systems and the Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

Integrated drive generators (IDGs) are the main source of electrical power for a number of critical systems in aircraft. Fast and accurate fault detection and isolation is a necessary component for safe and reliable operation of the IDG and the aircraft. IDGs are complex systems, and a majority of the existing fault detection and isolation techniques are based on signal analysis and heuristic methods derived from experience. Model-based fault diagnosis techniques are hypothesized to be more general and powerful in designing detection and isolation schemes, but building sufficiently accurate models of complex IDGs is a difficult task. dq0 models have been developed for design and control of generators, but these models are not suitable for fault situations, where the generator may become unbalanced. In this paper, we present a hybrid phase-domain model for the aircraft generator that accurately represents both nominal and parametric faulty behaviors. We present the details of the hybrid modeling approach and simulation results of nominal operation and fault behaviors associated with parametric faults in the aircraft generator. The simulation results show that the developed model is capable of accurately capturing the generator dynamics under a variety of normal and faulty configurations.

关键词： AC generators Power generation Electrical fault detection Aircraft manufacture Power system modeling Hybrid power systems Power system reliability Signal analysis Fault diagnosis Fault detection

来源：评论

学校读者我要写书评

暂无评论

Towards A Model-Based Autonomic Reliability Framework for Computing Clusters

Towards A Model-Based Autonomic Reliability Framework for Co...

引用

5th IEEE International Workshop on engineering of Autonomic & Autonomous systems (EASc 2008)

作者： Abhishek Dubey Steve Nordstrom Turker Keskinpala Sandeep Neema Ted Bapty Gabor Karsai Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

One of the primary problems with computing clusters is to ensure that they maintain a reliable working state most of the time to justify economics of operation. In this paper, we introduce a model-based hierarchical reliability framework that enables periodic monitoring of vital health parameters across the cluster and provides for autonomic fault mitigation. We also discuss some of the challenges faced by autonomic reliability frameworks in cluster environments such as non-determinism in task scheduling in standard operating systems such as Linux and need for synchronized execution of monitoring sensors across the cluster. Additionally, we present a solution to these problems in the context of our framework, which utilizes a feedback controller based approach to compensate for the scheduling jitter in non real-time operating systems. Finally, we present experimental data that illustrates the effectiveness of our approach.

关键词： Operating systems Linux Jitter Hardware Maintenance computer networks Environmental economics Sensor systems Adaptive control Quantum computing

来源：评论

学校读者我要写书评

暂无评论

MRPGA: An Extension of MapReduce for Parallelizing Genetic Algorithms

MRPGA: An Extension of MapReduce for Parallelizing Genetic A...

引用

IEEE International Conference on e-Science and Grid Computing

作者： Chao Jin Christian Vecchiola Rajkumar Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

The MapReduce programming model allows users to easily develop distributed applications in data centers. However, many applications cannot be exactly expressed with MapReduce due to their specific characteristics. For instance, genetic algorithms (GAs) naturally fit into an iterative style. That does not follow the two phase pattern of MapReduce. This paper presents an extension to the MapReduce model featuring a hierarchical reduction phase. This model is called MRPGA (MapReduce for parallel GAs), which can automatically parallelize GAs. We describe the design and implementation of the extended MapReduce model on a .NET-based enterprise grid system in detail. The evaluation of this model with its runtime system is presented using example applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comprehension of Visualization systems - Towards Quantitative Assessment

Comprehension of Visualization Systems - Towards Quantitativ...

引用

International Conference on Advances in computer-Human Interaction

作者： Harkirat Padda Sudhir Mudur Ahmed Seffah Yojana Joshi Department of Computer Science & Software Engineering Concordia University Montreal Canada Cimmetry Systems Corporation Montreal Canada

Visual comprehension is the characteristic that deals with how efficiently and effectively users are able to grasp the underlying design intent along with the interactions to explore the visually represented information. To assess comprehension i.e. to measure this seemingly immeasurable factor of visualization systems, we are proposing a set of criteria based on a detailed analysis of information flow from the raw data to the cognition of information in human mind. Our comprehension criteria are adapted from the pioneering work of two eminent researchers - Donald A. Nortnan and Aaron Marcus, who have investigated the issues of human perception and cognition, and visual effectiveness respectively. These proposed criteria are refined by experts' opinion in order to compose a minimal evaluation set that is then applied to a bioinformatics visualization study tool to show the efficacy of criteria in assessing comprehension in a more quantitative manner.

关键词： Visualization Usability Cognition Humans Bioinformatics Psychology Visual communication software measurement computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

Optimizing Twins Decision Tree Classification, Using Genetic Algorithms

Optimizing Twins Decision Tree Classification, Using Genetic...

引用

IEEE International Conference on Cybernetic Intelligent systems

作者： Farid Seifi Mohammad Reza Kangavari Hamed Ahmadi Ehsan Lotfi Sanaz Imaniyan Somayeh Lagzian Department of Computer Engineering Iran University of Science and Technology Department of Automated Systems Software National Aerospace University of KharkivUKRAINE Department of Computer Engineering Islamic Azad University of Mashhad

ISBN: (纸本)9781424429141

Decision tree classification is one of the most practical and effective methods which is used in inductive learning. Many different approaches, which are usually used for decision making and prediction, have been invented to construct decision tree classifiers. These approaches try to optimize parameters such as accuracy, speed of classification, size of constructed trees, learning speed, and the amount of used memory. There is a trade off between these parameters. That is to say that optimization of one may cause obstruction in the other, hence all existing approaches try to establish equilibrium. In this study, considering the effect of the whole data set on class assigning of any data, we propose a new approach to construct not perfectly accurate, but less complex trees in a short time, using small amount of memory. To achieve this purpose, a multi-step process has been used. We trace the training data set twice in any step, from the beginning to the end and vice versa, to extract the class pattern for attribute selection. Using the selected attribute, we make new branches in the tree. After making branches, the selected attribute and some records of training data set are deleted at the end of any step. This process continues alternatively in several steps for remaining data and attributes until the tree is completely constructed. In order to have an optimized tree the parameters which we use in this algorithm are optimized using genetic algorithms. In order to compare this new approach with previous ones we used some known data sets which have been used in different researches. This approach has been compared with others based on the classification accuracy and also the decision tree size. Experimental results show that it is efficient to use this approach particularly in cases of massive data sets, memory restrictions or short learning time.

关键词： Genetic Algorithm (GA) Decision Trees Trees Dataset Training data

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling in software engineering

Modeling in software engineering

引用

作者： Atlee, Joanne M. France, Robert Georg, Geri Moreira, Ana Rumpe, Bernhard Völkel, Steven Zschaler, Steffen Cheriton School of Computer Science University of Waterloo Waterloo ON Canada Department of Computer Science Colorado State University Fort Collins CO United States Computer Science Department Universidade Nova de Lisboa 2829-516 Caparica Portugal Software Systems Engineering Technische Universität Brauschweig 38106 Braunschweig Germany Institute for Software and Multimedia Technology Technische Universität Dresden 01062 Dresden Germany

The Modeling in software engineering (MiSE) workshops are a collaboration between the ICSE and MoDELS research communities, with a focus on using models to facilitate software development.

ISBN: (纸本)9781605580791

The Modeling in software engineering (MiSE) workshops are a collaboration between the ICSE and MoDELS research communities, with a focus on using models to facilitate software development.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共298页 << < 235 236 237 238 239 240 241 242 243 244 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：