Hardware dedicado para sistemas empotrados de visión

La constante evolución de las Tecnologías de la Información y las Comunicaciones no solo ha permitido que más de la mitad de la población mundial esté actualmente interconectada a través de Internet, sino que ha sido el caldo de cultivo en el que han surgido nuevos paradigmas, como el ‘Internet de las cosas’ (IoT) o la ‘Inteligencia ambiental’ (AmI), que plantean la necesidad de interconectar objetos con distintas funcionalidades para lograr un entorno digital, sensible y adaptativo, que proporcione servicios de muy distinta índole a sus usuarios. La consecución de este entorno requiere el desarrollo de dispositivos electrónicos de bajo coste que, con tamaño y peso reducido, sean capaces de interactuar con el medio que los rodea, operar con máxima autonomía y proporcionar un elevado nivel de inteligencia. La funcionalidad de muchos de estos dispositivos incluirá la capacidad para adquirir, procesar y transmitir imágenes, extrayendo, interpretando o modificando la información visual que resulte de interés para una determinada aplicación. En el marco de este desafío surge la presente Tesis Doctoral, cuyo eje central es el desarrollo de hardware dedicado para la implementación de algoritmos de procesamiento de imágenes y secuencias de vídeo usados en sistemas empotrados de visión. El trabajo persigue una doble finalidad. Por una parte, la búsqueda de soluciones que, por sus prestaciones y rendimiento, puedan ser incorporadas en sistemas que satisfagan las estrictas exigencias de funcionalidad, tamaño, consumo de energía y velocidad de operación demandadas por las nuevas aplicaciones. Por otra, el diseño de una serie de bloques funcionales implementados como módulos de propiedad intelectual, que permitan aliviar la carga computacional de las unidades de procesado de los sistemas en los que se integren. En la Tesis se proponen soluciones específicas para la implementación de dos tipos de operaciones habitualmente presentes en muchos sistemas de visión artificial: la sustracción de fondo y el etiquetado de componentes conexos. Las distintas alternativas surgen como consecuencia de aplicar una adecuada relación de compromiso entre funcionalidad y coste, entendiendo este último criterio en términos de recursos de cómputo, velocidad de operación y potencia consumida, lo que permite cubrir un amplio espectro de aplicaciones. En algunas de las soluciones propuestas se han utilizado además, técnicas de inferencia basadas en Lógica Difusa con idea de mejorar la calidad de los sistemas de visión resultantes. Para la realización de los diferentes bloques funcionales se ha seguido una metodología de diseño basada en modelos, que ha permitido la realización de todo el ciclo de desarrollo en un único entorno de trabajo. Dicho entorno combina herramientas informáticas que facilitan las etapas de codificación algorítmica, diseño de circuitos, implementación física y verificación funcional y temporal de las distintas alternativas, acelerando con ello todas las fases del flujo de diseño y posibilitando una exploración más eficiente del espacio de posibles soluciones. Asimismo, con el objetivo de demostrar la funcionalidad de las distintas aportaciones de esta Tesis Doctoral, algunas de las soluciones propuestas han sido integradas en sistemas de vídeo reales, que emplean buses estándares de uso común. Los dispositivos seleccionados para llevar a cabo estos demostradores han sido FPGAs y SoPCs de Xilinx, ya que sus excelentes propiedades para el prototipado y la construcción de sistemas que combinan componentes software y hardware, los convierten en candidatos ideales para dar soporte a la implementación de este tipo de sistemas.The continuous evolution of the Information and Communication Technologies (ICT), not only has allowed more than half of the global population to be currently interconnected through Internet, but it has also been the breeding ground for new paradigms such as Internet of Things (ioT) or Ambient Intelligence (AmI). These paradigms expose the need of interconnecting elements with different functionalities in order to achieve a digital, sensitive, adaptive and responsive environment that provides services of distinct nature to the users. The development of low cost devices, with small size, light weight and a high level of autonomy, processing power and ability for interaction is required to obtain this environment. Attending to this last feature, many of these devices will include the capacity to acquire, process and transmit images, extracting, interpreting and modifying the visual information that could be of interest for a certain application. This PhD Thesis, focused on the development of dedicated hardware for the implementation of image and video processing algorithms used in embedded systems, attempts to response to this challenge. The work has a two-fold purpose: on one hand, the search of solutions that, for its performance and properties, could be integrated on systems with strict requirements of functionality, size, power consumption and speed of operation; on the other hand, the design of a set of blocks that, packaged and implemented as IP-modules, allow to alleviate the computational load of the processing units of the systems where they could be integrated. In this Thesis, specific solutions for the implementation of two kinds of usual operations in many computer vision systems are provided. These operations are background subtraction and connected component labelling. Different solutions are created as the result of applying a good performance/cost trade-off (approaching this last criteria in terms of area, speed and consumed power), able to cover a wide range of applications. Inference techniques based on Fuzzy Logic have been applied to some of the proposed solutions in order to improve the quality of the resulting systems. To obtain the mentioned solutions, a model based-design methodology has been applied. This fact has allowed us to carry out all the design flow from a single work environment. That environment combines CAD tools that facilitate the stages of code programming, circuit design, physical implementation and functional and temporal verification of the different algorithms, thus accelerating the overall processes and making it possible to explore the space of solutions. Moreover, aiming to demonstrate the functionality of this PhD Thesis’s contributions, some of the proposed solutions have been integrated on real video systems that employ common and standard buses. The devices selected to perform these demonstrators have been FPGA and SoPCs (manufactured by Xilinx) since, due to their excellent properties for prototyping and creating systems that combine software and hardware components, they are ideal to develop these applications

Sistema de Inferencia Difusa basado en Relaciones Booleanas y Kleeneanas con Combinador Convexo

Context: In the design process of Fuzzy Inference Systems based on Boolean and Kleenean Relations (FIS-BKR) there is a dilemma choosing the regular kleenean extensions of a given boolean function. The set of possible kleenean extensions of a boolean function has a lattice structure under the usual partial order of functions. The fuzzy convex combination proposed by Zadeh guarantees some properties related to this order.Method: The addition of a convex combiner just before the defuzzifier offers a solution to the above situation. The ISE (Integral Squared Error) and ITSE (Integral Time-weighted Squared Error) performance indexes were used on an application for tuning a liquid level control system.Results: The tuning process carried out on the FIS-BKR controller with fuzzy convex combiner using constant coefficients, implied an improvement of the controlled system up to 1.427% for ISE index and up to 21.99% for ITSE with respect to the extreme extensions.Conclusions: New evidence of convenient characteristics of FIS-BKR controllers with fuzzy convex combiner was presented when the performance indexes ISE and ITSE were evaluated. On the other hand, although in this work parameter tuning for convex combination was done by grid search (brute force), it would be interesting to study more effective optimization methods for this purpose.Contexto: En el proceso de diseño de sistemas de control difuso basados en relaciones booleanas o kleeneanas (FIS-BKR, por sus siglas en inglés) existe una clara disyuntiva a la hora de elegir las extensiones kleeneanas regulares de una función booleana dada. El conjunto de posibles extensiones kleeneanas de una función booleana tiene estructura reticular bajo el orden parcial usual de funciones. La combinación convexa difusa propuesta por Zadeh garantiza ciertas propiedades relacionadas con este orden.Método: La adición de un combinador convexo antes del defusificador ofrece una solución a esta situación. Los índices de desempeño ISE (Integral Squared Error) e ITSE (Integral Time-weighted Squared Error) son usados en la sintonización de un sistema de control de nivel de líquido en un tanque cilíndrico.Resultados: El proceso de sintonización llevado a cabo en el controlador de nivel tipo FIS-BKR con combinador convexo difuso usando coeficientes constantes implicó una mejora en la respuesta del sistema controlado de hasta el 1.427% para el ISE y de hasta el 21.99% para el ITSE con respecto al desempeño de las extensiones extremas.Conclusiones: Se presentaron nuevas evidencias de las características favorables de controladores FISBKR con combinador convexo difuso cuando se evaluaron los ´índices de desempeño ISE e ITSE. Por otro lado, teniendo en cuenta que la sintonización de los parámetros de combinación convexa se realizó mediante búsqueda exhaustiva, como trabajo futuro valdría la pena explorar técnicas de optimización más eficientes.

Proceedings. 22. Workshop Computational Intelligence, Dortmund, 6. - 7. Dezember 2012

Dieser Tagungsband enthält die Beiträge des 22. Workshops "Computational Intelligence" des Fachausschusses 5.14 der VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) der vom 6. - 7. Dezember 2012 in Dortmund stattgefunden hat. Die Schwerpunkte sind Methoden, Anwendungen und Tools für - Fuzzy-Systeme, - Künstliche Neuronale Netze, - Evolutionäre Algorithmen und - Data-Mining-Verfahren sowie der Methodenvergleich anhand von industriellen Anwendungen und Benchmark-Problemen

Text-based Sentiment Analysis and Music Emotion Recognition

Nowadays, with the expansion of social media, large amounts of user-generated texts like tweets, blog posts or product reviews are shared online. Sentiment polarity analysis of such texts has become highly attractive and is utilized in recommender systems, market predictions, business intelligence and more. We also witness deep learning techniques becoming top performers on those types of tasks. There are however several problems that need to be solved for efficient use of deep neural networks on text mining and text polarity analysis. First of all, deep neural networks are data hungry. They need to be fed with datasets that are big in size, cleaned and preprocessed as well as properly labeled. Second, the modern natural language processing concept of word embeddings as a dense and distributed text feature representation solves sparsity and dimensionality problems of the traditional bag-of-words model. Still, there are various uncertainties regarding the use of word vectors: should they be generated from the same dataset that is used to train the model or it is better to source them from big and popular collections that work as generic text feature representations? Third, it is not easy for practitioners to find a simple and highly effective deep learning setup for various document lengths and types. Recurrent neural networks are weak with longer texts and optimal convolution-pooling combinations are not easily conceived. It is thus convenient to have generic neural network architectures that are effective and can adapt to various texts, encapsulating much of design complexity. This thesis addresses the above problems to provide methodological and practical insights for utilizing neural networks on sentiment analysis of texts and achieving state of the art results. Regarding the first problem, the effectiveness of various crowdsourcing alternatives is explored and two medium-sized and emotion-labeled song datasets are created utilizing social tags. One of the research interests of Telecom Italia was the exploration of relations between music emotional stimulation and driving style. Consequently, a context-aware music recommender system that aims to enhance driving comfort and safety was also designed. To address the second problem, a series of experiments with large text collections of various contents and domains were conducted. Word embeddings of different parameters were exercised and results revealed that their quality is influenced (mostly but not only) by the size of texts they were created from. When working with small text datasets, it is thus important to source word features from popular and generic word embedding collections. Regarding the third problem, a series of experiments involving convolutional and max-pooling neural layers were conducted. Various patterns relating text properties and network parameters with optimal classification accuracy were observed. Combining convolutions of words, bigrams, and trigrams with regional max-pooling layers in a couple of stacks produced the best results. The derived architecture achieves competitive performance on sentiment polarity analysis of movie, business and product reviews. Given that labeled data are becoming the bottleneck of the current deep learning systems, a future research direction could be the exploration of various data programming possibilities for constructing even bigger labeled datasets. Investigation of feature-level or decision-level ensemble techniques in the context of deep neural networks could also be fruitful. Different feature types do usually represent complementary characteristics of data. Combining word embedding and traditional text features or utilizing recurrent networks on document splits and then aggregating the predictions could further increase prediction accuracy of such models

Evolutionary Computation 2020

Intelligent optimization is based on the mechanism of computational intelligence to refine a suitable feature model, design an effective optimization algorithm, and then to obtain an optimal or satisfactory solution to a complex problem. Intelligent algorithms are key tools to ensure global optimization quality, fast optimization efficiency and robust optimization performance. Intelligent optimization algorithms have been studied by many researchers, leading to improvements in the performance of algorithms such as the evolutionary algorithm, whale optimization algorithm, differential evolution algorithm, and particle swarm optimization. Studies in this arena have also resulted in breakthroughs in solving complex problems including the green shop scheduling problem, the severe nonlinear problem in one-dimensional geodesic electromagnetic inversion, error and bug finding problem in software, the 0-1 backpack problem, traveler problem, and logistics distribution center siting problem. The editors are confident that this book can open a new avenue for further improvement and discoveries in the area of intelligent algorithms. The book is a valuable resource for researchers interested in understanding the principles and design of intelligent algorithms

Raciocínio baseado em casos: uma abordagem fuzzy para diagnóstico nutricional

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro TecnológicoRaciocínio Baseado em Casos (RBC) é uma técnica da Inteligência Artificial (IA), recentemente desenvolvida, para amenizar a elaboração de regras existentes em sistemas especialistas que modelam a cognição humana para resolver problemas. O RBC pode ser usado em circunstâncias específicas tais como para a determinação de um Diagnóstico Nutricional e Prescrição Dietética. Em muitos aspectos, é basicamente diferente de outras maiores abordagens da IA. Por acreditar que a matemática clássica sozinha não contempla todos os aspectos das escolhas desenvolvidas pela mente humana é que sentimos a necessidade de uma ferramenta mais flexível, onde possamos ter respostas em graus de cinza. É hábil para utilizar um específico conhecimento de experiências prévias, problemas com situações concretas (casos) e repetir o ato humano de relembrar prévios episódios resolvendo um dado problema por reconhecimento de outras afinidades. Para isso, integramos a metodologia do RBC e o modelo da Lógica Difusa no desenvolvimento deste sistema. Diagnóstico Nutricional e Prescrições Dietéticas são muito complexos, descrevendo estas considerações em parâmetros Fuzzy, como obesidade, comportamento individual, idade e tendências genéticas. O objetivo deste estudo, foi desenvolver um sistema inteligente que satisfizesse as necessidades de um especialista nutricionista ao determinar um Diagnóstico Nutricional e fornecer uma Prescrição Dietética a um indivíduo, utilizando-se ferramentas rápidas e próximas a cognição humana. A base de casos deste sistema, foi obtida através de um estudo realizado na instituição Pell Heart Survey Regional Municipality of Pell em 1997, na província de Ontário, Canadá. Esta pesquisa foi caracterizada como um estudo de casos, transversal e qualitativo. O objetivo da Instituição Peel neste estudo, foi determinar o estado nutricional desta população assim como diagnosticar doenças crônico degenerativas não transmissíveis. A Instituição Pell coletou o tamanho de uma amostra de 2000 sujeitos, foram aleatoriamente selecionados em uma população adulta entre 18 e 59 anos de idade, de ambos os sexos. Os riscos nutricionais desta população foram determinados pelas variáveis de índices de massa corporal (IMC), avaliação dietética, necessidades energéticas totais (NET), o nível de atividade física, pressão arterial, colesterol sangüíneo, história familiar, tabagismo, sexo e idade. Pegou-se as amostras da Pell e fez-se um tratamento e análise dos dados. Aplicou-se o modelo fuzzy para valorar os atributos e a metodologia do Raciocínio Baseado em Casos, utilizou-se para compor os casos reais e suas devidas soluções, na base de casos. Constituiu-se um conjunto de protótipos para facilitar a aquisição dos casos, agilizando a recuperação dos mesmos, diminuindo-se a necessidade de adaptação. A ferramenta utilizada para testar os pesos, foi a shell Esteem 1.4 da Esteem Software e o programa estatístico utilizado foi SPSS, versão 8.0. O tamanho da amostra foi adequada. Verificou-se a sustentabilidade da capacidade do modelo tendo em vista a importância do aprendizado com a experiência. A validação do modelo fuzzy e do RBC chegou próximo a 100

Selected Papers from the First International Symposium on Future ICT (Future-ICT 2019) in Conjunction with 4th International Symposium on Mobile Internet Security (MobiSec 2019)

The International Symposium on Future ICT (Future-ICT 2019) in conjunction with the 4th International Symposium on Mobile Internet Security (MobiSec 2019) was held on 17–19 October 2019 in Taichung, Taiwan. The symposium provided academic and industry professionals an opportunity to discuss the latest issues and progress in advancing smart applications based on future ICT and its relative security. The symposium aimed to publish high-quality papers strictly related to the various theories and practical applications concerning advanced smart applications, future ICT, and related communications and networks. It was expected that the symposium and its publications would be a trigger for further related research and technology improvements in this field

Definition and verification of a set of reusable reference architectures for hybrid vehicle development

Current concerns regarding climate change and energy security have resulted in an increasing demand for low carbon vehicles, including: more efficient internal combustion engine vehicles, alternative fuel vehicles, electric vehicles and hybrid vehicles. Unlike traditional internal combustion engine vehicles and electric vehicles, hybrid vehicles contain a minimum of two energy storage systems. These are required to deliver power through a complex powertrain which must combine these power flows electrically or mechanically (or both), before torque can be delivered to the wheel. Three distinct types of hybrid vehicles exist, series hybrids, parallel hybrids and compound hybrids. Each type of hybrid presents a unique engineering challenge. Also, within each hybrid type there exists a wide range of configurations of components, in size and type. The emergence of this new family of hybrid vehicles has necessitated a new component to vehicle development, the Vehicle Supervisory Controller (VSC). The VSC must determine and deliver driver torque demand, dividing the delivery of that demand from the multiple energy storage systems as a function of efficiencies and capacities. This control component is not commonly a standalone entity in traditional internal combustion vehicles and therefore presents an opportunity to apply a systems engineering approach to hybrid vehicle systems and VSC control system development. A key non-­‐functional requirement in systems engineering is reusability. A common method for maximising system reusability is a Reference Architecture (RA). This is an abstraction of the minimum set of shared system features (structure, functions, interactions and behaviour) that can be applied to a number of similar but distinct system deployments. It is argued that the employment of RAs in hybrid vehicle development would reduce VSC development time and cost. This Thesis expands this research to determine if one RA is extendable to all hybrid vehicle types and combines the scientific method with the scenario testing method to verify the reusability of RAs by demonstration. A set of hypotheses are posed: Can one RA represent all hybrid types? If not, can a minimum number of RAs be defined which represents all hybrid types? These hypotheses are tested by a set of scenarios. The RA is used as a template for a vehicle deployment (a scenario), which is then tested numerically, thereby verifying that the RA is valid for this type of vehicle. This Thesis determines that two RAs are required to represent the three hybrid vehicle types. One RA is needed for series hybrids, and the second RA covers parallel and compound hybrids. This is done at a level of abstraction which is high enough to avoid system specific features but low enough to incorporate detailed control functionality. One series hybrid is deployed using the series RA into simulation, hardware and onto a vehicle for testing. This verifies that the series RA is valid for this type of vehicle. The parallel RA is used to develop two sub-­‐types of parallel hybrids and one compound hybrid. This research has been conducted with industrial partners who value, and are employing, the findings of this research in their hybrid vehicle development programs

Collected Papers (on Neutrosophic Theory and Applications), Volume VI

This sixth volume of Collected Papers includes 74 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2015-2021 by the author alone or in collaboration with the following 121 co-authors from 19 countries: Mohamed Abdel-Basset, Abdel Nasser H. Zaied, Abduallah Gamal, Amir Abdullah, Firoz Ahmad, Nadeem Ahmad, Ahmad Yusuf Adhami, Ahmed Aboelfetouh, Ahmed Mostafa Khalil, Shariful Alam, W. Alharbi, Ali Hassan, Mumtaz Ali, Amira S. Ashour, Asmaa Atef, Assia Bakali, Ayoub Bahnasse, A. A. Azzam, Willem K.M. Brauers, Bui Cong Cuong, Fausto Cavallaro, Ahmet Çevik, Robby I. Chandra, Kalaivani Chandran, Victor Chang, Chang Su Kim, Jyotir Moy Chatterjee, Victor Christianto, Chunxin Bo, Mihaela Colhon, Shyamal Dalapati, Arindam Dey, Dunqian Cao, Fahad Alsharari, Faruk Karaaslan, Aleksandra Fedajev, Daniela Gîfu, Hina Gulzar, Haitham A. El-Ghareeb, Masooma Raza Hashmi, Hewayda El-Ghawalby, Hoang Viet Long, Le Hoang Son, F. Nirmala Irudayam, Branislav Ivanov, S. Jafari, Jeong Gon Lee, Milena Jevtić, Sudan Jha, Junhui Kim, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Songül Karabatak, Abdullah Kargın, M. Karthika, Ieva Meidute-Kavaliauskiene, Madad Khan, Majid Khan, Manju Khari, Kifayat Ullah, K. Kishore, Kul Hur, Santanu Kumar Patro, Prem Kumar Singh, Raghvendra Kumar, Tapan Kumar Roy, Malayalan Lathamaheswari, Luu Quoc Dat, T. Madhumathi, Tahir Mahmood, Mladjan Maksimovic, Gunasekaran Manogaran, Nivetha Martin, M. Kasi Mayan, Mai Mohamed, Mohamed Talea, Muhammad Akram, Muhammad Gulistan, Raja Muhammad Hashim, Muhammad Riaz, Muhammad Saeed, Rana Muhammad Zulqarnain, Nada A. Nabeeh, Deivanayagampillai Nagarajan, Xenia Negrea, Nguyen Xuan Thao, Jagan M. Obbineni, Angelo de Oliveira, M. Parimala, Gabrijela Popovic, Ishaani Priyadarshini, Yaser Saber, Mehmet Șahin, Said Broumi, A. A. Salama, M. Saleh, Ganeshsree Selvachandran, Dönüș Șengür, Shio Gai Quek, Songtao Shao, Dragiša Stanujkić, Surapati Pramanik, Swathi Sundari Sundaramoorthy, Mirela Teodorescu, Selçuk Topal, Muhammed Turhan, Alptekin Ulutaș, Luige Vlădăreanu, Victor Vlădăreanu, Ştefan Vlăduţescu, Dan Valeriu Voinea, Volkan Duran, Navneet Yadav, Yanhui Guo, Naveed Yaqoob, Yongquan Zhou, Young Bae Jun, Xiaohong Zhang, Xiao Long Xin, Edmundas Kazimieras Zavadskas