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

Conference on Local computer Networks (LCN)

作者： Martina Brachmann Olaf Landsiedel Silvia Santini Embedded Systems Lab TU Dresden Germany Computer Science and Engineering Chalmers University of Technology Sweden

Standard Internet communication protocols are key enablers for the Internet of Things (IoT). Recent technological advances have made it possible to run such protocols on resource-constrained devices. Yet these devices often use energy-efficient, low-level communication technologies, like IEEE 802.15.4, which suffer from low-reliability and high latency. These drawbacks can be significantly reduced if communication occurs using concurrent transmissions - a novel communication paradigm for resource-constrained devices. In this paper, we show that Internet protocols like TCP/UDP and CoAP can run efficiently on top of a routing substrate based on concurrent transmissions. We call this substrate LaneFlood and demonstrate its effectiveness through extensive experiments on Flocklab, a publicly available testbed. Our results show that LaneFlood improves upon CXFS - a representative competitor - in terms of both duty cycle and reliability. Furthermore, LaneFlood can transport IoT traffic with an end-to-end latency of less than 300 ms over several hops.

关键词： Concurrent Transmissions Wireless Sensor Networks Internet of Things

来源：评论

学校读者我要写书评

暂无评论

Petri net based model checking for the collaborative-ness of multiple processes systems

Petri net based model checking for the collaborative-ness of...

引用

IEEE International Conference on Networking, Sensing and Control

作者： Guanjun Liu Changjun Jiang Department of Computer Science and Technology Tongji University Shanghai China MoE Key Lab of Embedded Systems & Service Computing Tongji University Shanghai China

ISBN: (纸本)9781467399760

In many distributed environments, multiple processes both interact/collaborate with each other and share some common resources. To model and analyze such systems, this paper defines a class of Petri nets called Parallel Processes Net (P 2 N). A P 2 N composes of a group of Single-process Nets (SNs). Each SN models a process and these SNs are connected via a set of places. Some of these places represent the common resources shared by these processes, and others represent the channels through which messages are transferred among these processes. We define collaborative-ness for P 2 Ns which requires that each process of a modeled system never enters into a deadlock or livelock state. The collaborative-ness can be represented by a CTL (Computational Tree Logic) formula and thus can be checked (for bounded P 2 Ns) by using some Petri net tools such as INA.

关键词： Petri nets System recovery Nickel Collaboration Computational modeling Analytical models Process control

来源：评论

学校读者我要写书评

暂无评论

Sliding Mode and PI Controllers for Uncertain Flexible Joint Manipulator

引用

International Journal of Automation and computing 2015年第2期12卷 117-124页

作者： Lilia Zouari Hafedh Abid Mohamed Abid Computer and Embedded Systems Laboratory National School of Sfax EngineersUniversity of Sfax Laboratory of Sciences and Techniques of Automation (Lab-sta) National School of Sfax EngineersUniversity of Sfax

This paper is dealing with the problem of tracking control for uncertain flexible joint manipulator robots driven by brushless direct current motor(BDCM). Flexibility of joint in the manipulator constitutes one of the most important sources of uncertainties. In order to achieve high performance, all parts of the manipulator including actuator have been modeled. To cancel the tracking error, a hysteresis current controller and speed controllers have been developed. To evaluate the effectiveness of speed controllers, a comparative study between proportional integral(PI) and sliding mode controllers has been performed. Finally, simulation results carried out in the Matlab simulink environment demonstrate the high precision of sliding mode controller compared with PI controller in the presence of uncertainties of joint flexibility.

关键词： Flexible joint manipulator uncertainties proportional integral(PI) controller sliding mode brushless direct current motor.

来源：评论

学校读者我要写书评

暂无评论

Adaptive Informative Sampling with Autonomous Underwater Vehicles: Acoustic versus Surface Communications

Adaptive Informative Sampling with Autonomous Underwater Veh...

引用

OCEANS MTS/IEEE Monterey (Conference)

作者： Stephanie Kemna David A. Caron Gaurav S. Sukhatme Robotic Embedded Systems Laboratory Computer Science Viterbi School of Engineering University of Southern California Caron Lab Department of Biological Sciences Dana and David Dornsife College of Letters Arts and Sciences University of Southern California

ISBN: (纸本)9781509015276

