A feature-based object-oriented expert system to model and support product design

In this paper a computer program to model and support product design is presented. The product is represented through a hierarchical structure that allows the user to navigate across the product’s components, and it aims at facilitating each step of the detail design process. A graphical interface was also developed, which shows visually to the user the contents of the product structure. Features are used as building blocks for the parts that compose the product, and object-oriented methodology was used as a means to implement the product structure. Finally, an expert system was also implemented, whose knowledge base rules help the user design a product that meets design and manufacturing requirements.

Petri Net approach for modelling system integration in intelligent buildings

In this paper, a Petri Net approach is introduced for modelling and simulation of control strategies in Intelligent Building. In this context, it is claimed that integration with other building systems can be achieved in a more systematic way considering a mechatronic approach (i.e. multidisciplinary concepts applied to the development of systems). The case study is the Ambulatory Building of Medical School Hospital of University of São Paulo. Particularly, the developed methodology is applied to the elevator system and to the HVAC (Heating, Ventilation and Air Conditioning) system. It is shown that using this approach, the control systems could be integrated, improving performance.

Building Next Generation Consortium Services – part 1: Background for Change

Kristiina Hormia-Poutasen esitys CBUC-konferenssissa Barcelonassa 12.4.2013.

Building Next Generation Consortium Services – part 2: Next Generation IT-services – Why, What, When?

Kristiina Hormia-Poutasen esitys CBUC-konferenssissa Barcelonassa 12.4.2013.

A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

An Open Source, DDI-based Curation System for Social Science Data

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

JNK regulates dendrite and spine architecture in the central nervous system influencing spatial learning and motor tasks

JNK1 is a MAP-kinase that has proven a significant player in the central nervous system. It regulates brain development and the maintenance of dendrites and axons. Several novel phosphorylation targets of JNK1 were identified in a screen performed in the Coffey lab. These proteins were mainly involved in the regulation of neuronal cytoskeleton, influencing the dynamics and stability of microtubules and actin. These structural proteins form the dynamic backbone for the elaborate architecture of the dendritic tree of a neuron. The initiation and branching of the dendrites requires a dynamic interplay between the cytoskeletal building blocks. Both microtubules and actin are decorated by associated proteins which regulate their dynamics. The dendrite-specific, high molecular weight microtubule associated protein 2 (MAP2) is an abundant protein in the brain, the binding of which stabilizes microtubules and influences their bundling. Its expression in non-neuronal cells induces the formation of neurite-like processes from the cell body, and its function is highly regulated by phosphorylation. JNK1 was shown to phosphorylate the proline-rich domain of MAP2 in vivo in a previous study performed in the group. Here we verify three threonine residues (T1619, T1622 and T1625) as JNK1 targets, the phosphorylation of which increases the binding of MAP2 to microtubules. This binding stabilizes the microtubules and increases process formation in non-neuronal cells. Phosphorylation-site mutants were engineered in the lab. The non-phosphorylatable mutant of MAP2 (MAP2- T1619A, T1622A, T1625A) in these residues fails to bind microtubules, while the pseudo-phosphorylated form, MAP2- T1619D, T1622D, Thr1625D, efficiently binds and induces process formation even without the presence of active JNK1. Ectopic expression of the MAP2- T1619D, T1622D, Thr1625D in vivo in mouse brain led to a striking increase in the branching of cortical layer 2/3 (L2/3) pyramidal neurons, compared to MAP2-WT. The dendritic complexity defines the receptive field of a neuron and dictates the output to the postsynaptic cells. Previous studies in the group indicated altered dendrite architecture of the pyramidal neurons in the Jnk1-/- mouse motor cortex. Here, we used Lucifer Yellow loading and Sholl analysis of neurons in order to study the dendritic branching in more detail. We report a striking, opposing effect in the absence of Jnk1 in the cortical layers 2/3 and 5 of the primary motor cortex. The basal dendrites of pyramidal neurons close to the pial surface at L2/3 show a reduced complexity. In contrast, the L5 neurons, which receive massive input from the L2/3 neurons, show greatly increased branching. Another novel substrate identified for JNK1 was MARCKSL1, a protein that regulates actin dynamics. It is highly expressed in neurons, but also in various cancer tissues. Three phosphorylation target residues for JNK1 were identified, and it was demonstrated that their phosphorylation reduces actin turnover and retards migration of these cells. Actin is the main cytoskeletal component in dendritic spines, the site of most excitatory synapses in pyramidal neurons. The density and gross morphology of the Lucifer Yellow filled dendrites were characterized and we show reduced density and altered morphology of spines in the motor cortex and in the hippocampal area CA3. The dynamic dendritic spines are widely considered to function as the cellular correlate during learning. We used a Morris water maze to test spatial memory. Here, the wild-type mice outperformed the knock-out mice during the acquisition phase of the experiment indicating impaired special memory. The L5 pyramidal neurons of the motor cortex project to the spinal cord and regulate the movement of distinct muscle groups. Thus the altered dendrite morphology in the motor cortex was expected to have an effect on the input-output balance in the signaling from the cortex to the lower motor circuits. A battery of behavioral tests were conducted for the wild-type and Jnk1-/- mice, and the knock-outs performed poorly compared to wild-type mice in tests assessing balance and fine motor movements. This study expands our knowledge of JNK1 as an important regulator of the dendritic fields of neurons and their manifestations in behavior.

