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

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

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

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

تعداد صفحات فایل:30 صفحه

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

 خلاصه

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

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

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

داده‌هاي ذخيره‌شده كه توسط سيستم به آنها در دسترس است و تغيير مي‌كنند 431 عمليات، يك عمليات كه در سيستم قرار دارد و داده‌ها را به State مي‌نويسد يا از آن مي‌خواند.

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

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

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

جدول 1-25 خلاصه‌اي از 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 هاست.