Nondeterministic Discontinuous Lambek Calculus (original) (raw)
Tämä osa lukuteoriasta kuuluu matematiikan laajan oppimäärän valin-naisiin kursseihin. Kurssi käsittelee matemaattisen logiikan ja lukuteorian perusteita. Esimerkki. Jos sinulla on kaksi tikkua, joiden pituudet ovat 5 m ja 3 m, niin kuinka voit mitata 1 m pituuden? I 5 m 5 m 3 m 3 m 3 m 2 · 5 − 3 · 3 = 1. II 3 m 3 m 5 m 2 · 3 − 1 · 5 = 1. Harjoitus. Entä jos sinulla on tikut, joiden pituudet ovat 8 m ja 5 m, 10 m ja 6 m, voitko mitata 2 m pituuden samoilla tikuilla? Mitä pituuksia voit mitata? Ratkaisu. Oletetaan, että on käytössä x kpl 8 m tikkuja ja y kpl 5 m tikkuja. Onko seuraavilla yhtälöllä ratkaisuja? I x · 8 + y · 5 = 1 (m), II x · 10 + y · 6 = 1 (m), III x · 8 + y · 5 = 2 (m), IV x · 10 + y · 6 = 2 (m), missä x, y ∈ Z. Yhtälötyyppiä xa + yb = c kutsutaan Diofantoksen yhtälöksi, ja se on nimetty kreikkalaisen matemaatikon Diofantoksen mukaan. Hän tutki yhtä-löiden ratkaisumenetelmiä ja oli ensimmäinen, joka käytti algebrallisia merk-kejä. Hän ei kuitenkaan tutkinut Diofantok...
2004
Artikkelissaan "Heidegger ja suomalainen analyyttinen fi losofi a" (Tieteessä tapahtuu 2/2004) Sami Pihlström lukee teokseni Se ei sittenkään pyöri (jatkossa SESP, Tammi 2002) jatkavan kääntäen sitä teilausperinnettä, jolla on reagoitu eritoten Martin Heideggerin ajatteluun. Pihlström näkee kirjassa vastaiskun aineksia ja katson sen jatkavan jyrkkien ja hedelmättömi-en vastakkaisuuksien rakentamista fi losofi seen kenttään. Pihlströmin kirjoitus hämmensi minua, koska kirjoittaessani kirjaa olin tavoitellut aivan muuta. Teosta valmistellessani myös pyrin punnitsemaan jokaisen sanan huolella ja työstämään tekstiä kunnes se on havainnollisen selkeä. Pihlströ
Disnormatiivinen informaatio Tor-verkossa
Informaatiotutkimus
Pimeä verkko eli Dark Web (Gehl 2018) on anonyymin informaation liikkumisen mahdollistava, erillisellä selaimella käytettävä verkko. Siitä käytetään usein myös nimeä Tor-verkko, koska palvelua voidaan käyttää esimerkiksi Tor-selaimen avulla. Anonyymin luonteensa vuoksi se soveltuu hyvin esimerkiksi rikolliseen toimintaan (vrt. esim. Haasio, Harviainen & Savolainen 2020). Disnormatiivinen informaatio voidaan Haasion (2015; 2019) mukaan määritellä informaatioksi, joka on luonteeltaan yhteiskunnan enemmistön arvojen, asenteiden tai vaihtoehtoisesti myös lainsäädännön vastaista. Tämän
Theory of Loops and Strings with Matter in the Adjoint Representation
International Journal of Modern Physics A, 1995
We have presented canonical and path integral formulations of a theory of loops and closed strings with the matter field quanta transforming in the adjoint representation of the SU (N) gauge group. The physical processes arising out of the interactions of loops and closed strings are discussed.
Siniketun taloudellisesti tärkeiden ominaisuuksien geenikartoitus
Suomen Maataloustieteellisen Seuran Tiedote, 2006
Siniketulle laadittiin geneettinen kytkentäkartta käyttäen mikrosatelliittimerkkejä. Yhteensä 130 koiran mikrosatelliittimerkin toimivuus ja muuntelun määrä testattiin siniketulla. Näistä merkeistä 102 voitiin genotyypittää kartoituspopulaatiossa. Kartoituspopulaatio koostui kolmen sukupolven aineistosta. Lähtöpopulaatiossa neljä urosta paritettiin 16 naaraan kanssa. Näiden jälkeläisistä (F1) paritettiin 10 urosta 33 naaraan kanssa kahtena peräkkäisenä vuotena. F2 -sukupolvessa oli 392 jälkeläistä. Yhteensä kartoituspopulaatiossa oli yksilöitä 455. Laaditussa kytkentäkartassa on 87 merkkiä 17 kytkentäryhmässä ja kartan kokonaispituus on 1658 senttiMorgania (cM). Kytkentäkartat laskettiin kummallekin sukupuolelle erikseen sekä keskiarvokarttana. Yksittäisten kytkentäryhmien pituudet sukupuolten keskiarvokartassa vaihtelivat 4,9 – 322,2 cM välillä. Taloudellisesti tärkeistä ominaisuuksista tutkittiin eläimen kokoa ja turkin laatuominaisuuksia. Eläimen koko mitattiin yksilön painona ja...
Selvitys kalliotunnelin kallioteknisestä suunnittelusta: Esiselvitys
2018
This study deals with the design and rock engineering of rock tunnels. In Finland, there are currently no national guidelines (design principles-standards) related to rock tunnel engineering (including rock construction design and rock structure design) neither Eurocodes explicitly describing the process of designing rock spaces.
Teräsrakenteiden Diskreetti Optimointi
2021
Diskreetillä optimoinnilla tarkoitetaan optimointitehtävää, missä yksi tai useampi suunnittelumuuttujista saa diskreettejä arvoja, kuten kokonaislukuja tai binäärisiä arvoja. Tavanomaiset teräsrakenteet muodostuvat teollisuudessa yleisesti käytetystä standardiprofiileista, joka tekee suunnittelutehtävästä diskreetin. Diskreettien optimointitehtävien haasteena on hakuavaruuden laajuus, sillä sen suuruus kasvaa eksponentiaalisesti käytettävissä olevien profiilien mukaan. Työssä tarkastellaan erilaisia menetelmiä lähestyä diskreettiä optimointiongelmaa käyttäen apuna kirjallisuudessa yleisesti käytettyjä ristikkorakenteita. Työn teoriaosuudessa käydään läpi matemaattisen optimoinnin käsitteitä sekä tehtävien ratkaisemiseen käytettyjen algoritmien toimintaperiaateet. Työssä tarkastellaan eurokoodin mukaisesti mitoitetun tasoristikon geometriaoptimointia. Liitosten mitoitus suoritetaan geometriaoptimoinnin kanssa samanaikaisesti. Eurokoodin mukaiset sauvan ja liitoksen kestävyysehdot esi...
Terra, 2022
We present results from an expert questionnaire about the role of urban habitat types (biotopes) for urban biodiversity. Building upon the Biodiversity Quality framework (Feest 2006), we suggest nine community attributes that jointly act as a composite measure for urban biodiversity: species richness, habitat specialist species, biomass, abundance, evenness, uniqueness, regional representativeness, sensitivity, and connectivity. 24 taxonomic experts (representing vascular plants, polypores, fungi, birds, bats, mammals, herpetofauna, butterflies, hymenoptera, and beetles) scored 68 pre-defined urban biotopes in terms of their support for Biodiversity Quality in the Helsinki metropolitan area. Herb-rich forests and certain anthropogenic biotopes like fortifications generally received highest scores, whereas constructed areas like paved yards gained lowest scores. Results are mostly applicable in other Southern Finnish cities. Our openly available results provide a good tentative understanding of the biodiversity value of different urban environments. Biodiversity Quality is a more holistic measure than mere presence of protected or endangered species and it therefore supports biodiversity-aware and sustainable urban planning.