این پژوهش با هدف عارضه یابی و تحلیل سناریوی مجتمع دخانیات تهران مبتنی بر رویکرد تلفیقی مهندسی ارزش و مدل تحلیل پوششی داده ها صورت گرفته است. بدین منظور، کارگروه‌های تخصصی در هفت حوزه مالی، پشتیبانی، تدارکات و انبار، نگهداری و تعمیرات، فناوری اطلاعات، تولید و منابع انسانی تشکیل شد که منجر به تعریف 272 کارکرد شامل 12 کارکرد اصلی، 149 کارکرد فرعی، 62 کارکرد غیرضروری و 49 کارکرد پیش بینی نشده و 495...

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

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی‌شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می‌توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه‌ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...

در ژانویه 1987 اندرسون حالت پیوند ظرفیت تشدیدی در یک عایق مات آلاییده را برای توضیح ابررسانایی در کوپراتها ارایه کرد. پس از آن چالش اصلی اثبات وجود این سازوکار و احتمالات زیاد, با دقت مورد قبول در استاندارد فیزیک ماده چگال, در یک نظریه میکروسکوپی و گسترش تکنیکهای بس ذره ای مناسب بود. در فاصله کوتاهی پس از آن, اندرسون, زو و ما (bza) با در نظر گرفتن این چالش شروع به کار کرده و برنامه ای را آغاز ک...

جردن هوارد سوبل در مقاله ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...