زمینه و هدف: پیشبینی دقیق آلاینده­ های هوا، به عنوان اولین گام جهت برخورد مناسب با مشکل آلودگی هوا، میتواند اطلاعات مفیدی را برای برنامه ­ریزی جهت مقابله با این موضوع در اختیار مدیران ذیر بط قرار دهد. در این مقاله با توجه به معضل آلاینده مونوکسیدکربن (co) در هوای شهر تهران، اقدام به ارایه مدلی مناسب برای پیشبینی این آلاینده شده است. روش بررسی: برای این منظور از اطلاعات آلایندههای هوا و پارامتره...

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

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

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

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

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

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

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

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

مهم‌ترین مشکل مدل‌های برنامه‌ریزی آرمانی چندگزینه‌یی انتخاب آرمان با توجه به محدودیت اطلاعات است. در این مقاله، مدل برنامه‌ریزی آرمانی چندگزینه‌یی در حالتی که باید گروه بزرگی از تصمیم گیرندگان آرمان‌ها را تعیین کنند، در نظر گرفته شده است. به‌منظور ادغام نظرات و انتخاب آرمان از الگوریتم تحلیل مؤلفه‌های اصلی برای اعداد فازی شهودی بازه‌یی (I‌V‌I‌F) استفاده شده است. به‌منظور بررسی عملکرد سازوکار پی...