هدف از اجرای این تحقیق، شناسایی فرآیندهای معیوب در بخش رسیدگی به عملکرد شرکت‌ها در سازمان امور مالیاتی کشور است. بدین منظور به صورت موردی امور مالیاتی استان سمنان بخش شرکت­ها مورد بررسی قرار گرفت. در این راستا به تجزیه و تحلیل و مهندسی مجدد[1] فرآیند تدوین شده در حوزه شرکت­ها اقدام شده و برای شناخت فعالیت‌ها و نحوه‌ انجام کارها در سازمان طی چند مرحله با 35 نفر از مدیران و کارکنان به عنوان خبرگا...

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

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

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

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

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

چکیده: ارزیابی قابلیت اطمینان شبکه­ های توزیع آینده موضوع مهمی است چرا که تقاضا برای خدماتی که قابلیت اطمینان بیشتری داشته باشند و میزان خاموشی­های آنها کمتر باشند رو به افزایش است. بررسی­ها نشاندهنده این است که 90درصد خاموشی­های مشترکین به سیستم توزیع مربوط می­شوند، لذا ارزیابی و بهبود قابلیت اطمینان شبکه ­های توزیع بسیار ضروری می­ باشد. در این مقاله شاخص ­های قابلیت اطمینان از جمله شاخص ­های ...

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