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

هدف از این پژوهش بررسی ارتباط بین اختلاف قیمت پیشنهادی خرید و فروش سهام و کیفیت حسابرسی مستقل در بازار سرمایه ایران است. جهت نیل به این هدف، پژوهش حاضر با آزمون دو فرضیه که شامل مؤسسات بزرگ حسابرسی و تعداد سال های متوالی حسابرسی و با انتخاب 108 شرکت از بین شرکت های پذیرفته شده در بورس اوراق بهادار تهران برای یک دوره 4 ساله (1384 تا 1387) انتخاب شده بودند، انجام شده است. روش آزمون فرضیه ها در ای...

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

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

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

مسئله ی برآورد دنباله ای بیزی عبارت است از جستجوی یک روش دنباله ای مطلوب به طوری که شامل یک زمان توقف بهینه و یک برآورد بهینه باشد.

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

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

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