On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Numerical evaluation of the modulus of longitudinal elasticity in structural round timber elements of the Eucalyptus genus

Currently, the standards that deal with the determination of the properties of rigidity and strength for structural round timber elements do not take in consideration in their calculations and mathematical models the influence of the existing irregularities in the geometry of these elements. This study has as objective to determine the effective value of the modulus of longitudinal elasticity for structural round timber pieces of the Eucalyptus citriodora genus by a technique of optimization allied to the Inverse Analysis Method, to the Finite Element Method and the Least Square Method.

The position effect of structural Eucalyptus round timber on the flexural modulus of elasticity

Round timber has great use in civil construction, performing the function of beams, columns, foundations, poles for power distribution among others, with the advantage of not being processed, such as lumber. The structural design of round timber requires determining the elastic properties, mainly the modulus of elasticity. The Brazilian standards responsible for the stiffness and strength determination of round timber are in effect for over twenty years with no technical review. Round timber, for generally present an axis with non-zero curvature according to the position of the element in the bending test, may exhibit different values of modulus of elasticity. This study aims to analyze the position effect of Eucalyptus grandis round timber on the flexural modulus of elasticity. The three-point bending test was evaluated in two different positions based on the longitudinal rotation of the round timber element. The results revealed that at least two different positions of the round timber element are desired to obtain significant modulus of elasticity.

Alternative methodology for calculating the modulus of elasticity of wooden beams of structural dimensions

This study aims to present an alternative calculation methodology based on the Least Squares Method for determining the modulus of elasticity in bending wooden beams of structural dimensions. The equations developed require knowledge of three or five points measured in displacements along the piece, allowing greater reliability on the response variable, using the statistical bending test at three points and non-destructively, resulting from imposition of measures from small displacements L/300 and L/200, the largest being stipulated by the Brazilian norm NBR 7190:1997. The woods tested were Angico, Cumaru, Garapa and Jatoba. Besides obtaining the modulus of elasticity through the alternative methodology proposed, these were also obtained employing the Brazilian norm NBR 7190:1997, adapted to the condition of non-destructive testing (small displacements) and for pieces of structural dimensions. The results of the modulus of elasticity of the four species of wood according to both calculation approaches used proved to be equivalent, implying the good approximation provided by the methodology of calculation adapted from the Brazilian norm.

Structural modelling of liquid ZrO2 and glassy B2O3 by using AB INITIO Molecular Dynamics method

Atomic structure of ZrO2 and B2O3 was investigated in this work. New data under extreme conditions (T = 3100 K) was obtained for the liquid ZrO2 structure. A fractional number of boron was investigated for glassy structure of B2O3. It was shown that it is possible to obtain an agreement for the fractional number between NMR and DFT techniques using a suitable initial configuration.

Simulation of structural stress history based on dynamic analysis

Modern machine structures are often fabricated by welding. From a fatigue point of view, the structural details and especially, the welded details are the most prone to fatigue damage and failure. Design against fatigue requires information on the fatigue resistance of a structure’s critical details and the stress loads that act on each detail. Even though, dynamic simulation of flexible bodies is already current method for analyzing structures, obtaining the stress history of a structural detail during dynamic simulation is a challenging task; especially when the detail has a complex geometry. In particular, analyzing the stress history of every structural detail within a single finite element model can be overwhelming since the amount of nodal degrees of freedom needed in the model may require an impractical amount of computational effort. The purpose of computer simulation is to reduce amount of prototypes and speed up the product development process. Also, to take operator influence into account, real time models, i.e. simplified and computationally efficient models are required. This in turn, requires stress computation to be efficient if it will be performed during dynamic simulation. The research looks back at the theoretical background of multibody dynamic simulation and finite element method to find suitable parts to form a new approach for efficient stress calculation. This study proposes that, the problem of stress calculation during dynamic simulation can be greatly simplified by using a combination of floating frame of reference formulation with modal superposition and a sub-modeling approach. In practice, the proposed approach can be used to efficiently generate the relevant fatigue assessment stress history for a structural detail during or after dynamic simulation. In this work numerical examples are presented to demonstrate the proposed approach in practice. The results show that approach is applicable and can be used as proposed.

Structural and operational optimisation : applications in energy systems

In this work mathematical programming models for structural and operational optimisation of energy systems are developed and applied to a selection of energy technology problems. The studied cases are taken from industrial processes and from large regional energy distribution systems. The models are based on Mixed Integer Linear Programming (MILP), Mixed Integer Non-Linear Programming (MINLP) and on a hybrid approach of a combination of Non-Linear Programming (NLP) and Genetic Algorithms (GA). The optimisation of the structure and operation of energy systems in urban regions is treated in the work. Firstly, distributed energy systems (DES) with different energy conversion units and annual variations of consumer heating and electricity demands are considered. Secondly, district cooling systems (DCS) with cooling demands for a large number of consumers are studied, with respect to a long term planning perspective regarding to given predictions of the consumer cooling demand development in a region. The work comprises also the development of applications for heat recovery systems (HRS), where paper machine dryer section HRS is taken as an illustrative example. The heat sources in these systems are moist air streams. Models are developed for different types of equipment price functions. The approach is based on partitioning of the overall temperature range of the system into a number of temperature intervals in order to take into account the strong nonlinearities due to condensation in the heat recovery exchangers. The influence of parameter variations on the solutions of heat recovery systems is analysed firstly by varying cost factors and secondly by varying process parameters. Point-optimal solutions by a fixed parameter approach are compared to robust solutions with given parameter variation ranges. In the work enhanced utilisation of excess heat in heat recovery systems with impingement drying, electricity generation with low grade excess heat and the use of absorption heat transformers to elevate a stream temperature above the excess heat temperature are also studied.

