نتایج جستجو برای: مسئله ارضاپذیری بولی

تعداد نتایج: 29370  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه 1391

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده ریاضی 1393

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بجنورد - دانشکده ریاضی 1393

در این پایان نامه بر آنیم تا رابطه میان مجموعه های ناهموار و مشبکه های مانده را مورد مطالعه قرار دهیم. برای این منظور ابتدا به بیان تعاریف و مفاهیمی مانند رابطه، ساختار جبری، مشبکه های مانده، ‎$mv$-‎جبرها و مجموعه های ناهموار پرداخته و برخی از خواص آن ها را ارائه می دهیم. ‎ در فصل دوم ارتباط میان مجموعه های ناهموار و ‎$mv$-‎جبرها را مطالعه می کنیم. در فصل سوم به مطالعه خواص و ارتباط مجموعه ها...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده علوم پایه 1387

چکیده ندارد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده برق و کامپیوتر 1392

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

Journal: : 2023

ارتباط خداوند با انسان (و لوازم آن) همواره از مباحث مناقشه‌انگیز در میان الهی‌دانان بوده است. مهم‌ترین شعب این بحث، مسئلة «تغییرپذیری» پیناک (از بنیان‌گذاران الهیات گشوده) معتقد است آنجا که ـ بنا بر کتاب مقدس جهان و همچنین تدبیر متغیر منطقاً نیازمند مدبری بتواند شرایط مناسبی داشته باشد، ناگزیر باید موجودی تغییرپذیر باشد. مسئله کلام امامیه به گونه‌ای دیگر تبیین شده دیدگاه متکلمان اگرچه هر لحظه مخ...

ژورنال: :پژوهشنامه پردازش و مدیریت اطلاعات 0
عباس اسلامی abbas eslami حمید کشاورز hamid keshavarz

با تحلیل 60 پرسشنامه جمع آوری شده مشخص گردید که مهارت مقدماتی دانشجویان مورد بررسی در زمینه وب و ابزارهای جستجو، بسیار پایین تر از حد متوسط (6/37 درصد) است. بیش تر جامعه مورد پژوهش در ارزیابی کلی، خود را «آزموده» (یعنی کسی که در یافتن اطلاعات مورد نیاز موفق است ولی در بیش تر مواقع به کمک نیاز دارد) معرفی کرده اند. از میان انواع موتورهای جستجو، دانشجویان با «گوگل» و راهنمای موضوعی «یاهو»، و از م...

پایان نامه :وزارت بهداشت، درمان و آموزش پزشکی - دانشگاه علوم پزشکی و خدمات بهداشتی درمانی تهران 1360

چکیده ندارد.

Journal: : 2022

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

Journal: : 2022

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید