Design of an Event Based Messaging System

B2B document handling is moving from paper to electronic networks and electronic domain very rapidly. Moving, handling and transforming large electronic business documents requires a lot from the systems handling them. This paper explores new technologies such as SOA, event-driven systems and ESB and a scalable, event-driven enterprise service bus is created to demonstrate these new approaches to message handling. As an end result, we have a small but fully functional messaging system with several different components. This is the first larger Java-project done in-house, so on the side we developed our own set of best practices of Java development, setting up configurations, tools, code repositories and class naming and much more.

Modelling of the PWR PACTEL vertical steam generator with the TRACE code

The behavior of the nuclear power plants must be known in all operational situations. Thermal hydraulics computer applications are used to simulate the behavior of the plants. The computer applications must be validated before they can be used reliably. The simulation results are compared against the experimental results. In this thesis a model of the PWR PACTEL steam generator was prepared with the TRAC/RELAP Advanced Computational Engine computer application. The simulation results can be compared against the results of the Advanced Process Simulator analysis software in future. Development of the model of the PWR PACTEL vertical steam generator is introduced in this thesis. Loss of feedwater transient simulation examples were carried out with the model.

Temperature measurements by oh lif and chemiluminescence kinetic modeling for ethanol flames

OH LIF-thermometry was applied to premixed ethanol flames at atmospheric pressure in a burner for three flame conditions. Flame temperatures were simulated from energy equation with PREMIX code of CHEMKIN software package for comparison. A kinetic modeling based on a model validated through chemiluminescence measurements and on a set of reactions for nitrogen chemistry was evaluated. Marinov's mechanism was also tested. Sensitivity analysis was performed for fuel-rich flame condition with Φ = 1.34. Simulated temperatures from both reaction mechanisms evaluated were higher than experimental values. However, the proposed kinetic modeling resulted in temperature profiles qualitatively very close to the experimental.

Set-up of a method using LC-UV to assay mometasone furoate in pharmaceutical dosage forms

A reliable method using LC-UV to assay mometasone furoate (MF) in creams or nasal sprays using the same chromatographic conditions was set up. Methanol:water 80:20 (v/v) (1.0 mL min-1) was used as mobile phase. MF was detected at 248 nm and analyzed in a concentration range from 1.0 to 20.0 µg mL-1. The method provided acceptable theoretical plates, peak simmetry, peak tailing factor and peak resolution a short run (5 min). The method showed specificity, good linearity (r = 0.9999) and the quantification limit was 0.379 µg mL-1. Furthermore, the method was precise (RSD < 2.0%), accurate (recovery > 97%) and robust.

Automatic evaluation and data generation for analytical chemistry instrumental analysis exercises

In general, laboratory activities are costly in terms of time, space, and money. As such, the ability to provide realistically simulated laboratory data that enables students to practice data analysis techniques as a complementary activity would be expected to reduce these costs while opening up very interesting possibilities. In the present work, a novel methodology is presented for design of analytical chemistry instrumental analysis exercises that can be automatically personalized for each student and the results evaluated immediately. The proposed system provides each student with a different set of experimental data generated randomly while satisfying a set of constraints, rather than using data obtained from actual laboratory work. This allows the instructor to provide students with a set of practical problems to complement their regular laboratory work along with the corresponding feedback provided by the system's automatic evaluation process. To this end, the Goodle Grading Management System (GMS), an innovative web-based educational tool for automating the collection and assessment of practical exercises for engineering and scientific courses, was developed. The proposed methodology takes full advantage of the Goodle GMS fusion code architecture. The design of a particular exercise is provided ad hoc by the instructor and requires basic Matlab knowledge. The system has been employed with satisfactory results in several university courses. To demonstrate the automatic evaluation process, three exercises are presented in detail. The first exercise involves a linear regression analysis of data and the calculation of the quality parameters of an instrumental analysis method. The second and third exercises address two different comparison tests, a comparison test of the mean and a t-paired test.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Conditions for different autonomy regimes in the world : a fuzzy-set application

