حامی فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

حامی فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

دانلود مقاله ISI معماری و نرم افزار طراحی برای یک ربات سرویس در-مراقبت از سالمندان سناریو

اختصاصی از حامی فایل دانلود مقاله ISI معماری و نرم افزار طراحی برای یک ربات سرویس در-مراقبت از سالمندان سناریو دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :معماری و نرم افزار طراحی برای یک ربات سرویس
در-مراقبت از سالمندان سناریو

موضوع انگلیسی :Architecture and Software Design for a Service Robot
in an Elderly-Care Scenario

تعداد صفحه :9

فرمت فایل :PDF

سال انتشار :2015

زبان مقاله : انگلیسی

 

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

 

 

 

 


دانلود با لینک مستقیم


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

اختصاصی از حامی فایل دانلود مقاله ISI تمدید معماری Shenoy در شافر برای استنتاج در بیزی هیبرید شبکه های با شرطی قطعی دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :تمدید معماری Shenoy در شافر برای استنتاج در بیزی هیبرید
شبکه های با شرطی قطعی

موضوع انگلیسی :Extended Shenoy–Shafer architecture for inference in hybrid bayesian
networks with deterministic conditionals

تعداد صفحه :14

فرمت فایل :PDF

سال انتشار :2011

زبان مقاله : انگلیسی

 

هدف اصلی از این مقاله این است برای توصیف یک معماری برای حل ترکیبی کلی بزرگ
شبکه های بیزی (BNS) با شرطی قطعی برای متغیرهای پیوسته با استفاده از
محاسبات محلی است. در حضور شرطی قطعی برای متغیرهای پیوسته،
ما باید برای مقابله با عدم وجود تابع چگالی مشترک برای مستمر
متغیر. ما نمایندگی توزیع شرطی قطعی برای متغیرهای پیوسته
با استفاده از توابع دلتای دیراک. با استفاده از خواص از توابع دلتای دیراک، ما می توانیم با برخورد
یک کلاس بزرگ از توابع جبری. معماری ما توسعه یک فرمت از است
معماری Shenoy در شافر برای BNS گسسته است. ما را گسترش تعاریف از پتانسیل به
شامل توابع چگالی احتمال شرطی و شرطی قطعی مداوم
متغیر. ما پیگیری از واحد پتانسیل مستمر. استنتاج در BNS هیبرید
است و سپس در همان راه به عنوان در BNS گسسته اما با استفاده از گسسته و پیوسته انجام
پتانسیل ها و تعاریف طولانی ترکیبی و به حاشیه رانده. ما توصیف
چند نمونه کوچک برای نشان دادن معماری ما. علاوه بر این، ما را حل کند دقیقا
نسخه توسعه یافته از مشکل محصول است که شامل غیر مشروط توزیع گاوسی خطی
و توابع جبری غیر خطی است.


دانلود با لینک مستقیم


دانلود مقاله ISI SEMSim ابر خدمات: مقیاس بزرگ سیستم های شهری شبیه سازی در ابر

اختصاصی از حامی فایل دانلود مقاله ISI SEMSim ابر خدمات: مقیاس بزرگ سیستم های شهری شبیه سازی در ابر دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :SEMSim ابر خدمات: مقیاس بزرگ سیستم های شهری شبیه سازی
در ابر

موضوع انگلیسی :SEMSim Cloud Service: Large-scale urban systems simulation
in the cloud

تعداد صفحه :15

فرمت فایل :PDF

سال انتشار :2015

زبان مقاله : انگلیسی

 

