Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

192 (0,104s) •

Projekt

Natural computing na nekonvenčních platformách (GAP103/10/1517)

automaty. Evoluční algoritmy budou ohodnocovány v úlohách evolučního návrhu obvodů...

JC - Počítačový hardware a software

  • 2010 - 2013
    • •
  • 4 660 tis. Kč
    • •
  • 4 660 tis. Kč
    • •
  • GA ČR
Projekt

Prostorová variabilita degradace a poškození při spolehlivostní analýze konstrukcí (SPADD) (GA14-10930S)

bude také rozšířeno do 2D prostoru použitím náhodných polí a celulárních automat. Plně...

JM - Inženýrské stavitelství

  • 2014 - 2016
    • •
  • 4 998 tis. Kč
    • •
  • 4 998 tis. Kč
    • •
  • GA ČR
Projekt

Překlad formulí Lineární temporální logiky na omega-automaty (7AMB14FR016)

pracovníků zabývajících se překladem LTL na omega-automaty. V rámci projektu tak, aby výsledné automaty měly žádoucí vlastnosti. Cílem tohoto výzkumu je lepší vhled do vztahů mezi LTL, odpovídajícími automaty a jejich apli...

IN - Informatika

  • 2014 - 2015
    • •
  • 84 tis. Kč
    • •
  • 84 tis. Kč
    • •
  • MŠMT
Projekt

Decentralizované řízení vážených automatů (MEB020729)

decentralizovaného řízení konkurentních vážených automatů (weighted automata), jejichž aplikace systémům (jako např. paralelním součinům automatů). Vážené automaty (např. tzv. (max,+) automaty a třídy časovaných automatů) ...

BC - Teorie a systémy řízení

  • 2008 - 2008
    • •
  • 33 tis. Kč
    • •
  • 33 tis. Kč
    • •
  • MŠMT
Projekt

Decentralizované supervizní řízení časovaných automatů (GAP103/11/0517)

. Vážené automaty (např. tzv. (max,+) automaty, intervalové automaty a další třídy, a to decentralizované řízení a koordinační řizení, kdy lokální řídící automaty komunikují......

BC - Teorie a systémy řízení

  • 2011 - 2013
    • •
  • 986 tis. Kč
    • •
  • 986 tis. Kč
    • •
  • GA ČR
Projekt

Efektivní konečné automaty pro automatické usuzování (LL1908)

Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzor...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Projekt

Automaty a logiky v symbolické verifikaci software. (MEB021023)

Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...

JC - Počítačový hardware a software

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Projekt

Algebraické metody v teorii automatů a formálních jazyků II (GA201/09/1313)

Charakterizace významných tříd jazyků syntaktickými strukturami a logikami, studium tříd průsekových automatů, studium implicitních jazykových rovnic, stavová složitost operací s dvoucestnými automaty, q-teorie Prezentace na prestižních konf...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Projekt

Koalgebra a řízení systémů s diskrétními událostmi (GP201/03/P077)

V posledních desetiletích se studovalo dohlížecí řízení v případě logických automatů a za pomoci algebraických metod. Automaty a jejich různá rozšíření se mohou. Dnes se objevujepotřeba zabývat se kvantitativními modely jako jsou například v...

BC - Teorie a systémy řízení

  • 2003 - 2004
    • •
  • 134 tis. Kč
    • •
  • 134 tis. Kč
    • •
  • GA ČR
Projekt

HEY PIZZA - Automat na přípravu pizzy z čerstvých surovin (FX04030035_3269)

Cílem je vyvinout a uvést na trh výdejní automat na přípravu čerstvé italské pizzy = velkokapacitní stroj (např. do kantýn, škol, univerzit, stadionů, nemocnic, dopravních uzlů - letiště, nádraží apod.). Technicky jde o velmi složitou operac...

Electrical and electronic engineering

  • 2023 - 2024
    • •
  • 0 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
  • 1 - 10 z 192