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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,288 篇 工学
- 1,119 篇 计算机科学与技术...
- 591 篇 软件工程
- 286 篇 电气工程
- 158 篇 电子科学与技术（可...
- 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...
116 篇 field programmab...
112 篇 real time system...
103 篇 program processo...
90 篇 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 篇 pimentel andy d.
11 篇 blume holger
11 篇 takala jarmo
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,819 篇 英文
9 篇 中文
4 篇 其他

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

共 2831 条记录，以下是481-490 订阅

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

详细简洁

排序：

Power models supporting energy-efficient co-design on ultra-low power embedded systems 16

Power models supporting energy-efficient co-design on ultra-...

引用

16th international conference on embedded computer systems: architectures, modeling and simulation, SAMOS 2016

作者： Tran, Vi Ngoc-Nha Barry, Brendan Ha, Phuong Hoai Department of Computer Science UiT the Arctic University of Norway Tromso Norway Movidius Ltd. Dublin Ireland

ISBN: (纸本)9781509030767

The energy efficiency of computing systems can be enhanced via power models that provide insights into how the systems consume power. However, there are no application-general, fine-grained and validated power models which can provide insights into how a given application running on an ultra-low power (ULP) embedded system consumes power. In this study, we devise new fine-grained power models that provide insights into how a given application consumes power on an ULP embedded system. The models support architecture-application co-design by considering both platform and application properties. The models are validated with data from 35 micro-benchmarks and three application kernels, namely dense matrix multiplication, sparse matrix vector multiplication and breadth first search, on Movidius Myriad, an ultra-low power embedded system. The absolute percentage errors of the model are at most 8.5% for micro-benchmarks and 12% for application kernels. Based on the models, we propose a framework predicting when to apply race-to-halt (RTH) strategy (i.e., running an application with a maximum setting) to a given application. For the three validated application kernels, the proposed framework is able to predict when to use RTH and when not to use RTH precisely. The experimental results show that the prediction of our new RTH framework is accurate and we can save up to 61% energy for dense matrix multiplication, 59% energy for sparse matrix vector multiplication by using RTH and 5% energy for breadth first search by not using RTH. © 2016 IEEE.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Preface

International Conference on Perspective Technologies and Met...

引用

international conference on Perspective Technologies and Methods in MEMS Design 2018年 VII-VIII页

作者： Lobur, Mykhaylo Computer Aided Design Department Lviv Polytechnic National University Ukraine

来源：评论

学校读者我要写书评

暂无评论

A modeling and Verification Approach to the Design of Distributed IMA architectures using TTEthernet 7

A Modeling and Verification Approach to the Design of Distri...

引用

7th international conference on Ambient systems, Networks and Technologies (ANT) / 6th international conference on Sustainable Energy Information Technology (SEIT)

作者： Robati, Tiyam Gherbi, Abdelouahed Mullins, John Ecole Technol Super Dept Software & IT Engn Montreal PQ Canada Ecole Polytech Montreal Dept Comp & Software Engn Montreal PQ Canada

Integrated Modular Avionics (IMA) architectures complemented with Time-Triggered Ethernet (TTEthernet) provides a strong platform to support the design and deployment of distributed avionic software systems. The complexity of the design and continuous integration of such systems can be managed using a model-based methodology. In this paper, we build on top of our extension of the AADL modeling language to model TTEthernet-based distributed systems and leverage model transformations to enable undertaking the verification of the system models produced with this methodology. In particular, we propose to transform the system models to a model suitable for a simulation with DEVS. We illustrate the proposed approach using an example of a navigation and guidance system and we use this example to show the verification of the contention-freedom property of TTEthernet schedule. (C) 2016 The Authors. Published by Elsevier B.V.

关键词： Integrated Modular Avionics TTEthernet Model transformation Verification DEVS simulation

来源：评论

学校读者我要写书评

暂无评论

EdgeCloudSim: An environment for performance evaluation of Edge Computing systems

EdgeCloudSim: An environment for performance evaluation of E...

引用

international conference on Fog and Mobile Edge Computing (FMEC)

作者： Cagatay Sonmez Atay Ozgovde Cem Ersoy Bogazici Universitesi Istanbul TR Department of Computer Engineering Bogazici University Istanbul Turkey

ISBN: (纸本)9781538628607

