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

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

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

در این پایان نامه به بررسی روشهای تکراری sor و ssor در مورد دستگاه معادلات خطی axb می پردازیم. نخستین فصل را به معرفی این روشهای تکراری و ارائه قضایای اساسی همگرایی اختصاص داده ایم. روش فوق تخفیف نقطه ای در سال 1950 توسط فرانک و یانگ معرفی شد. سپس در سال های 1950 و 1954 توسط یانگ تعمیم داده شد. وی نشان داد که این روشها برای ماتریس هایی که در تعریف "خاصیت a" صدق می کند نیز به کار گرفته می شوند. ...

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

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

در این نوشته دو برهان برای قضیه اساسی جبر آورده ایم که به نظر نمی رسد قبلا دیده شده باشند. در اولین برهان از قضیه انتگرال کشی استفاده می شود. دومین برهان تنها از انتگرال حاصل از پارامتری سازی انتگرال مسیری برهان اول و نتایجی از حسابان پیشرفته استفاده می کند.

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

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

این رساله در پی پاسخگویی به این پرسش هاست: «کدام اشخاص و نیروهای سیاسی مذهبی ایران در دوره استقرار (68ـ1358) از نیروهای خط امام جدا شده اند و دلایل و عوامل تأثیرگذار بر این واگرایی ها کدامند؟» برای پاسخگویی به این پرسش ها از نظریه های «جنگ های جدید»، «نظریه های بسیج در جنبش-های اجتماعی» و نظری? «فعال شدن منازعات ایدئولوژیکی در دور? استقرار» در قالب مدل تلفیقی «ساختاری ـ شناختی» کمک گرفته شد. دا...