« توسیع معنایی الفاظ قرآن » از روشهای تفسیری قرآن کریم است که در آن مفسر میکوشد از همه ظرفیتهای معنایی الفاظ بهره برده، و تفسیری مطابق با نیاز عصر و زمان ارائه دهد. این شیوه بیشتر در تفاسیر علمی، اجتماعی، فلسفی ، و عرفانی نمود یافته است؛ و بیانگر بعدی از ابعاد اعجاز بیانی قرآن است . البته در این روش ممکن است معانیای از الفاظ ارائه شود که در زمان نزول قرآن قابل درک نبوده است؛ لذا موافقان و مخال...

در این پایان نامه توسیع های مرکزی جهانی از حدهای مستقیم از ابرجبرهای لی را مورد مطالعه قرار می دهیم و با معرفی تابعگون uce، به هر ابرجبر لی کامل l، یک توسیع مرکزی جهانیuce(l) را نظیر می کنیم. هم چنین نشان می دهیم که توسیع مرکزی جهانی از یک حد مستقیم از ابرجبرهای لی کامل li، یکریخت با حد مستقیم از توسیع های مرکزی جهانی ازli می باشد. با استفاده از این مطلب، توسیع های مرکزی جهانی برخی از حدهای مست...

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

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

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

در این پایان نامه وجود نقطه ثابت برخی توابع را روی یک فضای متریک کامل مورد بررسی قرار می دهیم و با در نظر گرفتن برخی قضایای نقطه ثابت برای توابع تک مقداری آن ها را برای توابع مجموعه ای مقدار توسعه می دهیم.

مقدمه: کمردرد یکی از شایعترین علل مراجعه به پزشکان بعد از سرماخوردگی است که حدود 70-51% مردم طی زندگی خود آن را تجربه می کنند. وجود پاتولوژی در ساختارهای مختلف کمر علایم بالینی ایجاد می کند. هدف از این مطالعه ارزیابی مقایسه ای یافته ها کلینیکی و پاراکلینیکی در بیماران مراجعه کننده است تا از این طریق در جهت کاهش ابتلا و پیشگیری به این اختلال شایع موثر باشد. مواد و روشها: این یک مطالعه توصیفی به...

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

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