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

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

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

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

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

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

هدف این پایان نامه بررسی فشردگی ضعیف عملگرهای به طور ضعیف b-فشرده است. ابتدا عملگرهای به طور ضعیف b-فشرده را تعریف کرده و نشان می دهیم که فضای عملگر های به طور ضعیف فشرده از e به x یک زیرفضای عملگرهای به طور ضعیف b-فشرده از e به x است. در ادامه فشردگی ضعیف عملگرهای به طور ضعیف b-فشرده را بررسی خواهیم کرد و با یک مثال نقض نشان خواهیم داد که یک عملگر به طور ضعیف b-فشرده، لزوماً یک عملگر به طور ضعی...

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

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

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری mv و bl و جبرهایتینگ معرفی می شوند. فیلترهای بولی، اول، استلزامی مثبت، شبه متمم و پیچشی را روی مشبکه های مانده تعریف کرده و چند فرم از فیلتر اول و بولی را معرفی می کنیم. سپس با استفاده از قضایا رابطه بین آنها را بررسی می نماییم. تعریف –t نرم ها و عملگرهای مربوطه و مثال هایی از آنها آورده می شود. مشبکه های مانده بازه ایی مقدار (ivrl) معر...