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

11th international Network conference, INC 2016

ISBN: (纸本)9781841024103

the proceedings contain 30 papers. the topics discussed include: towards an energy optimization framework for cloud computing data centers;performance evaluation of time-critical smart grid applications;on the performance of anomaly detection systems uncovering traffic mimicking covert channels;using machine learning techniques for user specific activity recognition;investigating environmental causes of TCP retransmission and flags in wireless networks;on channel allocation of directional wireless networks using multiple channels;mobile edge computing: requirements for powerful mobile near real-time applications;a framework for openflow-like policy-based routing in hybrid software defined networks;a view of WSN-facilitating application's design and a cloud infrastructure in academic environment and research;and bitcoin network measurements for simulation validation and parameterization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MILP-based Approach for Optimal Implementation of Reconfigurable real-time systems 11

MILP-based Approach for Optimal Implementation of Reconfigur...

引用

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

作者： Lakhdhar, Wafa Mzid, Rania Khalgui, Mohamed Treves, Nicolas Univ Carthage INSAT Ctr Urbain Nord LISI Lab INSAT BP 676 Tunis Tunisia Univ Tunis El Manar ISI 2 Rue Abourraihan Al Bayrouni Ariana Tunisia Univ Sfax CES Lab ENIS BP W 3 Sfax Tunisia CNAM CEDRIC Lab 292 Rue St Martin Paris France Xidian Univ SystemsControl Lab August Bebel Str 70 Halle Peoples R China

ISBN: (纸本)9789897581946

this paper deals with the design and implementation of reconfigurable uniprocessor real-time embedded systems. A reconfiguration is a run-time operation allowing the addition-removal of real-time tasks or the update of their parameters. the system is implemented then by different sets of tasks such that only one is executed at a particular time after a corresponding reconfiguration scenario according to user requirements. the problem is to optimize the system code while meeting all related real-time constraints and avoiding any redundancy between the implementation sets. Based on the Linear Programming (MILP), we propose a multi-objective optimization technique allowing the minimization of the number of tasks and their response times. An optimal reconfigurable POSIX-based code of the system is manually generated as an output of this technique. We apply the paper's contribution to the study of the performance evaluation.

关键词： embedded System Reconfigurable Architecture real-time Scheduling Linear Programming Posix-based Implementation

来源：评论

学校读者我要写书评

暂无评论

Monitoring Reliability of embedded systems 11th

Monitoring Reliability of Embedded Systems

引用

11th international conference on Dependability and Complex systems (DepCoS-RELCOMEX)

作者： Sosnowski, Janusz Zakrzewski, Karol Warsaw Univ Technol Inst Comp Sci Nowowiejska 15-19 PL-00665 Warsaw Poland

ISBN: (纸本)9783319396392;9783319396385

the paper deals with the problem of monitoring reliability issues in embedded systems. In particular, we concentrate on data reported during development, testing, operation in the field and service. For this purpose a special tool has been developed which provides the capability to collect data on-line and perform various analyses. the usefulness of this approach has been illustrated for some real embedded systems produced and serviced for several years in a commercial company. We present the interpretation of the obtained results, which proved their practical significance.

关键词： Reliability Monitoring system development and maintenance

来源：评论

学校读者我要写书评

暂无评论

Fog-Enabled Architecture for Data-Driven Cyber-Manufacturing systems 11

Fog-Enabled Architecture for Data-Driven Cyber-Manufacturing...

引用

11th ASME international Manufacturing Science and Engineering conference (MSEC)

作者： Wu, Dazhong Terpenny, Janis Zhang, Li Gao, Robert Kurfess, thomas Penn State Univ Dept Ind & Mfg Engn University Pk PA 16802 USA Gen Elect Global Res Niskayuna NY 12309 USA Case Western Reserve Univ Dept Mech & Aerosp Engn Cleveland OH 44106 USA Georgia Inst Technol Dept Mech Engn Atlanta GA 30332 USA

ISBN: (纸本)9780791849903

Over the past few decades, both small-and medium-sized manufacturers as well as large original equipment manufacturers (OEMs) have been faced with an increasing need for low cost and scalable intelligent manufacturing machines. Capabilities are needed for collecting and processing large volumes of real-time data generated from manufacturing machines and processes as well as for diagnosing the root cause of identified defects, predicting their progression, and forecasting maintenance actions proactively to minimize unexpected machine down times. Although cloud computing enables ubiquitous and instant remote access to scalable information and communication technology (ICT) infrastructures and high volume data storage, it has limitations in latency-sensitive applications such as high performance computing and real-time stream analytics. the emergence of fog computing, Internet of things (IoT), and cyber-physical systems (CPS) represent radical changes in the way sensing systems, along with ICT infrastructures, collect and analyze large volumes of real-time data streams in geographically distributed environments. Ultimately, such technological approaches enable machines to function as an agent that is capable of intelligent behaviors such as automatic fault and failure detection, self-diagnosis, and preventative maintenance scheduling. the objective of this research is to introduce a fog enabled architecture that consists of smart sensor networks, communication protocols, parallel machine learning software, and private and public clouds. the fog-enabled architecture will have the potential to enable large-scale, geographically distributed online machine and process monitoring, diagnosis, and prognosis that require low latency and high bandwidth in the context of data-driven cyber-manufacturing systems.

