IFIP TC6 Open Digital Library

DoCEIS 2013: Costa de Caparica, Portugal

Technological Innovation for the Internet of Things - 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings

Luis M. Camarinha-Matos, Slavisa Tomic, Paula Graça

Springer, IFIP Advances in Information and Communication Technology 394, ISBN: 978-3-642-37290-2



Contents

Introduction

Contributing to the Internet of Things.

Luis M. Camarinha-Matos, João Goes, Luís Gomes, João André Martins

 3-12

Collaborative Enterprise Networks

Negotiation Support and Risk Reduction in Collaborative Networks.

Ana-Inês Oliveira, Luis M. Camarinha-Matos

 15-24

Inter-Enterprise Architecture and Internet of the Future.

Alix Vargas, Andrés Boza, Llanos Cuenca, Ioan Sacala

 25-32

Collective Emotions Supervision in the Product-Servicing Networks.

Filipa Ferrada, Luis M. Camarinha-Matos

 33-42

Service Orientation

Web Service Composition with Uncertain Non-functional Parameters.

Lukasz Falas, Pawel Stelmach

 45-52

Service Composition Scenarios in the Internet of Things Paradigm.

Pawel Stelmach

 53-60

Automatic Adaptation of SOA Systems Supported by Machine Learning.

Kornel Skalkowski, Krzysztof Zielinski

 61-68

Intelligent Computational Systems

Modelling of Things on the Internet for the Search by the Human Brain.

Fernando Luis-Ferreira, Ricardo Jardim-Gonçalves

 71-79

A Neural Network Based Security Tool for Analyzing Software.

Adetunji Adebiyi, Johnnes Arreymbi, Chris Imafidon

 80-87

Semantic Adaptation of Knowledge Representation Systems.

Catarina Lucena, João Sarraipa, Ricardo Jardim-Gonçalves

 88-95

Computational Systems

BrainMap - A Navigation Support System in a Tourism Case Study.

Luís F. S. Teixeira, Rita A. Ribeiro, António Falcão, Gabriel Pereira Lopes, Ricardo Raminhos

 99-106

A Scalable Spam Filtering Architecture.

Nuno Ferreira, Gracinda Carvalho, Paulo Rogério Pereira

 107-114

Multi-Agent Systems Meet GPU: Deploying Agent-Based Architectures on Graphics Processors.

Roman Pavlov, Jörg P. Müller

 115-122

Computational Systems Applications

The Architecture of Coupon-Based, Semi-off-Line, Anonymous Micropayment System for Internet of Things.

Daniel Wilusz, Jarogniew Rykowski

 125-132

Mechanical Characterization of Ink-Jet Printed Ag Samples on Different Substrates.

Dragana Z. Vasiljevic, Aleksandar Menicanin, Ljiljana Zivanov

 133-141

Toward a Modeling Framework for Organizational Competency.

Reza Vatankhah Barenji, Majid Hashemipour, David A. Guerra-Zubiaga

 142-151

Perceptional Systems

Food Product Traceability by Using Automated Identification Technologies.

Ivana Senk, Gordana Ostojic, Laslo Tarjan, Stevan Stankovski, Milovan Lazarevic

 155-163

Implantable Sensor System for Remote Detection of a Restenosis Condition.

J. A. Miguel, Yolanda Lechuga, Román Mozuelos, Mar Martínez

 164-171

Internet of Things in Psoriasis Assessment and Treatment.

Simona Maria Banu, Laura Madalina Dascalu, Gheorghe Toacse

 172-179

Robotics and Manufacturing

On Collaborative Aerial and Surface Robots for Environmental Monitoring of Water Bodies.

Eduardo Pinto, Pedro Santana, José Barata

 183-191

An Omnidirectional System for Navigation in Virtual Environments.

Razvan Gabriel Boboc, Madalina-Ioana Toma, Horatiu Moga, Alina Ninett Panfir, Doru Talaba

 192-199

Indoor Exploration Using a μUAV and a Spherical Geometry Based Visual System.

Tiago Caldeira, Lakmal D. Seneviratne, Jorge Dias

 200-209

Context Awareness for Self-adaptive and Highly Available Production Systems.

Sebastian Scholze, José Barata, Oliver Kotte

 210-217

Embedded Systems and Petri Nets

Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification.

Filipe Moutinho, Luís Gomes

 221-228

On Structuring Events for IOPT Net Models.

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes

 229-238

Minimalist Architecture to Generate Embedded System Web User Interfaces.

Fernando Pereira, Luís Gomes

 239-249

Application of an Exact Transversal Hypergraph in Selection of SM-Components.

Lukasz Stefanowicz, Marian Adamski, Remigiusz Wisniewski

 250-257

Control and Decision

Safety in Supervisory Control for Critical Systems.

Reinaldo Squillante Jr., Diolino J. Santos Filho, Jeferson A. L. de Souza, Fabrício Junqueira, Paulo E. Miyagi

 261-270

ARMA Modelling for Sleep Disorders Diagnose.

João Caldas da Costa, Manuel Duarte Ortigueira, Arnaldo Batista, Teresa Paiva

 271-278

Fault Detection and Diagnosis in Induction Machines: A Case Study.

Miguel Marques, João F. Martins, V. Fernão Pires, Rui Dias Jorge, Luís Filipe Mendes

 279-286

Integration of Power Electronics Systems with ICT - I

Multilevel Inverter for Grid-Connected Photovoltaic Systems with Active Filtering Function.

Kleber C. Oliveira, João L. Afonso, Marcelo C. Cavalcanti

 289-298

Analysis of the Features of a UPQC to Improve Power Quality in Smart Grids.

J. G. Pinto, Carlos Couto, João L. Afonso

 299-306

Intelligent Energy Management System for Residential and Community Applications.

Vicente Botón-Fernández, Máximo Pérez-Romero, Adolfo Lozano Tello, Enrique Romero-Cadaval

 307-314

Community and Residential Energy Storage in Smart Grids.

Máximo Pérez-Romero, Adolfo Lozano Tello, Enrique Romero-Cadaval, João Martins

 315-322

Integration of Power Electronics Systems with ICT - II

Development of a Photovoltaic Array Emulator in a Real Time Control Environment Using xPC Target.

Sara Polo-Gallego, Carlos Roncero-Clemente, Enrique Romero-Cadaval, Víctor Miñambres-Marcos, M. A. Guerrero-Martínez

 325-333

Three-Level Neutral-Point-Clamped Quasi-Z-Source Inverter with Maximum Power Point Tracking for Photovoltaic Systems.

Carlos Roncero-Clemente, Serhii Stepenko, Oleksandr Husev, Víctor Miñambres-Marcos, Enrique Romero-Cadaval, Dmitri Vinnikov

 334-342

Instantaneous, Short-Term and Predictive Long-Term Power Balancing Techniques in Intelligent Distribution Grids.

Alexander Suzdalenko, Ilya Galkin

 343-350

Electric Vehicles On-Board Battery Charger for the Future Smart Grids.

Vitor Monteiro, João C. Ferreira, Andrés A. Nogueiras Meléndez, João L. Afonso

 351-358

Energy Generation

Schedule of Thermal Units with Emissions in a Spot Electricity Market.

Rui Laia, Hugo M. I. Pousinho, Rui Melício, Victor M. F. Mendes, A. H. Reis

 361-370

An Advanced LMI-Based-LQR Design for Load Frequency Control of an Autonomous Hybrid Generation System.

S. K. Pandey, Soumya R. Mohanty, Nand Kishor, João P. S. Catalão

 371-381

Darrieus Wind Turbine Performance Prediction: Computational Modeling.

N. C. Batista, Rui Melício, Victor M. F. Mendes, João Figueiredo, A. H. Reis

 382-391

Energy Distribution

The Electric Vehicle Integration into the Power System: An Application to the Portuguese Case.

Ezequiel Carvalho, Jorge Sousa, M. Ventim Neves

 395-402

Demand Response Analysis in Smart Grids Using Fuzzy Clustering Model.

R. Pereira, A. Fagundes, Rui Melício, Victor M. F. Mendes, João Figueiredo, J. Martins, J. C. Quadrado

 403-412

Modeling the Input Variables and Setting on the Static System Model at Using the Genetic Algorithm for Fault Location in the Power Transmission Grid.

Tonka Sharenkova, Rosen Rusev

 413-420

Energy Transformation

Modeling and Characterization of Leakage Inductances for Transformer Winding Fault Studies.

Luís M. R. Oliveira, A. J. Marques Cardoso

 423-430

Preliminary Studies and Test Results of a Superconducting Hysteresis Motor with Multiphase Windings and Variable Number of Magnetic Poles.

Raul Dionísio, João Murta Pina, David Inácio, Amadeu Leão Rodrigues

 431-440

A Voltage Limiter Circuit for Indoor Light Energy Harvesting Applications.

Carlos Carvalho, Nuno Paulino

 441-448

A Study on Superconducting Coils for Superconducting Magnetic Energy Storage (SMES) Applications.

Nuno Amaro, João Murta Pina, João Martins, José-María Ceballos

 449-456

Optimization Techniques in Energy

A Multi-objective Simulation Based Tool: Application to the Design of High Performance LC-VCOs.

Amin Sallem, Pedro Pereira, Mourad Fakhfakh, M. Helena Fino

 459-468

Distributed Model Predictive Control for Housing with Hourly Auction of Available Energy.

F. A. Barata, R. N. Silva

 469-476

Sensing Cloud Optimization to Solve ED of Units with Valve-Point Effects and Multi-fuels.

Pedro M. Fonte, Cláudio Monteiro, Fernando Maciel Barbosa

 477-484

Impact of Component Losses on the Efficiency of a New Quasi-Z-Source-Based Dual Active Bridge.

Viktor Beldjajev, Indrek Roasto, Janis Zakis

 485-492

Telecommunications

Channel Availability Assessment for Cognitive Radios.

António Furtado, Miguel Luis, Rodolfo Oliveira, Rui Dinis, Luis Bernardo

 495-504

Optical Strategies for Generating and Transmitting Signals in OFDM-RoF Systems.

Vitor Lopes, Diogo Bento, Maria C. R. Medeiros, Paula Laurêncio

 505-512

Local Oscillator Phase Noise Influence on Single Carrier and OFDM Modulations.

Vitor Fialho, Fernando Fortes, Manuela Vieira

 513-520

Indoor Sound Based Localization: Research Questions and First Results.

João Neves Moutinho, Diamantino Freitas, Rui Esteves Araujo

 521-528

Electronics: Devices Design

Enhancing a Layout-Aware Synthesis Methodology for Analog ICs by Embedding Statistical Knowledge into the Evolutionary Optimization Kernel.

Frederico Rocha, Ricardo Martins, Nuno C. Lourenço, Nuno Horta

 531-538

Optoelectronic Logic Functions Based on Reconfigurable SiC Multilayer Devices.

Manuel Augusto M. Vieira, Vitor Silva, Paula Louro, Manuela Vieira, Manuel Barata

 539-546

Measurement of Photo Capacitance in Amorphous Silicon Photodiodes.

Dora Gonçalves, Miguel Fernandes, Paula Louro, Manuela Vieira, Alessandro Fantoni

 547-554

Optoelectronic Digital Capture Device Based on Si/C Multilayer Heterostructures.

Vitor Silva, Manuel A. Vieira, Paula Louro, Manuela Vieira, Manuel Barata

 555-562

Electronics: Amplifiers

Design of a Fully Differential Power Output Stage for a Class D Audio Amplifier Using a Single-Ended Power Supply.

Pedro V. Leitão, João L. A. de Melo, Nuno F. Paulino

 565-572

A 1.2 V Low-Noise-Amplifier with Double Feedback for High Gain and Low Noise Figure.

Ivan Bastos, Fábio Querido, D. Amoêdo, Luís Bica Oliveira, João P. Oliveira, João Goes, Manuel Medeiros Silva

 573-581

A Switched-Capacitor Band-Pass Biquad Filter Using a Simple Quasi-unity Gain Amplifier.

Hugo Serra, Nuno F. Paulino, João Goes

 582-589

Design of Cascode-Based Transconductance Amplifiers with Low-Gain PVT Variability and Gain Enhancement Using a Body-Biasing Technique.

Nuno Pereira, Luís Bica Oliveira, João Goes

 590-599

Electronics: RF Applications

Comparison of Feedback Influence on Ring Oscillator Performance for IR-UWB Pulse Generator in 0.13 μm and 0.18 μm CMOS Technologies.

Jelena B. Radic, Alena M. Djugova, Laszlo F. Nagy, Mirjana S. Videnovic-Misic, Ljiljana D. Zivanov

 603-610

A Low-Voltage CMOS Buffer for RF Applications Based on a Fully-Differential Voltage-Combiner.

Somayeh Abdollahvand, Rui Santos-Tavares, João Goes

 611-618

Using Variable Width RF Integrated Inductors for Quality Factor Optimization.

Pedro Almeida, Pedro Pereira, M. Helena Fino

 619-627

Electronics: Applications

Use of a-SiC: H Semiconductor-Based Transducer for Glucose Sensing through FRET Analysis.

Paula Louro, Vitor Silva, Manuel A. Vieira, A. Karmali, Manuela Vieira

 631-638

Design of a 3rd Order 1.5-Bit Continuous-Time Fully Differential Sigma-Delta (ΣΔ) Modulator Optimized for a Class D Audio Amplifier Using Differential Pairs.

Nuno Pereira, João L. A. de Melo, Nuno F. Paulino

 639-646

System-Level Optimization of a DAC for Hearing-Aid Audio Class D Output Stage.

Peter Pracný, Ivan H. H. Jørgensen, Erik Bruun

 647-654