Edge Computing is a fast growing field of research covering a spectrum of technologies such as Cloudlets, Fog Computing and Mobile Edge Computing (MEC). Edge Computing involves technically more sophisticated setup when compared with the pure Cloud Computing and pure Mobile Computing cases since both computational and network resources should be considered simultaneously. In that respect, it provides a larger design space with many parameters rendering a variety of novel approaches feasible. Given the complexity, Edge Computing designs deserve scientific scrutiny for sound assessment of their feasibility. However, despite increasing research activity, this field lacks a simulation tool compatible with the requirements. Starting from available simulators a significant programming effort is required to obtain a simulation tool meeting the actual needs. To decrease the barriers, a new simulator tool called EdgeCloudSim streamlined for Edge Computing scenarios is proposed in this work. EdgeCloudSim builds upon CloudSim to address the specific demands of Edge Computing research and support necessary functionality in terms of computation and networking abilities. To demonstrate the capabilities of EdgeCloudSim an experiment setup based on different edge architectures is simulated and the effect of the computational and networking system parameters on the results are depicted.

关键词： Cloud computing Computational modeling Edge computing Load modeling Delays Wide area networks computer architecture

来源：评论

学校读者我要写书评

暂无评论

Implications of non-volatile memory as primary storage for database management systems 16

Implications of non-volatile memory as primary storage for d...

引用

16th international conference on embedded computer systems: architectures, modeling and simulation, SAMOS 2016

作者： Mustafa, Naveed Ul Armejach, Adria Ozturk, Ozcan Cristal, Adrian Unsal, Osman S. Computer Engineering Department Bilkent University Ankara Turkey Barcelona Supercomputing Center Barcelona Spain

ISBN: (纸本)9781509030767

Traditional Database Management System (DBMS) software relies on hard disks for storing relational data. Hard disks are cheap, persistent, and offer huge storage capacities. However, data retrieval latency for hard disks is extremely high. To hide this latency, DRAM is used as an intermediate storage. DRAM is significantly faster than disk, but deployed in smaller capacities due to cost and power constraints, and without the necessary persistency feature that disks have. Non-Volatile Memory (NVM) is an emerging storage class technology which promises the best of both worlds. It can offer large storage capacities, due to better scaling and cost metrics than DRAM, and is non-volatile (persistent) like hard disks. At the same time, its data retrieval time is much lower than that of hard disks and it is also byte-addressable like DRAM. In this paper, we explore the implications of employing NVM as primary storage for DBMS. In other words, we investigate the modifications necessary to be applied on a traditional relational DBMS to take advantage of NVM features. As a case study, we have modified the storage engine (SE) of PostgreSQL enabling efficient use of NVM hardware. We detail the necessary changes and challenges such modifications entail and evaluate them using a comprehensive emulation platform. Results indicate that our modified SE reduces query execution time by up to 40% and 14.4% when compared to disk and NVM storage, with average reductions of 20.5% and 4.5%, respectively. © 2016 IEEE.

关键词： Dynamic random access storage

来源：评论

学校读者我要写书评

暂无评论

Hardware-in-the-loop testbed for load management applications

Hardware-in-the-loop testbed for load management application...

引用

international conference on Clean Electrical Power (ICCEP)

作者： Sepehr Nakhostin Sergio Moreno Rodríguez Massimo Belometti Luca Omati Politecnico di Milano Milan Italy Electrification Products ABB Bergamo Italy

ISBN: (纸本)9781509046836

This paper focuses on smart power management systems for application in the Low Voltage power distribution. In particular, we consider load management systems based on distributed control implemented by processors embedded in power circuit breakers: such systems can control connection and disconnection of loads with the purpose of maintaining average power within preset boundaries, preventing demand peaks. With the purpose of testing load management systems in a realistic condition, a real time, hardware in the loop testbed has been designed and built. The testbed employs a mathematical model of the electrical consumption of the installation: based on such model, real time, simulated current and voltage signals are generated, that the controller uses as measurement inputs. Based on such inputs, the controller trigger load activation and deactivation strategy. In turn, activation and deactivation commands are fed back into the simulation testbed and taken into account for the continuation of simulation, thus closing the loop. The simulation system includes a complete graphical operator interface, which can be used for demonstration and training purposes, so that performance and operation of load management systems can be made apparent. After describing the architecture and components of the designed system, a test case used for validation is shown.

关键词： Load management Circuit breakers Load modeling Power demand User interfaces Voltage measurement computer architecture

来源：评论

学校读者我要写书评

