Kunnossapidon tietojärjestelmän määrittäminen ja hankinta prosessiyritykselle

Työn tavoitteena oli tutkia ja määrittää case-yrityksenä olleen prosessiyrityksen kunnossapitojärjestelmän vaatimusten määrittelyyn vaikuttavia tekijöitä sekä määrittää prosessiyrityksen toimintaympäristöön soveltuvan kunnossapitojärjestelmän rakenne. Teoreettisena taustana oli liikeyritysten strategian ja toiminnan suunnittelu kehitettäessä kunnossapidon palveluprosessia. Lisäksi teoriaosuudessa esiteltiin kunnossapidon keskeisimmät teoriat ja niiden soveltaminen kunnossapitotoiminnassa. Työn empiriaosuudessa esiteltiin case-yrityksen kunnossapitojärjestelmäprosessin hankinnan vaiheet, valinta ja kunnossapitojärjestelmän käytettävyyden varmistaminen workshopeissa sekä jatkotutkimusaiheet. Työn avulla case-yrityksenä olleelle prosessiyritykselle saatiin valittua toimiva kunnossapitojärjestelmä. Työtä on mahdollista hyödyntää vastaavissa projekteissa muissa yrityksissä.

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.

Lujien painelaiteterästen hitsaus

Työn tavoitteena oli tutkia lujan nuorrutetun painelaiteteräksen P500QL2 hitsattavuutta ja koehitsausten avulla löytää optimaaliset hitsausparametrit ja lämmöntuonti teräksen hitsaukseen. Työn tavoitteena oli myös selvittää ja käsitellä kaikkien painelaiteterässtandardissa esitettyjen lujien painelaiteterästen hitsauksessa huomioon otettavia asioita. Työn teoriaosuudessa käsitellään lujien painelaiteterästen hitsauksessa huomioitavia erityispiirteitä, kuten lämmöntuontia, jäähtymisaikaa, esilämmitystä sekä hitsausaineiden valintaa. Lisäksi teoriaosuudessa käsitellään painelaitteiden valmistusta, painelaiteterässtandardiin kuuluvia lujia painelaiteteräksiä sekä keinoja lujien terästen hitsattavuuden arviointiin. Työn kokeellisessa osassa tutkittiin aineenvahvuudeltaan 50 mm paksun P500QL2-teräksen päittäisliitoksen mekaanisia ominaisuuksia eri lämmöntuonneilla hitsattuna. Kokeellisessa osassa tutkittiin myös myöstön poisjättämisen vaikutuksia liitoksen mekaanisiin ominaisuuksiin. Mekaanisia ominaisuuksia tutkittiin toteuttamalla koekappaleiden aineenkoetus menetelmäkoestandardin vaatimuksia soveltaen. Tutkimuksessa käytettyjä testausmenetelmiä olivat silmämääräinen tarkastus, magneettijauhetarkastus, ultraäänitarkastus, mikro- ja makrorakennetarkastelu, kovuuskokeet, vetokokeeet ja iskukokeet. Testauksessa saatujen tulosten avulla lujan painelaiteteräksen P500QL2 hitsaukseen laadittiin alustava hitsausohje. Hitsausliitosten testauksessa saatujen tulosten perusteella havaittiin hitsien lujuuden ja kovuuden laskevan lämmöntuonnin kasvaessa. Hitsausliitosten iskusitkeysominaisuudet olivat erinomaiset vielä suurellakin lämmöntuonnilla, mutta liitosten murtovenymäarvot laskivat lämmöntuonnin kasvaessa. Myöstön havaittiin parantavan hitsin mekaanisia ominaisuuksia huomattavasti. Tutkimuksen tulosten perusteella painelaiteteräs P500QL2 on hitsattavissa suurella lämmöntuonnilla ja suurella tuottavuudella liitoksen täyttäessä painelaitevalmistuksen edellyttämät vaatimukset.

Distributed Repositories of Medieval Calendars and Crowd-Sourcing of Transcription

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

Prosessiautomaatio pinnankorkeusmittauksen koelaitteistoissa

