نتایج جستجو برای: نظریه f t
تعداد نتایج: 974468 فیلتر نتایج به سال:
این پایان نامه در سه فصل تهیه شده است. در فصل اول به بیان پاره ای از تعاریف و مقدمات خواهیم پرداخت که در فصل های آتی مورد استفاده هستند. در فصل دوم، برخی شرایط لازم برای ابردوری بودن تابع f (t) مورد بررسی قرار می گیرد. به عنوان نمونه ثابت می شود که اگر t: x -x یک عملگر خطی، کران دار و پوشا بوده و f تابعی تحلیلی و غیر ثابت در یک همسایگی از t ( ? باشد که ، و در چگال باشد آنگاه ابردوری است. همچنین...
?در این پایاننامه به بررسی خواص الکترونی و مغناطیسی ? ،tb?ti?o??که یک اکسید پایروکلر مکعبی? ?ناکام با فاز مایع اسپینی است، پرداختیم. ما برای بررسی خواص الکترونی و مغناطیسی این سیستم از ?نظریه ی تابعی چگالی ) ? (dft?استفاده کردیم. تمام محاسبات در نظریهی تابعی چگالی با روش موج? تخت بهبودیافتهی خطی شدهی تمام پتانسیل ) ? (fp ?lapw?و به کمک کد ? ،fleur?انجام شدند. از? ?تابعیهای ? gga?و ? gga + u?ب...
The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations sh...
We review links between three logic formalisms and three approaches to specifying operational semantics. In particular, we show that specifications written with (small-step and big-step) SOS, abstract machines, and multiset rewriting, are closely related to Horn clauses, binary clauses, and (a subset of) linear logic, respectively. We shall illustrate how binary clauses form a bridge between th...
در سال 1940 ،اولام سوالی درباره نگاشت های تقریبی مطرح کرد به این مضمون که ((تحت چه شرایطی یک همریختی تقریبی به یک همریختی نزدیک می شود؟(( در سال 1941 ،هایرزجوابی مثبت به سوال اولام درفضاهای باناخ ارائه داد در واقع ثابت کرد اگر ??0 و f:x?y نگاشتی از فضای نرم دار x به فضای باناخ y باشد به طوری که ?f(x+y)-f(x)-f(y)??? (x,y?x) (1) آن گاه نگاشت جمعی منحصر به فرد t:x?...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید