This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n13http://purl.org/net/nknouf/ns/bibtex#
n10http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n7http://linked.opendata.cz/ontology/domain/vavai/
n9https://schema.org/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F06%3APU66870%21RIV07-GA0-26230___/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F06%3APU66870%21RIV07-GA0-26230___
rdf:type
n7:Vysledek skos:Concept
dcterms:description
The paper extends our previous results in theory of computer modelling, which will be now applied to our futher research of safe (and secure) intelligent systems. The research is oriented to integrating of modelling methods, tools and paradigms (so called heterogeneous modelling), where their interconnection makes the modelling work higly more efficient. AIN (Automatic Information Net) together with HELEF language (HEterogeneous Language Environment) is one of the particular results. We define basic aspects of safe intelligent systems using the mentioned HELEF language.<br> Článek navazuje na naše předchozí výsledky v teorii modelování systémů, které budou dále aplikovány ve výzkumu bezpečných a inteligentních systémů na našem pracovišti. Náš výzkum se zaměřuje na integrování modelovacích metod, nástrojů a paradigmat (tak zvané heterogenní modelování), jejichž propojení významným způsobem zefektivňuje práci v počítačovém modelování. Jedním z výsledků tohoto výzkumu je původní metoda řešení heterogenních modelů nazývaná AIN (Automatic Information Net) a jazyk HELEF (Heterogeneous Language Environment, Final version). Dlouhodobým cílem, kam naše činnost směřuje, je prostředí pro modelování bezpečných systémů realizované také částečně jazykem HELEF. Pojem &quot;bezpečného systému&quot; je poměrně rozsáhlý - bezpečnost sledujeme přinejmenším ve významu slova &quot;spolehlivý&quot; a &quot;nezranitelný&quot;. Článek navazuje na naše předchozí výsledky v teorii modelování systémů, které budou dále aplikovány ve výzkumu bezpečných a inteligentních systémů na našem pracovišti. Náš výzkum se zaměřuje na integrování modelovacích metod, nástrojů a paradigmat (tak zvané heterogenní modelování), jejichž propojení významným způsobem zefektivňuje práci v počítačovém modelování. Jedním z výsledků tohoto výzkumu je původní metoda řešení heterogenních modelů nazývaná AIN (Automatic Information Net) a jazyk HELEF (Heterogeneous Language Environment, Final version). Dlouhodobým cílem, kam naše činnost směřuje, je prostředí pro modelování bezpečných systémů realizované také částečně jazykem HELEF. Pojem &quot;bezpečného systému&quot; je poměrně rozsáhlý - bezpečnost sledujeme přinejmenším ve významu slova &quot;spolehlivý&quot; a &quot;nezranitelný&quot;.
dcterms:title
Prostředí pro modelování bezpečných systémů Environment for Modelling of Safe Systems Prostředí pro modelování bezpečných systémů
skos:prefLabel
Prostředí pro modelování bezpečných systémů Environment for Modelling of Safe Systems Prostředí pro modelování bezpečných systémů
skos:notation
RIV/00216305:26230/06:PU66870!RIV07-GA0-26230___
n4:strany
39-44
n4:aktivita
n18:P
n4:aktivity
P(GA102/04/0871)
n4:dodaniDat
n5:2007
n4:domaciTvurceVysledku
n15:7927940 n15:3161919 n15:2034867
n4:druhVysledku
n16:D
n4:duvernostUdaju
n21:S
n4:entitaPredkladatele
n6:predkladatel
n4:idSjednocenehoVysledku
495656
n4:idVysledku
RIV/00216305:26230/06:PU66870
n4:jazykVysledku
n14:cze
n4:klicovaSlova
heterogeneous modelling, safe systems, safety, security<br>
n4:klicoveSlovo
n11:heterogeneous%20modelling n11:safety n11:security%3Cbr%3E n11:safe%20systems
n4:kontrolniKodProRIV
[778AEDBE9B7C]
n4:mistoKonaniAkce
Přerov
n4:mistoVydani
Ostrava
n4:nazevZdroje
Proceedings of NETSS06
n4:obor
n12:JC
n4:pocetDomacichTvurcuVysledku
3
n4:pocetTvurcuVysledku
3
n4:projekt
n17:GA102%2F04%2F0871
n4:rokUplatneniVysledku
n5:2006
n4:tvurceVysledku
Hrubý, Martin Hanáček, Petr Rábová, Zdeňka
n4:typAkce
n20:EUR
n4:zahajeniAkce
2006-02-22+01:00
s:numberOfPages
6
n13:hasPublisher
MARQ
n9:isbn
80-86840-06-9
n10:organizacniJednotka
26230