Development and evaluation of a recombinant DNA vaccine candidate expressing porcine circovirus 2 structural protein

Porcine circovirus 2 (PCV2) is generally associated with the porcine circovirosis syndrome, which is considered an important disease of swine and has potentially serious economic impact on the swine industry worldwide. This article describes the construction of a recombinant plasmid expressing the PCV2 structural protein and the evaluation of cellular and humoral immune responses produced by this recombinant vaccine in BALB/c mice. The vaccine candidate was obtained and analyzed in vivo, in an effort to determine the ability to induce a specific immune response in mice. DNA was extracted from a Brazilian PCV2 isolate and the gene coding for Cap protein was amplified by PCR and inserted into an expression plasmid. Groups of BALB/c mice were inoculated intra-muscularly and intradermally in a 15-day interval, with 100 µg and 50 µg of the vaccine construct, respectively. Another group was inoculated intramuscularly with 100 µg of empty plasmid, corresponding to the control group. Seroconversion and cellular response in BALB/c mice were compared and used for vaccine evaluation. Seroconversion was analyzed by ELISA. After a series of 3 immunizations the spleen cells of the immunized animals were used to perform lymphocyte proliferation assays. Seroconversion to PCV2 was detected by ELISA in the animals inoculated with the vaccine construct when compared with control groups. Lymphocyte proliferation assays showed a stronger cell proliferation in the inoculated animals compared with the control group. Thus, the vaccine candidate construct demonstrated to be able to induce both humoral and cellular responses in inoculated mice.

Feasibility studies of the weldability of structural steels used in the offshore environment

The rising demand for oil and gas has made it very necessary for the oil and gas industries to explore the offshore. There is a huge resources which is available in the offshore. The search for oil and gas is faced with greater challenges because of the nature of the marine environment as it poses difficult and harsh conditions for the construction of offshore structures. The major problem of the construction of offshore structure is the ability to produce a sound weld that gives the whole structure the structural integrity needed to withstand the harsh environmental conditions. This research work presents the performance of typical offshore steels with improved weldability. The ability of reducing the carbon content of thermo-mechanically rolled steels down to 0.08% makes it possible to achieve good weldability, toughness and strength for high strength steels used in offshore applications. Importantly, the ideal welding procedure should be strictly followed as recommended. The fabrication process is as important as the welding procedure in achieving a sound weld which is free of weld defects such as hydrogen induced cracking, lamellar tearing and solidification cracking. This research work also considers the corrosion as it affects offshore structure and necessary measures to mitigate the problem caused by corrosion.

Ecosystem architecture design: endogenous and exogenous structural properties

The aim of this dissertation is to bridge and synthesize the different streams of literature addressing ecosystem architecture through a multiple‐lens perspective. In addition, the structural properties of and processes to design and manage the architecture will be examined. With this approach, the oft‐neglected actor‐structure duality is addressed and both the position and structure, and action and process are under scrutiny. Further, the developed framework and empirical evidence offer valuable insights on how firms collectively create value and individually appropriate value. The dissertation is divided into two parts. The first part comprises a literature review, as well as the conclusions of the whole study, and the second part includes six research publications. The dissertation is based on three different reasoning logics: abduction, induction and deduction; related qualitative and quantitative methodologies are utilized in the empirical examination of the phenomenon in the information and communication technology industry. The results suggest firstly that there are endogenous and exogenous structural properties of the ecosystem architecture. Out of these, the former ones can be more easily influenced by a particular actor whereas the latter ones are taken more or less for granted. Secondly, the exogenous ecosystem design properties influence the value creation potential of the ecosystem whereas the endogenous ecosystem design properties influence the value appropriation potential of a particular actor in the ecosystem. Thirdly, the study suggests that there is a relationship between endogenous and exogenous structural properties in that the endogenous properties can be leveraged to create and reconfigure the exogenous properties whereas the exogenous properties prose opportunities and restrictions on the use of endogenous properties. In addition, the study suggests that there are different emergent and engineered processes to design and manage ecosystem architecture and to influence both the endogenous and exogenous structural properties of ecosystem architecture. This study makes three main contributions. First, on the conceptual level, it brings coherence and direction to the fast growing body of literature on novel inter‐organizational arrangements, such as ecosystems. It does this by bridging and synthetizing three different streams of literature, namely the boundary, design and orchestration conception. Secondly, it sets out a framework that enhances our understanding of the structural properties of ecosystem architecture; of the processes to design and manage ecosystem architecture; and of their influence on the value creation potential of the ecosystem and the value capture potential of a particular firm. Thirdly, it offers empirical evidence of the structural properties and processes.

