Local Binary Patterns in Focal-Plane Processing. Analysis and Applications

Feature extraction is the part of pattern recognition, where the sensor data is transformed into a more suitable form for the machine to interpret. The purpose of this step is also to reduce the amount of information passed to the next stages of the system, and to preserve the essential information in the view of discriminating the data into different classes. For instance, in the case of image analysis the actual image intensities are vulnerable to various environmental effects, such as lighting changes and the feature extraction can be used as means for detecting features, which are invariant to certain types of illumination changes. Finally, classification tries to make decisions based on the previously transformed data. The main focus of this thesis is on developing new methods for the embedded feature extraction based on local non-parametric image descriptors. Also, feature analysis is carried out for the selected image features. Low-level Local Binary Pattern (LBP) based features are in a main role in the analysis. In the embedded domain, the pattern recognition system must usually meet strict performance constraints, such as high speed, compact size and low power consumption. The characteristics of the final system can be seen as a trade-off between these metrics, which is largely affected by the decisions made during the implementation phase. The implementation alternatives of the LBP based feature extraction are explored in the embedded domain in the context of focal-plane vision processors. In particular, the thesis demonstrates the LBP extraction with MIPA4k massively parallel focal-plane processor IC. Also higher level processing is incorporated to this framework, by means of a framework for implementing a single chip face recognition system. Furthermore, a new method for determining optical flow based on LBPs, designed in particular to the embedded domain is presented. Inspired by some of the principles observed through the feature analysis of the Local Binary Patterns, an extension to the well known non-parametric rank transform is proposed, and its performance is evaluated in face recognition experiments with a standard dataset. Finally, an a priori model where the LBPs are seen as combinations of n-tuples is also presented

Distribution of Smart Solutions for External Lighting in Switzerland - Case C2 Smartlight Ltd.

Establishing of export operations is the key to the competitiveness for all producing companies in high-tech industry. Distribution partnerships between exporting producer and local distributors of relevant foreign market are utilized by SMEs to gain cost-efficiency of operation. The purpose of this study was to investigate the Swiss market of outdoor lighting solutions and propose distribution channels for the case of company C2 SmartLight Ltd. The literature framework consists of three main parts: description of distribution channels for business products, the selection process of the distributor and management of the distributors. The empirical part of this study composed of the observation of Swiss lighting market, highlighting key customers, trends of energy efficiency and key industry players of the lighting market. The aim was to identify potential distribution channels, which reach the target customer groups and identify the market opportunity. Secondly, the data was collected through semi-structured phone interviews. The company, which operates in outdoor lighting business and has an established distributor in Switzerland, was interviewed and used as a benchmark. As a result of this research the market opportunity for distribution of C2 SmartLight products was identified based on potential customers and market need. C2 SmartLight Ltd. should establish a connection with wholesalers that distribute easy to handle and store electrical equipment. The results of this study can be used by other SME companies, operating in a similar field of economy, for selection of distributors.

Teknologiat ja toteutustavat palvelukeskeiseen arkkitehtuuriin perustuvassa Internet-pohjaisessajärjestelmässä

