چکیده ندارد.

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

در سالهای اخیر علاقه فزاینده ای به مطالعه دستگاههایی که به روش تصادفی با زمان تغییر می کنند، به وجود آمده است . مدلهای ریاضی چنین دستگاههایی به نام فرآیندهای تصادفی معروف اند. در این رساله مبحث "میانگین زمان توقف در فرآیندهای تصادفی" را مورد مطالعه قرار خواهیم داد. فرض کنیم {xn, n 0} یک فرآیند تصادفی گسسته بر فضای احتمال (, , p) و نیز به ازای , n 0 یک دنباله افزایشی از میدانهای در این صورت { n}...

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

چکیده مقدمه: همواره وقوع بلایای طبیعی به عنوان سدی در راه گسترش اقتصادی، اجتماعی و عمرانی کشورها و دیرکرد اقدام درمانی به آسیب دیدگان بوده و این قبیل پیشامدها یکی از مهمترین علل آسیب هستند. و زمان رسیدن بر بالین بیمار عامل مهمی در ارزیابی کارکرد اورژانس پیش بیمارستانی است هدف: بررسی فاصله زمانی و عوامل همراه در خدمت رسانی اورژانس مواد و روش ها: این پژوهش case series و مقطعی به بررسی 141 مورد پی...

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

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