A frequency-domain pseudo-force method for dynamic structural analysis nonlinear systems and nonproportional damping

A frequency-domain method for nonlinear analysis of structural systems with viscous, hysteretic, nonproportional and frequency-dependent damping is presented. The nonlinear effects and nonproportional damping are considered through pseudo-force terms. The modal coordinates uncoupled equations are iteratively solved. The treatment of initial conditions in the frequency domain which is necessary for the treatment of the uncoupled equations is initially adressed.

Object-oriented Programming Applied to the Development of Structural Analysis and Optimization Software

This paper presents the development of a two-dimensional interactive software environment for structural analysis and optimization based on object-oriented programming using the C++ language. The main feature of the software is the effective integration of several computational tools into graphical user interfaces implemented in the Windows-98 and Windows-NT operating systems. The interfaces simplify data specification in the simulation and optimization of two-dimensional linear elastic problems. NURBS have been used in the software modules to represent geometric and graphical data. Extensions to the analysis of three-dimensional problems have been implemented and are also discussed in this paper.

Neurocognitive changes in early-stage Parkinson's disease : functional and structural brain correlates of memory and verbal functions

Resultaten påvisade små, men mätbara försämringar i minnes- och verbal förmåga hos personer som haft Parkinsons sjukdom under tre år. Jämfört med en kontrollgrupp uppvisade Parkinsonpatienter avvikande responser i hjärnans elektriska aktivitet under en korttidsminnesuppgift, och de presterade även sämre i olika typer av andra minnesuppgifter. Försämring i en specifik typ av minnesuppgift korrelerade med förminskad volym i höger hjärnhalva. Samband hittades också mellan sämre verbal förmåga och förminskad volym i djupa hjärnstrukturer. Förminskad hjärnvolym har tidigare påvisats hos dementa patienter i senare sjukdomsstadier. Forskningsresultaten bidrar med ny kunskap om kognitiva symptom och deras neurala bakgrund vid Parkinsons sjukdom. De tyder också på att tidig kognitiv funktionsnedsättning kan identifieras, vilket kan bidra till utvecklingen av sjukdomens behandling. Parkinsons sjukdom är den näst vanligaste neurogeriatriska sjukdomen efter Alzheimers sjukdom. Symptomen uppstår som följd av förminskad produktion av hjärnans transmittorämne dopamin. Parkinsons sjukdom har traditionellt betraktats som en progressiv motorisk sjukdom. Ny forskning tyder på att multipla hjärnsystem skadas, vilket resulterar i att även tankeprocesser påverkas. 75-80% uppskattas insjukna i demens 10-15 år efter diagnos, men det kognitiva sjukdomsförloppet och orsaken till demenssymptomen är tillsvidare okänd. I Finland uppskattas ca 10-12 000 personer ha Parkinsons sjukdom, varav ca 3 000 uppskattas ha demens. ----------------------------------------------------------------------------------------------------------------------------------------------------- Tutkimuksessa todettiin lieviä muutoksia muisti- ja kielellisissä toiminnoissa alle kolme vuotta sairastaneilla Parkinson-potilailla. Potilailla havaittiin poikkeavia aivosähkötoiminnan vasteita lyhytkestoista muistia mittaavan tehtävän aikana. Potilaat suoriutuivat myös verrokkiryhmää heikommin useissa muistitehtävissä. Heikentynyt tahaton muisti liittyi pienempään aivokuoren harmaan aineen paikalliseen tilavuuteen. Heikompi kielellinen suoriutuminen liittyi pienempään harmaan aineen tilavuuteen aivojen syvissä rakenteissa. Pienentyneitä aivorakenteiden tilavuuksia on aiemmin todettu dementoituneilla Parkinson-potilailla sairauden myöhemmissä vaiheissa. Tutkimustulokset tuovat uutta tietoa Parkinsonin taudin kognitiivisista oireista ja niiden aivoperäisestä taustasta. Tulosten perusteella on mahdollista tunnistaa jo varhaisia kognitiivisia muutoksia, mikä voi mahdollistaa tehokkaamman hoidon kohdentamisen. Parkinsonin tauti on Alzheimerin taudin jälkeen toiseksi yleisin neurogeriatrinen sairaus. Oirekuva liittyy aivojen dopaminergisen järjestelmän rappeutumiseen. Perinteisesti liikehäiriösairaudeksi luokiteltu sairaus vaurioittaa lukuisia muita aivojärjestelmiä aiheuttaen muutoksia myös mm. ajattelutoiminnoissa. Pitkään sairastaneista 75–80 prosentilla esiintyy dementiaoireita, mutta oireiden syy ja kehityskaari tunnetaan toistaiseksi huonosti. Suomessa on arviolta 10–12 000 Parkinson-potilasta, joista noin 3 000 arvioidaan kärsivän dementiaoireista.