در مقیاس بزرگ سیستم های شهری شبیه سازی پیچیده و با تعداد زیادی از شبیه سازی فعال هستند
نهادهای حجم کار گسترده محاسباتی است. کامپیوتر ایستگاه کاری دارند
اختیارات محدودی از ارائه نتایج برای شبیه سازی در مقیاس بزرگ. این منجر به
مشکل این است که بسیاری از محققان و مهندسان به هم کاهش دامنه خود
آزمایش و یا موفق به اجرای بسیاری از آزمایش های به عنوان آنها را در یک زمان معین دوست
قاب. استفاده از عملکرد بالا محاسبات (HPC) زیرساخت ارائه می دهد یک راه حل برای
مشکل. کاربران چنین شبیه سازی اغلب کارشناسان حوزه با هیچ و یا کم تجربه هستند
با محیط HPC. علاوه بر کاربران لزوما دسترسی به HPC است.
در این مقاله ما یک معماری برای سیستم های شهری پلت فرم شبیه سازی مبتنی بر ابر
که به طور خاص با هدف ساخت شبیه سازی در مقیاس بزرگ در دسترس کاربران معمولی است.
معماری ارائه همچنین به موضوع محرمانه بودن اطلاعات. علاوه بر این ما
توصیف مقیاس پذیر الکترو تحرک و شبیه سازی (SEMSim) خدمات ابر که پیاده سازی
معماری ارائه شده است.


دانلود با لینک مستقیم


دانلود مقاله ISI عملکرد محاسباتی از هیدرودینامیک ذرات هموار شبیه سازی برای حافظه اشتراکی محاسبات موازی

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

موضوع فارسی :عملکرد محاسباتی از هیدرودینامیک ذرات هموار
شبیه سازی برای حافظه اشتراکی محاسبات موازی

موضوع انگلیسی :Computational performance of a smoothed particle hydrodynamics
simulation for shared-memory parallel computing

تعداد صفحه :15

فرمت فایل :PDF

سال انتشار :2015

زبان مقاله : انگلیسی

 

عملکرد محاسباتی یک ذره هیدرودینامیک (SPH) شبیه سازی هموار بررسی شده است
برای سه نوع از حافظه مشترک دستگاه های کامپیوتر موازی کنونی: بسیاری از هسته یکپارچه (MIC)
پردازنده، واحد پردازش گرافیکی (GPU)، و پردازنده های چند هسته ای. ما به ویژه در علاقه مند
روش تخصیص حافظه اشتراکی کارآمد برای هر چیپ ست، چرا که الگوهای دسترسی به داده ها کارآمد
متفاوت بین محاسبه متحد معماری دستگاه (CUDA) برنامه نویسی برای GPU ها و کتابخانه
برنامه نویسی برای پردازنده های MIC و چند هسته ای CPUs.We نخست معرفی چند اجرای موازی
تکنیک های کد SPH، و پس از بررسی این در معماری کامپیوتر هدف ما برای تعیین
الگوریتم های موثر برای هر واحد پردازنده. علاوه بر این، ما ارزیابی محاسبات موثر
عملکرد و قدرت بهره وری از شبیه سازی SPH در هر معماری، به عنوان این معیارهای مهم هستند
برای عملکرد کلی در یک محیط چند دستگاه. در آزمون معیار ما، GPU است که یافت
تولید بهترین عملکرد ریاضی را به عنوان یک واحد دستگاه مستقل، و قدرت می دهد کارآمد ترین
مصرف. پردازنده های چند هسته ای به دست آوردن عملکرد محاسبات بیشتر موثر است. محاسباتی
سرعت پردازنده های Xeon MIC در فی که از دو پردازنده Xeon پردازنده نزدیک است. این نشان می دهد که با استفاده از
MIC و انتخاب جذاب برای کدهای SPH در پردازنده های چند هسته موازی توسط این کتابخانه موجود است، آن را به عنوان دستاوردهای
شتاب محاسباتی بدون نیاز به تغییرات قابل توجهی به کد منبع.


دانلود با لینک مستقیم


دانلود مقاله ISI برنامه ریزی اثبات با استراتژی های متعدد

اختصاصی از حامی فایل دانلود مقاله ISI برنامه ریزی اثبات با استراتژی های متعدد دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :برنامه ریزی اثبات با استراتژی های متعدد

موضوع انگلیسی :Proof planning with multiple strategies

تعداد صفحه :29

فرمت فایل :PDF

سال انتشار :2008

زبان مقاله : انگلیسی

 

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


دانلود با لینک مستقیم