در این تحقیق، برای بررسی حذف درجای mtbe و بنزن از آب زیرزمینی، آزمایش هایی در ستون خاک یک بُعدی با شرایط فیزیکی و شیمیایی مشابه منطقۀ مطالعاتی ترتیب داده شد. با توجه به شرایط طبیعی محدودکنندۀ محیط، یعنی ریزدانه بودن آبخوان، نفوذپذیری پایین، محدودۀ ph خنثی و بالابودن عوامل مزاحم مثل یون ها و سایر مواد آلی، برای حذف آلاینده های مورد هدف به روش اکسیداسیون شیمیایی، از واکنش فنتون (h2o2/fe) و نانوذرا...

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

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

در این مقاله با استفاده از روش تجزیه واریانس و خود توضیح برداری تأثیر متغیرهای تولید ناخالص داخلی، سرمایه گذاری دولتی، نرخ تورم و نقش نهادهایی مثل امنیت، حقوق مالکیت، قوانین و مقررات، فساد اداری و امنیت اجتماعی بر روی سرمایه گذاری خصوصی ایران طی سال های 83-1363 مورد بررسی قرار گرفت. نتیجه مطالعه نشان می دهد در حالی که تولید ناخالص داخلی و زیرساخت ها تأثیر مثبت بر سرمایه گذاری خصوصی داشته اند، م...

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

از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

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

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

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