Generalizing sample tree information with semiparametric and parametric models

Summary

New, low estimate for carbon stock in global forest vegetation based on inventory data

Abstract

Virtuaaliprototyypin käyttö kallioporakoneen dynamiikan analysoinnissa

Työn tavoitteena oli selvittää kaupallisen dynamiikan simulointiohjelmiston soveltuvuus kallioporakoneen dynamiikan analysointiin. Työssä mallinnettiin parametrisoitu virtuaaliprototyyppi uudenlaisella toimintaperiaatteella toimivasta kallioporakoneesta. Virtuaaliprototyyppiä on tarkoitus käyttää fyysisen prototyypin mitoituksessa sekä porakoneen toiminnan simuloinnissa ja suorituskyvyn arvioinnissa ennen ensimmäisen fyysisen prototyypin valmistamista. Mallinnus tehtiin ADAMS -ohjelmistoa ja siihen liitettävää ADAMS/Hydraulics -moduulia käyttäen. Mallinnuksessa kiinnitettiin huomiota erityisesti porakoneessa esiintyvien vuotovirtauksien huomioimiseen. ADAMS -ohjelmisto soveltuu hyvin hydraulisen iskuporakoneen dynaamisten ilmiöiden simulointiin. Koska fyysistä prototyyppiä ei ole vielä olemassa, ei mallin toimintaa voida kuitenkaan tämän tutkimuksen puitteissa verifioida mittauksin. Simuloitujen tulosten perusteella voidaan todeta uuden toimintaperiaatteen olevan käyttökelpoinen kallion poraukseen. Parametrisoitua virtuaaliprototyyppiä voidaan käyttää tehokkaasti hyväksi tuotekehitysvaiheessa sekä se voidaan liittää osaksi laajempaa ja yksityiskohtaisempaa porauslaitteen simulointimallia.

Word Equations and Related Topics. Independence, Decidability and Characterizations

The three main topics of this work are independent systems and chains of word equations, parametric solutions of word equations on three unknowns, and unique decipherability in the monoid of regular languages. The most important result about independent systems is a new method giving an upper bound for their sizes in the case of three unknowns. The bound depends on the length of the shortest equation. This result has generalizations for decreasing chains and for more than three unknowns. The method also leads to shorter proofs and generalizations of some old results. Hmelevksii’s theorem states that every word equation on three unknowns has a parametric solution. We give a significantly simplified proof for this theorem. As a new result we estimate the lengths of parametric solutions and get a bound for the length of the minimal nontrivial solution and for the complexity of deciding whether such a solution exists. The unique decipherability problem asks whether given elements of some monoid form a code, that is, whether they satisfy a nontrivial equation. We give characterizations for when a collection of unary regular languages is a code. We also prove that it is undecidable whether a collection of binary regular languages is a code.