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

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

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

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

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

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

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