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

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

در این مقاله نحوه به کارگیری رویکرد بهینه سازی استوار در. مسأله انتخاب سهام (تک دوره ای) ارایه می شود. هم چنین نشان داده می شود که چگونه مدل استوار بر اساس تابع مطلوبیت سرمایه گذارو عدم قطعیت نرخ بازگشت سهام، منطبق می شود. این مدل می تواند مبتنی بر انتخاب مناسبی از بدنه نرمی و شعاع فضای (پارامترهای) غیر قطعی، تنظیم شود. ارزیابی جواب های تولید شده از نرم های متفاوت lp با تولید 10000 نمونه تصادفی...

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

رویکرد ارزیابی متوازن یکی از روش های موفق و متداول برای پیاده سازی استراتژی های سازمان است. ورودی این روش استراتژی های سازمان، و خروجی آن برنامه های عملیاتی است. در این نوشتار با تلفیق مفاهیم تحقیق در عملیات، پوشش مجموعه ی فازی، برنامه ریزی استراتژیک و روش ارزیابی متوازن مدلی ارائه می شود که به کمک آن می توان استراتژی های مناسب برای سازمان (ورودی های روش ارزیابی متوازن) را براساس مجموعه یی از م...

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

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

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