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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,723 篇 会议
57 册 图书
54 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,289 篇 工学
- 1,120 篇 计算机科学与技术...
- 591 篇 软件工程
- 287 篇 电气工程
- 159 篇 电子科学与技术（可...
- 150 篇 控制科学与工程
- 137 篇 信息与通信工程
- 50 篇 机械工程
- 44 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 19 篇 建筑学
- 18 篇 材料科学与工程（可...
- 18 篇 安全科学与工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 12 篇 生物工程
- 11 篇 光学工程
275 篇 理学
- 173 篇 数学
- 81 篇 系统科学
- 38 篇 物理学
- 33 篇 统计学（可授理学、...
- 14 篇 化学
- 14 篇 生物学
142 篇 管理学
- 119 篇 管理科学与工程(可...
- 52 篇 工商管理
- 30 篇 图书情报与档案管...
21 篇 经济学
- 21 篇 应用经济学
20 篇 法学
- 20 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
117 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
91 篇 embedded computi...
89 篇 kernel
84 篇 software
83 篇 computer science
82 篇 parallel process...
81 篇 registers
73 篇 control systems
72 篇 algorithm design...

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
7 篇 department of co...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 natl tech univ a...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...

作者

19 篇 leupers rainer
16 篇 soudris dimitrio...
16 篇 ascheid gerd
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 takala jarmo
12 篇 pimentel andy d.
11 篇 blume holger
11 篇 holger blume
10 篇 andy d. pimentel
10 篇 jung matthias
9 篇 mohamed abid
9 篇 fornaciari willi...
9 篇 pnevmatikatos di...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 andreas gerstlau...
9 篇 wehn norbert
8 篇 f. fummi

语言

2,817 篇 英文
9 篇 其他
9 篇 中文

检索条件"任意字段=International Conference on Embedded Computer Systems Architectures Modeling and Simulation"

共 2834 条记录，以下是1081-1090 订阅

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

详细简洁

排序：

Performance evaluation of multicore systems: From traffic analysis to latency predictions (embedded tutorial) 13

Performance evaluation of multicore systems: From traffic an...

引用

IEEE international conference on computer-Aided Design

作者： Zhiliang Qian Paul Bogdan Chi-Ying Tsui Radu Marculescu Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong Department of Electrical Engineering University of Southern California Los Angeles Electrical and Computer Engineering Carnegie Mellon University Pittsburgh

ISBN: (纸本)9781479910694

As technology scaling down allows multiple processing components to be integrated on a single chip, the modern computing systems led to the advent of Multiprocessor System-on-Chip (MPSoC) and Chip Multiprocessor (CMP) design. Network-on-Chips (NoCs) have been proposed as a promising solution to tackle the complex on-chip communication problems on these multicore platforms. In order to optimize the NoC-based multicore system design, it is essential to evaluate the NoC performance with respect to numerous configurations in a large design space. Taking the traffic characteristics into account and using an appropriate latency model become crucially important to provide an accurate and fast evaluation. In this tutorial, we survey the current progresses in these aspects. We first review the NoC workload modeling and traffic analysis techniques. Then, we discuss the mathematical formalisms of evaluating the performance under a given traffic model, for both the average and worst-case latency predictions. Finally, the advantages of combining the analytical and simulation-based techniques are discussed and new attempts for bridging these two approaches are reviewed.

关键词： Analytical models Computational modeling Mathematical model Performance evaluation Multicore processing System-on-chip Predictive models

来源：评论

学校读者我要写书评

暂无评论

Neuro-fuzzy sensor's linearization based FPGA

Neuro-fuzzy sensor's linearization based FPGA

引用

IEEE international Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Mounir Bouhedda Laboratory of Advanced Electronic Systems (LSEA) University of Medea Medea Algeria

Nonlinear sensors and digital solutions are used in many embedded system designs. As the input/output characteristic of most sensors is nonlinear in nature, obtaining data from a nonlinear sensor by using an optimized device has always been a design challenge. This paper aims to propose a new Adapive Neuro-Fuzzy Inference System (ANFIS) digital architecture based Field Programmable Gate Array (FPGA) to linearize the sensor's characteristic. The ANFIS linearizer in synthesized and optimized in view to digital linearization. The performance of the developed architecture is examined with comparison to ANFIS software model and with two other designed architectures based FPGA using classical techniques. The results show the successful of the proposed architecture by demonstrating the capability of the operation to linearize a temperature sensor characteristic.

关键词： Field programmable gate arrays Sensor phenomena and characterization computer architecture Hardware Integrated circuit modeling Temperature sensors

来源：评论

学校读者我要写书评

暂无评论

Semi Physical simulation of Diesel Generator Set Rotational Speed Control

Semi Physical Simulation of Diesel Generator Set Rotational ...

引用

2013 international conference on Mechatronic systems and Materials Application (ICMSMA 2013)

作者： Min Peng Engineering Institute Wuhan Yangtze Business University

The paper build simulation model of MTU396 diesel generating sets through the SIMULINK,and then using MATLAB real-time workshop(RTW)to transfer the SIMULINK simulation model into a portable embedded c++code,in the Visual c++integrated development environment to develop semi physical simulation system of diesel rotational speed *** method makes full use of the SIMULINK rich,convenient modeling environment,at the same time plays a powerful hardware control function of VC and the advantages of human-computer interface flexible *** paper introduces the development of semi physical simulation system with the method of specific steps and realization method.

关键词： Real-time workshop Semi physical simulation SIMULINK Visual c + +

来源：评论

学校读者我要写书评

暂无评论

Formal verification of distributed dynamic thermal management 13

Formal verification of distributed dynamic thermal managemen...

引用

IEEE international conference on computer-Aided Design

作者： Muhammad Ismail Osman Hasan Thomas Ebi Muhammad Shafique Jörg Henkel School of Electrical Engineering and Computer Science National University of Sciences and Technology Islamabad Pakistan Chair for Embedded Systems (CES) Karlsruhe Institute of Technology (KIT) Germany

ISBN: (纸本)9781479910694

simulation is the state-of-the-art analysis technique for distributed thermal management schemes. Due to the numerous parameters involved and the distributed nature of these schemes, such non-exhaustive verification may fail to catch functional bugs in the algorithm or may report misleading performance characteristics. To overcome these limitations, we propose a methodology to perform formal verification of distributed dynamic thermal management for many-core systems. The proposed methodology is based on the SPIN model checker and the Lamport timestamps algorithm. Our methodology allows specification and verification of both functional and timing properties in a distributed many-core system. In order to illustrate the applicability and benefits of our methodology, we perform a case study on a state-of-the-art agent-based distributed thermal management scheme.

关键词： Timing Model checking System recovery Computational modeling Thermal management Analytical models Automata

来源：评论

学校读者我要写书评

暂无评论

Is Time Predictability Quantifiable?

Is Time Predictability Quantifiable?

引用

international conference on embedded computer systems - architectures, modeling and simulation (IC-SAMOS)

作者： Schoeberl, Martin Tech Univ Denmark Dept Informat & Math Modeling Lyngby Denmark

ISBN: (纸本)9781467322973;9781467322966

computer architects and researchers in the real-time domain start to investigate processors and architectures optimized for real-time systems. Optimized for real-time systems means time predictable, i.e., architectures where it is possible to statically derive a tight bound of the worst-case execution time. To compare different approaches we would like to quantify time predictability. That means we need to measure time predictability. In this paper we discuss the different approaches for these measurements and conclude that time predictability is practically not quantifiable. We can only compare the worst-case execution time bounds of different architectures.

关键词： ARCHITECTURE execution time real-time systems Bound PROCESSOR TIME-DOMAIN Architects

来源：评论

学校读者我要写书评

暂无评论

The Design of ICS Testbed Based on Emulation, Physical, and simulation (EPS-ICS Testbed)

The Design of ICS Testbed Based on Emulation, Physical, and ...

引用

international conference on Intelligent Information Hiding and Multimedia Signal Processing (IIHMSP)

作者： Haihui Gao Yong Peng Kebin Jia Zhonghua Dai Ting Wang Technical Assessment Research Lab CNITSEC Beijing China College of Electronic Information and Control Engineering Beijing University of Technology Beijing China

This paper begins with a discussion of the role and value of industrial control system (ICS) test bed which apply a universal, controllable, realistic, and repeatable experimental platform to SCADA control system cyber security research. According to ICS layered architecture, ICS test bed based on emulation, physical, and simulation (EPS-ICS Test bed) is designed and implemented. EPS-ICS Test bed enables experimenters to create experiments with varying levels of fidelity and is widely used in vulnerability digging, comprehensive security training, facilitate development of security standards, develop advanced control system architectures and technologies that are more secure and robust.

关键词： Process control Mathematical model Integrated circuit modeling computer security Control systems MATLAB

来源：评论

学校读者我要写书评

暂无评论

embedded neuromorphic vision systems 13

Embedded neuromorphic vision systems

引用

international conference on Hardware/Software Codesign and System Synthesis (CODES)

作者： Kevin Irick SiliconScapes The Pennsylvania State University State College PA

ISBN: (纸本)9781479914173

The large body of research in perceptual computing has and will continue to enable many intriguing applications such as augmented reality, driver assistance, and personal analytics. Moreover, as wearable first person computing devices become increasingly popular, the demand for highly interactive perceptual computing applications will increase rapidly. Applications including first person assistance and analytics will be pervasive across retail, automotive, and medical domains. However, the computational requirements demanded by future perceptual computing applications will far exceed the capabilities of traditional vision algorithms that are executed on sequential CPUs and GPUs. Hardware accelerators are recognized as key to surpassing the limits of existing sequential architectures. In particular, brain inspired, or neuromorphic, vision accelerators have the potential to support computationally intensive perception algorithms on resource and power constrained devices.

关键词： Neuromorphics Machine vision Computational modeling Accuracy computer architecture Brain models

来源：评论

学校读者我要写书评

暂无评论

Workload utilization dissemination on grid resources for simulation environment

Workload utilization dissemination on grid resources for sim...

引用

international conference on Research and Innovation in Information systems (ICRIIS)

作者： Bakri Yahaya Rohaya Latip Azizol Hj Abdullah Mohamed Othman Dept. of Communication Technology Network Fac. of Computer Science Information Technology Universiti Putra Malaysia Selangor UPM Malaysia

This paper discusses the workload utilization dissemination for grid computing. The CPU is a well-known resource item and it is an integral part in most literatures while other RI's may include memory, network and I/O overhead. The selection of resource variables and the number of RI's involved will result in different definitions of the workload. Various combination of computer RI's have been explored for studying the style of usage, techniques embedded and their capabilities. In contemplating the exploration, this study successfully describe the pattern of workload dissemination through the usage of the RI's and elicited the enhancement factors for systems performance. Among these factors are the manipulation of computer RI's, type of workload information with method of use, the workload dissemination direction along with implementation method and using certain algorithm to come out with new integrated scheduling with load balancing capability. A combination of these factors will help in developing an optimized scheduling or load balancing algorithm.

关键词： Resource management Load management Grid computing Central Processing Unit Processor scheduling Scheduling Load modeling

来源：评论

学校读者我要写书评

暂无评论

A biologically inspired computational model of Moral Decision Making for autonomous agents

A biologically inspired computational model of Moral Decisio...

引用

IEEE international conference on Cognitive Informatics

作者： José-Antonio Cervantes Luis-Felipe Rodríguez Sonia López Félix Ramos Department of Computer Science Cinvestav Guadalajara Mexico

In areas such as psychology and neuroscience a common approach to study human behavior has been the development of theoretical models of cognition. In fields such as artificial intelligence, these cognitive models are usually translated into computational implementations and incorporated into the architectures of intelligent autonomous agents (AAs). The main assumption is that this design approach contributes to the development of intelligent systems capable of displaying very believable and human-like behaviors. Decision Making is one of the most investigated and computationally implemented cognitive functions. The literature reports several computational models designed to allow AAs to make decisions that help achieve their personal goals and needs. However, most models disregard crucial aspects of human decision making such as other agents' needs, ethical values, and social norms. In this paper, we propose a biologically inspired computational model of Moral Decision Making (MDM). This model is designed to enable AAs to make decisions based on ethical and moral judgment. The simulation results demonstrate that the model helps to improve the believability of virtual agents when facing moral dilemmas.

关键词： Ethics Decision making Computational modeling Brain modeling Biological system modeling Psychology

来源：评论

学校读者我要写书评

暂无评论

Total System Cost Analysis of Master-Slave Multi-super-Hypercube DX-tree Architecture

Total System Cost Analysis of Master-Slave Multi-super-Hyper...

引用

ACIS international conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Hamid Abachi Department of Computer Engineering King Saud University Riyadh Saudi Arabia

ISBN: (纸本)9781479903719

In recent years the area of High Performance Computing (HPC) has received an outstanding support both from the users as well as the computer system designers. This support is mainly due to the increase of the complexity and density of the data processing of some of the advanced research areas. These areas include but not limited to, the climate modeling, weather forecasting, and performance measurement and improving precision of the nuclear weapon systems as well as space programs. This rise in complexity would impose additional pressure on the clients to demand for further improvements on system features such as speed, reliability, performance, fault tolerance, compatibility, size and cost. This is one of the determining factors that encourages our researchers to model new architectures in the areas of HPC in order to satisfy the clients' scientific and engineering requirements. With this motivation in mind the author has introduced a new architecture which is coined as Master -Slave Multi-Super Hypercube DXTree architecture ((MS) 2 HDX - T). For this architecture the total system cost through mathematical modeling and simulation is compared with similar parameters in the existing HPC systems. The result highlights the advantages or otherwise of the proposed architecture from scientific research and/or commercial point of view.

关键词： Program processors Master-slave Hypercubes Measurement Mathematical model Parallel processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 105 106 107 108 109 110 111 112 113 114 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：