On Fault Tolerance Methods for Networks-on-Chip

Technology scaling has proceeded into dimensions in which the reliability of manufactured devices is becoming endangered. The reliability decrease is a consequence of physical limitations, relative increase of variations, and decreasing noise margins, among others. A promising solution for bringing the reliability of circuits back to a desired level is the use of design methods which introduce tolerance against possible faults in an integrated circuit. This thesis studies and presents fault tolerance methods for network-onchip (NoC) which is a design paradigm targeted for very large systems-onchip. In a NoC resources, such as processors and memories, are connected to a communication network; comparable to the Internet. Fault tolerance in such a system can be achieved at many abstraction levels. The thesis studies the origin of faults in modern technologies and explains the classification to transient, intermittent and permanent faults. A survey of fault tolerance methods is presented to demonstrate the diversity of available methods. Networks-on-chip are approached by exploring their main design choices: the selection of a topology, routing protocol, and flow control method. Fault tolerance methods for NoCs are studied at different layers of the OSI reference model. The data link layer provides a reliable communication link over a physical channel. Error control coding is an efficient fault tolerance method especially against transient faults at this abstraction level. Error control coding methods suitable for on-chip communication are studied and their implementations presented. Error control coding loses its effectiveness in the presence of intermittent and permanent faults. Therefore, other solutions against them are presented. The introduction of spare wires and split transmissions are shown to provide good tolerance against intermittent and permanent errors and their combination to error control coding is illustrated. At the network layer positioned above the data link layer, fault tolerance can be achieved with the design of fault tolerant network topologies and routing algorithms. Both of these approaches are presented in the thesis together with realizations in the both categories. The thesis concludes that an optimal fault tolerance solution contains carefully co-designed elements from different abstraction levels

Formal Power Analysis of Systems-on-Chip

The design methods and languages targeted to modern System-on-Chip designs are facing tremendous pressure of the ever-increasing complexity, power, and speed requirements. To estimate any of these three metrics, there is a trade-off between accuracy and abstraction level of detail in which a system under design is analyzed. The more detailed the description, the more accurate the simulation will be, but, on the other hand, the more time consuming it will be. Moreover, a designer wants to make decisions as early as possible in the design flow to avoid costly design backtracking. To answer the challenges posed upon System-on-chip designs, this thesis introduces a formal, power aware framework, its development methods, and methods to constraint and analyze power consumption of the system under design. This thesis discusses on power analysis of synchronous and asynchronous systems not forgetting the communication aspects of these systems. The presented framework is built upon the Timed Action System formalism, which offer an environment to analyze and constraint the functional and temporal behavior of the system at high abstraction level. Furthermore, due to the complexity of System-on-Chip designs, the possibility to abstract unnecessary implementation details at higher abstraction levels is an essential part of the introduced design framework. With the encapsulation and abstraction techniques incorporated with the procedure based communication allows a designer to use the presented power aware framework in modeling these large scale systems. The introduced techniques also enable one to subdivide the development of communication and computation into own tasks. This property is taken into account in the power analysis part as well. Furthermore, the presented framework is developed in a way that it can be used throughout the design project. In other words, a designer is able to model and analyze systems from an abstract specification down to an implementable specification.

Singlet oxygen reactivity in water-rich solvent mixtures

The 3-methylindole (3MI) oxygenation sensitized by psoralen (PSO) has been investigated in 100%, 20% and 5% O2-saturated water/dioxane (H2O/Dx) mixtures. The lowering of the ¹O2* chemical rate when water (k chem∆3MI = 1.4 × 109 M-1 s-1) is replaced by deuterated water (k chem∆3MI = 1.9 × 108 M-1 s-1) suggests that hydrogen abstraction is involved in the rate determining step. A high dependence of the chemical rate constant on water concentration in H2O/Dx mixtures was found showing that water molecules are absolutely essential for the success of the 3MI substrate oxidation by ¹O2* in water-rich solvent mixtures.

Determinação da constante de velocidade absoluta para a reação de abstração de hidrogênio fenólico pelo estado excitado triplete de xantona em acetonitrila e no líquido iônico hexafluorfosfato de 1-butil-3-metil-imidazólio [bmim.PF6]

