Eristekourujen ponttauslaitteen suunnittelu

Diplomityössä suunnitellaan eristekourujen ponttauslaite, jolla pystytään ponttaamaan eristekouruja. Pontattavien eristekourujen pituus ja halkaisija muuttuvat. Suunnittelun lähtökohtana on nykyisin käytössä olevien ponttauslaitteiden ergonomia- ja työturvallisuusongelmat. Työssä käydään läpi erilaisia mahdollisuuksia ponttauslaitteen toteutukseen ja kehitellään kaksi periaatteellista ratkaisua toimiviksi kokoonpanoiksi. Kokoonpanoista valitaan perustellusti parempi vaihtoehto jatkokehitykseen ja se kehitellään valmiiksi ponttauslaitteeksi. Työ käsittää laitteen mekaniikkasuunnittelun, automaatiosuunnittelu rajataan työn ulkopuolelle. Työn eteneminen seuraa järjestelmällisen koneensuunnitteluprosessin vaiheita. Lopputuloksena suunniteltiin laite, joka toteuttaa sille asetetut suoritusvaatimukset. Suunniteltu laite on turvallinen ja ergonomiset vaatimukset täyttävä. Lisäksi laitteen rungolle tehtiin värähtelytarkasteluja, joiden perusteella analysoitiin ominais- ja herätetaajuuksien suhteita sekä rungon jäykistämisen vaikutuksia.

Teollisuuspuhaltimille tarkoitetun suunnittelujärjestelmän kehittäminen

Diplomityön tavoitteena oli kehittää Dust Control Systems Oy:n nykyistä suunnittelujärjestelmää yrityksen toiminnan laadun ja suunnittelun tehokkuuden parantamiseksi. Suunnittelun suurin pullonkaula on valmistusdokumenttien tuottaminen, joten keskeinen tehtävä oli dokumenttien laadun parantaminen ja tuottamisen nopeuttaminen. Lisäksi tärkeää oli selkeyttää nykyistä nimikkeiden hallintaa ja ylläpitoa. Kehitystyö keskittyi suurelta osin suunnittelujärjestelmän ohjelmistoympäristön päivittämiseen ja sen muokkaamiseen. Teoriaosuudessa käsiteltiin nykyaikaista suunnittelua ja sen kehittämismahdollisuuksia. Lisäksi tarkasteltiin suunnittelun automatisoinnin tuomia hyötyjä sekä erilaisia tuotannon tehostamismenetelmiä. Kehitysosiossa tutkittiin yrityksen nykyistä suunnittelujärjestelmää ja ohjelmistoympäristöä, tuotteiden asettamia vaatimuksia sekä järjestelmän puutteita. Näihin liittyi suuresti yhteistyö henkilöstön sekä ohjelmistotoimittajan kanssa. Tutkimuksen perusteella ryhdyttiin kehittämään uutta järjestelmäkokonaisuutta, johon liitettiin tarvittavia ohjelmistoja ja päivityksiä. Käyttöönottoa varten ohjelmistot konfiguroitiin yrityksen tarpeita vastaaviksi. Työn tuloksena saatiin kehittyneempi ja nykyaikaisempi suunnittelujärjestelmä ja ohjelmistoympäristö. Suunnittelijoiden työtaakkaa saadaan kevennettyä toistuvien työvaiheiden pidemmälle viedyllä automatisoinnilla. Uudistettu ohjelmistoympäristö luo osaltaan ehtoja ja sääntöjä, jotta virheitä syntyy yhä vähemmän. Lisäksi suunnittelun läpimenoaikaa saadaan lyhennettyä parannetulla dokumenttien tuottamisella.

Modernisation of bar mill automation

Työn tavoitteena on tankovalssaamon perusautomaation modernisointi Ovako Bar Oy Ab:n Imatran terästehtaalla. Vanha automaatiojärjestelmä on toteutettu 80-luvun puoli-välin tekniikalla käyttämällä Siemens Sicomp MMC 216 moniprosessori-tietokonetta, Siemens Simatic S5 logiikkayksiköitä sekä Siemens Simadyn D DC-käyttöjä. Modernisoinnin tarkoituksena on korvata vanha automaatiojärjestelmä Siemens PCS7 -järjestelmällä siten, että tankovalssaamon automaatiojärjestelmä voidaan liittää osaksi jo aiemmin modernisoituja, nykyisin PCS7 automaatiojärjestelmällä toteutettuja ratkaisu-ja. Valssaamon mekaniikka ei mahdollista tuotannon kasvattamista pelkästään uuden automaatiojärjestelmän avulla, joten modernisointi keskittyy parantamaan järjestelmän luotettavuutta ja helpottamaan ylläpitoa. Projekti päätettiin jakaa kolmeen osaan, jotka voidaan toteuttaa erillisinä osaprojekteina. Tärkein osaprojekti on MMC järjestelmän uusinta. Muut osaprojektit ovat DC-käyttöjen sekä ohjelmoitavien logiikkojen modernisointi. Osaprojektit valittiin siten, että mikä tahansa niistä voidaan toteuttaaerillisenä projektinaan, mikäli kaikkia osia ei voida mo-dernisoida samanaikaisesti budjetin asettamien rajoitusten vuoksi.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Front end development for building automation systems using JavaScript Frameworks

Automation technologies are widely acclaimed to have the potential to significantly reduce energy consumption and energy-related costs in buildings. However, despite the abundance of commercially available technologies, automation in domestic environments keep on meeting commercial failures. The main reason for this is the development process that is used to build the automation applications, which tend to focus more on technical aspects rather than on the needs and limitations of the users. An instance of this problem is the complex and poorly designed home automation front-ends that deter customers from investing in a home automation product. On the other hand, developing a usable and interactive interface is a complicated task for developers due to the multidisciplinary challenges that need to be identified and solved. In this context, the current research work investigates the different design problems associated with developing a home automation interface as well as the existing design solutions that are applied to these problems. The Qualitative Data Analysis approach was used for collecting data from research papers and the open coding process was used to cluster the findings. From the analysis of the data collected, requirements for designing the interface were derived. A home energy management functionality for a Web-based home automation front-end was developed as a proof-of-concept and a user evaluation was used to assess the usability of the interface. The results of the evaluation showed that this holistic approach to designing interfaces improved its usability which increases the chances of its commercial success.

The Design of Forest Taxation: A Synthesis with New Directions

Summary

Lomborg, Vanhanen ja Intelligent Design - kommentti Matti Kamppiselle

Kommentti Matti Kamppisen kirjoitukseen TT -lehdessä 1/2005

DFMA- Analysis and Aspects of Applying Internet Based Collaborative Design for Axial Eccentric Oil-Pump Design

The integrated system of design for manufacturing and assembly (DFMA) and internet based collaborative design are presented to support product design, manufacturing process, and assembly planning for axial eccentric oil-pump design. The presented system manages and schedules group oriented collaborative activities. The design guidelines of internet based collaborative design & DFMA are expressed. The components and the manufacturing stages of axial eccentric oil-pump are expressed in detail. The file formats of the presented system include the data types of collaborative design of the product, assembly design, assembly planning and assembly system design. Product design and assembly planning can be operated synchronously and intelligently and they are integrated under the condition of internet based collaborative design and DFMA. The technologies of collaborative modelling, collaborative manufacturing, and internet based collaborative assembly for the specific pump construction are developed. A seven-security level is presented to ensure the security of the internet based collaborative design system.

Pituusleikkurin turvaväylät ja koneturvallisuus

Turvallisuuteen liittyvän ohjausjärjestelmän tehtävänä on siirtää ja käsitellä turvallisuuskriittistä tietoa. Esimerkiksi anturin (turvalaitteen) havaitessa vaaravyöhykkeelle pyrkivän ihmisen tulee ensimmäisenä tiedon välittyä ohjausjärjestelmään. Ohjausjärjestelmän on muodostettava saapuneen tiedon perusteella käsky tehonohjauselimille. Tehonohjauselimillä säädellään koneen käyttöenergian syöttöä ja sitä kautta on mahdollista pysäyttää koneen liike ennen mahdollisen vahingon sattumista. Perinteiset turvaratkaisut ovat perustuneet pakkotoimintaisiin releisiin ja kahdennuksiin. Tällämenetelmällä on toteutettu varmatoimintaisia turvaratkaisuja, joissa yksittäiset viat ovat paljastuneet. Nykyisin on kuitenkin yhä enemmän tarvetta integroida turvatoiminnot automaatiojärjestelmään ja toteuttaa turvaratkaisut hajautetuillajärjestelmillä. Hajautetut järjestelmät sisältävät osittain ohjelmoitavien järjestelmien etuja ja haittoja, mutta tuovat mukanaan myös uudenlaisia vikoja. Työn tarkoitus oli selvittää, millaisia rajoituksia koneturvallisuus asettaa paperiteollisuuden pituusleikkurien turvallisuuteen liittyville ohjausjärjestelmille, sekä selvittää turvallisuuteen liittyvien järjestelmien rakennetta ja ominaisuuksia. Tässä työssä tutkittiin AS-i, EsaLan ja ProfiSafe turvajärjestelmiä teknisten tietojen perusteella. Tutkitut järjestelmät ovat erilaisia ja soveltuvat tämän vuoksi hieman erilaisiin kohteisiin. Kaikilla näillä järjestelmillä on kuitenkin mahdollista toteuttaa pituusleikkurin turvaväyläjärjestelmässä riittävä turvallisuuden taso koneturvallisuuden näkökulmasta. Tämä edellyttää oikein tehtyä riskianalyysiä ja oikeita suunnittelumenetelmiä. Teknisten tietojen perusteella otettiin testattavaksi AS-i safety at workja EsaLan:in Compact järjestelmät, joille suoritettiin sähkömagneettiseen yhteensopivuuteen (EMC) ja toiminnallisuuteen liittyviä testejä.

Test automation in Basic Acceptance Testing of S60 platform

Perushyväksymistestaus on oleellinen osa S60 alustan julkaisukandidaatin maturiteetin seurannassa. Perushyväksymistestausta tehdään myös ohjelmiston julkistamiskelpoisuuden varmistamiseksi. Testaustulokset halutaan aina mahdollisimman nopeasti. Lisäksi testaustiimin työmäärä on hiljalleen kasvanut, koska projekteja onenemmän ja korjauksia sisältäviä ja räätälöityjä settejä testataan enemmän. Tässä diplomityössä tutkitaan lyhentäisikö testisetin osan automatisointi testien ajoaikaa ja helpottaisiko se testaajien työtaakkaa. Tarkastelu toteutetaan automatisoimalla osa testisetistä ja kokemuksia esitellään tässä lopputyössä.

Design of adjustable packaging line

Diplomityön tavoite oli tutkia, mitä toimintoja ja tekniikoita uusi, joustava kartonkipakkauslinja sisältää ja mitkä suuntaukset pakkausteollisuudessa tulevat olemaan tärkeitä tulevaisuudessa. Pakkauslinjan päätoimintoja tarkasteltiin nykyisten jatulevaisuuden tekniikoiden pohjalta. Erityisesti tarkasteltiin laser-sovellusten käytön mahdollisuutta pakkauslinjan eri osatoiminnoissa. Katsaus pakkausteollisuuden tulevaisuuden näkymiin luotiin kirjallisuuden ja aikaisempien tutkimusten pohjalta, minkä perusteella työssä oletetaan, että yksilölliset ja monitoimipakkaukset tulevat lisääntymään tulevaisuudessa. Eri tuotantoerien välillä olevat asetusajat tulee saada minimoitua, mutta millä keinoin joustavuus on saavutettavissa? Yksi ratkaisu pakkausten valmistamisessa on käyttää robottisolua, mikä on mahdollista luultavasti ainakin kuppimuotoisten pakkausten kohdalla. Muutenkin robotiikka on lisääntymässä pakkausteollisuudessa. Digitaalisten painotekniikoiden kehitys on mahdollistanut yksilölliset painatukset. Tulevaisuudessa painatus on mahdollista tehdä pakkauslinjan loppupäässä, jopa vasta täytön ja suljennan jälkeen. Laserleikkaus on jo nyt käytössä, mutta tulevaisuudessa myös saumaus ja perinteinen nuuttaus on mahdollista tehdä lasersovelluksia käyttäen. Kehittynyt, väyläpohjainen ohjausjärjestelmä on tulevaisuudessa välttämätön joustavassa pakkauslinjassa. Internetin välityksellä toimiva etäohjattu virheenkorjausdiagnostiikka tulee myös olemaan itsestäänselvyys tulevaisuudessa. Kustannussäästöjä voidaan saavuttaa käyttämälläpakkauslinjassa modulaarista rakennetta. Standardiosien ja standardiosajärjestelmien käyttäminen pienentää myös käyttö- ja huoltokustannuksia. Tärkeää on kuitenkin muistaa, ettei joustavuutta voida saavuttaa pelkästään yhtä ominaisuutta tai tekniikkaa hyödyntäen vaan monia menetelmiä yhdistäen. Suunniteltavan pakkauslinjan toiminta on myös hyvä varmistaa käyttäen apuna mallinnusta ja simulointia.