Comparative analysis of different meat traceability systems using multiple criteria and a social network approach

The adoption of a proper traceability system is being incorporated into meat production practices as a method of gaining consumer confidence. The various partners operating in the chain of meat production can be considered a social network, and they have the common goal of generating a communication process that can ensure each characteristic of the product, including safety. This study aimed to select the most appropriate meat traceability system “from farm to fork” that could be applied to Brazilian beef and pork production for international trade. The research was done in three steps. The first used the analytical hierarchy process (AHP) for selecting the best on-farm livestock traceability. In the second step, the actors in the meat production chain were identified to build a framework and defined each role in the network. In the third step, the selection of the traceability system was done. Results indicated that with an electronic traceability system, it is possible to acquire better connections between the links in the chain and to provide the means for managing uncertainties by creating structures that facilitate information flow more efficiently.

Memristive Computing

Memristive computing refers to the utilization of the memristor, the fourth fundamental passive circuit element, in computational tasks. The existence of the memristor was theoretically predicted in 1971 by Leon O. Chua, but experimentally validated only in 2008 by HP Labs. A memristor is essentially a nonvolatile nanoscale programmable resistor — indeed, memory resistor — whose resistance, or memristance to be precise, is changed by applying a voltage across, or current through, the device. Memristive computing is a new area of research, and many of its fundamental questions still remain open. For example, it is yet unclear which applications would benefit the most from the inherent nonlinear dynamics of memristors. In any case, these dynamics should be exploited to allow memristors to perform computation in a natural way instead of attempting to emulate existing technologies such as CMOS logic. Examples of such methods of computation presented in this thesis are memristive stateful logic operations, memristive multiplication based on the translinear principle, and the exploitation of nonlinear dynamics to construct chaotic memristive circuits. This thesis considers memristive computing at various levels of abstraction. The first part of the thesis analyses the physical properties and the current-voltage behaviour of a single device. The middle part presents memristor programming methods, and describes microcircuits for logic and analog operations. The final chapters discuss memristive computing in largescale applications. In particular, cellular neural networks, and associative memory architectures are proposed as applications that significantly benefit from memristive implementation. The work presents several new results on memristor modeling and programming, memristive logic, analog arithmetic operations on memristors, and applications of memristors. The main conclusion of this thesis is that memristive computing will be advantageous in large-scale, highly parallel mixed-mode processing architectures. This can be justified by the following two arguments. First, since processing can be performed directly within memristive memory architectures, the required circuitry, processing time, and possibly also power consumption can be reduced compared to a conventional CMOS implementation. Second, intrachip communication can be naturally implemented by a memristive crossbar structure.

Success factors of commercial open source software projects

Open source and open source software development have been interesting phenomena during the past decade. Traditional business models do not apply with open source, where the actual product is free. However, it is possible to make business with open source, even successfully, but the question is: how? The aim of this study is to find the key factors of successfully making business out of commercial open source software development. The task is achieved by finding the factors that influence open source projects, finding the relation between those factors, and find out why some factors explain the success more than others. The literature review concentrates first on background of open innovation, open source and open source software. Then business models, critical success factors and success measures are examined. Based on existing literature a framework was created. The framework contains categorized success factors that influence software projects in general as well as open source software projects. The main categories of success factors in software business are divided into community management, technology management, project management and market management. In order to find out which of the factors based on the existing literature are the most critical, empirical research was done by conducting unstructured personal interviews. The main finding based on the interviews is that the critical success factors in open source software business do not differ from those in traditional software business or in fact from those in any other business. Some factors in the framework came out in the interviews that can be considered as key factors: establishing and communicating hierarchy (community management), localization (technology management), good license know-how and IPR management (project management), and effective market management (market management). The critical success factors according to the interviewees are not listed in the framework: low price, good product and good business model development.

Trustworthy context dependency in ubiquitous systems

