About: Modelování a implementace distribuovaných procesů

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Modelování a implementace distribuovaných procesů Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Zamer, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Zamer
Description	Project is focused on development of theoretical and technolo- gical tools used for purpose of processes modeling and imple- mentation in a distributed environment.Project is divided into three parts:mathematical basis,technology and infrastr.meansMathematical basis comprises:math.models of concurrent systems based on algebraic calculus,Petri nets;languages for the desc- ription of system properties; methods for analysis,design and verification of systems based on a formal approach.Technology for process modeling and implementation comprises: software tools for modeling, analysis and process simulation based on mathematical theory of concurrent systems; development of intelligent HW and SW components used by processes.Infrastructure means cover: database technologies;software for the object distribution based on middleware CORBA,RMI etc.;Java technologies and Intra/Internet support;communication and computer networks including their optimization and control (en) Projekt se zabývá problematikou vývoje teoretických i prakti- ckých nástroju slouzících k modelování a implementaci procesu v distribuovaném prostredí.Projekt je rozdelen do trí cástí:mate- matické základy,technologie a infrastrukturní prostredky.Matematické základy zahrnují:studium matemat.modelu soubezných systému zalozených na algebraických kalkulech a Petriho sítích; jazyky pro popis zkoumaných vlastností systému; metody návrhu, analýzy a verifikace systému, opírající se o formální prístup.Technologie pro modelování procesu a jejich implementaci tvo- rené: SW prostredky pro modelování, analýzu a simulaci procesu, vycházejících z matemat.základu konkurentních systému; vývoj inteligentních HW a SW prvku vyuzívaných procesy.Infrastrukturní prostredky pro implementaci zahrnují:databázové technologie; SW pro distribuci objektu s vyuzitím middleware CORBA, RMI; Java technologie a podpora Intra/Internetu; komunikacní a pocítacové síte,jejich optimalizace a rízení.
Title	Modelování a implementace distribuovaných procesů Modeling and Implementation of Distributed Processes (en)
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM+272400013/celkovaStatniPodpora
http://linked.open...ez/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM+272400013/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2008-06-02 (xsd:date)
http://linked.open...vavai/cez/dodavka	http://linked.opendata.cz/resource/domain/vavai/dodavka/CEZ%2F2005%2FMSM%2FMSM500%2FU%2FN%2F8%3A4
http://linked.open...ez/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...in/vavai/cez/faze	32978761
http://linked.open...ai/cez/hlavniObor	JC - Počítačový hardware a software
http://linked.open...vai/cez/hodnoceni	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open.../cez/kategorieVaV	NV - Aplikovaný výzkum s výjimkou průmyslového výzkumu (tzv. %22neprůmyslový výzkum%22)
http://linked.open.../cez/klicovaSlova	Concurrent Processes,Formal Methods,Distributed Systems,Distributed Objects,Modeling and Simulation,ATE Systems,Control and Measurement,Databases and Information Systems,Networking and Communications,Broadband ISDN (en)
http://linked.open...icUkonceniPodpory	12 (xsd:int)
http://linked.open...icZahajeniPodpory	2 (xsd:int)
http://linked.open...cez/partnerHlavni	Fakulta elektrotechniky a informatiky
http://linked.open...z/poceVysledkuRIV	242 (xsd:int)
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cez/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open...enychVysledkuVRIV	242 (xsd:int)
http://linked.open.../vavai/cez/resort	Ministry of Education, Youth and Sports
http://linked.open...okUkonceniPodpory	2004
http://linked.open...okZahajeniPodpory	1999
http://linked.open...iciPoslednihoRoku	2005
http://linked.open...atUdajeProjZameru	2005
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open.../cez/vedlejsiObor	BD - Teorie informace JB - Senzory, čidla, měření a regulace
http://linked.open...n/vavai/cez/zamer	Z - Výzkumný záměr financovaný ze státního rozpočtu
http://linked.open...sledkuDodavatelem	Matematické modely souběžných systémů, jejich analýza a verifikace.Ukládání, zpracování a analýzy dat v prostředí mobilních systémů. Bezpečnostní aspekty. Řízení mobilních objektů v distribuovaných systémech. (en) Matematické modely souběžných systémů, jejich analýza a verifikace.Ukládání, zpracování a analýzy dat v prostředí mobilních systémů. Bezpečnostní aspekty. Řízení mobilních objektů v distribuovaných systémech. (cs)
http://linked.open...cez/zivotniCyklus	ZBBKKKU
is http://linked.open...omain/vavai/zamer of	http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+272400013/1999/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+272400013/2000/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+272400013/2001/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+272400013/2002/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+272400013/2003/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+272400013/2004/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cez/ucast/MSM+272400013/2005/orjk%3A27240
is http://linked.open...n/vavai/cez/zamer of	http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+272400013/1999 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+272400013/2000 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+272400013/2001 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+272400013/2002 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+272400013/2003 http://linked.opendata.cz/resource/domain/vavai/cez/financovani/MSM+272400013/2004

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of Feb 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software