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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,149 篇 会议
40 篇 期刊文献
21 册 图书
1 篇 学位论文

馆藏范围

3,211 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,898 篇 工学
- 1,681 篇 计算机科学与技术...
- 890 篇 软件工程
- 541 篇 电气工程
- 292 篇 信息与通信工程
- 251 篇 控制科学与工程
- 93 篇 电子科学与技术（可...
- 71 篇 动力工程及工程热...
- 66 篇 机械工程
- 60 篇 生物工程
- 53 篇 安全科学与工程
- 49 篇 网络空间安全
- 46 篇 交通运输工程
- 43 篇 仪器科学与技术
- 36 篇 建筑学
- 30 篇 生物医学工程（可授...
- 27 篇 土木工程
- 25 篇 光学工程
- 20 篇 环境科学与工程（可...
324 篇 理学
- 171 篇 数学
- 65 篇 生物学
- 61 篇 物理学
- 54 篇 系统科学
- 32 篇 统计学（可授理学、...
- 20 篇 化学
263 篇 管理学
- 210 篇 管理科学与工程(可...
- 134 篇 工商管理
- 68 篇 图书情报与档案管...
40 篇 法学
- 36 篇 社会学
26 篇 医学
- 23 篇 临床医学
21 篇 经济学
- 21 篇 应用经济学
11 篇 农学
9 篇 教育学
9 篇 军事学
8 篇 文学
1 篇 艺术学

主题

524 篇 real-time system...
514 篇 real time system...
255 篇 embedded systems
150 篇 processor schedu...
136 篇 hardware
132 篇 embedded system
129 篇 computational mo...
119 篇 computer archite...
111 篇 timing
88 篇 energy consumpti...
88 篇 embedded computi...
85 篇 resource managem...
83 篇 protocols
82 篇 control systems
77 篇 application soft...
75 篇 monitoring
70 篇 delay
69 篇 computer science
69 篇 scheduling
68 篇 scheduling algor...

机构

11 篇 department of co...
8 篇 malardalen univ ...
8 篇 city university ...
7 篇 college of compu...
7 篇 eindhoven univer...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 scuola super san...
6 篇 uppsala universi...
6 篇 malardalen univ ...
6 篇 department of co...
5 篇 department of co...
5 篇 evidence srl pis...
5 篇 chongqing univ c...
5 篇 department of co...
5 篇 george mason uni...
5 篇 univ politecn va...
5 篇 department of co...

作者

15 篇 nolte thomas
14 篇 thomas nolte
12 篇 jian-jia chen
12 篇 tei-wei kuo
12 篇 anderson james h...
11 篇 james h. anderso...
11 篇 chen jian-jia
10 篇 nobuyuki yamasak...
10 篇 nakajima tatsuo
9 篇 shao zili
8 篇 khalgui mohamed
8 篇 dakai zhu
8 篇 kuo tei-wei
8 篇 xue chun jason
8 篇 tovar eduardo
8 篇 chun jason xue
8 篇 chakraborty sama...
8 篇 cheng albert m. ...
8 篇 nan guan
8 篇 wei zhang

语言

3,108 篇 英文
98 篇 其他
6 篇 中文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=11th International Conference on Embedded and Real-Time Computing Systems and Applications"

共 3211 条记录，以下是1101-1110 订阅

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

详细简洁

排序：

Ray-tracing domain decomposition methods for real-time simulation on multi-core and multi-processor systems

Ray-tracing domain decomposition methods for real-time simul...

引用

4th international Workshop on embedded Multicore computing and applications in conjunction with the 16th IEEE international conference on High Performance and Communications

作者： Magoules, Frederic Gbikpi-Benissan, Guillaume Callet, Patrick Technol Res Inst SystemX 8 Ave Vauve F-91120 Palaiseau France CentraleSupelec F-92295 Chatenay Malabry France

this paper describes the use of domain decomposition methods for accelerating wave physics simulation. Numerical wave-based methods provide more accurate simulation than geometrical methods, but at a higher computation cost as well. In the context of virtual reality, the quality of the results is estimated according to human perception, what makes geometrical methods an interesting approach for achieving real-time physically-based rendering. Here, we investigate a geometrical method based on both beams and rays tracing, which we enhance by two levels of parallel processing. Techniques from domain decomposition methods are coupled with classical parallel computing on both shared and distributed memory. Both optic and acoustic renderings are experimented to evaluate the acceleration impact of the domain decomposition scheme. Speedup measurements clearly show the efficiency of using domain decomposition methods for real-time simulation of wave physics. Copyright (C) 2015 John Wiley & Sons, Ltd.

关键词： ray-tracing beam-tracing parallel computing domain decomposition method wave propagation acoustic optic

来源：评论

学校读者我要写书评

暂无评论

ExploitingWeb Technologies to Connect Business Process Management and Engineering 11

ExploitingWeb Technologies to Connect Business Process Manag...

引用

11th international Joint conference on Software Technologies (ICSOFT-EA)

作者： Campagna, Dario Costanzo, Stefano Kavka, Carlos Turco, Alessandro ESTECO SpA Area Sci PkPadriciano 99 Trieste Italy

ISBN: (纸本)9789897581946

the Business Process Model and Notation (BPMN) standard can be used for representing low-level simulation and automation workflows for scientific, engineering and manufacturing processes. this paper focuses on removing the main obstacles that limit a more widespread adoption of the standard and the related technology: collaboration and data management. Web technologies can provide the necessary complementary features to the BPMN editing and execution activities: real-time collaboration, accessibility, information and expertise sharing. the proposed prototype mimics a SaaS (Software-as-a-Service) platform offering public community support and a private working area which can be shared in real-time with other users. the prototype includes an execution engine the implementation of which has been tailored to support the data structures required by scientific and engineering applications. the ideas presented in this paper are supported by three use cases: a Multi Disciplinary Optimization case (which is a typical engineering-domain problem involving the design of complex items), a collaborative decision-making scenario (the negotiation process for generating a lecture timetable at a university) and Lego-like decomposition of an optimization algorithm (its constituent elements can be easily re-assembled and shared with our platform).

关键词： Business Process Modeling Business Process Execution Decision Support systems

来源：评论

学校读者我要写书评

暂无评论

Performance and Power-Aware Modeling of MPI applications for Cluster computing 11th

Performance and Power-Aware Modeling of MPI Applications for...

引用

11th international conference on Parallel Processing and Applied Mathematics (PPAM)

作者： Proficz, Jerzy Czarnul, Pawel Gdansk Univ Technol Acad Comp Ctr TASK Fac Elect Telecommun & Informat Gdansk Poland

ISBN: (纸本)9783319321523;9783319321516

the paper presents modeling of performance and power consumption when running parallel applications on modern cluster-based systems. the model includes basic so-called blocks representing either computations or communication. the latter includes both point-to-point and collective communication. real measurements were performed using MPI applications and routines run on three different clusters with both Infiniband and Gigabit Ethernet interconnects. Regression allowed to obtain specific coefficients for particular systems, all modeled with the same formulas. the model has been incorporated into the MERPSYS environment for modeling parallel applications and simulation of execution on large-scale cluster and volunteer based systems. Using specific application and system models, MERPSYS allows to predict application execution time, reliability and power consumption of resources used during computations. Consequently, the proposed models for computational and communication blocks are of utmost importance for the environment.

关键词： Performance model Energy consumption Cluster computing MPI

来源：评论

学校读者我要写书评

暂无评论

Automatic Testbench Generation for Simulation-based Verification of Safety-critical systems in UML 6

Automatic Testbench Generation for Simulation-based Verifica...

引用

6th international Joint conference on Pervasive and embedded computing and Communication systems (PECCS)

作者： Weissnegger, Ralph Schuss, Markus Kreiner, Christian Pistauer, Markus Roemer, Kay Steger, Christian Graz Univ Technol TU Graz Inst Tech Informat Graz Austria CISC Semicond GmbH Klagenfurt Austria

ISBN: (纸本)9789897581953

the increasing amount of new assistance features in today's vehicles to ensure safe and reliable operations, imply increasingly complex systems. Since millions of test kilometers have to be driven to ensure a reliable system, simulation-based verification is becoming more important to reduce costs and time-to-market. Furthermore requirements, design and verification have to follow the stringent specifications from standards such as ISO26262 for functional safety. To overcome the complexity issues of safety-critical systems, a model-based approach helps to unites all stakeholder, and helps non safety specialists to understand problems in the design. In this paper, we present a novel methodology to automatically generate testbenches for simulation based verification from a first safety analysis. through early simulation with constraint random stimuli and parameters we are able to derive further requirements for real-time applications. Furthermore, these testbenches can be used through the whole safety-lifecycle. Our approach allows a tight and seamless integration of requirements, design and verification into the safety-lifecycle of ISO26262.

关键词： Functional Safety ISO26262 Simulation Verification UML MARTE Automotive

来源：评论

学校读者我要写书评

暂无评论

VISIGRAPP 2016 - Proceedings of the 11th Joint conference on Computer Vision, Imaging and Computer Graphics theory and applications

VISIGRAPP 2016 - Proceedings of the 11th Joint Conference on...

引用

11th international conference on Computer Vision theory and applications, VISAPP 2016;Part of the 11th Joint conference on Computer Vision, Imaging and Computer Graphics theory and applications, VISIGRAPP 2016

ISBN: (纸本)9789897581755

the proceedings contain 30 papers. the topics discussed include: efficient culling techniques for interactive deformable NURBS surfaces on GPU;multi-class error-diffusion with blue-noise property;re-parameterization of a deformation model for non-rigid registration;generating straight outlines of 2D point sets and holes using dominant directions or orthogonal projections;hessian eigenfunctions for triangular mesh parameterization;an external memory algorithm for the minimum enclosing ball problem;a digital hand to mimic human hand in real time operation;geometric approach to estimation of volumetric distortions;customized 3D clothes modeling for virtual try-on system based on multiple kinects;and CamaroOn: an open-source visualization tool for the quality inspection of polygonal and polyhedral meshes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Experimental Study of real-time Comprehensive Indoor Air Quality 11th

引用

11th international Scientific conference on Future Information Technology (FutureTech) / 10th international conference on Multimedia and Ubiquitous Engineering (MUE)

作者： Hwang, Kwang-Il Park, Seung-Kyu Incheon Natl Univ Dept Embedded Syst Engn Incheon South Korea

ISBN: (纸本)9789811015366;9789811015359

the growing concern about IAQ has accelerated the development of small, low cost Indoor Air Quality (IAQ) monitoring systems. these are capable of monitoring various indoor air pollutants in real-time. However, since most IAQ monitoring systems present the sensed value of the corresponding pollutant as a number, when we read the sensor values it is difficult for not experts but normal users to identify how polluted the air is or what is the pollution criteria of each pollutant. therefore, for ambient air quality, a comprehensive Air Quality Index (AQI) is already being used in a number of nations to present the polluted level of the air, and thereby people can identify the current status of air quality easily. Nevertheless, since the index calculation is based on ambient air pollutants, and the index presents a section mean of sensed values collected for 1 or 24 h, the AQI used for presenting ambient air quality is not suitable for IAQ representation. therefore, in this paper, we perform an experiment that applies the AQI directly to IAQ monitoring system that we developed, and derive some problems through the result analysis.

关键词： Indoor air quality Air quality index real-time IAQ monitoring

来源：评论

学校读者我要写书评

暂无评论

Towards a Scalable and Optimised Context Broker for Seamless Interoperability within IoT systems

Towards a Scalable and Optimised Context Broker for Seamless...

引用

11th international conference on Future Networks and Communications (FNC) / 13th international conference on Mobile systems and Pervasive computing (MobiSPC)

作者： Ovengalt, C. B. Tokpo Djouani, K. Kurien, A. M. Chibani, A. Tshwane Univ Technol Private Bag X680 Staatsartillerie Rd ZA-0183 Pretoria South Africa Univ Paris Est Creteil 61 Ave Gen Charles de Gaulle F-94010 Creteil France

Billions of devices are now integral part of the day-to-day routine of people but they are sometime incompatible with one another because they employ divergent protocols. the introduction of semantics has been a key enabler towards proper and universal descriptions of connected objects as well as the relationship between them, removing relational ambiguities and improving context-awareness. Virtual objects (VOs) are semantic descriptions of the aggregated native capabilities of physical devices. And as such, they can be readily upgraded over time in order to dynamically suit the processes they are involved with because the context information that is present within them is not necessarily static in time. the original VOs often need to be semantically enriched with more contextual details as they interact with applications and other reasoning engines, where they often evolve into composite virtual objects (cVOs) or rich virtual objects (rVOs) that are more intelligent and interoperable. the complexity of handling large volumes of streaming data increases in the presence of uncertainty caused by incomplete, altered, noisy and/or unstructured information. Context brokering has been a growing trend over the past few years where brokers have been used to discover context and to facilitate processes between service requesting and service providing entities. Several context brokers have been proposed but they do not offer a scalable and optimised brokering algorithm. this necessitates the development of novel ontologies where more functional and non-functional descriptions are used to reduce uncertainties and enrich the content of VOs with the objective of creating a truly automated networking environment. (C) 2016 Published by Elsevier B.V.

关键词： Context Semantics Broker Complex Event Processing (CEP) Internet of things (IoT) Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 4th IEEE international conference on Cyber-Physical systems, Networks, and applications, CPSNA 2016

Proceedings - 4th IEEE International Conference on Cyber-Phy...

引用

4th IEEE international conference on Cyber-Physical systems, Networks, and applications, CPSNA 2016

ISBN: (纸本)9781509044030

the proceedings contain 19 papers. the topics discussed include: experimental validation of encrypted controller implemented on Raspberry Pi;pure pursuit revisited: field testing of autonomous vehicles in urban areas;design and implementation of a high power robot distributed control system on dependable responsive multithreaded processor (D-RMTP);filling demand-supply gap by adjusting electricity selling prices under stochastic acceptance;power demand forecasting using meteorological data and human congestion information;controllability of aggregate demand response systems for real-time pricing;optimal real-time pricing of electricity based on switched Markov chain models and welfare maximization;control of large-scale cyber-physical systems with agents via a representative model;adaptive transient fault model for sensor attack detection;distributed QoS aware meta-routing for IoT/CPS;lightweight ruby framework for improving embedded software efficiency;priority and synchronization support for ROS;HLBS: heterogeneous laxity-based scheduling algorithm for DAG-based real-time computing;parallel responsive task on dependable responsive multithreaded processor ii;and componentizing an operating system feature using a TECS plugin.

关键词：

来源：评论

学校读者我要写书评

暂无评论

VISIGRAPP 2016 - Proceedings of the 11th Joint conference on Computer Vision, Imaging and Computer Graphics theory and applications

VISIGRAPP 2016 - Proceedings of the 11th Joint Conference on...

引用

11th international conference on Computer Graphics theory and Application, GRAPP 2016;Part of the 11th Joint conference on Computer Vision, Imaging and Computer Graphics theory and applications, VISIGRAPP 2016

ISBN: (纸本)9789897581755

the proceedings contain 35 papers. the topics discussed include: efficient culling techniques for interactive deformable NURBS surfaces on GPU;multi-class error-diffusion with blue-noise property;re-parameterization of a deformation model for non-rigid registration;generating straight outlines of 2D point sets and holes using dominant directions or orthogonal projections;hessian eigenfunctions for triangular mesh parameterization;an external memory algorithm for the minimum enclosing ball problem;3D geometric primitive alignment revisited;a digital hand to mimic human hand in real time operation;geometric approach to estimation of volumetric distortions;computational methods for the animation of heat transfer evolution and steel solidification;and customized 3D clothes modeling for virtual try-on system based on multiple kinects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A fast algorithm for personalized travel planning recommendation 11

A fast algorithm for personalized travel planning recommenda...

引用

11th international conference on the Practice and theory of Automated timetabling, PATAT 2016

作者： Gunawan, Aldy Lau, Hoong Chuin Lu, Kun Singapore Management University Singapore

ISBN: (纸本)9780992998417

With the pervasive use of recommender systems and web/mobile applications such as TripAdvisor and ***, an emerging interest is to generate personalized tourist routes based on a tourist’s preferences and time budget constraints, often in real-time. the problem is generally known as the Tourist Trip Design Problem (TTDP) which is a route-planning problem on multiple Points of Interest (POIs). TTDP can be considered as an extension of the classical problem of Team Orienteering Problem with time Windows (TOPTW). the objective of the TOPTW is to determine a fixed number of routes that maximize the total collected score. the TOPTW also considers the time window constraints when the visit at a particular node has to start within a predefined time window. In the context of the TTDP, the utility score for a particular node can be treated as the user’s preference on a POI. In this paper, we propose a mathematical model for the TTDP that extends the TOPTW constraints by incorporating more real-world constraints, such as different total travel time budgets, different start and end nodes for routes. We then propose an Iterated Local Search (ILS) algorithm to solve both TTDP and TOPTW. We implement our ILS to provide tour guidance in the Singapore context. We show experimentally that ILS is able to solving real-world problem instances within a few seconds, and our ILS can improve 19 best known solution values on the benchmark TOPTW instances. © PATAT *** rights reserved.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共322页 << < 107 108 109 110 111 112 113 114 115 116 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：