The modern society is getting increasingly dependent on software applications. These run on processors, use memory and account for controlling functionalities that are often taken for granted. Typically, applications adjust the functionality in response to a certain context that is provided or derived from the informal environment with various qualities. To rigorously model the dependence of an application on a context, the details of the context are abstracted and the environment is assumed stable and fixed. However, in a context-aware ubiquitous computing environment populated by autonomous agents, a context and its quality parameters may change at any time. This raises the need to derive the current context and its qualities at runtime. It also implies that a context is never certain and may be subjective, issues captured by the context’s quality parameter of experience-based trustworthiness. Given this, the research question of this thesis is: In what logical topology and by what means may context provided by autonomous agents be derived and formally modelled to serve the context-awareness requirements of an application? This research question also stipulates that the context derivation needs to incorporate the quality of the context. In this thesis, we focus on the quality of context parameter of trustworthiness based on experiences having a level of certainty and referral experiences, thus making trustworthiness reputation based. Hence, in this thesis we seek a basis on which to reason and analyse the inherently inaccurate context derived by autonomous agents populating a ubiquitous computing environment in order to formally model context-awareness. More specifically, the contribution of this thesis is threefold: (i) we propose a logical topology of context derivation and a method of calculating its trustworthiness, (ii) we provide a general model for storing experiences and (iii) we formalise the dependence between the logical topology of context derivation and its experience-based trustworthiness. These contributions enable abstraction of a context and its quality parameters to a Boolean decision at runtime that may be formally reasoned with. We employ the Action Systems framework for modelling this. The thesis is a compendium of the author’s scientific papers, which are republished in Part II. Part I introduces the field of research by providing the mending elements for the thesis to be a coherent introduction for addressing the research question. In Part I we also review a significant body of related literature in order to better illustrate our contributions to the research field.

IT Investment Portfolio Management Over Joint Ventures: Case Study in a Multinational Oil & Gas Company

With information technology (IT) playing an increasing important role in driving the business, the value of IT investment is often challenged because not all of those investment decisions are made in a reasonable way or aligned with business strategies. IT investment portfolio management (PfM) is an effective way to prioritize and select the right IT projects to invest in, by taking all the project proposals into consideration as a whole, based on their business value, risks, costs, and interrelationships. There are different decision models to prioritise projects, and the Analytic Hierarchy Process (AHP) is one of the most commonly-used methods and is discussed in this master thesis. At the same time, there are IT projects on different levels for a multinational company, from global to local. For instance, many of them are probably proposed by joint ventures on local level. In the oil & gas industry, joint ventures are often formed especially in the area of the upstream (exploration & production). How to involve those projects into the IT investment PfM approach of the parent company is a challenge, because the parent company cannot make the decisions on its own. It needs to prioritize all projects in an adequate way, communicate with JVs and influence them. Also, different control levels on JVs need to be considered. This paper hence attempts to introduce a tailored approach of IT investment PfM for a multinational oil & gas company to address the issues around JVs.

Applications of Industrial Statistics

This dissertation examines knowledge and industrial knowledge creation processes. It looks at the way knowledge is created in industrial processes based on data, which is transformed into information and finally into knowledge. In the context of this dissertation the main tool for industrial knowledge creation are different statistical methods. This dissertation strives to define industrial statistics. This is done using an expert opinion survey, which was sent to a number of industrial statisticians. The survey was conducted to create a definition for this field of applied statistics and to demonstrate the wide applicability of statistical methods to industrial problems. In this part of the dissertation, traditional methods of industrial statistics are introduced. As industrial statistics are the main tool for knowledge creation, the basics of statistical decision making and statistical modeling are also included. The widely known Data Information Knowledge Wisdom (DIKW) hierarchy serves as a theoretical background for this dissertation. The way that data is transformed into information, information into knowledge and knowledge finally into wisdom is used as a theoretical frame of reference. Some scholars have, however, criticized the DIKW model. Based on these different perceptions of the knowledge creation process, a new knowledge creation process, based on statistical methods is proposed. In the context of this dissertation, the data is a source of knowledge in industrial processes. Because of this, the mathematical categorization of data into continuous and discrete types is explained. Different methods for gathering data from processes are clarified as well. There are two methods for data gathering in this dissertation: survey methods and measurements. The enclosed publications provide an example of the wide applicability of statistical methods in industry. In these publications data is gathered using surveys and measurements. Enclosed publications have been chosen so that in each publication, different statistical methods are employed in analyzing of data. There are some similarities between the analysis methods used in the publications, but mainly different methods are used. Based on this dissertation the use of statistical methods for industrial knowledge creation is strongly recommended. With statistical methods it is possible to handle large datasets and different types of statistical analysis results can easily be transformed into knowledge.

Loviisan ydinvoimalaitoksen kaapelireittien tiedonhallinnan kehittäminen paloriskitutkimusta varten

Tässä diplomityössä kehitetään Loviisan voimalaitoksen todennäköisyyspohjaisen paloriskianalyysin kaapelitietokantaa tulevaisuuden haasteita varten. Tietokannan kehittämistä varten tutustutaan todennäköisyyspohjaiseen riskianalyysiin varsin-kin paloriskianalyysin osalta. Käytännönläheisempää kehittämistä varten tutustu-taan voimalaitoksella nykyisin käytössä oleviin kaapelitietokantoihin: paloriski-tutkimusta varten laadittuun PSA-ELTIEen, kunnossapidon tiedonhallintajärjes-telmä LOMAXiin, sähkö- ja automaatiosuunnitteluyksikköjen arkistoihin sekä automaatiouudistuksen tietokantaan. Tietokannan käytännönläheisempien ominai-suuksien selvittämiseksi voimalaitoksella kokeiltiin kenttätarkastusmenetelmää, joka on ensisijainen kaapelikartoitusmenetelmä. Tietokantoihin tutustumisen perusteella vaihtoehtoisiksi tulevaisuuden tietokan-noiksi mietittiin LOMAXia, PSA-ELTIEtä tai uutta tietokantaa. Tulevaisuuden tietokantavaihtoehdoksi on päädytty ehdottamaan LOMAXia, joka vaatii vähem-män muutoksia muihin vaihtoehtoihin nähden. Tällainen laajalti käytössä oleva yhteinen tietokanta mahdollistaa sen, että tiedot ovat helpommin ja varmemmin kaikkien niitä tarvitsevien käytettävissä ja asiantuntijoiden muokattavissa, millä myös varmistetaan tietojen oikeellisuutta ja pysymistä ajan tasalla. Tulevaan LOMAX päivitykseen on ehdotettu tarpeellisia tietokenttien lisäyksiä ja kaapeli-hierarkian parantamista kaapelitietokannaksi käyttöönottamista varten.

Integration of existing military capability models into the Comprehensive Capability Meta-model

Abstract—This paper discusses existing military capability models and proposes a comprehensive capability meta-model (CCMM) which unites the existing capability models into an integrated and hierarchical whole. The Zachman Framework for Enterprise Architecture is used as a structure for the CCMM. The CCMM takes into account the abstraction level, the primary area of application, stakeholders, intrinsic process, and life cycle considerations of each existing capability model, and shows how the models relate to each other. The validity of the CCMM was verified through a survey of subject matter experts. The results suggest that the CCMM is of practical value to various capability stakeholders in many ways, such as helping to improve communication between the different capability communities.

System-level characterization of Th2 cell development and immune cell responses to ZnO and TiO2 nanoparticles

Asthma and allergy are common diseases and their prevalence is increasing. One of the hypotheses that explains this trend is exposure to inhalable chemicals such as traffi c-related air pollution. Epidemiological research supports this theory, as a correlation between environmental chemicals and allergic respiratory diseases has been found. In addition to ambient airborne particles, one may be exposed to engineered nanosized materials that are actively produced due to their favorable physico-chemical properties compared to their bulk size counterparts. On the cellular level, improper activity of T helper (Th) cells has been connected to allergic reactions. Th cells can differentiate into functionally different effector subsets, which are identifi ed according to their characteristic cytokine profi les resulting in specifi c ability to communicate with other cells. Th2 cells activate humoral immunity and stimulate eradication of extracellular pathogens. However, persistent predominance of Th2 cells is involved in a development of number of allergic diseases. The cytokine environment at the time of antigen recognition is the major factor determining the polarization of a naïve Th cell. Th2 cell differentiation is initiated by IL4, which signals via transcription factor STAT6. Although the importance of this pathway has been evaluated in the mouse studies, the signaling components involved have been largely unknown. The aim of this thesis was to identify molecules, which are under the control of IL4 and STAT6 in Th cells. This was done by using system-level analysis of STAT6 target genes at genome, mRNA and protein level resulting in identifi cation of various genes previously not connected to Th2 cell phenotype acquisition. In the study, STAT6-mediated primary and secondary target genes were dissection from each other and a detailed transcriptional kinetics of Th2 cell polarization of naïve human CD4+ T cells was collected. Integration of these data revealed the hierarchy of molecular events that mediates the differentiation towards Th2 cell phenotype. In addition, the results highlighted the importance of exploiting proteomics tools to complement the studies on STAT6 target genes identifi ed through transcriptional profi ling. In the last subproject, the effects of the exposure with ZnO and TiO2 nanoparticles was analyzed in Jurkat T cell line and in primary human monocyte-derived macrophages and dendritic cells to evaluate their toxicity and potential to cause infl ammation. Identifi cation of ZnO-derived gene expression showed that the same nanoparticles may elicit markedly distinctive responses in different cell types, thus underscoring the need for unbiased profi ling of target genes and pathways affected. The results gave additional proof that the cellular response to nanosized ZnO is due to leached Zn2+ ions. The approach used in ZnO and TiO2 nanoparticle study demonstrated the value of assessing nanoparticle responses through a toxicogenomics approach. The increased knowledge of Th2 cell signaling will hopefully reveal new therapeutic nodes and eventually improve our possibilities to prevent and tackle allergic infl ammatory diseases.

