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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

546 篇 期刊文献
527 篇 会议
12 册 图书

馆藏范围

1,085 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

673 篇 工学
- 308 篇 计算机科学与技术...
- 230 篇 软件工程
- 111 篇 信息与通信工程
- 109 篇 土木工程
- 108 篇 电气工程
- 108 篇 控制科学与工程
- 100 篇 船舶与海洋工程
- 90 篇 电子科学与技术（可...
- 65 篇 机械工程
- 44 篇 动力工程及工程热...
- 41 篇 生物工程
- 40 篇 光学工程
- 36 篇 仪器科学与技术
- 35 篇 化学工程与技术
- 34 篇 交通运输工程
- 29 篇 生物医学工程（可授...
- 27 篇 材料科学与工程（可...
- 26 篇 安全科学与工程
410 篇 理学
- 164 篇 数学
- 92 篇 海洋科学
- 80 篇 物理学
- 63 篇 生物学
- 53 篇 统计学（可授理学、...
- 52 篇 系统科学
- 34 篇 化学
138 篇 管理学
- 109 篇 管理科学与工程(可...
- 53 篇 工商管理
- 26 篇 图书情报与档案管...
61 篇 医学
- 47 篇 临床医学
- 34 篇 基础医学(可授医学...
27 篇 法学
16 篇 经济学
15 篇 农学
11 篇 教育学
5 篇 艺术学
2 篇 军事学
1 篇 哲学
1 篇 历史学

主题

28 篇 computer archite...
21 篇 deep learning
19 篇 optimization
16 篇 laboratories
14 篇 computer science
14 篇 computational mo...
13 篇 control systems
13 篇 feature extracti...
13 篇 machine learning
12 篇 systems engineer...
12 篇 wireless sensor ...
12 篇 delay
11 篇 monitoring
11 篇 protocols
11 篇 accuracy
10 篇 application soft...
10 篇 switches
10 篇 decision making
10 篇 humans
10 篇 artificial intel...

机构

14 篇 university of ch...
13 篇 key laboratory o...
12 篇 information syst...
11 篇 department of el...
10 篇 department of sy...
9 篇 usn
8 篇 key laboratory o...
8 篇 department of co...
7 篇 health managemen...
7 篇 institute of sys...
7 篇 shanghai researc...
7 篇 ieee
7 篇 department of el...
7 篇 graduate school ...
7 篇 information syst...
6 篇 access – ai chip...
6 篇 department of co...
6 篇 key laboratory o...
6 篇 beijing key labo...
6 篇 computer enginee...

作者

15 篇 yang yang
11 篇 yusheng ji
10 篇 ji yusheng
10 篇 chen mingzhe
9 篇 mostafa abotaleb
9 篇 parisini thomas
8 篇 wang zhongrui
8 篇 shang dashan
8 篇 liu ming
8 篇 johansson karl h...
8 篇 liu qi
8 篇 zhang xumeng
8 篇 abdelhameed ibra...
7 篇 wu celimuge
7 篇 guo caili
7 篇 qi xiaojuan
7 篇 zhou mengchu
7 篇 chen guanpu
7 篇 wang shaocong
6 篇 zhang woyu

语言

982 篇 英文
82 篇 其他
14 篇 中文
6 篇 日文

检索条件"机构=Institute of Systems Engineering System and Computer Architecture"

共 1085 条记录，以下是791-800 订阅

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

详细简洁

排序：

A self-repairable microprocessor

A self-repairable microprocessor

引用

ISTC/CSTIC 2009 (CISTC)

作者： Xie, Yuanjiang Fu, Xiang He, Zijian Zhao, Yang Hu, Yu Li, Xiaowei Key Laboratory of Computer System and Architecture Chinese Academy of Sciences Beijing 100190 China Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate School of Chinese Academy of Sciences Beijing 100049 China Department of Computer Science and Engineering University of California Riverside 92521 United States

ISBN: (纸本)9781615676460

With increasing defect density, microprocessors, especially the embedded caches, will encounter more faults. Adding spare resources to replace defective components is a widely accepted method for yield enhancement. In this work, a repair method using content addressable memory combined with spare bits, as well as a novel fault injection method is proposed. With the proposed fault injection technique, various numbers and types of faults can be flexibly injected into the silicon. A wireless sensor network system using our self-repairable microprocessor (SRP) is developed to prove the effectiveness of the proposed technique. ©The Electrochemical Society.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

A Protocol-Independent Approach for Analyzing the Optimal Operation Point of CSMA/CA Protocols

A Protocol-Independent Approach for Analyzing the Optimal Op...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Y. Cheng X. Ling W. Zhuang Electrical and Computer Engineering Illinois Institute of Technology USA BlackBerry System Architecture Research in Motion Limited Canada Electrical and Computer Engineering University of Waterloo Canada

ISBN: (纸本)9781424435128

This paper presents a protocol-independent approach to reveal a new insight into the performance of carrier sense multiple access with collision avoidance (CSMA/CA) protocols: the family of CSMA/CA protocols, independent of implementation details, share the same optimal operation point where the maximum protocol capacity is achieved. The protocol- independent analysis is inspired by the concept of virtual time slot. At the timescale of virtual-slot, all the CSMA/CA protocols show the same behavior pattern and, therefore, a generic virtual- slot based S-G (VS S-G) analysis is developed to compute the optimal operation point. The accuracy of the VS S-G analysis is benchmarked against the precise protocol-specific analysis, in particular, for the 802.11 distributed coordination function (DCF) and the 802.15.4 contention access period (CAP). Furthermore, this paper discusses how to integrate the network-layer queueing analysis with the VS S-G analysis at the medium access control (MAC) layer to form a generic cross-layer framework for call- level network capacity analysis.

关键词： Multiaccess communication Media Access Protocol Access protocols Wireless application protocol Performance analysis Collision avoidance Wireless personal area networks Wireless sensor networks Wireless LAN Wireless mesh networks

来源：评论

学校读者我要写书评

暂无评论

Discrete time minimax tracking control with disturbance estimation 10

Discrete time minimax tracking control with disturbance esti...

引用

2009 10th European Control Conference, ECC 2009

作者： Bauer, Peter Kulcsar, Balazs Bokor, Jozsef Systems and Control Laboratory Computer and Automation Research Institute Hungarian Academy of Sciences BudapestH-1111 Hungary Delft Center for System and Control Faculty of Mechanical Maritime and Materials Engineering Technical University of Delft Mekelweg 2 Delft Netherlands

ISBN: (纸本)9783952417393

The paper proposes an alternative way to solve robust reference tracking problem. Instead of rejecting the effect of the disturbance directly, an intermediate step is built into the state estimation problem. The advantage of the methodology is to elaborate a modified optimal state estimation problem taking the unbiased estimate of the disturbance into account. Henceforward, the solution of the discrete time, optimal LQ minimax tracking problem is modified and subjected to attenuate the disturbance residual. The paper addresses the nominal case for constant reference and disturbance signal showing the asymptotical stability and the tracking performance of the discrete time, optimal min-max control. Suboptimal solution is given for time varying reference and disturbance signal. A linearized hovering quadrotor example demonstrates the importance of the suggested technique. © 2009 EUCA.

关键词： State estimation

来源：评论

学校读者我要写书评

暂无评论

Swarm Robots Long Term Autonomy Using Moveable Charger

Swarm Robots Long Term Autonomy Using Moveable Charger

引用

International Conference on Future computer and Communication, ICFCC

作者： Farshad Arvin Khairulmizam Samsudin Abdul Rahman Ramli Computer Systems Research Group Department of Computer System Engineering University of Putra Malaysia Serdang Malaysia Intelligent System and Robotic Laboratory Institute on Advanced Technology University of Putra Malaysia Serdang Malaysia

This paper proposes an alternative docking charger station for mobile robots. One crucial task in swarm robots scenario is to find low battery robots and recover them. Overcoming this problem requires a versatile mobile charging station that is able to actively locate and charge inactive mobile robots unlike the conventional stationary docking stations. The mobile charger robot should perform independent tasks other than the swarm robots global task. It uses similar communication method with other swarm robots, however new preprogrammed instructions are required to facilitate battery charging task for swarm robots.

关键词： Mobile robots Batteries Intelligent robots Service robots Robotics and automation computer interfaces Portable computers Robot sensing systems Humans Navigation

来源：评论

学校读者我要写书评

暂无评论

Web Service Selection Algorithm Based on Particle Swarm Optimization

Web Service Selection Algorithm Based on Particle Swarm Opti...

引用

IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)

作者： Hong Xia Yan Chen Zengzhi Li Haichang Gao Yanping Chen Institute of Computer System Architecture and Network Xi'an Jiaotong University Xi'an China Software Engineering Institute Xidian University Xi'an China Department of Computer Science and Technology Xi'an Institute of Post and Telecommunications Xi'an China

A novel multi-objective optimization based particle swarm optimization algorithm is presented to solve the global optimization problem for based services selecting in Web services composition technology. This algorithm takes Web services selection as a multi-objective constrained optimization problem with constraints. It introduces multi-objective PSO intelligent theory to optimize multi parameters simultaneously, and produces a set of constraints to meet the Pareto optimal solution. The experiments show that the algorithm is a feasible and efficient method for Web services selection.

关键词： Web services Particle swarm optimization Quality of service Constraint optimization computer networks Software algorithms Service oriented architecture Linear programming Optimization methods Telecommunication computing

来源：评论

学校读者我要写书评

暂无评论

Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs 09

Detecting and Eliminating Potential Violations of Sequential...

引用

International Symposium on Code Generation and Optimization (CGO)

作者： Yuelu Duan Xiaobing Feng Lei Wang Chao Zhang Pen-Chung Yew Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China Department of Computer Science and Engineering University of Minnesota Twin-Cities Minneapolis USA

ISBN: (纸本)9780769535760

When a concurrent shared-memory program written with a sequential consistency (SC) model is run on a machine implemented with a relaxed consistency (RC) model, it could cause SC violations that are very hard to debug. To avoid such violations, programmers need to provide explicit synchronizations or insert fence instructions. In this paper, we propose a scheme to detect and eliminate potential SC violations by combining Shasha/Snir's conflict graph and delay set theory with existing data race detection techniques. For each execution, we generate a race graph, which contains the improperly synchronized conflict accesses, called race accesses, and race cycles formed with those accesses. As a race cycle would probably lead to a non-sequential-consistent execution, we call it a potential violation of sequential consistency (PVSC) bug. We then compute the race delays of race cycles, and suggest programmers to insert fences into source code to eliminate PVSC bugs. We further convert a race graph into a PC race graph, and improves cycle detection and race delay computation to O(n 2 ), where n is the number of race access instructions. We evaluate our approach with the SPLASH-2 benchmarks, two large real-world applications (MySQL and Apache), and several multi-threaded Cilk programs. The results show that (1) the proposed approach could effec-tively detect PVSC bugs in real-world applications with good scalability; (2) it retains most of the performance of the concurrent program after inserting required fence instructions, with less than 6.3% performance loss; and (3) the additional cost of our approach over traditional race detection techniques is quite low, with 3.3% on average.

关键词： Programming profession Delay Set theory computer bugs Performance loss Chaos computer science Laboratories Concurrent computing computer architecture

来源：评论

学校读者我要写书评

暂无评论

On the identification of LPV traffic flow model 10

On the identification of LPV traffic flow model

引用

2009 10th European Control Conference, ECC 2009

作者： Luspay, T. Kulcsar, B. Van Wingerden, J.W. Verhaegen, M. Systems and Control Laboratory Computer and Automation Research Institute Hungarian Academy of Sciences Kende u. 13.-17 BudapestH-1111 Hungary Delft Center for System and Control Faculty of Mechanical Maritime and Materials Engineering Technical University of Delft Mekelweg 2 Delft Netherlands

ISBN: (纸本)9783952417393

关键词： LPV Identification Linear Parameter Varying (LPV) systems freeway traffic modeling Traffic flow Authentication Subspace systems comparison Loop detector nonlinearity Flow models

来源：评论

学校读者我要写书评

暂无评论

Quantized Feedback Stabilization of Hybrid Impulsive Control systems

Quantized Feedback Stabilization of Hybrid Impulsive Control...

引用

Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference

作者： Zhichun Yang Yiguang Hong Zhong-Ping Jiang Xiaoli Wang Chongqing Key Lab of Operations Research and System Engineering Department of Mathematics and Computer ScienceChongqing Normal University Institute of Systems Science Chinese Academy of Sciences Key Laboratory of Systems and Control Institute of Systems ScienceChinese Academy of Sciences Dept.of Electrical & Computer Engineering Polytechnic Institute of New York University

In this paper,we consider the feedback stabilization problem of impulsive linear control systems with quantized input signals and quantized output *** concepts including quasi-invariant sets and attracting sets for hybrid impulsive quantized systems are *** on these concepts and the analysis of related dynamic properties,we propose hybrid quantized control schemes to stabilize the considered impulsive systems via state and output feedback.

关键词： quantization impulsive systems hybrid control stabilization

来源：评论

学校读者我要写书评

暂无评论

Feature extraction of electroencephalogram of photic evoked spikes with slow burst and its automatic detection

Feature extraction of electroencephalogram of photic evoked ...

引用

ICROS-SICE International Joint Conference 2009, ICCAS-SICE 2009

作者： Nishida, Shigeto Sugi, Takenao Ikeda, Akio Nagamine, Takashi Shibasaki, Hiroshi Nakamura, Masatoshi Department of Computer and Communication Engineering Fukuoka Institute of Technology Fukuoka Japan Department of Electrical and Electronic Engineering Saga University Saga Japan Department of Neurology Kyoto University School of Medicine Kyoto Japan Department of System Neuroscience Sapporo Medical University Sapporo Japan Takeda General Hospital Kyoto Japan Department of Advanced Systems Control Engineering Saga University Saga Japan

ISBN: (纸本)9784907764333

A method for detecting spikes and slow burst in photic evoked electroencephalogram (EEG) was proposed. The spikes were detected by combining methods of the morphological filter and the similarity coefficient in the time domain. The slow burst was detected by using pole of AR model in the frequency domain. The proposed method was applied for the photic evoked EEG data containing spikes and slow burst, and brought satisfactory coincidence with the results interpreted by a qualified electroencephalographer. © 2009 SICE.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

Achieving Dependable Component Bindings in Dynamic Adaptive systems - A Runtime Testing Approach

Achieving Dependable Component Bindings in Dynamic Adaptive ...

引用

International Conference on Self-Adaptive and Self-Organizing systems (SASO)

作者： Dirk Niebuhr Andreas Rausch Cornel Klein Juergen Reichmann Reiner Schmid Institute of Computer Science Software Systems Engineering Clausthal University of Technology Clausthal-Zellerfeld Germany SW Architecture & Platforms Corporate Research and Technologies Munich Germany

Component-based software engineering has been continuously improved and successfully applied over the past years. Future systems, like ultra-large scale systems, are a vast array of decentralized, distributed, autonomic, heterogeneous, organically grown and continually evolving subsystems respectively components. Components may join or leave these systems during the life cycle of these systems, even at runtime. Despite this enormous complexity, we depend more and more on these dynamic adaptive systems. Hence we have to care about dependability although the systems are evolving at runtime. To achieve dependable dynamic adaptive systems which support hot plug and binding of components during runtime we claim to integrate specific concepts, like runtime testing, into the component infrastructure. In this paper we will show that existing approaches cannot guarantee the correctness of component bindings in dynamic adaptive systems. Therefore we introduce a technique for runtime testing and show how it can be integrated into a component-based approach.

关键词： Adaptive systems system testing Runtime Software systems Plastics Software engineering Software reusability Automatic testing Software testing computer science

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共109页 << < 76 77 78 79 80 81 82 83 84 85 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：