Distributed document migration between ERP systems by means of messaging and event sourcing

This bachelor’s thesis, written for Lappeenranta University of Technology and implemented in a medium-sized enterprise (SME), examines a distributed document migration system. The system was created to migrate a large number of electronic documents, along with their metadata, from one document management system to another, so as to enable a rapid switchover of an enterprise resource planning systems inside the company. The paper examines, through theoretical analysis, messaging as a possible enabler of distributing applications and how it naturally fits an event based model, whereby system transitions and states are expressed through recorded behaviours. This is put into practice by analysing the implemented migration systems and how the core components, MassTransit, RabbitMQ and MongoDB, were orchestrated together to realize such a system. As a result, the paper presents an architecture for a scalable and distributed system that could migrate hundreds of thousands of documents over weekend, serving its goals in enabling a rapid system switchover.

Interactions between soybean and weeds in a replacement series system, considering the effects of water stress

Due to the increase of water deficiency in many farm regions and its meaning on weed interference, competitive interactions between soybean and three weeds were evaluated under water stress (20 to 40 days after transplanting) and no stress conditions. Three independent experiments were carried out in a growth chamber, being each one composed by the weeds Alternanthera tenella, Tridax procumbens or Digitaria ciliaris, along with the crop, in which soil water condition and plant composition effects were evaluated while in competition. A replacement series system was used, including both monoculture of each species and a mixture with a ratio of 50% between weed and soybean. A completely randomized design was used in factorial arrangement, with treatments distributed in three levels for plant composition factor (soybean and weeds monocultures, in addition to the soybean + weed mixture) and two levels for the water factor (with or without stress), amounting six treatments in each experiment. Soybean dry mass was higher than weed dry mass, when growing without water stress. However, under water stress conditions, the dry mass of soy was reduced in all experiments, mainly in the D. ciliaris comparative experiment. Water restriction was also significant in the plants' photosynthesis reduction in most of the experiments, reducing leaf area duration and efficiency of water use. Analysing all variables shows greater weed tolerance than soybean when submitted to water deficit and with distinct changes of their interactions and mechanism of competition, in each experiment.

A distributed, cloud-ready, digital content processing and transformation platform and a specific use case

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

The Russian National Innovation System - an International Perspective

Russia inherited a large research and development (R&D) sector from the Soviet times, and has retained a substantial R&D sector today, compared with other emerging economies. However, Russia is falling behind in all indicators measuring innovative output in comparison with most developed countries. Russia’s innovation performance is disappointing, despite the available stock of human capital and overall investment in R&D. The communist legacy still influences the main actors of the innovation system. The federal state is still the most important funding source for R&D. Private companies are not investing in innovative activities, preferring to “import” innovations embedded in foreign technologies. Universities are outsiders in the innovation system, only a few universities carry out research activities. Nowadays, Russia is a resource-depended country. The economy depends on energy and metals for growth. The Russian economy faces the challenge of diversification and should embrace innovation, and shift to a knowledge economy to remain competitive in the long run. Therefore, Russia has to tackle the challenge of developing an efficient innovation system with its huge potential in science expertise and engineering know-how.

Distribution of calcium-binding proteins in the chick visual system

The calcium-binding proteins calbindin (CB), calretinin (CR), and parvalbumin (PV) have been extensively studied over the last decade since they appear to be important as buffers of intracellular calcium. In the present study we investigated the distribution of these proteins in the chick visual system by means of conventional immunocytochemistry. The results indicated that CB, CR, and PV are widely distributed in retinorecipient areas of the chick brain. In some regions, all three calcium-binding proteins were present at different intensities and often in different neurons such as in the dorsolateral thalamic complex. In other areas, such as the nucleus geniculatus lateralis ventralis, only CB and CR were detected, whereas PV was absent. These results show that these three calcium-binding proteins are differentially distributed in the visual system of the chick, with varying degrees of co-localization