Improving the performance of a dismounted Future Force Warrior by means of C4I2SR

This thesis comprises seven peer-reviewed articles and examines systems and applications suitable for increasing Future Force Warrior performance, minimizing collateral damage, improving situational awareness and Common Operational Picture. Based on a literature study, missing functionalities of Future Force Warrior were identified and new ideas, concepts and solutions were created as part of early stages of Systems of Systems creation. These introduced ideas have not yet been implemented or tested in combat and for this reason benefit analyses are excluded. The main results of this thesis include the following: A new networking concept, Wireless Polling Sensor Network, which is a swarm of a few Unmanned Aerial Vehicles forming an ad-hoc network and polling a large number of fixed sensor nodes. The system is more robust in a military environment than traditional Wireless Sensor Networks. A Business Process approach to Service Oriented Architecture in a tactical setting is a concept for scheduling and sharing limited resources. New components to military Service Oriented Architecture have been introduced in the thesis. Other results of the thesis include an investigation of the use of Free Space Optics in tactical communications, a proposal for tracking neutral forces, a system for upgrading simple collaboration tools for command, control and collaboration purposes, a three-level hierarchy of Future Force Warrior, and methods for reducing incidents of fratricide.

Exploring the value creation in service ecosystem context: the case of the information technology sector

This thesis examines customer value creation in a service ecosystem context. The objective of this thesis is to develop a comprehensive view of value creation processes in a service ecosystem context and an understanding on the roles of the stakeholders involved in these processes, focusing on the information technology industry. The novelty of the two central concepts of this thesis, systemic customer value and service ecosystem, as well as the gap in the literature of empirical research on value creation in an ecosystem-level, opened an interesting research topic. The empirical study is conducted as a single case analysis, utilizing Group Decision Support System (GDSS) and also Analytic Hierarchy Process (AHP). The findings suggest that customer value is created by a complex combination of interactions among different actors of the ecosystem. Thus, value is not created by a single offering directed to the customer, but by an integration of services from different parts of the ecosystem as well as the active participation of customer in this process.

Species och artikelbruk i finskspråkiga grundskoleelevers inlärarsvenska. En longitudinell undersökning i årskurserna 7–9

Denna doktorsavhandling utreder hur finska grundskolelever använder de svenska substantivens bestämdhetsformer och artiklar och hur deras kunskaper utvecklas under årskurserna 7-9. Species och artikelbruk är problematiska för alla andraspråksinlärare i svenska, men de är synnerligen svåra för inlärare vars förstaspråk saknar morfologisk species. Det svenska systemet avviker också kraftigt från det motsvarande systemet i engelskan, varför tidigare kunskaper i engelska inte är till någon stor hjälp i inlärningen, låt vara att bestämdheten som begrepp redan är bekant för inläraren. Den teoretiska referensramen bygger på både grammatiska beskrivningar av den svenska grammatiken och på teorierna om grammatikinlärningen i andraspråk. Bland de sistnämnda är teorierna om tvärspråkligt inflytande, explicit respektive implicit inlärning samt helsekvensinlärning (på engelska formulaic language) av relevans. Undersökningsmaterialet består av korta texter samt inspelat muntligt material som med jämna mellanrum insamlats av finskspråkiga grundskolelever (n=67) som läser B-svenska. Undersökningen är i första hand kvantitativ, om än inmatningen av nominalfraserna i materialet samt deras formella och semantiska aspekter i analysprogrammet Microsoft Access också innebar en omfattande kvalitativ analys. Undersökningen bygger på performansanalysen och analysen av obligatoriska kontexter och beräkningen av frekvenser och korrekthetsprocent för de olika nominalfrastyperna. Informanterna använder komplext språk redan i årskurs 7. Korrekthetsprocenten stiger under undersökningstiden i de flesta frastyperna, men skillnaderna är sällan statistiskt signifikanta. Den normativa analysen visar också, att formfelen är i både det skriftliga och det muntliga materialet signifikant vanligare än speciesfelen. Det är med andra ord lättare för informanterna att välja rätt species än att bilda en korrekt nominalfras. I tidigare undersökningar i Sverige har likadana resultat nåtts. De mest centrala frastyperna i undersökningen bildar i båda typerna av materialet en inlärningsgång som upprepas i alla årskurser och kan förklaras med komplexitetsskillnaderna mellan de olika frastyperna. Informanterna behärskar bäst de frastyper, som varken innehåller artiklar eller ändelser. Näst bäst behärskar de substantivets bestämda form singularis och svagast obestämd form singularis, vars artikel är en klassisk svårighetskälla för finska svenskinlärare. Analysen av informanternas läromedel visar dock att den typiska undervisningsordningen i läromedlen inte motsvarar inlärningsgången som upptäckts i denna undersökning.

