Cost evaluation process for competitors' products

A company’s capability to map out its cost position compared to other market players is important for competitive decision making. One aspect of cost position is direct product cost that illustrates the cost efficiency of a company’s product designs. If a company can evaluate and compare its own and other market players’ direct product costs, it can implement better decisions in product development and management, manufacturing, sourcing, etc. The main objective of this thesis was to develop a cost evaluation process for competitors’ products. This objective includes a process description and an analysis tool for cost evaluations. Additionally, process implementation is discussed as well. The main result of this thesis was a process description consisting of a sixteen steps process and an Excel based analysis tool. Since literature was quite limited in this field, the solution proposal was combined from many different theoretical concepts. It includes influences from reverse engineering, product cost assessment, benchmarking and cost based decision making. This solution proposal will lead to more systematic and standardized cost position analyses and result in better cost transparency in decision making.

Supersaturation-controlled crystallization

Identification of product requirements and quality, together with the management of production are key issues in chemical engineering. Quality control of crystalline products is part of the quality of many industrially manufactured products like paper, paintings, medicines and fertilizers. In most crystallization cases, quality is described with the size, polymorph, shape and purity of the crystal. The chemical composition, hydrodynamics and driving force, together with the operating temperature are in a key position when the properties of a crystalline product are controlled with the crystallization process. This study concentrates on managing the identified properties of a crystalline product with the control of a driving force. The controlling of the driving force can be based on the change of solubility or the change of concentration. Solubility can be changed with temperature, pressure and an antisolvent. The concentration of crystallizing compound, the solute can be changed with the evaporation of the solvent and with the addition of a reagent. The present study focuses on reagent addition and temperature change as methods of changing the level of the driving force. Three control structures for direct control of supersaturation are built, one for cooling crystallization and two for reactive crystallization. Closed loop feedback control structures are based on the measurement of the solute concentration with attenuated total reflection - Fourier transform infrared spectrometer. The details of the reagent feed are analyzed with experimental studies and with results of computational fluid dynamic simulations of the inert particle pulse in the premixer and inert particle injection to the mixing tank. Nucleation in conditions of controlled reactive crystallization is analyzed with Nielsen’s equation of homogeneous nucleation. The resulting control systems, based on regulation of supersaturation, can be used to produce the desired polymorph of an organic product. The polymorph composition of product crystals is controlled repeatably with the decision of a set value of supersaturation level.

Customized agile development process for embedded software development

Agile software development has grown in popularity starting from the agile manifesto declared in 2001. However there is a strong belief that the agile methods are not suitable for embedded, critical or real-time software development, even though multiple studies and cases show differently. This thesis will present a custom agile process that can be used in embedded software development. The reasons for presumed unfitness of agile methods in embedded software development have mainly based on the feeling of these methods providing no real control, no strict discipline and less rigor engineering practices. One starting point is to provide a light process with disciplined approach to the embedded software development. Agile software development has gained popularity due to the fact that there are still big issues in software development as a whole. Projects fail due to schedule slips, budget surpassing or failing to meet the business needs. This does not change when talking about embedded software development. These issues are still valid, with multiple new ones rising from the quite complex and hard domain the embedded software developers work in. These issues are another starting point for this thesis. The thesis is based heavily on Feature Driven Development, a software development methodology that can be seen as a runner up to the most popular agile methodologies. The FDD as such is quite process oriented and is lacking few practices considered commonly as extremely important in agile development methodologies. In order for FDD to gain acceptance in the software development community it needs to be modified and enhanced. This thesis presents an improved custom agile process that can be used in embedded software development projects with size varying from 10 to 500 persons. This process is based on Feature Driven Development and by suitable parts to Extreme Programming, Scrum and Agile Modeling. Finally this thesis will present how the new process responds to the common issues in the embedded software development. The process of creating the new process is evaluated at the retrospective and guidelines for such process creation work are introduced. These emphasize the agility also in the process development through early and frequent deliveries and the team work needed to create suitable process.

Keille yliopiston portit avautuvat? Tutkimus suomalaisiin yliopistoihin ja eri tieteenaloille valikoitumisesta 2000-luvun alussa

Tutkimuksessa tarkastellaan suomalaisiin yliopistoihin valikoitumista 2000-luvun alussa. Tarkastelu pohjautuu yliopistoon hakeneiden, opiskelemaan hyväksyttyjen ja opiskelupaikkaa ilman jääneiden taustojen vertailuun. Tutkimuksen tarkoituksena on selvittää, miten koulutuksellinen tasa-arvo toteutuu opiskelemaan pääsyssä. Erityistä huomiota kiinnitetään sukupuolten, eri-ikäisten, sosiaalisten ryhmien sekä eri alueella asuvien opiskelijavalinnoissa pärjäämiseen. Lisäksi pohditaan, millaiset taustatekijät ovat yhteydessä opiskelemaan pääsyyn ja miten suomalainen yliopistokenttä on lohkoutunut yliopistoittain ja aloittain hakijoiden ja sisään päässeiden taustojen perusteella. Tutkimuksen pääaineistona on henkilöpohjainen rekisteriaineisto, joka on laadittu valtakunnallisen hakijarekisterin (HAREK) ja Tilastokeskuksen yhteistyönä. Aineisto käsittää 40 %:n satunnaisotoksen vuonna 2003 suomalaisiin yliopistoihin hakeneista (N = 55 790). Aineiston muuttujat kuvaavat hakijoiden taustoja, elämäntilannetta, aiempaa koulutusta ja lapsuudenperheen asemaa. Tutkimuksessa hyödynnetään lisäksi kokonaisjoukosta muodostettua taulukkoaineistoa (N = 139 668). Yliopistoihin hakevat eivät ole yhtenäinen ryhmä. Vaikka suurin osa hakijoista oli nuoria, oli joukossa myös varttuneempia hakijoita, jotka olivat ehtineet hankkia koulutusta ja muuta elämänkokemusta. Päävalinnat toimivat siten myös aikuishakijoiden hakuväylänä; erillisvalintoja eivät hyödynnä läheskään kaikki, joilla siihen olisi mahdollisuus. Klusterianalyysin avulla hakijoista voitiin erottaa neljä ryhmää: 1) nuoret ylioppilaat, 2) toisen tutkinnon suorittajat, 3) koulutuspääoman kartuttajat sekä 4) aikuiset lisäkouluttautujat. Opiskelemaan pääsyyn vaikuttavia tekijöitä analysoitiin logistisen regressioanalyysin avulla. Analyysin mukaan hakijan iällä oli muista taustatekijöistä riippumaton vaikutus opiskelemaan pääsyyn niin, että todennäköisyys päästä yliopistoon vähenee hakijan iän kohotessa. Parhaiten opiskelemaan pääsivät kaikkein nuorimmat, alle 20-vuotiaat hakijat, jotka siis useimmiten ovat saman kevään ylioppilaita. Vanhemmille hakijoille oli usein kertynyt jo koulutusta, mutta aiemmat tutkinnot paransivat sisäänpääsyn mahdollisuuksia vain, mikäli ne olivat korkea-asteelta. Alemmilla ammatillisilla tutkinnoilla oli pikemminkin opiskelemaan pääsyä heikentävä vaikutus. Myös se, mitä hakija oli tehnyt ennen valintakokeita, vaikutti sisäänpääsyn mahdollisuuksiin. Parhaiten valinnoissa pärjäsivät päätoimiset opiskelijat, heikoiten työttömät hakijat. Vaikka miesten hyväksymisprosentit olivat keskimäärin korkeammat kuin naisten, sukupuoli ei osoittautunut itsenäiseksi opiskelemaan pääsyä selittäväksi tekijäksi. Naisten huonompi pärjääminen valinnoissa selittyykin pitkälti sukupuolten eriytyneillä alavalinnoilla. Naisten suosimat alat kun ovat pääsääntöisesti vaikeapääsyisempiä kuin miesten. Tutkimuksessa selvisi myös, että kaupunkilaisuus lisäsi todennäköisyyttä tulla hyväksytyksi. Toisaalta opiskelemaan pääsy erosi myös asuinmaakunnittain, mikä kertoo lähinnä siitä, että eri yliopistojen sisäänpääsyasteissa on varsin suuria eroja. Yliopistojen lohkoutuminen hakijoiden sosiaalisen taustan mukaan oli paljon selvempää kuin alojen. Kaikki pääkaupunkiseudun yliopistot – lukuun ottamatta Teatterikorkeakoulua – luokittuivat isän asemalla mitaten elitistisiksi. Matalimmista taustoista haettiin Lapin, Joensuun ja Vaasan yliopistoihin. Alojen paikka elitistisyyskansanomaisuus -ulottuvuudella vaihteli suuresti yliopistoittain. Teknillistieteellinen, matemaattis-luonnontieteellinen ja kauppatieteellinen ala sijoittuivat kuitenkin keskimääräistä ylemmäs, kun taas kasvatustiede ja farmasia olivat kansanomaisimpia hakukohteita. Opiskelijaksi valikoitumisen peruselementit toistuivat myös tässä tutkimuksessa: koulutetuimpien ja hyvässä asemassa olevien vanhempien jälkeläiset saivat opiskelupaikan useammin kuin muut. Yliopistolaitoksessa vuosikymmenten saatossa toteutetut rakenteelliset muutokset eivät siis ole muuttaneet valikoitumisen peruslinjaa, joskin uutena huomiona nousi maanviljelijöiden jälkeläisten hyvä valinnoissa pärjääminen. Maanviljelijäperheestä tulevien opiskelemaan pääsyn todennäköisyys oli kaikkein suurin.