关键词： Fog computing Cloud computing Big Data Analytics Internet of things (IoT) Cyber-Manufacturing

来源：评论

学校读者我要写书评

暂无评论

Statistical Analysis of Energy-aware real-time Automotive systems in EAST-ADL/Stateflow 11

Statistical Analysis of Energy-aware Real-Time Automotive Sy...

引用

IEEE 11th conference on Industrial Electronics and applications (ICIEA)

作者： Kang, Eun-Young Chen, Jianda Ke, Liu Chen, Shangyu Univ Namur PReCISE Res Ctr Namur Belgium Sun Yat Sen Univ Dept Comp Sci Guangzhou Guangdong Peoples R China

ISBN: (纸本)9781467386449

EAST-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified EAST-ADL to include energy constraints and transformed energy-aware real-time behavioral constraints in EAST-ADL into analyzable UPPAAL models. In this paper, we extend our previous work by including support for Stateflow, which is used to design event-driven systems via hierarchical state machines and flow charts. However, Stateflow provides limited support for formal analysis and often suffers from incomplete coverage issues since it was originally designed for the simulation of designs and as such does not provide a model amenable to formal verification. We tackle that shortcoming by transforming Stateflow models into verifiable UPPAAL models with stochastic semantics and integrating the translation with formal statistical analysis techniques: a flattening strategy and a set of mapping rules are proposed to facilitate the guarantee of translation. the analysis techniques, including the flattening and mapping strategy, are validated and demonstrated on the Fault-Tolerant Fuel Control case study.

关键词： EAST-ADL Stateflow UPPAAL-SMC Verification & Validation

来源：评论

学校读者我要写书评

暂无评论

mePaaS: Mobile-embedded Platform as a Service for Distributing Fog computing to Edge Nodes 17

mePaaS: Mobile-Embedded Platform as a Service for Distributi...

引用

17th international conference on Parallel and Distributed computing, applications and Technologies (PDCAT)

作者： Liyanage, Mohan Chang, Chii Srirama, Satish Narayana Univ Tartu Inst Comp Sci Tartu Estonia

ISBN: (纸本)9781509050819

the distant data centre-centric Internet of things systems face the latency issue especially in the real-time-based applications. Recently, Fog computing models have been introduced to overcome the latency issue by utilising the proximity based computational resources. However, the increasing users of Fog computing servers will cause bottleneck issues and consequently the latency issue arises again. this paper introduces the utilisation of Mist computing (Mist) model, which exploits the computational and networking resources from the devices at the very edge of IoT networks. the proposed service-oriented mobile-embedded Platform as a Service framework enables the edge IoT devices to provide a platform that allows requesters to deploy and execute their own program models. the framework supports resource-aware autonomous service configuration that can manage the availability of the functions provided by the Mist node based on the dynamically changing hardware resource availability. Additionally, the framework also supports task distribution among a group of Mist nodes. the prototype has been tested and performance evaluated on the real world devices.

关键词： Transportation Supply and demand Programming Linear programming Approximation algorithms Resource management

来源：评论

学校读者我要写书评

暂无评论

real-time smart stereo camera based on FPGA-SoC

Real-time smart stereo camera based on FPGA-SoC

引用

IEEE-RAS international conference on Humanoid Robots

作者： Soenke Michalik Soeren Michalik Jamin Naghmouchi Mladen Berekovic TU Braunschweig Braunschweig Germany

ISBN: (纸本)9781538646793

Stereo image processing is one of the most demanding tasks in the field of 3D computer vision and robot vision requiring high-performance computing capabilities within embedded systems. real-time constraints for autonomous vehicles such as humanoid robots, lead to hardware acceleration approaches for high resolution stereo imaging in human-like vision systems, where commonly FPGA device are employed to handle very high sensor data rates. this work presents a realtime smart stereo camera system implementation resembling the full stereo processing pipeline in a single FPGA device. We introduce the novel memory optimized stereo processing algorithm ”Sparse Retina Census Correlation” (SRCC) that embodies a combination of two well established window based stereo matching approaches. We have leveraged a Sum of Absolute Difference (SAD) of Sobel-filtered images and a Sum of Hamming Distance (SHD) using a modified Retina based Census Transform for increased robustness to lighting variations and for high accuracy. A color rectification module has been implemented to cope with the high frame rate of the stereo pipelining calculating image transformations and rectified pixel coordinates in real-time using parameters for camera intrinsic, image rotation, image distortion and image projection. In addition multiple post-processing algorithms like texture filtering, uniqueness filtering, speckle removal and disparity to depth conversion have been implemented to further enhance the output results. the presented smart camera solution has demonstrated real-time stereo processing of 1280×720 pixel depth images with 256 disparities on a Zynq XC7Z030 FPGA device at 60fps. Due to the universal USB3.0 UVC interface and the onboard depth calculation it is a replacement for RGBD 3D-Sensors with improved image quality and outdoor performance. the camera can easily be used in conjunction with ROS-enabled robots and in automotive or industrial applications.

关键词： Field programmable gate arrays Cameras Robot sensing systems Correlation Transforms real-time systems

来源：评论

学校读者我要写书评

暂无评论

Sliding-Window Aggregation Algorithms: Tutorial 17

Sliding-Window Aggregation Algorithms: Tutorial

引用

Proceedings of the 11th ACM international conference on Distributed and Event-based systems

作者： Martin Hirzel Scott Schneider Kanat Tangwongsan IBM Research Mahidol University International College

ISBN: (纸本)9781450350655

Stream processing is important for analyzing continuous streams of data in real time. Sliding-window aggregation is both needed for many streaming applications and surprisingly hard to do efficiently. Picking the wrong aggregation algorithm causes poor performance, and knowledge of the right algorithms and when to use them is scarce. this paper was written to accompany a tutorial, but can be read as a stand-alone survey that aims to better educate the community about fast sliding-window aggregation algorithms for a variety of common aggregation operations and window types.

关键词： Survey incremental algorithms aggregation windows

来源：评论

学校读者我要写书评

暂无评论

Hardware locks for a real-time Java chip multiprocessor

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年第6期29卷

作者： Strom, Torur Biskopsto Puffitsch, Wolfgang Schoeberl, Martin Tech Univ Denmark Dept Appl Math & Comp Sci DK-2800 Lyngby Denmark

A software locking mechanism commonly protects shared resources for multithreaded applications. this mechanism can, especially in chip-multiprocessor systems, result in a large synchronization overhead. For real-time systems in particular, this overhead increases the worst-case execution time and may void a task set's schedulability. this paper presents 2 hardware locking mechanisms to reduce the worst-case time required to acquire and release synchronization locks. these solutions are implemented for the chip-multiprocessor version of the Java Optimized Processor. the 2 hardware locking mechanisms are compared with a software locking solution as well as the original locking system of the processor. the hardware cost and performance are evaluated for all presented locking mechanisms. the performance of the better-performing hardware locks is comparable with that of the original single global lock when contending for the same lock. When several noncontending locks are used, the hardware locks enable true concurrency for critical sections. Benchmarks show that using the hardware locks yields performance ranging from no worse than the original locks to more than twice their best performance. this improvement can allow a larger number of real-time tasks to be reliably scheduled on a multiprocessor real-time platform. Copyright (C) 2016 John Wiley & Sons, Ltd.

关键词： chip multiprocessor hardware locks real-time Java real-time systems

来源：评论

学校读者我要写书评

暂无评论

Camera Pose Estimation Suitable for Smart Cameras 2017

Camera Pose Estimation Suitable for Smart Cameras

引用

Proceedings of the 11th international conference on Distributed Smart Cameras

作者： Abiel Aguilar-González Miguel Arias-Estrada François Berry Instituto Nacional de Astrofíosica Óptica y Electrónica (INAOE) Tonantzintla Mexico and Université Clermont Auvergne (UCA) Institut Pascal Clermont-Ferrand France Instituto Nacional de Astrofíosica Óptica y Electrónica (INAOE) Tonantzintla Mexico Université Clermont Auvergne (UCA) Institut Pascal Clermont-Ferrand France

ISBN: (纸本)9781450354875

Camera pose estimation across video sequences is an important issue under several computer vision applications. In previous work, the most popular approach consists on optimization techniques applied over 2D/3D point correspondences for two consecutive frames from a video sequence. Unfortunately, these optimization techniques are iterative and depend on nonlinear optimizations applied over some geometric constraint. For real-time embedded applications, another approach, more efficient in terms of computational size and cost, could be a linear or closed-form solution for the camera pose estimation problem. In this work, we introduce a new approach for camera pose estimation, this approach uses 2D visual features displacements as linear/dependent parameters for the camera pose estimation so, camera pose can be estimated without iterative behavior and without geometric constraints. As result, the proposed algorithm could be implemented inside a small FPGA device, suitable for smart cameras. Preliminary results are encourageous and show the viability of the proposed approach.

关键词： embedded systems FPGA Camera pose

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：