Ne (620)
Ano (394)
Použitá omezení
(2)
Počet nalezených dokumentů:
1014
Publikováno od
do
Smlouva podepsaná elektronickým podpisem
2022 -
Cílem práce je porovnání běžně uzavírané smlouvy ve formě vlastnoručně podepsané listiny se smlouvou uzavřenou prostřednictvím elektronického prostředku a podepsanou elektronickým podpisem. V návaznosti na to jsou formulovány výhody či nevýhody vlastnoručně podepsaných smluv a smluv podepsaných různými úrovněmi a typy elektronického podpisu.
Práce staví na základech dříve dosažených závěrů právní vědy, které jsou kladeny do kontextu vývoje informačních technologií a závěrů recentních. Na nové otázky virtualizace kontraktačního procesu je tak v práci nahlíženo prizmatem civilistické právní vědy. Dříve přijaté doktrinální názory jsou kriticky zkoumány a kladeny do vzájemného kontextu s jinými názory, rozhodovací praxí a vývojem v oblasti elektronické kontraktace. Na tomto základě jsou formulovány vlastní závěry předložené práce.
Při zkoumání jednotlivých relevantních oblastí je vždy postupováno od obecných otázek ke konkrétním. K řešení a popisu dílčích otázek elektronického uzavírání smluv jsou tak nejprve vymezena základní východiska jednotlivých relevantních institutů občanského práva a teprve poté se text věnuje modifikaci těchto institutů a jejich užití v případě elektronického prostředku pro uzavření smlouvy. Nejprve je tedy věnována pozornost analýze současné úpravy právního jednání, závazků, smluv, nabídky a její akceptace. Poté se text přesouvá k elektronicky uzavřeným smlouvám. Zde jsou utvořeny závěry, jakým způsobem jsou právním řádem upraveny elektronická kontraktace a podepisování. Následně se text zaměřuje na jednotlivé úrovně elektronických podpisů a různé techniky elektronického podepisování. Na to navazuje kapitola věnovaná otázkám souvisejícím s dokazováním prostřednictvím elektronických důkazů v civilním procesu. Veškeré dříve dosažené závěry jsou následně konfrontovány s dřívější judikaturou vyšších soudů a současnou dostupnou rozhodovací praxí okresních a krajských soudů. Na tomto základě je pak provedeno srovnání vlastnoručně a elektronicky uzavřených smluv.
Práce se věnuje otázkám, které se na první pohled mohou zdát spíše jako otázky technologického charakteru - jsou diskutovány například jednotlivé typy elektronického podpisu vymezené nařízením eIDAS, různé druhy podpisových technik či archivace elektronicky uzavřených smluv. Nutnost věnovat se těmto otázkám však vyplývá z právních z předpisů, ať již z občanského zákoníku a jeho pravidel k naplnění písemné formy elektronickým prostředkem či domněnky spolehlivosti záznamů o právních jednáních v elektronickém systému nebo ze speciálních unijních a vnitrostátních předpisů.
Klíčová slova:
smlouva; právní jednání; elektronický podpis; kontraktace; nařízení eidas; služby vytvářející důvěru; elektronické dokumenty; elektronické transakce
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Smlouva podepsaná elektronickým podpisem
Cílem práce je porovnání běžně uzavírané smlouvy ve formě vlastnoručně podepsané listiny se smlouvou uzavřenou prostřednictvím elektronického prostředku a podepsanou elektronickým podpisem. V ...
Právní jednání se zaměřením na vady právního jednání
2022 -
Cílem disertační práce bylo poskytnout komplexní náhled na problematiku právního jednání, zejména pak na vady právního jednání. Práce je členěna na úvod, dále 4 stěžejní kapitoly a závěr. První kapitola práce pojednává obecně o právním jednání, druhá kapitola o významu zásad soukromého práva ve vztahu k právnímu jednání, třetí kapitola se věnuje náležitostem právního jednání a stěžejní kapitola čtvrtá se věnuje vadám právního jednání. Čtvrtá kapitola je dále členěna na 4 podkapitoly, které pojednávají o vadách subjektu právního jednání, dále o vadách vůle, také o vadách projevu vůle a o vadách formy právního jednání, přičemž každá z těchto podkapitol je dále členěna.
Klíčová slova:
právní jednání; vady právního jednání
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Právní jednání se zaměřením na vady právního jednání
Cílem disertační práce bylo poskytnout komplexní náhled na problematiku právního jednání, zejména pak na vady právního jednání. Práce je členěna na úvod, dále 4 stěžejní kapitoly a závěr. První ...
Model-driven Security Engineering for FPGAs
2022 -
Tato práce obsahuje analýzu a adaptaci vhodných metod zabezpečení, pocházejících
ze softwarové domény, do světa FPGA. Metoda formalizace bezpečnostní výzvy
FPGA je prezentována jazykem FPGASECML, specifickým pro danou doménu,
vhodným pro modelování hrozeb zaměřených na systém a pro formální definování
bezpečnostní politiky. Vytvoření vhodných obranných mechanismů vyžaduje
inteligenci o agentech ohrožení, zejména o jejich motivaci a schopnostech.
Konstrukce založené na FPGA jsou, stejně jako jakýkoli jiný IT systém, vystaveny
různým agentům hrozeb po celou dobu jejich životnosti, což naléhavě vyžaduje
potřebu vhodné a přizpůsobitelné bezpečnostní strategie. Systematická analýza
návrhu založená na konceptu STRIDE poskytuje cenné informace o hrozbách a
požadovaných mechanismech protiopatření. Minimalizace povrchu útoku je jedním
z nezbytných kroků k vytvoření odolného designu. Konvenční paradigmata řízení
přístupu mohou modelovat pravidla řízení přístupu v návrzích FPGA. Výběr
vhodného závisí na složitosti a bezpečnostních požadavcích návrhu.
Formální popis architektury FPGA a bezpečnostní politiky podporuje přesnou
definici aktiv a jejich možných, povolených a zakázaných interakcí. Odstraňuje
nejednoznačnost z modelu hrozby a zároveň poskytuje plán implementace. Kontrola
modelu může být použita k ověření, zda a do jaké míry, je návrh v souladu s
uvedenou bezpečnostní politikou. Přenesení architektury do vhodného modelu a
bezpečnostní politiky do ověřitelných logických vlastností může být, jak je uvedeno v
této práci, automatizované, zjednodušující proces a zmírňující jeden zdroj chyb.
Posílení učení může identifikovat potenciální slabiny a kroky, které může útočník
podniknout, aby je využil. Některé metody zde uvedené mohou být použitelné také
v jiných doménách.
Klíčová slova:
fpga; bezpečnost; architektury odvozené od bezpečnostního modelu; strojové učení; formální kontrola bezpečnosti návrhu
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Model-driven Security Engineering for FPGAs
Tato práce obsahuje analýzu a adaptaci vhodných metod zabezpečení, pocházejících ze softwarové domény, do světa FPGA. Metoda formalizace bezpečnostní výzvy FPGA je prezentována jazykem FPGASECML, ...
Předpodmínění lineárních soustav získaných diskretizací Navierových-Stokesových rovnic pomocí isogeometrické analýzy
2022 -
Tato práce se zabývá iteračním řešením sedlobodových soustav lineárních algebraických rovnic získaných diskretizací Navierových--Stokesových rovnic pro nestlačitelné proudění pomocí isogemetrické analýzy (IgA). Konkrétně se zaměřuje na předpodmiňovače pro krylovovské metody. Jedním z cílů práce je prozkoumat efektivitu moderních blokových předpodmiňovačů pro různé isogeometrické diskretizace, tj. pro B-spline bázové funkce různého stupně a spojitosti, a poskytnout přehled o jejich chování v závislosti na různých parametrech úlohy. Hlavním cílem je na základě této studie navrhnout vhodný přístup k řešení těchto soustav s případnými úpravami, které by zlepšily vlastnosti dané metody pro soustavy získané isogeometrickou analýzou.
Práce má dvě části. V první části jsou představeny úlohy pro nestlačitelné vazké proudění a metoda diskretizace pomocí isogeometrické analýzy. Dále uvádíme podrobný přehled metod řešení sedlobodových soustav lineárních rovnic, ve kterém se zaměřujeme především na blokové předpodmiňovače.
Druhá část je věnována numerickým experimentům. Provádíme srovnání vybraných předpodmiňovačů pro několik stacionárních a nestacionarních úloh ve dvou a třech dimenzích. Zvláštní pozornost je věnována aproximaci matice hmotnosti, jejíž volba se ukazuje být v kontextu IgA důležitá, a okrajovým podmínkám pro PCD předpodmiňovač. Navrhujeme vhodnou kombinaci varianty PCD, okrajových podmínek a jejich škálování, abychom získali efektivní předpodmiňovač, který je robustní vzhledem k stupni a spojitosti diskretizace. V mnoha případech se tato volba ukazuje jako nejefektivnější z uvažovaných metod.
Klíčová slova:
navierovy--stokesovy rovnice; nestlačitelné vazké proudění; isogeometrická analýza (iga); sedlobodová soustava lineárních algebraických rovnic; krylovovské metody; předpodmínění; blokové předpodmiňovače; pcd předpodmiňovač; lsc předpodmiňovač; předpodmiňovače typu simple; al předpodmiňovač
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Předpodmínění lineárních soustav získaných diskretizací Navierových-Stokesových rovnic pomocí isogeometrické analýzy
Tato práce se zabývá iteračním řešením sedlobodových soustav lineárních algebraických rovnic získaných diskretizací Navierových--Stokesových rovnic pro nestlačitelné proudění pomocí isogemetrické ...
Tourism and Terrorism in Egypt
2022 -
Práce se zabývá problematikou terorismu v turistickém ruchu, konkrétně v Egyptě. Práce staví na aktuálním výzkumu v oblasti antropologie turismu a terorismu. Pomocí etnografické metody zkoumá vliv teroristického útoku, známého jako Luxorský masakr 1997, na místní komunitu pracovníků v cestovním ruchu.
Klíčová slova:
terrorismus; cestovní ruch; luxor; egypt
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Tourism and Terrorism in Egypt
Práce se zabývá problematikou terorismu v turistickém ruchu, konkrétně v Egyptě. Práce staví na aktuálním výzkumu v oblasti antropologie turismu a terorismu. Pomocí etnografické metody zkoumá vliv ...
Pokročilé metody analýzy a optimalizace matematických modelů
2022 -
Práce je zaměřena na řešení vybraných optimalizačních problémů s~využitím metod pro aproximaci původního systému vhodným náhradním modelem, na kterém lze mnohdy optimalizaci provést rychleji a efektivněji. Vzhledem ke stoupající náročnosti počítačových simulací, které jsou v~elektrotechnice při návrzích zařízení používány, roste zájem o~využití různých metod, které umožňují redukovat výpočetní náročnost modelu. V~dnešní době je stále větší pozornost věnována vhodným aproximačním modelům v~návaznosti na vhodný návrh experimentu. Tyto metody zpravidla nacházejí uplatnění v~prvotních fázích návrhu zařízení nebo u~expertních systémů. Jejich řešení je provedeno jednak technikami implementovanými v~komerčním programu, jednak vlastními algoritmy zabudovanými v~programových balících Agros Suite a Artap, jež jsou dlouhodobě vyvíjeny na pracovišti katedry elektrotechniky a počítačového modelování.
Klíčová slova:
počítačové modelování; optimalizační úloha; návrh experimentu; náhradní model; neuronové sítě; strojové učení
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Pokročilé metody analýzy a optimalizace matematických modelů
Práce je zaměřena na řešení vybraných optimalizačních problémů s~využitím metod pro aproximaci původního systému vhodným náhradním modelem, na kterém lze mnohdy optimalizaci provést rychleji a ...
Sémantická segmentace v dlouhodobé vizuální lokalizaci
2022 -
Tato práce má pět hlavních cílů. Nejprve mapuje datové sady používané pro dlouhodobou vizuální lokalizaci a vybere vhodné datové sady pro další vyhodnocení. Dále je vybrán a vylepšen jeden ze současných state-of-the-art přístupů. Výsledky s pečlivě vyladěnými parametry vybrané metody dosahují lepších výsledků lokalizace. Dále je ukázáno, že dynamické objekty v obrázku jsou pro dlouhodobou vizuální lokalizaci zbytečné, protože neobsahují žádnou užitečnou informaci a lze je zcela odstranit. Čtvrtým cílem této práce je pokusit se vložit sémantickou informaci do detektoru a deskriptoru klíčových bodů SuperPoint úpravou trénovacích dat. Závěrem je dosaženo nových state-of-the-art výsledků na vybrané datové sadě aplikací nového přístupu filtrování klíčových bodů založeného na sémantické informaci. Význam této práce ukazuje důležitost analýzy obrazové informace v úloze dlouhodobé vizuální lokalizace a detekce klíčových bodů obecně.
Klíčová slova:
dlouhodobá vizuální lokalizace; vizuální příznaky; vizuální klíčové body; detektory klíčových bodů; deskriptory klíčových bodů; neuronové sítě; počítačové vidění; strojové učení
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Sémantická segmentace v dlouhodobé vizuální lokalizaci
Tato práce má pět hlavních cílů. Nejprve mapuje datové sady používané pro dlouhodobou vizuální lokalizaci a vybere vhodné datové sady pro další vyhodnocení. Dále je vybrán a vylepšen jeden ze ...
Přístup ke snížení výpočetní náročnosti systémů rozpoznávajících prostředí mobilního robota
2022 -
Disertační práce se věnuje problému změny prostředí v úlohách mobilní robotiky. Zaměřuje se na využití jednodimenzionálních nevizuálních senzorů za účelem redukce výpočetních nároků. V práci je představen nový systém pro detekci a klasifikaci prostředí robota založený na datech z kamery a z nevizuálních senzorů. Nevizuální senzory zde slouží jako prostředek detekce probíhající změny, která iniciuje klasifikaci prostředí pomocí kamerových dat. To může významně snížit výpočetní nároky v porovnání se situací, kdy je zpracováván každý a nebo každý n-tý snímek obrazu. Systém je otestován na případu změny prostředí mezi vnitřním a venkovním prostředím.
Přínosy této práce jsou následující: (1) Představení systému pro detekci a klasifikaci prostředí mobilního robota; (2) Analýzu state-of-the-art v oblasti Simultánní Lokalizace a Mapování za účelem zjištění otevřených problémů, které je potřeba řešit; (3) Analýza nevizuálních senzorů vzhledem k jejich vhodnosti pro danou úlohu. (4) Analýza existujících metod pro detekci změny ve 2D signálu a představení dvou jednoduchých přístupů k tomuto problému; (5) Analýza state-of-the art v oblasti klasifikace prostředí se zaměřením na klasifikaci vnitřního a venkovního prostředí; (6) Experiment porovnávající metody studované v předchozím bodu. Jedná se dle mých znalostí o nejrozsáhlejší porovnání těchto metod na jednom jediném datasetu. Navíc jsou do experimentu zahrnuty také klasifikátory založené na neuronových sítích, které dosahují lepších výsledků než klasické přístupy; (7) Vytvoření datasetu pro testování navrženého systému na sestaveném 6-ti kolovém mobilním robotu. Podle mých znalostí do této doby neexistoval dataset, který by kromě dat potřebných k řešení úlohy SLAM, naíc přidával data umožňující detekci a klasifikaci prostředí i pomocí nevizuálních dat; (8) Implementace představného systému jako open-source balík pro Robot Operating System na platformě GitHub; (9) Implementace knihovny pro výpočet globálního popisovače Centrist v C++, taktéž dostupná jako open-source na platformě GitHub.
Klíčová slova:
detekce prostředí; klasifikace prostředí; mobilní robotika; simultánní lokalizace a mapování; senzory; strojové učení
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Přístup ke snížení výpočetní náročnosti systémů rozpoznávajících prostředí mobilního robota
Disertační práce se věnuje problému změny prostředí v úlohách mobilní robotiky. Zaměřuje se na využití jednodimenzionálních nevizuálních senzorů za účelem redukce výpočetních nároků. V práci je ...
Degradace mechanických vlastností cyklicky zatěžovaných materiálů a konstrukčních uzlů
2022 -
Disertační práce je zaměřena na rozvoj aplikací pravděpodobnostního přístupu při posuzování únavové životnosti konstrukcí zatěžovaných vysokocyklovou únavou. Při posuzování je zohledněn náhodný charakter provozního zatížení a rozptyl únavových vlastností posuzovaných konstrukčních uzlů. Výsledkem práce je prezentace praktických postupů pro posuzování únavové životnosti zejména svařovaných konstrukcí namáhaných na vysokocyklovou únavu.
Klíčová slova:
životnost; únava; svar; spolehlivost; zatěžování
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Degradace mechanických vlastností cyklicky zatěžovaných materiálů a konstrukčních uzlů
Disertační práce je zaměřena na rozvoj aplikací pravděpodobnostního přístupu při posuzování únavové životnosti konstrukcí zatěžovaných vysokocyklovou únavou. Při posuzování je zohledněn náhodný ...
Vývoj nových materiálových konceptů pro automobilový průmysl
2022 -
Moderní vysokopevné nízkolegované oceli přestavují v současné době důležitou složku pro automobilový průmysl. Zejména v automobilovém průmyslu je při výrobě stavebních a bezpečnostních komponentů tvářením kladen důraz na kombinaci vysoké pevnosti a tažnosti a snižování hmotnosti jednotlivých komponentů. Důležitým faktorem je také snížení výrobních a provozních nákladů.
Teoretická část práce vycházela z lineární rešerše, která byla zaměřena na problematiku vysokopevných nízkolegovaných ocelí a jejich tepelným zpracováním. V první kapitole je popsáno rozdělení nízkolegovaných ocelí, jejich mechanické vlastnosti a způsoby průmyslového využití. V následující kapitole jsou stručně popsány způsoby tváření vysokopevných ocelí. Jelikož je experiment zaměřený na tepelné zpracování vysokopevných ocelí pomocí Q-P procesu (Quenching and Partitioning Process), je zde podrobněji popsána technologie Q-P procesu, fázové přeměny během Q-P procesu, vliv parametrů tepelného zpracování a legujících prvků na výsledné mechanické vlastnosti a mikrostrukturu vysokopevných ocelí.
V první části výzkumu byly navrženy čtyři experimentální martenzitické oceli se speciálním legováním snižujícím teploty Ms a Mf s 0,4 % C legované především manganem, křemíkem, chromem, molybdenem a niklem. Technologie Q-P procesu byla nejprve vyvíjena v laboratorních podmínkách pomocí materiálově technologického modelování na termomechanickém simulátoru. Na termomechanickém simulátoru je možné na malém množství materiálu napodobit podmínky reálného procesu a přesně řídit teplotní profil. Postupně byly optimalizovány jednotlivé parametry procesu a byl zjištěn jejich vliv na výslednou mikrostrukturu a mechanické vlastnosti.
V další části výzkumu bylo přistoupeno k aplikaci poznatků do reálného procesu. Z experimentální oceli, s nejlepšími vlastnostmi po modelovém zpracování, byl vykován reálný zápustkový výkovek. Tento výkovek byl tepelně zpracován a byl použit jako model pro získání dat pro tvorbu materiálově-technologického modelu. Tento model byl následně odzkoušen na termomechanickém simulátoru a byly porovnány mechanické vlastnosti modelu a reálného výkovku. S cílem získání lepší stability zbytkového austenitu uvnitř i na povrchu výkovku byla optimalizována teplota zakalení. Stabilita zbytkového austenitu byla hodnocena při různých teplotních expozicích a při deformaci zastudena.
Klíčová slova:
q-p proces; termomechanický simulátor; materiálově-technologické modelování; zbytkový austenit; zápustkový výkovek
Plné texty jsou dostupné v digitálním repozitáři ZČU.
Vývoj nových materiálových konceptů pro automobilový průmysl
Moderní vysokopevné nízkolegované oceli přestavují v současné době důležitou složku pro automobilový průmysl. Zejména v automobilovém průmyslu je při výrobě stavebních a bezpečnostních komponentů ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze