Moderni izzivi poučevanja matematike

Slides:



Advertisements
Παρόμοιες παρουσιάσεις
Ο Άνθρωπος είναι ένα ον το οποίο φτιάχνει πολιτισμό και έχει βαθύ στοχασμό, συναισθήματα και σεβασμό στη ζωή των άλλων. Ορισμός.
Advertisements

UNIVERZITETNI ŠTUDIJSKI PROGRAM BIOKEMIJA
דוגמאות - תנועה במישור בהשפעת כוח קבוע
Slučajne spremenljivke
Kaj je težje: kilogram bakra ali kilogram železa?
DELO A – delo [ J ] A = F · s F – sila [ N ] s – pot [ m ] J = N · m
UNIVERZITETNI ŠTUDIJSKI PROGRAM BIOKEMIJA
Aromatske spojine Azra Kljajić, 3. e Aromatske spojine Prof. :
Madžarska metoda Uroš Ribič.
MATEMATIKA S STATISTIKO
Tomaž Pušenjak, G1.B
KRUŽNICA I KRUG VJEŽBA ZA ISPIT ZNANJA.
Tok tekočin in hidrodinamične operacije
Matematika na školskom igralištu
Merjenje brez računalnika
Digitalne komunikacije preko (lastnosti in omejitve)
MELITA MESARIĆ UČITELJICA MATEMATIKE Osnovna škola Svibovec
PRAŽIVALI in SPUŽVE.
Organizacija in struktura trga
KROŽNICE V PERSPEKTIVI
5. Teorija produkcije Teorija produkcije preučuje razmerja med ___________ (poslovne prvine oziroma proizvodni dejavniki) in _________ (poslovni učinki.
NASLOV TEME: OPTICKE OSOBINE KRIVIH DRUGOG REDA
Čvrstih tela i tečnosti
KOTIRNA PROJEKCIJA FAKULTETA ZA ARHITEKTURO UNIVERZA V LJUBLJANI
Boro Nikić Oddelek za vzorčenje in anketno metodologijo November, 2011
Toplotno sirenje cvrstih tela i tecnosti
PROPORCIONALNI-P REGULATOR
UNIVERZITETNI ŠTUDIJSKI PROGRAM BIOKEMIJA
Lokalne lastnosti funkcije: zveznost, odvedljivost.
izr. prof. dr. Vojko KILAR asist. dr. David Koren marec, 2012
Ekonomika poslovanja, Poslovno računstvo, 4. letnik
PLATON: DRŽAVA I. – IV. KNJIGA Mentor: Avtor:.
Einstein in sateliti.
IONIZIRAJOČA SEVANJA Dijakinji : Renata Juko, Anja Salkič 3.d
Masno ravnotežje Zamislimo si kos kamnine s koncentracijo sledne prvine i (nadpis 0 pomeni začetno koncentracijo) in Dimineral/talina = 0 (popolnoma nezdružljiva.
Vzgon Tomaž Pušenjak, G1.B
Ojlerovi uglovi Filip Luković 257/2010 Uroš Jovanović 62 /2010
Izračun dolžine dneva in čas vzhoda in zahoda tekom leta
OSNOVNI ELEMENTI OPISNE GEOMETRIJE IN OSNOVE PROJICIRANJA
Vijetove formule. Rastavljanje kvadratnog trinoma na linearne činioce
Dinamika TEKOČIN -II.
TROUGΔO.
Vijetove formule. Rastavljanje kvadratnog trinoma na linearne činioce
Amanda Teršar, Urša Miklavčič 9.A
JEDNAČINA PRAVE Begzada Kišić.
Obrada slika dokumenta
Klimatologija - Vaje 3. vaja Zračni pritisk.
RELATIVNA ŠTEVILA.
Lastnosti elementov Kapacitivnost Upornost Q A U d l U I.
USMERJENI IN ORIENTIRANI PODATKI 5.1. UVOD
Najkrajše poti in Bellman-Fordov algoritem
OPISNA GEOMETRIJA doc. dr. Domen Kušar.
Geometrija v ravnini – 2 Trikotnik Podrobna razlaga
ŠTIRIKOTNIKI D δ1 c C δ
PRESEKI RAVNIN SKOZI OKROGLA TELESA
PERSPEKTIVNA KOLINEACIJA AFINOST KROŽNIC GEOMETRIJSKEGA TELESA
I zatim u zagradi, opravdavajući se, dodaje:
SEGREVANJE VODNIKOV V USTALJENEM STANJU dr. Vitodrag Kumperščak
FEROMAGNETIZAM MATEJ POPOVIĆ,PF.
Vježbe 1.
4. Direktno i inverzno polarisani PN spoja
10. PLAN POMAKA I METODA SUPERPOZICIJE
Prisjetimo se... Koje fizikalne veličine opisuju svako gibanje?
DISPERZIJA ( raspršenje, rasap )
8 OPTIČKE LEĆE Šibenik, 2015./2016..
Dubinska sreća od smrti spašene Iv 8,1-12
Ivana Tvrdenić OŠ 22. lipnja SISAK.
Тригонометриялық функциялардың графиктері.
-je elektromagnetsko zračenje koje je vidljivo ljudskom oku
Μεταγράφημα παρουσίασης:

Moderni izzivi poučevanja matematike TOPOLOGIJA V ROBOTIKI POVZETEK TOPOLOGIJA V ROBOTIKI Moderni izzivi poučevanja matematike Ljubljana, 25.1.2013 Robotika je veda, ki se ukvarja z načrtovanjem, konstruiranjem in krmiljenjem robotov. Gre za izrazito interdisciplinarno področje, ki združuje mnoga inženirska in računalniška znanja, uporablja pa tudi matematične rezultate in metode iz geometrije, analize, numerike in teorije algoritmov. Na predavanju bomo predstavili dva topološka problema, ki izvirata iz robotike. Prvi obravnava znano težavo, da pri robotskih napravah, ki imajo rotacijske elemente vedno obstajajo lege, pri katerih se naprave v določenem smislu zaskočijo. Izkaže se, da so problematične točke natanko singularne točke t.im direktne kinematične preslikave, s pomočjo topologije pa lahko razložimo, zakaj se singularnim točkam ni mogoče izogniti. Drugi primer je povezan z izdelavo navigacijskih načrtov za robote, kjer moramo na podlagi informacije o izhodiščni in ciljni legi robotske naprave določiti zaporedje premikov, ki bo napravo prevedla iz ene lege v drugo. Izkaže se, da tega v splošnem ni mogoče narediti z enim samim zveznim načrtom, kar nas pripelje do pojma topološke kompleksnosti sistema. 1

TOPOLOGIJA V ROBOTIKI UVOD KAJ JE ROBOTIKA? Robotika je veda, ki se ukvarja z načrtovanjem, konstruiranjem in krmiljenjem robotov. Roboti so elektro-mehanske, računalniško vodene naprave, ki izvajajo določene naloge. Krmiljenje industrijskega robota Topološki problemi se večinoma pojavljajo pri krmiljenu robotskih naprav. Osnovni problem pri krmiljenju robotov je določiti zaporedje premikov sklepov ali vodil, ki napravo premaknejo v zahtevano lego. 2

Preprosta dvoosna naprava lahko z vrtenjem doseže vse točke sfere. TOPOLOGIJA V ROBOTIKI UVOD Preprosta dvoosna naprava lahko z vrtenjem doseže vse točke sfere. Osnovna naloga je: kako napravo premakniti iz ene točke v drugo. Pri tem se pojavita dva bazična problema: 1. Kako izbrati pot, po kateri lahko izpeljemo premik? 2. Kako izbrano pot realizirati z vrtenjem osi naprave? Če zahtevamo, da sta rešitvi zvezni, se izkaže, da sta oba problema v bistvu topološka. 3

TOPOLOGIJA V ROBOTIKI UVOD KAJ JE TOPOLOGIJA? Topologija je veja matematike, ki študira lastnosti geometrijskih objektov, ki se ne spreminjajo pri majhnih deformacijah. Šalica je topološko ekvivalentna obroču, ker jo lahko deformiramo v obroč z zaporedjem majhnih deformacij. Tudi v vsakdanjem življanju pogosto enačimo podobne objekte: Problem je topološki, kadar je neobčutljiv na majhne deformacije in je torej odvisen le od topoloških lastnosti nastopajočih objektov. 4

MATEMATIČNA FORMULACIJA PROBLEMA TOPOLOGIJA V ROBOTIKI KINEMATIČNA PRESLIKAVA MATEMATIČNA FORMULACIJA PROBLEMA Lego točke lahko eksplicitno izrazimo s pomočjo kotov, za katere zavrtimo osi. (x,y,z) x=r cos cos y=r cos sin  z=r sin direktna kinematična preslikava opiše lego robotske roke, če so znane lege sklepov   obratna kinematična preslikava na podlagi lege robotske roke določi lege sklepov  = (x,y,z)  = (x,y,z) Obratna kinematična preslikava praviloma ni enolična. Gibanje robota je določeno z gibanjem sklepov, tj. s funkcijama  = (t) in  = (t) (kjer t označuje čas). 5

Obratna kinematična preslikava ni zvezna. TOPOLOGIJA V ROBOTIKI KINEMATIČNA PRESLIKAVA Kaj se zgodi, če napravo v iztegnjenem položaju poskusimo premakniti v smer, ki je pravokotna na ravnino vrtenja kazalca? Moramo najprej zavrteti za 90o... in potem premakniti v željeno smer. Potreben je velik zasuk okoli navpične osi, ne glede na majhnost zahtevanega premika! Obratna kinematična preslikava ni zvezna. 6

direktna kinematična preslikava je d: K × K  S TOPOLOGIJA V ROBOTIKI KINEMATIČNA PRESLIKAVA Natančnejši pogled: lega sklepov je določena z izbiro ,  K, vse možne lege lahko gledamo kot točke na torusu K × K možne lege konca roke so točke na sferi S direktna kinematična preslikava je d: K × K  S   d Večina leg na sferi je slika natanko dveh leg na torusu. Izjemi sta tečaja sfere, v katera se preslikajo vse točke na označenih krožnicah. Glavno razliko opazimo, ko pogledamo, kako se preslikajo tangentne ravnine: Slike ravnin so večinoma dvorazsežne, razen pri tečajih, kjer so le enorazsežne. To pomeni, da z majhnimi premiki sklepov lahko dobimo premike roke le v eni smeri. 7

če dodamo še en sklep, dobimo kinematično preslikavo d: K × K × K  S. TOPOLOGIJA V ROBOTIKI KINEMATIČNA PRESLIKAVA S pomočjo topološke teorije svežnjev lahko pokažemo, da vsaka preslikava iz torusa na sfero ima tovrstne izrojene točke, kjer slika tangentne preslikave ni dvorazsežna, torej naprave ni mogoče z majhnim gibom premakniti v poljubno smer. Ker je dimenzija slike premajhna, lahko poskusimo povečati dimenzijo domene: če dodamo še en sklep, dobimo kinematično preslikavo d: K × K × K  S. Ne pomaga: na skoraj enak način pokažemo, da obstajajo točke, v katerih je slika tangente preslikave enorazsežna. Enako velja ne glede na to koliko sklepov vzamemo (npr. industrijski roboti imajo običajno vsaj šest rotacijskih sklepov): vedno obstajajo točke, v katerih se naprava ‚zaskoči‘. Problemu se lahko delno izognemo s tem, da robotski roki ‚prepovemo‘ določene lege. Včasih pa to ne gre, npr. pri giroskopih, ki se sistematično uporabljajo v navigacijskih sistemih (gimbal lock, Apollo 11 incident), robotih (wrist singularity), računalniški grafiki (Euler angles gimbal lock) ipd. 8

Kako izbrati pot, po kateri lahko izpeljemo premik? TOPOLOGIJA V ROBOTIKI KONFIGURACIJSKI PROSTOR Bazična problema: Kako izbrati pot, po kateri lahko izpeljemo premik? Kako izbrano pot realizirati z vrtenjem osi naprave? Konfiguracijski prostor sistema ali naprave je prostor vseh njegovih možnih leg. Primeri: Konfiguracijski prostor robotske roke z n rotacijskimi sklepi je produkt n krožnic. Za konfiguracijski prostor lahko vzamemo tudi prostor leg vrha roke, tj. sfero. Lege praviloma opišemo z nekaj realnih parametrov, zato konfiguracijski prostor običajno gledamo kot podprostor v nekem n. Premiki sistema/naprave so poti v konfiguracijskem prostoru. 9

konfiguracijski prostor je krožnica K TOPOLOGIJA V ROBOTIKI KONFIGURACIJSKI PROSTOR PRIMERI mehanična naprava konfiguracijski prostor je krožnica K K K je torus 10

Konfiguracijski prostor je K × K × K × K × K × K TOPOLOGIJA V ROBOTIKI KONFIGURACIJSKI PROSTOR Konfiguracijski prostor je K × K × K × K × K × K Kako bi dobili konfiguracijske prostore, ki niso torusi? Z omejitvijo gibanja delov naprave. OVIRE 2π 11

Konfiguracijski prostor 3- paličnega sklopa je krožnica. TOPOLOGIJA V ROBOTIKI KONFIGURACIJSKI PROSTOR x PALIČNI SKLOPI Za vsak dopustni kot leve palice obstajata dva dopustna kota desne palice... ...razen v skrajnjih legah, ko je sklop iztegnjen in imamo le en dopustni kot desne palice. Konfiguracijski prostor 3- paličnega sklopa je krožnica. 12

Konfiguracijski prostor 4-paličnega sklopa je sfera. TOPOLOGIJA V ROBOTIKI KONFIGURACIJSKI PROSTOR x Konfiguracijski prostor 4-paličnega sklopa je sfera. Z dodajanjem krakov in osi dobimo še bolj zapletene konfiguracijske prostore. 13

x dve možni legi ena možna lega izven dosega TOPOLOGIJA V ROBOTIKI KONFIGURACIJSKI PROSTOR x dve možni legi ena možna lega izven dosega Konfiguracijski prostor je sfera. 14

x Konfiguracijski prostor je torus. TOPOLOGIJA V ROBOTIKI KONFIGURACIJSKI PROSTOR x Konfiguracijski prostor je torus. Konfiguracijski prostor n-nogega ‚pajka‘ je orientabilna ploskev roda 1+(n-4)2n-3 (tj. torus z 1+(n-4)2n-3 luknjami). Izrek (M. Kapovich, J.L.Millson, 2002) Za vsako gladko sklenjeno mnogoterost M obstaja palični sklop, katerega konfiguracijski prostor je disjunktna unija nekaj kopij M. 15

Z X označimo konfiguracijski prostor dane naprave. TOPOLOGIJA V ROBOTIKI NAVIGACIJSKI NAČRT Z X označimo konfiguracijski prostor dane naprave. Gibanje naprave lahko predstavimom s potjo α: IX. (Omejimo se na s potmi povezane konfiguracijske prostore.) x y Navigacijski načrt za X je pravilo, ki vsakemu paru točk x,y v X priredi pot α v X z začetkom v x in koncem v y. Formalno: označimo s PX prostor vseh poti v X in s p: PXX×X, preslikavo p(α)=(α(0),α(1)). Navigacijski načrt je preslikava s: X×X  PX, za katero je ps=Id. s PX X×X p 16

Zanimajo nas zvezni navigacijski načrti s: X×X  PX. TOPOLOGIJA V ROBOTIKI NAVIGACIJSKI NAČRT Zanimajo nas zvezni navigacijski načrti s: X×X  PX. Recimo, da je s: X×X  PX navigacijski načrt za X. Izberemo točko x0: tedaj preslikava x s(x, x0) določa kontrakcijo X v x0. x0 x0 Obratno, če obstaja kontrakcija X v x0, potem dobimo navigacijski načrt za pot od x do y tako, da združimo pot od x do x0 s obratom poti od y do x0. x y Zvezni navigacijski načrt obstaja le za kontraktibilne prostore. 17

Kaj pa, če konfiguracijski prostor ni kontraktibilen? TOPOLOGIJA V ROBOTIKI TOPOLOŠKA KOMPLEKSNOST Kaj pa, če konfiguracijski prostor ni kontraktibilen? x y PX X×X p U sU V tem primeru lahko poskusimo z delnimi navigacijskimi načrti, definiranimi samo za nekatere pare M. Farber (2003) Topološka kompleksnost prostora X je minimalno število delnih navigacijskih planov, ki so potrebni, da povežemo poljuben par točk v X. 18

TOPOLOGIJA V ROBOTIKI TOPOLOŠKA KOMPLEKSNOST x Topološka kompleksnost krožnice: K× K razdelimo na U={(x,y) | x+ y  0}, sU (x,y):= najkrajša pot po K od x do y V={(x,y) | x+ y =0}, sV (x,y):= pot po K od x do y v pozitivni smeri Ker K ni kontraktibilna, je TC(K)=2. x Topološka kompleksnost sfere: S× S razdelimo na: U={(x,y) | x+ y  0}, sU (x,y):= najkrajša pot po S od x do y V={(x,y) | x+ y =0}, sV (x,y):= pot po glavni krožnici na S od x skozi severni tečaj N do y Drugo pravilo ni dobro definirano za par (N,-N), zato dodamo: W={(N,-N), (-N,N)}, sW (N,-N):= poljubna pot po S , ki povezuje N in –N 2  TC(K)  3 2 ali 3? 19

Ali lahko S× S pokrijemo z dvema navigacijskima načrtoma? TOPOLOGIJA V ROBOTIKI TOPOLOŠKA KOMPLEKSNOST Ali lahko S× S pokrijemo z dvema navigacijskima načrtoma? To je precej težje vprašanje, ki za rešitev potrebuje tehnike algebraične topologije. Odgovor je NE, zato je TC(S)= 3. Še nekaj izračunov: TC(orientabilna ploskev roda g)= 3, g =0,1 5, g > 1 TC(povezan graf)= 2, graf ima en cikel 3, sicer 1, graf je drevo TC((S2n)k) = k+1, n lih 2k+1, n sod TC(SO(3))= TC(P3)=3 20

TOPOLOGIJA V ROBOTIKI HVALA ZA POZORNOST!