FUTURES OF FINNISH FOOD SYSTEM BY 2050. The perspective of resilience

Modern food systems face complex global challenges such as climate change, resource scarcities, population growth, concentration and globalization. It is not possible to forecast how all these challenges will affect food systems, but futures research methods provide possibilities to enable better understanding of possible futures and that way increases futures awareness. In this thesis, the two-round online Delphi method was utilized to research experts’ opinions about the present and the future resilience of the Finnish food system up to 2050. The first round questionnaire was constructed based on the resilience indicators developed for agroecosystems. Sub-systems in the study were primary production (main focus), food industry, retail and consumption. Based on the results from the first round, the future images were constructed for primary production and food industry sub-sections. The second round asked experts’ opinion about the future images’ probability and desirability. In addition, panarchy scenarios were constructed by using the adaptive cycle and panarchy frameworks. Furthermore, a new approach to general resilience indicators was developed combining “categories” of the social ecological systems (structure, behaviors and governance) and general resilience parameters (tightness of feedbacks, modularity, diversity, the amount of change a system can withstand, capacity of learning and self- organizing behavior). The results indicate that there are strengths in the Finnish food system for building resilience. According to experts organic farms and larger farms are perceived as socially self-organized, which can promote innovations and new experimentations for adaptation to changing circumstances. In addition, organic farms are currently seen as the most ecologically self-regulated farms. There are also weaknesses in the Finnish food system restricting resilience building. It is important to reach optimal redundancy, in which efficiency and resilience are in balance. In the whole food system, retail sector will probably face the most dramatic changes in the future, especially, when panarchy scenarios and the future images are reflected. The profitability of farms is and will be a critical cornerstone of the overall resilience in primary production. All in all, the food system experts have very positive views concerning the resilience development of the Finnish food system in the future. Sometimes small and local is beautiful, sometimes large and international is more resilient. However, when probabilities and desirability of the future images were questioned, there were significant deviations. It appears that experts do not always believe desirable futures to materialize.

FUTURES OF FINNISH FOOD SYSTEM BY 2050. The perspective of resilience

Modern food systems face complex global challenges such as climate change, resource scarcities, population growth, concentration and globalization. It is not possible to forecast how all these challenges will affect food systems, but futures research methods provide possibilities to enable better understanding of possible futures and that way increases futures awareness. In this thesis, the two-round online Delphi method was utilized to research experts’ opinions about the present and the future resilience of the Finnish food system up to 2050. The first round questionnaire was constructed based on the resilience indicators developed for agroecosystems. Sub-systems in the study were primary production (main focus), food industry, retail and consumption. Based on the results from the first round, the future images were constructed for primary production and food industry sub-sections. The second round asked experts’ opinion about the future images’ probability and desirability. In addition, panarchy scenarios were constructed by using the adaptive cycle and panarchy frameworks. Furthermore, a new approach to general resilience indicators was developed combining “categories” of the social ecological systems (structure, behaviors and governance) and general resilience parameters (tightness of feedbacks, modularity, diversity, the amount of change a system can withstand, capacity of learning and self- organizing behavior). The results indicate that there are strengths in the Finnish food system for building resilience. According to experts organic farms and larger farms are perceived as socially self-organized, which can promote innovations and new experimentations for adaptation to changing circumstances. In addition, organic farms are currently seen as the most ecologically self-regulated farms. There are also weaknesses in the Finnish food system restricting resilience building. It is important to reach optimal redundancy, in which efficiency and resilience are in balance. In the whole food system, retail sector will probably face the most dramatic changes in the future, especially, when panarchy scenarios and the future images are reflected. The profitability of farms is and will be a critical cornerstone of the overall resilience in primary production. All in all, the food system experts have very positive views concerning the resilience development of the Finnish food system in the future. Sometimes small and local is beautiful, sometimes large and international is more resilient. However, when probabilities and desirability of the future images were questioned, there were significant deviations. It appears that experts do not always believe desirable futures to materialize.

BotCloud Detection System

Leveraging cloud services, companies and organizations can significantly improve their efficiency, as well as building novel business opportunities. Cloud computing offers various advantages to companies while having some risks for them too. Advantages offered by service providers are mostly about efficiency and reliability while risks of cloud computing are mostly about security problems. Problems with security of the cloud still demand significant attention in order to tackle the potential problems. Security problems in the cloud as security problems in any area of computing, can not be fully tackled. However creating novel and new solutions can be used by service providers to mitigate the potential threats to a large extent. Looking at the security problem from a very high perspective, there are two focus directions. Security problems that threaten service user’s security and privacy are at one side. On the other hand, security problems that threaten service provider’s security and privacy are on the other side. Both kinds of threats should mostly be detected and mitigated by service providers. Looking a bit closer to the problem, mitigating security problems that target providers can protect both service provider and the user. However, the focus of research community mostly is to provide solutions to protect cloud users. A significant research effort has been put in protecting cloud tenants against external attacks. However, attacks that are originated from elastic, on-demand and legitimate cloud resources should still be considered seriously. The cloud-based botnet or botcloud is one of the prevalent cases of cloud resource misuses. Unfortunately, some of the cloud’s essential characteristics enable criminals to form reliable and low cost botclouds in a short time. In this paper, we present a system that helps to detect distributed infected Virtual Machines (VMs) acting as elements of botclouds. Based on a set of botnet related system level symptoms, our system groups VMs. Grouping VMs helps to separate infected VMs from others and narrows down the target group under inspection. Our system takes advantages of Virtual Machine Introspection (VMI) and data mining techniques.

Characterization and Investigation on Material Compatibilities of Building Integrated Photovoltaic Module Components

Building Integrated Photovoltaics (BIPV) are considered as the future of photovoltaic (PV) technology. The advantage of BIPV system is its multi-functionality; they fulfil the functions of a building envelope with the added benefit of generating power by replacing the traditional roofing and façade materials with PV that generate power. In this thesis, different types of PV cells and modules have been described in detail with their efficiencies and usage trends in the last decade. The different BIPV products for roof and façade are discussed in detail giving several examples. The electricity generation potential of BIPV in selected countries is compared with their actual electricity consumption. Further, the avoided greenhouse gas (GHG) emissions associated with electricity generation from traditional sources and transportation and distribution (T&D) losses are calculated. The results illustrate huge savings in GHGs. In BIPV different types of façade and backsheets are used. In this thesis, selected backsheets and façade were characterized in terms of their surface structure identification using infrared spectroscopy (FTIR-ATR), scanning electron microscopy with energy dispersive X-ray (SEM-EDX) and physical characterization using surface energy measurements. By using FTIR-ATR, surface polymeric materials were identified and with SEM-EDX, identification of the surface elements was possible. Surface energy measurements were useful in finding the adhesives and knowing the surface energies of the various backsheets and façade. The strength of adhesion between the facade and backsheets was studied using peel test. Four different types of adhesives were used to study the fracture pattern and peel tests values to identify the most suitable adhesive. It was found out that pretreatment increased the adhesive strength significantly.

Building-up influence: post-war industrialization in the State of Minas Gerais, Brazil