Tiedon hallinta varastonhallintajärjestelmän hankinnassa

Diplomityössä toteutettiin varastonhallintajärjestelmän hankinta prosessoimalla tietoa hallitusti varastonhallinnan kehittämiseksi. Kvalitatiivinen tapaustutkimus tehtiin tietojohtamisen näkökulmasta käyttäjälähtöisen C-CEI –menetelmän avulla haastattelemalla ja havainnoimalla tapausyritystä. Haastatteluja tehtiin 10 kertaa. Tutkimuksessa kartoitettiin ja kilpailutettiin kotimaiset järjestelmätoimittajat, joita löydettiin 15. Näistä toimittajista 6 vastasi vaatimuksia ja teki tarjouksen. Tutkimuksen lopuksi tehtiin järjestelmän hankintaehdotus. Tutkimuksen teoreettinen viitekehys koostui tietojohtamisesta, varastonhallinnasta ja ohjelmistotuotannosta. Tutkimuksessa pääkysymyksenä esitettiin miten tietojohtamisen avulla voidaan tukea varastonhallintajärjestelmän hankintaa. Tutkimuksessa havaittiin, että tietojärjestelmän hankinta varastonhallinnan osalta on moniulotteinen liiketoiminnan kehittämistehtävä. Tietojärjestelmähankinta tulisi siten nähdä liiketoimintaa eteenpäin vievänä mahdollisuutena. Lisäksi loppukäyttäjän vaatimusten kartoittamiseen tulisi sitoutua huolella ja suhtautua kriittisesti eri järjestelmävaihtoehtoihin. Vaatimusmäärittelyn asettaminen ja vaatimusten priorisoiminen ovat haasteellisia tehtäviä. Tiedon hallinnan aikana saatiin selville, että loppukäyttäjän vaatimusten mukainen tarjouspyyntö edesauttaa ensinnäkin tarjousten tekemistä mutta myös niiden prosessointia ja analysointia. Vain oikealla tiedolla ja sen yhteyksillä on merkitystä. Tutkimuksen perusteella tietojärjestelmän hankinta suositellaan tehtäväksi hallitsemalla tietoa systemaattisesti erityisesti sen alkuvaiheen aikana. Tietojohtaminen virtaviivaistaa hankkeen etenemistä ja aikataulutusta, vähentää loppukäyttäjän kustannuksia tehokkaalla kilpailutusmenettelyllä, edistää kilpailukykyä ja luo hyvän lähtökohdan koko tietojärjestelmän hankinnan läpiviemiselle ja yhteistyö-suhteen rakentumiselle kauppakumppaneiden välille.

Integrating environmental aspects into product development process

Various regulations and customer requirements have made it necessary for Vacon Oyj to pay more attention to the environmental aspects in its processes. The main purpose of this master’s thesis project is to define how environmental aspects could be integrated into Vacon’s product development process. The aim is to find out the most important environmental aspects for the company to address, to examine how these could be taken into account during the development process and to map the critical factors that need consideration in order to ensure the successful integration of environmental aspects into the design process. Based on the customer requirements and evolving regulations the most important aspects for Vacon include minimizing the amount of harmful substances, improving the recyclability and energy efficiency of the product and moreover providing meaningful information related to these aspects. To tackle these issues, a new DfE process was developed, tasks in each phase were described and responsibilities were indicated. To ensure the success of the DfE process, management commitment, support of other processes and significant improvements in ways the information is managed are required. The developers should be provided with training and support. Environmental expertise and knowledge in-house should be developed and establishing meaningful environmental indicators is suggested.

Pk-yrityksen polku systemaattiseen tuote- ja elinkaaritiedon hallintaan

