Grandiózní výzvy pro dlouhodobý výzkum v informatice
|
|
- Luděk Novotný
- před 8 lety
- Počet zobrazení:
Transkript
1 Grandiózní výzvy pro dlouhodobý výzkum v informatice Jiří Wiedermann Ústav informatiky AV ČR Částečně podporováno grantem 1ET Důkaz Fermatovy věty (splněno) Lidé na měsíci (splněno) Léčba rakoviny (pracuje se na tom) Přečtení genomu (splněno) Jaké problémy máme na mysli Podstata gravitace (pracuje se na tom) Teorie všeho ve fyzice (pracuje se na tom) Hilbertův program mechanizace matematiky (zlyhal v r Goedlův důkaz nemožnosti) 2
2 Příklady z informatiky Vyřešit P vs. NP problém (otevřeno) Splnění Turingova testu (pracuje se na tom) Verifikační kompilátor Mistrovský šachový program (splněno) Mistrovský GO program (pracuje se na něm) Automatický překlad (pracuje se na tom) 3 Kriteria pro grandiózní výzvy (dle T. Hoara): Pramení z vědecké zvědavosti ohledně základů, povahy a mezí vědecké discipliny Entuziasticky ji podporuje celá vědecká komunita, i ta část, která se projektu neúčastní Má mezinárodní rozměr, účast je věcí národní cti Je srozumitelná, vzrušuje laickou i odbornou veřejnost křížem přes vědní disciplíny Byla formulován dávněji, ale stále odolává Jde dále, než se zdálo původně možné, vyžaduje vývoj nových technik a nástrojů Vyžaduje řízenou spolupráci mezi jednotlivci, týmy, vědeckými školami Stimuluje soutěž, a těží z ní, je zřejmé, kdo vyhrává a kdo ne Vyžaduje spolupráci mezi teoretiky i praktiky Dají se identifikovat podcíle, jejichž dosažení samo o sobě přináší vědecký či ekonomický prospěch dokonce i v případě, že zbytek projektu selže Musí být zřejmé, zda byly cíle dosaženy, případně do jaké míry Vede k radikální změně paradigmat, vymyká se užívaným postupům a znalostem Na její řešení pravděpodobně nestačí komerčně motivovaný evoluční progres Všechna kriteria nemusí platit současně! 4
3 Velké výzvy pro informatiku, CRA USA Paralelní výpočty (Vishkin) Porozumění (ne pouze výpočetní) samoorganizaci (Brooks) Integrace informací (Ullman) Důvěryhodné výpočty a komunikace Zdánlivá přítomnost (telepresence) lidí na zemi i v planetárním systému (NASA) Programovací prostředí Uživatelsky přítulný Internet Vše prostupující počítání (HP) Molekulární elektronika (HP) Přežívající bezdrátové ad hoc sítě Sensorické bezdrátové sítě, monitorování jevů, sledování šíření katastrof E-Science Cyber Infrastructures Autonomní počítače (IBM) Distribuovaná inteligence na Internetu Internet další generace Makrosystémy Počítačem řízený imunitní systém Rozšířená realita pro všechny Digitální genius Výpočetní politika (rozpočtování versus volby) a žurnalistika Petascale Computing Jediný věčný, univerzální a všudypřítomný učící se program Počítače a komunikace pro všechny Kontextově-vědomé komunikace a výpočty 5 Výzvy pro UI, CMU 6
4 Výzvy pro IT, dle EC 1. The 100% Safe Car 2. The Multilingual Companion 3. The Service Robot Companion 4. The Self-Repairing and Self-Monitoring Computer 5. The Internet Police Agent 6. The Disease and Treatment Simulator 7. The Augmented Personal Memory 8. The Pervasive Communication Jacket 9. The Personal Everywhere Visualiser 10.The Ultra-light Aerial Transport Agent 11.The Intelligent Retail Store ftp://ftp.cordis.lu/pub/ist/docs/2004_grand_challenges_web_en.pdf 7 Velké výzvy pro informatiku, Velká Britanie In Vivo - In Silico: the Virtual Worm, Weed and Bug Science for Global Ubiquitous Computing Memories for Life: Managing Information over a Human Lifetime Scalable Ubiquitous Computing Systems The Architecture of Brain and Mind Dependable Software Evolution Journeys in Non-classical Computation 8
5 Ne-klasické výpočty Kognitivní počítačové a robotické systémy Makroskopické výpočetní a komunikační systémy Umělý život a vtělené UŽ systémy Jednotící pohled Global Ubiquitous computing Scalable ubiquitous computing Dependable System Evol. Memories for life Brain & Mind Architecture 9 Journeys to Non-classic Computing in Vivo in Silico Neuronové sítě Ne-klasické výpočty Neuniformní interaktivní evoluční výpočty Internet, společenství živých organizmů Molekulární výpočty Imunitní systémy Kvantové výpočty Paralelismus na sekvenčním hardware Relativistické výpočty Nekonečné výpočty v konečném čase 10
6 Hyperpočítače: překonání turingovy bariéry Nekonečné výpočty v konečném čase Padající pozorovatel Signál Ano Černá díra Singularita Malament-Hogarthova událost Obíhající počítač Co lze a co nelze vypočítat je záležitostí fyziky Vnitřní horizont G. Etesi, I. Nemeti: Non-Turing computations via Malament-Hogarth space-times, Int. J. Theor. Phys. 41 (2002) 11 Makroskopické výpočty a komunikace Fixní (ne-mobilní) sítě (Internet) Bezdrátové sítě Ad hoc mobilní Sensorické imobilní Celulární amorfní sítě Amorfní výpočty 12
7 Umělý život Vlastnosti života nezávislé na medii v němž existuje V čem vězí rozdíl mezi živou a neživou hmotou Vznik života (v umělém vesmíru) Mechanismus evoluce Existuje neomezený evoluční růst složitosti? Jaká je výpočetní síla evoluce? 13 Příklad: autopoietický automat Program 1 Program 1 Empty Existuje umělý vesmír, ve kterém lze realizovat autopoietické automaty s vlastnostmi: Program 2 Program 2 Neomezený nárůst složitosti Nerozhodnutelnost udržitelné evoluce Empty 14
8 Kognitivní systémy Nástin neurální architektury kognitivního agenta emoce Multimodální informace kogitoid Motorické příkazy Senzomotorické orgány Motorické příkazy Zrcadlové neurony Exterocepce + prorpriocepce + pocity Standardní on-line režim emoce 15 Schéma myšlení kognitivního agenta Multimodální informace kogitoid Zrcadlové neurony Motorické příkazy Základ myšlení: vypnutí percepce potlačení realizace motoriky zrcadlové neurony doplní motorické instrukce percepcí z naučené zkušenosti Agent funguje podobně jako předtím, avšak zpracovává virtuální data, funguje v off-line režimu, je virtuálně situovaný 16
9 Spárování mysli a těla v humanoidním kognitivním agentu Multimodální informace percepce Zrcadlové neurony motorika cogitoid motorika 17 Evoluční rozvoj mentálních schopností Od vrozených reflexů k intencionalitě přes emoce či afekty Ukotvení elementárních akcí v kontextu a senzomotorice Rozlišení mezi sebou a jinými (self), imitace elementárních akcí Imitace posloupností akcí pomocí učení Počátky komunikace prostřednictvím body language, pomocí čtení mysli a empatie Přidávání vokalizace a její asociace s motorikou posunků, později s motorikou (vlastních) mluvidel Rozvoj slovníku porozumění a přístupu do něj prostřednictvím slov (jakoby nárůst počtu senzorů) Evoluční rovnováha mezi nárůstem množství rozlišovaných slovních podnětů a velikostí mozku Přímá aktivace konceptů prostřednictvím slov Počátky myšlení: nejprve hlasité mluvení k sobě, později převažují pohyby mluvidel, ale postupně význam pohybů klesá; příkazy k vyslovování jsou přímo asociovány s významy slov Myšlení jako utlumené senzomotorické akce 18
10 Marvin Minsky, otec umělé inteligence: Vědomí je obrovský kufr, který obsahuje snad 40 až 50 různých mechanismů, které jsou složitými interakcemi propojeny do jedné rozsáhlé sítě o o Pokus o současnou definici: Schopnost přemýšlet o minulých, současných i očekávaných událostech, prožitcích a motorických aktivitách (svých či ostatních agentů), popsat je ve vysoko-úrovňovém, tělově nezávislém jazyku, a také realizovat tento popis Popsat v jazyku pozorované akce či okolí, vysvětlit je, napodobit je, vysvětlit následky nějakých akcí Test na vědomí <> Turingův test 19 Jaký je smysl podobných iniciativ Formulace a šíření grandiózních vědeckých výzev urychluje rozvoj vědy tím, že se úsilí soustřeďuje především na revoluční nežli evoluční posun základního poznání a navazujících technologií. 20
Lesk a bída nestandardních výpočetních systémů
Lesk a bída nestandardních výpočetních systémů Jiří Wiedermann Ústav informatiky Akademie věd České republiky, v.v.i. Částečně podporováno grantem 1ET100300419 Proč nás zajímají možnosti a meze počítačů
VíceH. Dreyfuss: What computers can t do, 1972 What computers still can t do, J. Weizenbaum. Computer power and human reason, 1976
Klasická AI připomenutí Meze klasické umělé inteligence Modelování mysli na logicko-symbolické úrovni. Modelování shora dolů. Reprezentacionalizmus Churchova teze: Použitelnost počítačů je omezena na ty
VíceDatová věda (Data Science) akademický navazující magisterský program
Datová věda () akademický navazující magisterský program Reaguje na potřebu, kterou vyvolala rychle rostoucí produkce komplexních, obvykle rozsáhlých dat ve vědě, v průmyslu a obecně v hospodářských činnostech.
VíceDigitalizované řešení správy pracovních postupů v prostoru
Digitalizované řešení správy pracovních postupů v prostoru PLATFORMA PRO PRŮMYSLOVOU ÚDRŽBU A CHYTROU SPRÁVU MAJETKU USA CZECH REPUBLIC ISRAEL HQ SINGAPORE AUSTRALIA + Průmyslová aplikace Aplikace údržby
VíceVýrobní pracoviště budoucnosti
Výrobní pracoviště budoucnosti Průmysl 4.0 Radomír Zbožínek \ 4. 11. 2016 Charakteristika konceptu Průmysl 4.0 Počítačové propojení výrobních strojů, produktů, osob a všech dalších systémů průmyslového
VíceAplikovaná informatika
Aplikovaná informatika B1802 prezenční a kombinovaná forma 3-leté bakalářské studium příjímací řízení: motivační pohovor Nauč se u nás pracovat se sítěmi a databázemi, programovat roboty, létej s drony,
VíceInteligentní systémy a neuronové sítě
Inteligentní systémy a neuronové sítě Arnošt Veselý, Česká zemědělská univerzita, Kamýcká, Praha 6 - Suchdol Summary: In the article two main architectures of inteligent systems: logical-symbolic and connectionist
VíceBiologicky inspirované výpočty. Schématické rozdělení problematiky a výuky
Biologicky inspirované výpočty Schématické rozdělení problematiky a výuky 1 Biologicky inspirované výpočty - struktura problematiky Evoluční systémy: evoluční algoritmy, evoluční hardware, víceúčelová
VíceMATEMATICKÁ TEORIE ROZHODOVÁNÍ
MATEMATICKÁ TEORIE ROZHODOVÁNÍ Podklady k soustředění č. 5 Komunikace a kooperace Komunikace se jako jeden z principů objevuje v umělé inteligenci až v druhé polovině 80. let. V roce 1986 uveřejňuje M.
VíceSYSTÉMOVÁ METODOLOGIE (VII) Kybernetika. Ak. rok 2011/2012 vbp 1
SYSTÉMOVÁ METODOLOGIE (VII) Kybernetika Ak. rok 2011/2012 vbp 1 ZÁKLADNÍ SMĚRY A DISCIPLÍNY Teoretická kybernetika (vědecký aparát a metody ke zkoumání kybernetických systémů; používá abstraktní modely
VícePřírodou inspirované metody umělé inteligence
Přírodou inspirované metody umělé inteligence Roman Neruda Ústav informatiky AVČR roman@cs.cas.cz Nové Hrady, červenec 2012 Od Darwina a Mendela... ... k inteligentním agentům. Umělá inteligence 2 přístupy
VíceDoc. Ing. Daniel Kaminský, CSc. ELCOM, a.s.
Doc. Ing. Daniel Kaminský, CSc. ELCOM, a.s. Úplné počítačové propojení a) výrobních strojů, b) zpracovávaných produktů a polotovarů a c) všech dalších systémů a subsystémů průmyslového podniku (včetně
VíceZaměření Webové inženýrství doc. Ing. Tomáš Vitvar, Ph.D. Katedra softwarového inženýrství Fakulta informačních technologií České vysovké učení technické v Praze Den otevřených dveří 20.2.2014 http://www.fit.cvut.cz
VíceEmergence chování robotických agentů: neuroevoluce
Emergence chování robotických agentů: neuroevoluce Petra Vidnerová, Stanislav Slušný, Roman Neruda Ústav Informatiky, AV ČR Kognice a umělý život VIII Praha 28. 5. 2008 Evoluční robotika: EA & neuronové
VíceNávrh softwarových systémů - architektura softwarových systémů
Návrh softwarových systémů - architektura softwarových systémů Martin Tomášek, Jiří Šebek Návrh softwarových systémů (B6B36NSS) Převzato z přednášky X36AAS M. Molhanec Co je to architektura Využívá se
VícePohyb ve vztahu vztah v pohybu (z pohledu taneční terapeutky) Iveta Zedková
Pohyb ve vztahu vztah v pohybu (z pohledu taneční terapeutky) Iveta Zedková 14. Celostátní konference psychosomatické medicíny, Liberec, 11.-13.10.2012 Základní otázky Proč věnovat pohybu pozornost? Jak
VíceObecná psychologie: základní pojmy
Obecná psychologie: základní pojmy ZS 2009/2010 Přednáška 1 Mgr. Ondřej Bezdíček Definice psychologie Je věda o chování a prožívání, o vědomých i mimovědomých oblastech lidské psychiky. Cíle psychologie
VíceSimulace a návrh vyvíjejících Nadpis se 1. Nadpis 3. Božetěchova 2, Brno
Simulace a návrh vyvíjejících Nadpis se 1 Nadpis systémů 2 Nadpis 3 Vladimír Jméno Janoušek Příjmení Vysoké Brno učení University technické of v Technology, Brně, Fakulta Faculty informačních of Information
VíceZÁKLADY PROGRAMOVÁNÍ. Mgr. Vladislav BEDNÁŘ 2014 7.4 13/14
ZÁKLADY PROGRAMOVÁNÍ Mgr. Vladislav BEDNÁŘ 2014 7.4 13/14 Co je vhodné vědět, než si vybereme programovací jazyk a začneme programovat roboty. 1 / 13 0:40 Implementace Umělá inteligence (UI) Umělá inteligence
VíceChtěli byste být b t mozkem ce? Jiří Wiedermann Ústav informatiky AV ČR, v.v.i. Praha
Chtěli byste být b t mozkem v baňce ce? Jiří Wiedermann Ústav informatiky AV ČR, v.v.i. Praha Obsah Motivační příklad Turingův SMS test Navigátor a simulátor reality Architektura a fungování vtěleného
VíceNSWI /2011 ZS. Principy cpypočítačůčů aoperačních systémů ARCHITEKTURA
Principy cpypočítačůčů aoperačních systémů ARCHITEKTURA Literatura W.Stallings: Computer Organization & Architecture J.L.Hennessy, P.A.Patterson: Patterson: Computer Architecture: a Quantitative Approach
VíceGymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto
Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto Registrační číslo projektu Šablona Autor Název materiálu CZ.1.07/1.5.00/34.0951 III/2 INOVACE A ZKVALITNĚNÍ VÝUKY PROSTŘEDNICTVÍM ICT Mgr. Jana
VíceUITS / ISY. Ústav inteligentních systémů Fakulta informačních technologií VUT v Brně. ISY: Výzkumná skupina inteligentních systémů 1 / 14
UITS / ISY Výzkumná skupina inteligentních systémů Ústav inteligentních systémů Fakulta informačních technologií VUT v Brně ISY: Výzkumná skupina inteligentních systémů 1 / 14 Obsah Představení skupiny
VíceNástin architektury vědomého kognitivního agenta se dvěma vnitřními modely světa 1
Nástin architektury vědomého kognitivního agenta se dvěma vnitřními modely světa 1 Jiří Wiedermann Ústav informatiky AV ČR, v.v.i. Pod Vodárenskou věží 2, 182 07 Praha 8, Česká republika jiri.wiedermann@cs.cas.cz
Více(ÚISK FF UK); Mgr. Mediální a komunikační studia: Elektronická kultura a sémiotika; Bc. Studium humanitní vzdělanosti (FHS UK)
Niklas Luhmann (*1927 +1998) - německý sociolog, právník, teoretik vědy - teorie společenských systémů (Parsons) - přesah do kybernetiky, termodynamiky, biologie (Maturana a Varela) Katrin Vodrážková PhD.
VíceTeorie systémů TES 6. Systémy procesní
Evropský sociální fond. Praha & EU: Investujeme do vaší budoucnosti. Teorie systémů TES 6. Systémy procesní ZS 2011/2012 prof. Ing. Petr Moos, CSc. Ústav informatiky a telekomunikací Fakulta dopravní ČVUT
VíceKonstruktivistické principy v online vzdělávání
Konstruktivistické principy v online vzdělávání Erika Mechlová Ostravská univerzita ESF Čeladná, 4.11.2005 Teorie poznání Teorie poznání, noetika - část filozofie Jak dospíváme k vědění toho, co víme Co
VíceHistorie výpočetní techniky. Autor: Ing. Jan Nožička SOŠ a SOU Česká Lípa VY_32_INOVACE_1121_Histrorie výpočetní techniky_pwp
Historie výpočetní techniky Autor: Ing. Jan Nožička SOŠ a SOU Česká Lípa VY_32_INOVACE_1121_Histrorie výpočetní techniky_pwp Název školy: Číslo a název projektu: Číslo a název šablony klíčové aktivity:
VíceInformatika na Univerzitě Palackého
Informatika na Univerzitě Palackého prof. RNDr. Radim Bělohlávek, DSc. vedoucí katedry KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI Obsah 1 Co je informatika a proč ji studovat? 2 Kde informatiku
VíceEnabling Grids for E-sciencE. Projekt EGEE / VOCE. Jan Kmuníček ÚVT MU & CESNET. INFSO-RI
Projekt EGEE / VOCE Jan Kmuníček ÚVT MU & CESNET www.eu-egee.org Obsah Definice a vlastnosti Gridů Virtuální organizace Evropské gridové prostředí Bezpečnostní prvky Gridů Vize budoucnosti Projekt EGEE
VíceÚstav automatizace a měřicí techniky.
www.feec.vutbr.cz Specializace studijního oboru Automatizační a Měřicí Technika: Řídicí technika Moderní algoritmy řízení, teorie řízení Modelování a identifikace parametrů řízených systémů Pokročilé metody
VíceK VIRTUALIZACI ŠKOLNÍCH EXPERIMENTÁLNÍCH ČINNOSTÍ. Martin Bílek Katedra chemie a didaktiky chemie Pedagogická fakulta, Univerzita Karlova
K IRTUALIZACI ŠKOLNÍCH EXPERIMENTÁLNÍCH ČINNOSTÍ Martin Bílek Katedra chemie a didaktiky chemie Pedagogická fakulta, Univerzita Karlova IRTUALIZACE postupy a techniky, které umožňují k dostupným zdrojům
VíceZÁKLADY PROGRAMOVÁNÍ. Mgr. Vladislav BEDNÁŘ 2014 7.1 7.3 12/14
ZÁKLADY PROGRAMOVÁNÍ Mgr. Vladislav BEDNÁŘ 2014 7.1 7.3 12/14 Co je vhodné vědět, než si vybereme programovací jazyk a začneme programovat roboty. 1 / 18 0:40 Umělá inteligence Umělá inteligence (UI) vlastně
VícePB002 Základy informačních technologií
Počítačové systémy 21. září 2015 Základní informace 1 Přednášky nejsou povinné 2 Poku účast klesne pod pět studentů, přednáška se nekoná 3 Slidy z přednášky budou vystaveny 4 Zkouška bude pouze písemná
VíceAutomatizační a měřicí technika (B-AMT)
Ústav automatizace a měřicí techniky Bakalářský studijní program Automatizační a měřicí technika () Specializace oboru Řídicí technika Měřicí technika Průmyslová automatizace Robotika a umělá inteligence
VíceOd Průmyslu 4.0 k Myšlení 4.0
Od Průmyslu 4.0 k Myšlení 4.0 Vladimír MAŘÍK Brno, 28.2.2017 www.ciirc.cvut.cz Český institut informatiky, robotiky a kybernetiky (CIIRC) České vysoké učení technické v Praze Prudký rozvoj technologií
VíceProfil knihovního fondu Státní technické knihovny
Profil knihovního fondu Státní technické knihovny Stupeň Druhy informačních pramenů Retrospektiva Tematické vymezení MDT úplnosti Počet exemplářů - domácí/zahraniční doplňování doplň. I. TECHNICKÉ OBORY
VíceInformační technologie požadavky a realizace vzdělávacího procesu
Informační technologie požadavky a realizace vzdělávacího procesu Jaroslav Zelený, IBM ČR, Lubomír Popelínský, MU FI Jaroslav Zelený, IBM ČR 2010 IBM Corporation Obor informačních technologií prochází
VíceAplikace kyberneticko fyzikálních systémů
Nízkonákladová automatizace The 5th International Conference on Internet of Things 2015 s integrací kolaborativních robotů ve štíhlé výrobě Coex, Soeul, S. Korea Oct. 26-28, 2015 Aplikace kyberneticko
VíceInteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu
Inteligentní modely, algoritmy, metody g y g y y a nástroje pro vytváření sémantického webu Zahájenie seminára Predseda Programu "Informační společnost (prof. Ing. Miroslav Tůma, CSc.) Pohľad koordinátora
VíceObsah. Část I Řízením k inovacím 1. 1 Klíčové otázky při řízení inovací 3. 2 Inovace jako řídicí proces 63 III
III Část I Řízením k inovacím 1 1 Klíčové otázky při řízení inovací 3 1.1 Inovace a konkurenční výhoda......................................6 1.2 Typy inovací...................................................11
VíceNový obor - počítače v medicíně a biologii
Nový obor - počítače v medicíně a biologii Proč je management informací ústřední otázkou v biomedicínském výzkumu a v klinické praxi? Co jsou integrovaná prostředí managementu informací a jak by mohla
VíceMÍSTO A ROLE ZRCADLOVÝCH NEURONŮ VE VTĚLENÝCH KOGNITIVNÍCH SYSTÉMECH
ÁÒ Ø ØÙØ Ó ÓÑÔÙØ Ö Ë Ò ÑÝ Ó Ë Ò Ó Ø Þ Ê ÔÙ Ð Å ØÓ ÖÓÐ ÞÖ ÐÓÚ Ò ÙÖÓÒ Ú ÚØ Ð Ò Ó Ò Ø ÚÒ Ý Ø Ñ Â Ï ÖÑ ÒÒ Ì Ò Ð Ö ÔÓÖØ ÆÓº Þ Ò ¾¼¼ ÈÓ ÎÓ Ö Ò ÓÙ Ú ú ¾ ½ ¾ ¼ ÈÖ Ù Ô ÓÒ ¾¼¾µ ¼ ¾¼ Ü ¾¼µ ¾ ¹Ñ Ð Ö ºÛ ÖÑ ÒÒ º ºÞ
VíceTrocha obrázků na začátek..
Trocha obrázků na začátek.. Elementární pojmy LCD panel tower myš klávesnice 3 Desktop vs. Tower tower desktop 4 Desktop nebo Tower? 5 Obraz jako obraz? 6 A něco o vývoji.. Předchůdci počítačů Počítadlo
VíceSpecializace Kognitivní informatika
Specializace Kognitivní informatika Otevřené dveře specializace Kognitivní informatika, 10.5.2007 V rámci projektu, financovaného Evropským sociálním fondem pod č. 3206 Multi- a transdisciplinární obor
VíceFormální Metody a Specifikace (LS 2011) Formální metody pro kyber-fyzikální systémy
Formální Metody a Specifikace (LS 2011) Přednáška 7: Formální metody pro kyber-fyzikální systémy Stefan Ratschan, Tomáš Dzetkulič Katedra číslicového návrhu Fakulta informačních technologíı České vysoké
VíceArchitektura počítačů
Architektura počítačů Studijní materiál pro předmět Architektury počítačů Ing. Petr Olivka katedra informatiky FEI VŠB-TU Ostrava email: petr.olivka@vsb.cz Ostrava, 2010 1 1 Architektura počítačů Pojem
Více4. Úvod do paralelismu, metody paralelizace
4. Úvod do paralelismu, metody paralelizace algoritmů Ing. Michal Bližňák, Ph.D. Ústav informatiky a umělé inteligence Fakulta aplikované informatiky UTB Zĺın Paralelní procesy a programování, Zĺın, 26.
VíceTomáš HEBELKA, MSc. Skepse vůči cloudu. 21. června 2011 VI. Konference ČIMIB, Hotel Continental, Brno
Tomáš HEBELKA, MSc Skepse vůči cloudu 21. června 2011 VI. Konference ČIMIB, Hotel Continental, Brno Co je to cloud? Cloud computing je na Internetu založený model vývoje a používání počítačových technologií.
VíceBakalářský studijní obor informatika
Bakalářský studijní obor informatika Předpoklady Struktura studia Přihlášky Poradenství Vzdělání v bakalářském oboru informatika nabízeném na Technické univerzitě v Chemnitz představuje vyvážený kompromis
VíceSmart Prague - chytré město začíná infrastrukturou
Smart Prague - chytré město začíná infrastrukturou Praze CLAM GALLASŮV PALÁC 2.10.2014 Koncept Smart Prahy Vytváření vzájemných synergií mezi různými síťovými odvětvími jako je doprava, energetika, bezpečnost,
VíceJaký programovací jazyk učit jako první a jak ho učit?
Vojtěch Merunka Katedra informačního inženýrství PEF ČZU Praha Jaký programovací jazyk učit jako první a jak ho učit? strana 1 Motivace dříve strana 2 Motivace... pokračování dnes strana 3 Obsah presentace
VíceInformační společnost s výzvami digitálního učení a informační gramotnosti
Konference IT pro život. Digitální kompetence jako prostředek ke zkvalitnění vzdělávání Informační společnost s výzvami digitálního učení a informační gramotnosti Richard Papík Univerzita Karlova v Praze
VíceStudium informační vědy a znalostního managementu v evropském kontextu
Studium informační vědy a znalostního managementu v evropském kontextu CZ.1.07/2.2.00/07.0284 Závěrečná konference Mezioborové souvislosti informační vědy Richard Papík http://uisk.ff.cuni.cz http://www.linkedin.com/in/papik
VíceSložitost her. Herní algoritmy. Otakar Trunda
Složitost her Herní algoritmy Otakar Trunda Úvod měření složitosti Formální výpočetní model Turingův stroj Složitost algoritmu = závislost spotřebovaných prostředků na velikosti vstupu Časová složitost
VíceVirtuální ověřování výroby Robotika Process Simulate Virtual Commissioning Virtuelle Inbetriebnahme
Virtuální ověřování výroby Robotika Process Simulate Virtual Commissioning Virtuelle Inbetriebnahme Martin Baumruk Jiří Kopenec Siemens PLM Connection 2012 Česká republika 3. 5. června, Seč Dněšní workflow
VíceZÁKLADY PROGRAMOVÁNÍ. Mgr. Vladislav BEDNÁŘ 2014 8 14/14
ZÁKLADY PROGRAMOVÁNÍ Mgr. Vladislav BEDNÁŘ 2014 8 14/14 Co je vhodné vědět, než si vybereme programovací jazyk a začneme programovat roboty. 1 / 18 0:40 Roboti a jejich programování Robotické mechanické
VíceSpecifikace výpočetního modelu mysli vědomého vtěleného agenta
Specifikace výpočetního modelu mysli vědomého vtěleného agenta Jiří Wiedermann 1 Hjakudžó svolal žáky a postavil před ně džbán: Kdo mi řekne, že to je džbán, aniž ho pojmenoval? Isan předstoupil a kopl
VícePráce s dětmi s poruchami učení v poradně pro percepční a motorická oslabení
EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJEME DO VAŠÍ BUDOUCNOSTI Práce s dětmi s poruchami učení v poradně pro percepční a motorická oslabení Lenka Procházková Monika Kabátová Specifické poruchy učení
VíceNeubauer, K. a kol. NEUROGENNÍ PORUCHY KOMUNIKACE U DOSPĚLÝCH (Praha, Portál, r. vydání 2007).
Neubauer, K. a kol. NEUROGENNÍ PORUCHY KOMUNIKACE U DOSPĚLÝCH (Praha, Portál, r. vydání 2007). Získané neurogenní poruchy komunikace u dospělých osob Terminologie poruchy, které mají svou lingvistickou,
VíceOPS Paralelní systémy, seznam pojmů, klasifikace
Moorův zákon (polovina 60. let) : Výpočetní výkon a počet tranzistorů na jeden CPU chip integrovaného obvodu mikroprocesoru se každý jeden až dva roky zdvojnásobí; cena se zmenší na polovinu. Paralelismus
VíceProjekt EGEE / EGI. Jan Kmuníček CESNET. Enabling Grids for E-sciencE. EGEE-III INFSO-RI
Projekt EGEE / EGI Jan Kmuníček CESNET www.eu-egee.org EGEE and glite are registered trademarks Obsah Výpočetní přístupy Koncept Gridu Projekt EGEE Požadavky na transformaci MetaCentrum v éře EGI 2 Výpočetní
VíceTechnologie pro maloobchod nové pohledy, nové příležitosti. Marta Nováková, Generální ředitelka, U&SLUNO a.s.
Technologie pro maloobchod nové pohledy, nové příležitosti Marta Nováková, Generální ředitelka, U&SLUNO a.s. Informační technologie a retail IT není jen HW a SW Očekávané změny a přínosy v optimalizaci
Více1 Úvod 1.1 Vlastnosti programového vybavení (SW)
1 Úvod 1.1 Vlastnosti programového vybavení (SW) - dávkové zpracování - omezená distribuce - zakázkový SW - distribuované systémy - vestavěná inteligence - laciný HW - vliv zákazníka 1950 1960 1970 1980
VíceUmělá inteligence (1. přednáška)
Umělá inteligence (1. přednáška) Co je to AI (Artificial Intelligence) systém, který myslí jako lidé myslí racionálně se chová jako lidé se chová racionálně Jednat jako lidé systém, který myslí jako lidé
VícePerspektivy asistivních technologií
České vysoké učení technické v Praze Centrum asistivních technologií Perspektivy asistivních technologií Lenka Lhotská lhotska@fel.cvut.cz http://cyber.felk.cvut.cz http://biomedicina.fel.cvut.cz Přehled
VíceOutcome mapping evaluation - nová možnost pro ČR? Vladimír Sodomka
Outcome mapping evaluation - nová možnost pro ČR? Vladimír Sodomka 2014 1 Obsah prezentace Představení metody Oucome Mapping Evaluation (OME) relativně nová metoda v ČR alternativa ke konvenčním lineárním
VíceNávrh softwarových systémů - architektura softwarových systémů
Návrh softwarových systémů - architektura softwarových systémů Jiří Šebek Návrh softwarových systémů (B6B36NSS) Převzato z přednášky X36AAS M. Molhanec Co je to architektura 2 Využívá se v různách oborech
VícePedagogická psychologie. Klasické teorie učení
Pedagogická psychologie Klasické teorie učení Úvodem Učení (Čáp, 2001) Získávání zkušeností, utváření a pozměňování jedince v průběhu života. Opakem vrozeného Probíhá i na subhumánní úrovni Funkce učení
VíceCore Ideology Ideový záměr. Moravian Science Centre Brno
Core Ideology Ideový záměr Moravian Science Centre Brno Mysl není nádoba, kterou je třeba naplnit, ale oheň, který je třeba zapálit. Plutarchos Hodnoty, které se snažíme šířit, musíme nejprve sami zosobnit.
Více19. 9. 2013 Mgr. Jakub Štogr Navreme Boheme, s.r.o. IVIG 2013
Retrospektivy a Perspektivy 19. 9. 2013 Mgr. Jakub Štogr Navreme Boheme, s.r.o. IVIG 2013 Očekávání vs. Realita Videokonference a online kolaborace 2 Očekávání vs. Realita Videokonference a online kolaborace
VíceROLE ICT VE SPOLEČNOSTI
ROLE ICT VE SPOLEČNOSTI Modely školy budoucnosti listopad 2011 (c) Radek Maca Informační společnost Společnost s vysokou mírou využívání ICT založených na prostředcích výpočetní techniky digitalizace =
VícePráce v textovém editoru
Práce v textovém editoru 0) Otevřete NOTEPAD a okopírujte celý tento článek do NOTEPADu. [Můžete použít zkratky Ctrl-A (označit vše) Ctrl+C(kopírovat), Ctrl+V (vložit)] 1) Najděte v tomto textu slovo "myš"
VíceDigitální výroba, Brno,
Digitální výroba, Brno, 10.5.2016 Trendy v oblasti průmyslové automatizace Strategie Industry 4.0 Dr. Juraj Vitkaj Process Automation Solutions An ATS Company Skupina ATS Transportation 36% Consumer/ Electronics
VíceKybernetika. vznikl koncepční rámec kybernetiky
Kybernetika Kybernetika řec. kybernétés = kormidelník vznik 40tá léta 20. století v Bostnu MIT zakladatel kybernetiky Norbert Wiener ji definoval jako vědu o řízení a komunikaci v živočichu a ve stroji
VíceTechnologie a děti aneb Dobrý sluha, ale špatný pán
Technologie a děti aneb Dobrý sluha, ale špatný pán Mgr. Pavlína Mazáčová, Ph.D. KISK FF MU, pmazacov@phil.muni.cz, https://kisk.phil.muni.cz/cs/osoba/2935 Pár obvyklých otázek Jaký je ideální věk na to,
VíceInovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/34.0333 Vzdělávání v informačních a komunikačních technologií
VY_32_INOVACE_31_02 Škola Střední průmyslová škola Zlín Název projektu, reg. č. Vzdělávací oblast Vzdělávací obor Tematický okruh Téma Tematická oblast Název Autor Vytvořeno, pro obor, ročník Inovace výuky
VíceOBSAH. 1. ÚVOD il 3. MOZEK JAKO ORGÁNOVÝ ZÁKLAD PSYCHIKY POZORNOST 43
OBSAH 1. ÚVOD il 1.1 VYMEZENÍ OBECNÉ PSYCHOLOGIE 11 1.2 METODY POUŽÍVANÉ K HODNOCENÍ PSYCHICKÝCH PROCESŮ A FUNKCÍ 12 1.3 DÍLČÍ OBLASTI, NA NĚŽ JE ZAMĚŘENA OBECNÁ PSYCHOLOGIE 14 1.3.1 Psychologie poznávacích
VícePsychologie - věda o lidském chování, jednání, myšlení
Psychologie - věda o lidském chování, jednání, myšlení Determinace osobnosti Základní psychologie - obecná psychologie - psychologie osobnosti - sociální psychologie - vývojová psychologie Psychopatologie
VíceObecná a vývojová psychologie. Přednáška č. 1 Co je psychologie? Cíle psychologie. Základní psychologické směry.
Obecná a vývojová psychologie Přednáška č. 1 Co je psychologie? Cíle psychologie. Základní psychologické směry. Co je vlastně psychologie? Jak lze jednoduše a srozumitelně definovat psychologii? R. Atkinsonová
VíceDigitální zpracování obrazu počítačové vidění zakotvení
Digitální zpracování obrazu počítačové vidění zakotvení Václav Hlaváč České vysoké učení technické v Praze Fakulta elektrotechnická, katedra kybernetiky Centrum strojového vnímání http://cmp.felk.cvut.cz/
VíceAUTOMATY A GRAMATIKY
AUTOMATY A 1 GRAMATIKY Pavel Surynek Univerzita Karlova v Praze Matematicko-fyzikální fakulta Katedra teoretické informatiky a matematické logiky Stručný přehled přednášky Automaty Formální jazyky, operace
VíceZdroj:http://www.referenzportal.ch/fuehrung/vom-erp-zum-integrierten-informationssystem/
Zdroj:http://www.referenzportal.ch/fuehrung/vom-erp-zum-integrierten-informationssystem/ Zdroj: http://en.wikipedia.org/wiki/cyber-physical_system V centru továrna horizontální a vertikální integrace
VíceVyužití SysML pro tvorbu modelů v systémovém inženýrství
Využití SysML pro tvorbu modelů v systémovém inženýrství Antonín Srna, Ústav informatiky, Provozně ekonomická fakulta, Mendelova univerzita v Brně, xsrna2@mendelu.cz Abstrakt Článek se zaobírá univerzálním
VícePočátky umělé inteligence
Počátky umělé inteligence Pavel Ircing NTIS - UN 562 ircing@kky.zcu.cz KKY/HKUI Založení oboru John McCarthy přesvědčil v roce 1955 Marvina Minskyho, Nathaniela Rochestera and C. Shannona, aby mu v následujícím
VíceDynamické kritické jevy
Dynamické kritické jevy statické vs. dynamické Ve statické situaci je kritické chování určeno: i. dimenzí parametru uspořádání ii. dimenzí fyzikálního prostoru každý obor začíná nejprve statickými jevy
VíceEU EGEE Presentace projektu
EU EGEE Presentace projektu Ludek Matyska Masarykova univerzita CESNET, z.s.p.o. www.eu-egee.org Všeobecné informace Enabling Grids for E-sciencE EGEE Enabling Grids for E-sciencE (in Europe) Dvouletý
VíceDigitalizace Možnosti a výhledy digitální společnosti
Digitalizace Možnosti a výhledy digitální společnosti Ing. Filip Nechvátal 10. května 2016 Obsah 1 Průmysl 4.0 a veřejné mínění 2 Siemens pozice v rámci Průmyslu 4.0 a digitalizace 3 Základ digitalizace
VíceRNDr. Milan Šmídl, Ph.D.
RNDr. Milan Šmídl, Ph.D. J. A. Komenský: Didaktika velká vyličující všeobecné umění, jak naučiti všecky všemu: čili spolehlivý a vybraný způsob jak lze ve všech obcích, městech a vesnicích některého království
VíceCERIT SCIENTIFIC CLOUD. Centrum CERIT-SC. Luděk Matyska. Praha, Seminář MetaCentra, 15. 10. 2010
Centrum CERIT-SC Luděk Matyska Praha, Seminář MetaCentra, 15. 10. 2010 Poslání Centrum CERIT-SC (CERIT Scientific Cloud 1 je národním centrem poskytujícím flexibilní úložné a výpočetní kapacity a související
VíceKdyž budou počítače inteligentnější než lidé
Když budou počítače inteligentnější než lidé Jiří Wiedermann Akademie věd ČR Podporováno grantem GA ČR P202/10/1333 Situace, kdy umělá inteligence dosáhne úroveň lidské inteligence, se v odborné literatuře
VíceMiroslav Svítek. Víc než součet částí. Systémový pohled na proces poznání ACADEMIA. edice ggerstner
Miroslav Svítek Víc než součet částí Systémový pohled na proces poznání ACADEMIA edice ggerstner Víc než součet částí Systémový pohled na proces poznání ggerstner Miroslav Svítek Víc než součet částí
VíceKomplexita a turbulence
SA414 - přednáška č. 5 Sociální systémy, systémy lidských aktivit Kybernetika (2. řádu): člověk a znalos(i) Povaha znalosti - mentální modely jako vzory Externalizace znalostí symboly a jazyk Znalosti
VíceZáklady umělé inteligence
Základy umělé inteligence Úvod Základy umělé inteligence - úvod. Vlasta Radová, ZČU, katedra kybernetiky 1 Zavedení pojmu umělá inteligence Inteligence je schopnost získávat a aplikovat vědomosti a tedy
VíceMultimediální systémy
Multimediální systémy Jan Outrata KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI přednášky Literatura Havaldar P., Medioni G.: Multimedia Systems: Algorithms, Standards, and Industry Practices. Course
VíceMetodologie výzkumu mezigeneračního učení: od otázek k výsledkům
Metodologie výzkumu mezigeneračního učení: od otázek k výsledkům Milada Rabušicová Lenka Kamanová Kateřina Pevná Ústav pedagogických věd, Filozofická fakulta Masarykovy university, Brno Výzkumný projekt
VíceInformace pro výběr bakalářského oboru
Informace pro výběr bakalářského oboru 2017.03.15 J. Matas Bakalářské obory informatika a počítačové vědy software internet věcí počítačové hry a grafika kapacita všech oborů je dostatečná pro volný výběr
VíceJak vyvažovat autonomii a odpovědnost škol a učitelů: hodnocení výsledků vzdělávání
Jak vyvažovat autonomii a odpovědnost škol a učitelů: hodnocení výsledků vzdělávání Jana Straková Ústav pro informace ve vzdělávání a Institut pro sociální a ekonomické analýzy Rozmach plošných testů se
VíceENVIRONMENTALISTIKA GYM
ENVIRONMENTALISTIKA GYM ENVIRONMENTÁLNÍ VÝCHOVA CHARAKTERISTIKA PRŮŘEZOVÉHO TÉMATU V době, kdy jsme svědky rychlého zhoršování stavu globálních životodárných systémů z hlediska podmínek udržitelného rozvoje,
VíceBMII. B i o m e d i c a l D a t a P r o c e s s i n g G r o u p
BMII České vysoké učení technické v Praze Fakulta elektrotechnická Magisterský program Biomedicínské inženýrství a informatika na ČVUT FEL Praha Olga Štěpánková (Kat.kybernetiky), step@labe.felk.cvut.cz
Více