نام پژوهشگر: مهدی احمدی نیا

چگونگی بهبود کرانهای پایین برای مسئله ماکزیمم جریان دوتایی نامقید درجه دوم
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1388
  حمید حساسی   غلام حسن شیردل

چکیده: دوگان سقف مساله بهینه سازی دوتایی نامقید درجه دوم که در [24] توصیف شده است، کرانی برای مقدار بهینگی مهیا کرده، تنها با یک چند جمله ای دقت این کران را می سنجد، و همچنین ( به خاطر پایایی نتیجه ) مقادیر تعدادی از متغیرها را در بهینگی تعیین می کند. در این پایان نامه برای به دست آوردن کرانها از روشهای نظریه گراف استفاده می کنیم که حالت خاصی از کران دوگان سقف را شامل می شود و نشان می دهد که این کرانها هنگام کاربرد در تکنیکهای شارش شبکه می توانند از مرتبه زمانی o(n^3 )محاسبه شوند. همچنین قضیه تجزیه را برای توابع شبه بولی درجه دوم با بهبود نتیجه پایایی به دست می آوریم. سرانجام نشان می دهیم که کرانهای پیشنهادی ( شامل دوگان سقف ) می توانند در یک روش تکراری برای به دست آوردن کرانهای معنی دار بهتر بکار روند.

تحلیل مدل انفریو به عنوان مدل ریاضی از رقابت ایمنی بدن.
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم انسانی 1396
  فاطمه عاشوری   مهدی احمدی نیا

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

بررسی وحل عددی دستگاه های لتکا-ولترا تعمیم یافته به عنوان مدل رقابتی در مسائل کنترل رشد سلول های سرطانی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1389
  ثریا ترکمن   مهدی احمدی نیا

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

تحلیل معادلات دیفرانسیل ضربه ای و کاربردهایی در پزشکی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1390
  زهرا محسن زاده آجی بوزایه   مهدی احمدی نیا

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

حل مسئله مقدار ویژه وارون برای ماتریس های مضاعف تصادفی متقارن
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1390
  هاشم مهدانیان   مهدی احمدی نیا

در این پایان نامه ما قصد داریم مسئله ی مقدار ویژه ی وارون را برای ماتریس های مطرح کنیم. این مسئله به دنبال بدست آوردن شرایط n × n متقارن ? مضاعف تصادف متقارن ? ماتریس مضاعف تصادف ? تایی طیف ی -n ? است برای اینکه ی ? لازم و کاف باشد. باشند، ? مسائل مقدار ویژه ی وارون جزء مسائل باز 1 نظریه ی ماتریس ها م ? به طور کل کنیم تا این شرایط را برای مسئله ی مورد نظر تا آنجا که مقدور ? اما در این رساله تلاشم است بدست آوریم. مرتب شده ی ماتریس های ? را که طیف کاهش rn از s n برای این منظور ما ناحیه ی مطالعه s n در آن قرار دارد، با تاکید بر مجموعه ی کران n × n متقارن ? مضاعف تصادف کنیم. ? م کنیم، زیرا که حل کردن ? معطوف م s n ما توجه خود را روی مشخص کردن نقاط کران این مسئله معادل با حل کردن مسئله ی مقدار ویژه ی وارون برای ماتریسهای مضاعف محدب نیست، s n کنیم مجموعه ی ? است. همچنین ثابت م n × n متقارن ? تصادف ? مرتب شده ی ماتریس های مضاعف تصادف ? مجموعه ای از طیف کاهش s n ه? بطوری متقارن است. ? در پایان برای مجسم سازی و درک بهتر مسئله را برای ماتریس های مضاعف تصادف کنیم. ? ? از اثر صفر و دو حل م × متقارن ?

تقریب چبیشف برای حل معادلات دیفرانسیل تأخیری با شرایط مقدار مرزی به عنوان مدل جمعیتی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1390
  فاطمه شاکری   مهدی احمدی نیا

در این پایان نامه یک مسأله مقدار مرزی که مدلی برای رشد جمعیت دو گونه می باشد، را مورد بررسی قرار داده و یک جواب تقریبی با استفاده از سری چبیشف، روش هم محلی و روش نیوتن - رافسون برای آن پیدا می کنیم‎.‎ در فصل اول تاریخچه مدل سازی جمعیت و مدل های رشد پیوسته برای یک گونه و هم چنین دو گونه جمعیتی بیان شده اند. فصل دوم شامل معرفی چند جمله ای های چبیشف نوع اول و دوم، چند جمله ای های لژاندر، روش هم محلی و روش نیوتن رافسون می باشد. در فصل سوم ثابت می شود که اگر f_m(t)‎ تقریب چبیشف تابع ‎f(t) باشد، آنگاه اگر ‎m‎ به سمت بی نهایت میل کند، ‎f_{m}(t)‎ به ‎f(t)‎ همگرا خواهد بود و هم چنین قضیه ای در این فصل بیان می شود که طبق آن تحت شرایطی وجود یک تقریب چبیشف، وجود یک جواب دقیق تنها را تضمین می کند. در فصل آخر نیز مسأله مقدار مرزی مورد نظر را عنوان کرده وبه شرح الگوریتم و نتایج محاسبات کامپیوتری پرداخته ایم. کلیه محاسبات کامپیوتری با نرم افزار میپل انجام شده اند.