Tutkimus on tehty Tekesin DTP-ohjelman Sinfonet-tutkimusprojektin puitteissa aikavälillä 2009-2011. Työssä on laadittu kokonaisvaltainen tuote- ja elinkaaritiedon hallinnan (eng. Product Lifecycle Management, PLM) tiekartta ja kehityssuunnitelma pienelle engineering-yritykselle. Työ käsittelee asiakkaan erikoisvaatimusten mukaan räätälöitävän tuotteen tuote- ja elinkaaritiedon hallinnan systematisointia pk-yrityksessä. Vaikka PLM-tiekartta on laadittu yksittäiselle yritykselle, sitä voidaan tietyin edellytyksin soveltaa myös toisten pk-yritysten tai engineeringyritysten PLM:n kehittämiseen. Teoriassa tarkastellaan ensinnäkin kohdeyritykseen liittyviä erityispiirteitä, pyritään ymmärtämään engineering–yrityksen ja pk-yrityksen erikoispiirteitä sekä niiden vaikutusta PLM:n kehittämiseen. Toiseksi esitellään PLM:n viittä keskeistä osaaluetta, yksi- ja viisiulotteisten PLM-kypsyysmallien käyttöä yrityksen nykytilan arvioimiseksi sekä rakennetaan engineering-yrityksen kokonaisvaltainen PLM-malli ja kahdeksan askeleen PLM-kehityspolku. PLM-malli jäsentää tiedonhallintaa prosessien kautta ja se koostuu viidestä osaalueesta: strategia identifioi asiakastarpeet sekä määrittelee kuinka tuotteiden ja prosessien avulla asiakastarpeet tyydytetään; prosessit ovat yrityksen toiminnan ydin, joissa tuotemallit ja tuote- ja tietorakenteet kehitetään sekä tuoteyksilöt toimitetaan asiakkaalle; rakenteet pohjautuvat strategiassa valittuun tuote- ja tiedonhallinnan strategiaan ja niiden tehtävänä on tukea ja tehostaa toimintaprosesseja; kulttuuri ja ihmiset muodostavat aineettoman pääoman, jonka vaikutuksesta prosessit toimivat ja tuotteet pystytään toimittamaan asiakkaalle; informaatioteknologia on työkalu, jota käytetään prosesseissa ja tietorakenteiden ylläpidossa, pääosin dokumentoidun tiedon luomiseen, hankitaan, varastoimiseen, jakamiseen ja soveltamiseen. Tapaustutkimuksessa kuvataan kohdeyrityksen nykytilaa PLM:n viidellä keskeisellä osa-alueella, tehdään PLM kypsyysarvio kahdella menetelmällä, määritellään yrityksen tavoitetila ja laaditaan yritykselle ensin alustava PLM roadmap ja lopulta kokonaisvaltaiseen PLM-malliin perustuva PLM roadmap ja PLM:n jatkokehityssuunnitelma.

Sähkömoottoriprototyypin mekaniikkasuunnittelu järjestelmällisen tuotesuunnittelun avulla

Työn tavoitteena oli suunnitella sähkömoottoriprototyyppi, joka soveltuu hybridiajoneuvon ajomoottoriksi. Mekaniikkasuunnittelu toteutettiin samanaikaisesti sähkösuunnittelun kanssa ja siinä käytettiin yleisesti käytössä olevaa järjestelmällistä tuotesuunnittelua. Järjestelmällinen tuotesuunnittelu soveltuu laajoihin suunnitteluprojekteihin, sillä sen avulla suunnitteluprosessi on jaoteltu useampiin pieniin askeliin. Työssä esitetään sähkömoottorin yleistä toimintaperiaatetta sekä niitä sähköteknisiä erityispiirteitä, joita mekaniikkasuunnittelussa tulee ottaa huomioon. Työn tuloksissa käytiin yksityiskohtaisesti läpi roottorin suunnittelu. Muille komponenteille käytettiin samaa järjestelmällistä tuotesuunnittelua mutta niitä ei esitetä yksityiskohtaisesti tässä työssä. Kokonaisuudessaan sähkömoottorista saatiin suunniteltua ratkaisuehdotus, joka täyttää halutut vaatimukset. Lisäksi työssä kerättiin kattava lista standardeista, jotka tukevat sähkömoottorin suunnittelua. Järjestelmällisen tuotesuunnittelun todettiin soveltuvan sähkömoottorin suunnitteluun hyvin ja saatua ratkaisuehdotusta voidaan pitää toimivana. Moottori suunnitelmasta valmistetaan ensimmäinen prototyyppi keväällä 2012. Prototyyppiä voidaan kehittää suunnittelemalla siitä paremmin sarjatuotantoon soveltuva malli esimerkiksi vähentämällä koneistettavien osien määrää ja korvaamalla ne valukappaleilla.

Agricultural engineering at UNICAMP: undergraduate student dropout analysis

Nowadays, dropping out in B.Sc. courses practically occurs in all Universities of the contemporary world. Undergraduate student withdraw could means several losses as, to the student, not to graduate, to the teacher, for not accomplishing his goal as educator, to the university, for not attending its mission, to the society, economic and social losses and also to the family for unfulfilling the dreams. The objective of this research is to present a quantitative study on the dropping out rate in the Agricultural Engineering B.Sc. program (BSAGENG) at State University of Campinas (UNICAMP), seeking to contribute to the understanding of this issue. It has been determined the dropping out rate from 1995 to 2006 based on the university official data, by employing four different methods of calculation. Three of the methods revealed that dropping out rate is very close to the graduation index, i.e., close to 50%. Regardless of the adopted method for the dropping rate estimation and the statistics demonstrating that the agricultural engineering undergraduate course at UNICAMP figures falls within similar courses normality in Brazil, it should be recognized that a public institution of education should be concerned in presenting such figures. A detailed and deep analysis must be outlined in further studies seeking for specific actions aiming to reduce dropping out process.

Software Development Process Modeling. Developers Perspective to Contemporary Modeling Techniques

Formal software development processes and well-defined development methodologies are nowadays seen as the definite way to produce high-quality software within time-limits and budgets. The variety of such high-level methodologies is huge ranging from rigorous process frameworks like CMMI and RUP to more lightweight agile methodologies. The need for managing this variety and the fact that practically every software development organization has its own unique set of development processes and methods have created a profession of software process engineers. Different kinds of informal and formal software process modeling languages are essential tools for process engineers. These are used to define processes in a way which allows easy management of processes, for example process dissemination, process tailoring and process enactment. The process modeling languages are usually used as a tool for process engineering where the main focus is on the processes themselves. This dissertation has a different emphasis. The dissertation analyses modern software development process modeling from the software developers’ point of view. The goal of the dissertation is to investigate whether the software process modeling and the software process models aid software developers in their day-to-day work and what are the main mechanisms for this. The focus of the work is on the Software Process Engineering Metamodel (SPEM) framework which is currently one of the most influential process modeling notations in software engineering. The research theme is elaborated through six scientific articles which represent the dissertation research done with process modeling during an approximately five year period. The research follows the classical engineering research discipline where the current situation is analyzed, a potentially better solution is developed and finally its implications are analyzed. The research applies a variety of different research techniques ranging from literature surveys to qualitative studies done amongst software practitioners. The key finding of the dissertation is that software process modeling notations and techniques are usually developed in process engineering terms. As a consequence the connection between the process models and actual development work is loose. In addition, the modeling standards like SPEM are partially incomplete when it comes to pragmatic process modeling needs, like light-weight modeling and combining pre-defined process components. This leads to a situation, where the full potential of process modeling techniques for aiding the daily development activities can not be achieved. Despite these difficulties the dissertation shows that it is possible to use modeling standards like SPEM to aid software developers in their work. The dissertation presents a light-weight modeling technique, which software development teams can use to quickly analyze their work practices in a more objective manner. The dissertation also shows how process modeling can be used to more easily compare different software development situations and to analyze their differences in a systematic way. Models also help to share this knowledge with others. A qualitative study done amongst Finnish software practitioners verifies the conclusions of other studies in the dissertation. Although processes and development methodologies are seen as an essential part of software development, the process modeling techniques are rarely used during the daily development work. However, the potential of these techniques intrigues the practitioners. As a conclusion the dissertation shows that process modeling techniques, most commonly used as tools for process engineers, can also be used as tools for organizing the daily software development work. This work presents theoretical solutions for bringing the process modeling closer to the ground-level software development activities. These theories are proven feasible by presenting several case studies where the modeling techniques are used e.g. to find differences in the work methods of the members of a software team and to share the process knowledge to a wider audience.

Configuration management process improvement : a case study of a Pan-Nordic insurance company