Avhandlingen behandlar temat territoriell autonomi ur ett globalt perspektiv. Syftet är dels att kartlägga de territoriella autonomierna i världen och dels att visa hur en ny metod som fuzzy-set kan användas inom ämnesområdet jämförande politik. Forskningsproblemet är att försöka finna de bakgrundsfaktorer som förklarar uppkomsten av territoriell autonomi som sådant. Territoriella autonomier ses som särlösningar inom stater. Dessa regioner har erhållit en specialställning i förhållande till andra regioner inom respektive stat och även i förhållande till centralmakten i övrigt. Regionerna kan därför ses som undantag inom det enhetliga federala, regionala eller decentraliserade systemet inom en viss stat ifråga. En kartläggning visar att det finns 65 specialregioner fördelade på 25 stater i världen. De flesta av dessa utgörs av öar. Resultaten visar att det finns två vägar vilka leder till territoriell autonomi i allmänhet. Den ena vägen är en kombination av etnisk särprägel och liten befolkningsmängd, medan den andra vägen utgörs av kombinationen av historiska orsaker och geografiskt avstånd. Båda vägar är lika giltiga och förutsättningen är en demokratisk miljö.

Vaihtosuuntaajan reaaliaikainen lämpömalli

Vaihtosuuntaajan IGBT-moduulin liitosten lämpötiloja ei voida suoraan mitata, joten niiden arviointiin tarvitaan reaaliaikainen lämpömalli. Tässä työssä on tavoitteena kehittää tähän tarkoitukseen C-kielellä implementoitu ratkaisu, joka on riittävän tarkka ja samalla mahdollisimman laskennallisesti tehokas. Ohjelmallisen toteutuksen täytyy myös sopia erilaisille moduulityypeille ja sen on tarvittaessa otettava huomioon saman moduulin muiden sirujen lämmittävä vaikutus toisiinsa. Kirjallisuuskatsauksen perusteella valitaan olemassa olevista lämpömalleista käytännön toteutuksen pohjaksi lämpöimpedanssimatriisiin perustuva malli. Lämpöimpedanssimatriisista tehdään Simulink-ohjelmalla s-tason simulointimalli, jota käytetään referenssinä muun muassa implementoinnin tarkkuuden verifiointiin. Lämpömalli tarvitsee tiedon vaihtosuuntaajan häviöistä, joten työssä on selvitetty eri vaihtoehtoja häviölaskentaan. Lämpömallin kehittäminen s-tason mallista valmiiksi C-kieliseksi koodiksi on kuvattu tarkasti. Ensin s-tason malli diskretoidaan z-tasoon. Z-tason siirtofunktiot muutetaan puolestaan ensimmäisen kertaluvun differenssiyhtälöiksi. Työssä kehitetty monen aikatason lämpömalli saadaan jakamalla ensimmäisen kertaluvun differenssiyhtälöt eri aikatasoille suoritettavaksi sen mukaan, mikä niiden kuvaileman termin vaatima päivitysnopeus on. Tällainen toteutus voi parhaimmillaan kuluttaa alle viidesosan kellojaksoja verrattuna suoraviivaiseen yhden aikatason toteutukseen. Implementoinnin tarkkuus on hyvä. Implementoinnin vaatimia suoritusaikoja testattiin Texas Instrumentsin TMS320C6727- prosessorilla (300 MHz). Esimerkkimallin laskemisen määritettiin kuluttavan vaihtosuuntaajan toimiessa 5 kHz kytkentätaajuudella vain 0,4 % prosessorin kellojaksoista. Toteutuksen tarkkuus ja laskentakapasiteetin vähäinen vaatimus mahdollistavat lämpömallin käyttämisen lämpösuojaukseen ja lisäämisen osaksi muuta jo prosessorilla olemassa olevaa systeemiä.

Pyörivien sähkökoneiden kotelointia koskevat standardit ja aksiaalivuokoneen jäähdytyksen kehittäminen

