Dependency Tree

Universal Dependencies - Czech - CAC

LanguageCzech
ProjectCAC
Corpus Parttrain
AnnotationHladká, Barbora; Zeman, Daniel

Select a sentence

Showing 1 - 100 of 150 • previousnext

s-1 Před třiceti lety byly naše národy osvobozeny ze jha německého fašismu.
s-2 S velkým elánem se začala budovat naše socialistická společnost, začala se rozvíjet československá ekonomika, věda a kultura.
s-3 Třicáté výročí osvobození našich zemí sovětskou armádou dává podnět k zamyšlení nad výsledky a rozvojem československé vědy za posledních třicet let.
s-4 Vědecké kolegium matematiky ČSAV pověřilo skupinu našich předních matematiků, aby v hlavních rysech zhodnotili vědeckou činnost v matematice za posledních třicet let.
s-5 Předkládáme čtenářům výsledek jejich práce.
s-6 Společenská potřeba po druhé světové válce vyvolala intenzívní růst vědecké práce v matematice.
s-7 Úspěšně se rozvíjely směry, v nichž se pracovalo před válkou, a začala se soustavně rozvíjet činnost v disciplínách, které v Československu neměly tradici, ale jsou nezbytné pro rozvoj vědecké práce jak v matematice, tak všude, kde se matematiky užívá.
s-8 Některé z těchto disciplín jako teorie diferenciálních rovnic sahají k počátkům novověku, jiné, teorie výpočetních procesů a systémů, teorie informace, teorie algoritmů, jsou nové a vznikly v rámci vývoje, který zahrnuje zrod kybernetiky a vyúsťuje do vědeckotechnické revoluce.
s-9 Na rozvoji vědecké práce v matematice se podílela a úzce spolupracovala pracoviště vysokých škol ČSAV, SAV a některých resortních výzkumných ústavů.
s-10 Proto nelze ve stručnosti ani v hrubých rysech odlišit a charakterizovat podíl a přínos jednotlivých institucí.
s-11 Významných výsledků bylo dosaženo v oblasti matematické logiky a základů matematiky, v níž se v Československu začalo soustavně pracovat po druhé světové válce.
s-12 Byla zkoumána axiomatická teorie množin a její různé modely.
s-13 Byla vytvořena teorie polomnožin, což znamenalo podstatný přínos a vytvoření nového směru bádání.
s-14 V matematické logice se dosáhlo pozoruhodných výsledků v syntetické a sémantické problematice matematických teorií.
s-15 Důležité výsledky byly získány v konstruktivní analýze.
s-16 Intenzívně se pracovalo v aplikacích matematické logiky na automatizaci některých složek výzkumných prací.
s-17 V analytické teorii čísel bylo dosaženo řady výsledků, které udržují tradiční mezinárodní úroveň matematiky v této oblasti.
s-18 Pokroku bylo dosaženo v elementární teorii čísel, v algebraické teorii čísel, i v aplikacích teorie čísel na jiná odvětví matematiky.
s-19 V metrické teorii čísel se výsledky týkaly různých typů rozvojů čísel z hlediska Hausdorffovy dimenze a sigma řídkosti.
s-20 V teorii kategorií se dospělo k významným výsledkům, především v problémech reprezentace kategorií, a to zejména reprezentace pomocí jednoduchých struktur.
s-21 Při zkoumání struktur byly získány nové typy jejich popisu a výběru vhodných zobrazení.
s-22 Dosažené výsledky mají značný význam též pro topologii, algebru, teorii grafů a úzce souvisí s kombinatorickými problémy.
s-23 V teorii algebraických struktur mají naše výsledky světovou úroveň, zejména v oblasti binárních a relačních systému.
s-24 Nejvíce byly vyšetřovány abelské grupy, pologrupy, kvazigrupy, svazy a binární systémy s uspořádáním.
s-25 Byla vybudována teorie grupoidů a její množinový základ, teorie rozkladů množin.
s-26 Pro uspořádané množiny byla vybudována teorie dimenze a prohloubena aritmetika jejich typů.
s-27 Cenné výsledky jsou zřejmé v teorii univerzálních algeber, zejména v popisu svazů primitivních tříd.
s-28 Důležitých výsledků, jež došly širokého uznání, bylo dosaženo při zkoumání strukturálních vlastností algebraických a topologických pologrup a to též v souvislosti s teorií čísel, s teorií matic, s teorií pravděpodobnosti a s teorií grafů i automatů.
s-29 Byla také objasněna souvislost unárních algeber s jistou třídou automatů.
s-30 V topologii se získaly významné výsledky v oblastech souvisejících s matematickou analýzou, teorií míry a teorií pravděpodobnosti, a to zejména ve zkoumání spojitých struktur z hlediska kategorií v teorii uniformních prostorů, v teorii dimenze, v problematice ultrafiltrů, v otázkách vytváření a klasifikace funkcí i bodových množin.
s-31 V teorii reálných funkcí se kromě zmíněných otázek deskriptivní teorie zkoumaly darbouxovské funkce, míra a integrál na strukturách s operacemi a zobecnění pojmů míry a integrálu.
s-32 V geometrii se práce rozvinula v různých oblastech.
s-33 V elementární geometrii bylo pomocí teorie grafů docíleno hlubokých výsledků v metrické teorii simplexů.
s-34 V základech geometrie byly utvořeny skupiny, které dosáhly významných výsledků hlavně v teorii struktury projektivních rovin, sítí a dalších typů incidenčních struktur.
s-35 V diferenciální geometrii pokračovala soustavná studia v klasických partiích, kde bylo dosaženo výsledků světové úrovně hlavně v teorii soustav podprostorů, projektivního prostoru.
s-36 Nově však byly založeny týmy, které rozpracovaly některá odvětví moderní diferenciální a kombinatorické geometrie.
s-37 Byla vytvořena soustavná teorie diferenciálních objektů, která definitivně osvětlila klasické základní teorie diferenciální geometrie a umožnila získání nových výsledků v parciálních diferenciálních rovnicích a funkcích mnoha komplexních proměnných.
s-38 Dále byly podstatně nové výsledky v teorii Riemannových prostorů.
s-39 V kombinatorické oblasti byly důležité výsledky týkající se buňkových rozkladů uzavřených variet.
s-40 Ve funkcionální analýze byla vyšetřována struktura lineárních prostorů.
s-41 Byly získány výsledky zásadního významu v teorii lineárních zobrazení, týkající se zejména úplnosti a spojitosti inverzního operátoru.
s-42 Od základu byla vybudována nová teorie hermiteovských algeber zobecňující pojem calgeber, jež mají důležité souvislosti s fyzikou.
s-43 Byl zaveden pojem kritického exponentu, který souvisí s otázkou konvergence iteračních procesů.
s-44 Významné výsledky byly získány v teorii operátorů a v oblasti existenčních vět matematické a numerické analýzy.
s-45 Některých důležitých výsledků se dosáhlo též v otázkách integrace podle vektorové míry a integrální reprezentace operátorů.
s-46 Úspěšně se rozvíjela teorie diferenciálních rovnic, v níž se v Československu před válkou skoro nepracovalo.
s-47 Byla vybudována teorie disperzí, která je velmi účinným nástrojem ke studiu obyčejných diferenciálních rovnic # řádu, dále algebraická teorie těchto rovnic a její abstraktní model.
s-48 Úspěšně se rozvíjela práce v lineárních diferenciálních rovnicích vyšších řádů a významné výsledky byly dosaženy v teorii stability nelineárních rovnic.
s-49 Byly zkoumány asymptotické vlastnosti řešení otázky oscilatoričnosti a periodicity.
s-50 Další výsledky se týkaly rovnic s opožďujícím se argumentem.
s-51 V parciálních diferenciálních rovnicích se dospělo k důležitým výsledkům při řešení lineárních problémů variačními metodami a byly úspěšně rozvíjeny metody nelineární funkcionální analýzy a jejich aplikace na nelineární problémy.
s-52 Důležité jsou výsledky ve spektrální teorii nelineárních operátorů a aplikace těchto výsledků v teorii okrajových úloh pro parciální diferenciální rovnice.
s-53 V numerických metodách byly sestrojeny efektivní postupy, pomocí nichž se na počítačích získají číselné hodnoty řešení matematických úloh.
s-54 Byly zkoumány otázky stability numerických výpočtů.
s-55 Významné výsledky byly získány v oblasti teorie a užití iteračních metod, zejména v aplikaci na výpočet kritických parametrů jaderných reaktorů.
s-56 některé směry výzkumu byly vyvolány konkrétními potřebami praxe, obdržely se výsledky mající obecnou platnost, někdy bylo dosaženo dokonce výsledků definitivních v rámci teorie přibližných metod.
s-57 Další významné výsledky byly získány při rozvíjení metody konečných prvků.
s-58 Teoretické výsledky z oboru parciálních diferenciálních rovnic a numerických metod měly četné praktické aplikace.
s-59 Mezi nejvýznamnější patřily výpočet tepelných napjatostí pro stavbu přehrady Orlík, na jehož základě byl navržen ekonomičtější způsob výstavby, ve své době velmi progresívní, výpočet údajů potřebných k posouzení zbytkových napětí svařovaného ocelového pláště jaderné elektrárny v Jaslovských Bohunicích, výpočet mostových desek montovaných z nosníků, výpočty montovaných a monolitických vodojemů v podmínkách působení pružného podloží, výpočty související s otázkami zakládání velkých staveb na šikmých vrstvách.
s-60 V teorii pravděpodobnosti byly dosaženy pozoruhodné výsledky v řešení některých základních otázek, výsledky týkající se podmíněných pravděpodobností souvislosti s konvergenčními prostory.
s-61 Mnoho úsilí bylo věnováno zkoumání prakticky důležitého typu náhodných procesů, v nichž budoucnost je ovlivňována přítomným stavem, nikoliv vzdálenější minulostí, Markovovy procesy.
s-62 Důležitých výsledků bylo dosaženo v řešení statistických problémů obecných, náhodných procesů i některých jejich speciálních typů a dále pak v matematické statistice, zejména v teorii pořadových testů, v nichž hodnoty pozorovaných veličin se pro snadnější praktické použití nahrazují jejich pořadími podle velikosti.
s-63 Využití teoretických poznatků ze všech těchto oblastí přineslo výrazné úspěchy v řadě praktických aplikací, v zemědělském výzkumu, genetice, šlechtění kvalitnějších odrůd, v rostlinné a živočišné výrobě, biologii, lékařství, hodnocení nových léků a léčebných metod, technických vědách, dopravě.
s-64 Pozoruhodné jsou výsledky v teorii grafů a v kombinatorické problematice, v níž byly vytvořeny rozmanité metody odvozování kombinatorických identit.
s-65 Četné výsledky mají praktické použití též v souvislosti s teorií zpracování dat a s otázkami matematické ekonomie.
s-66 Slibně se začaly rozvíjet též novější oblasti zahrnující zejména teorii automatů, teorii jazyků, teorii výpočetních procesů.
s-67 Významných úspěchů bylo dosaženo v operačním výzkumu a metody operačního výzkumu se ve značné míře uplatnily v matematické ekonomii.
s-68 V teorii konečných automatů byly studovány zejména otázky motivované praktickým použitím automatů v diagnostice při analýze formálních jazyků.
s-69 Byly zkoumány otázky struktury stochastických automatů.
s-70 V teorii algoritmů byly vyšetřovány zvláště otázky jejich složitosti, a to jak z axiomatického hlediska, tak se zřetelem na realizaci pomocí různých automatů a Turingových strojů, bylo dosaženo pozoruhodných výsledků o hierarchiích odpovídajících různým mírám složitosti.
s-71 Byly získány odhady složitosti řady úloh diskretního programování.
s-72 Bylo docíleno významných výsledků týkajících se existence gramatiky generující jazyk, algebraického popisu konstrukce gramatických kategorií, analýzy, redukce a deskriptivní složitosti gramatiky a jazyků, zejména bezkontextových.
s-73 Byla vypracována teorie lingvistických transformací, syntaktická analýza a další otázky teorie programovacích jazyků vedly k zavedení a zkoumání vícenásobných gramatik a automatů, podmínkových gramatik a dalších objektů.
s-74 Byly zkoumány možnosti popisu sekvenčních i paralelních výpočetních procesů a sestaveny některé jejich modely.
s-75 Řada teoretických výsledků se promítla do oblasti praktické konstrukce systémových i aplikačních programů pro počítače.
s-76 Třicáté výročí vítězného ukončení národně osvobozeneckého boje a osvobození Československa sovětskou armádou zastihuje naši fyziku v plném rozvoji, jak to dokumentují nejen závažné výsledky vědecké, oceněné i nejvyššími státními vyznamenáními a uznáním v cizině, i řada výsledků významných pro technickou praxi, ale také rozsáhlá síť fyzikálních pracovišť vybudovaných převážně v Československu osvobozeném od německé fašistické okupace.
s-77 Po osvobození naší vlasti bylo třeba prakticky začít budovat fyziku u nás od základů.
s-78 Fyzikální ústavy vysokých škol byly po téměř šestiletém uzavření českých vysokých škol zničeny a existovalo jediné fyzikální pracoviště, Fyzikální výzkum Škodových závodů, kde se přes okupaci podařilo udržet poměrně početný kolektiv výzkumných pracovníků, fyziků, a kde se mohla prakticky ihned od osvobození řešit řada významných vědeckých problémů pro potřeby našeho národního hospodářství.
s-79 Část fyziků z FV Škodových závodů odešla po osvobození na vysoké školy nebo do některých resortních výzkumných pracovišť, kde začala budovat fyzikální pracoviště.
s-80 FV Škodových závodů se v stal prvním školicím střediskem pro výchovu aspirantů ve fyzice.
s-81 Od # byl začleněn do ústředí vědeckého výzkumu jako Ústřední ústav fyzikální a pověřen základním výzkumem ve fyzice.
s-82 ÚÚF svolal v # do domu vědeckých pracovníků v Liblicích celostátní konferenci fyziků, na které byl přijat jeho návrh, aby se vědecká práce ve fyzice u nás soustředila převážně na fyziku pevných látek, jadernou fyziku a některé obory fyziky významné pro náš průmysl.
s-83 Po založení Československé akademie věd v byl ÚÚF spolu s ostatními ústředními ústavy převeden do ČSAV, v níž pak bylo postupně vybudováno šest fyzikálních pracovišť ČSAV, Ústav fyziky pevných látek ČSAV, Fyzikální ústav ČSAV, Ústav fyziky plazmatu ČSAV, Ústav jaderné fyziky ČSAV, Ústav přístrojové techniky ČSAV, Laboratoř radiologické dozimetrie ČSAV, a dvě fyzikální pracoviště ve Slovenské akademii věd, Fyzikální ústav SAV v Bratislavě a Ústav experimentálnej fyziky SAV v Košicích s celkovým počtem # pracovníků zabývající se fyzikálním bádáním.
s-84 Tato pracoviště vybudovaná za velkorysé podpory stranických a státních orgánů a za vysoce účinné spolupráce SSSR představují dnes silnou základní síť fyzikálních pracovišť v ČSSR, která svou kapacitou, soustředěním a výchovou vysoce kvalifikovaných fyziků nemá v dřívějším vědeckém životě v našich zemích obdoby.
s-85 Fyzikální bádání na pracovištích ČSAV se soustřeďuje podle dlouhodobé koncepce především na fyziku pevných látek a na vybrané problémy z jaderné fyziky, fyziky plazmatu, elementárních částic a fyzikálních přístrojů.
s-86 Tato koncentrace byla zvolena v souvislosti s úvahami o potřebách hospodářského rozvoje naší socialistické společnosti a s rozvojem vědy tak, aby bylo možno plánovat dosažení výsledků společensky užitečných.
s-87 Výsledky dosažené fyzikálními pracovišti ČSAV snesou přísná mezinárodní srovnání.
s-88 Tato pracoviště dosáhla i řady výrazných mezinárodních ocenění projevujících se v označení teorií a nově objevených efektů jmény pracovníků či laboratoří, v pověření pořádat význačné světové fyzikální konference, v pověření přednášet vyžádané přehledné referáty na mezinárodních konferencích a v postavení fyziků v mezinárodních fyzikálních organizacích.
s-89 Neméně významná byla i účast fyziků na rozvoji některých průmyslových oborů v ČSSR, polovodičová technika, výroba diamantů, feritové součástky, lasery, měřící technika.
s-90 Význam výsledků dosažených v oblasti fyziky byl zhodnocen řadou cen ČSAV, státních cen KG, společnými cenami ČSAV a AV SSSR.
s-91 Jeden z pracovníků ČSAV je i členem kolektivu odměněného v SÚJV Leninovou cenou.
s-92 Fyzika pevných látek přispěla v koordinaci dvoustranné a mnohostranné spolupráce s akademiemi věd zemí RVHP k rozvoji polovodičového průmyslu, jehož existence byla podmínkou pro širokou aplikaci polovodičových součástek ve spojové technice, v automatizaci obrábění, v regulační technice, v energetice, v elektrické trakci.
s-93 I nyní se tato oblast fyzikálního bádání zaměřuje na práce, jejichž výsledky se uplatní v dosavadních i nových oborech společenského využití.
s-94 Studium nekrystalických polovodičů je zaměřeno na uplatnění jejich vlastností v obvodové a záznamové technice podobně jako studium magnetických a feroelektrických látek.
s-95 Významným výsledkem byl objev existence bublinových domén ve feromagnetických látkách a vypracování teorie nevlastních feroelektrik, uznávané v mezinárodním měřítku jako významný přínos fyziky pevných látek.
s-96 Tyto objevy se staly impulsem pro práce zaměřené k vytvoření nových paměťových prvků u nás i v zahraničí.
s-97 Do kontextu těchto prací zapadají i výsledky studia fyzikálních vlastností kalomelu a příbuzných látek, které mohou sloužit jako pasívní paměťové prvky a v oblasti optických přístrojů jako náhrada islandského vápence, jehož cena v posledních letech prudce stoupla, protože ložiska jsou do značné míry vyčerpána.
s-98 Pro potřeby jaderné fyziky a techniky byl vyvinut způsob výroby polovodičových detektorů záření a tím se dosáhlo v této významné oblasti měřicí techniky nezávislosti na zahraničí.
s-99 V rámci studia pevných látek a jaderné fyziky byl proveden ve spolupráci s SSSR i rozbor měsíčních hornin u vzorků získaných aparaturou luna.
s-100 Výzkum vlastností pevných látek v oboru ultravysokých tlaků vedl ke zdokonalení a zhospodárnění výroby umělých diamantů.

Text viewDownload CoNNL-U