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

در این پایان نامه، چهار نوع مدل برنامه ریزی پویایی استوکاستیک (sdp) و همچنین برنامه ریزی پویای قطعی (dp) در بهینه سازی بهره برداری از س مخزنی چند منظوره دز ارائه و مقایسه شده اند. چهار نوع مدل برنامه ریزی پویای استوکاستیک از نظر نوع متغیر حالت جریان ورودی و به کار بردن احتمال انتقالی و یا احتمال غیر شرطی با هم تفاوت دارند. برای بررسی سیاستهاهینه به دست آمده از مدلهای مختلف، ایک مدشبه ساز استفاد...

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

سیگنال های ارسال شده از ماهواره های گالیله و جی پی اس به سمت زمین شامل 3 مولفه؛ موج حامل، سیگنال پیام و کدفاصله یاب است. در این پژوهش با مطالعه دقیق این 3 مولفه، سیگنال فرکانس میانی گالیله و جی پی اس در باند l1 در محیط matlab شبیه سازی می شود. داده اولیه مورد نیاز سیگنال برای شبیه سازی داده آلماناک و افمریس است. از آنجایی که سامانه گالیله هنوز عملیاتی نشده است، داده افمریس مورد نیاز با استفاده ...

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

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

چکیده ندارد.

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

در تحقیق حاضر طراحی، ساخت و واسنجی یک حس کنندۀ نیرو-گشتاور شش درجۀ آزادی برای اندازه گیری نیروهای وارد بر ادوات خاک ورزی در سه جهت عمود برهم تا محدودۀ حداکثر 5 کیلو نیوتن در جهت اندازه­گیری مقاومت کششی (y) و حداکثر 5/2 کیلو نیوتن در راستای عمود بر جهت حرکت (z) و در راستای عمود بر سطح زمین (x) و همچنین گشتاورهای ایجاد شده حول محورهای مختصات تا محدوده حداکثر 5 کیلونیوتن متر حول محور z و 5/2 کیلو ...

در تحقیق حاضر طراحی، ساخت و واسنجی یک حس کنندۀ نیرو-گشتاور شش درجۀ آزادی برای اندازه گیری نیروهای وارد بر ادوات خاک ورزی در سه جهت عمود برهم تا محدودۀ حداکثر 5 کیلو نیوتن در جهت اندازه­گیری مقاومت کششی (y) و حداکثر 5/2 کیلو نیوتن در راستای عمود بر جهت حرکت (z) و در راستای عمود بر سطح زمین (x) و همچنین گشتاورهای ایجاد شده حول محورهای مختصات تا محدودة حداکثر 5 کیلونیوتن متر حول محور z و 5/2 کیلو ...