Pinnankorkeuden tunteminen kiehutusvesireaktorin painesäiliössä on erittäin tärkeää sen turvallisuusvaikutusten takia. Pinnankorkeutta mitataan vesipatsaiden korkeutta havaitsevien paine-eromittausten avulla. Säteilyturvakeskuksen YVL-ohjeiden mukaan turvallisuuteen vaikuttavien mittausten täytyy noudattaa moninkertaistus- ja erilaisuusperiaatteita. Yleensä erilaisuusperiaatetta on toteutettu käyttämällä erityyppisiä paine-eromittareita, mutta erilaisella fysikaalisella toimintaperiaatteella oleva mittaus olisi parempi ja toteuttaisi paremmin erilaisuusperiaatetta. Uimurikytkin olisi tällainen fysikaalisesti eri periaatteeseen perustuva pinnankorkeuden mittauslaite. Ydinvoimalaan tarkoitettu teknologia tulee kelpoistaa riippumattoman tahon toimesta ennen käyttöönottoa. Kelpoistamiskokeita varten Lappeenrannan teknillisen yliopiston Ydinturvallisuuden tutkimusyksikköön rakennettiin vuosina 2011–2013 kaksi koelaitteistoa. Näillä koelaitteistoilla tutkittiin uimurikytkimien toimintaa ja ominaisuuksia erilaisissa kiehutusvesireaktorin käyttötilanteissa. Koelaitteistot tarvitsivat toimiakseen automaatiojärjestelmät, jotka suunniteltiin pääosin noudattamalla suunnittelun elinkaarimallia sekä automaatiosuunnittelun sisältökokonaisuuksia. Automaatiojärjestelmien suunnittelu aloitettiin määrittelemällä koejärjestelyjen asettamat vaatimukset, jonka jälkeen tehtiin teknologiavalinnat. Seuraavaksi suunniteltiin automaatiojärjestelmien logiikkaohjelmistot, joiden kuvaukseen tämä työ pääasiassa keskittyy. Logiikkaohjelmistot toteutettiin graafisella National Instruments LabView -ohjelmointikielellä. Logiikkaohjelmistojen tuli hoitaa tiedonkeruuta, käyttöautomaatiota, turvallisuustehtäviä sekä kokeisiin liittyviä erikoistehtäviä. Ohjelmistot saatiin esikokeiden aikana toimimaan halutusti, ja varsinaiset kokeet voitiin suorittaa ilman merkittäviä ongelmia.

Visual maps in the adult primate cerebral cortex: some implications for brain development and evolution

In this paper, the topology of cortical visuotopic maps in adult primates is reviewed, with emphasis on recent studies. The observed visuotopic organisation can be summarised with reference to two basic rules. First, adjacent radial columns in the cortex represent partially overlapping regions of the visual field, irrespective of whether these columns are part of the same or different cortical areas. This primary rule is seldom, if ever, violated. Second, adjacent regions of the visual field tend to be represented in adjacent radial columns of a same area. This rule is not as rigid as the first, as many cortical areas form discontinuous, second-order representations of the visual field. A developmental model based on these physiological observations, and on comparative studies of cortical organisation, is then proposed, in order to explain how a combination of molecular specification steps and activity-driven processes can generate the variety of visuotopic organisations observed in adult cortex.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Determinants of Bone Strength and Predictors of Hip Fracture among Finnish Adults. Results from the Health 2000 Survey and the Mini-Finland Health Survey

