فایل ورد کامل تحقیق درمورد روشهای نرمال

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

 فایل ورد کامل تحقیق درمورد روشهای نرمال دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد فایل ورد کامل تحقیق درمورد روشهای نرمال  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

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

بخشی از متن فایل ورد کامل تحقیق درمورد روشهای نرمال :

با دانلود تحقیق در مورد روشهای نرمال در خدمت شما عزیزان هستیم.این تحقیق روشهای نرمال را با فرمت word و قابل ویرایش و با قیمت بسیار مناسب برای شما قرار دادیم.جهت دانلود تحقیق روشهای نرمال ادامه مطالب را بخوانید.

نام فایل:تحقیق در مورد روشهای نرمال

فرمت فایل:word و قابل ویرایش

تعداد صفحات فایل:۳۰ صفحه

قسمتی از فایل:

خلاصه

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

امکانات تشریحی تئوری مجموعه‌ها و nofation های منطقی نا مهندس نرم‌افزار یک گزاره شفاف از واقعیات(نیازمندیها) را ایجاد کند.

مفاهیم زیرساختی که بر روشهای نرمال حاکم است(۱) data inuariant یک شرط که درست است در سراسر اجرای سیستم که شامل مجموعه‌ای داده‌هاست stste(2) .

داده‌های ذخیره‌شده که توسط سیستم به آنها در دسترس است و تغییر می‌کنند ۴۳۱ عملیات، یک عملیات که در سیستم قرار دارد و داده‌ها را به State می‌نویسد یا از آن می‌خواند.

یک Stat با دو شرط شناخته می‌شود: شرط پیشین و شرط پسین.

ریاضیات گسترHeuristic, notation مرتبط با مجموعه‌ها و مشخصات سازنده عملکردهای مجموعه‌ای، عملکردهای منطقی و دنباله‌ها – اساس روشهای نرمال را شکل می دهند. ریاضیات گستر در یک زبان مشخصات نرمال همچون z اجرا می‌گردد. z همچون همه زبانها مشخصات نرمال دودامنه معنایی و نحوی را دربرمی‌گیرد. دامنه بخوبی از یک نماد شاسی استفاده می‌کند که کاملاً توسط notation های مجموعه‌ها و محاسبات(predicate) دامنه معنایی زبان را قادر می‌سازد تا نیازمندیها را به یک روش موخر بیان نمایید. ساختار Z ترکیبی از شماهاست. ساختارهای جعبه‌مانند که متغیرها و روابط مابین آنها را مشخص می‌کند.

تصمیم برای استفاده از روش نرمال باید با توجه به هزینه‌های اولیه به همان نحو که به تغییرات فرهنگی مرتبط با یک تکنولوژی اساساً متفاوت توجه شده‌است باشد. در اغلب نمونه‌ها، روشهای نرمال بهترین منفعت را برای سیستم‌های کار بحرانی یا ایمنی – بحرانی ایجاد می‌نماید.

جدول ۱-۲۵ خلاصه‌ای از nolafion Z ( نهادهای Z )

notation های z پایه تئوری مجموعه‌ها typed و منطق first-ader است.

Z فراهم می‌کند یک ساختار که شما نامیده می‌شود تا operation , State های یک مشخصات را شرح دهد. یک شما گروه‌بندی می‌کند اعلان متغیرها را بایستی از Spredicate که تحلیل می‌کند احتمالاً مقدار یک متغیر در Z شمای X به فرم زیر تعریف می‌شود.

X

decloration

perdicates

توابع اصلی و ثابت فرم زیر تعریف می‌شوند.

Declaration

perdicates

اعلان نوع تابع یا ثابت را مشخص می‌کند حال آنکه predicate مقدار آن را برمی‌گرداند یک خلاصه از نمادهای z در زیر ارائه شده‌اند.

مجموعه‌ها :

S:PX S بعنوان مجموعه‌ای از مجموعه‌ X اعلان شده

X عضوی از S

X عضوی از S نیست

S یک زیرمجموعه از T است، هر عضو از S همچنین در T موجود است.

اجتماع T,S : همه عضوی S یا T هر دو .

اشتراک S,T : همه اعضای مشترک T,S

اختلاف S,T : همه اعضای S بجز آنهایی که در T هستند.

مجموعه تهی : هیچ عضوی ندارد.

مجموعه یکن: تنها X را شامل می‌شود.

مجموعه اعداد طبیعی

S یک مجموعه متناهی از مجموعه X هاست.