This paper examines the post-War industrialization process in the Brazilian State of Minas Gerais, focusing on one of its desirable outcomes, namely the capacity to generate growth through the impact of strong input-output linkages. This process is placed into historical perspective considering the ideas that permeate the economic development debate throughout the period of analysis. Changes in the regional economic structure are assessed through the use of three input-output tables for the years of 1953, 1980 and 1995. By adopting the fields of influence methodology as the analytical core, it is shown that the efforts towards the creation of a more integrated regional economy have generated stronger influence of the targeted sectors (metal products, transportation equipment, chemical, and services). However, structural changes also contributed to strengthen leakage in the system originated in traditional economic activities.

Towards sustainable peace : peace-building and human security

Failed and fragile states that result from intrastate war pose severe threats to the security of both the international system and individual states alike. In the post-Cold War era, the international community has come to recognize the reality of these threats and the difficulty involved in ending violence and building sustainable peace in failed and fragile states. This work focuses upon the development of a comprehensive strategy for sustainable peace-building by incorporating the tenets of the human security doctrine into the peace-building process. Through the use of case studies of The Former Yugoslav Republic of Macedonia and East Timor, the development and refinement of the doctrine of human security will occur, as well as, an understanding of how and where human security fits into the sustainable peace-building equation. The end result of the analysis is the development of a hierarchical pyramid formation that brings together human security and peace-building into one framework that ultimately creates the foundation and structure of sustainable peace-building. With the development of a sustainable peace-building structure based upon the human security doctrine, the role of Canada in the support of sustainable peace-building is analyzed in relation to the form and level of involvement that Canada undertakes and contributes to in the implementation and support of sustainable peace-building initiatives. Following from this, recommendations are provided regarding what role(s) Canada should undertake in the sustainable peace-building process that take into consideration the present and likely future capabilities of Canada to be involved in various aspects of the peace-building process. ii This paper outlines the need for a peace-building strategy that is designed to be sustainable in order that failed and fragile states resulting from intrastate conflict do not regress or collapse back into a condition of civil war, and subsequently designs such a strategy. The linking of peace-building and human security creates the required framework from which sustainable peace-building is derived. Creating sustainable peace is necessary in order to increase the likelihood that both present and future generations existing in failed and fragile states will be spared from the scourge of intrastate war.

Automatic evolution of conceptual building architectures

This thesis describes research in which genetic programming is used to automatically evolve shape grammars that construct three dimensional models of possible external building architectures. A completely automated fitness function is used, which evaluates the three dimensional building models according to different geometric properties such as surface normals, height, building footprint, and more. In order to evaluate the buildings on the different criteria, a multi-objective fitness function is used. The results obtained from the automated system were successful in satisfying the multiple objective criteria as well as creating interesting and unique designs that a human-aided system might not discover. In this study of evolutionary design, the architectures created are not meant to be fully functional and structurally sound blueprints for constructing a building, but are meant to be inspirational ideas for possible architectural designs. The evolved models are applicable for today's architectural industries as well as in the video game and movie industries. Many new avenues for future work have also been discovered and highlighted.

Passive Solar Building Design Using Genetic Programming

Passive solar building design is the process of designing a building while considering sunlight exposure for receiving heat in winter and rejecting heat in summer. The main goal of a passive solar building design is to remove or reduce the need of mechanical and electrical systems for cooling and heating, and therefore saving energy costs and reducing environmental impact. This research will use evolutionary computation to design passive solar buildings. Evolutionary design is used in many research projects to build 3D models for structures automatically. In this research, we use a mixture of split grammar and string-rewriting for generating new 3D structures. To evaluate energy costs, the EnergyPlus system is used. This is a comprehensive building energy simulation system, which will be used alongside the genetic programming system. In addition, genetic programming will also consider other design and geometry characteristics of the building as search objectives, for example, window placement, building shape, size, and complexity. In passive solar designs, reducing energy that is needed for cooling and heating are two objectives of interest. Experiments show that smaller buildings with no windows and skylights are the most energy efficient models. Window heat gain is another objective used to encourage models to have windows. In addition, window and volume based objectives are tried. To examine the impact of environment on designs, experiments are run on five different geographic locations. Also, both single floor models and multi-floor models are examined in this research. According to the experiments, solutions from the experiments were consistent with respect to materials, sizes, and appearance, and satisfied problem constraints in all instances.