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

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

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

هدف این پژوهش بررسی رابطه بین سبک های دلبستگی با تفکر قطعی نگر و باورهای غیرمنطقی در دانشجویان است. جامعه تحقیق حاضر شامل کلیه دانشجویان دانشگاه آزاد اسلامی واحد تهران مرکز در سال تحصیلی 91-1390 بود که تعداد 200 نفر از دانشجویان به روش نمونه گیری تصادفی خوشه ای چند مرحله ای انتخاب و در پژوهش شرکت داده شدند. برای تجزیه و تحلیل داده ها با استفاده از روش های رگرسیون چند متغیری و ضریب همبستگی پیرسو...

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

این تحقیق با هدف بررسی اثر اجرای حسابرسی مالیاتی بر مالیات تشخیصی وقطعی اشخاص حقوقی در ایران انجام شده است. جامعه آماری تحقیق شامل مودیانی از اشخاص حقوقی اداره کل امور مالیاتی استان آذربایجان غربی، شرقی و شرق تهران است که طی 2 سال متوالی 1388 تا 1389 مالیات خود را به حوزه مالیاتی ابراز کرده اند و 350شرکت به عنوان نمونه انتخاب شده اند. برای آزمون فرضیه های های پژوهش ازآزمون های t-testوf-test است...

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

پژوهش حاضر به منظور پیش بینی رضایت زناشویی توسط میزان تفکر قطعی نگر و مهارتهای ارتباطی در فرزندان شاهد وهمسرانشان که در سالهای 1387- 1380 ازدواج کرده اند، انجام شده است. مطالعه حاضر از نوع پژوهشهای توصیفی (همبستگی از نوع پیش بینی) است.حجم نمونه 104 نفر بوده که به روش نمونه گیری تصادفی ساده انتخاب شدند. که سه پرسشنامه رضایت زناشویی، تفکرقطعی نگرومهارتهای ارتباطی را تکمیل نمودند. از همبستگی پارشی...

این پژوهش به منظور بررسی رابطه رغبت به ازدواج با نگرش مذهبی و تفکر قطعی نگر در دانشجویان دانشگاههای دولتی تهران در سال1389 اجرا گردید. جامعه ی آماری شامل کلیه ی دانشجویانی بود که در نیمسال تحصیلی 1390-1389 مشغول به تحصیل در دانشگاههای دولتی تهران بوده اند. نمونه ی پژوهش شامل 200 نفر ازدانشجویان بود که با استفاده از نمونه گیری خوشه ای به صورت تصادفی انتخاب شدند. ابزار پژوهش شامل پرسشنامه رغبت به...

امروزه سلول های پرتوان القا شده ( ips) به عنوان یکی از جدیدترین و بهترین منابع سلولی برای سلول درمانی مطرح می باشند. در این مطالعه توان تمایزی سلول های ips انسانی در محیط کشت سه بعدی به سلول های آندودرم قطعی، که خود پیش ساز سلول هایی از جمله سلول های هپاتوسیت، پانکراس و ششی می باشند، مورد بررسی قرار گرفت. اجسام جنینی (ٍebs) از سلول های hips ساخته و سپس بر روی داربست نانوفیبروز پلی کاپرولاکتون (p...