در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

چکیده ندارد.

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

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

مسئله ی بهینه سازی محدودیت توزیع شده ی پویا از مسائل مهم و مطرح در زمینه ی سیستم های توزیع شده و هوش مصنوعی است که جزء مسائل np-hard طبقه بندی می شود. این مسئله کاربردهای فراوانی در زمینه ی اختصاص وظایف، کارها و مسائل زمانبندی دارد. با توجه به اهمیت وکاربرد این مسئله، الگوریتم های مختلفی برای حل گونه های مختلف آن ارائه شده است اما همچنان رقابت برای کاهش هزینه های محاسباتی و ارتباطی میان محققین ...

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

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

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

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

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