تحلیل روش های حل معادله های پنتوگراف
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1390
  سید روح اله رحیمی ناصراباد   مهدی احمدی نیا

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

یک الگوریتم پایدار برای ارزیابی عددی تبدیلات هنکل با استفاده از موجک هار
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1391
  حمید وروانی فراهانی   مهدی احمدی نیا

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

موجک های شانون برای حل معادله انتگرودیفرانسیل
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1391
  محمود بدر   مهدی احمدی نیا

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

حل معادلات انتگرالی فردهلم به روش تقریب هسته ها با شبه درون یابی اسپلاین
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده ریاضی 1391
  حمید معدنی پور   مهدی احمدی نیا

دراین پایان نامه دو روش جدید برای حل معادلات انتگرالی فردهلم نوع دوم یک متغیره بیان می شود.در اینجا روی هسته این معادلات انتگرالی متمرکز شده به این صورت که هسته این نوع معادلات انتگرالی با شبه درون یاب اسپلاین از درجه 4 تقریب چپ وراست زده می شود. در اصل در هرروش (چپ و راست) به طور جداگانه تقریب را روی یک متغیر هسته می زنیم به طوری که متغیر دیگر هسته آزاد است وهسته به یک هسته تباهیده تبدیل می شود.این تحقیق خطای هرروش را برای توابع هموار بیان کرده و نشان می دهد که روش تقریب راست هسته ازمرتبه 6 وروش تقریب چپ هسته از مرتبه 5 می باشد. در پایان نتایج بدست آمده از این روش با روش های تصویری مانند گالرکین و ... مقایسه می شوند.

حل عددی معادلات تابعی به وسیله روش های کنترل بهینه
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه یزد - دانشکده علوم 1391
  مازیار زارع پور   قاسم برید لقمانی

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

تخمین شارش در شبکه های جریان
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1387
  محمدحسن محمدی روشن   غلامحسن شیردل

فرض کنید g گرافی جهت دار با شارش نامعلومی روی هر کمان باشد به گونه ایکه شرایط تعادلی زیر در آن برقرار باشد بغیراز منبع ها و چاهکها مجموع جریانهای ورودی با مجموع جریانهای خروجی هر گره برابر است. یک اندازه شلوغ شارش روی هر کمان داده شده است مسیله ای که عنوان می کنیم یعنی تخمین بیشترین شارش احتمالی (mpfe) این است که بیشترین واگذاری احتمالی شارش را برای هر کمان برآورد می کند به گونه ایکه شرایط تعادلی پابرجابماند. الگوریتمی بنام دلتا y-mpfe را برای حل مسیله (mpfe) ارایه می کنیم که خطای اندازه گیری آن گاوسی است. اگر گراف زمینه غیرجهت دار g یک گراف 2-همبند مسطح باشد پیچیدگی آن از مرتبه o(e+v2) و اگر یک گراف 2-همبند سری موازی یا یک درخت باشد پیچیدگی آن از مرتبه o(e+v) می باشد.

حل معادلات دیفرانسیل بوسیله چندجمله ای برنشتاین
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم 1387
  ابراهیم پرهیزگاری   مهدی احمدی نیا

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

صورت hp از گالرکین ناپیوسته برای معادلات انتگرو-دیفرانسیل
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده ریاضی 1392
  الهام عرب بافرانی   مهدی احمدی نیا

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

روش هم محلی بر پایه ماتریس عملگر برنولی برای حل عددی معادلات پنتوگراف تعمیم یافته
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1392
  نسرین طباطبایی   مهدی احمدی نیا

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

همگرایی روش hss-نیوتن و ژاکوبین منفرد برای حل دستگاه های معادلات غیرخطی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده ریاضی 1392
  مریم بدرخانی   مهدی احمدی نیا

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

فوق همگرایی گالرکین ناپیوسته برای معادلات دیفرانسیل تاخیری
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1392
  زینب صفری   مهدی احمدی نیا

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

ساختار معادلات انتگرال غیرخطی خاص و چندجمله ای های متعامد
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم 1391
  محدثه سادات رضایی   مهدی احمدی نیا

معادلهانتگرال غیرخطیp(x)=?_?^??w(y)p(y)p(x+y)dyمفروض است. مجموعه جواب های چندجمله ای این معادله نسبت به w(x) و محدوده (?,?) که مجموعه ای نامتناهی خواهد بود را در نظر می گیریم. برای جواب های چندجمله ای این معادله، معادله انتگرال غیرخطی به مجموعه ای متناهی از زوج معادلات جبرخطی نسبت به ضرایب چندجمله ای تبدیل می شود. نشان داده خواهد شد که مجموعه جواب چندجمله ای این معادله انتگرال نسبت به اندازه g(x)=xw(x) متعامدند. سپس جواب های چندمعادله انتگرال غیرخطی دیگر و توسیع معادله انتگرال به انتگرال چندگانه مورد بررسی قرار خواهد گرفت.

بررسی اهدای جنین و احکام آن از نگاه فقه و حقوق موضوعه
پایان نامه دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و علوم انسانی 1392
  مهدی احمدی نیا   علی بهرامی نژاد مقوئیه

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

نقد آموزش بلاغت در کتب دبیرستان
پایان نامه دانشگاه تربیت معلم - تهران - دانشکده ادبیات و علوم انسانی 1393
  مهدی احمدی نیا   ناصر قلی سارلی

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

حل عددی دسته ای از معادلات دیفرانسیل مقدار مرزی تکین و کاربردهای آن
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم 1393
  رضا موسوی   مهدی احمدی نیا

در این پایان نامه پس از بیان تعاریف مقدماتی دو طرح عددی برای یافتن حل تقریبی مسائل مقدار مرزی دو نقطه ای منفرد ارائه شده است، مسائلی که در فیزیولوژی بدان رسیده اند. که اجزای اصلی هر دو روی کرد حل، بکارگیری ‎ b اسپلاین مکعبی است. ابتدا در هر دو روش مانع تکینی رفع می شود بدین صورت که در روش اول قانون هوپیتال برای رفع تکینی حاصل از شرط مرزی ‎y^ (0)=0 ‎ بکار گرفته می شود و در روش دوم چند جمله ای چیبشف در مجاورت نقطه تکینی بکار گرفته شده، نقطه ای با شرط مرزی y(0)=a‎ که در آن ‎a ثابت است. در آخرمثال های عددی و نمودار خطاها نمایش داده می شوند تا کارایی و همگرایی مرتبه دوم روش ها را نشان دهند.

ساخت بردارهای موجک دو به دو متعامد
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1392
  میثم نقی لو   محمود پورغلامحسین

ساخت همه بردارهای موجک دوبه دومتعامد وابسته به یک بردار مقیاس دوبه دومتعامد، ممکن است مانند حالت تک ـ موجک های دوبه دومتعامد، ساده نباشد. در این پایان نامه، چند قضیه درباره ساخت بردارهای موجک دوبه دومتعامد ارائه شده است که برای سادگی محاسبات، مربوط به ساخت پارامتری همه بردارهای موجک دوبه دومتعامد که محمل آنها در [-1 , 1] است، می باشد. این روش هم چنین برای حالت تک ـ موجک های متعامد با محمل فشرده نیز مناسب است. علاوه براین مثال هایی ارائه شده است که تمام بردارهای موجک دوبه دومتعامد وابسته به بردارهای مقیاس دوبه دومتعامد خوش تعریف، پارامتری شده است.

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

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

ذخیره سازی بر مبنای الگوریتم بهینه سازی کلنی مورچه برای مسأله درخت فراگیر کمینه مقید
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم 1387
  مسعود غلامی   غلامحسن شیردل

چکیده ندارد.

مسائل مقدار مرزی منفرد در فیزیولوژی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1387
  فاطمه محمدی   مهدی احمدی نیا

چکیده ندارد.

بهینه سازی یک تابع خطی بر روی مجموعه کارای صحیح
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم 1387
  محمدمهدی مدرسی راد   علی اصغر فروغی

چکیده ندارد.

بهینه سازی فازی و کاربردهایی از آن
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1387
  الهه سمیعی نسب   غلام حسن شیردل

چکیده ندارد.

شرایط بهینگی کروش - کان- تاکر(kkt) در مسائل برنامه ریزی چند هدفه با تابع هدفهای بازه ای
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1387
  محمد منتظری   علی اصغر فروغی

چکیده ندارد.

برنامه ریزی آرمانی و کاربردهایی از آن در زمان بندی بازدیدهای مدیران اجرایی و شیفت دهی پرستاران
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم پایه 1388
  طاهره سعیدی سعدی   علی اصغر فروغی

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

روش جدید تصمیم گیری براساس مینیمم سازی فاصله فازی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه قم - دانشکده علوم انسانی 1388
  حمید بیگدلی   علی اصغر فروغی

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