The aim of this study was to test the applicability of a simple scaling methodology for a regional estimation of intensity-duration-frequency (IDF) curves in Slovakia. The analysis is based on the regionalization process of Gaál (2006), which focused on the delineation of homogeneous regions for a regional frequency analysis of precipitation maxima. In order to examine the regionally estimated IDF curves, a region covering the western parts of Slovakia was chosen. The selected region, which encompasses 19 raingauging stations, may be characterized by the dominant influence of Atlantic circulation patterns. Three of the 19 stations belonging to the target region were set aside and flagged as verification stations. The regional dimensionless growth curve of 1-day precipitation maxima in the warm season was derived for the region, and the local T-year quantiles were estimated by the index value method for the stations. At the same time, a regionally averaged scaling exponent was derived using all the stations except for the three verification ones. The local IDF curves at the verification stations were estimated by downscaling the Tyear quantiles of the 1-day precipitation maxima using the regionally averaged scaling exponent. Finally, the IDF curves for these stations were compared with those defined by Šamaj, Valovič (1973). This study is the first step in assessing the applicability of a simple scaling theory for the regional estimation of IDF curves in Slovakia. and Cieľom tejto práce bolo otestovať možnosť použitia metódy jednoduchého škálovania zrážok pri regionálnom odhade návrhových hodnôt zrážkových intenzít na Slovensku. Pre analýzu bolo vybraných 19 zrážkomerných staníc vo vopred vyčlenenom regióne na území západného Slovenska, pričom tri stanice boli separované ako verifikačné stanice. Pre vybraný región sme odvodili bezrozmernú regionálnu čiaru prekročenia jednodenných maximálnych úhrnov zrážok v teplom polroku a následne sme pre verifikačné stanice metódou indexovej hodnoty odhadli lokálne návrhové hodnoty pre rôzne významné doby opakovania T (tzv. T-ročné kvantily). Vo vyčlenenom regióne sme určili priemerný regionálny škálovací koeficient. Návrhové zrážkové intenzity pre tri verifikačné stanice sa stanovili zoškálovaním T-ročných kvantilov jednodenných maximálnych zrážok pomocou regionálneho škálovacieho koeficientu. Určené návrhové hodnoty sme porovnali s výsledkami Šamaja, Valoviča (1973). Štúdia potvrdila možnosť využitia metódy jednoduchého škálovania na regionálny odhad návrhových hodnôt zrážkových intenzít na Slovensku.
In Tichý (1969), it is shown that semantics of natural language can be pursued procedurally. Tichý supported his argument by defining elementary functions of logic (truth functions, quantifiers) using Turing machines and attempting to define the sense of empirical expressions using a simple semantic version of oracle. From the way how Turing machines and later constructions are defined it follows that even the sense of empirical expressions can be successfully handled but that the sense and denotation can be in principle effectively obtained while the actual value at the actual world can be, of course, never computed. The present paper comments on this attempt and compares the Turing machines argument with the possibilities given by TIL constructions. Turing machines guarantee the effective character of computing while the constructions do not, but expressive power of constructions is incomparably stronger, not only because Tichý’s possible worlds from 1969 are atemporal: they define essentially 1 st order operations and can be reinterpreted as one possible world enjoying (discrete) temporal changes. Both the TM conception and the ''constructivist'' one know that the question ''which possible world is the actual one'' cannot be ever answered by effective (computational) methods and their analyses of empirical expressions are therefore compatible. and V Tichý (1969) je ukázáno, že sémantika přirozeného jazyka může být sledována procedurálně. Tichý podpořil svůj argument tím, že definoval základní funkce logiky (pravdivé funkce, kvantifikátory) za použití Turingových strojů a snažil se definovat smysl empirických výrazů pomocí jednoduché sémantické verze oracle. Ze způsobu, jakým jsou vymezeny stroje Turing a pozdější konstrukce, vyplývá, že i smysl empirických výrazů lze úspěšně zvládnout, ale smysl a denotaci lze v principu efektivně získat, zatímco skutečná hodnota v aktuálním světě může být, samozřejmě, nikdy nebyl vypočten. Tento příspěvek se k tomuto pokusu vyjadřuje a srovnává argument Turingových strojů s možnostmi danými konstrukcemi TIL. Turing stroje zaručují efektivní charakter výpočtu, zatímco konstrukce nejsou, ale expresivní síla konstrukcí je nesrovnatelně silnější, a to nejen proto, že Tichého možné světy z roku 1969 jsou atemporální: definují v podstatě operace 1. řádu a mohou být reinterpretováni jako jeden možný svět, který se těší (diskrétním) časovým změnám. Jak koncepce TM, tak konstruktivistická, vědí, že otázka ''který možný svět je skutečný'' nemůže být nikdy zodpovězena účinnými (výpočetními) metodami a jejich analýza empirických výrazů je tedy slučitelná.
The aim of the paper is to disclose an ontological setting of possible worlds used by Pavel Cmorej in his papers focused mainly on intensional semantics and its applications. The paper offers a range of attitudes toward possible worlds spanning from radical realism to radical eliminativism. Cmorej’s possible worlds are best understood in terms of moderate realism that sees them as objective abstract entities based on the ontology and principles of combinatorialism. However, combinatorialism doesn’t occur in its standard form because some aspects of abstractionism are present as well. and Martin Schmidt
The Green-Ampt (GA) model is widely used in hydrologic studies as a simple, physically-based method to estimate infiltration processes. The accuracy of the model for applications under rainfall conditions (as opposed to initially ponded situations) has not been studied extensively. We compared calculated rainfall infiltration results for various soils obtained using existing GA parameterizations with those obtained by solving the Richards equation for variably saturated flow. Results provided an overview of GA model performance evaluated by means of a root-meansquare-error-based objective function across a large region in GA parameter space as compared to the Richards equation, which showed a need for seeking optimal GA parameters. Subsequent analysis enabled the identification of optimal GA parameters that provided a close fit with the Richards equation. The optimal parameters were found to substantially outperform the standard theoretical parameters, thus improving the utility and accuracy of the GA model for infiltration simulations under rainfall conditions. A sensitivity analyses indicated that the optimal parameters may change for some rainfall scenarios, but are relatively stable for high-intensity rainfall events.
The paper deals with a topic of current interest - the problems of blending and simultaneous aeration of liquids. Modeling research making use of a number of blending propellers of different geometry was conducted towards improving the parameters of a dedicated aeration facility which employed an axial impeller - specifically, a propeller having 50 mm in diameter. The energy related parameters of blending were examined experimentally and were confronted with patterns obtained by visualizing the process of agitation of the liquid being aerated. Based on this model research, an optimal option of the 50 mm propeller was established for production purposes. Subsequently, a corresponding propeller having 80 mm in diameter was designed and manufactured based on a confirmed affinity relation of the propeller input power. A laboratory testing facility was used to carry out both qualitative and quantitative comparisons of two alternative designs of the 80 mm propeller, and the basic data required for the selection of a suitable type of propeller were established. and Příspěvek se týká aktuální problematiky míšení a současného provzdušňování kapalin. Pro zlepšení parametrů konkrétního typu provzdušňovacího zařízení s axiálním oběžným kolem - propelerem průměru 50 mm byl proveden modelový výzkum řady mísicích propelerů různého geometrického uspořádání. Experimentálně byly sledovány energetické parametry mísení, které byly konfrontovány se zviditelněnými obrazy s vizualizací procesu míšení provzdušňované kapaliny. Na základě modelového výzkumu byla pro výrobu stanovena optimální varianta propeleru o průměru 50 mm. Na základě ověřeného afinního vztahu příkonu propeleru byl navržen a vyroben odpovídající propeler o průměru 80 mm. Na laboratorním zkušebním zařízení bylo provedeno kvalitativní i kvantitativní porovnání dvou variant propelerů s průměrem 80 mm a byly získány základní údaje pro volbu vhodného typu propeleru pro aerační zařízení.
Optimisation of water treatment conditions with usage of aluminium sulphate and ferric sulphate was made with raw water containing high concentrations of natural aluminium. For optimisation of coagulation conditions here were used the jar tests. The efficiency of aggregation was evaluated with the help of the degree and test of aggregation. In all water samples used, the total aluminium concentration was fractionated into nine forms. The high values of degree of aggregation and high portion of macro-, micro-, and primary particles were attained in optimally treated water samples using both types of coagulants. It contrasts to the portion of nonaggregated particles ranging in optimal treated water only from 3% to 7%. Fractionation of total aluminium proved that the removal efficiency of all Al fractions is very good. and V této práci byly optimalizovány podmínky úpravy vod s přirozeně zvýšeným obsahem hliníku. K optimalizačním testům byla použita sklenicová zkouška. Výsledky byly hodnoceny pomocí testů agregace a stupně agregace. Dále byly u všech vzorků surových i upravených vod provedeny frakcionace celkového hliníku. Výsledky ukázaly, že při optimálních dávkách obou použitých koagulačních činidel je dosahováno vysoké účinnosti agregace. V upravené vodě byly nejvíce zastoupeny mikročástice, makročástice a primární částice hliníku, naopak neagregovaný podíl koagulačního činidla tvořil pouze 3 až 7 %. Při použití obou koagulačních činidel byla zjištěna vysoká účinnost odstranění jednotlivých frakcí hliníku.
The general slogan in the title of this paper (which is taken from Strawson 1952, 57) gives a general, but nevertheless accurate, expression of Strawson’s view concerning the nature of formal logic per se in relation to natural language. What is at stake here is the extent to which the formal methods and the formal semantics of contemporary symbolic logic can render the meanings of natural language expressions. Strawson sets up an agenda for logical theory which, although rather dated for a logic text, is what one naturally expects from an introduction to elementary formal logic and a systematic analysis of certain crucial metalogical concepts, most notably entailment. However, my own reading is that Strawson’s approach to logic makes a lasting contribution to understanding the inner workings of natural language through his critical discussion of the limits of the formal renderings of the semantics of natural language expressions via canonical first-order notations. One can recognize in this critical attitude towards the limits of formal methods a consistent generalization of Strawson’s own strategy from his critical response to Russell’s theory of descriptions.In my paper I shall focus on certain examples which illustrate the general slogan that characterizes Strawson’s views on the nature of logic in connection with ordinary language and talk., Obecný slogan v názvu tohoto článku (který je převzat ze Strawson 1952, 57) dává obecný, ale přesto přesný, vyjádření Strawsonova pohledu na povahu formální logiky per se ve vztahu k přirozenému jazyku. V sázce je zde míra, do jaké formální metody a formální sémantika současné symbolické logiky mohou učinit význam výrazů přirozeného jazyka. Strawson sestavuje agendu pro logickou teorii, která, i když je spíše logická, je to, co člověk přirozeně očekává od úvodu k základní formální logice a systematické analýze určitých klíčových metalogických pojmů, zejména z hlediska jejich významu. Nicméně, mé vlastní čtení je, že Strawsonův přístup k logice je trvalým příspěvkem k pochopení vnitřního fungování přirozeného jazyka jeho kritickou diskusí o mezích formálního vykreslování sémantiky výrazů přirozeného jazyka prostřednictvím kanonických zápisů prvního řádu. V tomto kritickém postoji k hranicím formálních metod lze rozpoznat důsledné zobecnění Strawsonovy vlastní strategie z jeho kritické reakce na Russellovu teorii popisu.Ve svém příspěvku se zaměřím na některé příklady, které ilustrují obecný slogan, který charakterizuje Strawsonovy názory na povahu logiky ve spojení s běžným jazykem a mluvením., and Mircea Dumitru