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

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

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

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

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

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

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