On Distributed Storage Codes

Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are many kinds of solutions for storing the information into distributed devices regarding the needs of the system designer. This thesis studies the questions of designing such storage systems and also fundamental limits of such systems. Namely, the subjects of interest of this thesis include heterogeneous distributed storage systems, distributed storage systems with the exact repair property, and locally repairable codes. For distributed storage systems with either functional or exact repair, capacity results are proved. In the case of locally repairable codes, the minimum distance is studied. Constructions for exact-repairing codes between minimum bandwidth regeneration (MBR) and minimum storage regeneration (MSR) points are given. These codes exceed the time-sharing line of the extremal points in many cases. Other properties of exact-regenerating codes are also studied. For the heterogeneous setup, the main result is that the capacity of such systems is always smaller than or equal to the capacity of a homogeneous system with symmetric repair with average node size and average repair bandwidth. A randomized construction for a locally repairable code with good minimum distance is given. It is shown that a random linear code of certain natural type has a good minimum distance with high probability. Other properties of locally repairable codes are also studied.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Load balancing in P2P smartphone based distributed IoT systems

With the new age of Internet of Things (IoT), object of everyday such as mobile smart devices start to be equipped with cheap sensors and low energy wireless communication capability. Nowadays mobile smart devices (phones, tablets) have become an ubiquitous device with everyone having access to at least one device. There is an opportunity to build innovative applications and services by exploiting these devices’ untapped rechargeable energy, sensing and processing capabilities. In this thesis, we propose, develop, implement and evaluate LoadIoT a peer-to-peer load balancing scheme that can distribute tasks among plethora of mobile smart devices in the IoT world. We develop and demonstrate an android-based proof of concept load-balancing application. We also present a model of the system which is used to validate the efficiency of the load balancing approach under varying application scenarios. Load balancing concepts can be apply to IoT scenario linked to smart devices. It is able to reduce the traffic send to the Cloud and the energy consumption of the devices. The data acquired from the experimental outcomes enable us to determine the feasibility and cost-effectiveness of a load balanced P2P smart phone-based applications.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Effect of genotype, finishing system, and sex on physiochemical characteristics of goat meat

Seventy-eight kids of both sexes and five genotypes were used: Alpine, ½ Boer + ½ Alpine (½ BA), ¾ Boer + ¼ Alpine, ½ Anglo-nubian + ½ Alpine and "tricross" (½ Anglo-nubian + ¼ Boer + ¼ Alpine) with initial average weight of 14.1 ± 2.5. The objective was to evaluate the effect of genotype, finishing system, and sex on the physiochemical characteristics of goat meat. Finishing systems were: ST1 - kid + dam in pasture and ST2 - weaned kid and feedlot. Kids in ST1 were kept in an area with Panicum maximum cv. Tanzania, and after grazing, water and mineral salt/mix were fed ad libitum to the animals. The animals in ST2 were confined in collective pens distributed according to genotypes and received diet with 16% CP and 73% TDN. The values of pH, a* (red content), Cooking Loss (CL), and Ether Extract (EE) percentage were influenced by genotype. Values for red content (a*) and L* (brightness), CL and percentages of moisture, protein, EE, and ash were influenced by the finishing system. Longissimus dorsi muscle from animals ½ BA exhibited better physiochemical characteristics. For greater tenderness and higher percentages of fat, consumers should choose female kid goat meat.

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.

Energy Management System for LVDC Island Networks

Recent developments in power electronics technology have made it possible to develop competitive and reliable low-voltage DC (LVDC) distribution networks. Further, islanded microgrids—isolated small-scale localized distribution networks— have been proposed to reliably supply power using distributed generations. However, islanded operations face many issues such as power quality, voltage regulation, network stability, and protection. In this thesis, an energy management system (EMS) that ensures efficient energy and power balancing and voltage regulation has been proposed for an LVDC island network utilizing solar panels for electricity production and lead-acid batteries for energy storage. The EMS uses the master/slave method with robust communication infrastructure to control the production, storage, and loads. The logical basis for the EMS operations has been established by proposing functionalities of the network components as well as by defining appropriate operation modes that encompass all situations. During loss-of-powersupply periods, load prioritizations and disconnections are employed to maintain the power supply to at least some loads. The proposed EMS ensures optimal energy balance in the network. A sizing method based on discrete-event simulations has also been proposed to obtain reliable capacities of the photovoltaic array and battery. In addition, an algorithm to determine the number of hours of electric power supply that can be guaranteed to the customers at any given location has been developed. The successful performances of all the proposed algorithms have been demonstrated by simulations.

A software engineering approach to distributed systems for composite modeling

The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.

Implementation of hospital-wide computer information system :a case study of this change process

This case study examines the impact of a computer information system as it was being implemented in one Ontario hospital. The attitudes of a cross section of the hospital staff acted as a barometer to measure their perceptions of the implementation process. With The Mississauga Hospital in the early stages of an extensive computer implementation project, the opportunity existed to identify staff attitudes about the computer system, overall knowledge and compare the findings with the literature. The goal of the study was to develop a greater base about the affective domain in the relationship between people and the computer system. Eight exploratory questions shaped the focus of the investigation. Data were collected from three sources: a survey questionnaire, focused interviews, and internal hospital documents. Both quantitative and qualitative data were analyzed. Instrumentation in the study consisted of a survey distributed at two points in time to randomly selected hospital employees who represented all staff levels.Other sources of data included hospital documents, and twenty-five focused interviews with staff who replied to both surveys. Leavitt's socio-technical system, with its four subsystems: task, structure, technology, and people was used to classify staff responses to the research questions. The study findings revealed that the majority of respondents felt positive about using the computer as part of their jobs. No apparent correlations were found between sex, age, or staff group and feelings about using the computer. Differences in attitudes, and attitude changes were found in potential relationship to the element of time. Another difference was found in staff group and perception of being involved in the decision making process. These findings and other evidence about the role of change agents in this change process help to emphasize that planning change is one thing, managing the transition is another.

The pancreatic islet system of the rock bass /|nby Edward Francis Squires. -- 260 St. Catharines, Ont. : [s. n.],

The endocrine pancreas of the rock bass (Ambloplites rupestris) was examined by light and electron microscopy. Two cell types with staining properties similar to mammalian A and B cells, and a third, non-staining cell type were found in the spherical pancreatic islets that were surrounded by a connective tissue capsule and embedded in two small masses of exocrine tissue. From an analysis of the ultrastructure of the A and B cells, a secretory cycle for each of these cell types was proposed. The secretory cycle of the A cell consisted of three well defined stages: (1) A cell production stage: during which A granule formation occurred in the sacs of the Golgi apparatus and the cell was characterized by the presence of numerous secretory granules, some elements of lamellar endoplasmic reticulum, and a homogeneously granular nucleus. The cytoplasm contained few distended cisternae, variable numbers of free ribosomes, microtubules and small vesicles. (2) A cell release stage: during which the release of A granules occurred and the cell usually contained several large distended cisternae and variable numbers of secretory granules. Granule release mechanisms included exocytosis, by which individual granules were released into the extracellular space after their membranes fused with the plasmalemma, and emiocytosis, by which one or more granules were released into a large cisterna whose membrane fused with the plasmalemma and formed a pore through which the cisternal contents passed out of the cell. (3) A cell reorganization stage: during which the changeover from the release stage to the production stage occurred and the reorganization of organelles and membrane structures took place. The cell contained few secretory granules and numerous small endoplasmic reticular cisternae. The cytoplasm exhibited less electron density than either of the other two stages. The A granule after formation underwent a series of morphological changes which were described in four numerically identified phases. The secretory cycle of the B cell consisred of two stages: (1) B cell production stage: during which the B granule formation occurred in the sacs of the Go1gi apparatus. The cell was characterized by an irregular outline, the presence of numerous secretory granules, and an irregularly shaped nucleus which contained variable amounts of clumped chromatin. The cytoplasm contained moderate amounts of lamellar endoplasmic reticulum studded with ribosomes, several small vesicles, and an active Go1gi apparatus. (2) B cell release stage: during which the release of B granules occurred. The cell contained a rounded nucleus with dispersed chromatin, several distended endoplasmic reticular cisternae and a variable number of secretory granules. Granule release occu~ by emiocytosis and exocytosis similar to that found for the A cell.