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

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

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

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

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

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

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

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

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