در نظریه ی مدلهای متناهی قانونی به نام 0-1 وجود دارد که درباره حد کسر مدلهای رابطه ای از اندازه n که یک جمله ی مشخص را ارضا میکنند صحبت میکند. این قضیه به اشکال مختلف گسترش داده شده است که در این جا حالت ویژه ای از قانون صفر و یک به نام قانون صفر و یک قوی را با تعریف یک اندازه سیگما جمعی روی دنباله های مدلهای متناهی از اندازه 1 تا n تعریف میکنیم و بررسی میکنیم برای هر جمله ی مرتبه اول، خود جمل...

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

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

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

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