The triplet excited state of xanthone was generated and characterized by laser flash photolysis in acetonitrile (λmax=620 nm; t=1.8 ms) and in ionic liquid 1-butyl-3-methylimidazolium hexafluorophosphate [bmim.PF6] (λmax=620 nm; t=3.0 ms). It reacts with phenols yielding the corresponding xanthone ketyl radical. Stern-Volmer plots for the reaction of triplet xanthone with phenols led to the determination of absolute rate constants for phenolic hydrogen abstraction in the order of ~10(9) Lmol-1s-1 in acetonitrile and ~10(8) Lmol-1s-1 in [bmim.PF6]. The lower diffusioncontrolled rate constant for [bmim.PF6] is responsible for the difference in the phenolic hydrogen abstraction rate constants in this solvent.

Defining the location factors of new manufacturing site in chemical industry

The objective of this thesis is to examine the factors that have an impact on the location decision of new manufacturing site and to create the relative order of importance of these factors by analytic hierarchy process (AHP). The decision making process especially related to the location selection and the measurement of the location factors are also examined. In theoretical part the character of decision making process and the relevant methods are introduced. Based on the previous studies of other researchers, the location factors are examined and the main research method, analytic hierarchy process, is also introduced. The empirical part of the study mainly follows the phases of decision making process and is emphasized on the main stages of analytic hierarchy process; building the hierarchy, defining the priorities and analyzing the results. The hierarchy is constructed from seven main criteria which all have several sub criteria. The evaluation of the hierarchy is implemented at the group decision making –laboratory and there can be seen significant differences between the importance of criteria. The final stage in the study is to create the appropriate measurement scales to the chosen criteria.

Monialustaiset avoimen lähdekoodin ikkunointikirjastot

Tämän tutkimuksen tavoitteena oli löytää vastauksia siihen, mikä on tärkeimpien avoimen lähdekoodin kirjastojen toteutuksen tämän hetkinen taso. Työssä tutkittiin WxWidgetsin, GTK+:n ja Qt:n toteutuksen tasoa käytämällä hyväksi McCaben, Henry&Kafuran ja Chidamberin & Kemererin esittelemiä staattisia menetelmiä. Lisäksi ikkunointikirjastojen lähdekoodin käännetty koko mitattiin eri käyttöjärjestelmissä. Tutkimuksessa esitellään valittujen kirjastojen arkkitehtuuri ja vertaillaan esiteltävien kirjastojen arkkitehtuurisia ratkaisuja toisiinsa. Tämän jälkeen arvioidaan staattisten menetelmien tuottamien tuloksien merkitystä kahdesta näkökulmasta: mitä tulokset kertovat kirjastoista kun niitä verrataan toisiinsa ja mitä silloin kun niitä verrataan kyseisen kirjaston ja muiden kirjastojen arkkitehtuurisiin ratkaisuihin. Tutkimuksessa havaittiin Qt:n sisältävän kaikkein vähiten kirjaston ulkopuolisia riippuvuuksia. Tämän lisäksi sen huomattiin sisältävän muista kirjastoista puuttuvia ominaisuuksia. Osittain edellämainitusta syystä johtuen Qt:n ongelmakohdaksi havaittiin joidenkin sen osien suuri monimutkaisuus ja tästä seuraava mahdollinen vaikeasti ylläpidettävä lähdekoodi. GTK+:n lähdekoodi sisältää muita kirjastoja vähemmän sisäisiä riippuvuuksia samaan kirjastoon, on korkeammalla abstraktiotasolla ja kirjaston osat ovat siirrettävissä ja erotettavissa toisistaan. Joissakin kohdissa GTK+:n ja etenkin sen C++-rajapinnan GTKmm:n lähdekoodi on kuitenkin tarpeettoman monimutkaista. WxWidgetsin toteutuksen havaittiin Qt:n tavoin olevan hyvin itsenäinen kokonaisuus, WxWidgetsin lähdekoodin monimutkaisuus on useimmiten jotakin GTK+:n ja Qt:n väliltä. WxWidgets on Qt:a vähemmän itsenäinen mutta kuitenkin itsenäisempi kuin GTK+. Kuten muutkin kirjastot myös wxWidgetsillä on omat kohtansa, joissa sen lähdekoodi on tarpeettoman monimutkaista.

Päätöksenteon tukeminen kaivosalan yrityksen toiminnanohjausjärjestelmäratkaisun valinnassa

Diplomityön tavoitteena oli tutkia kohdeyrityksen toiminnanohjaukseen sovellettujen tietojärjestelmien nykytilaa ja pyrkiä tunnistamaan siinä vaikuttavia, kehittämistä vaativia kohteita. Nykytilan kartoituksen perusteella työssä oli määrä laatia vertailu liiketoiminnan ohjaamiseen soveltuvien vaihtoehtoisten järjestelmäratkaisuiden välillä. Perusteellisen selvitystyön ja vaihtoehtojen vertailun avulla pyrittiin tuottamaan päätöksentekoa helpottavaa materiaalia kohdeyrityksen toiminnanohjausjärjestelmäratkaisun valinnan tueksi. Keskeisimpinä menetelminä tutkimuksessa hyödynnettiin asiakaskeskeistä toiminnanohjausjärjestelmän käyttöönottomenetelmää C-CEI:tä sekä analyyttistä hierarkiaprosessia AHP:tä. Tutkimuksen perusteella havaittiin, että onnistunut tietojärjestelmäratkaisun valinta edellyttää perusteellista liiketoiminnan nykytilan selvitystä. Yritysten on myös tärkeää tiedostaa, että tällaisiin monikriteerisiin ja hankaliin päätöksentekotilanteisiin on olemassa useita erilaisia päätöksenteon tukimenetelmiä, joiden avulla päätöksenteon ongelmaa kyetään selkeyttämään ja siten helpottamaan ratkaisun löytämistä.

Modeling and developing a customer-oriented configuration process in a mass customization environment

In this thesis the main objective is to examine and model configuration system and related processes. When and where configuration information is created in product development process and how it is utilized in order-delivery process? These two processes are the essential part of the whole configuration system from the information point of view. Empirical part of the work was done as a constructive research inside a company that follows a mass customization approach. Data models and documentation are created for different development stages of the configuration system. A base data model already existed for new structures and relations between these structures. This model was used as the basis for the later data modeling work. Data models include different data structures, their key objects and attributes, and relations between. Representation of configuration rules for the to-be configuration system was defined as one of the key focus point. Further, it is examined how the customer needs and requirements information can be integrated into the product development process. Requirements hierarchy and classification system is presented. It is shown how individual requirement specifications can be connected for physical design structure via features by developing the existing base data model further.

Modulointia ohjaavien tekijöiden valinta asiakkaiden, tuotekehityksen ja valmistuksen vaatimusten perusteella

Modular drivers cover the entire product life cycle and when the most important modular drivers are known, it is possible to focus on the most essential areas in modularization. Modular drivers are helpful while planning modularization, selecting modules to manufacture and evaluating the success of the modularization. When the modules are formed based on the modular drivers it is also possible to develop production processes according to the requirements of a certain module. The objective of the Master’s Thesis was to organize the modular drivers based on the weightings in order to make the modularization process easier. The phases to find the most important module drivers were formed based on the existing literature and background material from the company. During the Master’s Thesis project the weights of the modular drivers were determined according to the requirements of customers, product development and manufacturing. The requirements were established by a questionnaire and the weights for the requirements were selected in an interview using the Analytic Hierarchy Process. The modular drivers were compared pairwise by the view point of the requirements of certain group. When the results of the three groups were integrated, the weights of the modular drivers were found and it was possible to select the most important drivers.

Analysis of electricity distribution network operation business models and capitalization of control room functions with DMS

