مفهوم اثبات در چند دهۀ اخیر مناقشه­آمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه داده­اند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهت­ها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...

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

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

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

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

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

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

در ابتدای این کار از واکنش فروسن، اتیل فروسن، پروپیل فروسن و بوتیل فروسن با دو اکی والان 4- کلرو 1-بیس- 4-کلروبوتانوئیل فروسن ، بوتانوئیل کلرید در حضور آلومینیوم کلرید در دی کلرومتان، مشتقات 1 - 1-بیس- 4 ، سنتز شدهاند. این ترکیبات تحت اثر محلول سدیم بوروهیدرید در دی گلایم به مشتقات 1 (10- 1-دی آلکنیل فروسن (ترکیبات 15 ، 4) تبدیل شدهاند. در ادامه مشتقات 1 - کلروبوتیل فروسن(ترکیبات 7 1-بیس- 4...

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