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

هدف از پژوهش حاضر، مقایسه تاثیر تمرین مقاومتی با استراحت فعال (به صورت تناوبی و با استفاده از خود تمرین مقاومتی کم شدت تر) و غیرفعال بر تغییرات سطح فعالیتی لاکتات خون بازیکنان فوتبال بود. 16 بازیکن فوتبال جوانان سپاهان به صورت تصادفی به گروه تمرین مقاومتی با استراحت فعال (قد 68/6±78/177 سانتی متر، وزن 97/7±88/64 کیلوگرم، سن 83/0±22/18 سال و درصد چربی 80/1±47/20) و گروه استراحت غیرفعال (قد 68/6±...

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

هدف این مقاله ارائه اثبات دیگری از قضیه اساسی جبر بر مبنای خواص ماتریس های نمایی در فضای برداری نرمدار اقلیدسی است.

در این پایان نامه، ابتدا تعاریف و خواصی از فضاهای هیلبرت، ‎c*-جبرها، حاصل ضرب تنسوری جبری و‎‎c*-مدول های ‎ هیلبرت را بیان می کنیم. سپس به بررسی تابعک های خطی مثبت، نگاشت های مثبت و نگاشت های کاملاً مثبت رویc*-جبرها پرداخته و دو قضیه ی اساسی در زمینه ی نگاشت های کاملاً مثبت بیان خواهیم کرد؛ قضیه ی اشتین اشپرینگ که یک نمایش مشخص از نگاشت های کاملاً مثبت رویc*-جبر ها به جبر عملگرهای کراندار روی فضاه...

ابتدا تعاریف و مفاهیمی را که در این رساله مورد استفاده قرار می گیرد را بیان می کنیم. سپس به معرفی فضاهایی می پردازیم که با آن ها سر و کار خواهیم داشت. و‎‎‎‎‎ در پایان به معرفی چند قضیه و اصل می پردازیم. رده ای از دستگاه های بیضوی شبه خطی تباهیده ‎egin{equation*}‎ ‎left{egin{array}{ll}‎ -‎div (h_1 (x)| abla u|^{p-2} abla u )=lambda a(x)|u|^{p-2}u‎ +‎lambda b(x)|u|^{alpha-1}|v|^{eta+1}u+f...

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

در این پایان نامه فشردگی و فشردگی ضعیف در مجموعه های تقریبی, یکتایی, دورترینی و به طور یکتا دورترینی با گوی های یکه ی بسته مطرح شده است‎‎, همچنین مشخصه های مجموعه های دورترینی و غیردورترینی را با استفاده از خاصیت باز بودن و بسته بودن روی برخی از مجموعه های مرتبط بررسی می کنیم و در ادامه مسأله ی کمینه سازی و بیشینه سازی خوش طرح را مطرح می کنیم و قضیه هایی در فضای باناخ کادک محدب انعکاسی بیان می ...

فرض کنیم (r, m)یک حلقه موضعی با بعد کرول n و a ایده آلی از r باشد. دستیابی به نتایجی در صفر شدن و ناصفر شدن مدول های کوهمولوژی موضعی برای هر r-مدول m در جبر جابجایی و هندسه جبری از اهمیت بسزایی برخودار است. با توجه به قضیه صفر شدن گروتندیک به ازای هر i>n , i-امین مدول کوهمولوژی موضعی m نسبت به ایده آل a برابر با صفر است. یک شرط لازم و کافی برای صفر شدن n- امین مدول کوهمولوژی موضعی r نسبت به...