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

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

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

روش‌های متداول پرتودیسی (شکل‌دهی پرتوی) فراصدای (اولتراساوند) پزشکی مانند روش تأخیر و حاصل جمع را می‌توان به عنوان روش‌های پردازش علامت (سیگنال) در فضا-عنصر (المان) در نظر گرفت. در فضا-عنصر، داده‌های دریافتی از حسگرها (سنسورها) بعد از اعمال تأخیر و وزن‌دهی مناسب با یکدیگر جمع‌شده و خروجی نهایی آرایه ساخته می‌شود. اندیشه اصلی در شکل‌دهنده‌های فضا-پرتو این است که به جای استفاده از ویژگی‌های مکانی...

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

چکیده ندارد.

گراف g را در نظر بگیرید که به هر یال آن مقدار مثبتی به عنوان ظرفیت نسبت داده شده است. برای دو رأس s و t از گراف ، s-t-برش s ، زیرمجموعه ای از رأس های g است که شامل s باشد اما شامل t نباشد و ظرفیت آن برابر با مجموع ظرفیت تمام یال های خروجی از s است. s-t- برشی با کمترین ظرفیت در میان تمام s-t- برش ها را یک s-t- برش کمینه می نامند. در این پایان نامه، الگوریتم های چندجمله ای برای شمارش تعداد s-t- ...

در این پایان نامه، یک مدل بهینه سازی زیرگرادیانی را برای مسئله مشهور طراحی شبکه پیوسته(cndp)بررسی می کنیم. یک مسئله طراحی شبکه پیوسته عبارت است از تعیین توسیع ظرفیت یال های موجود در شبکه به طوری که با در نظر گرفتن رفتار کاربران، هزینه کل کمینه شود. بنابراین cndp را می توان به شکل یک برنامه ریاضی با قیدهای تعادل (mpec) فرمول بندی کرد، که در آن هدف تراز بالا، کمینه کردن هزینه کل شبکه شامل هزینه ز...

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