|
Kalkulace vnitropodnikové ceny jednotlivých výkonů ve vybraném podniku
Štěpánková, Iva ; Stejskalová, Irena (vedoucí práce) ; Tyráček, Petr (oponent)
Kalkulací vnitropodnikové ceny jednotlivých výkonů se rozumí propočet této ceny na výrobek, službu, práci či jinak naturálně vyjádřenou jednotku výkonu. Naturálně vyjádřenou jednotkou se obvykle rozumí jednotka např. v hodinách, kilogramech apod. Vnitropodniková cena představuje nástroj, který slouží pro oceňování výkonů středisek, ale bývá také používána pro ocenění jiných výkonů jako oprava apod. Tato cena je stanovena na základě předběžné kalkulace. V předběžné kalkulaci jsou uvedeny předpokládané náklady na výrobek a tato kalkulace se sestavuje před zahájením výroby, resp. na počátku období. Jedntolivé výkony jsou obecně vymezeny jako výsledky činností, a to jako externí výkony a interní výkony. Externí výkony jsou takové výkony jako výrobky, služby či zboží, které jsou prodávány zákazníkům na trhu za tržní ceny. Interní výkony jsou takové výkony, které jsou předávány zejména uvnitř podniku mezi útvary.
|
|
Fourierova metoda pro řešení parciálních diferenciálních rovnic
Tůma, Karel ; Knobloch, Petr (oponent) ; Pokorný, Milan (vedoucí práce)
Na./cv prace: Fouricrova metoda pro feseni parc.ialnich dirornncialnich rovnic Autor: Karri Tuma Katedra (ust.av): Matematicky ust.av UK Vedouci bakalafske praoo: Mgr. Milan Pokorny, Ph.D. e-mail vodouciho: pokorny@karlin.mff.cuni.cz Abstra.kt: V pfedlo/ene praci odvodime rovnici vedeni tepla a.rovnici slruny. Ty pak nasledno. fesime v jodno prost.orove dimenxi ponioci Fonricrovy me- tody apocivajfci v separaci promennych a nale/eni feseni vc l.varn ncko- nccnc' fady. Zaljyvainc so t.fonii ru/nymi okrajovynii podininkanii. Dah^ vy- sotrujomo vlastnosii foscni tcchlo dvou problcmu. Provadinio analyzu kon- vorgtuicc fx'soni vu tvaru fad v -/avislosti na pocat.ocnich podminkach uloh. Uka/c-me. /o pornoci Fouriorovy inolody l/.c fosil lako stucionarni ulohy, konkrctno so zabyvanio Laplaccoviju rovnici s okrajovynii podminkami na ruznych oblasloch (kruh. vyscc. vyscc mc/ikru/f, mraikru/i). Klicova slova: Parcialni diforoncialni rovnico, Fouricrova tnot.oda, rovnico vodoni lopla, rovnico sLruny. Title: Fourier method for solving partial differential equations Author: Karel Tuma, Department: Matematicky ustav UK Supervisor: Mgr. Milan Pokorny. Ph.D. Supervisor's e-mail address: pokorny@karlin.raff.cuni.cz Abstract: In the present work we derive the heat equation and the wave equation. They arc- solved in one space...
|
|
Reed-Solomonovy kódy a jejich aplikace
Horal, Pavel ; Vojtěchovský, Petr (oponent) ; Drápal, Aleš (vedoucí práce)
Xazev praee: Reed-Solomonovy kody a jejich aplikaco Autor: Pavel Iloral Katcdra (ustav): Katedra Algebry Vedouci bakalafsko prace: Doc. RNDr. Ales Drapal. CSc. c-nia.il vedoiiciho: drapar^karlin.mil', cuni.cz Abstrakt: Prace podava ucelenon definici klasiekyeh Reed-Solomonovych kodn, vcetne potfobuyeh zakladu tcxjric1 k()du. Je dokazana cykliciiost RS kodn delky q - I . Na cyklienosti jsou pak zalozeny tri inx'zontovane dekcklovac'i algoritmy fPetersonnv, Rorlrkain])-Mas.seyuv a Enklidi'iv dekodova.ci algoritmns), vcetne. dukazfi existcniee feseni. V ])oslodni ka])itole uvadiin nckolik a.]>likaci RS kodu, vcetne nejznainejyiho standardu CIRC' pouzivancho na Imdebnich CD. Klieova alova: .s;nnoo])ravny k(5d.1'X'C, Reed-Solomon. Pcterstm, Berlekanip-Massey. Euklid. CIRC1 Title: Rood-Solomon codes and applications Author: Pavel llora.1 Department: Department of Algebra Supervisor: Doc. HXDr. Ales Drapal, CSc. Supervisor's e-mail address: drapal (fkarlin.nirl.ouni.c/ Alislracl: This work presents compact definition of classic Heed-Solomon codes with necessary elements of coding theory. The ryclicity of RS codes of length q - 1 is prooved and there are comletely described three decoding algorithms (Peterson's, Berlekamp-Ma,ssoy and Euclid decoding algorithm) based on RS cyclirity. I also in- troduce a few RS...
|
|
Princip neurčitosti ve Fourierově transformaci
Ludvík, Pavel ; Kaplický, Petr (oponent) ; Pražák, Dalibor (vedoucí práce)
Nazev prace: Priucip ueurcitosti ve Fourierove transformaci Autor: Pavel Ludvik Katcdra: Katedra. matematickc analyzy Vcdouci bakalafske prace: RNUr. Dalibor Praza.k, Ph.D. E-mail vedouciho: pra/ak (ikarlin.nifr.cuin.c7 Abstrakt: Mot.iva.ci teto prace je pfedstavem ideje principn ueurcitosti jako obee- nelio matematickeho principu a jeho o/fcjmeni na pfikladech. Zakladem jc dukaz Huist'iiburguvy nerovnosti ]iro ftinkrc1 z AJ (x). Uvddcna json i jcji /cji)ccneni ]>ro fiinkct.1 z /,J{R"), pro obccnrjsi iiorinu a take a.nalogicka uorovnost pro opcratory. Zavcrecna cast prace je vrnovana pfikladmii tzv. kvalitativnich ])rincipu neur- citosti. Xa nirh si niuzcnic vsimnout. ze ideu principn nenrcitosti Ize nalezt v rnzii\'cli odvntvich ina.tenia.liky. Prvni jjfikUvdy vyiizivaji tvr/.cni komplexni a.na- ly/y. kdezto za\'erecna Kohno^orovova vota ma blizko k fnnkcionalni analyze1. Klicova alova: Princi]? ncmfitosti, Fourierova transtbrinaco Title: The uncertainty principle and (lie Fourier transform Author: Pavel Ludvik Department: Dcpartement of niat.heinatical analysis Supervisor: RNDr. Dalibor Prazak. Ph.D. Supervisor's e-mail address: prazakCikarliu.infF.cnni.cz Abstract: The main purpose of this work is introduction of the uncertainty principle a.s the general mathematical idea. We also tried to demonstrate...
|
|
Návrh strategie rozvoje v oblasti IT ve výrobním podniku
Adrián, Michal ; Švecová, Lenka (vedoucí práce) ; Lorenc, Miroslav (oponent)
Práce se zameruje na problematiku rozvoje IT strategie ve výrobním podniku. Porovnává nasazení nového ERP systému s aktuálním informacním systémem. Cílem práce je popis soucasného stavu IS a návrh jeho rešení s ohledem na všechny požadavky a omezení spolecnosti. Hlavním prínosem je objektivní zhodnocení variant dalšího postupu pri rozširování firmy a návrh další strategie. V teoretické cásti je charakterizován IS a ERP, možné druhy rozdelení, nejduležitejší cásti a prínosy moderního rešení pro plánování podnikových zdroju. V rámci samotného projektu porízení nového IS jsou popsány jednotlivé fáze, od prvotní analýzy potreb, pres metody a kritéria výberu až po implementaci s definicí kritických faktoru, castých chyb a doporuceným postupem. Praktická cást je zamerena na analýzu soucasného stavu. Obsahuje strucnou charakteristiku spolecnosti, jednotlivých oddelení a procesu v návaznosti na informacní systém. Je popsán soucasný stav IS v podobe SWOT analýzy. Na základe definovaných požadavku je sestaven prehled možných dodavatelu ERP systému v CR s jejich produkty. Na analýzu navazuje návrh strategie rozvoje v oblasti IT. Soucástí je porovnání jednotlivých variant dalšího rozvoje - porízení nového ERP nebo rozšírení stávajícího systému. Záver obsahuje shrnutí práce a popisuje její prínosy.
|
|
Verefication of Mathematical Proofs
Pudlák, Petr ; Štěpánek, Petr (vedoucí práce) ; Haniková, Zuzana (oponent) ; Plátek, Martin (oponent)
In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjectures using computer programs (usually called automated theorem provers). We address several issues that are important for a successful utilization of such programs. In Chapter 3 we examine how to store and reuse important pieces of mathematical knowledge in the form of lemmas. We investigate how this process can be automatized, i.e. how a computer can construct and use lemmas without human guidance. The program we develop tries to shorten or to speed up the proofs of several conjectures from a common theory. It repeatedly extracts lemmas from the proofs it has already completed and uses the lemmas to improve the sets of premisses to produce more efficient proofs of the conjectures. In Chapter 4 we develop a new algorithm that tries to construct the optimal sets of premisses for proving and disproving mathematical conjectures. The algorithm semantically analyzes the conjectures and the set of premisses of the given theory to find the optimal subsets of the premisses. The algorithm uses an automated model finder to construct models that serve as counterexamples that guide the algorithm to find the optimal set of premisses. In Chapter 5 we use the algorithm to decide formulae in a wide range of modal systems. We...
|
|
Osobnost Abbé Pierra a emauzské hnutí
Velčovský, Kryštof ; Vojtíšek, Zdeněk (vedoucí práce) ; Holeton, David Ralph (oponent)
Ve své práci se zaměřuji na osobnost Henriho Grouese, v pozdějším období vystupujícím pod pseudonymem Abbé Pierre, a na jeho počin - založení Emauzského hnutí. V první kapitole vymezuji téma, strukturu práce a problémy, se kterými se v přístupu k tématu setkáváme. Ve druhé kapitole popisuji osobnost Henriho Grouese a jeho vliv na Emauzské hnutí. V dalším samostatném oddílu pojednávám o problematických aspektech osobnosti Abbé Pierra, o jeho medializovaném obrazu a o jeho vztahu k církvi. Závěrečnou kapitolu věnuji vzniku a vývoji Hnutí Emauz z jejich vlastního hlediska.
|
|
Strukturní obměny transkarbamů - syntéza a sledování vlastností a biologické aktivity se zaměřením na objasnění mechanismu účinku
Klimentová, Jana ; Hrabálek, Alexandr (vedoucí práce) ; Csöllei, Jozef (oponent) ; Nobilis, Milan (oponent)
SOUHRN Mezi úkoly řešené dlouhodobě na Katedře anorganické a organické chemie Farmaceutické fakulty Univerzity Karlovy patří mimo jiné také syntéza a testování účinnosti látek s potenciální aktivitou akcelerantů transdermální permeace. V posledním desetiletí zde byly připraveny estery kyseliny 6-aminohexanové a jejich analogy s vysokou akcelerační účinností. V současnosti jsou hledány bližší vztahy mezi jejich strukturou a účinkem. Příspěvkem k této problematice je i tato práce, která se týká hledání mechanismu účinku jednoho z nejúčinnějších připravených derivátů, transkarbamu 12 (T12). Akceleranty transdermální permeace jsou látky usnadňující vstup léčiva přes kůži. Jejich možné mechanismy účinku zahrnují narušení uspořádané struktury stratum corneum, zvýšení rozpustnosti léčiva ve vehikulu nebo zvýšení jeho rozdělování do stratum corneum. Přesný mechanismus většinou není znám. T12 je sůl karbamové kyseliny odvozená od dvou molekul dodecylesteru kyseliny 6- aminohexanové. V mírně kyselém prostředí (jaké se nachází například ve stratum corneum, jeho místě účinku) se snadno rozkládá za uvolnění CO2 a volného aminoesteru. S cílem zjistit, zda tato schopnost souvisí s vysokou aktivitou, byla připravena série látek s CO2 kovalentně vázaným v polární hlavě (estery kyseliny uhličité, karbamové a šťavelové)....
|
|
Repatriace a návrat Čechů po druhé světové válce z totálního nasazení a internace na území Německa
Kasíková, Jana ; Čechurová, Jana (vedoucí práce) ; Koura, Petr (oponent)
Repatriace československých občanů po druhé světové válce patří k málo prozkoumaným oblastem českých dějin. Tato práce se zabývá organizací repatriace a zaměřuje se především na návrat Čechů z území Německa. Mezi zkoumaná témata patří mezinárodním přípravy repatriace během války, vymezení statutu Displaced Persons a poválečné mezinárodní činnosti v této oblasti ze strany mezinárodních institucí, zvláště UNRRA a SHAEF. Ústředním tématem je repatriace v Československu, pozornost je věnována zejména nově vzniklému repatriačnímu odboru pro území Čech a Moravy. V práci je popsáno přispění jednotlivých organizací k této tzv. repatriační akci, jakož i organizace péče o repatrianty. Zvláštní kapitola popisuje dobovou mediální komunikaci s veřejností a informování veřejnosti o repatriační problematice.
|
|
Statická analýza XSLT programů
Červák, Jan ; Toman, Kamil (oponent) ; Bednárek, David (vedoucí práce)
Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se statickou analyzou XSLT programu se znalosti sche- matu vstupnich dokumeutu. Analyza, je zamcfena, na odhalovani behovych chyb v prograniecli. Konkretue hiedamp nedosazitelna pravidla,, slepa vo- lani a cykly ve volamch pravidcl, jako zdroj potrncialne nekonecneho behu prograniu. XSLT je t\iringo\sky uplny ja/yk, konipletni staticka analyza je z principu neproveditelna, feseni tohoto problcniu jsou Jen i^fiblizna. Pre- zentovane rcseui je kvazi-sinndace bohu programu nad niodeleni XML doku- inentu. Vyslodny graf toku fizeni programu rlava infonnaee o zkouinanych probleineeh. Algcjritinus simulace je zavedeu nezavisle na pouzitein inodclu, coz pfinasi moznost analyzy na. ruzne urovni dotailu. Klicova slova: a.nalyza toku rizeiii, XSLT, XML Schema, behove dryby, zasta- vcni Title: Static analysis of XST/F ]>rograms Author: Jan Cervak Department: Department of Software Engineering Supervisor: RXDr. David Bcdnarek Supervisor's e-mail address: David.BednarekyimU'.cnni.cz Abstract: The aim of this work is static analysis of XSLT programs with the knowledge of an input document's schema....
|
host ::