The objective of this thesis was to identify the determinants of bone strength and predictors of hip fracture in representative samples of Finnish adults. A secondary objective was to construct a simple multifactorial model for hip fracture prediction over a 10-year follow-up period. The study was based on the Health 2000 Survey conducted during 2000 to 2001 (men and women aged 30 years or over, n=6 035) and the Mini-Finland Health Survey conducted during 1978 to 1980 (women aged 45 years or over, n=2 039). Study subjects participated in health interviews and comprehensive health examination. In the Health 2000 Survey, bone strength was assessed by means of calcaneal quantitative ultrasound (QUS). The follow-up information about hip fractures was drawn from the National Hospital Discharge Register. In this study, age, weight, height, serum 25-hydroxyvitamin D (S-25(OH)D), physical activity, smoking and alcohol consumption as well as menopause and eventual HRT in women were found to be associated with calcaneal broadband ultrasound attenuation (BUA) and speed of sound (SOS). Parity was associated with a decreased risk of hip fracture in postmenopausal women. Age, height, weight or waist circumference, quantitative ultrasound index (QUI), S-25(OH)D and fall-related factors, such as maximal walking speed, Parkinson’s disease, and the number of prescribed CNS active medication were significant independent predictors of hip fracture. At the population level, the incremental value of QUS appeared to be minor in hip fracture prediction when the fall-related risk factors were taken into account. A simple multifactorial model for hip fracture prediction presented in this study was based on readily available factors (age, gender, height, waist circumference, and fallrelated factors). Prospective studies are needed to test this model in patient-based study populations.

ICT - Tietojärjestelmäympäristön siirto

Tämän tutkimuksen tarkoituksena on selvittää tietojärjestelmäympäristön siirtoprojektin toteutukseen liittyviä ongelmia ja etsiä niihin ratkaisuja. Tutkimuksen lopputuloksen perusteella on tarkoitus tehdä ehdotus tietojärjestelmäympäristön siirtoprojektin mahdollisesta prosessikuvauksesta. Kunnollisen prosessikuvauksen avulla tietojärjestelmäympäristön siirtoprojektin toteutus helpottuu huomattavasti, koska on olemassa selkeät ohjeet siitä, mitä kaikkea on otettava huomioon siirtoa suunniteltaessa ja toteutettaessa. Asiakkaan vaatimukset ovat oleelliset tässä työssä, joten tässä työssä prosessikuvaus suunnitellaan eri osapuolten näkökulmasta, joita tässä työssä ovat sekä Hallinnon tietotekniikkakeskus (Haltik) että sen asiakkaat.

Tandem-MAG-welding of high strength steels for shipbuilding applications

Tämän työn tavoitteena oli hitsata tandem MAG –laitteistolla 25 mm paksua Ruukin E500 TMCP terästä. Työssä oli tarkoituksena vähentää railotilavuutta mahdollisimman paljon sekä suorittaa testihitsaukset 0.8 kJ/mm sekä 2.5 kJ/mm lämmöntuonneilla. Teoriaosuudessa käsiteltiin Tandem MAG-hitsaukseen, sen tuottavuuteen ja laatukysymyksiin liittyviä asioita sekä siinä perehdyttiin suurlujuusteräksien käyttöön hitsauksessa sekä laivanrakennuksessa. Kokeellisessa osuudessa perehdyttiin hitsauksessa huomattuihin etuihin, ongelmiin sekä ongelmien ratkaisumahdollisuuksiin. Hitsausliitoksen mekaaniset ominaisuudet tutkittiin rikkomattomin sekä rikkovin menetelmin. Alustavat hitsausohjeet luotiin kummallekin lämmöntuonnille. Testaukset aloitettiin 30 º railokulmalla pienentäen kulmaa mahdollisuuksien mukaan. Testauksissa ei saatu hitsattua onnistuneesti alle 30 º railokulmalla. Hitsaustestien aikana huomattiin magneettisen puhalluksen vaikutus hitsaustapahtumaan. Kaasunvirtausnopeuden tuli olla tietyn suuruinen jotta palkokerrokset onnistuivat ilman huokoisuusongelmaa. Pienemmällä lämmöntuonnilla hitsattaessa kaasunvirtausnopeudet olivat tärkeämpiä hitsatessa ylempiä palkokerroksia. Kääntämällä hitsauspoltinta sivuttaissuunnassa 7-10 astetta auttoi ehkäisemään reunahaavan syntymistä. Rikkovista menetelmistä testitulokset olivat hyväksyttyjä kaikkien muiden paitsi päittäishitsin sivutaivutuskokeen osalta.

The effect of performing corrections on reported uterine cancer mortality data in the city of São Paulo