Electricity distribution network operation (NO) models are challenged as they are expected to continue to undergo changes during the coming decades in the fairly developed and regulated Nordic electricity market. Network asset managers are to adapt to competitive technoeconomical business models regarding the operation of increasingly intelligent distribution networks. Factors driving the changes for new business models within network operation include: increased investments in distributed automation (DA), regulative frameworks for annual profit limits and quality through outage cost, increasing end-customer demands, climatic changes and increasing use of data system tools, such as Distribution Management System (DMS). The doctoral thesis addresses the questions a) whether there exist conditions and qualifications for competitive markets within electricity distribution network operation and b) if so, identification of limitations and required business mechanisms. This doctoral thesis aims to provide an analytical business framework, primarily for electric utilities, for evaluation and development purposes of dedicated network operation models to meet future market dynamics within network operation. In the thesis, the generic build-up of a business model has been addressed through the use of the strategicbusiness hierarchy levels of mission, vision and strategy for definition of the strategic direction of the business followed by the planning, management and process execution levels of enterprisestrategy execution. Research questions within electricity distribution network operation are addressed at the specified hierarchy levels. The results of the research represent interdisciplinary findings in the areas of electrical engineering and production economics. The main scientific contributions include further development of the extended transaction cost economics (TCE) for government decisions within electricity networks and validation of the usability of the methodology for the electricity distribution industry. Moreover, DMS benefit evaluations in the thesis based on the outage cost calculations propose theoretical maximum benefits of DMS applications equalling roughly 25% of the annual outage costs and 10% of the respective operative costs in the case electric utility. Hence, the annual measurable theoretical benefits from the use of DMS applications are considerable. The theoretical results in the thesis are generally validated by surveys and questionnaires.

Makt som fullmakt : ett vårdvetenskapligt perspektiv

The aim of this study is to deepen understanding and knowledge of the concepts and phenomenaof power and authority from the standpoint of caring science. The overall questions of the research are: What is power? What is authority? How do power and authority manifest themselves in the context of caring? How are power and authorityto be understood as caring science concepts? The overall research inception is determination of the concepts in accordance with the hermeneutic approach based on Eriksson's model. The process of understanding follows Gadamer's (1999) hermeneutics. The thesis consists of three part studies. An ontological determinationof the character of the concepts is carried out where a hermeneutic interpretation is made of texts in the Old and the New Testaments in the Bible. The pragmatic features of the concepts are studied on the basis of nurses' written stories of authority and patients' written stories of power and authority. Beside the review of literature concerning power and authority a qualitative meta-analysis ofthe concept and the phenomenon of empowerment are made. The ontological determination shows how a human being's power is the authority to hold every living thing in trust, to tend and care life. To anyone using this authority, serving onesfellow-being is the purpose. Understanding the pragmatical features of authority in the stories of nurses reveals the life-giving nature of serving. By serving the nurse draws near her true mission as a human being, her authority to care for life with love. The service of the nurse and her ability to see and confirm the patient's otherness creates confidence and results in her authority. The nursedoes not abandon the responsibility associated with authority. When the patientdoes not entrust the nurse with authority the nurse employs her inherent authority to alleviate the suffering of the patient. The pragmatical features of the concepts of power and authority in the patients' stories indicate how the nurse puts her power to an improper use if she only makes use of the authority conferred by the hierarchy of power in the organisation, assumes all power and fails to use her faculty for loving care. Patients feel that their existence is threatened when the nurse tries to deprive them of their authority; they experience homelessness, despair and impotence. Patients' struggle for existence and absolute dignity deprives their health processes of strength, and their suffering becomes unbearable. Patients recognize their vitality when encountering a nurse who uses her authority to alleviate the patients' suffering. The power of compassion is strong, and the patients' dignity is recreated when they are able to serve fellowpatients or nurses. The purpose of human life can be understood as the use of one's own inner power and strength. Love.

Alueellistettavien virastojen toimitilojen hankinta