Tämä diplomityö on osa Lappeenrannan teknillisen yliopiston ja Visedo Oy:n yhteistyöprojektia. Työssä selvitetään pyörivien sähkökoneiden kotelointeja koskevia standardeja ja niiden vaikutukset koneiden suunnittelulle ja valmistukselle. Lisäksi työssä käsitellään aksiaalivuokoneen jäähdytykseen liittyviä ongelmia, kehitetään koneen nykyisiä jäähdytysratkaisuja ja ideoidaan käytettävissä olevia uusia jäähdytysmenetelmiä. Kehitysideoiden rajoitteena toimii koneelta vaadittu kotelointiluokka IP 64 – IP 68 sekä koneelle määritetty kestomagnetoitu aksiaalivuorakenne. Sähkökoneiden kotelointeja koskevien standardien asettamien vaatimusten määrittäminen tapahtui suurilta osin kirjallisuusselvityksenä. Standardien vaikutukset koneiden suunnittelulle ja valmistettavuudelle on selvitetty standardien kotelointien rakenteelle asettamien vaatimusten perusteella. Aksiaalivuokoneen jäähdytysongelmien selvittäminen, käytössä olevien jääh-dytysratkaisujen kehittäminen ja uusien menetelmien ideointi suoritettiin projektiluontoisesti yhdessä eri alojen asiantuntijoista koostuvan jäähdytystyöryhmän kanssa. Työn tuloksena laadittiin Visedo Oy:lle standardikäsikirja, jonka avulla Visedon sähkökoneiden tuoteperheeseen kuuluvien koneiden suunnitteluvaiheessa voidaan varmistaa koneiden standardienmukaisuus. Käsikirjassa on myös esitetty huomioita eri kotelointiluokkien asettamista vaatimuksista koneiden valmistukselle. Aksiaalivuokoneiden jäähdytykseen liittyen tavoitteena oli ratkaista aksiaalivuokoneisiin liittyviä jäähdytysongelmia. Työn tuloksena saa-tiin selville aksiaalivuokoneissa jäähdytyksen kehittämistä vaativat kohteet, laadittiin nykyisten jäähdytysratkaisujen parannusehdotuksia ja kehitettiin täysin uusia jäähdytysmenetelmiä.

Metsäsääntely Suomessa ja Venäjällä. Näkökulmia kestävään metsätalouteen

Sustainability is the aim of forest management and forest regulation in many countries. Accordingly, forest management has been steered towards more environmentally friendly methods and new regulatory instruments have been introduced. At the same time, wood trade and forest industry have become a global business. Even if the importance of national forest legislation has not decreased, it has been widely acknowledged that national regulation of forest management is no longer sufficient. The movement of goods does not acknowledge boundaries, even though most negative environmental and social consequences stay in the country of origin of wood and other raw materials. As a partial solution to this dilemma, different kinds of regulations have been developed. Various forest certification schemes and wood trade regulation in the EU (995/2010) are examples of efforts to prevent illegal logging and unsustainable forestry. The Finland-based forest industry is to a varying extent dependent on wood trade from Russia. Especially in the 1990‟s, ethical questions concerning import of wood from Russian old growth forests near the Finnish border were widely discussed. Consequently, forest industry enterprises have developed systems to trace the origin of wood and to buy certified wood from Russia. The aim of the research has been to evaluate Finnish and Russian forest regulations in order to investigate what kind of forest management these regulations enhance, and to what extent ecologically sustainable forest management has been integrated into different forms of regulation. I have examined Finnish and Russian forest regulation in four separate articles based on the topics of the Russian Forest Code, forest certification and other voluntary forest protection measures in Russia, Finnish forest certification and Finnish forest legislation. One objective has been to analyse the roles voluntary forest certification plays in promoting sustainable forest management in different countries. In my research, I have mainly concentrated on ecological sustainability and protection of biodiversity, although other aspects of sustainable forest management have been touched upon in different articles. In the following I shall conclude the findings of my research. When the current Russian Forest Code (2006) was being adopted, the main emphasis was not on ecological issues, but on reorganizing forest governance. The role of ecological requirements was even slightly diminished during the legislative reform. There are, nevertheless, still stipulations aiming at ecological sustainability, such as the division of forests into different forest management categories and various protection zones. In 2000, FSC forest certification arrived in Russia, at present covering already 28 million hectares of forests. The PEFC scheme is now in use as well, but to a much lesser extent. If properly implemented, Russian forest certification schemes clearly improve the level of ecological and social sustainability of forestry in Russia. Certification criteria, however, are partly in conflict with the Russian forest legislation and certified enterprises have been forced to pay fines or to negotiate with forest authorities. This clearly indicates that even if Russian forest legislation has otherwise been liberalized to a certain extent, some significant paternalism still exists. Voluntary, hands-on biodiversity protection measures are not valued, and they are not part of the official protection policies as in many other countries. However, there have been some regional solutions to this dilemma. In the Republic of Karelia forest authorities have approved a set of forest biodiversity protection rules created by a local NGO and a forest industry enterprise. By following these local rules, an enterprise can avoid fines for protection measures. The current Finnish Forest Act was adopted in 1996. It brought forest legislation into a new era as some ecological aspects were integrated into forest legislation. The various soft-law forest management recommendations further increased the level of biodiversity protection. My evaluation of the overall legitimacy of the Finnish forest legislation and forest management paradigm revealed, however, several problematic issues. As part of this study I analysed the history of the current forest management paradigm. This analysis revealed the path dependency which still hinders the protection of biodiversity and clearly decreases the general legitimacy of forest management. Due to several historical reasons only even-structured forest management based on clear cuts has for decades been officially approved in Finland. Due to increasing demands of forest owners the legislation is finally being revised. Yet, the official approval of uneven-structured forest management would not be enough to fully improve ecological, social and cultural legitimacy. The latest ecological theories and knowledge of endangered species should be taken into account in the on-going reform of forest legislation as well as the modernisation. Forest legislation is one of the very few spheres of Finnish environmental legislation where openness and participation are still considered a threat. The first Finnish forest certification scheme, PEFC, was established in 2000. It now covers more than 20 million hectares, about 95% of the forests in Finland. PEFC Finland does not require a higher level of biodiversity protection than the recommendations by Tapio (the Development Centre for Forestry), but certification has unified forest management practices and requires more protection measures than mere forest legislation. The study suggests that in Finland PEFC has not functioned as an instrument which would substantially improve the level of forest management. Rather it has supported the status quo of the forest sector. While the ecological and social responsibility of Finland-based forest corporations was one impetus for this research, I want to conclude that there are problems related to forest legislation and non-state regulation in both Finland and Russia. If an enterprise buying wood from Russia buys only certified wood, and carefully avoids wood coming from high conservation value forests that are either ecologically or socially valuable, it can be claimed to be as sustainably produced as in Finland. However, there must be continuous scrutiny of the circumstances. In Russia, the level of the compliance of certification criteria varies considerably, and there are vast unprotected invaluable forest areas. The utilisation of these areas should not be based on short-sighted decisions or lack of consensus among stakeholders.