暂无评论

Real-time benchmark set synthesis based on pWCET estimation and bounded hyper-periods

Real-time benchmark set synthesis based on pWCET estimation ...

引用

international conference on Circuits, System and simulation (ICCSS)

作者： Ashraf Suyyagh Zeljko Zilic Department of Electrical and Computer Engineering McGill University Montreal QC Canada

ISBN: (纸本)9781538603932

In evaluating performance, schedulability, and energy efficiency metrics for real-time systems, numerous algorithms have been proposed to construct synthetic tasksets for simulation. The resulting taskset characteristics should ideally reflect real workloads while the algorithms generating these tasksets should be efficient. Any experimentation using these tasksets will highly depend on their properties. Current approaches construct the sets by choosing taskset periods and utilisation from statistical distributions and compute the task worst case execution times accordingly. Tasks are generated through timed loops or matrix operations up to the specified task WCET. At times, the taskset hyper-period is bounded to minimise simulation interval through selected assignment of task periods. However, tasks which burn processor cycles through loops and matrix operations do not always reflect realistic task loads. In this paper, we propose a methodology for generating realistic tasksets based on available embedded benchmarks. We extend on previous work and propose new algorithms: CPA-AU/DU (Compute-Propagate-Adjust Ascending/Descending Utilisation) which efficiently pair taskset WCETs with selected discrete periods. Our tasksets have bounded and feasible simulation interval and meet desired total utilisation with minimum digression errors. We also show that our algorithms run in polynomial time.

关键词： Computational modeling Estimation Real-time systems Benchmark testing Hardware Timing Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Is computer science dying?

Is computer science dying?

引用

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

作者： Alex Nicolau University High School Irvine CA US

Summary form only given. This talk discusses some positive and negative trends in the field. It briefly examines some case studies, and finally discusses things that we as a community could do better.

ISBN: (纸本)9781509030774

关键词： computer science Market research

来源：评论

学校读者我要写书评

暂无评论

Quantitative Investigations about the Surface Texture Characteristics of the Nickel-Carbon Composite Thin Films using Stereometric Analysis

Quantitative Investigations about the Surface Texture Charac...

引用

2017 international conference on Applied Mathematics, modeling and simulation (AMMS2017)

作者： Aleksandra ADAMIEC Sebastian STACH ?tefan ??LU University of Silesia Faculty of Computer Science and Materials ScienceInstitute of InformaticsDepartment of Biomedical Computer Systems The Technical University of Cluj-Napoca The Directorate of ResearchDevelopment and Innovation Management (DMCDI)

The purpose of this study was to describe the 3-D nano-scaled surface texture of the Nickel–Carbon(Ni–C) nanocomposite thin films composed of Ni nanoparticles with different average sizes embedded in amorphous hydrogenated carbon using stereometric analysis. The 3-D nanoscaled surface texture was studied by atomic force microscopy(AFM) and stereometric analysis. In a wider context, we also discuss our findings with regard to manufacture of the Nickel-Carbon composite thin films with desired surface characteristics.

关键词： atomic force microscopy Nickel-Carbon composite thin films stereometric analysis surface micromorphology

来源：评论

学校读者我要写书评

暂无评论

modeling of Antenna System for Capsule Endoscopic Complex "Landish" 7th

Modeling of Antenna System for Capsule Endoscopic Complex "L...

引用

7th Annual international conference on Biologically Inspired Cognitive architectures (BICA)

作者： Suchkov, Dmitry Granov, Alexander Anpilogov, Artem Khabibullin, Timur Tolstaya, Anastasia Natl Res Nucl Univ MEPhI Moscow Engn Phys Inst Kashirskoe Highway 31 Moscow 115409 Russia

This article focuses on modeling of different options of antenna system including and in particular an antenna for the capsule endoscope (transmitter antenna) of the capsule endoscopic complex "Landish". A helical antenna is reviewed for the transmitter, as well as a patch antenna on a curved substrate, and a quarter-wave monopole vibrator and a ceramic antenna. An experiment was conducted in order to compare the gain of the antennas at a fixed position in the space of the transmitting antennas, and the impact of the human body on the features of antennas. Recommendations on the choice of antenna systems in accordance with the simulation results are provided.

关键词： Antenna system for endoscopic complex antenna for a transmitter patch antenna helical antenna quarter-wave monopole vibrator

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共284页 << < 45 46 47 48 49 50 51 52 53 54 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：