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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,989 篇 会议
32 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

1,268 篇 工学
- 1,122 篇 计算机科学与技术...
- 546 篇 软件工程
- 495 篇 电气工程
- 185 篇 控制科学与工程
- 151 篇 信息与通信工程
- 58 篇 电子科学与技术（可...
- 53 篇 动力工程及工程热...
- 37 篇 机械工程
- 31 篇 仪器科学与技术
- 22 篇 生物工程
- 22 篇 安全科学与工程
- 16 篇 光学工程
- 16 篇 交通运输工程
- 16 篇 生物医学工程（可授...
- 12 篇 网络空间安全
- 10 篇 航空宇航科学与技...
- 9 篇 力学（可授工学、理...
- 8 篇 建筑学
177 篇 管理学
- 154 篇 管理科学与工程(可...
- 83 篇 工商管理
- 37 篇 图书情报与档案管...
153 篇 理学
- 83 篇 数学
- 31 篇 系统科学
- 30 篇 物理学
- 25 篇 生物学
- 19 篇 统计学（可授理学、...
- 12 篇 化学
19 篇 医学
- 17 篇 临床医学
- 9 篇 基础医学(可授医学...
11 篇 经济学
- 11 篇 应用经济学
7 篇 法学
4 篇 农学
3 篇 军事学
2 篇 教育学
1 篇 文学

主题

429 篇 real time system...
319 篇 real-time system...
180 篇 embedded systems
137 篇 processor schedu...
105 篇 timing
103 篇 embedded system
101 篇 hardware
90 篇 computational mo...
82 篇 embedded computi...
73 篇 computer archite...
72 篇 resource managem...
68 篇 protocols
68 篇 delay
62 篇 scheduling algor...
62 篇 energy consumpti...
61 篇 program processo...
59 篇 computer science
58 篇 scheduling
57 篇 control systems
56 篇 application soft...

机构

9 篇 department of co...
8 篇 college of compu...
8 篇 city university ...
7 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 malardalen univ ...
6 篇 uppsala universi...
6 篇 department of co...
6 篇 mälardalen unive...
5 篇 department of co...
5 篇 chongqing univ c...
5 篇 mälardalen real-...
5 篇 northeastern uni...
5 篇 ieee
5 篇 information and ...
5 篇 department of co...
5 篇 scuola super san...
5 篇 department of co...
5 篇 malardalen univ ...

作者

16 篇 thomas nolte
16 篇 nolte thomas
12 篇 jian-jia chen
12 篇 anderson james h...
11 篇 tei-wei kuo
11 篇 james h. anderso...
10 篇 nakajima tatsuo
10 篇 chen jian-jia
9 篇 nobuyuki yamasak...
8 篇 tovar eduardo
8 篇 chun jason xue
8 篇 nan guan
7 篇 shinpei kato
7 篇 kato shinpei
7 篇 dakai zhu
7 篇 kuo tei-wei
7 篇 xue chun jason
7 篇 tatsuo nakajima
7 篇 cheng albert m. ...
6 篇 bril reinder j.

语言

2,012 篇 英文
8 篇 其他
2 篇 中文

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

共 2022 条记录，以下是11-20 订阅

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

详细简洁

排序：

An embedded System for the Predictive Maintenance of Aerobic Digesters with Liquid Outputs 13

An Embedded System for the Predictive Maintenance of Aerobic...

引用

13th international conference on Modern Circuits and systems Technologies (MOCAST)

作者： Eleftheriadis, Stylianos Margaritis, Georgios Kouzinopoulos, Charalampos S. Ioannidis, Dimosthenis Tzovaras, Dimitrios Informat Technol Inst Thessaloniki Greece

ISBN: (纸本)9798350385434;9798350385427

this paper introduces a novel embedded edge computing system for the Internet of things, specifically designed for predictive maintenance of grinding motors in Aerobic Digesters with Liquid Outputs. Low-power sensors and Machine Learning algorithms are integrated, using vibration and sound data for real-time monitoring and proactive anomaly detection. through the evaluation of the proposed system in real-life environments, an improved performance compared to state-of-the-art models is demonstrated, emphasizing its potential for enhancing the reliability and efficiency of resource utilization in food waste management practices.

关键词： embedded architecture smart compost bin food waste management embedded machine learning anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Optimal real-time Task Allocation in Heteregeneous Multi-Core embedded systems 30

Optimal Real-Time Task Allocation in Heteregeneous Multi-Cor...

引用

30th ieee international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Doose, David Bouchebaba, Youcef Gonzalez, Alfonso Mascarenas Off Natl Etud & Rech Aerosp Toulouse France

ISBN: (纸本)9798350387964;9798350387957

In response to the increasing complexity of real-time embedded software, driven by the need for intelligent computation in constrained environments, multicore architectures have emerged as a promising solution. the challenge lies in to choose an effective mapping of the real-time tasks to the various computational resources of these embedded boards, while ensuring real-time constraint satisfaction. To address this problem, our approach rests on two pillars. the first is a domain-specific language designed to capture hardware and software characteristics, constraints, and criteria in a clear and unambiguous manner. the second is a solver method based on Satisfiability Modulo theories solver augmented with a lazy theory to handle real-time aspects. this method allows us to synthesize mappings that respect temporal constraints and optimize specific criteria, such as the power consumption of the embedded board.

关键词： embedded architectures real-time multicore schedulability analysis optimization

来源：评论

学校读者我要写书评

暂无评论

Preliminary Modeling of Energy-Aware Integrated Allocations in Robotic Mobile Fulfillment systems 30

Preliminary Modeling of Energy-Aware Integrated Allocations ...

引用

30th ieee international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Kyung, KyuJin Gangadharan, Deepak Kim, BaekGyu DGIST Daegu South Korea IIIT Hyderabad Hyderabad India

ISBN: (纸本)9798350387964;9798350387957

the Robotic Mobile Fulfillment System (RMFS) is an automated technology to fulfill various types of orders (e.g.,vehicle assembly) in modern warehouses or factories. In particular, battery-equipped mobile robots move racks that contain various components (Stock Keeping Unit) by visiting replenishment or picking stations to complete orders. We formulate the preliminary system model to optimize the order throughput and energy consumption of mobile robots, which consists of (i) rack allocation, (ii) task allocation, and (iii) route routing.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

On the integration of DDS and AFDX standards 30

On the integration of DDS and AFDX standards

引用

30th ieee international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Perez, Hector Gutierrez, J. Javier Univ Cantabria Software Engn & Real Time Grp Santander Spain

ISBN: (纸本)9798350387964;9798350387957

Standard distribution middleware has traditionally been perceived as complex software which is not suitable for satisfying the highest certification criteria in safety-critical environments. However, this idea is slowly changing and there are efforts such as the Future Airborne Capability Environment (FACE) consortium to integrate standard distribution middleware into the development of avionic systems. this integration facilitates the interoperability and portability of avionic applications, but there are still challenges that need to be addressed before full success can be achieved. To this end, this paper explores the usage of the Data Distribution Service for real-time systems (DDS) on top of a partitioned system with a communication network based on the ARINC 664 specification (precisely, the AFDX network). this work specifically identifies the incompatibilities between the two standards and also proposes potential solutions. A set of overhead metrics of using DDS in a distributed partitioned platform is also provided.

关键词： distributed systems distribution middleware vehicular networks real-time systems AFDX DDS ARINC 653

来源：评论

学校读者我要写书评

暂无评论

Duration-based Instruction Cache Locking 30

Duration-based Instruction Cache Locking

引用

30th ieee international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Lawand, Wafic Pellizzoni, Rodolfo Univ Waterloo Waterloo ON Canada

ISBN: (纸本)9798350387964;9798350387957

Cache locking is a commonly used mechanism to improve both performance and predictability for embedded programs. Dynamic cache locking methods proposed in the literature, where the locked content is modified during execution, require inserting locking and unlocking instructions in the program's code. In this paper, we introduce a novel hardware mechanism that leverages the LRU age bits to perform duration-based locking. Our proposed mechanism dynamically locks and unlocks cache lines for different durations at run-time, without the need to modify the program's code. We further devise a heuristic that analyzes a program's loop structure and selects the set of addresses to be locked in a L1 instruction cache alongside their locking durations. Evaluation results show that our duration-based locking mechanism achieves comparable results to the dynamic approach while substantially reducing the initialization overhead and avoiding program code modifications.

关键词： embedded systems Instruction Cache Locking

来源：评论

学校读者我要写书评

暂无评论

Machine Learning in embedded systems: Limitations, Solutions and Future Challenges 13

Machine Learning in Embedded Systems: Limitations, Solutions...

引用

ieee 13th Annual computing and Communication Workshop and conference (CCWC)

作者： Batzolis, Eleftherios Vrochidou, Eleni Papakostas, George A. Int Hellen Univ MLV Res Grp Dept Comp Sci Kavala 65404 Greece

ISBN: (纸本)9798350332865

Machine learning has attracted a lot of interest in the last few years as a solution to a variety of difficult challenges in many disciplines. An emerging area is that of embedded devices, where machine learning is deployed to efficiently carry out tasks like data analysis, prediction, and decision-making in real-time applications. Challenges such as the necessity for fast and effective algorithms and the restricted resources available in embedded systems to cover the computational and storage demands need to be confronted to successfully integrate machine learning models into embedded systems. this work aims to provide an overview of the use of machine learning in embedded systems, including past and current solutions, and to present the challenges that need to be addressed. Future directions for the use of machine learning in embedded systems are also discussed.

关键词： machine learning deep learning artificial intelligence embedded systems Internet of things (IoT)

来源：评论

学校读者我要写书评

暂无评论

Now You See Me: embedded Mobile Edge computing Awareness for Optimizing Multi-task applications in Constrained IoT Devices 8

Now You See Me: Embedded Mobile Edge Computing Awareness for...

引用

8th international conference on Smart Internet of things

作者： Burbano, Jaime Sebastian Salgado-Castillo, Francisco Schuster, Rolf Univ Azuay Fachhsch Dortmund Dortmund Germany Newcastle Univ Newcastle Upon Tyne Tyne & Wear England Univ Azuay Dortmund Germany Fachhsch Dortmund Dortmund Germany

ISBN: (纸本)9798350366457;9798350366440

Mobile Edge computing (MEC) places computing and storage resources on the network's edge, which opens the door for implementing an entirely new set of delay-sensitive and compute-intensive applications in constrained IoT devices. Nevertheless, from the perspective of an IoT device, using MEC introduces several challenges that need to be addressed. One is the proper execution and resource utilization of device-native and edge-dependent tasks, especially when considering multi-task edge applications. Current real-time schedulers do not contemplate factors inherent to the nature of MEC, such as shared resource utilization, dynamic execution site migrations, the influence of remote computing, etc. therefore, this paper introduces an agent embedded in IoT devices to provide real-time schedulers with mobile edge computing awareness. Moreover, the performance of the proposed solution is assessed by running two multi-task edge applications in the smart vehicles domain, depicting a considerable task throughput enhancement when compared to existing real-time schedulers.

关键词： Mobile edge computing real-time operating systems IoT devices Multi-task applications embedded systems

来源：评论

学校读者我要写书评

暂无评论

2024 13th Mediterranean conference on embedded computing, MECO 2024

2024 13th Mediterranean Conference on Embedded Computing, ME...

引用

13th Mediterranean conference on embedded computing, MECO 2024

ISBN: (纸本)9798350387568

the proceedings contain 114 papers. the topics discussed include: application of artificial neural networks for processing some biomedical data;distinguishing between AI images and real images with hybrid image classification methods;securing Durres Port's digital transformation: cybersecurity strategy for maritime industry;linguistic encryption for underwater communication;a toolset for blood pressure visualization and measurement in time, frequency and time-frequency domains;using a shape from polarization to determine the 3D surface of objects with thermal radiation;on the influence of cell libraries and other parameters to SCA resistance of crypto IP cores;integration of PXROS-HR with micro-ROS in robotic systems;and traffic-aware video streaming topology reconfiguration for smart city applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Formally Verified Leader Election Algorithm for Autonomous Driving systems 30

A Formally Verified Leader Election Algorithm for Autonomous...

引用

30th ieee international conference on embedded and real-time computing systems and applications (RTCSA)

作者： Kambe, Ryuta Gilby, Benjamin Takano, Yuuki TIER IV Inc Tokyo Japan

ISBN: (纸本)9798350387964;9798350387957

As autonomous driving systems mature, the importance of fault tolerance to provide safe operation even in hazardous conditions becomes a key issue in deployment. In an autonomous driving system composed of redundant devices, it is necessary to maintain consistency across the system regarding which devices should currently be handling processing. In this paper, we present a new leader election algorithm for autonomous driving systems that guarantees consistency in the presence of the failure of any single system component. To make the algorithm practical for autonomous driving systems, we design it to both handle network link failures and guarantee liveness in the presence of a single failure. Due to the safety-critical nature of our environment and the known difficulty of testing distributed algorithms, we use formal verification to validate our proposed algorithm. Our experiments show that the algorithm completes with reasonable time in a simulated environment of an autonomous driving system.

关键词： leader election formal verification autonomous driving

来源：评论

学校读者我要写书评

暂无评论

From SysML Application Model to Executable OpenCL Code: A System-Level Design Approach 13

From SysML Application Model to Executable OpenCL Code: A Sy...

引用

13th Mediterranean conference on embedded computing (MECO)

作者： Guo, Ran Dekneuvel, Eric Jacquemod, Gilles Biwole, Pascal Henry Univ Cote Azur Polytech Lab UPR UniCA 7498 Sophia Antipolis France Calif State Polytech Univ Sch Engn Arcata CA 95521 USA

ISBN: (纸本)9798350387568;9798350387575

Model-based systems engineering (MBSE) is a methodology that entails creating and utilizing models across the entire system development lifecycle. Based on the Unified Modeling Language (UML), systems Modeling Language (SysML) is developed to facilitate intricate industrial systems' behavioral description and design. Open computing Language (OpenCL) has emerged as a pivotal tool for conceptualizing intricate device functionalities. It has been introduced into FPGA design to overcome the inefficiencies of traditional HDL design methodologies and the inability of design methodologies using High-level behavioral description in C/C++ to design the circuits. the study aims to streamline the transformation process from high-level SysML specifications to executable OpenCL code, thereby facilitating the implementation of complex systems. the paper introduces a data pipelining and a task parallelism approach for mapping high-level SysML specifications onto an OpenCL platform model. A detailed case study is presented to demonstrate the effectiveness of the proposed approach in the context of a real-time three-dimensional particle tracking velocimetry (3D PTV) system. the proposed parallel programming approach converts the comprehensive SysML model of the PTV system into executable OpenCL code. this research applies to multiple applications using the open-source modeling and formal verification tool TTool.

关键词： Model-based systems engineering SysML OpenCL Parallel programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共203页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：