نتایج جستجو برای: stream function theorem
تعداد نتایج: 1382610 فیلتر نتایج به سال:
In this paper, a mathematical model for symmetrical multi-layer sheet rolling, in which the layers are unbounded before rolling, by using the upper bound method and stream function theorem is proposed. Using this model, we can investigate the plastic deformation behavior of sheets at the roll gap during rolling. Effect of various rolling conditions such as initial and final thickness and flow s...
This paper shows that the stream models of Nakazawa and Katsumata can be adapted to a typed setting for an extension of the Λμcalculus, called Λμcons. It shows the typed Λμcons is sound and complete with respect to the stream models. It also shows that any individual stream model with whole function spaces and infinite bases characterizes the extensional equality. This result corresponds to Fri...
ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره ای فرو می کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می شود، تمرکز می کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه های موتیویک دارد که در آن یک مشخص سازی از تابع های تعریف پذیر مورد نیاز است. در این پایان نامه، یک حالت منطق پیوسته از قضی...
in present paper acertain convolution operator of analytic functions is defined.moreover, subordination- and superordination- preserving propertiesfor a class of analytic operators defined on the space of normalizedanalytic functions in the open unit disk is obtained. we also applythis to obtain sandwich results and generalizations of some knownresults.
This paper proposes a theorem to generate chaotic key stream from topologically conjugated maps of Tent Map. In this theorem, the condition for topological conjugation between Tent Map and a class of chaotic maps is first determined. Then, the chaotic attractor of the maps is divided into 2 unequal subintervals, the chaotic orbit is sampled once in n time iteration, and, finally, the independen...
This paper describes the effects of induced magnetic field and partial slip on the peristaltic flow of a couple stress fluids in an asymmetric channel. The two dimensional equation of couple stress fluid are simplified by making the assumptions of long wave length and low Reynolds number. The exact solutions of reduced momentum equation and magnetic force function have been computed in wave...
In recent years, the joint distribution properties of drought including severity and duration have been widely evaluated using copula. Few studies, however, have worked on drought modeling based on stream flow, especially in semi-arid regions such as the southern regions of Iran. This study followed two purposes. The first purpose was to find the appropriate marginal distribution function for h...
Let H1, . . . ,Hk be graphs. The multicolor Ramsey number r(H1, . . . ,Hk) is the minimum integer r such that in every edge-coloring of Kr by k colors, there is a monochromatic copy of Hi in color i for some 1 ≤ i ≤ k. In this paper, we investigate the multicolor Ramsey number r(K2,t, . . . ,K2,t,Km), determining the asymptotic behavior up to a polylogarithmic factor for almost all ranges of t ...
in this paper we define weak $f$-contractions on a metric space into itself by extending $f$-contractions introduced by d. wardowski (2012) and provide some fixed point results in complete metric spaces and in partially ordered complete generalized metric spaces. some relationships between weak $f$-contractions and $fi$-contractions are highlighted. we also give some application...
We consider Gabor systems generated by a Gaussian function and prove certain classical results of Paley and Wiener on nonharmonic Fourier series of complex exponentials for the Gabor expansion. In particular, we prove a version of Plancherel-Po ́lya theorem for entire functions with finite order of growth and use the Hadamard factorization theorem to study regularity, exactness and deficienc...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید