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

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

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

شکست کاتالیستی سیال (fcc)، فرایندی برای تبدیل برش های سنگین نفت به محصولات با ارزش می باشد. در تحقیق حاضر، شبیه سازی cfd هیدرودینامیک و انتقال حرارت راکتور استوانه ای بالارونده سه فازی (گاز- مایع- جامد) فرایند fcc با در نظر گرفتن تبخیر قطرات مایع انجام شده است. به دلیل عدم تقارن ورودی، بخار، ذرات کاتالیست و قطرات خوراک اتمایز شده به صورت سه بعدی مدل سازی شده است. برای مدل سازی فاز گاز و ذرات کا...

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

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

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

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

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