|
|
Hybrid-epistemický model kvantové mechaniky a možné řešení problému měření
Souček, Jiří
In this study we introduce and describe in details the hybrid-epistemic model for quantum mechanics. The main differences with respect to the standard model are following: (1) the measurement process is considered as an internal process inside quantum mechanics, i.e. it does not make a part of axioms and (2) the process of the observation of the state of the individual measuring system is introduced into axioms. The intrinsic measurement process is described in two variants (simplified and generalized). Our model contains hybrid, epistemic and hybrid-epistemic systems. Each hybrid system contains a unique orthogonal base composed from homogeneous (i.e. ontic) states. We show that in our model the measurement problem is consistently solvable. Our model represents the rational compromise between the Bohr’s view (the ontic model) and the Einstein’s view (the epistemic model).
Fulltext:  PDF
|
|
|
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.
Fulltext: 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.
Fulltext: PDF
|
|
|
Nová observační axiomatizace kvantové mechaniky, nekonsistence ontického modelu kvantové mechaniky a konec kvantové nelokality
Souček, Jiří
In this paper we describe a new axiomatization of quantum mechanics (QM) in which we replace the concept of the measurement by the concept of the observation. We shall describe and discuss this axiomatization in details. We show that new axioms are clear and evident and based on the common sense. Our approach is based on the idea of the observation of the individual state of the individual measuring system. We distinguish two concepts of a state: the individual state of the individual measuring system and the state of an ensemble of systems. Then we prove that the ontic model of QM (where the wave function describes the state of the individual system) is inconsistent. This is our main result. It implies that the "standard von Neumann's text-book QM" is inconsistent. This implies the necessity to consider "non-realistic" models for QM. Moreover we show that the proofs of Bell's theorem and of quantum nonlocality are not valid in these "nonrealistic" models for QM. This implies that there is no valid proof of the quantum nonlocality.
Fulltext: PDF
|
|
|
The Life Cycles of Objects in Public Administration Ontological Model
Novotná, Jana ; Řepa, Václav (advisor) ; Hrabě, Pavel (referee)
This diploma thesis discuss ontologies, ontological modelling and its practical usage in the project Optimization of life situations in relation to the Register of Rights and Obligations. Ontological modelling provides unification of concepts and their meanings. The aim of the thesis is creation of an extension of the ontological model based on knowledge gained in the theoretical part, propose methodology changes and create a concept of possible future usage of the model.
|
|
| |
|
|
Distributed Information System Based on Semantic Technology
Havlena, Jan ; Bartík, Vladimír (referee) ; Burget, Radek (advisor)
This master's thesis deals with the design of a distributed information system, where the data distribution is based on semantic technologies. The project analyzes the semantic web technologies with the focus on information exchange between information systems and the related terms, mainly ontologies, ontology languages and the Resource description framework. Furthermore, there is described a proposal an ontology which is used to describe the data exchanged between the systems and the technologies used to implement distributed information system. The most important of them are Java Server Faces and Sesame.
|
|
|
Ontology and Semantic Web
Stuchlík, Radek ; Hruška, Tomáš (referee) ; Očenášek, Pavel (advisor)
The purpose of the master's thesis "Ontology and Semantic Web" is to give a description of general principles of ontologies, which are closely associated with so-called new generation of web: semantic web. The thesis is conceived as tutorial and it is focused on both theoretical basics and practical examples of the use of technologies developed recently. The aim of this tutorial is to present main ideas of semantic web, technologies and data formats, which should provide its implementation into standard practice.
|
|
|
Ubiquitous Learning
Sobotka, Miroslav ; Zbořil, František (referee) ; Křena, Bohuslav (advisor)
Tato práce se věnuje všudypřítomnému vzdělávání (u-learning) a mapování ontologií, je součástí dlouhodobého projektu MAPLE a vypracoval jsem ji během studijního pobytu na francouzské univerzitě v La Rochelle, v rámci mezinárodního výměnného programu Socrates-Erasmus. Hlavní cíle práce lze rozdělit na dvě související části. První část má za úkol seznámit čtenáře s prostředím pro všudypřítomné vzdělávání a s vhodnými dostupnými nástroji. Jedním z těchto nástrojů je i komerční program LMA, který je určený pro tvorbu mobilních prezentací a kurzů, důraz je kladen na jejich přenositelnost mezi jednotlivými mobilními platformami. Cílem je demonstrace jeho funkčnosti a vytvoření zkušební mobilní prezentace. Dalším krokem je seznámení čtenáře s virtuálním výukovým prostředím (VLE) a systémy pro správu a řízení výukových kurzů (CMS). Vybraný, volně dostupný CMS se jménem Moodle jsem nainstaloval, nakonfiguroval a vytvořením fiktivního kurzu otestoval a vyzkoušel jeho vlastnosti a funkčnost. Druhá část práce se zabývá ontologiemi, dostupnými nástroji pro práci s nimi a mapovacími algoritmy. Čtenář je seznámen s patřičnou teorií i s motivacemi pro využití ontologií v projektu MAPLE, větší prostor je věnován volně dostupnému programu Protégé, který slouží hlavně jako editor ontologií, ale díky jeho rozšiřitelné architektuře může být využit k nejrůznějším účelům. Důležitým bodem práce je analýza a realizace doporučeného mapovacího algoritmu, který jsem implementoval jako zásuvný modul pro program Protégé. Cílem projektu MAPLE je návrh a realizace pedagogického systému pro mobilní, aktivní a participativní výukové prostředí, které obohatí tradiční model prezenční výuky. Díky mobilním zařízením, spolupracujícím s pracovní stanicí vyučujícího, budou mít studenti možnost okamžité zpětné vazby na probíranou látku. Dalšími záměry projektu jsou mobilní přístup k datům a výukovým kurzům, online komunikace a spolupráce zúčastněných osob, efektivní vedení a administrace kurzů pro vyučující a také spolupráce a propojení již existujících systémů v jeden funkční celek. Motivací pro využití ontologií v projektu MAPLE je správa výukových modulů a prezentací, jejich efektivní katalogizace, znázornění závislostí a vztahů mezi uloženými daty a jejich rychlé a přesné vyhledání. Mapovací algoritmus umožní spolupráci mezi moduly a ostatními databázemi, které používají rozdílné ontologie pro popis a charakterizaci uložených dat.
|
guest ::
