In this paper, we deal with sentences containing time references like ''five years ago'', ''three years older'', ''in five seconds''. It turns out that such sentences are pragmatically incomplete, because there is an elliptic reference to a calendar that makes it possible to determine the length of the time interval associated with a time duration like a year, month, day, or to compute the time interval denoted by terms like ''February 29, 2016''. Since Transparent Intensional Logic (TIL) takes into account two modal parameters, namely possible worlds of type ω and times of type τ, and this system is particularly apt for the analysis of natural language expressions, our background theory is TIL. Within this system, we define time intervals, calendar time durations, and last but not least a method for adding and multiplying time durations in a way that takes into account the leap days and leap seconds. As sample applications, we analyse two sentences, to wit, ''A year has 365 days'' and ''Adam is 5 years older than Bill''. and V tomto článku se zabýváme věty obsahujícími časové odkazy jako ''před pěti lety'', ''o tři roky starší'', ''za pět sekund''. Ukazuje se, že takové věty jsou pragmaticky neúplné, protože existuje eliptický odkaz na kalendář, který umožňuje určit délku časového intervalu spojeného s časovým obdobím jako rok, měsíc, den nebo vypočítat časový interval označované slovy ''29. února 2016''. Vzhledem k tomu, že Transparentní Intenzivní Logika (TIL) zohledňuje dva modální parametry, jmenovitě možné světy typu ω a časy typu τ, a tento systém je obzvláště vhodný pro analýzu přirozených jazykových výrazů, je naší teorií pozadí TIL. V rámci tohoto systému definujeme časové intervaly, trvání kalendáře, a v neposlední řadě metoda pro přidání a násobení doby trvání způsobem, který bere v úvahu skokové a skokové sekundy. Jako vzorové aplikace analyzujeme dvě věty s názvem ''rok má 365 dní'' a ''Adam je o 5 let starší než Bill''.
This paper proposes a non-trivial definition of the notion of analytic method. Working within the so-called instructional model of method, I distinguish three kinds of instructions which occur in methods: selective, executive, and declarative instructions. I discuss the relation between each of these and the analyticity of a method. Then I define the notions of an analytic use of an instruction and of an analytic instruction, which are at the basis of the proposed definition of an analytic method. Finally, I discuss the issue of circularity in the presented model which arises if we consider a finite agent testing a method for analyticity., Tato práce navrhuje netriviální definici pojmu analytická metoda. V rámci tzv. Instruktážního modelu metody rozlišuji tři druhy instrukcí, které se vyskytují v metodách: selektivní, exekutivní a deklarativní . Diskutuji o vztahu mezi každou z nich a analytičnosti metody. Dále definuji pojmy analytického použití instrukce a analytické instrukce , které jsou základem navrhované definice analytické metody. Závěrem se zabývám otázkou kruhovitosti v prezentovaném modelu, která vzniká, pokud uvažujeme konečný agent testující metodu analyticity., and Miloš Kosterec
Study about the mechanical energy balance and the energy loss of 3-D turbulent flows in open-channels has its own complexities. The governing equation of the mechanical energy in turbulent flows has been previously known and includes turbulence parameters that their calculations or measurements are not easy. In this study, a form of the total mechanical energy equation that leads to a number of significant physical insights is analytically investigated, from which analytical relationships for the energy loss estimation in 3-D turbulent flows are defined. The effect of different turbulence parameters is reflected on the new relationships and analyzed by equalizations replacing unknown correlations with closure approximations using the numerical turbulence simulation. In order to investigate the application of the analytical relationships, numerical simulations are performed by using OpenFOAM software to solve the Navier-Stokes equations with the RSM turbulence model in open-channels with different geometries. Then, the contribution of the turbulence parameters to the total mechanical energy balance is evaluated in uniform and nonuniform turbulent flows and their difference is analyzed, that leads to identify the parameters affecting the friction and local losses. The results demonstrate that the magnitudes of the turbulent diffusion, the work done by the viscous stresses pertaining to the mean motion and the viscous diffusion of the turbulence energy are substantially smaller than the other terms of the total energy equation for turbulent flows in open-channels with different geometries, while the effect of the variations of the turbulence kinetic energy and the work done by the turbulence stresses, that has not been considered in the previous mechanical energy equations, is more important in complex flows. From a practical viewpoint, in order to study the details of the total mechanical energy balance and the energy loss in 3-D turbulent flows with the presence of the secondary currents, the proposed method can be useful.
Einstein-Barbarossa velocity or resistance equation (1952) is widely used to find resistance to flow in alluvial channel. In order to validate the equation in all ranges (smooth to rough); they introduced a correction factor based on the Nikuradse measurement. This correction factor is determined from the graphical method, which can be erroneous. Present work reanalyzes the Nikuradse measurements and gives an analytical formulation for the correction factor. and Einsteinova-Barbarossova rovnica (1952) sa často používa na určenie odporu voči prúdeniu v kanáloch. Autori do nej zaviedli korekčný faktor, založený na meraniach Nikuradzeho, aby overili platnosť rovnice v celom rozsahu drsností (od hladkých stien po drsné). Tento korekčný faktor sa určuje grafickou metódou, ktorá môže viesť k chybným výsledkom. V tejto práci sa znova analyzujú výsledky Nikuradzeho meraní a je navrhnutá analytická formulácia na výpočet korekčného faktora.
This paper presents closed form solution for unsteady flow equation corresponding to the transient hydraulic head, flow rate and volumetric exchange of a confined aquifer which is in contact with a constant piezometric head at one end and a stream whose water level is rising at a constant rate at the other end. The aquifer is also subjected to receive constant inflow due to rain infiltration. The unsteady groundwater flow equation is solved using Laplace transform to get analytical expressions for the transient hydraulic head and flow rate at the left and right interfaces and the net volumetric exchange of water at the aquifer-stream interface. The analytical results presented here show the effect of recharge due to rain infiltration on the net volumetric exchange and reveal the conditions for which net inflow in the aquifer could be positive, negative or zero. The results obtained have the capability to determine transient hydraulic head for two extreme scenarios: (i) very slow rise and (ii) very fast rise in the stream water. Analytical result show that the net volumetric exchange could be positive, zero or negative depending on the surface infiltration and stream water rise rate. and Príspevok obsahuje analytické riešenie rovnice neustáleného prúdenia vzhľadom na neustálenú hydraulickú výšku, rýchlosť prúdenia a objemové toky vo zvodnenom kolektore s napätou hladinou, ktorý je v kontakte s konštantnou piezometrickou výškou na jednej strane a s tokom s konštantne sa zvyšujúcou hladinou vody na strane druhej. Zvodnený kolektor je tiež napájaný konštantnou rýchlosťou infiltrovanou vodou zo zrážok. Rovnica neustáleného prúdenia podzemnej vody je riešená s použitím Laplaceovej transformácie, aby sme získali neustálenú tlakovú výšku na ľavej aj pravej strane a objemový prítok vody na rozhraní zvodnený kolektor - tok. Výsledky analytického riešenia, ktoré predkladáme, ukazujú vplyv infiltrácie zrážok na doplňovanie podzemnej vody a odhaľujú podmienky, za ktorých prítok do zvodneného kolektora môže byť kladný, negatívny, alebo nulový. Získané výsledky umožňujú určiť neustálené hydraulické výšky pre dva extrémne scenáre: (i) veľmi pomalé a (ii) veľmi rýchle zvýšenie hladiny vody v toku. Analytické riešenie ukazuje, že objem vody, ktorou je zvodnený kolektor doplňovaný, môže byť kladný, záporný, alebo nulový, v závislosti na intenzite infiltrácie a rýchlosti zvyšovania sa hladiny vody v toku.
An analytical solution for the two-dimensional tension leg platform (TLP) interacting with ocean wave is presented. The legs of TLP are considered as elastic springs. The flow is assumed to be irrotational and single-valued velocity potentials are defined. The effects of radiation and scattering are considered in the boundary value problem. Because of linear behavior of legs during wave excitation, ignoring coupling effects with other degrees of freedom, the analytical solution of heave response has good agreement with the real behavior of the structure. and Práce uvádí analytické řešení působení vln na dvoudimenzionální pevně ukotvenou plošinu (TLP). Úchyty plošiny jsou uvažovány jako elastické pružiny. Předpokládá se nevírový tok a je definováno jednoznačné rychlostní pole. Okrajové podmínky zahrnují vlivy radiace a rozptylu. Předpoklad lineárního chování úchytů při excitaci mořskými vlnami i zanedbání některých dalších efektů v analytickém řešení odezvy TLP na vznášení ukázaly, že existuje soulad mezi naším řešením a skutečným chováním konstrukce.
After bark beetle calamity in National park Šumava were established three experimental catchments with different forest cover (dead forest, clearing and healthy forest). In these catchments were, in period without snow cover, measured components of rainfall-runoff events. The aim of the research was to estimate a correlation of chosen characteristics of rainfall-runoff events from catchments Modrava 1 (dead forest) and Modrava 2 (clearing). Comparing limit values of correlations, there were found no significant differences between observed catchments. and Po kůrovcové kalamitě v Národním parku Šumava vznikla na plochách s rozdílným pokryvem (stojící odumřelý smrkový les, paseka a zdravý les) tři experimentální povodí. Na těchto povodích byly v období bez sněhové pokrývky měřeny komponenty srážkoodtokového procesu. Předmětem výzkumu bylo stanovení vzájemných závislostí vybraných komponent srážkoodtokových událostí na povodích Modrava 1 (odumřelý les) a Modrava 2 (paseka). Při porovnání limitních hodnot vybraných závislostí nebyly patrné mezi zkoumanými experimentálními povodími výrazné rozdíly.