Palvelukeskeiseen arkkitehtuuriin perustuvia järjestelmiä voidaan kehittää käyttämällä useita vaihtoehtoisia teknologioita. Toteuttamiseen parhaiten soveltuvia teknologioita ovat erilaiset standardikokoelmat, jotka tukevat useiden toisistaan toteutustavaltaan poikkeavien järjestelmien yhdistämistä käyttämällä standardeihin perustuvia rajapintoja. Täten kyseiset kokoelmat tukevat laajojen, useista erillisistä osista koostuvien palvelujärjestelmien kehittämistä. Tässä työssä selvitetään mikä palvelukeskeinen arkkitehtuuri on sekä millaisia komponentteja ja teknologioita kyseiseen arkkitehtuuriin perustuvan palvelujärjestelmän toteuttamiseen tarvitaan. Tavoitteena on esitellä palvelukeskeinen arkkitehtuuri ja siihen liittyvät teknologiat sekä suunnitella korkealla tasolla kyseisiä teknologioita hyödyntävä integraatioalusta käyttäjien ja useiden palvelun tarjoajien yhdistämiseksi. Työn tuloksena syntyvän teknologiaselvitysraportin selvitysluonteen vuoksi työssä ei suunnitella tarkasti toteutettavaa järjestelmää vaan ainoastaanpohjustetaan järjestelmän suunnittelua sekä esitellään siihen liittyviä arkkitehtuuri- ja toteutusmahdollisuuksia. Internet-pohjainen palvelukeskeiseen arkkitehtuuriin perustuva järjestelmä voi perustua suoriinverkon välisiin yhteyksiin tai vaihtoehtoisesti erityyppisiin välitason sovelluksiin. Välitason sovellukset mahdollistavat niiden tyypistä riippuen järjestelmän erilaisten lisäominaisuuksien toteuttamisen ja tukevat useita yleisimpiä palvelukeskeisiä teknologioita. Työn tuloksena syntyneen teknologiaselvityksen perusteella näistä teknologioista Web-palvelu -arkkitehtuuri ja siihen liittyvät menetelmät soveltuvat parhaiten suunniteltavan järjestelmän rakenneosiksi. Järjestelmän tarkemmat toteutustavat riippuvat myöhemmin määriteltävistä yksityiskohtaisista vaatimuksista sekä valittavasta välitason ohjelmiston toteutuksesta.

Alternative Energy Conversion Systems for a Micro Scale Wind Turbine

This Master's thesis deals with a Micro Scale Wind Wind Turbine application. The thesis consists of nine chapters. The first chapter is an introduction to the philosophy of a small scale wind turbine application. The second defines concepts, and lists the requirements. The third presents the whole application for an On-Grid , and for an Off-Grid arrangement, with main concentration on lighting, heating, and energy storage. The fourth deals with the Inverter's technology, which are used for the conversion of the produced power. The fifth chapter presents the available storage technology and it's possibilities. The sixth deals with the system, and the technological means used for the implementation. The seventh presents the PLC device, which was used as the controller for the management of the whole application. The eighth deals with the concept and the control application philosophy that the PLC involves. And the final chapter presents conclusions and ideas for further considerations.

Energiatehokas toimisto - LED -teknologia

Tässä työssä käsitellään toimistorakennusten energiankulutusta ja nykyisiä toimistojen valaistusratkaisuja. Työssä perehdytään LED-valaistusteknologiaan sekä energiatehokkaaseen toimistovalaistukseen. Energiatehokkaan valaistuksen osalta käsitellään toimistovalaistuksen vaatimuksia, valaistuksen ohjausta ja luonnonvalon vaikutusta energiankulutukseen. Tutkimuskohteena oli Helsingin yliopiston tiloissa sijaitsevat neljä toimistohuonetta, joista kahden valaistusjärjestelmä uusittiin ja kahden jätettiin entiselleen vertailun vuoksi. Tutkimuksessa kartoitettiin toimistohuoneiden nykyistä energiankulutusta ja etsittiin keinoja sen tehostamiseen valaistuksen osalta. Tässä työssä tutkittiin erityisesti LED-valaisimien ja valaistuksen ohjauksen hyödynnettävyyttä toimistotiloissa. Toimistotilojen elinkaarikustannuslaskelmilla pyrittiin toteamaan valaistusjärjestelmien taloudellinen kannattavuus 30 vuoden tarkastelujaksolla. Tutkimuksessa tehtiin käyttäjäkysely toimistohuoneissa työskenteleville henkilöille ennen ja jälkeen muutoksen. Kyselyn perusteella voitiin todeta uusitun valaistusjärjestelmän hyödyt ja puutteet käyttäjän näkökulmasta.

Tutkimusprojektinhallinnan tarkastelu ja valo-ohjauskonsolin määrittely

