نتایج جستجو برای: مسئله ارضاپذیری بولی
تعداد نتایج: 29370 فیلتر نتایج به سال:
megیک روش تصویر برداری عملکردی از مغز می باشد. در این روش میدان مغناطیسی اطراف سر، که به واسطه ی جریانهای تولید شده در اثر انتقال پیام های عصبی مغز تولید شده اند، اندازه گرفته می شود سپس با حل معکوس معادلات ماکسول حاکم بر مسئله، منطقه ی فعال مغز که مولد میدان اندازه گیری شده است، تشخیص داده می شود. در این پژوهش پس از معرفی ساختار و عملکرد سلولهای عصبی مغز، به بیان روابط الکترومغناطیسی حاکم بر ج...
امروزه ورود به حوزه مدیریت کیفیت برای سازمانها از اهمیت ویژهای برخوردار است. مدلهای تعالی سازمانی ابزاری است که را در این مسیر رهنمون میکند. بدین منظور، ازجمله شبکه بانکی کشور، رویکردهای گوناگونی سازمان خود راستای تحقق ارزشهای مدلهای استقرار میکنند؛ اما محدودیت منابع موجود قبیل هزینه، نیروی انسانی، فرهنگ و غیره، تمامی رویکردها میسر نمیسازد؛ ازاینرو مسئله اصلی کدام بیشترین تأثیر ارت...
کاهش هزینههای مرتبط با موجودی از مهمترین استراتژیهای هر بنگاه اقتصادی برای بقا و سوددهی در شرایط رقابتی امروزی است. این راستا مدلهای کلاسیک هزینهها مطرح شدهاند؛ اما کنار مزایای فراوان دارای فرضیههای محدودکنندهای هستند. پژوهش، یک زنجیره سهسطحی لجستیکی شامل تولیدکننده، توزیعکننده خردهفروش نظر گرفته میشود مسئله بهینهسازی مدل توزیعکننده موردبررسی قرار میگیرد. موردنظر، توزیع...
در این پایان نامه توپوس f مجموعه ها را که به عنوان توپوس فرانکیل مستوسکی شناخته شده است معرفی خواهیم کرد ونشان می دهیم که رسته جبرهای بولی در این توپوس به اندازه کافی شئ انژکتیو دارد. سپس اصل خوش ترتیبی در یک توپوس مقدماتی و برخی از شکل های معادل اصل انتخاب در یک توپوس خوش نقطه را مطالعه خواهیم کرد و روابط بین اصل خوش ترتیبی و این شکل ها را نشان می دهیم.
زبان ریاضی می تواند رفتار یک سیستم فیزیکی را در قالب نظریه هایی مانند مکانیک نیوتن یا مکانیک کوانتوم توصیف کند، عبارات ریاضی مربوط به نظریه، گزاره هایی حامل اطلاعاتی راجع به ماهیات و سیستمهای مرتبط با آن نظریه هستند. این عبارات ساختاری جبریرا نشان می دهند و متناظر با روابط جبری بین عبارات ریاضی، روابط منطقی بین گزاره ها وجود دارد، یعنی بین گزاره هایی که با توجه به نظریه، سیستمی را توصیف م...
در این پایان نامه، سه مسئله نزدیکترین رشته، دورترین رشته، و دور از بیشترین رشته مورد بررسی قرار می گیرند. این مسائل، در گروه مسائل رشته مورد توافق در حوزه بیوانفورماتیک دسته بندی می شوند. کاربرد اصلی این مسائل در بیوانفورماتیک در تولید دارو، به ویژه داروهای آنتی بیوتیک و ضد حساسیت، یافتن نقطه اثر داروها، و یافتن کاوشگر برای طراحی داروهای جدید می باشد. مسئله نزدیکترین رشته دارای کاربردهایی در نظ...
چکیده ندارد.
چکیده ندارد.
یکی از مهم ترین و شناخته شده ترین الگوریتم رمزنگاری معاصر، استاندارد رمزگذاری پیشرفته، موسوم به الگوریتم رمزنگاری aes می باشد. که در سال 2000 از سوی موسسه ملی استاندارد و فن آوری ایالات متحده (nist) به عنوان، الگوریتم استاندارد رمز داده ها، مورد تائید قرار گرفته است. از سال 2000 تاکنون بحث پیاده سازی موثر نرم افزاری و سخت افزاری این الگوریتم، مورد توجه محققین و صاحب نظران این رشته قرار گرفته ا...
در این پایان نامه مدل ریاضی رشد کپسولی بافت در اطراف ایمپلنت های سخت، همگن و دیسک شکل بررسی می شود. راه حلی که بر پایه یک روش تکراری منظم برای تعیین پارامترهای مدل از اندازه گیری غلظت بافت کپسول می باشد، مورد بررسی قرار می گیرد و در نهایت نتایج عددی بدست آمده با داده های شبیه سازی شده ارائه می شود که با فرض پارامترهای معلوم به تعیین غلظت بافت کپسول در هر نقطه از بافت و در هر زمان پرداختیم. در...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید