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

چکیده ندارد.

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

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

سلول های تمایزیافته می توانند با برنامه ریزی دوباره به سلول های بنیادی تبدیل شوند. تولید سلول های بنیادی چندتوان القا شده (ipscs) انقلابی در حوزه پزشکی باززاینده (regenerative medicine) و پزشکی انفرادی (personalized medicine) ایجاد کرده است. ipscs توانایی خود نــوزایی دارند و به شمار زیادی از رده های سلولی تمایز پیدا می کنند. این سلول ها منبع پایان ناپذیری را برای تمایز هدف دار معرفی می کنند. i...

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

این پژوهش به بررسی مسأله زمان بندی مجدد ناشی از اختلال دوباره کاری بر روی ماشین های ‏موازی یکنواخت می پردازد. فرض بر این است که کارها قبلاً به منظور کمینه کردن مجموع ‏زمان های تکمیل، زمان بندی شده و در حال پردازش هستند؛ مجموعه ای از آن ها که به دلایلی نیاز ‏به دوباره کاری دارند، برگشت خورده و موجب اختلال می شوند. دو تابع هدف ناسازگار پس از ‏بروز اختلال در نظر گرفته می شوند: تابع هدف اولیه، همان ...