Teekkareiden musiikkikerho halusi päivittää valo-ohjauskalustoaan sekä selvittää, olisiko järkevää tehdä ohjauksessa käytettävä konsoli itse. Tässä työssä käsitellään valo-ohjauskonsolin suunnitteluprojektin projektinhallintaa suunnittelun, määrittelyn, tavoitteiden ja työryhmän toiminnan osalta. Työssä tehdään myös valo-ohjauskonsolille suuntaa-antava määrittely, joka tarkoituksena on ottaa huomioon tärkeimpiä sähkölaitteen suunnittelussa huomioon otettavia kriteereitä. Työssä selvitetään, mikä on toimiva työmalli pienelle tutkimusprojektille ja kannattaako pienen organisaation valmistaa valo-ohjauskonsoli itse.

Model-View-Controller architectural pattern and its evolution in graphical user interface frameworks

Model-View-Controller (MVC) is an architectural pattern used in software development for graphical user interfaces. It was one of the first proposed solutions in the late 1970s to the Smart UI anti-pattern, which refers to the act of writing all domain logic into a user interface. The original MVC pattern has since evolved in multiple directions, with various names and may confuse many. The goal of this thesis is to present the origin of the MVC pattern and how it has changed over time. Software architecture in general and the MVC’s evolution within web applications are not the primary focus. Fundamen- tal designs are abstracted, and then used to examine the more recent versions. Prob- lems with the subject and its terminology are also presented.

Evaluation of existing technologies in manufacturing of decorative solutions

Matkapuhelinvalmistajien välinen kilpailu kiristyy jatkuvasti. Tuotteiden ollessa teknisiltä ominaisuuksiltaan lähes samanvertaisia, asiakkaat alkavat kiinnittää huomiota myös puhelimen muihin ominaisuuksiin.Puhelimen koristeellisuudesta ja mandollisuudesta personoida matkapuhelin, on muodostumassa entistä tärkeämpiä tekijöitä puhelinvalmistajien välisessä kilpailussa. Asiakas ei myöskään ole valmis odottamaan puhelintaan, vaan haluaa puhelimensa nopesti. Lyhyt läpimenoaika on puhelinvalmistajille elintärkeä kilpailutekijä. Tämän työn tehtävänä on tutkija puhelinvalmistajien alihankkijan teknologisiamandollisuuksia laajentaa tuotevalikoimaansa vastaamaan tämän päivän tarpeita koristella matkaviestimiä. Teknologioioden sovellukset, Tuotantokustannukset, läpimenoajat ja teknologoiden riskit ovat tutkimuksen pääkohteet. Tavoitteena on saavuttaa käsitys kohdeyrityksen mandollisuuksista vastata asiakkaansa tarpeisiin olemassa olevilla teknologioilla ja niiden kombinaatioililla.

Local and Global Feature Extraction for Invariant Object Recognition

Perceiving the world visually is a basic act for humans, but for computers it is still an unsolved problem. The variability present innatural environments is an obstacle for effective computer vision. The goal of invariant object recognition is to recognise objects in a digital image despite variations in, for example, pose, lighting or occlusion. In this study, invariant object recognition is considered from the viewpoint of feature extraction. Thedifferences between local and global features are studied with emphasis on Hough transform and Gabor filtering based feature extraction. The methods are examined with respect to four capabilities: generality, invariance, stability, and efficiency. Invariant features are presented using both Hough transform and Gabor filtering. A modified Hough transform technique is also presented where the distortion tolerance is increased by incorporating local information. In addition, methods for decreasing the computational costs of the Hough transform employing parallel processing and local information are introduced.

THE IMPACT OF ARCHITECTURAL DESIGN ON SOFTWARE DEVELOPMENT

