|
Výběr a implementace open source nástroje pro řízení portfolia projektů
Marek, Jan ; Chlapek, Dušan (advisor) ; Kučera, Jan (referee)
Methods and ways of implementation of changes and innovations in companies through project management are in today's society very well established. There exists methodologies, techniques and tools for the management of individual projects. However in a role of project manager, I very often faced the fact that companies are performing the project portfolio management in very intuitive way. This in itself leads to failed and prematurely terminated projects, initiation of the wrong projects or realisation of correct projects, but at the wrong time. Very often I have also recognized, that there is lack of awareness of fact, that there are also Open Source applications that can help with the organization's portfolio. This thesis deals with the definition of requirements, search and selection of proper OSS application and subsequent implementation. In the first part of this thesis I prepare a theoretical framework about PPM, and on that basis then identify and verify a set of requirements for selection of right OSS PPM application. The next section of thesis describes searching for suitable applications from a variety of sources, assessment against the requirements and the final selection. In the last part the implementation project is drafted, which aims to serve other colleagues in project management as one of the possible implementation paths. The outputs are then continuously confronted with experts in matter of projects and project management in the field of IT in order to maximize symbiosis between theory and real life experiences. Virtually every project management methodology defines the collection of already-proven techniques, best practices or lessons learned from the previous similar implementations. The main contribution of this thesis I see in fact that it contains not only the design of the project implementation, but also describes a logical path, what leads to the result. Therefore this thesis could be used as a base or discussed best practice, when a project of implementation of PPM application in place.
|
|
The model of adaptive behavior for the development of Czech assessment scales for children
Chadimová, L. ; Urbánek, Tomáš ; Seifert, M. ; Ivanková, K.
We introduce results of cluster analysis conducted during the development of Czech assessment scales of adaptive behavior in children and adolescents. Within the frame of National Institute of Education we organized the group of experts on the topic of adaptive behavior, both from the academical and practical areas. Every member of the expert group obtained 300 items inspired by local or foreign methods of adaptive behavior assessment. The experts were instrued to cathegorize the items, which they found meaningful with regard to the construct of adaptive behavior and its manifestation on the Czech background. Based on results we compiled consequent model of adaptive behavior, that becomes the base structure for newly developed assessment scales. We compare this structure with the model of adaptive behavior used by DSM-V.\n
|
|
Height measurement in the northern area of mining areas Doubrava and Karviná Mines In 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
In the northern area of mining areas Doubrava and Karvina mines on the border RA Detmarovice and Doubrava are implemented, the mining activities. For this reason, in order to detect possible effects of the mine to the surface and surface objects twice a year height focuses, points in this area stable. From 2014 he was a contractor for these works chosen by the Institute of Geonics, v.v.i., Ostrava. In August and November 2016 survey conducted campaigns planned this year, during which it conducted a total of 4 highrise focus of inter-related leveling routes, which are formed by these points. Highrise points are stabilized in the area of interest in several ways - usually in steel design height marks on buildings, then as an iron bolt concreted in the ground or using nails driven into the concrete foundation or other alternative means. Distribution points in the area of interest is indicative captured in the map appendix. Existing trace and focus points are highlighted in green, yellow trace inaccessible points, refocused points in red and violet points that have occurred to their long term disablement or destruction. Each zaměřovaných points in order to trace the terrain carefully documented (GPS coordinates, photos, text description) and registered. These documents are available from the contractor.
|
|
The leveling of the newly stabilized elevation points in RA Detmarovice in 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
In the northern area of mining areas Doubrava and Karvina mines on the border RA Detmarovice and Doubrava are implemented, the mining activities. For this reason, in order to detect possible effects of the mine to the surface and surface objects twice a year height focuses, points in this area stable. From 2014 he was a contractor for these works chosen by the Institute of Geonics, v.v.i., Ostrava. The measurement results are annually presented in the final report - elevation measurements in the northern area of mining areas Doubrava and Karviná Mines I. In 2016, the existing network of height points in a cadastral municipality Dětmarovice expanded by 11 new points. New points are stabilized by means of steel bench mark on objects. Elevation point near house No. 713 is a stabilized form of measuring support cast-in steel casing
|
|
Influence of meadow management on the migration behavior of selected species of butterflies
Bubová, Terezie ; Langrová, Iva (advisor) ; Farkač, Jan (referee)
Migrations are the key process and one of the basic biological features, which allow survival of endangered species in fragmented landscape. In the last decades, agriculture intensification, industry and urbanization caused that number of natural butterfly habitats has significantly decreased. The localities originally suitable for butterflies are currnetly converted to farmland or building plots. This PhD thesis aimed to find a compromise solution of meadow management, which should allow a commercial use and concurrently do not jeopardize the continued existence of endangered or threatened species. The main idea of this study was in the intentional emigration causing in the middle of flight period, which should lead into resettlement of the population to another (potentially more suitable) locality. Possibility of aimed manipulation with butterfly emigrations would be considered as a major breakthrough in their protection.
The investigated species Phengaris nausithous (Bergsträsser, 1779) and Phengaris teleius (Bergsträsser, 1779) are both considered to be flagship species for protection of European butterflies at open meadows. This study is based on research, which was carried out in 2013-2015 at 17 patch in localities Dolní Labe, Czech Republic. In above mentioned years, one selected meadow was mowed in the middle of flight season and the emigrations were then monitored using mark-release-recapture method. Results of population and migration characteristics were calculated in MARK 8.1 software. Subsequently, the effect of mowing on emigration (comparison of emigrations from the meadow before and after mowing) was evaluated using Statistica 13.
The hypotheses of this study were based on the assumption, that the loss of resources after well-timed mowing should increase the activity of adult butterflies. During the monitoring, number of emigrations was increased only in flight season 2015. Unfortunately, the statistical evaluation did not show significant effect of mowing on migrations. On the other hand, the hypothesis dealing with colonization of nearest meadows was confirmed.
Effect of intentional emigration caused by management interventions was unfortunately not proved. However, we found out, that even though the population at one mowed meadow decreased clearly, the metapopulation size at the locality remained more or less stable.
At investigated (mowed) meadow, there was observed a sharp decline of P. nausithous abundance. On the other hand, P. teleius population was only slightly reduced. It is therefore conceivable, that P. teleius are not as susceptible to innapropriate term of mowing. The results obtained in our research conclusively displayed no possible positive effect of mowing in the middle of flight season and a necessity of suitable management maintenance at localities inhabited by Phengaris butterflies.
|
|
Individual human odor as a forensic trail in criminal proceeding made by contact or contactless transmission and its resistance to physical agents
Santariová, Milena ; Bartoš, Luděk (advisor) ; Chmelíková, Eva (referee)
The dissertation thesis consists of four papers that have been published in scientific journals.
Study n. 1
The need to recover evidence from water is quite common in criminal investigation. The article deals with the possibility to collect human scent from such objects and with the ability of specially trained dogs to match such scent samples with scent samples collected from detained suspects. During an experiment, designed as a blind one, it has been proved, that human scent can survive on submerged objects and can be later used for scent identification.
Study n. 2
To collect odors the Czech Republic Police use special fabric sorbents manufactured under the registered mark ARATEX. Before use the fabric sorbent is treated by water vapor sterilization. After the scent identification the sorbent is destroyed. The goal of the study was to verify if the vapor sterilization is effective enough to remove human scent that has already penetrated into the sorbent structure or in other words if the sorbent can be exposed to vapor sterilization and then used again. Specially trained dogs were used to match starting odors with target odors in the line-ups. The results showed that dogs are able to correctly match human odors even after they have being exposed to vapor sterilization.
Study n. 3
The purpose of the study was to determine the temperature at which the human scent is degraded so that a dog would not be able to identify it. In contrast to expectations, eight dogs used in the experiment almost flawlessly identified human scents from five scent donors exposed to temperatures of 100°C, 200°C, 300°C, 400°C, 500°C, 600°C, 700°C, and 800°C. Only two of the dogs were able to identify 5 of 15 scent samples exposed to 900°C. No dog identified a scent exposed to 1000°C. Our study verified heat survivability of human scent far beyond existing expectations.
Study n. 4
We tested the hypothesis that if odor fallout (the release of a human odor onto an untouched object) in human subjects exists, then holding a hand above an absorbent will produce a detectable scent which will be subsequently matched in a detection test by trained dogs. Scents were collected from seven males to sterile cotton absorbent squares. The left hand was used to get the control scent and the right hand served as the target scent. Each experimental subject was sitting and his left hand was laid down on a cotton square for 3 min. The right hand was held 5 cm above another cotton square for 3 min. The scent identification was done by two specially trained police German shepherds. Both dogs performed 14 line-ups and correctly matched the collected scents of all test subjects. The results suggest the existence of human odor fallout, whereby a human scent trace is left by humans even if they do not touch an object.
|
|
The role of authority and form of partnership during creation of new choreographic dance piece
Radačovský, Mário ; KAZÁROVÁ, Helena (advisor) ; WIESNER, Daniel (referee)
In our dance life its very important that we meet time to time people who are so incredibly influencetial to us ether positive or negative ways. Some of them are able to influence us so much that we keep this impact which they have made on us for ever.Role of autority and partnership between these two elements is crucial.Its has impact on everyday of our working life.I ca not imagine what can happen if there is not existing somekind of form of partnership in the dance studio.To be dancer is very no simply just job .Is more ,its something truly special what not everyone can understand.The task of my work is to go back in my profesional past ,through out my own memories and profesional experiences to offer some situations when I truly felt presents of authority and partnership .Sometimes only autorithy .I this work Im trying to offer my small stories which I lived thourgh from my prospective and Im tring to analysed them through my own expierience of today.It always about something.We are creating because we want to say things.Journey is very important sometimes more then final outcome.
Now important during this journey is able to see how things are done how we comunicate them and autorities will appear .
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
guest ::
