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

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

بایوچار، نام ترکیب آلی پایداری است که از تجزیه گرمایی هر نوع زیست توده تحت شرایط محدودیت اکسیژن که پیرولیز گفته می شود تهیه می گردد و در کشاورزی به منظور اصلاح شرایط فیزیکی و شیمیایی خاک استفاده می شود. هدف اصلی در این پژوهش، بررسی اثرات بایوچار برگ خرما بر خصوصیات فیزیکی و رفتار رطوبتی خاکی با بافت لوم شنی بود. پنج نوع بایوچار تحت شرایط دمایی متفاوت (300، 350، 400، 450 و 500 درجه سانتیگراد) و ...

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

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

روش جذب قلیا برای اندازه­ گیری واکنش­پذیری، در تیمار مکانیکی (فراصوتی) و شیمیایی (اکسیداسیون انتخابی و غیر انتخابی و نیز با هیدروژن پراکسید) الیاف خمیر آلفاسلولز به دست آمده از لینتر پنبه مورد استفاده قرار گرفت. ارزیابی فرایند اکسیداسیون و تیمار مکانیکی الیاف با اندازه­ گیری گرانروی، وزن مولکولی سلولز، جایگزینی گروه­ های کربوکسیل به روش جذب متیلن بلو و نیز میزان جذب قلیایی الیاف نشان­ داد که تی...

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

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

فسفر اغلب محدود کننده ترین عنصر غذایی برای تولید محصول در خاک هاست. اجزای معدنی و آلی فسفر به وسیله آزمون های معمول خاک تعیین نمی شود و روش تفکیک اجزا با استفاده از عصاره گیرهای مختلف برای کمی کردن شکل های شیمیایی مختلف فسفر پیشنهاد شده است. اهداف این پژوهش 1. بررسی تأثیر شکل های مختلف فسفر بر فسفر قابل جذب (فسفر عصاره گیری شده به روش اولسن)، 2. ارزیابی نسبت بین اجزای فسفر معدنی با شاخص های گیا...