|
|
Formal description of board games
Nowak, Stanislav ; Štěpánek, Petr (advisor) ; Kunčar, Ondřej (referee)
The aim of thesis was to design a mathematical formalism that allows describing and exploring the properties of board games. The work benefits from the findings of automata theory and logic programming. First part of thesis deals with finite automata and their possible applications for the needs of board games. The result is an extension of finite-state automaton covering the specifics of board games called game automaton. Board games are a complex domain hight level tools should be used. Such a tools is a logical programming. Using logic programming was designed instrument that allows declarative descriptions of games, named gaming system. This declarative description is used as an framework for the implementation of interactive games. Linking the two worlds will be demonstrated by conversion of the gaming system to the game automaton.
|
|
|
Multi-Agent systems and organizations
Kúdela, Lukáš ; Štěpánek, Petr (advisor) ; Neruda, Roman (referee)
Multi-agent systems (MAS) are emerging as a promising paradigm for conceptualizing, designing and implementing large-scale heterogeneous software systems. The key advantage of looking at components in such systems as autonomous agents is that as agents they are capable of flexible self-organization, instead of being rigidly organized by the system's architect. However, self-organization is like evolution-it takes a lot of time and the results are not guaranteed. More often than not, the system's architect has an idea about how the agents should organize themselves-what types of organizations they should form. In our work, we tried to solve the problem of modelling organizations and their roles in a MAS, independent of the particular agent platform on which the MAS will eventually run. First and foremost, we have proposed a metamodel for expressing platform-independent organization models. Furthermore, we have implemented the proposed metamodel for the Jade agent platform as a module extending this framework. Finally, we have demonstrated the use of our module by modelling three specific organizations: remote function invocation, arithmetic expression evaluation and sealed-bid auction. Our work shows how to separate the behaviour acquired through a role from the behaviour intrinsic to an agent. This...
|
|
|
Systémy pro formální matematiku
Kunčar, Ondřej ; Urban, Josef (advisor) ; Štěpánek, Petr (referee)
Title: Systems for formal mathematics Author: Ondrěj Kuncˇar Department: Dep. of Theoretical Computer Science and Mathematical Logic Supervisor: Mgr. Josef Urban, Ph.D. Supervisor's e-mail address: josef.urban@gmail.com Abstract: The Mizar type system is a relatively sophisticated system as it allows for many properties, such as independent types, attributes, overloading, subty- ping, structures and many others. All these properties make formalization of mathematics more intuitive in Mizar that in other systems. However, there is a need to verify mathematical results formalized in Mizar in other systems, so that belief in consistency of Mizar system is strengthened. Attempts at recon- struction of this type system in other mathematics formalization systems follow directly from this requisite. The present work seeks to reconstruct Mizar type system in HOL Light system. The basic idea here is to represent Mizar types as predicates in this system (HOL Light). The present work also aims at precise description of relevant parts of Mi- zar type system. The thesis concludes by reviewing some of the insights that were arrived at in the course of designing and implementing suggested reconstruction. Keywords: type system, Mizar, HOL Light 1
|
|
|
Co- and self-assembly of amphiphilic block copolymers
Uchman, Mariusz Marcin ; Procházka, Karel (advisor) ; Štěpánek, Petr (referee) ; Gradzielski, Michael (referee)
Souhrn Dizertační Práce Summary of the PhD Thesis SUMMARY OF THE PH.D. THESIS In the presented work, two different approaches for the formation of new functional nanoassemblies in aqueous solution were investigated. AB- and ABC-type of stimuli-responsive block co- and terpolymers and, eventually, additives like cadmium containing salt or boron clusters were utilized in the self- and/or co- assembly processes. In the self-assembly approach diblock copolymer polystyrene-block-poly((sulfamate- carboxylate)isoprene), (PS-PISC), and triblock terpolymer poly((sulfamate-carboxylate)isoprene)-block- polystyrene-block-poly(ethylene oxide), (PISC-PS-PEO), were synthesized by living anionic polymerization and functionalized via post polymerization reaction with chlorosulfonyl isocyanate. (Samples of block copolymers were synthesized by G. Mountrichas and S. Pispas from the Theoretical and Physical Chemistry Institute, National Hellenic Research Foundation, Athens, Greece). As a result, highly incompatible block copolymers, consisting of polyelectrolyte block with pH sensitive and insensitive group at the same monomeric units and some unmodified double bonds were achieved. The structures of self-assembled PS- PISC and PISC-PS-PEO nanoparticles in aqueous solutions were studied in the pH range from 1 to 10 by a...
|
|
|
Communication in Multi-Agent Systems
Bosík, Andrej ; Štěpánek, Petr (advisor) ; Gregor, Petr (referee)
This thesis analyses the questions of communication between agents in MAS. Firstly, I tried to introduce a logic agents, particularly logic rational agents. For rational logic agents characterization I used LORA logic. I illustrated the syntax and the semantic of LORA. Then I concentrated on architecture MAS according to a FIPA specification. I used the JADE environment as implementation of this architecture. JADE is fully implemented in the JAVA language. I described how the communication between two JADE agents works and what form and parameters the messages according to the ACL language have. FIPA developed the ACL language for communication between agents. I described how agents use the protocols. JADE didn't contain any protocol for negotiation. That is why I integrated a new VETO protocol into JADE. This protocol can use all the JADE agents. In order to do it, I integrated new message parameters into JADE. This message parameters extend the ACL message parameters. For demonstration I implemented two classes in the JADE (one for the initiator and one for the responder) using a Veto protocol. Further, I described how new negotiation protocols could be add to JADE. For example I added to JADE another negotiation protocol, called NEGO. At last I used my new implemented ability to negotiation on...
|
|
|
Polimeric nanoparticles stabilised by surfactants
Pánek, Jiří ; Štěpánek, Petr (advisor) ; Pleštil, Josef (referee) ; Sedlák, Marián (referee)
Polymeric nanoparticles stabilised by surfactants Doctoral Thesis Abstract Jiří Pánek Supervisor: RNDr. Petr Štěpánek, DrSc. PRAGUE 2010 CHARLES UNIVERSITY IN PRAGUE Faculty of Science Department of Physical and Macromolecular Chemistry INSTITUTE OF MACROMOLECULAR CHEMISTRY AS CR, v. v. i. Department of Supramolecular Polymer Systems Polymerní nanočástice stabilizované surfaktanty Souhrn disertační práce Jiří Pánek Školitel: RNDr. Petr Štěpánek, DrSc. PRAHA 2010 UNIVERZITA KARLOVA V PRAZE Přírodovědecká fakulta Katedra fyzikální a makromolekulární chemie ÚSTAV MAKROMOLEKULÁRNÍ CHEMIE AV ČR, v. v. i. Oddělení nadmolekulárních polymerních soustav 1 INTRODUCTION In the light of recent development, nanotechnology is the driving force of current research of new materials both in materials science and in biomedicinal applications. Nanomaterials can be constructed either by a top-down approach when the desired structure is produced in an already existing material or by a bottom-up approach when the required configuration is made by self-assembly of building blocks using various physicochemical interactions. Polymers and copolymers represent an ideal system for engineering of self-assembled nanomaterials since they offer a wide range of combinations of building materials that may serve for this purpose. The aims of...
|
|
|
Synthesis and self-assembly of amphiphilic functional block and graft copolymers
Gromadzki, Daniel ; Štěpánek, Petr (advisor) ; Tuzar, Zdeněk (referee) ; El Fray, Miroslawa (referee)
7. Conclusions and outlook A set of questions of current interest in macromolecular chemistry was tackled and resolved in this thesis. The research project included both polymer synthesis and advanced characterization of produced polymeric materials using various experimental techniques. Particular interest was paid to block copolymers including diblock ionomers, "block- random" copolymers and block copolymers with nonlinear architecture such as comb-like copolymers and molecular brushes. The main results achieved in the present thesis are (l) structure-property relationship in diblock ionomers (2) understanding the microphase separation process in A-á-(A-co.B) b|ock copolymers and the effect of polydispersity on microdomain size (3) development of original methods for synthesis of amphiphilic block copolymers with comb-like architecture (4) the effect of side chain length on the morphological transitions in comb-like copolymers in dilute solutions. Several future directions in research can be envisaged based on the results obtained in the present thesis. Elegant work can be done on microphase separation of polydisperse block copolymers, namely an effort to establish a new phase diagram taking into account morphological transitions and changes of size of microphase separated domains. Size is crucial in...
|
|
|
Molecular dynamics simulations of complexes consisting of proteins and nucleic acids
Šmít, Daniel ; Barvík, Ivan (advisor) ; Štěpánek, Petr (referee)
Na/ev pracc: Molekularne-dynamicke simulace komplcxu sestavajicich z nukleovyeh kyselin a proleinu Autor: Daniel Snu't Katedra (ustav): Fy/ikalni ustav UK Vedouci hukalafskc prace: RNDr. Ivan Barvik. Ph.D. e-mail vedoueiho: iharvikiY/'karlov.mff.euni.c/ Abstrakt: Prace od /akladu se/namujc s biochemickymi principy. struklurou nukleovych kysclin a aminokyselin, stavbou proleinu a mechanismem jejich synte/y. /vlastni zfetel jc kladen na /pusoby replikacc nukleovych kysclin ruznyeh viru a na mo/nosli lerapie zalozene na interferenci s toulo replikaci. Dale jsou nastmeny i jine moderni melody lerapie spoci'vajici v modulaci imunity ei vyu/ili RNA interference. Struklura viru IICV je podrobne popsana. Replikacni en7\'in viru. IK'V RNA depcndenlni KNA polymcra/a, je podrt>bne popsan spolu s pfedpokladunym prubehcm jelut iniciace a poKmeracni akiiviiy. Dale jsou popsans /aklady molekularne dynamickych (Ml)) simulaci. ktere jsou v ranici bakalafske prace denionstrovany na jednoduchem modelovem systemu argonoveho clusteru. V druhe polovinc prace jsou provedeny MD simulace inhihice IK'V RclRp prostrednictvim lalek PMIXi, PMPG a IIPMPG. Struklura a stabilita komplexu je dctailnc analy/ovana na atomarni urovni. Klicova slova: molekularni dynamika. nuklcove kyseliny, IICV. IIPMIJ(j Title: Molecular dynamics simulations...
|
|
| |
|
|
Data and Ontologies
Kotowski, Jakub ; Vojtáš, Peter (referee) ; Štěpánek, Petr (advisor)
In the core of current semantic web efforts is the notion of ontology. Although ontologies have been explored since times of the Greek philosopher Aristotle already there is still much to learn in this area. There are many tutorials and introductory texts both into the semantic web as whole and into its individual technologies but the learning curve is still very steep and developers have to seek answers to questions that are often topic of current research or the answer is simply not known yet. Much of these difficulties one encounters at what is often the very first step towards building a semantic web application - creating an ontology. In this work I point out some of the difficulties I encountered myself during the work on an ontology for a Sun Microsystems website. I review current research on the problems and suggest a solution. I particularly analyze the notion of role concepts, suggest an improvment of a normalisation technique which can then be used to avoid some of the role-related problems. I also present the process of creating the example Sun ontology.
|
guest ::
RSS feed.