Reports of uterine cancer deaths that do not specify the subsite of the tumor threaten the quality of the epidemiologic appraisal of corpus and cervix uteri cancer mortality. The present study assessed the impact of correcting the estimated corpus and cervix uteri cancer mortality in the city of São Paulo, Brazil. The epidemiologic assessment of death rates comprised the estimation of magnitudes, trends (1980-2003), and area-level distribution based on three strategies: i) using uncorrected death certificate information; ii) correcting estimates of corpus and cervix uteri mortality by fully reallocating unspecified deaths to either one of these categories, and iii) partially correcting specified estimates by maintaining as unspecified a fraction of deaths certified as due to cancer of "uterus not otherwise specified". The proportion of uterine cancer deaths without subsite specification decreased from 42.9% in 1984 to 20.8% in 2003. Partial and full corrections resulted in considerable increases of cervix (31.3 and 48.8%, respectively) and corpus uteri (34.4 and 55.2%) cancer mortality. Partial correction did not change trends for subsite-specific uterine cancer mortality, whereas full correction did, thus representing an early indication of decrease for cervical neoplasms and stability for tumors of the corpus uteri in this population. Ecologic correlations between mortality and socioeconomic indices were unchanged for both strategies of correcting estimates. Reallocating unspecified uterine cancer mortality in contexts with a high proportion of these deaths has a considerable impact on the epidemiologic profile of mortality and provides more reliable estimates of cervix and corpus uteri cancer death rates and trends.

Siirtohinnoittelun kehitys ja tulevaisuus vuosien 1994–2014 ammattilehtikirjoitusten perusteella

Pro gradu-tutkimuksen tarkoituksena on selvittää, miten siirtohinnoittelun kehitys näkyy ammattikirjoituksissa 20 vuoden aikana sekä mihin suuntaan siirtohinnoittelu on kehittymässä tulevaisuudessa. Mitkä ovat siirtohinnoittelun riskit ja edut tutkimusaineiston perusteella ja minkälaisista näkökulmista siirtohinnoittelusta on 20 vuoden aikana kirjoitettu. Artikkeleista pyritään löytämään, minkälaisia eroja on suomalaisen ja kansainvälisen kirjoittelun väliltä. Tämä on laadullinen tutkimus, jossa käytetään tutkimusmenetelmänä sisällönanalyysia. Tutkimuksessa on sisällönanalyysin mukaisesti luokittelua, teemoittelua sekä vertailua. Tutkimusaineisto koostuu kolmesta lehdestä Verotus, Tilintarkastus-lehti, nykyään Balanssi ja The Accounting Review. Lehdistä on kerätty siirtohinnoittelua käsittelevät artikkelit 20 vuoden ajalta. Tutkimustulosten perusteella näkyy siirtohinnoittelun kehitys sekä kuinka aiheesta on tullut entistä keskeisempi. Siirtohinnoittelu on nyt merkittävässä roolissa kansainvälisessä verotuksessa. Haasteena nähdään markkinaehtoisen hinnan asettaminen oikeaan arvoon. Tärkeänä luokkana nousi siirtohinnoittelun kehittäminen. Myös valtioiden uhka siitä, että siirtohinnoittelun kautta verovaroja siirtyy toisiin valtioihin, oli yksi esiin noussut teema. Johtopäätöksenä voidaan todeta, että siirtohinnoittelu on problemaattinen verotuksen aihe, koska selkeää suoraa siirtohintaa ei aina pystytä antamaan tuotteelle, palvelulle tai rahoitukselle, vaan hinta on veteen piirretty viiva. Siirtohinnoittelua pidetään uhkana valtioiden veropohjan rappeutumiselle, jos sen avulla siirretään varoja alemman verotuksen valtioihin. Konsernit toimivat entistä laajemmin eri valtioissa, joten niiden tavoitteena on suunnitella eri konsernin osien tulosta. Tulevaisuudessa on paljon kehityskohtia ja tarpeita siirtohinnoittelun alueella. Kehitykseen vaikuttavat valtioiden yhteisöveropoliittiset päätökset sekä valtioiden omat lainsäädännöt sekä valtioiden sitoutuminen OECD:n säännöksiin, joiden avulla pyritään yhtenäisiin toimintamalleihin. Jatkossa tutkimusta voisi laajentaa kansainvälisemmäksi sekä vielä syvemmin voisi miettiä myös kehityksen suuntia ja niiden vaikutuksia.

Comparison of bone quantity by ultrasound measurements of phalanges between white and black children living in Paraná, Brazil, with Europeans

The objective of this study was to determine bone quantity by ultrasound measurements of the proximal finger phalanges (AD-SoS = amplitude-dependent speed of sound) of healthy Brazilian schoolchildren living in Paraná, Brazil and to compare these values with European populations. The sample was composed of 1356 Brazilian schoolchildren of both genders (660 males, 696 females), aged 6 to 11 years, divided into white (840) and black (516) groups and compared to age- and gender-matched Europeans. AD-SoS of the schoolchildren increased significantly with age for both genders. Significantly higher AD-SoS values were observed for the white children (1916 ± 58) compared to their black counterparts (1898 ± 72) and for the female gender (1920 ± 61) compared to the male gender (1898 ± 66). Overall, the AD-SoS outcomes for females were similar to those of European studies. However, the AD-SoS of the Brazilian schoolchildren of both genders and skin colors was lower than that reported for children in Poland. AD-SoS outcomes for Brazilian schoolboys were similar to those obtained in Italian studies and were lower than those of the Spanish children. In conclusion, Brazilian schoolchildren of both genders and skin colors showed lower bone quantities than Polish children and Spanish males, and levels similar to Italian children and Spanish females.

The RecX protein interacts with the RecA protein and modulates its activity in Herbaspirillum seropedicae

DNA repair is crucial to the survival of all organisms. The bacterial RecA protein is a central component in the SOS response and in recombinational and SOS DNA repairs. The RecX protein has been characterized as a negative modulator of RecA activity in many bacteria. The recA and recX genes of Herbaspirillum seropedicae constitute a single operon, and evidence suggests that RecX participates in SOS repair. In the present study, we show that the H. seropedicae RecX protein (RecX Hs) can interact with the H. seropedicaeRecA protein (RecA Hs) and that RecA Hs possesses ATP binding, ATP hydrolyzing and DNA strand exchange activities. RecX Hs inhibited 90% of the RecA Hs DNA strand exchange activity even when present in a 50-fold lower molar concentration than RecA Hs. RecA Hs ATP binding was not affected by the addition of RecX, but the ATPase activity was reduced. When RecX Hs was present before the formation of RecA filaments (RecA-ssDNA), inhibition of ATPase activity was substantially reduced and excess ssDNA also partially suppressed this inhibition. The results suggest that the RecX Hs protein negatively modulates the RecA Hs activities by protein-protein interactions and also by DNA-protein interactions.

EFEITOS DOS MÉTODOS DE ABATE DE BOVINOS NA EFICIÊNCIA DA SANGRIA

O objetivo do presente trabalho foi avaliar os efeitos dos métodos de abate de bovinos com insensibilização prévia através de marreta e pistola pneumática de penetração e sem insensibilização, realizada pelo método kasher, na eficiência da sangria. A eficiência da sangria foi avaliada pela determinação da hemoglobina no sangue e na carne. Foram utilizados 240 bovinos sãos, da raça Nelore, abatidos em matadouro-frigorífico sob Serviço de Inspeção Federal, sendo 60 animais abatidos pelo método judaico (kasher), 60 animais insensibilizados através de marreta, 60 animais insensibilizados através de pistola pneumática de penetração e 60 animais insensibilizados através de pistola pneumática de penetração seguida por estimulação elétrica. Foram colhidas amostras de sangue após a sangria dos animais e de carne, na porção torácica do músculo Longus colli, imediatamente após a chegada da carcaça à câmara frigorífica. Os animais abatidos pelo método kasher apresentaram menor teor de hemoglobina residual na carne e melhor eficiência da sangria. A utilização da estimulação elétrica imediatamente após a sangria dos animais atordoados por pistola pneumática, afetou negativamente a eficiência da sangria.