نام پژوهشگر: سیدمحمد حسینی
زینب حسینی حیدر باقری اصل
قواعد فقهی نقش موثری در استنباط احکام شرعی دارد. یکی از این قواعد، قاعده «من ملک شیئا ملک الاقرار به» است. این قاعده از زمان شیخ طوسی مورد توجه و استناد فقها قرار گرفته و ادعای اجماع بر آن شده است. سئوالات مطرح در این قاعده عبارتند از: آیا قاعده من ملک، یک قاعده فقهی است یا قاعده اصولی و نیز آیا واژه «ملک» در قاعده جزء حقوق است یا احکام؟ آیا قاعده من ملک و قاعده اقرار یک قاعده هستند؟ مفاد قاعده من ملک چیست؟ مستندات این قاعده کدام است؟ آیا در مقام اجرای این قاعده مقارنه زمانیه لازم است یا خیر؟ برای روشن شدن پاسخ این سوالات، ابتدا توضیح الفاظی از قبیل: «قاعده فقهی و اصولی» و تفاوت آن دو و الفاظ «ملک»، «حق»، «حکم» و اختلاف هر یک با دیگری ضروری است. بنابراین، ابتدا به بررسی این الفاظ پرداخته ایم. مطابق تعاریف ارائه شده، این قاعده یک قاعده فقهی است و مراد از ملک در آن نه حقوق است و نه احکام، بلکه مراد از آن هم در موضوع قضیه و هم در محمول آن، بنا بر تعریف فقها، عبارت از سلطنت می باشد. برخی از فقها این قاعده را یک قاعده مستقل نمی دانند و گاهی آن را با قاعده اقرار یکی می دانند و یا در مستندات آن، به مدارک قواعد دیگر تمسک می کنند، لذا در قسمت بعدی رابطه این قاعده با قواعد مربوطه؛ مانند قاعده اقرار، ائتمان و غیره و تفاوت آنها با قاعده «من ملک» را بررسی کرده ایم و روشن شده است که این قاعده هرچند با قواعد دیگر روابطی دارد، ولی یک قاعده مستقل است و در موارد اقرار وکیل، ولیّ، وصیّ و صبیّ و مانند آن، کاربرد دارد. مهمترین مسئله در مورد این قاعده، مفاد و مستندات فقهی آن است، که مفاد آن عبارت است از اینکه هرگاه کسی شرعاً و قانوناً مالک بر تصرف در چیزی باشد، یا مسئولیت انجام کاری را داشته باشد، اگر اقرار به انجام آن کند، اقرارش نافذ است، به شرطی که اقتران زمانی بین مالکیت بر فعل و مالکیت بر اقرار باشد و از بین مدارک مختلف، فقیهان تنها مدرک معتبر آن را اجماع و استقرار بنای عقلا دانسته و مدارک دیگر را صحیح نمی دانند.
فاطمه نیلچی زاده عابدین مومنی
نظارت نامحسوس از جمله مباحث نوظهوری است که در جامعه و در بین عوام و حتی در بین اشخاص روشنفکر نظرات متفاوتی در رابطه با آن وجود دارد. بعضی آن را لازم و ضروی می دانند و بعضی آن را از اساس رد می کنند و برخی دیگر آن را فقط محدود به راهنمایی و رانندگی می دانند. به همین جهت در این پژوهش نظارت نامحسوس بطور ریشه ای و بنیادی مورد بررسی قرار گرفت تا نظرات شرع، عقل و اخلاق نسبت به آن مشخص گردد که در این راستا با دلایل عقلی و نقلی و بوسیله آیات قرآن کریم و روایات معصومین (ع) جواز آن به اثبات رسید و بیان شد که مطابق شریعت اسلام و قوانین موضوعه کشور ایران، نظارت نامحسوس در حریم خصوصی افراد جامعه امری حرام و غیراخلاقی است و مخالف با مقتضای حقوق شهروندی می باشد ولی اگر غرض از نظارت نامحسوس حفظ اسلام و حکومت اسلامی باشد و یا غرض ارتقاء عدالت از طریق شناسایی مفسدین و خائنین باشد و یا هدف ارتقاء فرهنگ جامعه از طریق پی بردن به ریشه های مفاسد فرهنگی و اجتماعی باشد و... در اینصورت نظارت نامحسوس نه تنها حرام و غیراخلاقی نیست بلکه واجب است. همچنین در این پژوهش 10 مورد از مهمترین کاربردهای نظارت نامحسوس مورد شرح و بررسی قرار گرفته است و دلایل شرعی و عقلی در مورد هرکدام توضیح داده شده که این توضیحات می تواند تصحیح کننده نوع نگرش اقشار جامعه نسبت به نظارت نامحسوس باشد.
امین خواجه سیدمحمد حسینی
در این پژوهش، وریستورهای بر پایه ی اکسید روی، با استفاده از روش مخلوط اکسیدها و همچنین نانو پودر zno ساخته شده است. نانو پودر اکسید روی به روش احتراق ژل تهیه و توسط پراش پرتوی x ، مشخصه-یابی شد. نتایج حاصل از پراش پرتوی x، نشان دهنده تشکیل فاز ورتسایت در دمای تکلیس 500cبود و بر تک فاز بودن نمونه، دلالت دارد. همچنین اندازه دانه ها توسط تصویر برداری tem بررسی شده است، که میانگین اندازه دانه های نانوپودر zno، 36.4nm تعیین گردید. به کمک پودر میکرومتری اکسید روی و نانوپودر حاصل از روش احتراق ژل، سرامیکهای وریستوری در فشار225bar قالب زنی شده و در سه دمای، 1000c و 1100c و 1200cتفجوشی شدند. در ادامه برای بررسی تأثیر ناخالصی k2o بر روی خواص الکتریکی وریستورها، این ناخالصی به میزان 5/0 درصد مولی، به ساختار سرامیکهای تهیه شده از پودر میکرومتری zno، و سرامیکهای ساخته شده بوسیله نانوپودر zno، در مرحله قالب زنی افزوده شد. ریز ساختار نمونه های سرامیک، توسط میکروسکوپ الکترونی روبشی(sem) و همچنین بررسی چگالی نمونه ها، مورد تجزیه و تحلیل قرار گرفتند. هر دو روش از کاهش میزان تخلخل در نمونه های تهیه شده از نانوپودر اکسید روی نسبت به نمونه های تهیه شده به روش مخلوط اکسیدها، دلالت دارند. بررسی ویژگیهای وریستوری، با تحلیل مشخصه e-j سرامیکها انجام پذیرفت. این نتایج نشان دادند که ضریب غیر خطی برای سرامیکهای حاصل از نانوپودر اکسید روی تفجوشی شده در دمای 1000c نسبت به سرامیکهای تهیه شده به روش مخلوط اکسیدها در این دما و سرامیکهای تفجوشی شده در دمای 1100c و 1200c بهتر است، به طوریکه ضریب غیر خطی وریستور ساخته شده از نانوپودر اکسید روی در دمای تفجوشی1000c،برابر با 86/26 به دست آمد. همچنین نتایج نشان دادند که با افزایش دمای تفجوشی سرامیکها، ولتاژ شکست وریستور کاهش می یابد. افزدون k2o به ساختار سرامیکهای zno، باعث افزایش قابل توجه ولتاژ شکست وریستور می شود و آن را برای کاربردهای ولتاژ بالا مطلوب می سازد.
مینو کامرانی سیدمحمد حسینی
هدف اصلی این رساله بررسی روش های عددی به خصوص روش هم محلی طیفی و روش تفاضل متناهی برای حل عددی معادلات دیفرانسیل با مشتقات پاره ای تصادفی سهموی می باشد در ادامه همگرایی این روش ها و مرتبه همگرایی آنها بدست می آیند.
عزیزا... ولی نژاد سیدمحمد حسینی
چکیده ندارد.
شاهدخت آزادی سیدمحمد حسینی
در این پایاننامه روشهای ماتریسی حافظ ساختار خطی [ 15 ] و غیرخطی [ 1] برای s(f, g) از ماتریس برآیند سیلوستر s(f?, g?) محاسبهی تقریب رتبهپایین ساختاریافته f?(x) بررسی شده است، که در آن g = g(y) و f = f(y) از دو چندجملهای غیردقیق به شرح زیر میباشند: g?(x) و ? f(x) = ?m i=0 (ai + ?ai)xi , ?g(x) = ?n i=0 (bi + ?bi)xi (1) پردازش g(y) و f(y) چندجملهایهای s(f?, g?) نشان داده شده که اگر قبل از محاسبهی شوند نتایج قابلقبولتری بهدست میآید، این پردازشعملگرها منجر به تولید 2 پارامتر میشود که هنگام محاسبهی تقریب رتبهپایین میتوانند ثابت نگهداشته یا افزایشداده شوند. اگر این دو پارامتر ثابت نگهداشته شوند از روش حافظ ساختار خطی استفاده شده، اما اگر افزایش داده شوند از روش حافظ ساختار غیرخطی استفاده شده است. بررسیها نشان میدهد که محاسبهی تقریب رتبهپایین هنگامی که پردازش عملگرها انجام میشود نتیجهی بهتری میدهد، و همچنین روشغیرخطی نسبت به روشخطی بهتر است، زیرا رتبهی عددی تقریب رتبهپایین در روش غیرخطی واضحتر مشخص مهم است زیرا نسبت به نحوهی تخصیص g(y) و f(y) میشود. دقت کنید که تخصیص تعریف شود اما رتبهی s(f, g) ممکن است رتبهی عددی تقریب رتبهپایین از g و f تعریف نشود. با یک مثال تفاوتهای بین روشهای s(g, f) عددی تقریب رتبهپایین از g(y) و f(y) ماتریسی حافظ ساختار خطی و غیرخطی بررسی شده و اهمیت تخصیص از دو چندجملهای (gcd) نشان داده شده است. در اینجا ابتدا بدست آوردن تقریب از این s(f, g) از ماتریسبرآیند سیلوستر s(f?, g?) بوسیلهی محاسبهی تقریبرتبهپایین برای qr بررسی شده، و سپس روش تجزیهی g(y) و f(y) دو چندجملهای غیردقیق از دو چندجملهای [ 4]، که ساختار ماتریس سیلوستر آنها gcd بدست آوردن تقریب [ را حفظ نمیکند [ 5]، شرح داده شده است [ 12 ]. در نهایت با یک مثال تفاوتهای [ 6 بین روشهای ماتریسی حافظ ساختار خطی و غیرخطی بررسی شده و اهمیت تخصیص .[ نشان داده شده است [ 7 g(y) و f(y)
فاطمه رجبی سیدمحمد حسینی
: روش منظم سازی تیخونوف یکی از روشهای مهم برای حل مسائل بد وضع گسسته خطی با ابعاد بزرگ است. این مسائل معمولا از گسسته سازی مسائل بد وضع پیوسته حاصل می شوند. ماتریس ضرایب اینگونه مسائل، بسیار بد حالت بوده و بردار سمت راست آنها آلوده به نویز است. و این امر باعث انتشار نویز در جواب مسئله می شود. بنابراین برای کم کردن اثر نویز روی جواب، از روشهای منظم سازی استفاده می کنند. کارایی روشهای منظم سازی وابسته به پارامتری است که اصطلاحاً، پارامتر منظم سازی گفته می شود. تعیین مناسب این پارامتر باعث معنی دار بودن جواب مسئله می شود. روشهای مختلفی برای تعیین این پارامتر پیشنهاد شده است. یکی از روشهای مورد توجه روش اصل تفاوت (discrepancy principle) است، که در این پایان نامه برای تعیین پارامتر منظم سازی تیخونوف از آن استفاده می کنیم. همچنین به بررسی روش l-نوار برای پیدا کردن پارامتر منظم سازی خواهیم پرداخت. همچنین در این پایان نامه فرآیند دو قطری سازی لانچوز جایگزین تجزیه آرنولدی شده و در مثالهای عددی نشان داده شده است که تجزیه آرنولدی نیاز به محاسبه حاصلضرب بردار-ماتریس کمتری نسبت به دو قطری سازی لانچوز بوده و بنابراین هزینه محاسباتی آن کمتر است. از طرفی، از روشهای تکراری نیز برای حل اینگونه مسائل استفاده می کنند. یکی از این روشها که در این پایان نامه به آن می پردازیم روش range restricted generalized minimal residual (rrgmres) است. هدف این پایان نامه مقایسه ی روشهای آرنولدی با روش منظم سازی بر پایه دو قطری سازی لانچوز و روش تکراری rrgmres از نظر کارایی و هزینه محاسباتی می باشد و همچنین تاثیر پارامتر منظم سازی تیخونوف روی جواب حاصل از این روشها و خطای نسبی را بررسی می کنیم. در مثالهای عددی روش تکراری rrgmres را با روش منظم سازی تیخونوف از نظر کارایی و هزینه محاسباتی مقایسه کرده و تاثیر پارامتر منظم سازی را روی جواب حاصل و همینطور روی خطای نسبی بررسی می کنیم و نشان می دهیم که روش منظم سازی تیخونوف به دلیل وجود پارامتر در این روش از نظر کارایی و خطای نسبی بهتر عمل می کند. همچنین با دو مثال عددی کارایی روش l- نوار را مورد بررسی قرار داده و نشان می دهیم که برای مسائل بزرگ از نظر هزینه محاسباتی این روش بسیار مناسب می باشد.
مهدی صالحی سیاوشانی سیدمحمد حسینی
بسیاری از پدیده های فیزیکی در علوم و مهندسی به صورت معادلات دیفرانسیل معمولی یا معادلات دیفرانسیل با مشتقات جزیی مدل می شوند. به طور عمومی حل تحلیلی این معادلات پیچیده و در مواردی ناممکن است. لذا استفاده از روش های عددی کارا برای حل آن ها از اهمیت ویژه ای برخوردار است. روش-های تفاضلات متناهی، اجزای متناهی، حجم های متناهی و . . . نمونه هایی از این روش های عددی می-باشند. در روش تفاضلات متناهی با استفاده از بسط تیلور به بیان تقریب هایی برای مشتق ها می پردازیم. در این پایان نامه یک تقریب تفاضلات متناهی برای مشتق اول در حالت دو بعد مکانی مطرح می شود و در ادامه یک مثال با کمک روش های ارایه شده در این پایان نامه به طور عددی حل می شود
امیر حقیقی سیدمحمد حسینی
برای تقریب گونه های خاص از معادلات دیفرانسیل تصادفی روش های عددی جدید و کارآ تری مورد نیاز است. در این رساله، ابتدا انواع مختلف مفاهیم پایداری برای معادلات دیفرانسیل تصادفی و همچنین روش های عددی برای تقریب آن ها را مورد مطالعه قرار می دهیم. سپس با مرور مفهوم سختی برای سیستم های تصادفی، روش های عددی ضعیف و قوی کارایی را برای تقریب این دسته از معادلات بیان می کنیم. در این راستا در تقریب های ضعیف، با ارائه پارامتر هایی از یک کلاس از روش رونگ-کوتای تصادفی کارآیی این خانواده از روش ها را برای تقریب سیستم های تصادفی سخت افزایش می دهیم . سپس یک خانواد? پیشگو-اصلاح گر مرتب? دو ضعیف با ناحی? پایداری مناسب و هزینه محاسباتی معقول را بیان می کنیم. در تقریب های قوی، یک کلاس جدید از روش های تکّه ای متعادل شده با مرتب? همگرایی یک را برای سیستم های سخت با m فرآیند وینر چنان طراحی می کنیم که در آن تابع نمو قسمت تعینی می تواند، متناظر با تابع نمو هر روش تک-گامی حداقل مرتب? یک برای معادلات تعینی در نظر گرفته شود. در نهایت در کلاس روش های فاقد مشتق، یک روش رونگ-کوتای شبه ضمنی مرتب? یک با خواص پایداری مناسب را برای تقریب معادلات سخت تصادفی بیان می کنیم. به کمک مثال های عددی متعدد نشان می دهیم که بحث های نظری ارائه شده معتبر هستند.
علیرضا کشوری سیدمحمد حسینی
این پایان نامه بر روی محاسبه جواب ممسائل بدوضع گسسته خطی متمرکز است. ماتریس ضرایب این گونه مسائل، بسیار بد حالت بوده و بردار سمت راست نیز آلوده به نویز است. برای کم اثر کردن نویز در جواب، از روش های منظم سازی استفاده می کنند. کارایی روش-های منظم سازی وابسته به پارامتری است که اصطلاحاً، پارامتر منظم سازی گفته می شود. در واقع انتخاب صحیح پارامتر منظم سازی، مهمترین عامل در مناسب بودن جواب حاصل از منظم سازی است. یکی از روش-های پیدا کردن پارامتر منظم سازی مناسب، روش l-منحنی است. پارامتر متناظر با نقطه گوشه l-منحنی می تواند به عنوان پارامتر منظم سازی بکار رود. در l-منحنی های پیوسته نقطه ای با بیشترین انحنا را به عنوان نقطه گوشه در نظر می گیرند، اما در l-منحنی های گسسته نمی توان از تعریف فوق برای نقطه گوشه استفاده کرد. روش های مختلفی برای پیدا کردن نقطه گوشه در l-منحنی های گسسته پیشنهاد شده است از جمله روش های مثلث و l-corner که مورد بررسی قرار گرفته اند. در این پایان-نامه یک توجیه نظری برای روشی جدید جهت پیدا کردن نقطه گوشه در l-منحنی های گسسته بیان شده و نشان داده خواهد شد که کارایی بهتری نسبت به روش-های دیگر دارد.
سمیرا صالحی مروت سیدمحمد حسینی
روش تاو گاوس-لژاندر را می توان به عنوان یکی از روش های طیفی برای حل عددی معادلات دیفرانسیل معمولی قلمداد نمود. در این روش جواب تقریبی معادله یعنی به صورت یک سری متناهی در نظر گرفته می شود بطوریکه توابع لژاندر می باشند وضرایب لازم است که محاسبه شوند. در معادلات دیفرانسیل معمولی با جواب نوسانی دقت روش تاو گاوس-لژاندر در نقاط انتهایی که نوسانات تابع زیاد است، از بین می رود. ما روش تاو گاوس-لژاندر را برای حل معادلات دیفرانسیل معمولی مرتبه دوم با جواب نوسانی، توسعه می-دهیم. این روش تاو توسعه یافته ترکیبی از روشهای تاو گاوس-لژاندر و آشفتگی ضرایب می باشد. در این روش جواب تقریبی بر پایه ی چندجمله ایهای لژاندر بطور نمایی وزن دار شده در نظر گرفته می شود. در این پایان نامه روش تاو توسعه یافته را برای حل مسائل استورم-لیوویل منظم مرتبه دوم بکار می بریم. با توسعه روش تاو گوس-لژاندر به طور نمایی وزن دار شده، برای معادلات دیفرانسیل معمولی مرتبه چهارم، مقادیر ویژه مسائل استورم-لیوویل منظم مرتبه چهارم به صورت: محاسبه می شود. در انتها نتایج عددی مربوط به روش تاو توسعه یافته برای محاسبه مقادیر ویژه مسائل استورم-لیوویل، با تعدادی از روش های دیگر مقایسه شده است که نتایج عددی ارئه شده بیانگر دقت و کارایی روش تاو توسعه یافته می باشد.
محمد جواد عبدی سیدمحمد حسینی
جوامع امروزی وابستگی بسیار زیادی به سیستم های کامپیوتری دارند و روز به روز سیستم های کامپیوتری مطمئن در جایگاه های تصمیم گیری مهم تری قرار می گیرند. در نتیجه، تقاضای بسیار زیادی برای الگوریتم های تصمیم گیری کارا و موثر وجود دارد. در گذشته نه چندان دور، بینایی ماشین امری غیر ممکن به نظر می رسید. اما امروزه با رشد فزاینده ی قدرت پردازش رایانه ها، دستیابی به آن امری بدیهی است. یکی از چالش های اصلی در این حوزه توسعه و بهبود روش های بینایی به گونه ای است که بتوانند توانایی برابر یا حتی بیشتر از توانایی انسان داشته باشند. از حوزه های بسیار مهم در بینایی ماشین می توان به بازشناسی الگو اشاره کرد. بازشناسی الگو شاخه علمی مرتبط با روش هایی برای توصیف و طبقه بندی اشیاء است. کاربرد سیستم های بازشناسی الگو وسیع و فعالیت های مختلفی را شامل می شود. از جمله آن ها می توان به پیش بینی تغییرات سهام، بازشناسی کاراکترها، بازشناسی گفتار، سیستم های هدایت خودکار، تحلیل نوار قلب و مغز، تحلیل تصویرهای پزشکی، تشخیص بیماری ها، هویت شناسی اثر انگشت و ... نام برد. از طرف دیگر، محاسبه ی تکاملی که شاخه ای از هوش محاسباتی به شمار می رود دربردارنده ی جمعیتی است که در آن هر فرد از این جمعیت، جوابی بالقوه در دامنه ی مسئله است. این جمعیت توسط تعدادی تابع تناسب که توسط کاربر تعریف می شود، تحت یک توالی تکراری تا زمانی که به نقطه همگرایی برسد، تصحیح می شود. در سال های اخیر، محاسبهی تکاملی به صورت گستره ای برای حل موثر مسائل غیرخطی و بسیار پیچیده مورد استفاده قرار گرفته است. در این مطالعه سعی بر آن است تا از این روش ها در بازشناسی الگو استفاده شود. روش های محاسبه ی تکاملی بسیار زیادی می تواند در این خصوص مورد استفاده قرار گیرد. اما هدف از این تحقیق کاربرد و توسعه روش «بهینه سازی گروه ذرات » (pso) در بازشناسی الگو است. بدین منظور مطالعه از معرفی حوزه های مهم بازشناسی الگو از قبیل طبقه بندی و خوشه بندی شروع و پس از معرفی محبوب ترین روش های هر کدام به استفاده از pso به عنوان یک الگوریتم فرااکتشافی در بهینه سازی این روش ها می پردازد. نتایج تجربی اشاره شده در فصل آخر این مطالعه نشان می دهد که این الگوریتم به خوبی می تواند به عنوان یک ابزار قدرتمند در بهبود توانایی روش های بازشناسی الگو مورد استفاده قرار گیرد.
علیرضا حسینی سیدمحمد حسینی
حل مسایل بهینه سازی مقید یکی از مهمترین زمینه های مورد بحث در کاربردهای علمی و مهندسی است، بخصوص وقتی که جواب در زمانی حقیقی مورد نیاز است. شبکه های عصبی با ساختارهای موازی مشهور ترین ابزاری هستند که برای حل مسایل بهینه سازی در زمان حقیقی به کار گرفته می شوند. مدل های شبکه عصبی با ساختار ساده ای که دارند می توانند به صورت یک مدار الکتریکی سخت افزاری طراحی شوند، در حالی که روش های معمولی به علت ساختار پیچیده ای که دارند، نمی توانند در کاربردهای سخت افزاری به سادگی استفاده شوند. مدل های مداری شبکه های عصبی در کاربردهایی چون پردازش سیگنال، کنترل رباتیک، طراحی سیستم های قدرت و بسیاری از کاربردهای صنعتی و مهندسی دیگر فراوان یافت می شوند. هدف این رساله، طراحی شبکه های عصبی برای مسایل بهینه سازی ناهموار است که بر پایه شمول های دیفرانسیلی هستند. سه مدل متفاوت معرفی شده اند. مدل اول، تلاشی است برای برطرف کردن برخی کمبود ها که دیگر شبکه های عصبی مشابه با آن مواجه هستند. این مدل بدون استفاده از پارامتر جریمه و بدون این که نیازی به محاسبه تصویر یک تابع در یک ناحیه با ساختاری پیچیده داشته باشد، برای حل مسایل بهینه سازی محدب و ناهموار طراحی شده است. در مدل پیشنهادی دوم، با الهام از مدل اول، شبکه ای طراحی می کنیم که ساختارش نسبت به مدل اول بسیار ساده تر است و می تواند به صورت مداری بسیار ساده بیان شود. در مقایسه با مدل های مشابه هم ساختار ساده تری دارد و هم کمبودهای سایر مدل های مشابه را ندارد؛ برخلاف سایر مدل های مشابه، نیازی به استفاده از پارامتر جریمه یا محاسبه تصویر یک تابع در ناحیه شدنی نیست. شبکه عصبی سوم پیشنهادی در این رساله، برای حل دسته ای از مسایل بهینه سازی ناهموار نامحدب طراحی شده است. در این مدل، برخلاف مدل های دیگر آمده در این رساله، مجبور به استفاده از پارامتر جریمه ای هستیم.
سعید رضایی سیدمحمد حسینی
این پایان نامه به بررسی مسئله ی کنترل بهینه ی مقید به معادله ی دیفرانسیل با مشتقات جزئی هذلولوی پایستار می پردازد. یک نمونه از این مسائل، مسأله ی کنترل مرزی و توزیعی معادله ی موج شبه خطی است. در این جا با استفاده از تقریب تفاضلات متناهی و روش پرتابی این مسأله را حل می کنیم. نمونه ای دیگر از مسائل کنترل بهینه ی مقید به معادلات پایستاری، مسئله ی کنترل شار ورودی در سیستم های تولیدی است که به صورت پیوسته مدل بندی می شوند. در این پایان نامه تابعک هزینه را توصیف کرده و با اِعمال تغییراتی روی آن و با استفاده از شرایط بهینگی، مسئله را به صورت مسئله ی مقدار مرزی اولیه-نهایی تبدیل می کنیم. سپس این مسأله را با روش های صریح و مستقیم مانند روش پرتابی (ساده و مرکب) حل می کنیم. با مثالی عددی نشان می دهیم که در نقطه ی گسستگی تابع تقاضا، تابع کنترل (شار ورودی) رفتار غیر قابل قبول شوک مانند دارد که پس از افزودن یک پارامتر تنظیم کننده این مشکل را رفع خواهیم نمود.
یونس روشنی مهدی مختاری
این پایان نامه در صدد بررسی مسئله احزاب و حدود آزادی آن در نظام حقوقی جمهوری اسلامی ایران با مرکزیت ومحوریت قانون اساسی است. که در ان نگارنده معتقد به آزادی احزاب در قانون اساسی جمهوری اسلامی ایران است ومستند این ادعا اصل 26 قانون اساسی می باشد که صراحتأً اظهار می کند «احزاب،جمعیت ها، انجمن ها ی سیاسی وصنفی وانجمن های اسلامی یا اقلیت های دینی شناخته شده آزادند». قانون اساسی اصل را بر آزادی احزاب گذاشته است و استثنا را بر محدودیت ها به همین خاطر میزان محدودیتها را،حصر کرده است در عدم نقض اصول مربوط به «استقلال، آزادی، وحدت ملی، موازین اسلامی و اساس جمهوری اسلامی» بنابراین قانون اساسی جمهوری اسلامی ایران احزاب را آزاد اعلام کرده است و هر کس می تواند تشکیل حزب بدهد و در آن فعالیت کند و «هیچ کس را نمی توان از شرکت در آنها منع کرد یا به شرکت در یکی از آنها مجبور ساخت ». اما قانون های پایین تر از قانون اساسی (چه از لحاظ اهمیت وسلسله مراتبی ) که شامل قانون فعالیت احزاب مصوب 7/6/1360 وآیین نامه اجرایی آن می باشد در راستای اجرای اصل 26 تصویب شده است با توجه به فضای حاکم بر آن زمان کشور که جو ملتهب وتشتت آمیز بعد از انقلاب وسازمان دهی اولیه کشور مطرح بود نتوانسته است آنچنان که قانون اساسی فضای آزادی را برای احزاب گسترانیده است ، بیان کند. از این رو قوانین موضوعه محدودیت هایی را بیشتر از انچه قانون اساسی بیان کرده است به احزاب و آزادی فعالیت آنها بیان کرده اند. به این ترتیب قانون عادی، قانون اساسی را تخصیص داده است در حالی که کلیه قوانین باید در چهار چوب قانون اساسی عمل کنند وگرنه مشروعیت وصلاحیت شان مخدوش می شود. بنابراین قانون عادی نتوانسته است مطابق و هماهنگ با روح آزادی موجود در قانون اساسی همراه بشود و نیاز به اصلاح این قانون یا تدوین قانون دیگری که هدف و مقصود اصلی قانون اساسی را تامین کند وجود دارد.
حسن عزیزآبادی سیدمحمد حسینی
تعداد 160 قطعه جوجه گوشتی نر سویه راس 308 در قالب طرح کاملا تصادفی، با 5 تیمارآزمایشی ،4 تکرار و 8 قطعه جوجه در هر تکرار از سن 7 تا 42 روزگی استفاده شدند. جیره ها بر پایه ذرت- سویا تنظیم گردیدند. مصرف خوراک، افزایش وزن و ضریب تبدیل خوراک، در طول دوره آزمایش و بازده لاشه و وزن نسبی مربوط به صفات لاشه در پایان دوره آزمایش اندازه گیری شد تیمارهای آزمایشی شامل 1- شاهد 2- آنتی بیوتیک اکسی تتراسایکلین (150 گرم در تن) 3- مکمل تجاری اسید آلی ارگاسید (3/0 درصد جیره) 4- پروبیوتیک پروتکسین (150 گرم در تن) 5- پری بیوتیک مانان الیگوساکارید (2 کیلوگرم در تن) بود. هیچ یک از خصوصیات اندازه گیری شده به جز قابلیت هضم ایلئومی انرژی قابل متابولیسم ظاهری، وزن قلب و بال، از نظر آماری معنی دار نبود. به نظر می رسد جوجه های تغذیه شده با جیره حاوی اسید آلی کمترین مصرف خوراک و بهترین ضریب تبدیل غذایی را به طور غیرمعنی داری در کل دوره نسبت به سایر تیمارها داشتند. جوجه های تغذیه شده با جیره حاوی پروبیوتیک بیشترین افزایش وزن بدن را در سن 42-22 روزگی داشتند، اما تغذیه با جیره حاوی آنتی بیوتیک موجب افزایش وزن بالاتر جوجه ها گردید. در سن 42 روزگی جوجه های تغذیه شده با جیره شاهد بیشترین وزن بدن و جوجه های تغذیه شده با جیره حاوی اسید کمترین میزان وزن بدن را نشان دادند. در سن 35 روزگی بیشترین قابلیت هضم ایلئومی پروتئین و چربی در تیمار حاوی پری بیوتیک و کمترین قابلیت هضم ایلئومی پروتئین و کلسیم در تیمار حاوی آنتی بیوتیک مشاهده گردید. جوجه های تغذیه شده با جیره حاوی اسید، کمترین میزان قابلیت هضم ایلئومی چربی و بیشترین قابلیت هضم ایلئومی فسفر را نشان دادند. جوجه های تغذیه شده با آنتی بیوتیک، به طور معنی داری بیشترین قابلیت هضم ایلئومی انرژی قابل متابولیسم ظاهری و جوجه های تغذیه شده با جیره شاهد، کمترین قابلیت هضم ایلئومی انرژی قابل متابولیسم ظاهری را در سن 35 روزگی نشان دادند. کلمات کلیدی: اسیدآلی، پری بیوتیک، پروبیوتیک، آنتی بیوتیک، عملکرد، قابلیت هضم ایلئومی، جوجه گوشتی، تنش گرمایی
رضوان غفاری سیدمحمد حسینی
در این پایان نامه حل عددی یک کلاس از معادلات زیر انتشار کسری در دامنه ی نامتناهی در یک بعد و دو بعد مورد بررسی قرار می گیرد. برای به دست آوردن جواب عددی این معادلات در دامنه ی نامتناهی از روش مرز مصنوعی استفاده می کنیم. در این روش ابتدا شرایط مرز مصنوعی دقیق و تقریبی را برای معادلات زیر انتشار کسری در دامنه ی نامتناهی در یک بعد و دو بعد به کمک تبدیلات لاپلاس به دست می آوریم، سپس با تبدیل مسئله ی اصلی به یک مسئله ی مقدار مرزی-اولیه در دامنه ی متناهی با استفاده از شرایط مرزی مصنوعی به دست آمده، آن را با یکی از روش های عددی حل می کنیم. برای به دست آوردن جواب عددی مسئله ی مقدار مرزی-اولیه در دامنه ی متناهی در یک بعد، از روش های تفاضلات متناهی و اسپلاین چندجمله ای و غیر چندجمله ای، و در دو بعد از روش کرانک-نیکلسون کلاسیک برای تقریب متغیرهای مکانی و از تقریب l1 برای تقریب مشتق کسری کاپتو نسبت به زمان استفاده می کنیم. نتایج عددی متناسب، برای نمایش کارایی روش های ارائه شده نیز آورده شده است.
ناصر محمودآبادی سیدمحمد حسینی
1- بررسی اثر سطوح مختلف پودر میوه عناب بر مصرف خوراک، افزایش وزن و ضریب تبدیل خوراک جوجه های گوشتی. 2- بررسی اثر سطوح مختلف پودر میوه عناب بر خصوصیات لاشه جوجه های گوشتی. 3- بررسی اثر سطوح مختلف پودر میوه عناب بر متابولیت های خونی جوجه های گوشتی.
سیدمحمد حسینی حمیدرضا محمدی دانیالی
استفاده از مفاصل کامپلینت(نرم) در ربات موازی صفحه ای 3rrr
سیدمحمد حسینی
چکیده ندارد.