Tässä työssä tutkitaan ohjelmistoarkkitehtuurisuunnitteluominaisuuksien vaikutusta erään client-server –arkkitehtuuriin perustuvan mobiilipalvelusovelluksen suunnittelu- ja toteutusaikaan. Kyseinen tutkimus perustuu reaalielämän projektiin, jonka kvalitatiivinen analyysi paljasti arkkitehtuurikompponenttien välisten kytkentöjen merkittävästi vaikuttavan projektin työmäärään. Työn päätavoite oli kvantitatiivisesti tutkia yllä mainitun havainnon oikeellisuus. Tavoitteen saavuttamiseksi suunniteltiin ohjelmistoarkkitehtuurisuunnittelun mittaristo kuvaamaan kyseisen järjestelmän alijärjestelmien arkkitehtuuria ja luotiin kaksi suunniteltua mittaristoa käyttävää, työmäärää (komponentin suunnittelu-, toteutus- ja testausaikojen summa) arvioivaa mallia, joista toinen on lineaarinen ja toinen epälineaarinen. Näiden mallien kertoimet sovitettiin optimoimalla niiden arvot epälineaarista gloobaalioptimointimenetelmää, differentiaalievoluutioalgoritmia, käyttäen, niin että mallien antamat arvot vastasivat parhaiten mitattua työmäärää sekä kaikilla ominaisuuksilla eli attribuuteilla että vain osalla niistä (yksi jätettiin vuorotellen pois). Kun arkkitehtuurikompenttien väliset kytkennät jätettiin malleista pois, mitattujen ja arvoitujen työmäärien välinen ero (ilmaistuna virheenä) kasvoi eräässä tapauksessa 367 % entisestä tarkoittaen sitä, että näin muodostettu malli vastasi toteutusaikoja huonosti annetulla ainestolla. Tämä oli suurin havaitu virhe kaikkien poisjätettyjen ominaisuuksien kesken. Saadun tuloksen perusteella päätettiin, että kyseisen järjestelmän toteutusajat ovat vahvasti riippuvaisia kytkentöjen määrästä, ja näin ollen kytkentöjen määrä oli mitä todennäköisemmin kaikista tärkein työmäärään vaikuttava tekijä tutkitun järjestelmän arkkitehtuurisuunnittelussa.

Formal development and quantitative verification of dependable systems

-

Reframing the relationship between service design and operations: a service engineering approach

The significance of services as business and human activities has increased dramatically throughout the world in the last three decades. Becoming a more and more competitive and efficient service provider while still being able to provide unique value opportunities for customers requires new knowledge and ideas. Part of this knowledge is created and utilized in daily activities in every service organization, but not all of it, and therefore an emerging phenomenon in the service context is information awareness. Terms like big data and Internet of things are not only modern buzz-words but they are also describing urgent requirements for a new type of competences and solutions. When the amount of information increases and the systems processing information become more efficient and intelligent, it is the human understanding and objectives that may get separated from the automated processes and technological innovations. This is an important challenge and the core driver for this dissertation: What kind of information is created, possessed and utilized in the service context, and even more importantly, what information exists but is not acknowledged or used? In this dissertation the focus is on the relationship between service design and service operations. Reframing this relationship refers to viewing the service system from the architectural perspective. The selected perspective allows analysing the relationship between design activities and operational activities as an information system while maintaining the tight connection to existing service research contributions and approaches. This type of an innovative approach is supported by research methodology that relies on design science theory. The methodological process supports the construction of a new design artifact based on existing theoretical knowledge, creation of new innovations and testing the design artifact components in real service contexts. The relationship between design and operations is analysed in the health care and social care service systems. The existing contributions in service research tend to abstract services and service systems as value creation, working or interactive systems. This dissertation adds an important information processing system perspective to the research. The main contribution focuses on the following argument: Only part of the service information system is automated and computerized, whereas a significant part of information processing is embedded in human activities, communication and ad-hoc reactions. The results indicate that the relationship between service design and service operations is more complex and dynamic than the existing scientific and managerial models tend to view it. Both activities create, utilize, mix and share information, making service information management a necessary but relatively unknown managerial task. On the architectural level, service system -specific elements seem to disappear, but access to more general information elements and processes can be found. While this dissertation focuses on conceptual-level design artifact construction, the results provide also very practical implications for service providers. Personal, visual and hidden activities of service, and more importantly all changes that take place in any service system have also an information dimension. Making this information dimension visual and prioritizing the processed information based on service dimensions is likely to provide new opportunities to increase activities and provide a new type of service potential for customers.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Islandora Sync: Enabling Administrators and Developers

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Preparing for CRIS: Challenges and Opportunities for Systems Integration at Finnish Universities

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014