چکیده در این مطالعه از روش سری زمانی فازی برای پیش بینی شاخص کل بورس اوراق بهادار تهران (تپیکس) در سالهای 78 الی 88 استفاده شده است . به این صورت که داده های هرسال به دو بخش آموزشی و آزمایشی تقسیم شده و در هر سال از این روش برای پیش بینی داده های آزمایشی استفاده گردیده است . به منظور سنجش کارایی روش پیشنهادی ، این روش با روش آرما بر اساس متدلوژی باکس _جنکینز مورد مقایسه قرار گرفته است ، همچنین...

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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

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

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

هدف: پژوهش حاضر با هدف تعیین نوسانات الگوی چرخه های روزانه و هفتگی منطق ریاضی دانش آموزان انجام شد. روش: روش پژوهش همبستگی بود. جامعه آماری دانش آموزان دختر پایه یازدهم علوم انسانی شهر خدابنده در سال تحصیلی 1396-1397 به تعداد 167 نفر بودند که به روش نمونه گیری تصادفی خوشه ای 36 نفر به عنوان نمونه انتخاب شدند، مدت دو هفته به صورت چرخشی در دو نوبت صبح (8، 30/9 و 11) و بعد از ظهر (13، 30/14 و 15/1...