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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Energy-aware and self-adaptive anomaly detection scheme based on network tomography in mobile ad hoc networks

Energy-aware and self-adaptive anomaly detection scheme base...

引用

作者： Wang, Wei Wang, Huiran Wang, Beizhan Wang, Yaping Wang, Jiajun School of Computer Science Xi'An Polytechnic University Xi'an 710048 China Key Laboratory for Intelligent Network and Network Security Xi'An Jiaotong University Ministry of Education Xi'an 710049 China School of Software Xiamen University Xiamen 361005 China Department of Industrial and Systems Engineering Texas AandM University TX 77843 United States

Anomaly detection is indispensable for satisfying security services in mobile ad hoc network (MANET) applications. Often, however, a highly secure mechanism consumes a large amount of network resources, resulting in network performance degradation. To shift intrusion detection from existing security-centric design approaches to network performance centric design schemes, this paper presents a framework for designing an energy-aware and self-adaptive anomaly detection scheme for resource constrained MANETs. The scheme uses network tomography, a new technique for studying internal link performance based solely on end-to-end measurements. With the support of a module comprising a novel spatial-time model to identify the MANET topology, an energy-aware algorithm to sponsor system service, a method based on the expectation maximum to infer delay distribution, and a Self-organizing Map (SOM) neural network solution to profile link activity, the proposed system is capable of detecting link anomalies and localizing malicious nodes. Consequently, the proposed scheme offers a trade-off between overall network security and network performance, without causing any heavy network overload. Moreover, it provides an additional approach to monitor the spatial-time behavior of MANETs, including network topology, link performance and network security. The effectiveness of the proposed schemes is verified through extensive experiments. © 2012 Elsevier Inc. All rights reserved.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Toward a Hybrid Approach to Generate software Product Line Portfolios

Toward a Hybrid Approach to Generate Software Product Line P...

引用

IEEE Congress on Evolutionary Computation

作者： Jonathas Cruz Pedro Santos Neto Ricardo Britto Ricardo Rabelo Werney Ayala Thiago Soares Mauricio Mota Software Engineering and Industrial Informatics (EASII) Computer Science Department (DC) Federal University of Piaui (UFPI) LABoratory of Intelligent Robotics Automation and Systems (LABIRAS) State University of Piaui (UESPI)

ISBN: (纸本)9781479904532

software Product Line (SPL) development is a new approach to software engineering that aims at the development of a whole range of products. One of the problems which hinders the adoption of that approach is related with the management of the products of the line. Additionally, the scope of a software product line is determined by the bounds of the capabilities provided by the collection of products in the product line. This introduces new challenges related to the scope problem. One of the main three different forms of scoping is the Product Portfolio Scoping (PPS). PPS aims at defining the products that should be developed as well as their key features. While this has an impact on the actual reuse opportunities, it is usually driven from marketing aspects. Defining a product portfolio by considering costumers satisfaction and cost aspects is a NP-hard problem. This work presents a hybrid approach, which combines fuzzy inference systems and the multi-objective metaheuristics NSGA-II to support product management by generating portfolios of products, based in segments of users and the development cost of the assets of the SPL. Fuzzy inference systems are used to generate development cost of an asset by using coupling, number of code lines and cyclomatic complexity and also to estimate the quality of the products generated by the optimization module of our approach. The NSGA-II metaheuristic is used to search for products minimizing the cost and maximizing the relevance of the candidate products. The results show that the proposed approach is effective in proposing the best products in terms of relevance and cost of the assets.

关键词： Portfolios Correlation Fuzzy logic Indexes Optimization Couplings Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Accountable authority identity-based encryption with public traceability 1

引用

Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013

作者： Lai, Junzuo Deng, Robert H. Zhao, Yunlei Weng, Jian School of Information Systems Singapore Management University Singapore Singapore Software School Fudan University China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences China Department of Computer Science Emergency Technology Research Center of Risk Evaluation and Prewarning on Public Network Security Jinan University China Shanghai Key Laboratory of Integrate Administration Technologies for Information Security China

ISBN: (数字)9783642360954

ISBN: (纸本)9783642360947

At Crypto'07, Goyal introduced the notion of accountable authority identity-based encryption (A-IBE) in order to mitigate the inherent key escrow problem in identity-based encryption, and proposed two concrete constructions. In an A-IBE system, if the private key generator (PKG) distributes a decryption key or produces an unauthorized decryption box for a user maliciously, it runs the risk of being caught and sued in the court of law with the help of a tracing algorithm. Subsequent efforts focused on constructions of A-IBE schemes with enhanced security. In these A-IBE constructions, the tracing algorithm needs to take a user's decryption key as input. If the user lost his key or is deliberately uncooperative in court, then we cannot implicate the PKG or the user. An interesting open problem left by Goyal et al. at CCS'08 is to consider the possibility of tracing a decryption box using only a public tracing key, or with the assistance of a tracing authority. In this paper, we address this problem positively. We first extend the original model of A-IBE to accommodate public traceability, and then propose an A-IBE scheme in the new model. To the best of our knowledge, the proposed scheme is the first A-IBE with public traceability. © 2013 Springer-Verlag.

关键词： Accountable Authority Identity Based Encryption Public Traceability

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Algorithm for Coverage Path Planning With Imperfect Sensors

A Hybrid Algorithm for Coverage Path Planning With Imperfect...

引用

IEEE/RSJ International Conference on Intelligent Robots and systems

作者： Michael Morin Irene Abi-Zeid Yvan Petillot Claude-Guy Quimper Department of Computer Science and Software Engineering Université Laval Québec Qc Canada the Department of Operations and Decision Systems Université Laval Québec Qc Canada the Ocean Systems Laboratory Heriot-Watt University Edinburgh Scotland UK

ISBN: (纸本)9781467363563

We are interested in the coverage path planning problem with imperfect sensors, within the context of robotics for mine countermeasures. In the studied problem, an autonomous underwater vehicle (AUV) equipped with sonar surveys the bottom of the ocean searching for mines. We use a cellular decomposition to represent the ocean floor by a grid of uniform square cells. The robot scans a fixed number of cells sideways with a varying probability of detection as a function of distance and of seabed type. The goal is to plan a path that achieves the minimal required coverage in each cell while minimizing the total traveled distance and the total number of turns. We propose an off-line hybrid algorithm based on dynamic programming and on a traveling salesman problem reduction. We present experimental results and show that our algorithm's performance is superior to published results in terms of path quality and computational time, which makes it possible to implement the algorithm in an AUV.

关键词： AUV results show Autonomous underwater vehicles Path planning ocean floors Imperfect Coverage Revolution Number Cells sonar

来源：评论

学校读者我要写书评

暂无评论

Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS systems

Adaptive Fault Detection for Testing Tenant Applications in ...

引用

IEEE International Conference on Cloud engineering (IC2E)

作者： W.T. Tsai Qingyang Li Charles J. Colbourn Xiaoying Bai School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ USA State Key Laboratory of Software Development Environment Beihang University Beijing China Department of Computer Science and Technology Tsinghua University Beijing China

SaaS (software-as-a-Service) often uses multi-tenancy architecture (MTA) where tenant developers compose their applications online using the components stored in the SaaS database. Tenant applications need to be tested, and combinatorial testing can be used. While numerous combinatorial testing techniques are available, most of them produce static sequences of test configurations and their goal is often to provide sufficient coverage such as 2-way interaction coverage. But the goal of SaaS testing is to identify those compositions that are faulty for tenant applications. This paper proposes an adaptive test configuration generation algorithm AR (Adaptive Reasoning) that can rapidly identify those faulty combinations so that those faulty combinations cannot be selected by tenant developers for composition. The AR algorithm has been evaluated by both simulation and real experimentation using a MTA SaaS sample running on GAE (Google App Engine). Both the simulation and experiment showed show that the AR algorithm can identify those faulty combinations rapidly. Whenever a new component is submitted to the SaaS database, the AR algorithm can be applied so that any faulty interactions with new components can be identified to continue to support future tenant applications.

关键词： Testing software as a service Color Databases Image color analysis Fault location

来源：评论

学校读者我要写书评

暂无评论

H_∞ filtering with Diagonal Interacting Multiple Model Algorithm for Maneuvering Target Tracking

H_∞ filtering with Diagonal Interacting Multiple Model Algo...

引用

American Control Conference

作者： X. Fu Y. Jia J. Du J. Zhang W. Li X. Liu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing Key Laboratory of Intelligent Telecommunication Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunication school of Electronic and Information Engineering Beihang University (BUAA) Department of Automatic Beijing Information and Science of University

ISBN: (纸本)9781479901777

This paper is devoted to the problem of state estimate of discrete-time stochastic systems with Markov jump parameters. A robust algorithm-diagonal interacting multiple model algorithm based on H_∞ filtering (DIMMH) is presented for maneuvering target tracking when measurement noise is of unknown statistics. Extensive Monte Carlo simulations show the effectiveness and superiority of the proposed algorithm.

关键词： Maneuvering Target Tracking Markov jump parameters effectiveness Target tracking maneuvering target State estimation Filtration tracking Noise measurement Diagonal Monte Carlo technique

来源：评论

学校读者我要写书评

暂无评论

Test algebra for combinatorial testing

Test algebra for combinatorial testing

引用

International Workshop on Automation of software Test (AST)

作者： Wei-Tek Tsai Charles J. Colbourn Jie Luo Guanqiu Qi Qingyang Li Xiaoying Bai School of Computing Informatics and Decision Systems Arizona State University Tempe AZ USA Arizona State University Tempe AZ US State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Department of Computer Science and Technology INLIST Tsinghua University Beijing China

ISBN: (纸本)9781467361620

This paper proposes a new algebraic system, Test Algebra (TA), for identifying faults in combinatorial testing for SaaS (software-as-a-Service) applications. SaaS as a part of cloud computing is a new software delivery model, and mission-critical applications are composed, deployed, and executed in cloud platforms. Testing SaaS applications is a challenging task because new applications need to be tested when they are composed before they can be deployed for execution. Combinatorial testing algorithms can be used to identify faulty configurations and interactions from 2-way all the way to k-way where k is the number of components in the application. The TA defines rules to identify faulty configurations and interactions. Using the rules defined in the TA, a collection of configurations can be tested concurrently in different servers and in any order and the results obtained will be still same due to the algebraic constraints.

关键词： Testing software as a service Servers Fault diagnosis Algebra Scalability Program processors

来源：评论

学校读者我要写书评

暂无评论

An implementation of a multi-site virtual cluster cloud

An implementation of a multi-site virtual cluster cloud

引用

International Joint Conference on computer science and software engineering (JCSSE)

作者： Pongsakorn U-chupala Putchong Uthayopas Kohei Ichikawa Susumu Date Hirotake Abe High Performance Computing and Networking Center Department of Computer Engineering Faculty of Engineering Kasetsart University Bangkok Thailand Software Design & Analysis Laboratory Graduate School of Information Science NAIST Nara Japan Cybermedia Center Osaka University Osaka Japan Division of Information Science Graduate School of Systems and Information Engineering University of Tsukuba Ibaragi Japan

ISBN: (纸本)9781479908059

The use of virtual cluster for High Performance Computing (HPC) work has a great benefit of hiding the complexity of physical infrastructure while providing a familiar HPC environment for users. Nevertheless, setting up one is still a challenging task for most users. In addition, the ability to span a virtual cluster across a multi-site cloud can even create a great potential for users to harness a much higher processing power from the cloud. In this paper, the development of a multi-site virtual cluster cloud is presented. This is done by providing the cloud infrastructures tailored specifically for virtual cluster deployment along with related utilities such as web-interface monitor and command line tools. To realize this infrastructure, an overlay network is created using Virtual Private Network (VPN) technology to merge every site into a single broadcast domain. Moreover, a Multi-tier VPN network topology is proposed to enhance the communication performance among the multi-site cloud. A smart virtual machine scheduling mechanism is introduced to reduce performance degradation caused by network delays. The experimental results show that the virtual cluster works well with highly parallel task with low communication among task. Thus, this technology can be used to support many classes of important HPC applications.

关键词： Virtual private networks Overlay networks Virtual machining Servers Rocks Cloud computing Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Visual attention patterns during program debugging with an IDE 12

Visual attention patterns during program debugging with an I...

引用

7th Eye Tracking Research and Applications Symposium, ETRA 2012

作者： Hejmady, Prateek Narayanan, N. Hari Intelligent and Interactive Systems Laboratory Computer Science and Software Engineering Department Auburn University Auburn AL 36849 United States

ISBN: (纸本)9781450312257

Integrated Development Environments (IDE) generate multiple graphical and textual representations of programs. Co-ordination of these representations during program comprehension and debugging can be a complex task. In order to better understand the role and effectiveness of multiple representations, we conducted an empirical study of Java program debugging with a professional, multi-representation IDE. We found that program code and dynamic representations (dynamic viewer, variable watch and output) attracted the most attention of programmers. Static representations like Unified Modeling Language (UML) Diagrams and Control Structure Diagrams (CSD) saw significantly lesser usage. We analyzed gaze patterns by segmenting the debugging sessions into three, five and fifteen minute intervals, and classifying gazes into short and long gazes. Novel data mining techniques were used to detect high frequency patterns from eye tracking data. Visual pattern differences were found among participants based on their programming experience, familiarity with the IDE and debugging performance. © 2012 ACM.

关键词： Eye tracking

来源：评论

学校读者我要写书评

暂无评论

Finite-time consensus control for multiple manipulators with unmodeled dynamics

Finite-time consensus control for multiple manipulators with...

引用

American Control Conference

作者： Bin Zhang Yingmin Jia Junping Du Jun Zhang Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electronic and Information Engineering Beihang University (BUAA) Beijing 100191 China

ISBN: (纸本)9781479901777

This paper is devoted to the finite-time control problem for multiple manipulators, where unmodeled dynamics is taken into consideration. An effective coordinated control strategy is introduced, under which distributed protocols with continuous feedbacks are proposed. By applying the homogeneous theory for stability analysis, it is proven that the multi-robot system can be globally finite-time stabilized through our protocols. Numerical simulations on four manipulators with two degrees of freedom are presented to validate the effectiveness of the control strategy.

关键词： unmodeled dynamics control strategy Manipulators two degrees of freedom multi-robot systems Stability analysis distributed protocol

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：