نتایج جستجو برای: منطق زمانی توزیع شده
تعداد نتایج: 492533 فیلتر نتایج به سال:
سابقه و هدف: آب هوای یک منطقه در دوره بلندمدت را اقلیم گویند. شناسایی طبقه‌بندی اقلیمی از دیرباز مورد توجه متخصصان هواشناسی بوده است. محققان با به کارگیری روش های مختلف استفاده متغیرهای همچون بارش دما، زمین مناطق همگن طبقه بندی کرده‌اند نتایج پهنه‌بندی ارزیابی کمبود منابع مقیاس های کوچک بزرگ منظور پیش‌بینی اقدامات عملی برای کنترل خشکی آسیب‌پذیر به‌کار برده‌اند. هدف این تحقیق به‌‌روزرسانی تحل...
امروزه پیاده سازی موازی و مقیاس پذیری از مهم ترین ویژگیهای داده کاوی در مقیاس بزرگ و داده کاوی توزیع شده است. در این پایان نامه، یک سیستم تصمیم گیر فازی احتمالاتی مبتنی بر کارگزار، در دو ساختار متفاوت نیمه متمرکز ( dpfrm) و ساختار توزیع شده ی مشبک (gbdpfrm )، پیشنهاد شده است. اگر مجموعه داده بسیار بزرگ باشد از رویکرد اول و در صورتی که ذاتا توزیع شده باشد، از رویکرد دوم استفاده می شود. تعامل بین...
در دهه‌های اخیر چیدمان هندسی و عناصر ریخت‌شناسی شهرها به مثابۀ عوامل مؤثر بر شکل‌گیری شدت بخشیدن پدیدۀ جزیرۀ حرارتی بیش‌ازپیش شناخته پژوهش‌هایی خصوص یافتن تأثیرات شاخص‌های معرف این موضوعات مقیاس‌های فضایی مختلف پدیده انجام شده است، هرچند تأثیر مکانی‌ـ زمانی شاخص‌ها نیز مدلی برای تفسیر طبقه‌بندی آنها تنها سالیان موضوع برخی از مطالعات بوده است. متأسفانه زمینۀ طرح‌شده شهرهای بزرگ مهم کشور کماکان ...
تحلیل وضعیت ترافیکی و پیشنهاد روش‌های مدیریت جریان ترافیک نقش اساسی در ارزیابی عملکرد بسیاری از سیستم‌های حمل‌ونقلی ایفا می‌کند. بین جمع‌آوری داده‌های ترافیکی، رویکردهای مبتنی‌بر فنّاوری‌های نوین که امکان گرد‌آوری حجم پویای زمانی‌ـ مکانی را فراهم می‌آورند استخراج روندها الگوها تسهیل می‌کنند اهمیت دارند. این پژوهش، تهران به‌منزلة پایتخت ایران، با ویژگیهای اقتصادی اجتماعی خاصی دارد تنوع سفرها به ...
مقولات ابزار ذهن ما برای شناخت حقایق اطراف است. بشر اشیای خارجی یا مفاهیم ناظر به آنها را ذیل یکی از قرار داده است و فهم می‌کند. اما میزان صدق بر تمام واقعیات هستی هنوز درستی مشخص نیست. آنچه در آرای برخی فلاسفة مشاء دیده می‌شود‌این که پیرو آن انواعی آنها‌ایجاد می‌شود نقش تعیین کننده تعین نوعی موجودات دارند صرفاً طبقه بندی انسان نیستند. در‌این میان ملاصدرا دیدگاه متفاوتی آراء خود نشان می‌دهد محد...
زمینه و هدف: تحقق اهداف صنایع نفت درحوزه رقابت پذیری، پرداختن به موضوعات بهداشت، ایمنی و محیط زیست را به یکی از اولویت های صنایع نفت در تجارت امروز تبدیل نموده است. در این تحقیق، از مدل منطق فازی برای ارزیابی عوامل موثر بر عملکرد hse پالایشگاه نفت و تأثیر آنها بر حوادث شغلی در محیط کار استفاده شده است. روش بررسی: داده های موردنیاز پژوهش با استفاده از تهیه پرسشنامه استاندارد شده، جمع آوری گردید....
چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...
آلودگی هوا یکی از مشکلات مهم شهر های بزرگ محسوب می شود. یکی از اهداف مسئولین شهری آگاه سازی شهروندان از میزان کیفیت هوا در مناطق مختلف شهر و در زمان های متفاوت است. با توجه به مضرات ازن بر سلامت انسان و محیط زیست و افزایش آن در دهه های گذشته، ازن از آلاینده های بسیار مهم محسوب می شود؛ از طرفی به این علت که ازن، تحت تأثیر پارامترهای مختلف در هوا تولید می شود، در این تحقیق به تحلیل و پیش بینی غلظ...
هدف: پیشرفت جوامع بالاخص کشورهای درحال توسعه تا حد زیادی در گرو گسترش نهادهای دانشگاهی است. هم‌چنین یکی از مهم‌ترین ویژگیهای آموزشی، درهم‌تنیدگی ساختارهای آموزش و اشتغال واقع هر آموزشی باید بازدهی یا توجیه اقتصادی داشته باشد که عالی‌ترین نوع آن ایجاد متناسب با فراگیر بر این اساس پژوهش حاضر به بررسی وضعیت راهیابی دانشجویان فارغ‌التحصیلان کارشناسی ارشد دکتری رشته تکنولوژی بازار کار عوامل مؤثر نظ...
یکی از عوامل تعیین کننده در محیط زیست، میزان نزولات جوی است که در واقع حیات بشری وابسته به آن است. مقدار آبی که هر محیط جغرافیایی دریافت می کند نسبت به مکان دیگر متفاوت است. در این میان آنچه ضروری و مهم است، تعیین مکان و زمان بارش و استفاده از این اطلاعات جهت نیل به مقاصد مهمی از جمله جمع آوری و مدیریت منابع آب، تامین آب برای اهداف کشاورزی، صنعتی ومصرفی جوامع انسانی می باشد. در این پژوهش با هدف...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید