مدل ملور-یامادا یکی از مدل های رایج در شبیه سازی لایه مرزی است که در مد ل های پیش بینی عددی کاربرد فراوان دارد. این مدل جمله های تلاطمی را براساس بستار مرتبه دوم پارامترسازی می کند. با وجود استفاده گسترده از مدل ملور- یامادا، این مدل معایبی نیز دارد که از دقت آن می کاهد. مهم ترین ضعف این مدل ناتوانی در تشخیص مولفه های قائم و افقی انرژی جنبشی پیچکی از یکدیگر است (این مدل مقدار را برابر با پیش بی...

در این رساله عملگرهای ماتریس بلوکی را که درایه های آن عملگرهای بی کران می باشند بررسی می کنیم، و شرایطی را مشخص می کنیم که این عملگر بسته یا بسته شدنی باشد. البته قابل ذکر است که اگر همه درایه هایش بسته یا بسته شدنی باشند نمی توان نتیجه گرفت که عملگر ماتریس بلوکی بسته یا بسته شدنی است ، همچنین بستار این عملگر ماتریس بلوکی را بررسی می کنیم. در ادامه اصول اکستریمال را برای مقادیر ویژه یک دسته عمل...

در فصل اول این پایان نامه اطلاعات مورد لزوم در مورد بعضی از فضاهای توابع تحلیلی ،خواص آنها ، تعاریف ، قضایا و مثالهای مورد استفاده در فصول دیگر بیان شده است . در فصل دوم نرم دسته ای خاص از عملگرهای ترکیبی روی فضای هاردی که توسط القاء شده اند را بدست می آوریم . در واقع بعضی از نتایجی که توسط پی بوردن p. bourdon) ) ، ای فرای (e. fry) ، سی هاموند (c. hammond) و سی اسپوفورد (c. sppofford) در ]4 [...

در این پایان نامه، درباره خم های ماکسیمال و مینیمال بر روی میدان متناهی k بحث می کنیم. روش ما آن است که خم را روی بستار جبری k در نظر بگیریم و به بسیاری از شناسه های خم که نسبت به توسیع های میدان ثابت، تغییر ناپذیرند توجه کنیم. برای نمونه می توان به چندضلعی نیوتن p- ادیک، ماتریس هسه- ویت و p- مرتبه خم اشاره نمود. با به کار بردن این شناسه ها، بسیاری از خم های ماکسیمال و مینیمال کلاسیک همانند خم...

چالز سیمز در سال 1987 این سوال را مطرح کرد که: آیا برای یک گروه آزاد، nامین جمله از سری مرکزی پایینی،منطبق بر بستار نرمال مجموعه ی تمام جابجاگرهای پایه ای از وزن n در گروه آزاد f است. در این پایان نامه ابتدا جابجاگرهای پایه ای در یک گروه آزاد f را تعریف می کنیم سپس بررسی می کنیم که چه رابطه ای بین جابجاگرهای پایه ای از وزن کمتر از شش با سری مرکزی پایینی f وجود دارد. به بیان دیگر بررسی می کنیم ک...

منطق زمانی توزیع شده یک منطق گویا و مناسب برای بررسی خصوصیات صوری ارتباط همزمان عاملها در یک سیستم چند عاملی میباشد.در این پایان نامه یک نسخه از منطق زمانی توزیع شده برای فرمولبندی دقیق و بررسی خاصیتهایی از مدلهای امنیتی مختلف و ایجاد ارتباط بین مدلها معرفی میکنیم. همچنین قواعد بستار پیامها و بر اساساین قواعد محتوا و بخشهای بلافصل یک پیام تعریف میشود. علاوه بر این یک مدل بر پایه کانال بیان میشو...

فرض کنید i یک ایده آل سره ی منظم از حوزه صحیح نوتری r باشد. در این پایان نامه وجود توسیع حوزه صحیح تجزیه پذیر متناهی a از حلقه r و عدد صحیح m به طوری که اعداد ریس ia برابر با m را مورد بررسی قرار می دهد. بعلاوه اگر r از ارتفاع یک باشد ، آن گاه همه اعداد ریس (j=rad(ia برابر با یک است و ایده آل های jm و ia دارای بستار یکسان هستند. بنابراین (j=rad(ia رادیکال ایده آل به طور تصویری کامل است که به طو...

یک هندسه جدید از یک جاذب سیستم دینامیکی، یک جاذب خارپشتی، توصیف شده است. یک جاذب خارپشتی اجتماعی از دو قسمت است که قسمت اول، گراف یک تابع پیوسته تعریف شده بر مجموعه ای مانند d است و قسمت دوم یک مجموعه غیر قابل شمارش از بازه های بسته که مشمول در بستار گراف هستند. در این پایان نامه برای یک دسته از وابرریختی ها روی ‎t^2×s^d، وجود جاذب خارپشتی را بررسی نموده و خواصی از آن را بیان می نماییم. .

فرض کنیم ‎x‎ ‎ و ‎ ‎k‎ ‎ مجموعه های صفحه ای فشرده باشند به طوری که‎. k ? x بستار یکنواخت توابع چند جمله ای بر ‎ ‎k‎ را با ‎ ‎p(k)‎ ‏، بستار ‎‎‎یکنواخت توابع گویا بر ‎ k ‎ که قطب هایش خارج از ‎k‎ است را با ‎ ‎r(k)‎ و جبر متشکل از توابع پیوسته بر ‎ ‎k‎ ‎ که بر ‎ ‎int(k)‎ تحلیلی هستند را با ‎ ‎a(k)‎ ‎ نشان می دهیم. ‎ p(x , k) ‎‏، ‎‎ ‎r‎(x , ‎k)‎‎‎‎‎و ( ‎a‎(x , ‎k ‎ را مجموعه های از توابع در ‎ ‎c(x...