نتایج جستجو برای: Stream Function Theorem

تعداد نتایج: 1382610  

Ahmad Assempour Sa'eed As'adi

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...

2014
Koji Nakazawa

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی 1392

ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره ای فرو می کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می شود، تمرکز می کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه های موتیویک دارد که در آن یک مشخص سازی از تابع های تعریف پذیر مورد نیاز است. در این پایان نامه، یک حالت منطق پیوسته از قضی...

Journal: :international journal of nonlinear analysis and applications 2015
samira rahrovi

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.

2014
Zheng guang Xu Qing Tian Li Tian

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...

Anwar Hussain S. Nadeem Safia Akram,,

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...

ژورنال: علوم آب و خاک 2018

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...

Journal: :Journal of Graph Theory 2014
John Lenz Dhruv Mubayi

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 ...

Journal: :bulletin of the iranian mathematical society 0
n. a. secelean ‎‎department of mathematics and informatics faculty of sciences‎, ‎lucian blaga university of sibiu‎, ‎romania.

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...

M. Amini

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید