VŠCHT Praha Knihy

Monografie zachycuje poslední vývoj metod na podporu rozhodování a změn v ekonomickém prostředí. Je v ní zpracována pestrá skupina modelových přístupů pro plánování, pro řízení a navrhování distribučních systémů, rozhodování v oblasti lokalizace a řízení zásob, řízení rozsáhlých projektů, řízení výroby, navrhování optimální struktury bohaté palety obslužných procesů, řešení konfliktních rozhodovacích situací, metod prognózování poptávky apod. Nezbytné teoretické poznatky z oblasti lineárního, nelineárního, stochasického a dynamického programování, simulačního modelování, teorie her a teorie grafů jsou organicky začleněny do jednotlivých oblastí řízení, kde jsou poprvé v textu využívány pro řešení konkrétných problémů. Významnou součástí monografie je její elektronická verze obsahující velké množství ukázkových příkladů na řešení reálných problémů, a to jak v podobě aplikací pro program Microsoft Office Excel, tak též modelů pro program Witness firmy Lanner. Pro program Witness se podařilo s firmou Lanner vyjednat čtenářům knihy přístup k demoverzi, proto CD obsahuje nejen zdrojové kódy ukázkových modelů, ale též podrobné informace, jak program získat a jak ho ovládat. Publikace je určena zejména studentům vysokých škol, z nichž část najde uplatnění i ve firmách zabývajících se vývojem a zaváděním softwarové podpory rozhodování a bude potřebovat znát i dostupné algoritmy řešení modelů a jejich vlastností. Očekáváme také, že bude stejně jako rozebrané vydání obdobné monografie motivací pro manažery společností k tomu, aby více využívali popisovaných metod ve vlastní řídicí praxi.

Těžiště knihy spočívá ve shrnutí geneze, výskytu, vlastností a významu jednotlivých anorganických a organických složek vod a ve studiu procesů ovlivňujících jejich distribuci a cirkulaci v prostředí. Dále jsou popsány vlastnosti a požadavky na jakost přírodních a užitkových vod, vody pitné a vod odpadních. Samostatná pozornost je věnována fyzikální chemii povrchů tuhých látek přicházejících do styku s vodou a řešení chemických rovnováh ve vodách v souvislosti s diferenciací forem existence jednotlivých složek. Kniha je v podstatě učebnicí hydrochemie, která svým encyklopedickým charakterem a spojením teorie s praktickými poznatky je vhodná i pro pracovníky z praxe a ve státní správě.

Publikace navazuje na předcházející práce 'Informační termodynamika I.' a 'Informační termodynamika II.', zvláště pak na publikaci 'Informační termodynamika I.'. Zabývá se problémem zastavení (Halting Problem), ale neaplikuje běžnou logicko-automatovou konstrukci důkazu jeho nerozhodnutelnosti. Volí cestu jisté analogie, spíše ekvivalence mezi procesy v základních strukturách Teorie automatů a Teorie vyčíslitelnosti, Teorie informace a Termodynamiky, a tím i analogie - ekvivalence - mezi těmito strukturami samotnými, automaty a Turingovými stroji, přenosovými informačními kanály a termodynamickými systémy. Popsatelnost výpočetního procesu v termínech přenosu informace a toho pak v termínech procesu změny stavu termodynamického systému, a to v souvislosti s jeho zobecněným regulárním popisem, autorovi umožňuje konstruovat metodu indikující v konečném čase, že se daný výpočetní proces nachází v nekonečném cyklu. Jádrem metody je etapizace, postupné spouštění a trasování sledovaného výpočetního procesu a následná konstrukce regulárních výrazů vyhovujících, pokud nekonečný cyklus nastal, Pumping Lemmě při automatovém přístupu, v termodynamické interpretaci pojmu (kvazi)stacionární stav a v informační interpretaci pak autoreferenci. Práce je doplněna dodatky, zvláště, ale nejen z Algebraické teorie automatů, které spolu s úvodními kapitolami umožňují čtenáři se zevrubně, ale pohodlně poučit o všem podstatném, souvisícím s klíčovým pojmem práce, regularita nekonečné posloupnosti, ale i o pojmech Termodynamiky a Teorie informace ve výpočetní, automatové souvislosti.