Autonomous underwater vehicles (AUVs) are cost-and time-effective platforms for mapping and monitoring of aquatic environments. Previous works have shown the benefits of using informative adaptive sampling approaches for field estimation over running standard surveys. We are interested in extending these works into decentralized multi-robot approaches. Simulation experiments with two AUVs, comparing no data sharing with timed surfacing for data sharing, show that the system performs better when data is shared. We further explore the trade-off between using high-bandwidth surface Wi-Fi communications, at the cost of surfacing, and low-bandwidth underwater acoustic communications (acomms). Our simulation results show that for multi-vehicle decentralized adaptive sampling, we can increase modeling performance by having vehicles share their measurements. Furthermore, zero loss acomms can perform better than data sharing through timed surfacing events. However, when acomms throughput is reduced, modeling uncertainty increases.

关键词： Vehicles Adaptation models Data models Sensors Path planning Biology Sea measurements

来源：评论

学校读者我要写书评

暂无评论

The UbiDCC data set: Collecting Wi-Fi and Bluetooth scans during a large-scale conference 1

The UbiDCC data set: Collecting Wi-Fi and Bluetooth scans du...

引用

1st ACM Workshop on Context Sensing and Activity Recognition, CSAR 2015

作者： Baumann, Paul Klaus, Johannes Richerzhagen, Bjoern Kleiminger, Wilhelm Santini, Silvia Embedded Systems Lab. TU Dresden Germany Darmstadt Germany KOM Lab. TU Darmstadt Germany Department of Computer Science ETH Zurich Switzerland

ISBN: (纸本)9781450338424

In this paper, we report on a large-scale Data Collection Campaign (DCC). It took place during the UbiComp/ISWC 2013 conference. Over 700 attendees were registered for this 3-days event. We contribute the UbiDCC data set that is publicly available. It contains (1) mobility traces of nearly 1200 devices at the venue extracted by processing the collected raw data, (2) Bluetooth and Wi-Fi raw data of 37 active participants, and (3) their demographic data. We show how we increased the quality of the data set by deploying static encounters and passively tracking users' devices. Finally, we describe and make publicly available the Android application that was used during the campaign and can be reused for further DCCs. Copyright is held by the owner/author(s).

关键词： Bluetooth

来源：评论

学校读者我要写书评

暂无评论

Secure bisimulation for interactive systems 15th

Secure bisimulation for interactive systems

引用

15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015

作者： Liu, Guanjun Jiang, Changjun Department of Computer Science Tongji University Shanghai201804 China Key Lab of the Ministry of Education for Embedded Systems and Services Computing Tongji University Shanghai201804 China

ISBN: (纸本)9783319271361

In real applications, many systems have the same functions but their securities are different due to different security policies. We find that different security policies can affect the interacting behavior of a system, which exactly is the reason why a good policy can strengthen the security. In other words, two interactive systems with different security policies are not of an equivalent behavior although their functions are identical. However, the classic (weak) bisimulation theory draws an opposite conclusion that their behaviors are equivalent. The notion of (weak) bisimulation is not suitable for these security-oriented interactive systems since it does not consider a security policy while the security policy can affect their interacting behaviors. This paper proposes the concept of secure bisimulation in order to solve the above problem. Based on secure bisimulation, we furthermore define a binary relation ≥SL to compare the levels of different security policies. We prove that ≥SL is a partial order but not a total one. © Springer International Publishing Switzerland 2015.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A Machine Learning Approach for Medication Adherence Monitoring Using Body-Worn Sensors

A Machine Learning Approach for Medication Adherence Monitor...

引用

Design, Automation & Test in Europe Conference & Exhibition

作者： Niloofar Hezarjaribi Ramin Fallahzadeh Hassan Ghasemzadeh Embedded & Pervasive Systems Lab (EPSL) School of Electrical Engineering and Computer Science Washington State University Pullman 99164-2752 USA

ISBN: (纸本)9781467392280

One of the most important challenges in chronic disease self-management is medication non-adherence, which has irrevocable outcomes. Although many technologies have been developed for medication adherence monitoring, the reliability and cost-effectiveness of these approaches are not well understood to date. This paper presents a medication adherence monitoring system by user-activity tracking based on wrist-band wearable sensors. We develop machine learning algorithms that track wrist motions in real-time and identify medication intake activities. We propose a novel data analysis pipeline to reliably detect medication adherence by examining single-wrist motions. Our system achieves an accuracy of 78.3% in adherence detection without need for medication pillboxes and with only one sensor worn on either of the wrists. The accuracy of our algorithm is only 7.9% lower than a system with two sensors that track motions of both wrists.

