نتایج جستجو برای: مسئله ارضاپذیری بولی
تعداد نتایج: 29370 فیلتر نتایج به سال:
در این پایان نامه، سعی بر معرفی و شناخت انواع فیلترها، به منظور شناخت ابعاد مختلف جبرهای bl و دسته بندی آن ها می باشد. پس از ارائه مفاهیم مقدماتی و تعاریف پیش نیاز، نخست فیلترهای استلزامی و استلزامی مثبت را معرفی و روابط بین این فیلترها با جبرهای گودل و بولی را بررسی می کنیم و ثابت می کنیم که فیلتر استلزامی مثبت و فیلتر بولی در جبرهایbl با یکدیگر معادل اند. سپس فیلترهای جالب و نرمال را مطرح و ...
مساله ی زمان بندی پروژه با منابع محدود چندحالته تعمیمی از مساله ی زمان بندی پروژه با منابع محدود تک حالته است و یک مساله ی بهینه سازی محسوب می شود. هدف از حل آن، انتخاب دقیقاً یک حالت اجرایی برای هر فعالیت به منظور زمان بندی پروژه با حداقل زمان اجرا است به طوری که محدودیت های پیش نیازی و منابع تجدیدپذیر و تجدیدناپذیر، شدنی باشند. در ادبیات این موضوع روش های دقیق و (فرا)ابتکاری برای حل این مساله ...
در این پایان نامه بر آنیم تا رابطه میان مجموعه های ناهموار و مشبکه های مانده را مورد مطالعه قرار دهیم. برای این منظور ابتدا به بیان تعاریف و مفاهیمی مانند رابطه، ساختار جبری، مشبکه های مانده، $mv$-جبرها و مجموعه های ناهموار پرداخته و برخی از خواص آن ها را ارائه می دهیم. در فصل دوم ارتباط میان مجموعه های ناهموار و $mv$-جبرها را مطالعه می کنیم. در فصل سوم به مطالعه خواص و ارتباط مجموعه ها...
چکیده ندارد.
در این پایان نامه طراحی و شبیه سازی گیت های منطقی بولی صوتی بر بستر بلورهای فونونی با روش چند موجبری ارائه شده است. برای طراحی این گیت ها از بسترهای فونونی سیلیکنی جهت مجتمع سازی با سایر ادوات اپتوالکترونیکی که یکی از مزایای این طرح نیز می باشد استفاده شده است. در ابتدا به مطالعه و بررسی انواع بلور فونونی و حوزه های مختلف فرکانس کاری و پارامترهای موثر بر رفتار آنها می پردازیم. پس از آن انواع رو...
ارتباط خداوند با انسان (و لوازم آن) همواره از مباحث مناقشهانگیز در میان الهیدانان بوده است. مهمترین شعب این بحث، مسئلة «تغییرپذیری» پیناک (از بنیانگذاران الهیات گشوده) معتقد است آنجا که ـ بنا بر کتاب مقدس جهان و همچنین تدبیر متغیر منطقاً نیازمند مدبری بتواند شرایط مناسبی داشته باشد، ناگزیر باید موجودی تغییرپذیر باشد. مسئله کلام امامیه به گونهای دیگر تبیین شده دیدگاه متکلمان اگرچه هر لحظه مخ...
با تحلیل 60 پرسشنامه جمع آوری شده مشخص گردید که مهارت مقدماتی دانشجویان مورد بررسی در زمینه وب و ابزارهای جستجو، بسیار پایین تر از حد متوسط (6/37 درصد) است. بیش تر جامعه مورد پژوهش در ارزیابی کلی، خود را «آزموده» (یعنی کسی که در یافتن اطلاعات مورد نیاز موفق است ولی در بیش تر مواقع به کمک نیاز دارد) معرفی کرده اند. از میان انواع موتورهای جستجو، دانشجویان با «گوگل» و راهنمای موضوعی «یاهو»، و از م...
چکیده ندارد.
انبارداری متقاطع یک سیستم توزیع است که در آن کالاها با هدف آمادهسازی ظرفیت کامل ماشینهای حمل و کاهش هزینه نگهداری موجودی از تأمینکنندگان به مقاصد تقاضا جابهجا میشوند. مسئله زمانبندی اخیراً توسط بسیاری پژوهشگران موردمطالعه قرار گرفته، اما عمده این مطالعات موارد شرایط قطعی بوده است؛ درحالیکه عدمقطعیتها فرآیند وجود دارد. پژوهش حاضر، مرتبط عملیات انبار مرکز لجستیک (میدان مرکزی میوه تر...
با توجه به تغییرات گسترده، مداوم و روزافزون در بازارهای جهانی تقاضای مشتریان، بهکارگیری ابزارهایی قدرتمند قابلاطمینان برای پشتیبانی از تصمیمگیرندگان، اجتنابناپذیر است. این منظور پژوهش حاضر، مسئله برنامهریزی تولید شرایط احتمالی یک سیستم تولیدی هیبرید MTS/MTO بررسی شده رویکرد، مدل ارائهشده را بهطور کامل MTO یا MTS نیز سازگار کرده بهطورمعمول بازه میانمدت صورت گرفته است تصمیمات اخذشده هر م...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید