با گذر زمان و گسترش بستر نیاز های نرم افزاری و ورود مدل سازی و صنعت طراحی در حیطه علوم مختلف مبحث صحت سنجی از توجه ویژه ای برخوردار شده است .در واقع در حالت مدل سازی و بررسی سیستم از دید گاه های مختلف نیاز به انتقال مدل مربوط به سیستم طراحی شده در چارچوب های کاری متفاوت می باشد .اما صحت فرایند انتقال از نکات مهم می باشد صحت سنجی انتقال شامل بررسی تعدادی از شاخص ها می با شد
در این پایان نامه، روشی به منظور ارزیابی کارایی معماری سرویس گرا، با استفاده از سیستم تبدیل گراف و زبان مدل سازی کارایی pepa پیشنهاد شده است. با استفاده از این روش فراهم کننده ی سرویس می تواند در زمان طراحی سرویس نهایی، توافق نامه ی پیشنهادی اش را از دیدگاه ویژگی های کارایی بررسی
سیستم های تبدیل گراف زمان دار برای مدل کردن سیستم هایی بکار می رود که زمان نقش اساسی را در آنها بازی می کند. ایده سیستم های تبدیل گراف زمان دار توسط «سیلویا گیاپای» و همکارانش مطرح شد. آنها روشی را برای وارسی این سیستم ها بیان نکرده و تنها به تعدادی مفاهیم اکتفا کردند. وارسی این
وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز
چکیده وجود مشکلات متنوع در طراحی از طریق فرمول های نظری و هم چنین خطا در برآورد پارامترهای طراحی زهکشی، موجب شده است که در پروژه های آبیاری و زهکشی بزرگ، احداث مزارع آزمایشی قبل از اجرای پروژه غیر قابل اجتناب باشد. در این رابطه، یک مزرعه آزمایشی شالیزاری در مرکز توسعه منابع انسان
هدف این مطالعه ارزیابی فاکتورهای تأثیرگذار بر موفقیت بکارگیری سیستم های مراقبت از راه دور با استفاده از تلفیق دو مدل tam و utaut می باشد. جامعه آماری این تحقیق را کلیه کارشناسان و متخصصان مرتبط با مراکز مراقبت سلامتی در تهران تشکیل می دادند. از مجموع 16 بیمارستان و مرکز مراقبت سل
، این تحقیق از لحاظ هدف کاربردی می باشد. دراین تحقیق کلیه کارکنان وکارشناسان بیمه ایران دراستان سیستان و بلوچستان به عنوان جامعه آماری می باشند، روش نمونه گیری براساس روش تصادفی ساده انجام پذیرفت ودراین راستاحداقل از50درصد از کارکنان وکارشناسان بیمه ایران واقع دراستان سیستان و بل
چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب بهمنظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردتری
در این مقاله، شیوه جدیدی از روش گراف سیگنال جریان برای مدل سازی مبدل کاهنده - افزاینده دوسویه و استخراج توابع تبدیل مورد نیاز استفاده شده است. روش گراف سیگنال جریان ضمن دستیابی به توابع تبدیل مورد نیاز مبدل، فرآیند ساده تری نسبت به سایر روش های مدل سازی دارد. مبدل مدل شده در سیست
عملکرد سریع تبدیل موجک گسسته از چالش‌های اصلی در فراهم‌کردن کیفیت مناسب برای پردازش سیگنال دیجیتال است. در پیاده‌سازی تبدیل موجک گسسته می‌توان از بانک فیلتر CDF97 با ضرایب صحیح استفاده نمود که این امکان را فراهم می‌کند تا یکی از روش‌های افزایش سرعت، یعنی سیستم عددی مانده‌ای استفا