|
|
Obnovení lokality: axiomatická formulace modifikované kvantové mechaniky
Souček, Jiří
From the dichotomy "nonlocality vs non-realism" which is the consequence of Bell Inequalities (BI) we shall choose the non-realism. We shall present here the modified Quantum Mechanics (modQM) in the axiomatic form. ModQM was introduced in [5] and we shall show its non-realism in the description of an internal measurement process. ModQM allows the restoration of locality, since BI cannot be derived in it. In modQM it is possible to solve: the measurement problem, the collapse problem, the problem of a local model for EPR correlations (see[5]). ModQM is a unique explicit realization of non-realism in QM. ModQM should be preferred as an alternative to the standard QM mainly since it restores the locality.
Plný text:  PDF
|
|
| |
|
|
Nová axiomatizace kvantové mechaniky
Souček, Jiří
In this paper we describe a new (complete) axiomatization of quantum mechanics (QM) in which we add axioms describing the concept of an observation. We show that new axioms are clear and evident and based on common sense. Our approach is based on the idea of the observation of properties of an individual measuring system. We distinguish two concepts of a state: the properties of an individual measuring system and the state of an ensemble of systems. Then we prove that the ontic model of QM is inconsistent. This is our main result. This implies the necessity to consider “non-realistic” models for QM in which it is not true that each wave-function describes a possible state of an individual system. Our axiomatization is based on the postulate of the existence of definite outputs of an experiment. Thus the evident reality of the existence of definite outputs implies that our axiomatization is true and verifiable.
Plný text: PDF
|
|
|
Nová observační axiomatizace kvantové mechaniky, nekonsistence ontického modelu kvantové mechaniky a konec kvantové nelokality
Souček, Jiří
V tomto článku popisujeme novou axiomatizaci kvantové mechaniky (QM) ve které vyměňujeme pojem měření pojmem pozorování. Diskutujeme a popisujeme tuto axiomatizaci ve všech detailech. Ukazujeme, že nové axiomy jsou jasné a evidentní a založen na zdravém rozumu. Náš přístup je založen na ideji pozorování individuálního stavu individuálního měřícího systému. Rozlišujeme dva pojmy stavu: individuální stav individuálního měřícího systému a stav ensemblu systémů. Dokazujeme, že ontický model QM (kde vlnová funkce popisuje stav individuálního systému) je nekonzistentní. To je náš hlavní výsledek. Implikuje, že "standardní von Neumannova učebnicová QM" je nekonzistentní. To implikuje nutnost uvažovat "nerealistické" modely pro QM. Navíc ukazujeme, že důkazy Bellovy věty a kvantové nelokality jsou neplatné v těchto "nerealistických" modelech pro QM. To způsobuje, že neexistuje platný důkaz kvantové nelokality.
Plný text: PDF
|
|
|
Životní cykly objektů ontologického modelu veřejné správy
Novotná, Jana ; Řepa, Václav (vedoucí práce) ; Hrabě, Pavel (oponent)
Tato diplomová práce se zabývá ontologiemi, ontologickým modelováním a jeho praktickým využití v rámci projektu Optimalizace životních situací ve vztahu k Registru práv a povinností. Ontologické modelování zajišťuje sjednocení pojmů a jejich významů. Cílem této diplomové práce je rozšíření ontologického modelu projektu Optimalizace životních situací ve vztahu k Registru práv a povinností na základě znalostí získaných v teoretické části, vytvoření návrhu úpravy metodiky modelování a navržení konceptu možného budoucího využití modelu.
|
|
| |
|
|
Distribuovaný informační systém založený na sémantických technologiích
Havlena, Jan ; Bartík, Vladimír (oponent) ; Burget, Radek (vedoucí práce)
Tato diplomová práce se zabývá návrhem a implementací distribuovaného informačního systému, jehož distribuce dat je založena na sémantických technologiích. Jsou v ní rozebírány technologie sémantického webu se zaměřením na výměnu informací mezi informačními systémy a s tím související pojmy, zejména ontologie, ontologické jazyky a technologie RDF. Dále je v práci popsán návrh vlastní ontologie, pomocí níž jsou data předávaná mezi systémy popsána, a technologie použité pro implementaci distribuovaného informačního systému. Nejvýznamnějšími z nich jsou JavaServer Faces a Sesame.
|
|
|
Ontologie a Semantický Web
Stuchlík, Radek ; Hruška, Tomáš (oponent) ; Očenášek, Pavel (vedoucí práce)
Diplomová práce s názvem Ontologie a Sémantický Web se snaží o vysvětlení základních principů ontologií, které úzce souvisejí s tzv. novou generací webu: sémantickým webem. Diplomová práce je koncipována jako tutoriál a zaměřuje se tedy jak na teoretické základy, tak i na praktické příklady využití dosud vyvinutých technologií. Účelem tutoriálu je představit základní myšlenky sémantického webu, technologií a datových formátů, které by měly umožnit jeho zavedení do praxe.
|
|
|
Ubiquitous Learning
Sobotka, Miroslav ; Zbořil, František (oponent) ; Křena, Bohuslav (vedoucí práce)
This MSc Thesis was performed during a study stay at the Université de La Rochelle, France. This work is devoted to the ubiquitous learning and the ontology mapping. The former part presents the environment of ubiquitous learning and available tools. The aim is to show the way to the mobile content creation, using the LMA software and the realization of the virtual learning environment - installation, testing and setting up of the Moodle open source course management system. The ontology mapping part acquaints readers with ontologies and ontology mapping, the aim is to analyze available resources, to choose suitable tools and finally to realize own implementation of ontology mapping algorithm. This work is a part of the MAPLE project, the overall objective is to enable realization of pedagogical framework for a mobile, active and participative learning environment.
|
|
|
Genealogická sémantická wiki
Brychová, Jana ; Smrž, Pavel (oponent) ; Schmidt, Marek (vedoucí práce)
Tato diplomová práce se zabývá možnostmi uložení genealogických dat do různých formátů a na základě výsledků navrhuje vhodný formát dat takový, aby byla následně možná jejich prezentace pomocí sémantického webu. V rámci této práce je implementována genealogická aplikace pro platformu KiWi. Tato aplikace umožňuje vizualizaci navrženého formátu pomocí technologie prefuse. V dokumentu jsou uvedeny základní a případně další potřebné informace ohledně základů technologií sémantického webu jako RDF, XML, ontologie, jazyk OWL. Dále dokument popisuje implementovanou aplikaci včetně použití.
|
host ::
RSS.