Hajautetun tuotannon verkkoonliittäminen - verkkokoodit ja käytännön toimet

Euroopan unionin asettamat uusiutuvan energian lisäämistavoitteet ovat kasvattaneet hajautetun tuotannon määrää Euroopassa. Eri hajautetun tuotannon verkkokoodit asettavat tuotantolaitoksille omat vaatimuksensa, mikä vaikeuttaa eri toimijoita, joten yhtenäiselle verkkokoodille on tarvetta. ENTSO-E onkin luomassa tällä hetkellä Euroopan unionille yhtenäisiä pilottiverkkokoodeja, joiden tarkoitus on myöhemmin kattaa kaikkia tuotantolaitoksia koko Euroopassa. Tämän vuoksi ENTSO-E:n verkkokoodien vaatimuksia on syytä tutkia. Tässä diplomityössä tarkastellaan hajautetun tuotannon nykyisiä ja ENTSO-E:n kehitteillä olevia verkkokoodeja. Työssä tutkitaan myös älykkäiden verkkojen ja verkkokoodien kehitystä. Verkkokoodien vertailuja suoritetaan pohjoismaisesta näkökulmasta, mutta vertailuun on otettu myös muita Euroopan maita. Tarkastelu painottuu siirto- ja jakeluverkkokoodien osalta tuulivoimalle asetettaviin vaatimuksiin. Mikrotuotannon verkkokoodien ja käytännön toimien tarkastelu keskittyy invertterin kautta verkkoonliitettäviin tuotantolaitoksiin, joissa aurinkotuotanto on merkittävin tuotantomuoto.

Water application uniformity and fertigation in a dripping irrigation set

