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

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

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

در این پایان نامه یک مجموعه جدید از توابع متعامد که اصطلاحا توابع ترکیبی می باشند و شامل توابع متعامد shf و tf هستند ارائه کرده ایم که برای موارد زیر به کاربرده می شود : 1- تقریب توابع 2- ترکیب ماتریسهای عملگر انتگرال توابع متعامد shf و tf و بدست آوردن ماتریس عملگر انتگرال در دامنه توابع ترکیبی 3- انتگرال گیری از تابع وابسته به زمان با استفاده از ماتریس عملگر انتگرال در دامنه توابع ترکیبی ...

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

در این پایان نامه به معرفی و بررسی زیرکلاسu(?,?,?,k)، از توابع تحلیلی نرمال شده در قرص باز واحد ?می پردازیم. این زیرکلاس، کلاس توابع به طور یکنواخت محدب را تعمیم می دهد. به علاوه ویژگی های متنوع تابع ها ی موجود درکلاسu(?,?,?,k)، از قبیل قضیه مشخصه سازی، نامساوی ضرایب، برآورد ضرایب، قضیه دگردیسی، قضیه پوششی، نقاط نهایی، شعاع نزدیک به محدب، شعاع محدب و شعاع ستاره گونی بررسی می گردد. همچنین ارتباط...

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

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

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