Czech
English
Ústav teorie informace a automatizace
Jste zde
Projekty
Oddělení: MTR
Období: 2017
- 2019
Grantor: GACR
Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí pravdivostních hodnot, která umožňuje modelovat pouze výroky, které jsou buď pravdivé, nebo nepravdivé.
Výrokové logiky škálovaných pojmů (jako je např.
Oddělení: TŘ
Období: 2017
- 2019
Grantor: GACR
Projekt se bude zabývat výzkumem nových metod návrhu podaktuovaného kráčení mechanických robotických systémů pomocí nové metodiky tzv. sladěných virtuálních holonomních omezení. V současnosti je často využívána metoda nesladěných virtuálních holonomních omezení, která má ale řadu nevýhod.
Oddělení: MTR
Období: 2017
- 2019
Grantor: GACR
Nové rovnovážné modely v ekonomii a mechanice budou popsány zobecněnými diferenciálními rovnicemi (angl. EGEs) a důkladně analyzovány. Jejich hlavním charakteristickým rysem je přítomnost nehladných a mnohoznačných zobrazení. Budeme studovat různé koncepty řešení systémů těchto zobecněných rovnic a jejich relevanci pro uvažované specifické problémy.
Oddělení: MTR
Období: 2017
- 2019
Grantor: GACR
V projektu budeme modelovat individuální rozhodování jedinců, jež je určující pro analýzu mikroekonomických vztahů. Navážeme na dlouhotrvající diskusi tranzitivity preferencí, jednoho ze základních axiomů teorie očekávané utility. Navrhneme teorii rozhodování s netranzitivními preferencemi a prozkoumáme její vztah ke již existujícím teoriím tohoto typu.
Oddělení: MTR
Období: 2016
- 2018
Grantor: GACR
Přesný popis komplexního termodynamického chování pevných látek vyžaduje použití účinných metod pro řešení svázaných sytémů nelineárních parciálních diferenciálních rovnic. Tyto systémy popisují vývoj chování materiálu a zahrnují i konstitutivní vztahy. V mnoha případech lze vzniklé matematické úlohy popsat pomocí variačních formulací s použitím uložené energie a disipačních potenciálů.
Oddělení: SI
Období: 2016
- 2018
Grantor: GACR
Oddělení: ZOI
Období: 2016
- 2018
Grantor:
Momentové Invarianty jsou nástrojem spadajícím do oblasti extrakce příznaků často používaným pro rozpoznávání tvarů. Obecný moment je projekce do prostoru polynomů a momentový invariant je momentový funkcionál zachovávající invarianci pro danou třídu degradace vstupní funkce (afinní transformace, konvoluce se symetrickými jádry atd.).
Oddělení: MTR
Období: 2016
- 2019
Grantor: FG
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.
Oddělení: MTR
Období: 2016
- 2017
Grantor: MSMT
V projektu sestavíme výzkumný mezinárodní tým, který se zaměří na analýzu a numerické řešení úloh termomechaniky. Vytvoříme univerzální přístup k variačním modelům popisujícím evoluční úlohy pro pevné látky v termomechanice kontinua. Zvláště se zaměříme na fázové transformace ve slitinách s tvarovou pamětí a elastoplastických materiálech.
Oddělení: SI
Období: 2016
- 2019
Grantor: MPO
Oddělení: E
Období: 2016
- 2018
Grantor: GACR
The project will develop a new measures of dependence between economic variables, which will allow to study the frequency dependent dznamics of correlations in different quantiles of joint distribution.
Oddělení: AS
Období: 2016
- 2018
Grantor: GACR
Rychlý rozvoj informatiky a výpočetní techniky, spolu s dostupností mnohých, často si odporujících zdrojů
informace, způsobují, že rozhodovači (jak lidé tak přístroje) jsou informačně přetíženi. Jejich
nedokonalost, tj. omezené poznávací, informační a výpočetní schopnosti, je v nesouladu s rostoucí
složitostí rozhodování, které musí činit při nepřesně a neúplně zadaných cílech.
Oddělení: AS
Období: 2016
- 2018
Grantor: GACR
Systémy parciálních a obyčejných diferenciálních rovnic budou zkoumány pomocí metod dynamických
systémů. Mnoho problémů z biologie, chemie, mechaniky, řízení, přenosu informace, ekonomie a dalších
vědních disciplin jsou charakteristické tím, že mohou být popsány jako dynamický systém, který se mění
v čase. Zavedením zpoždění (paměti) se matematický model stává realističtějším.
Oddělení: MTR
Období: 2016
- 2018
Grantor: GACR
Oddělení: ZS
Období: 2016
- 2019
Grantor: FG
Hlavním cílem projektu ITEAM je založit a zajistit udržitelný rozvoj evropské školící sítě s vysokým stupněm interdisciplinarity, která bude dále školit odborníky v oblasti vědy a výzkumu nových technologií se zaměřením na řízení sdruženého pohonu pozemních vozidel (MAGV).
Mezi komplexní cíle iTEAM projektu patří (i) zvýšení evropské prestiže při vzdělávání v oblasti uživatelsky přívětivých a k
Stránky
- « první
- ‹ předchozí
- …
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- …
- následující ›
- poslední »