Tutkimus käsittelee julkisia toimitilahankintoja, alueellistamistoimia sekä päätöksentekoprosessia. Tutkimuksen tavoitteena on tutkia julkisiin toimitilahankintoihin liittyvää lainsäädäntöä, toimintamalleja ja määritellä analyyttistä hierarkiaprosessia apuna käyttäen yhdelle valtion virastolle kokonaistaloudellisesti paras mahdollinen toimitila Lappeenrannasta. Tutkimuskohteena on Liikennevirasto, joka osittain alueellistetaan Lappeenrantaan. Kirjallisuuden pohjalta muodostetaan työn laaja teoriapohja, empiirinen aineisto puolestaan koostuu asiantuntija- ja yrityshaastatteluista. Työssä on esitelty lopuksi myös muutama mielenkiintoinen jatkotutkimuksen arvoinen aihe.

Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments

Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, system- level understanding of cellular behaviour. In this way, it addresses one of the greatest challenges faced by contemporary biology, which is to compre- hend the function of complex biological systems. Systems biology combines various methods that originate from scientific disciplines such as molecu- lar biology, chemistry, engineering sciences, mathematics, computer science and systems theory. Systems biology, unlike “traditional” biology, focuses on high-level concepts such as: network, component, robustness, efficiency, control, regulation, hierarchical design, synchronization, concurrency, and many others. The very terminology of systems biology is “foreign” to “tra- ditional” biology, marks its drastic shift in the research paradigm and it indicates close linkage of systems biology to computer science. One of the basic tools utilized in systems biology is the mathematical modelling of life processes tightly linked to experimental practice. The stud- ies contained in this thesis revolve around a number of challenges commonly encountered in the computational modelling in systems biology. The re- search comprises of the development and application of a broad range of methods originating in the fields of computer science and mathematics for construction and analysis of computational models in systems biology. In particular, the performed research is setup in the context of two biolog- ical phenomena chosen as modelling case studies: 1) the eukaryotic heat shock response and 2) the in vitro self-assembly of intermediate filaments, one of the main constituents of the cytoskeleton. The range of presented approaches spans from heuristic, through numerical and statistical to ana- lytical methods applied in the effort to formally describe and analyse the two biological processes. We notice however, that although applied to cer- tain case studies, the presented methods are not limited to them and can be utilized in the analysis of other biological mechanisms as well as com- plex systems in general. The full range of developed and applied modelling techniques as well as model analysis methodologies constitutes a rich mod- elling framework. Moreover, the presentation of the developed methods, their application to the two case studies and the discussions concerning their potentials and limitations point to the difficulties and challenges one encounters in computational modelling of biological systems. The problems of model identifiability, model comparison, model refinement, model inte- gration and extension, choice of the proper modelling framework and level of abstraction, or the choice of the proper scope of the model run through this thesis.

Definição de áreas prioritárias ao uso público no parque estadual da Cachoeira da Fumaça - ES, utilizando geoprocessamento

O Parque Estadual da Cachoeira da Fumaça (PECF) está localizado entre os municípios de Alegre e Ibitirama, no sul do Estado do Espírito Santo, possuindo área aproximada de 162,50 hectares. Levando-se em consideração a importância ambiental do PECF para o Estado do Espírito Santo, a necessidade de proteção dos ecossistemas da Mata Atlântica e suas formações associadas, bem como o aprimoramento das técnicas de gestão, este trabalho teve por objetivo propor subsídios aos gestores, através da geração de um mapa de adequabilidade com áreas prioritárias ao uso público, utilizando análise multicritério e lógica fuzzy. Os materiais utilizados foram: Ortofoto do ES, mapa de curvas de nível obtido do Geobases e para coleta de dados em campo utilizou-se GPS diferencial. Os fatores relevantes para avaliação dos aspectos relacionados ao ecoturismo que foram utilizados para produzir os mapas de adequabilidade, seguindo uma ordem de prioridade estabelecida pelo método Analytic Hierarchy Process (AHP) foram: fator cachoeira, uso dos solos, massa de água (contendo os rios), trilhas, locais de acessos, estruturas e declividade. Após a combinação dos fatores, foi gerado o mapa de adequabilidade para uso público, com superfície de adequabilidade mostrando a aptidão e representando o zoneamento da área do PECF para o objetivo proposto. A partir do zoneamento da Unidade de Conservação foi possível mostrar as áreas com diferentes graus de aptidão ao ecoturismo de acordo com suas distâncias da cachoeira, trilhas, e da área de Mata Atlântica.

Estimating the most important criteria for hatching eggs as function of broiler breeders age

This research aimed to compare two female broiler breeder ages during the incubation period regarding management using the Analytic Hierarchy Process method (AHP). This method is characterized by the possibility of analyzing a multicriteria problem and assists a decision making. This study was carried out on a commercial hatchery located in São Paulo, Brazil. Two ages of broiler breeder (42 and 56 weeks) were compared relative to production rate. Production index data were the same in both ages and were submitted to multicriteria decision analysis using the AHP method. The results indicate that broiler breeders of 42 weeks presented better performance than those of 56 week-old. The setter phase (incubation) is more critical than the hatcher. The AHP method was efficient for this analysis and can serve as a methodological basis for future studies to improve the hatchability of broilers eggs.