اگر چه امنیت در توسعه سیستمهای پیچیده نرم افزاری و بخصوص سیستمهای چند عامله موضوع بسیار مهمی به شمار می رود ولی در زمینه افزودن امنیت به متدولوژی های مهندسی نرم افزار عاملگرا تا کنون کار چندانی صورت نگرفته است. این مقاله به متدولوژی Prometheus تقابلیتی را می افزاید تا بتواند موضوع امنیت را در فازهای مختلف توسعه نرم افزارهای عاملگرا مد نظر قرار دهد. بدین منظور ابتدا مفاهیم امنیتی مورد نیاز تعریف...

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

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

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

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

853در این مقاله امکان مدلسازی ثقل در طول خطوط ترازیابی دقیق مورد بررسی قرار گرفته است . در این بررسی مشاهدات ثقلی خطوط ترازیابی درجه 1 ایران به عنوان مطالعه خاص به کار رفته و مدل های مختلفی برای مدلسازی منطقه ای میدان ثقل در طول لوپهای ترازیابی مورد آزمون قرار گرفته اند . مدل های ریاضی از نوع چند جمله ای های 4 و 8 پارامتری ، مدل جهانی با استفاده از بسط هارمونیک های بیضوی تا درجه و مرتبه 20، 180...

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

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

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