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

نظریه ی احتمال تعویض ناپذیر بر اساس درکی عمیق از نظریه ی احتمال کلاسیک و مفاهیم جبری پدید آمده است. ویکولسکیو (1983) دریافت که پرداختن به بعضی از مسائل مشخص جبر عملگری توسط تقلید کردن از تئوری احتمال کلاسیک امکان پذیر است. در حقیقت در نظریه ی احتمال تعویض ناپذیر، متغیرهای تصادفی لزوما از خاصیت تعویضپذیری برخوردار نیستند، به طور مثال برای دو متغیر تصادفی x ,y خاصیت e(xxy)=e(xyx) لزوما برقرار نیس...

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

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

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

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

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

غرض از نگارش نوشتار حاضر، ارائه‌ی تحلیلی مستدلّ و مستند از دو طبقه‌بندی مهم منطقی است؛ یکی تقسیم قضیه‌ی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیه‌ی حملیّه‌ی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقه‌بندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علم­شناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقه‌بندی و با اخذ روی­آوردی منطقی ...

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

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