Modelling Concurrency with Comtraces and Generalized Comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the "not later than" relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the "non-simultaneously" relationship. Then we study some basic algebraic properties and canonical reprentations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.Comment: 49 page

Mobile robot sensor system

V bakalárskej práci sú spracované základné teoretické poznatky potrebné pri návrhu senzorového systému pre malého mobilného robota a navrhnutý vlastný senzorový systém. Práca popisuje princíp činnosti taktilných, optoelektronických ako aj ultrazvukových senzorov, ich základné vlastnosti, výhody a nevýhody. Následne sú spracované známe možnosti zapojenia senzorov na sledovanie čiary a detekciu prekážky a stručne popísané komerčne dostupné riešenia. V druhej časti je na základe uvedených princípov, experimentálnych zapojení a meraní navrhnutý vlastný senzorový systém s pokročilími metódami detekcie a spracovania údajov mikroprocesorom. Návrh je zameraný na optimalizáciu spotreby, efektivitu obslužného softwaru a značnú univerzálnosť systému. Súčasťou práce sú tiež knižnice funkcií potrebné pre jednoduché ovládanie a implementáciu senzorového subsystému do vlastnej aplikácie. Na záver sú uvedené a zhodnotené výsledky testovania a zmerané parametre navrhnutého systému.In this Bachelors thesis is processed the basic theoretical knowledge needed to design sensory system for a small mobile robot and the sensory system itself is designed. Thesis describes the working principle of tactile, optoelectonic and ultrasound sensors, their basic features, advantages and disadvantages. Next there are processed known prospects of sensors electrical schemes for line following and obstacle detection sensors and commercialy available solutions are briefly described. In the second part there is, based on introduced principles, experimental schemes and measurements, the sensory system itself designed, which is capable of advanced detection abilities and microprocessor conducted data processing. The design is focused on power usage optimisation, control software efficiency and extended universality of designed system. Part of the thesis are libraries of functions required for simple control and sensory system application. In the epilogue there are listed and evaluated the testing results and measured parameters of designed system.

Vplyv podstielkových materiálov na užitkovosť, welfare a správanie kurčiat výkrmového typu: Prehľad literatúry

Bedding material has a significant effect on life, health and production of broiler chicken since they are in direct contact with litter. When condition of litter is poor, it increases an occurrence of pododermatitis. Birds living in chronic pain move less and consequently eat and drink less and because of that their production is less efficient. The aim of this review is to compare different bedding materials used in Europe and elsewhere in the world and to evaluate their effects on production parameters, health and animal welfare. During the last years, a lot of research has been done using both traditional and alternative bedding materials. A significant part of materials was evaluated as suitable or improving production parameters. There is an evidence that at least one quarter of broiler chicken live in constant pain due to footpad dermatitis, joint inflammations or other locomotory disorders for more than one third of their live. The health of the locomotory system is the major challenge for improving poultry welfare. Several substrates can be used as bedding material for poultry. In general, we can conclude that, the finer particles are the lower is the occurrence of pododermatitis. However optimal bedding material must be able to absorb excess water but also to be dried properly. Another important aspect of animal welfare is the opportunity to manifest their natural behaviour. Research clearly shows that poultry prefer to perform dustbathing only in dry and dusty substrate.Podstielkový materiál významne vplýva na život, zdravie a produkciu brojlerových kurčiat nakoľko sú s ním v priamom kontakte. Pokiaľ je stav podstielky zlý, zvyšuje sa možnosť vzniku pododermatídy. Vtáky pociťujúce chronickú bolesť sa menej hýbu a nadväzne na to aj menej žerú a pijú, čo má za následok nižšiu efektivitu produkcie. Cieľom tohto prehľadu je porovnať podstielkové materiály používané v Európe aj vo svete a posúdiť ich vplyv na parametre úžitkovosti, zdravie a welfare zvierat. V posledných rokoch bolo vykonané množstvo experimentov s použitím tradičných aj alternatívnych materiálov. Publikovaných bolo viacero pokusov s použitím rôznych podstielkových materiálov. Značná časť z nich bola zhodnotená, ako vhodná pre hydinu, či dokonca zlepšujúca produkčné parametre. Je preukázané, že najmenej štvrtina brojlerových kurčiat žije v stave konštantnej bolesti vzhľadom na pododermatídu behákov, zápaly kĺbov alebo iné poruchy pohybového aparátu po dobu viac ako tretiny života. Zdravie pohybového ústrojenstva je, preto jednou z kľúčových výziev na zlepšenie welfare hydiny. Množstvo substrátov môže byť použitých ako podstielkový materiál pre hydinu. Vo všeobecností platí, že čím jemnejšie sú častice, tým menšia je možnosť výskytu pododermatídy. Optimálny podstielkový materiál musí byť však schopný dobre prijímať vlhkosť no byť aj ľahko sušiteľný. Ďalším dôležitým aspektom z pohľadu životnej pohody zvierat je schopnosť prejavovať prirodzené správanie. Výskumy jasne preukazjú, že hydina preferuje popolenie v suchom a prašnom materiály

Procjena temeperamenta mliječnih krava odgovorom na novi objekt

The presented study aims to develop on farm test temperament in dairy cattle based on individual differences in behavior during approaching the novel object. The novel object was a red cycling light. Behavior traits (duration of walking and standing at stops) were recorded from the video records as well as numeric modifier (distance of stop). Individual differences in the behavior were evaluated by differences in duration of approaching the novel object. Due to differences in walking speed in the cows the corrected duration of approaching (CDA) was calculated from real duration of approaching the novel object, number of stops and 1st stop distance. A group of 53 tested cows was split into 4 distinctive clusters. Members of cluster 1 had calm type of temperament, cluster had 28 members, median CDA was 28 s (min 11 s, max 53 s). Members of cluster 2 had curious type of temperament, cluster had 14 members, median CDA was 87 s (min 58 s, max 121 s). Members of cluster 3 had vigilant type of temperament, cluster had 9 members, median CDA was 155 s (min 132 s, max 250 s). Members of cluster 4 had fearful type of temperament, and cluster had only 2 members, median CDA was 460 s (min 439 s, max 482 s). Results showed the possibility of on farm temperament type measure by simple test. Testing discovered inappropriate type of temperament in 2 of tested dairy cows with higher risks of problem with habituation to novel objects or during manipulation.Cilj ovog rada je razviti farmski test za procjenu temperamenta farmi u mliječnih goveda na temelju individualnih razlika u ponašanju tijekom pristupanja novom objektu. Novi objekt bilo je crveno biciklističko svjetlo. Iz video zapisa snimljene su osobine ponašanja (trajanje hodanja i stajanja na stajalištima) kao i numerički modifikator (udaljenost zaustavljanja). Individualne razlike u ponašanju procijenjene su razlikama u trajanju približavanja novom objektu. Zbog razlika u brzini hodanja kod krava, korigirano trajanje približavanja (CDA) izračunato je iz stvarnog trajanja približavanja novom objektu, broja zaustavljanja i udaljenosti prvog zaustavljanja. Skupina od 53 testirane krave podijeljena je u 4 različite grupe. Članovi klastera 1 bili su mirnog tipa temperamenta, klaster je imao 28 članova, medijan CDA bio je 28 s (min 11 s, max 53 s). Članovi klastera 2 imali su čudan tip temperamenta, klaster je imao 14 članova, medijan CDA bio je 87 s (min 58 s, max 121 s). Članovi klastera 3 imali su budni tip temperamenta, klaster je imao 9 članova, medijan CDA bio je 155 s (min 132 s, max 250 s). Članovi klastera 4 imali su strašljiv tip temperamenta, a klaster je imao samo 2 člana, medijan CDA bio je 460 s (min 439 s, max 482 s). Rezultati su pokazali mogućnost mjerenja tipa temperamenta na farmi jednostavnim testom. Testiranje je otkrilo neodgovarajući tip temperamenta kod 2 testirane mliječne krave s većim rizikom problema u navikavanju na nove objekte ili tijekom manipulacije

Die biblisch-hebräische Partikel -na im Lichte der antiken Bibelübersetzungen : unter besonderer Berücksichtigung ihrer vermuteten Höflichkeitsfunktion

My research addresses the function of the much-debated particle -nā in Biblical Hebrew, often translated with “please”, from the point of view of the most important ancient Bible translations (Greek, Syriac, Latin). It combines textual criticism, translation technique, discourse pragmatics, and the study of politeness in language. The bewildering amount of variation in the rendering of this particle in the ancient versions can be explained as the result of a conscious choice by the translator or as a reflex of a different Hebrew original. After a survey of previous research, a systematic and comprehensive investigation of the evidence shows that the pragmatic function of this particle is strongly conditioned by the context and cannot be explained by a unified denominator. Its primary function appears to be emphasis, hence it sensitizes the addressee/reader. Cases of schematic translation can indicate with relative certainty where -nā was present or not in the Hebrew original of a given translation. By and large, the following tendencies can be observed: the Greek often has dē as the most obvious translation equivalent, the Syriac only translates it occasionally, and the Latin connects it most directly with politeness by a Latin expression for request (generally obsecro or quaeso).Theoretical and Experimental Linguistic

Ålandské ostrovy - autonomie a cesta k ní

Ålandské ostrovy - autonómia a cesta k nej Tomáš Juhás 2013 Abstrakt Práca sa zaoberá tzv. Ålandskou otázkou, fínsko-švédskym sporom o Ålandské ostrovy z obdobia konca prvej svetovej vojny, definitívne vyriešeným Spoločnosťou národov ponechaním ostrovov Fínsku pod podmienkou udelenia autonómie a potvrdením ich demilitarizácie. Cieľom práce je zodpovedať, prečo bolo prijaté práve dané riešenie a to pomocou analýzy záujmov a postojov jednotlivých strán sporu. Práca operuje s dvomi polohami Ålandskej otázky. Prvá je vojensko-strategická a sa týka ich neutrality. Z baltického pohľadu sú ostrovy v prípade vojnového konfliktu mimoriadne výhodne umiestneným územím. Z tohto dôvodu boli Ålandy už od roku 1856 demilitarizované a neutralizované a záujmom všetkých zainteresovaných bolo, aby to tak ostalo. Druhou polohou je poloha etnická a jej podstatou je otázka, komu majú ostrovy patriť. Obyvateľstvo ostrovov je švédsky hovoriace a prejavilo vôľu pripojiť ostrovy k Švédsku. Fínsko však tento stav nechcelo dopustiť. Zákulisné rokovania zainteresovaných strán trvali dlhú dobu a nakoniec sa preniesli pred Radu Spoločnosti národov, ktorá v konečnom dôsledku rozhodla v de facto fínsky prospech. Táto pro-fínskosť bola, ako práca zisťuje, daná kombináciou momentálnych a štrukturálnych dôvodov, okrem iných fínskou vojenskou...Åland Islands - autonomy and the road to it Tomáš Juhás 2013 Abstract The thesis focuses on the so-called Åland Question, the Finnish-Swedish conflict over Åland islands in the period of the post-first-world-war years, which was ultimately solved through the League of Nations in the way that the Islands were confirmed to belong to Finland, under the condition of being granted autonomy and of their neutral status being confirmed. The goal of the thesis is to conclude why the conflict was solved precisely in the way it was, this being based on the analysis of motivations of the main states party to the conflict. The thesis regards this conflict as a dual one. The first part of the conflict is military- strategic and concerns the neutrality of the Islands. From a Baltic point of view, the Åland islands are a very strategically important area in case of a war. For this reason the Islands were neutralized as of 1856 and all states party to the conflict wanted them to stay so. The second part of the conflict is an ethnic one and concerns the question to which state the Islands should belong. The inhabitants of the Ålands speak Swedish and they made themselves heard that they wanted their land to belong to Sweden. However, Finland was not willing to let the Islands go. Backstage negotiations took a long time until...Department of Russian and East European StudiesKatedra ruských a východoevropských studiíFaculty of Social SciencesFakulta sociálních vě

The influence of parameters of ring spinning machine settings to quality of worsted yarn

katedra: KTT; přílohy: 1 CD ROM; rozsah: 58 s.This thesis deals with the influence of the setting ring spinning machines for quality of wors-ted yarn. For the experiment were chosen gray worsted wool, blended yarn and fiber Kevlar and Nomex. We monitored the influence of spindle speed setting and delivery of the selected yarn properties (strength, ductility, variability, number of strengths and weak-term spots, the number of neps, hairiness) in compliance with the same parameters of worsted yarns. Me-tion was carried out on experimental apparatuses Uster Tester 4 SX, Zweigle G656, Uster tensora-pid. On-measured values were statistically processed. We evaluated the effect of setting the ring spinning machine at endpoint.Bakalářská práce se zabývá vlivem nastavení prstencového dopřádacího stroje na kvalitu vypředené vlnařské příze. Pro experiment byly vybrány vlnařské česané příze režné, směsové a příze z vláken Kevlar a Nomex. Při dopřádání byl sledován vliv nastavení otáček vřeten a dodávky na vybrané vlastnosti přízí (pevnost, tažnost, nestejnoměrnost, počet silných a slabých míst, počet nopků, chlupatost) při dodržení stejných parametrů vypřádaných přízí. Měření bylo provedeno na aparaturách Uster Tester 4 SX, Zweigle G656, Uster tensorapid. Naměřené hodnoty byly statisticky zpracovány. Byl vyhodnocován vliv nastavení prstenco-vého dopřádacího stroje na sledované vlastnosti

Právní kontrola ústavnosti aktů moci zákonodárné a moderní právní stát

V této práci se zabýváme otázkou, jak by měla vypadat právní kontrola ústavnosti aktů moci zákonodárné v moderním právním státě. V obecné části vymezujeme základní princípy moderního právního státu a hledáme typy jednotlivých aspektů právní kontroly ústavnosti, které tyto principy neporušují. Mezi hlavní vedoucí idey moderního právního státu patří princip legality, princip suverenity lidu, princip vlády dobrého práva (dodržování lidských práv) a princip dekoncentrace moci. Současně tady také popisujeme historický vývoj fenoménu právní kontroly aktů moci zákonodárné v Anglicku, ve Spojených státech amerických, v Rakousku a v Československu. Na začátku zvláštní části srovnávame v mezinárodní komparaci jednotlivé vybrané aspekty kontroly ústavnosti v různých zemích světa, které kategorizujeme do teoretických modelů. Jádrem práce je státovědná analýza právní kontroly ústavnosti aktů moci zákonodarné v České republice. Na konci přidáváme úvahy de lege ferenda a vytváříme ideální model kontroly ústavnosti v prostředí moderního právního státu. Tato práce zjišťuje, že abstraktní kontrola ústavnosti zákonů je ve světě i v České republice de lege lata prováděna především orgánem soudního typu. Tato situace stojí v rozporu s maximou suverenity lidu. Zákon, jenž představuje vyjádření obecné vůle (volonté...The main question of this thesis is how a constitutional review in a modern Rechtsstaat should look like. In the general part we define basic principles of a modern Rechtsstaat and look for particular patterns of constitutional review which do not violate these principles. The leading ideas are the principle of legality, the principle of people sovereignty, the principle of rule of good law (protection of human rights) and deconcentration of power. Moreover, we describe the historic development of this phenomenon in England, in the United States of America, in Austria and in Czechoslovakia. At the beginning of the general part we compare in an international analysis cardinal aspects of constitutional review in the world and we postulate theoretical models. The core of this thesis is a legal analysis of the constitutional review in the Czech Republic. At the end we consider an ideal model of constitutional review in a modern Rechtstaat. This thesis finds out that constitutional review in the world and especially in the Czech Republic is performed by courts. This situation violates above all the principle of the sovereignty of the people. A legislative act is an expression of volonté générale and must not be declared void by a body which is not elected by people and not responsible to anybody. In any...Department of Constitutional LawKatedra ústavního právaPrávnická fakultaFaculty of La