Purchasing portfolio analysis and supplier classification

The purpose of the thesis is to classify suppliers and to enhance strategic purchasing in the case company. Supplier classification is conducted to fulfill the requirements of the company quality manual and international quality standards. To gain more benefit, a strategic purchasing tool, Kraljic’s purchasing portfolio and analytical hierarchy process are utilized for the base of supplier classification. Purchasing portfolio is used to give quick and easy visual insight on product group management form the viewpoint of purchasing. From the base on purchasing portfolio alternative purchasing and supplier strategies can be formed that enhance the strategic orientation of purchasing. Thus purchasing portfolio forces the company to orient on proactive and strategic purchasing. As a result a survey method for implementing purchasing portfolio in the company is developed that exploits analytical hierarchy process. Experts from the company appoint the categorization criteria and in addition, participate in the survey to categorize product groups on the portfolio. Alternative purchasing strategies are formed. Suppliers are classified depending on the importance and characteristics of the product groups supplied.

Reusable formal architectures for networked systems

Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.

Spatial multicriteria decision analysis for the siting of on-shore wind power in Kemiönsaari

Wind power is a low-carbon energy production form that reduces the dependence of society on fossil fuels. Finland has adopted wind energy production into its climate change mitigation policy, and that has lead to changes in legislation, guidelines, regional wind power areas allocation and establishing a feed-in tariff. Wind power production has indeed boosted in Finland after two decades of relatively slow growth, for instance from 2010 to 2011 wind energy production increased with 64 %, but there is still a long way to the national goal of 6 TWh by 2020. This thesis introduces a GIS-based decision-support methodology for the preliminary identification of suitable areas for wind energy production including estimation of their level of risk. The goal of this study was to define the least risky places for wind energy development within Kemiönsaari municipality in Southwest Finland. Spatial multicriteria decision analysis (SMCDA) has been used for searching suitable wind power areas along with many other location-allocation problems. SMCDA scrutinizes complex ill-structured decision problems in GIS environment using constraints and evaluation criteria, which are aggregated using weighted linear combination (WLC). Weights for the evaluation criteria were acquired using analytic hierarchy process (AHP) with nine expert interviews. Subsequently, feasible alternatives were ranked in order to provide a recommendation and finally, a sensitivity analysis was conducted for the determination of recommendation robustness. The first study aim was to scrutinize the suitability and necessity of existing data for this SMCDA study. Most of the available data sets were of sufficient resolution and quality. Input data necessity was evaluated qualitatively for each data set based on e.g. constraint coverage and attribute weights. Attribute quality was estimated mainly qualitatively by attribute comprehensiveness, operationality, measurability, completeness, decomposability, minimality and redundancy. The most significant quality issue was redundancy as interdependencies are not tolerated by WLC and AHP does not include measures to detect them. The third aim was to define the least risky areas for wind power development within the study area. The two highest ranking areas were Nordanå-Lövböle and Påvalsby followed by Helgeboda, Degerdal, Pungböle, Björkboda, and Östanå-Labböle. The fourth aim was to assess the recommendation reliability, and the top-ranking two areas proved robust whereas the other ones were more sensitive.