关键词： Machine Learning Approach Medication Adherence Monitoring Using Body-Worn Sensors most important challenges

来源：评论

学校读者我要写书评

暂无评论

Comparison of regenerative braking controllers for permanent magnet synchronous machines

Comparison of regenerative braking controllers for permanent...

引用

IEEE International Electric Machines and Drives Conference, IEMDC 2015

作者： Murthy, Aravind Samba Magee, David P. Taylor, David G. Georgia Institute of Technology School of Electrical and Computer Engineering AtlantaGA30332 United States Texas Instruments Embedded Processor Systems Lab DallasTX75243 United States

ISBN: (纸本)9781479979417

Since most electric machine applications involve accelerating and decelerating mechanical loads, there is a potential to recover stored kinetic energy during braking events. However, this potential cannot be fully realized without proper design of the braking controller, since electric machine braking may be either regenerative or non-regenerative. This paper develops a novel method for designing regenerative braking controllers for permanent-magnet synchronous machines, based on the concept of using speed feedback to apply a fraction of the electromagnetically induced voltage at the machine terminals. © 2015 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementation of a Maximum Power Point Tracking fuzzy controller on FPGA circuit for a photovoltaic system

Implementation of a Maximum Power Point Tracking fuzzy contr...

引用

International Conference on Intelligent systems Design and Applications (ISDA)

作者： Hanen Abbes Kais Loukil Hafedh Abid Mohamed Abid Ahmad Toumi Laboratory of Computer and Embedded Systems (Lab-CES) Laboratory of Sciences and Techniques of Automatic control & computer engineering (Lab-STA) University of Sfax Sfax Tunisia

ISBN: (纸本)9781467387101

Owing to the complexity of photovoltaic systems and their specific behavior, researchers are substantially prompted by the FPGA circuit for prototyping and testing photovoltaic system. In addition, to improve the efficiency of the photovoltaic system, Maximum Power Point Tracking (MPPT) is an essential technique that enables photovoltaic panel delivers its maximum output power. Fuzzy logic technique seems to be an efficient solution that ensures optimal operation of photovoltaic system. For this end, this work aim to implement a fuzzy logic MPPT technique on FPGA circuit to control a photovoltaic system. The system composed of photovoltaic panel, boost converter and the fuzzy logic controller using FPGA device to control boost converter switch is designed and implemented. Simulation results exhibit an efficient operation of FPGA based photovoltaic system.

关键词： Load modeling Hardware Photovoltaic systems Junctions Table lookup Random access memory

来源：评论

学校读者我要写书评

暂无评论

Impact of sensor misplacement on estimating metabolic equivalent of task with wearables 12

Impact of sensor misplacement on estimating metabolic equiva...

引用

12th IEEE International Conference on Wearable and Implantable Body Sensor Networks, BSN 2015

作者： Alinia, Parastoo Saeedi, Ramyar Mortazavi, Bobak Rokni, Ali Ghasemzadeh, Hassan Embedded and Pervasive Systems Lab School of Electrical Engineering and Computer Science Washington State University PullmanWA99164-2752 United States Center for Outcomes Research and Evaluation Yale University New HavenCT06511 United States

ISBN: (纸本)9781467372015

Metabolic equivalent of task (MET) indicates the intensity of physical activities. This measurement is used in providing physical activity intervention in many chronic illnesses such as coronary heart disease, type-2 diabetes, and cancer. Due to the small size, portability, low power consumption, and low cost, wearable motion sensors are widely used to estimate MET values. However, one major obstacle in widespread adoption of current wearable monitoring systems is that the sensors must be worn on predefined locations on the body. This imposes much discomfort for users as they are not allowed to wear the sensors on their own desired body locations. In addition, non-adherence to the predefined location of the sensors results in significant reduction in the accuracy of physical activity monitoring. In this paper, we propose a framework for sensor location-independent MET estimation. We introduce a sensor localization approach that allows users to wear the sensors on different body locations without having to adhere to a specific installation protocol. We study how such an algorithm impacts the performance of MET estimation algorithms. Using daily physical activity data, we demonstrate that an automatic sensor localization algorithm decreases the estimation error of the MET calculation by a factor of 2.3 compared to the case without sensor localization. Furthermore, our sensor localization algorithm achieves an accuracy of 90.8% in detecting on-body locations of wearable sensors. The integration of sensor localization and MET estimation achieves an accuracy of 80% in calculating the MET values of daily physical activities. © 2015 IEEE.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：