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

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

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

در این پروژه به بررسی پتانسیل برهمکنشی کل و اهمیّت معادله حالت هسته ای در واکنشهای همجوشی پرداخته ایم. بدین منظور مطالعاتمان را برروی سه دسته از واکنشهای همجوشی معطوف کرده ایم: واکنشهای همجوشی با هسته های نیمه سنگین- نیمه سنگین متقارن (ni64 + ni64 و ni58 + ni58) 2- واکنشهای همجوشی با هسته های سبک - نیمه سنگین نامتقارن (zr92 + c12، zr92 + o16، zr92 + si28 و zr92 + cl35) 3- واکنشهای همجوشی با هسته...

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

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

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

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

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