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

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

فرض کنید ‎$g$‎ یک گراف بدون پل و ‎${mathcal{c}}={c_1,ldots‎ , ‎c_k}$‎ گردایه ای از دورهای ‎$g$‎ باشد، به طوری که هر یال ‎$g$‎ دقیقاً در دو عنصر ‎${mathcal{c}}$‎ ظاهر شود، در این صورت ‎${mathcal{c}}$‎ را یک ‎gi{cdc}‎ ‎$g$‎ می نامند و آن را به اختصار با ‎gi{n:cdc}‎ نشان می دهند. در سال ‎1979‎ سیمور‎ ‎%‎‎‎ ‎gi{seymour}‎ حدس زد هر گراف بدون پل دارای یک ‎gi{n:cdc}‎ است. تاکنون هیچ مثال نقضی...

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

3) شرح موضوع پیشنهادی: (تعریف مساله، فرضیات و هدف....) مقدمه: پیش بینی صفات کیفی سیستم های نرم افزاری از جمله قابلیت اطمینان ، کارآیی در طول فرآیند توسعه نرم افزار و قبل از ساخت آن توجه های زیادی را به خود جذب کرده است [1، 2، 3]. اغلب تکنیک های مورد استفاده برای ارزیابی صفات کیفی، بعد از پیاده سازی نرم افزار و در فاز تست انجام می پذیرد [4، 5]. پیش بینی قابلیت اطمینان نرم افزار در اوایل فرآ...