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

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

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

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

جریان جابجایی آزاد آرام نانوسیال بین دو استوانه هم محور افقی با پره های شعاعی روی استوانه داخلی به طور عددی مدلسازی شده است. استوانه داخلی با شعاع ri و استوانه خارجی با شعاع ro به ترتیب در دمای tiو to (ti>to) قرار دارد. معادلات حاکم با شرایط مرزی معین با استفاده از روش حجم محدود حل شده اند. برای گسسته سازی جمله پخش از طرح اختلاف مرکزی و برای جمله جابجایی از طرح پیوندی استفاده شده است. ارتباط می...

در این مقاله، استفاده از الگوریتم بهینه‌سازی مقاوم برای طراحی سیستم کنترل وضعیت ماهواره، به منظور بهبود عملکرد آن تحت عدم قطعیت­، پیشنهاد شده است. در این راستا، یک ماهوراه تک محورۀ صلب باعملگر تراستر روشن-خاموش با اشمیت‌تریگر و PID در نظر گرفته شده است. عدم قطعیت‌های مدل شامل ممان اینرسی، سطح تراست، تأخیر زمانی خالص تراستر و دامنة اغتشاش خارجی است. تابع هدف بهینه‌سازی مقاوم، ترکیب وزنی میانگین ...

چکیده هدف این مقاله محاسبه کشش‌های قیمتی، متقاطع و درآمدی مواد غذایی خانوارهای شهری استان تهران است. برای این منظور، داده‌های اقلام مواد غذایی خانوارهای شهری استان تهران، به تفکیک گروه‌های مختلف کالاهای مصرفی خانوار، جمع‌‌آوری و با استفاده از سیستم تقاضای تقریباً ایده‌آل ترکیبی، بر اساس روش رگرسیون‌های به ‌ظاهر نامرتبط (SUR)، طی دوره زمانی 1391-1383، رفتار مصرفی خانوارها و کشش‌...

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

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

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