دانلود مقاله-تحقیق-پروژه-کارآموزی
مرجع کامل خرید و دانلود گزارش کار آموزی ، گزارشکار آزمایشگاه ، مقاله ، پروژه و پایان نامه های کلیه رشته های دانشگاهیدانلود مقاله-تحقیق-پروژه-کارآموزی
مرجع کامل خرید و دانلود گزارش کار آموزی ، گزارشکار آزمایشگاه ، مقاله ، پروژه و پایان نامه های کلیه رشته های دانشگاهیهماهنگ سازی task و thread ها و Ada
| دسته بندی | کامپیوتر و IT |
| بازدید ها | 18 |
| فرمت فایل | doc |
| حجم فایل | 157 کیلو بایت |
| تعداد صفحات فایل | 21 |
هماهنگ سازی task و thread ها و Ada
اجرای یک برنامه تحت Ada دربرگیرنده اجرای یک یا چند task می باشد.هر task ، یک یا چند thread جداگانه برای کنترل مستقل یا همزمان در نقاطی که با سایر task ها تداخل دارد ایجاد می کند. شکل های مختلف این هماهنگ سازی و اثر متقابل بین task ها در این چند برگ توضیح داده می شود. این شکل ها به دسته بندی کلی زیر تقسیم می شوند :
1- فعال سازی و نابود سازی یک task
2- صدا زدن یک برنامه خاص که هماهنگ سازی را بر عهده بگیرد وداده ها و بخش های اشتراکی را مدیریت کند.
3- یک برنامه وقفه ای که شامل یک سری delay ها باشد. یا شامل یک سری برنامه های زمان بندی که به هر کدام از task زمان خاصی را بدهد.
4- یک سیستم خاتمه دهنده که به یک task اجهزه خاصی برای از بین بردن و از کار انداختن task دیگر می دهد.
زمان دهی پویا و زمان دهی ایستا static semantic , dynamic semantic :
در طول یک دوره یک task غیر فعال می تا زمانی که به فعالیت بازگردد. زمانی که یک task آماده شروع فعالیت گردید باید بخش ها و داده های مورد نیاز کامپیوتر به آن اختصاص داده شود. هر چند که این اجرا ممکن است روی یک سیستمmulti proccessorاجرا شود اما باز هم در چنین سیستم هایی اوقاتی پیش می آید که از دید task سیستم single proccess است و یا حتی روی هر یک از proccessor ها چندین task شروع به فعالیت می کنند. در این حالت به طور کلی دو نوع الگوریتم شروع به تقسیم بندی منابع سخت افزاری می نمایند که به نام های زمان دهی پویا و زمان دهی ایستا معروف هستند. هر چند هرکدام از این دو الگوریتم خود به الگوریتم های فراوان هماهنگ سازی دیگر تقسیم می شوند.
سیستم زمان دهی ایستا به این شکل عمل می کند که قبل از شروع به فعالیت task مشخصات آن را خوانده و به آن زمان می دهد. در صورتی که task ای از قبل نداند که چه مقدار زمان برای اجرا نیاز دارد این سیستم جوابگو نخواهد بود.
اما سیستم زمان دهی پویا که بسیار سنگین تر و پیچیده تر می باشد در هر لحظه اجرای task ها از آن ها توسط massage گزارش تهیه می کند و از این که یک task خاص چه مقدار زمان برای ادامه کار خود لازم دارد مطلع می شود و توسط زیر الگوریتم های مربوط به خود shairing را انجام می دهد. اما هر task چه قسمت هایی دارد؟ ما برای دانستن عمل هماهنگ سازی باید با قسمت های مختلف یک task آشنا شویم
همزمانی و مناطق بحرانی
موثر واقع شدن یک هسته مرکزی بازدخولی نیاز به استفاده از همزمانی دارد: اگر یک مسیرکنترل هسته مرکزی در حالیکه روی یک ساختمان داده هسته مرکزی فعالیت می کند، متوقف شود، هیچ مسیرکنترل هسته مرکزی دیگری اجازه نخواهد داشت تا بر روی همان ساختمان داده فعالیت کند مگر آنکه به یک وضعیت ثابت و پایدار بازگردد. بعلاوه برخورد دومسیرکنترل می تواند منجر به تخریب اطلاعات ذخیره شده بشود. بعنوان مثال، چنین تصور کنیم که یک V متغیرجهانی شامل تعدادی از موارد (items) قابل استفاده بعضی اجزا سیستم است. اولین مسیرکنترل هسته مرکزی (A) متغیر را میخواند و تعیین می کند که فقط یک مورد ( آیتم) قابل استفاده وجود دارد. در این نقطه، مسیرکنترل هسته مرکزی دیگر (B) فعال شده و همان متغیر را می خواند که هنوز دارای ارزش 1 می باشد. بنابراین V , B را کاهش داده و شرع به استفاده از آیتم می کند. سپس A فعالیت رادوباره آغاز می کند زیرا تقریبا ارزش V محتوی 1ـ می شود و دو راه کنترل هسته مرکزی از یک آیتم با اثرات تخریبی پتانسیلی استفاده می کنند؛ می گوئیم که "شرایط مسابقه" موجود است.
بطورکلی، دسترسی امن به متغیر سراسری با استفاده از "عملیات اتمیک" فراهم میشود. در مثال قبل، اگر دومسیرکنترل متغیر را بخوانند و V را با یک عمل بدون تداخل و تنها کاهش دهند، تخریب داده، امکان پذیر نخواهد بود. با اینحال هسته های مرکزی شامل ساختمان داده های بسیاری هستند که نمی توانند با یک عمل تنها قابل دسترسی باشند. برای مثال، معمولا جابجائی عنصر کلید از یک لیست پیوندی تنها با یک عمل ممکن نیست، زیرا هسته مرکزی حداقل به دو نقطه دسترسی در آن واحد نیاز دارد. هربخشی از کد که باید توسط پردازش به پایان برسد، قبل از اینکه یک پردازش دیگر بتواند وارد شود ناحیه بحرانی است. این مشکلات نه تنها در میان مسیرهای کنترل هسته مرکزی بلکه در میان پردازشهائی که از داده های مشترکی استفاده می کنند نیز رخ میدهد. تکنیکهای هم زمانی متعددی شکل گرفته اند. بخش بعدی به بررسی چگونگی هم زمان کردن و راههای کنترل هسته مرکزی می پردازد.
هسته های مرکزی انحصاری
در جستجوی راه حل ساده ای برای حل مشکلات هم زمانی، اکثر هسته های مرکزی یونیکس های ابتدائی انحصاری هستند : وقتی پردازشی در وضعیت هسته مرکزی اجرا می شود، نمی تواند بطور اختیاری متوقف شده و یا با پردازش دیگری جایگزین شود . بنابراین در یک سیستم تک پردازشی تمام ساختمان داده های هسته مرکزی که توسط پاسخگوی وقفه (interrupts) و استثناءها(exception update) به روز نشده اند برای دسترسی به هسته مرکزی امن و مطمئن هستند. در واقع، یک پردازش در وضعیت هسته مرکزی می تواند بصورت اختیاری از CPU صرف نظر کند، اما در این مورد باید اطمنیان حاصل کند که تمامی ساختمان داده های قابل دسترسی قبلی را که می توانسته اند تغییر کنند را باید دوباره چک کند. انحصاری بودن در سیستمهای چند پردازنده ای بی تاثیر است زیرا دو مسیرکنترل هسته مرکزی که در CPU های متفاوت در حال اجرا هستند می توانند با هم به ساختمان داده یکسانی دسترسی پیدا کنند.
غیر فعال کردن وقفه ها
مکانیسم دیگر همزمانی در سیستمهای تک پردازشی عبارتست از غیرفعال کردن تمامی وقفه های سخت افزاری قبل از ورود به منطقه بحرانی و فعال کردن مجدد انها دقیقا بعد از ترک منطقه بحرانی . این مکانیسم با وجود سادگی از نقطه اپتیمال بسیار دور است. اگر منطقه بحران وسیع باشد، وقفه ها برای زمان نسبتا طولانی غیرفعال باقی می مانند و تمامی فعالیتهای سخت افزار را منجر به فریز می کنند. علاوه براین، در یک سیستم چند پردازنده ای این مکانیسم کارگر نیست . هیچ راهی برای اطیمنان از عدم دسترسی CPU دیگری، به ساختمان داده های مشابهی که در منطقه حفاظت شده بحرانی update شده اند، وجود ندارد.
الگوریتم STR کلی (تعمیم یافته)
| دسته بندی | ریاضی |
| بازدید ها | 15 |
| فرمت فایل | doc |
| حجم فایل | 176 کیلو بایت |
| تعداد صفحات فایل | 25 |
الگوریتم STR کلی (تعمیم یافته)
داده ها: پارامتر d مرتبه رگولاتور یعنی درجه R* ، و درجه S* را بدانیم. چند مجموعه ای روبتگر Ao* به جای چند جمله ای C* که نامعلوم است (تقریب C*)
چند جمله ایهای پایدار P* و Q*
سیگنالهای فیلتر شده زیر بایستی معرفی شوند:
گام 1 : تخمین ضرایب R* و S* بروش LS:
( C* : note)
گام 2 : سیگنال کنترل را از روی محاسبه می کنیم
تکرار گامهای فوق در هر پریود نمونه برداری
در صورت همگرایی تخمین : S* و R* گام بعدی با قبلی برابر است)
=
ویا:
فرم کلی در صورت عدم حذف همه صفرهای فرآیند
اتحاد (2) به شکل زیر نوشته می شود:
C*Q*=A*P*R'*+q-dB-*S* R'* از این رابطه بدست می آید.
و سیگنال کنترل می شود:
کنترل فید فوردوارد (پیشخور) – STR (دانستن دینامیک فرایند لازم است)کنترل پیشخور برای کاهش یا حذف اغتشاش معلوم بکار می رود. خود سیگنال فرمان می تواند برای STR ، یک اغتشاش معلوم فرض شود
مثالهایی از اغتشاش قابل اندازه گیری (معلوم): درجه حرارت و غلظت در فرایندهای شیمیایی درجه حرارت خارجی در کنترل آب و هوا – ضخامت کاغذ در سیستمهای milling machinc
مدل فرضی :
چند جمله ایهای ، S* و T* بایستی تخمین زده شوند و آنگاه:
مثال : تاثیر فیلتر کردن (همان فرایند مثالهای قبل را در نظر بگیرید) {رفتار الگوریتم تصمیم یافته توضیح داده می شود}
Y(t)+ay(t-1)=bu(t-1)+e(t)+ce(t-1)
مقادیر واقعی پارامتر : a = -0.9 ,b=3 , c=-0.3
فیلترها را بصورت زیر در نظر بگیرید
اتحاد: C * Q*=A*P*R'*+q-dB-*S*
در این مثال : از مدل فرآیند داریم
اتحاد
قانون کنترل:
R*P*=R'*P*B+*
فیلتر باید پیش فاز باشد که در نتیجه سیستم حلقه بسته بصورت پایین گذر فیلتر خواهد شد.
سئوال P1 و q1 را چگونه انتخاب کنیم؟
جواب: یک روش انتخاب بررسی اثر آنها بر روی واریانس y و u است. فرض کنید e(t) دارای واریانس 1 است.
حالت (a): no filtering P"q1=0
این حالت همان وضعیت کنترل حداقل واریانس است بدون هیچگونه فیلتر کردن .
حالت q1=-0.3 p1=0(b)
سه مبدا
الگوریتم STR کلی( تعمیم یافته):
داده ها: پارامترd، مرتبه رگولاتور یعنی درجه و درجه را بدانیم. چند جمله ای رویتگر ( بجای چند جمله ای که نامعلق است
( تقریب ) و چند جمله ای پایدار و سیگنالهای فیلترشده زیر بایستی معرفی شوند:
و
گام 1: تخمین ضرایب و به روش LS:
) Note: )
گام 2: سیگنال کنترل را از روی محاسبه می کنیم.
تکرار گامهای فوق در هر پریود نمونه برداری:
( گام بعدی با قبلی برابر است)
در صورت همگرایی تخمین:
و یا
فرم کلی در صورت عدم حذف همه صفرهای فرآیند اتحاد(2) به شکل زیر نوشته می شود: از این رابطه بدست می آید:
و سیگنال کنتر ل می شود ( مثال در پائین آمده نحوه انتخاب P,Q فیلتر ) کنترل فیدفور وارد( پیشخور)STR-( دانستن دینامیک فرآیند لازم است)
کنترل پیشخوری برای کاهش یا حذف اغتشاش معلوم بکار می رود. خود سیگنال فرمان می تواند برای STR ، یک اغتشاش معلوم فرض شود.
( مثالهایی از اغتشاش قابل اندازه گیری(معلوم): در جه حرارت و غلظت در فرآیندهای شیمیایی در جه حرارت خارجی در کنترل آب و هوا- مشخصات کاغذ در سیستمهایmilling machine ).
مدل فرضی:
اغتشاش معلوم
چند جمله ایهای و و بایستی تخمین زده شود و آنگاه:
مثال: تأثیر فیلتر کردن( همان فرآیندهای مثالهای قبل را در نظر بگیرید) (رفتار الگوریتم تعمیم یافته توضیح داده می شود.)
مقادیر پارامتر: ، ،
بی نظمی (chotic)
| دسته بندی | ریاضی |
| بازدید ها | 34 |
| فرمت فایل | doc |
| حجم فایل | 241 کیلو بایت |
| تعداد صفحات فایل | 13 |
بی نظمی (chotic)
بی نظمی را با اتفاقی بودن اشتباه نگیرید :
ویژگی های موضوعات اتفاقی :
1-تجدیدنشدنی و غیرقابل تولید دوباره
2-غیرقابل پیشگویی
ویژگیهای سیستم های بی نظم :
1-بی‌اختیار بودن (مثل حالتهایی که به همان حالتهای نهایی BUT منجر می شود و حالت نهایی برای تغییرات کوچک که با حالت نخستین بسیار متفاوت است)
2-بسیار مشکل یا غیرممکن بودن برای پیشگویی کردن
مطالعه سیستم های بی نظم اکنون یکی از رشته های موردتوجه و محبوب فیزیک است که در این زمینه تا قبل از اینکه کامپیوتر بتواند پاسخگوی مشکلات باشد اطلاعات کمی وجود داشت .
بی نظمی در خیلی از سیستم های فیزیکی دیده می شود برای مثال :
1-دینامیک سیالات (هواشناسی)
2-بعضی واکنشهای شیمیایی
3-لیزرها
4-ماشینهایی که می تواند با سرعت بالا ذره های ابتدایی را بسازد (شتابدهنده ها)
شرایط لازم و ضروری برای سیستم های بی نظم :
1-این سیستم ها دارای 3 متغیر مستقل دینامیکی اند
2-معادلات حرکت یا مسیر حرکت که غیرخطی می باشند
از معادلات یک آونگ که دارای حرکت میرا می باشد برای شرح دادن و ثابت کردن طرحهای بی نظمی استفاده می شود که دارای معادلات حرکت به صورت
می باشد . ما بجای این از یک شکل بدون بعد با معادله
استفاده می کنیم .
متغیرهای دینامیکی در معادله بالا عبارتند از t و و و دوره غیرطولی .
ما قبلاً دیدیم که آونگ فقط برای نمادهای q و و بی نظم است که از این موضوع در مثالهای زیر استفاده می کنیم .
برای مشاهده آغاز بی نظمی (وقتی که کاهش یافته) به مسیر حرکت سیستم در مرحله ای از فضا و فاصله گرفتن ذرات از هم توجه می کنیم که یکدفعه به صورت زودگذر محو می شوند . توجه کنید دوره دو برابر یا مضاعف بدست آمده قبل از آغاز بی نظمی ها است .
حالت منحنی های فضایی که دیدیم دومین مرحله از تمام سه مرحله‌ی حالتهای فضایی است که به طور کامل آونگ را توصیف می کند . این طرح ها جزئیات پیچیده سطح بی نظم آونگ را پنهان می کنند .
قسمت PoinCare قسمتی از سومین مرحله فضایی در یک قاعده ثابت است . این ها آنالوگهایی برای دیدن پیشرفت حالت فضایی حالت آونگ می باشد که یک قسمتی از یک دوره با نیروی محرک می باشد . تناوب مسیر حرکت در یک مرحله انجام می شود و تناوب مضاعف شدن نیرو و نیز در 2 مرحله انجام می شود .
Attractors : سطوحی که آونگ در حالت حرکت در فضا از آن پیروی می کند و بعد از مسیر زودگذر ضعیف می شود .
یک Attractors در یک آونگ ثابت (بدون بعد حرکت) دارای یک نکته خاصی می‌باشد که می باشد . یک Attractors تناوب آونگ یک خط منحنی می‌باشد که در اولین مرحله و سومین مرحله در فضای حرکت می باشد)
Attractor بی نظم گاهی Attractor قوی نامیده می شود که در این حالت اندازه ها بین 2 تا 3 می باشد ( ) .
اندازه و گنجایش یک مربع و خط
به عنوان مثال دستگاه Cantor تشکیل شده توسط پردازش interactive اندازه کسری یک Attractor بی نظم به دلیل حساسیت زیاد آن از حالتهای نخستین می باشد .
توانها Lyapunov اندازه گیری هستند از میزان متوسط واگرایی nigh bouring مسیر گلوله در یک Attractor بدست می آید .
ایده آل های خطی به ترتیب کوهن-مکوالی
| دسته بندی | ریاضی |
| بازدید ها | 45 |
| فرمت فایل | doc |
| حجم فایل | 111 کیلو بایت |
| تعداد صفحات فایل | 22 |
ایده آل های خطی به ترتیب کوهن-مکوالی
چکیده- G را یک نمودار غیرمستقیم ساده n راسی در نظر بگیرید و بگذارید برایده آل خطی مرتبطش دلالت کند. مانشان می دهیم که تمام نمودارهای و تری G ، به ترتیب کوهن- مکوالی هستند ، دلیل ما بر پایه نشان دادن این است که دوگانه الکساندر I(G) ،خطی و ازمولفه است.
نتیجه ما فرضیه فریدی را که می گوید ایده آل درخت ساده شده به ترتیب کوهن- مکوالی، هرزوگ، هیبی، می باشد، وفرضیه ژنگ که می گوید یک نمودار وتری کوهن-مکوالی است اگر و تنها اگر ایده آل خطی اش در هم ریخته نباشد، را تکمیل می کند. ما همچنین ویژگی های دایره های مرتب کوهن- مکوالی را بیان می کنیم و نمونه‌هایی از گراف های مرتب غیروتری کوهن- مکوالی را هم ارائه می کنیم.
1-مقدمه
G را یک گراف ساده n راسی در نظر بگیرید پس G هیچ حلقه یا خطوط چندگانه ای پهن دو راس ندارد.) رئوس ومجموعه های خطی G توسط EG,VG را به ترتیب نشان دهید. ما ایده آل تک جمله ای غیر مربع چهارگانه با K که یک میزان است و جایی که را به G ارتباط می دهیم.ایده ال ایده آل خطی Gنامیده می شود.
توجه اولیه این مقاله ایده آل های خطی گراف های وتری است. یک گراف G وتری است اگر هر دایره طول یک وتر داشته باشد. اینجا اگر ،خطوط یک دایره طول n باشند، ما می گوییم که دایره وری یک وتر دارد اگر دو راس xj,xi در دایره به نحوی وجود داشته باشند که یک خط برای G باشند اما خطی در دایره نباشد.
ما می گوییم که یگ گراف G کوهن –مکوالی است اگر کوهن-مکوالی باشد. چنانکه هرزوگ، هیبی و ژنگ اشاره می کنند، طبقه بندی تمام گراف های کوهن-مکوالی شاید اکنون قابل کشیدن نباشند، این مسئله به سختی طبقه بندی کردن تمام مجموعه های ساده شده کوهن-مکوالی است.]9[.البته هرزوگ، هیبی و ژنگ در ]9[ ثابت کردند که وقتی G یک گراف وتری باشد،پس G در هر میدانی کوهن-مکوالی است اگر وفقط اگر به هم نریخته باشد.
ویژگی کوهن –مکوالی به ترتیب بودن، که شرایطی است ضعیف تر از کوهن-مکوالی بودن، توسط استنلی ]14[ در ارتباط با تئوری قابلیت جدا شدن غیرخالص معرفی شد.
تعریف 1-1- را در نظر بگیرید. یک M معیار B درجه دار کوهن –مکوالی به ترتیب نامیده می شود اگر یک تصفیه معین از معیارهای R درجه بندی وجود داشته باشد.
به نحوی که کوهن –مکوالی باشد، و ابعاد کرول خارج قسمت در حال افزایش باشند:
ما میگوییم یک گراف G کوهن-مکوالی به ترتیب است و در K اگر کوهن-مکوالی به ترتیب باشد. ما می توانیم به نتیجه هرزوگ، هیبی و ژنگ بر سیم البته با استفاده از این تضعیف شرایط کوهن-مکوالی. نتیجه اصلی ما فرضیه زیر است (که مستقل از خاصیت (K) است.
فرضیه 2-1 فرضیه 2-3.تمام گراف های وتری کوهن-مکوالی به ترتیب هستند.
بنابراین حتی گراف های وتری که ایده آل های خطی نشان در هم نریخته نیستند نیز هنوز یک ویژگی جبری را دارا هستند.فرضیه 2-3 همچنین حالت یک بعدی کار فردی در توده های ساده شده ]3[ را نیز عمومیت می بخشد.
مقاله ما به صورت زیر سازمان می یابد. در قسمت بعدی ، ما نتایجی از این ادبیات درباره دوگانگی الکساندر ودرباره گراف های وتری جمع می کنیم. در بخش 3،فرضیه 2.3 را ثابت می کنیم.
ما برخی از گراف های غیروتری در قسمت 4 را که دایره های کوهن-مکوالی را به ترتیب طبقه بندی می کنند بررسی می کنیم و در مورد برخی ازویژگی های گراف‌های شامل دایره های –n برای n>3 تحقیق می کنیم.
همچنین شرایط کافی را برای گرافی که نمی تواند کوهن-مکوالی به ترتیب باشد ،ارائه می کنیم.
2-اجزا مورد نیاز
درطول این مقاله، G بر یک گراف ساده روی رئوس n با مجموعه نقطه ای VG ومجموعه خطی EG دلالت می کند. ایده آل خطی ،جایی که را به G مربوط می سازیم.
گراف کامل در رئوس n که بر Kn دلالت شده است،گرافی است با مجموعه خطی ، یعنی گراف این ویژگی را دارد که خطی بین هر جفت رئوس وجود دارد. اگر x نقطه ای در G باشد باید بنویسیم N(x) که بر همسایه‌های x دلالت کند،یعنی آن رئوسی که خطی را با x شریکند. ما ابتدا باید به حالتی توجه کنیم که G یک گرافی وتری است.گراف های وتری ویژگی زیر را دارند:
لم 21- G,[6,7,12,15] را یک گراف وتری در نظر بگیرید، x را یک زیر نمودار کامل از G در نظر بگیرید.اگر ،پس نقطه ای به نام وجود داردکه زیرگراف به وجود آمده توسط مجموعه همسایه مربوط به x، یک گراف کامل باشد. این امر همچنین زیر نمودار به وجود آمده در را وادار می کند که یک زیر گراف کامل باشد.
یک پوشش راس گراف G یک زیر مجموعه از VG است به نحوی که هر خط G حداقل به یک راس A برخوردار داشته باشد. توجه کنیدکه ما هیچ وقت به داشتن یک راس مجزا در پوشش راس نیاز نداریم.
مثلا ، اگر ما گرافی در سه راس داشته باشیم و تنها خط موجود باشد، پس هر دو پوشش های راس هستند. پوشش های راس یک گراف G به دو گانه الکساندر مربوطند.
تعریف 2-2- I را یک ایده آل تک جمله ای غیرمربع در نظر بگیرید. دوگانه الکساندر غیرمربع ایده آل
است.
پس نتیجه ساده ای گرفته می شود:
لم 3-2- G را یک گراف ساده با ایده آل خطی در نظر بگیرید.پس
یک پوشش راس برای G است.
یک تجزیه درجه بندی شده آزاد حداقل به هر ایده آل همگون I از R مرتبط است.
که در آن R(j) بر معیار R به دست آمده از تغییر درجات R توسط j دلالت می کند.
برنامه خطی اعداد صحیح دوتایی (BILP)
| دسته بندی | ریاضی |
| بازدید ها | 43 |
| فرمت فایل | doc |
| حجم فایل | 77 کیلو بایت |
| تعداد صفحات فایل | 16 |
برنامه خطی اعداد صحیح دوتایی (BILP)
یک مورد خاص ILP زمانی اتفاق می افتد که همه متغیرهای نمونه بتوانند فقط یک یا دو رقم 0 یا 1 را قبول کنند . چنین متغیرهایی متغیرهای دوتایی نامیده می شوند ، و نمونه ها ، برنامه ها ، برنامه های 1-0 یا برنامه های خطی اعداد صحیح دو تایی (BILPS) نامیده می شوند . هر حالتی که بتواند با بله / نه ، (خوب / بد) یا 0/1 نمونه‌برداری شود به عنوان متغیردوتایی شناخته می شود . در زیر نمونه های زیادی از متغیرهای دوتایی ذکر شده که ممکن است در طرح تجاری یافت شود :
، اگر یک طرح مراقبت سلامتی جدید پذیرفته شود .
، اگر پذیرفته نشود .
، اگر مجلس خط B برای تولید نمونه های کولس به کار رود .
، اگر به کار نرود .
، اگر یک ایستگاه پلیس جدید در پایین شهر شناخته شود .
، اگر ساخته نشود .
، اگر تولید یک اجناس به عنوان نوع «خوب» قابل قبول باشد .
، اگر به این صورت نباشد .
، اگر بزرگراه 50 ، در سفر بین ددو شهر به کار رود .
، اگر به این صورت نباشد .
، اگر محدودیت خاصی باشد .
، اگر آن محدودیت نیاز نباشد .
، اگر یک گیاه جدید در گاری هندوستان پرورش یابد .
، اگر به این صورت نباشد .
، اگر سومین انتقال به کار رود .
، اگر به این صورت نباشد .
همانطور که این مثالها نشان می دهند ، خیلی ساده است که متغیر دوتایی را به عنوان یک تحقیق در نظر می گیریم یعنی این که این تحقیق قبول شده ، یعنی این تحقیق قبول نشده است . با تفاسیر داده شده در مورد متغیرها ، اکنون ما چند نوع اجبار را مورد آزمایش قرار می دهیم ، که تحت بررسی شورای شهر در «سالم اورگون» می باشد .
شورای شهر سالم :
در آخرین جلسه مالیاتی سال ، شورای شهر «سالم» ، طرح هایی مختص سرمایه باقی مانده در بودجه یک سال ارائه کرده است . نه تحقیق تحت بررسی کامل یک سال قرار گرفته اند . برای آمارگیری حمایت مردم از تحقیق های مختلف ، پرسشنامه هایی به طور تصادفی به رای دهندگان در کل شهر فرستاده می شود و از آنها خواسته می شود که تحقیق ها را به ترتیب از خوب به بد طبقه بندی کنند . ( بالاترین تقدم ، پایین ترین تقدم ) شورا امتیازها را بر اساس 500 پاسخی که دریافت می کند تطبیق می دهد .با این وجود هیئت شورا مکرراً متذکر می شود که تنها به نتایج پرسش‌نامه‌ها اکتفا نمی کند . آنها در حالیکه تخصیص های بودجه را تهیه می کنند ، مسائل دیگر را هم محاسبه می کنند . برای تخمین هزینه هر تحقیق ، میزان تخمینی ثابت هر شغل جدید باید فراهم شده ، و تطبیق امتیاز پرسشنامه ها در جدول 3-5 خلاصه شده است.
هدف هیئت شورا بالا بردن حمایت کل رای دهندگان دریافت شده (داشتن پرسشنامه به عنوان مدرک) و دادن محدودیت ها و مطالب قابل توجه دیگر هیئت شورا می باشد که به شرح زیر است :
• 900.000 دلار باقیمانده در صندوق
• نیازهای هیئت شورا برای ایجاد حداقل 10 شغل جدید .
• با وجودیکه جلوگیری از جنایت ، برای مردم از اهمیت بیشتری برخوردار است ، هیئت شورا برای بخش های دیگر خدمات مردم باید به خوبی عمل کند . بنابراین امید می رود که در بیشتر تحقیق های مربوط پلیس سرمایه گذاری شود .
• هیئت شورا مایل است که تعداد وسایل نقلیه اضطراری شهر را افزایش دهد ولی اکنون با توجه به مطالب دیگر ، فقط یکی از دو تحقیق در مورد وسایل نقلیه اضطراری باید سرمایه گذاری کند . پس دو ماشین پلیس و دو ماشین آتش نشانی هم باید خریداری شود .
• هیئت شورا معتقد است در صورتیکه تصمیم بگیرد نزولهای سرمایه را از برنامه‌های ورزشی در مدارس برگرداند ، نزولهای سرمایه از برنامه های موسیقی هم باید برگردانده شوند و برعکس .
• با عقد قرارداد ، هر سرمایه اضافی مدرسه قبل از اینکه تحقیقات جدید مدرسه انجام شود باید به نزولهای قبلی برگردانده شود . بنابراین هم سرمایه های ورزشی و هم سرمایه های موسیقی قبل از اینکه تجهیزات جدید کامپیوتر خریداری شود ، باید برگردانده شوند . هر چند برگرداندن سرمایه های ورزشی و موسیقی ، دلالت بر این ندارد که کامپیوترهای جدید خریداری خواهند شد . هیئت شو.را هم مایل است به مردم مسائلی از لحاظ مالی نسبت به آنها مسئول است را ارائه دهد . مثل مسائل مربوط به سلامتی ، علائق در رشد مشاغل و نیازهای تحصیلی شهر «سالم».
برای نشان دادن مسئولیت پذیری مالی :
• هیئت شورا مایل است حداقل 250.000 دلار به بودجه سال بعدی انتقال دهد . بنابراین برای بقیه سال حداکثر اینقدر باقی می ماند :
• 650.000$ = 250.000$ - 900.000$ .
برای نشان دادن ارتباط بین سلامت عموم :
• هیئت شورا مایل است حداقل در سه تحقیق آتش سوزی و پلیسی سرمایه گذاری کند .
• آنها امیدوارند هفت افسر پلیس جدید اضافه کنند .
برای نشان دادن علائق در رشد مشاغل :
• هیئت شورا مایل است حداقل 15 شغل جدید تمام وقت فراهم آورد .
برای اثبات حساسیت مطالب تحصیلی :
• هیئت شورا مایل است که در هر سه تحقیق تحصیلی سرمایه گذاری کند .
اعضای هیئت شورا تشخیص می دهند که سرمایه کافی برای تحقق این پنج هدف موجود نمی باشد ، ولی آنها احساس می کند که اگر حداقل سه تحقیق از پنج تحقیق قابل قبول باشد ، رای دهندگان با نظر مساعدی به آن توجه می کنند .
راه حل
هیئت شورای شهر سالم باید تحقیق هایی را برای سرمایه گذاری انتخاب کنند . هدفش تشخیص ارتباطات و محدودیت هایی است که قبلاً ذکر شده است . یک سری تحقیق هایی که حمایت عموم مردم را از طریق پرسش نامه های داده شده ، بالا می‌برند .