963 resultados para Neuron spike sorting
Resumo:
Speaker diarization is the process of sorting speeches according to the speaker. Diarization helps to search and retrieve what a certain speaker uttered in a meeting. Applications of diarization systemsextend to other domains than meetings, for example, lectures, telephone, television, and radio. Besides, diarization enhances the performance of several speech technologies such as speaker recognition, automatic transcription, and speaker tracking. Methodologies previously used in developing diarization systems are discussed. Prior results and techniques are studied and compared. Methods such as Hidden Markov Models and Gaussian Mixture Models that are used in speaker recognition and other speech technologies are also used in speaker diarization. The objective of this thesis is to develop a speaker diarization system in meeting domain. Experimental part of this work indicates that zero-crossing rate can be used effectively in breaking down the audio stream into segments, and adaptive Gaussian Models fit adequately short audio segments. Results show that 35 Gaussian Models and one second as average length of each segment are optimum values to build a diarization system for the tested data. Uniting the segments which are uttered by same speaker is done in a bottom-up clustering by a newapproach of categorizing the mixture weights.
Resumo:
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.
Resumo:
Tämä opinnäytetyö on tehty yhteistyössä Lappeenrannan teknillisen yliopiston ja Enviroc Oy:n kanssa. Työn tarkoituksena on ollut kehittää suomalaisiin olosuhteisiin soveltuva laskentamalli purku- ja korjausrakentamiskohteiden hiilijalanjäljelle. Kehitettyä mallia voi käyttää yrityksessä lainsäädännön vaatimusten noudattamisen todentamiseen sekä purku- ja korjausrakentamiskohteiden toimintatapojen vertailuun. Työssä käsitellään purku- ja korjausrakentamiskohteiden hiilijalanjälkeen vaikuttavia asioita, joita ovat työmaan energiankulutus sekä syntyvien jätteiden lajittelu, kuljetukset, käsittely ja hyödyntäminen tai loppusijoitus. Laskentamalli on kehitetty laskemalla esimerkkikohteille hiilijalanjäljet elinkaarimallintamisen avulla. Työssä on tarkasteltu myös vaihtoehtoisia jäteskenaarioita sekä laskentamallin luotettavuutta. Työn lopputuloksena on saatu kolmen eri kokoluokan esimerkkikohteen hiilijalanjäljet ja laskentamallin periaatekaaviot. Jätteiden toimituspisteiden ja jätejakeiden kulkureittien vaihtelevuuden sekä eri kohteista muodostuvien erityyppisten jätejakeiden johdosta yhden kokonaisvaltaisen laskentamallin kehittäminen on haasteellista. Myös tietojen hankinta kohteista ja jatkokäsittelyistä ja etenkin primääritietojen saaminen on ongelmallista. Tämänhetkinen laskentamalli perustuu enimmäkseen sekundääritietoihin ja arvioihin, joten mallin luotettavuuden lisäämiseksi olisi panostettava primääritiedon määrän lisäämiseen. Laskennan perusteella jäteskenaariovaihtoehdoista lajitteleva toimintamalli osoittautui hiilijalanjäljen kannalta suotuisimmaksi pienemmissä kohteissa ja käsittelylaitospainotteinen malli suuressa kohteessa. Merkittäviä tekijöitä kohteiden hiilijalanjälkien muodostumiselle olivat metallien käsittely, jätteiden poltto sekä neitsytraaka-aineista valmistetun teräksen ja fossiilisten polttoaineiden vältetyt päästöt. Merkittävimmiksi kasvihuonekaasuiksi purku- ja korjausrakentamiskohteiden laskennassa osoittautuivat hiilidioksidin lisäksi halogenoidut hiilivedyt ja metaani.
Resumo:
The correct quantification of blast caused by the fungus Magnaporthe oryzae on wheat (Triticum aestivum) spikes is an important component to understand the development of this disease aimed at its control. Visual quantification based on a diagrammatic scale can be a practical and efficient strategy that has already proven to be useful against several plant pathosystems, including diseases affecting wheat spikes like glume blotch and fusarium head blight. Spikes showing different disease severity values were collected from a wheat field with the aim of elaborating a diagrammatic scale to quantify blast severity on wheat spikes. The spikes were photographed and blast severity was determined by using resources of the software ImageJ. A diagrammatic scale was developed with the following disease severity values: 3.7, 7.5, 21.4, 30.5, 43.8, 57.3, 68.1, 86.0, and 100.0%. An asymptomatic spike was added to the scale. Scale validation was performed by eight people who estimated blast severity by using digitalized images of 40 wheat spikes. The precision and the accuracy of the evaluations varied according to the rater (0.82
Resumo:
The aim of this study was to determine the minimum conditions of wetness duration and mean temperature required for Fusarium head blight infection in wheat. The weather model developed by Zoldan (2008) was tested in field experiments for two wheat cultivars grown in 2005 (five sowing dates) and 2006 (six sowing dates) in 10 m² plots with three replicates. The disease was assessed according to head incidence (HI), spikelet incidence (SI), and the interaction between these two methods was called head blight severity (HBS). Starting at the beginning of anthesis, air temperature and head wetness duration were daily recorded with an automatic weather station. With the combination of these two factors, a weather favorability table was built for the disease occurrence. Starting on the day of flowering beginning (1 - 5% fully exserted anthers), the sum of daily values for infection favorability (SDVIF) was calculated by means of a computer program, according to Zoldan (2008) table. The initial symptoms of the disease were observed at 3.7% spikelet incidence, corresponding to 2.6 SVDFI. The infection occurs in wheat due to rainfall which results in spike wetting of > 61.4 h duration. Rainfall events forecast can help time fungicide application to control FHB. The name of this alert system is proposed as UPF-scab alert.
Resumo:
The flow of information within modern information society has increased rapidly over the last decade. The major part of this information flow relies on the individual’s abilities to handle text or speech input. For the majority of us it presents no problems, but there are some individuals who would benefit from other means of conveying information, e.g. signed information flow. During the last decades the new results from various disciplines have all suggested towards the common background and processing for sign and speech and this was one of the key issues that I wanted to investigate further in this thesis. The basis of this thesis is firmly within speech research and that is why I wanted to design analogous test batteries for widely used speech perception tests for signers – to find out whether the results for signers would be the same as in speakers’ perception tests. One of the key findings within biology – and more precisely its effects on speech and communication research – is the mirror neuron system. That finding has enabled us to form new theories about evolution of communication, and it all seems to converge on the hypothesis that all communication has a common core within humans. In this thesis speech and sign are discussed as equal and analogical counterparts of communication and all research methods used in speech are modified for sign. Both speech and sign are thus investigated using similar test batteries. Furthermore, both production and perception of speech and sign are studied separately. An additional framework for studying production is given by gesture research using cry sounds. Results of cry sound research are then compared to results from children acquiring sign language. These results show that individuality manifests itself from very early on in human development. Articulation in adults, both in speech and sign, is studied from two perspectives: normal production and re-learning production when the apparatus has been changed. Normal production is studied both in speech and sign and the effects of changed articulation are studied with regards to speech. Both these studies are done by using carrier sentences. Furthermore, sign production is studied giving the informants possibility for spontaneous speech. The production data from the signing informants is also used as the basis for input in the sign synthesis stimuli used in sign perception test battery. Speech and sign perception were studied using the informants’ answers to questions using forced choice in identification and discrimination tasks. These answers were then compared across language modalities. Three different informant groups participated in the sign perception tests: native signers, sign language interpreters and Finnish adults with no knowledge of any signed language. This gave a chance to investigate which of the characteristics found in the results were due to the language per se and which were due to the changes in modality itself. As the analogous test batteries yielded similar results over different informant groups, some common threads of results could be observed. Starting from very early on in acquiring speech and sign the results were highly individual. However, the results were the same within one individual when the same test was repeated. This individuality of results represented along same patterns across different language modalities and - in some occasions - across language groups. As both modalities yield similar answers to analogous study questions, this has lead us to providing methods for basic input for sign language applications, i.e. signing avatars. This has also given us answers to questions on precision of the animation and intelligibility for the users – what are the parameters that govern intelligibility of synthesised speech or sign and how precise must the animation or synthetic speech be in order for it to be intelligible. The results also give additional support to the well-known fact that intelligibility in fact is not the same as naturalness. In some cases, as shown within the sign perception test battery design, naturalness decreases intelligibility. This also has to be taken into consideration when designing applications. All in all, results from each of the test batteries, be they for signers or speakers, yield strikingly similar patterns, which would indicate yet further support for the common core for all human communication. Thus, we can modify and deepen the phonetic framework models for human communication based on the knowledge obtained from the results of the test batteries within this thesis.
Resumo:
Työn tavoitteena oli kehittää toimintoperusteista kustannuslaskentaa soveltamalla laskentamalli, jonka avulla on mahdollista tutkia postipalveluyrityksen tuotannollisen prosessin kokonaistuottavuuden kannalta optimaalista tapaa hyödyntää virtuaalista lajittelujärjestelmää. Kimputuksen osalta syntyi teoreettinen laskentamalli, mutta kuljetusyksiköinnin osalta pyrittiin muodostamaan todellista prosessia mahdollisimman hyvin noudattava malli, jonka tuloksia on helppo tutkia erilaisilla kustannus- ja lähetysparametreillä. Virtuaalisen lajittelujärjestelmän tuotannollisen hyödyntämisen ohella työssä oli tarkoitus toteuttaa alustavaa analyysia siitä, millä tapaa järjestelmän avulla voidaan tuottaa myös muuta lisäarvoa postipalvelutuotannolle. Analyysissa havaittiin alustavia hyödyntämismahdollisuuksia palvelutuotannon kuormitussuunnittelun, osoitelaatusidonnaisten toimintojen sekä postiin jätön ja prosessiin ohjauksen osalta. Ottamatta kantaa hyödyntämismahdollisuuksien toteutettavuuteen analyysin keskeinen tulos oli kuitenkin se, että järjestelmän hyödyntämisen osalta tutkimattomia teitä on vielä lukuisia.
Resumo:
Tämän diplomityön tarkoituksena oli löytää kehityskohteita Fortumin Loviisan ydinvoimalaitoksen konventionaalisesta, eli tavanomaisesta, jätehuollosta. Tavoitteena oli löytää erityisesti keinoja kaatopaikkajätteen määrän vähentämiseksi sekä lajittelun tehostamiseksi. Myös jätelainsäädännön kokonaisuudistuksen vaikutukset jätehuollon toimintaan olivat työn kannalta keskeisessä roolissa. Työ tehtiin jätehuoltosuunnitelman rakennetta noudattaen. Jätehuoltosuunnitelma koostuu alkukartoituksesta sekä jätehuoltosuunnitelman laatimisesta ja toteutuksesta. Varsinaisina kehitystarpeiden kartoittamismenetelminä käytettiin viranomaisvaatimusten selvittämistä, toiminnan tarkastelua, jätehuoltokyselyä voimalaitoksen työntekijöille, benchmarkingia sekä valittujen hyötykäyttö- ja loppusijoitusmenetelmien kustannusvertailua. Tulokseksi saatiin, että jätteiden lajittelua voitaisiin tehostaa ennen kaikkea lisäämällä työntekijöiden koulutusta. Lajittelun helpottamiseksi ohjeistuksen tulee olla paremmin saatavilla sekä voimalaitoksen omalle henkilöstölle kuin urakoitsijoillekin. Ongelmajätehuollossa eniten ongelmia ilmeni ongelmajätepakkausten merkitsemisessä jätteiden syntypaikoilla. Tähän ratkaisuna ehdotettiin kokeiltavaksi jätteiden syntykohteisiin sijoitettavia jätekortteja, joista pakkaajat voisivat helposti tarkistaa tarvittavat merkinnät. Myös mustan jäteöljyn keräämistä olisi mahdollista parantaa, jotta suurempi osa siitä saataisiin hyödynnettyä materiaalina. Kaatopaikkajätteen määrän vähentämiseksi työssä ehdotettiin sekajätteen viemistä kaatopaikan sijaan poltettavaksi. Muutoksen seurauksena voimalaitoksen jätehuollon kustannukset saattavat lisääntyä, mutta ympäristön kannalta muutos tulisi olemaan positiivinen.
Resumo:
The evaluation of technologies employed at the agricultural production system such as crop rotation and soil preparation, both associated with crop-livestock integration, is crucial. Therefore, the aim of the present study was to evaluate the incorporation of lime for three no-tillage systems and cultural managements in system of crop-livestock integration, with emphasis on corn grain yield. The experiment was conducted from January 2003 to April 2005 at Selvíria city, MS, in Dystroferric Red Latosol, clay texture. The experimental design was randomized blocks with split plots consisted of three main treatments, aimed the soil physics conditioning and the incorporation of lime: PD - No-no-tillage; CM - minimum no-tillage, and PC - conventional no-tillage; and of two secondary treatments related to the management: rotation and crop succession, with four replications. Data on agronomic traits of maize were analyzed: plant height, stem diameter, height of the first spike insertion, 100 grains weight and grain yield. The results showed that the maize produced under the system of crop-livestock integration is quite feasible, showing that grain yields are comparable to averages in the region and the different soil physical conditioning and incorporation of lime did not influence the corn yield as well as the cultural managements, rotation and succession, did not affect the maize crop behavior after two years of cultivation.
Resumo:
Työssä luodaan katsaus tuulivoiman käyttöön historiassa sekä tuulivoiman hyödyntämiseen sähköntuotantoon nykyaikaisessa yhteiskunnassa. Lisäksi esitellään modernin kolmilapaisen tuuliturbiinin tekniikkaa. Työssä tarkastellaan kolmen suuren tuulivoimaloita valmistavien yrityksien patentointiaktiivisutta aikavälillä 2000–2010 ja patenttien lukumäärässä, maantieteellisessä vaihtelussa, tyypissä ja luokissa esiintyviä trendejä. Näiden pohjalta luodaan kokonaiskuva tuulivoiman teollisuuden kehityksestä 2000-luvun alussa ja odotetuista tulevaisuuden näkymistä. Vuosituhannen vaihteen jälkeen patentointiaktiivisuus on kasvanut tuulivoimateknologiayrityksillä. Etenkin vuonna 2007 havaitaan piikki patenttien lukumäärässä. Patentointitoiminta on keskittynyt Eurooppaan, Pohjois-Amerikkaan sekä Kiinaan. Tuulivoimateknologian voidaan olettaa kehittyvän sekä koossa että kustannustehokkuudessa.
Resumo:
Kaasukaarihitsauksessa suojakaasuna käytetään yleensä argonin ja hiilidioksidin tai argonin ja heliumin seoksia. Suojakaasu vaikuttaa useisiin hitsausominaisuuksiin, jotka puolestaan vaikuttavat hitsauksen laatuun ja tuottavuuteen. Automaattisella suojakaasun tunnistuksella ja virtausmäärän mittauksella voitaisiin tehdä hitsauksesta paitsi käyttäjän kannalta yksinkertaisempaa, myös laadukkaampaa. Työn tavoite on löytää mahdollisimman edullinen ja kuitenkin mahdollisimman tarkasti kaasuseoksia tunnistava menetelmä, jota voitaisiin hyödyntää MIG/MAG-hitsauskoneeseen sisäänrakennettuna. Selvä etu on, jos menetelmällä voidaan mitata myös kaasun virtausmäärä. Äänennopeus kaasumaisessa väliaineessa on aineen atomi- ja molekyylirakenteesta ja lämpötilasta riippuva ominaisuus, joka voidaan mitata melko edullisesti. Äänennopeuden määritys perustuu ääniaallon kulkuajan mittaamiseen tunnetun pituisella matkalla. Kaasun virtausnopeus on laskettavissa myötä- ja vastavirtaan mitattujen kulkuaikojen erotuksen avulla. Rakennettu mittauslaitteisto koostuu kahdesta ultraäänimuuntimesta, joiden halkaisija on 10 mm ja jotka toimivat sekä lähettimenä että vastaanottimena. Muuntimet ovat 140 mm:n etäisyydellä toisistaan virtauskanavassa, jossa suojakaasu virtaa yhdensuuntaisesti äänen kanssa. Virtauskanava on putki, jossa on käytetty elastisia materiaaleja, jotta ääniaaltojen eteneminen kanavan runkoa pitkin minimoituisi. Kehitetty algoritmi etsii kahden lähetetyn 40 kHz:n taajuisen kanttiaaltopulssin aiheuttaman vasteen perusteella ääniaallon saapumisajanhetken. Useiden mittausten, tulosten lajittelun ja suodatuksen jälkeen tuntemattomalle kaasulle lasketaan lämpötilakompensoitu vertailuluku. Tuntematon kaasu tunnistetaan vertailemalla lukua tunnettujen kaasuseosten mitattuihin vertailulukuihin. Laitteisto tunnistaa seokset, joissa heliumin osuus argonissa on enintään 50 %. Hiilidioksidia sisältävät argonin seokset puolestaan tunnistetaan puhtaaseen hiilidioksidiin asti jopa kahden prosenttiyksikön tarkkuudella. Kaasun tilavuusvirtausmittauksen tarkkuus on noin 1,0 l/min.
Resumo:
Connectivity depends on rates of dispersal between communities. For marine soft-sediment communities continued small-scale dispersal as post-larvae and as adults can be equally important in maintaining community composition, as initial recruitment of substrate by pelagic larvae. In this thesis post-larval dispersal strategies of benthic invertebrates, as well as mechanisms by which communities are connected were investigated. Such knowledge on dispersal is scarce, due to the difficulties in actually measuring dispersal directly in nature, and dispersal has not previously been quantified in the Baltic Sea. Different trap-types were used underwater to capture dispersing invertebrates at different sites, while in parallel measuring waves and currents. Local community composition was found to change predictably under varying rates of dispersal and physical connectivity (waves and currents). This response was, however, dependent on dispersal-related traits of taxa. Actively dispersing taxa will be relatively better at maintaining their position, as they are not as dependent on hydrodynamic conditions for dispersal and will be less prone to be passively transported by currents. Taxa also dispersed in relative proportions that were distinctly different from resident community composition and a significant proportion (40 %) of taxa were found to lack a planktonic larval life-stage. Community assembly was re-started in a large-scale manipulative field experiment over one year across several sites, which revealed how patterns of community composition (α-, β- and λ-diversity) change depending on rates of dispersal. Results also demonstrated that in response to small-scale disturbance, initial recruitment was by nearby-dominant species after which other species arrived from successively further away. At later assembly time, the number of coexisting species increased beyond what was expected purely by local niche requirements (species sorting), transferring regional differences in community composition (β-diversity) to the local scale (α-diversity, mass effect). Findings of this thesis complement more theoretical studies in metacommunity ecology by demonstrating that understanding how and when individuals disperse relative to underlying environmental heterogeneity is key to interpreting how patterns of diversity change across different spatial scales. Such information from nature is critical when predicting responses to, for example, different types of disturbances or management actions in conservation.
Resumo:
Twelve Brazilian isolates and one reference vaccine strain of avian infectious bronchitis virus (IBV) were propagated in embryonating chicken eggs. The entire S1 glycoprotein gene of these viruses was analysed by reverse-transcriptase-polymerase chain reaction and restriction fragment length polymorphism (RT-PCR-RFLP), using the restriction enzymes HaeIII, XcmI and BstyI. The RFLP patterns led to the classification of these isolates into five distinct genotypes: A, B, C, D and Massachusetts. Five of twelve isolates were grouped in Massachusetts genotype and the remaining seven viruses were classified into four distinct genotypes: A (2), B (2), C (2) or D (1). Such genotyping classification agreed with previous immunological analysis for most of these viruses, highlighting the occurrence of a relevant variability among the IBV strains that are circulating in Brazilian commercial poultry flocks.
Resumo:
Diplomityön tavoitteena oli selvittää Etelä-Karjalan alueen yritysten jätevirtoja ja sekalaisen rakennusjätteen koostumusta. Jätevirtojen selvityksessä keskityttiin metsäteollisuuden, rakennusteollisuuden ja kaupan alan jätevirtoihin. Tarkoituksena oli selvittää mahdollisessa jätteenkäsittelylaitoksessa hyödynnettävien jätejakeiden määrät. Selvitettyjen tietojen perusteella arvioitiin erilaisten jätteenkäsittelyvaihtoehtojen kannattavuutta yritysnäkökul-masta Etelä-Karjalan alueella. Rakennusjätteen koostumusta tutkittiin lajittelemalla ja pun-nitsemalla sekalaisia rakennusjätekuormia jätejakeittain. Etelä-Karjalan alueen jätevirtoja selvitettiin muun muassa yrityshaastatteluin ja hyödyntämällä Lassila & Tikanoja Oyj:n tietokantaa. Sekalaisen rakennusjätteen lajittelututkimuksessa selvisi, että sekalaisissa rakennusjäte-kuormissa on lähes 50 m-% hyödynnettävissä olevia jätejakeita. Energiajaetta kuormissa oli yhteensä noin 34 m-% ja kaatopaikkajätettä noin 52 m-%. Kaupan alalta syntyy pää-sääntöisesti paljon pakkausmateriaaleista koostuvaa energiajaetta, kun taas metsäteollisuu-desta syntyy paljon erilaisia prosessijätteitä, joita ei voida hyödyntää työssä tutkituilla me-netelmillä. Lappeenrannan ja Imatran alueilla arvioidaan syntyvän energiajaetta metsäteol-lisuudesta, kaupan alalta ja rakennusteollisuudesta yhteensä noin 4 300 t, puujätettä noin 5 000 t ja sekalaista rakennusjätettä noin 11 700 t. Metsäteollisuuden, rakennusteollisuuden ja kaupan alan jätevirrat Etelä-Karjalassa eivät ole riittävät taloudellisesti kannattavan jätteenkäsittelylaitoksen perustamiseksi. Arvioinnissa huomioitiin laitoksen investointikustannukset sekä muut aiheutuvat kustannukset. Energiajakeen siirtokuormausasema todettiin kannattavaksi tilanteessa, jossa energiajae toimitettaisiin Etelä-Karjalan sijasta Lahteen tai Kouvolaan.