Configuration management is often seen as an enabler for the main IT Service Management (ITSM) processes such as Incident and Problem management. A decent level of quality of IT configuration data is required in order to carry out routines of these processes. This case study examines the state of configuration management in a multinational organization and aims at identification of methods for its improvement. The author has stayed five months with this company in order to collect different sources of evidence and to make observations. The main source of data for this study is interviews with some of the key employees of the assigned organization who are involved into the ITSM processes. This study concludes the maturity level of the existing configuration management process to be repeatable but intuitive, and outlines the principal requirements for its improvement. A match between the requirements identified in the organization and the requirements stated in the ISO/IEC 20000 standard indicates the possibility of adopting ITIL guidelines as a method for configuration management process improvement. The outcome of the study presents a set of recommendations for improvement that considers the process, the information model and the information system for configuration management in the case organization.

Licensing Model Development for Small Modular Reactors (SMRs) - Focusing on the Finnish Regulatory Framework

Recently, Small Modular Reactors (SMRs) have attracted increased public discussion. While large nuclear power plant new build projects are facing challenges, the focus of attention is turning to small modular reactors. One particular project challenge arises in the area of nuclear licensing, which plays a significant role in new build projects affecting their quality as well as costs and schedules. This dissertation - positioned in the field of nuclear engineering but also with a significant section in the field of systems engineering - examines the nuclear licensing processes and their suitability for the characteristics of SMRs. The study investigates the licensing processes in selected countries, as well as other safety critical industry fields. Viewing the licensing processes and their separate licensing steps in terms of SMRs, the study adopts two different analysis theories for review and comparison. The primary data consists of a literature review, semi-structured interviews, and questionnaire responses concerning licensing processes and practices. The result of the study is a recommendation for a new, optimized licensing process for SMRs. The most important SMR-specific feature, in terms of licensing, is the modularity of the design. Here the modularity indicates multi-module SMR designs, which creates new challenges in the licensing process. As this study focuses on Finland, the main features of the new licensing process are adapted to the current Finnish licensing process, aiming to achieve the main benefits with minimal modifications to the current process. The application of the new licensing process is developed using Systems Engineering, Requirements Management, and Project Management practices and tools. Nuclear licensing includes a large amount of data and documentation which needs to be managed in a suitable manner throughout the new build project and then during the whole life cycle of the nuclear power plant. To enable a smooth licensing process and therefore ensure the success of the new build nuclear power plant project, management processes and practices play a significant role. This study contributes to the theoretical understanding of how licensing processes are structured and how they are put into action in practice. The findings clarify the suitability of different licensing processes and their selected licensing steps for SMR licensing. The results combine the most suitable licensing steps into a new licensing process for SMRs. The results are also extended to the concept of licensing management practices and tools.

A quality and cost approach for welding process selection

The aim of this work was to propose, apply and evaluate a methodical approach to select welding processes in a productive environment based on market requirements of Quality and Costs. A case study was used. The welds were carried out in laboratory, simulating the joint conditions of a manufacturer and using several welding processes: SMAW, GTAW, pulsed GTAW, GMAW with CO2 and Ar based shielding gases and pulsed GMAW. For Quality analysis geometrical aspects of the beads were considered and for Cost analysis, welding parameters and consumable prices. Quantitative indices were proposed and evaluated. After that, evaluation of both Quality and Costs was done, showing to be possible to select the most suitable welding process to a specific application, taking into account the market conditions of a company.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Additional revenue opportunities in pulp mills and their impacts on the kraft process

Although the concept of multi-products biorefinery provides an opportunity to meet the future demands for biofuels, biomaterials or chemicals, it is not assured that its implementation would improve the profitability of kraft pulp mills. The attractiveness will depend on several factors such as mill age and location, government incentives, economy of scale, end user requirements, and how much value can be added to the new products. In addition, the effective integration of alternative technologies is not straightforward and has to be carefully studied. In this work, detailed balances were performed to evaluate possible impacts that lignin removal, hemicelluloses recovery prior to pulping, torrefaction and pyrolysis of wood residues cause on the conventional mill operation. The development of mill balances was based on theoretical fundamentals, practical experience, literature review, personal communication with technology suppliers and analysis of mill process data. Hemicelluloses recovery through pre-hydrolysis of chips leads to impacts in several stages of the kraft process. Effects can be observed on the pulping process, wood consumption, black liquor properties and, inevitably, on the pulp quality. When lignin is removed from black liquor, it will affect mostly the chemical recovery operation and steam generation rate. Since mineral acid is used to precipitate the lignin, impacts on the mill chemical balance are also expected. A great advantage of processing the wood residues for additional income results from the fact that the pulping process, pulp quality and sales are not harmfully affected. For pulp mills interested in implementing the concept of multi-products biorefinery, this work has indicated possible impacts to be considered in a technical feasibility study.