The purpose of this study was to evaluate the uniformity of distribution coefficient (UDC) and coefficient of variation (CV) of a familiar set of irrigation, classifying it the ASAE standard. The irrigation and fertigation are determined by two methods the KELLER & KARMELI and DENÍCULI . The two experiments were subjected to varying pressures: 12, 14, 16 and 18 kPa, in a completely randomized design of twenty samples composed of flows with three replications. Urea, potassium chloride (KCl) and ammonium phosphate (MAP) were the elements used for fertigation. The system consisted of a 200 L tank, which supplied another container of 30 L, it was moved vertically to control the pressure. The data was statistically compared between treatments for each methodology. In fertigation the best pressure was 16 kPa and was classified as "excellent" for UDC (91.03%) and "marginal" for C.V. (7.47%). For the irrigation treatment, the best pressure was 16 kPa rated "excellent" for UDC (91.2%) and "marginal" for C.V. (7.68%). The DENÍCULI et al. (1980) methodology proved more reliable for the evaluation of drip systems. It was observed that this set has good uniformity of distribution, but with great variability in flows.

Method adjustment and equation set of maximum rainfall intensity, duration and frequency in the Mato Grosso do Sul State

Due to the lack of information concerning maximum rainfall equations for most locations in Mato Grosso do Sul State, the alternative for carrying out hydraulic work projects has been information from meteorological stations closest to the location in which the project is carried out. Alternative methods, such as 24 hours rain disaggregation method from rainfall data due to greater availability of stations and longer observations can work. Based on this approach, the objective of this study was to estimate maximum rainfall equations for Mato Grosso do Sul State by adjusting the 24 hours rain disaggregation method, depending on data obtained from rain gauge stations from Dourado and Campo Grande. For this purpose, data consisting of 105 rainfall stations were used, which are available in the ANA (Water Resources Management National Agency) database. Based on the results we concluded: the intense rainfall equations obtained by pluviogram analysis showed determination coefficient above 99%; and the performance of 24 hours rain disaggregation method was classified as excellent, based on relative average error WILMOTT concordance index (1982).

Patoturvallisuusopas

Uusi patoturvallisuuslaki (494/2009) tuli voimaan 1.10.2009 ja valtioneuvoston asetus patoturvallisuudesta (319/2010) 5.5.2010. Tämä patoturvallisuusopas korvaa patoturvallisuusohjeet (MMM:n julkaisuja 7/1997), jotka poistuivat käytöstä 1.10.2009. Patoturvallisuusoppaassa esitetty ei ole padon omistajaa sitovaa, vaan oppaan tarkoitus on täydentää ja selventää esimerkein ja selostuksin laissa ja asetuksessa esitettyä. Oppaassa käsitellään padon suunnittelua kuten hydrologista mitoitusta ja padon teknisiä turvallisuusvaatimuksia, padon rakentamista ja käyttöönottoa sekä vahingonvaaraselvitystä, padon omistajan turvallisuussuunnitelmaa sekä padon kunnossapitoa, käyttöä, tarkkailua, vuosi- ja määräaikaistarkastuksia. Padot luokitellaan vahingonvaaran perusteella luokkiin 1, 2 ja 3. Luokittelua ei tarvitse kuitenkaan tehdä, jos patoturvallisuusviranomainen katsoo, että padosta ei aiheudu vaaraa. Jokaiselle luokitellulle padolle on padon omistajan laadittava tarkkailuohjelma, jonka patoturvallisuusviranomainen hyväksyy päätöksellään. Padosta aiheutuvan vahingonvaaran selvittämiseksi 1-luokan padon omistajan on laadittava vahingonvaaraselvitys padosta ihmisille, omaisuudelle ja ympäristölle aihetuvasta vahingonvaarasta. Myös muusta kuin 1-luokan padosta voi patoturvallisuusviranomainen määrätä tehtäväksi vahingonvaaraselvityksen luokittelua varten. Padon omistajan on laadittava 1-luokan padolle turvallisuussuunnitelma onnettomuus- ja häiriötilanteiden varalle. Suunnitelmassa esitetään padon omistajan omatoiminen varautuminen em. tilanteiden varalle. Pelastusviranomainen arvioi tapauskohtaisesti pelastuslain mukaisen suunnitelman laatimistarpeen. Padon omistajan on toimitettava patoturvallisuusviranomaiselle tietojärjestelmään vietäväksi patoturvallisuusasetuksessa mainitut tiedot. Patoturvallisuusviranomaisen ja padon omistajan on säilytettävä kustakin luokitellusta padosta ajantasaiset tulosteet tietojärjestelmästä sekä muut padon turvallisuuden kannalta tärkeät asiakirjat patoturvallisuuskansiossa siten, että ne ovat mahdollisissa häiriötilanteissa nopeasti saatavilla.