ایران پروژه ایران پایانامه

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

فایل ورد پروژه دانشجویی مقاله تاثیر کامپیوتر و اینترنت بر کودکان در word   کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است

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

بخشی از متن پروژه دانشجویی مقاله تاثیر کامپیوتر و اینترنت بر کودکان در word :

فناوری کامپیوتر مدرسه تا محل کاربطور وسیع در جامعه گسترش پیدا کرده است و با تمامی جنبه های زندگی از ، خدمات بانکی، خرید و فروش، پرداخت مالیات و حتی رای گیری تلفیق شده است. امروزه این فناوری نقش مهمی در زندگی کودکان ایفاء می کند واین نقش بسرعت در حال افزایش است. بطوریکه تعداد کودکان 17-2 سال که کامپیوتر را در منزل استفاده می کنند از 48% در سال 1996 به 70% در سال 2000 صعود کرده است. استفاده کنترل نشده کامپیوتر بویژه وقتی با دیگر فناوری ها از قبیل تلویزیون همراه باشد کودک را در معرض خطر اثرات مضر آن بر تکامل فیزیکی، اجتماعی و روانی قرار می دهد. که از آنها می توان به مشکلات بینایی، صدمات سیستم اسکلتی، چاقی، اثر بر مهارتهای اجتماعی، مشکلات ارتباطی در خانواده و اعتیاد الکترونیکی اشاره کرد.در صورتیکه کامپیوتر صحیح استفاده شود اثرات مثبتی دارد . با رعایت نکاتی هنگام استفاده از کامپیوتر می توان مطمئن شد که استفاده از کامپیوتر زندگی کودکان را در حال و آینده بهبود می بخشد.از آنجائیکه کامپیوتر در همه جای زندگی حاضر است، مهم است که بفهمیم چگونه این تکنووژی می تواند رشد و تکامل کودکان را بهبود ببخشد یا منحرف کند.
فناوری کامپیوتر بطور وسیع در جامعه گسترش پیدا کرده است و با تمامی جنبه های زندگی از مدرسه تا محل کار، خدمات بانکی، خرید و فروش، پرداخت مالیات و حتی رای گیری تلفیق شده است(1). مهمترین تغییراتی که این فن آوری بوجود آورده بوسیله مارشال مک لوهان در یک عبارت خلاصه شده است و آن تبدیل جهان به یک دهکده جهانی است. بدین معنا که مردم نقاط مختلف در کشورهای سراسر کره زمین به مثابه یک دهکده امکان برقراری ارتباط با یکدیگر و اطلاع از اخبار و رویدادهای جهانی را دارند(2). امروزه این فناوری نقش مهمی در زندگی کودکان ایفاء می کند واین نقش بسرعت در حال افزایش است(3). بطوریکه تعداد کودکان 17-2 سال که کامپیوتر را در منزل استفاده می کنند از 48% در سال 1996 به 70% در سال 2000 صعود کرده است. استفاده از اینترنت نیز از 15% به 52% دراین دور‌ه 5 ساله افزایش پیدا کرده است. سرعت انتشار اینترنت 9 برابر سریعتر از رادیو، 4 برابر سریعتر از کامپیوترهای شخصی و سه برابر سریعتر از تلویزیون بوده است(1). تحقیقات دلالت دارد که 149 میلیون نفر در سراسر دنیا به شبکه اینترنت مرتبط هستند که به میزان 12% در هر ماه افزایش پیدا می کند(4). بررسی های آماری در سال 2000 بیانگر این مطلب است که کودکان س 7-2 سال بطور متوسط 34 دقیقه در روز از کامپیوتر استفاده می کنند که این زمان با افزایش سن طولانی تر می شود(5-2 سالگی 27 دقیقه در روز، 11-6 سالگی 49 دقیقه در روزو 17-12 سالگی 63 دقیقه در روز)(1) .
بطور متوسط کودکان آمریکایی 3-1 ساعت درروز از کامپیوتر برای انجام تکالیف مدرسه، صحبت با دوستان بطور آن لاین و بازی کردن استفاده می کنند.90% کودکان سن مدرسه در این کشور به کامپیوتر دسترسی دارند(5).
کشور ما از نظر بهره مندی از اینترنت در بین 178 کشور جهان رتبه 87 را دارد که بر اساس طبقه بندی اتحادیه جهانی مخابرات جزء کشورهای متوسط بشمار می رود. 35% استفاده کنندگان اینترنت را قشر جوان تشکیل می دهند و میانگین صرف شده برای اینترنت 52 دقیقه در هفته بوده است(2).

کلمات کلیدی :

 پروژه دانشجویی مقاله طراحی با Cad در word دارای 20 صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد پروژه دانشجویی مقاله طراحی با Cad در word   کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است

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

بخشی از متن پروژه دانشجویی مقاله طراحی با Cad در word :

فرمان Array (آرایه - مرتب کردن)
این فرمان جزء فرمانهای ویرایشی است و از آن برای مرتب کردن موضوعات بصورت سطری - ستونی Rectangular و یا دایروی (خطی) Polar استفاده می شود .
در منوی Modify است و‌ آیکن آن در نوار ابزار Modify به شکل است .
1-روش Rectangular یا سطری - ستونی .
پس از اجرای فرمان Array یک کادر محاوره ای مطابق شکل زیر در صفحه ظاهر می‌شود که بایستی به بخشهای مختلف آن بدقت پاسخ دهیم . ابتدا نوع آرایه را مشخص می کنیم ، یعنی در اینجا در بخش Rectanglar علامت می زنیم (کلیک می‌کنیم) و سپس تعداد سطرها و ستونهای آرایه را در محل مخصوص وارد می کنیم و در مرحله بعد فاصله بین سطرها (Row offset) و سس فاصله بین ستونها (Column offset) و بعد زاویه‌ای که بایستی آرایه تحت آن زاویه مرتب شود (Angle of Array) را وارد می کنیم که اکثراً زاویه را o در نظر می گیریم . (نکته در این بخش می توانستم بجای عدد وارد کردن برای فاصله بین سطرها با استفاده از آیکن
فاصله بین سطرها را نشان دهیم و همچنین فاصله بین ستونها را ولی اگر از آیکن
که به سلول واحد (unit cell) معروف است استفاده کنیم ، می توانیم یک مستطیل در صفحه رسم کنیم که طول ضلع افقی آن فاصله بین ستونها و طول ضلع عمودی آن
فاصله بین سطرها خواهد بود .
و در پایان روی گزینه Select objects کلیک کرده ، آنگاه موضوعات موردنظر را در صفحه ترسیم انتخاب می کنیم و سپس با کلیک راست کردن (KR) و یا زدن کلید
دوباره به کادر محاوره ای Array باز می گردیم و آنگاه دکمه OK را می زنیم و فرمان خاتمه می یابد .

کلمات کلیدی :

 پروژه دانشجویی کارآموزی تعمیرات جرثقیل قسمت برق در word دارای 27 صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد پروژه دانشجویی کارآموزی تعمیرات جرثقیل قسمت برق در word   کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است

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

بخشی از متن پروژه دانشجویی کارآموزی تعمیرات جرثقیل قسمت برق در word :

بخشی از فهرست پروژه دانشجویی کارآموزی تعمیرات جرثقیل قسمت برق در word

اهم فعالیت های انجام شده کارآموزی........................................................ 1
تاریخچه مجتمع فولاد خراسان................................................................... 3
مقدمه......................................................................................................... 4
واحد فولادسازی........................................................................................ 5
واحدذوب.................................................................................................. 5
- برق رسانی
- پست برق 400 کیلو ولت
واحد جرثقیل.............................................................................................. 7
تعمیر و نگهداری........................................................................................ 8
الف: بخش تاسیسات مکانیکی............................................................. 9
ب: بخش تاسیسات برق...................................................................... 9
ب-1: مدارات فرمان.................................................................................. 9
- بخش میکرو الکترونیکی................................................................. 9
- مدارات کنتاکتوری.......................................................................... 12
ب-2: مدارات قدرت................................................................................. 12
روش های کنترل جرثقیل........................................................................... 14
جرثقیل های دارای مگنت دائم................................................................. 16
جرثقیل های دارای مگنت غیر دائم.......................................................... 16
جرثقیل های ساده..................................................................................... 17
جرثقیل های بازویی.................................................................................... 17
ترمزهای جرثقیل........................................................................................ 17
جعبه کنترل مگنت ترمز.............................................................................. 18
وظیفه تایمر................................................................................................ 18
سیستم ترمز الکتروهیدرولیکی................................................................... 20
روش اجرایی............................................................................................. 21
ضمیمه

موضوع : گزارش کار دوره کارآموزی
نام دانشجو: علی معماری
زیرنظراستاد ارجمند: جناب آقای مهندس پاکیزه مقدم
محل انجام کارآموزی: مجتمع فولاد خراسان- بخش تعمیرات جرثقیل ( قسمت برق)
زمان کارآموزی: 23/4/86 تا 30/4/86
نام سرپرست کارآموزی: مهندس صفری، مهندس شاکری

اهم فعالیتهای انجام شده کار آموزی:

با توجه به گستردگی کار در واحد فولاد پس از گذشت زمانی سه روزه جهت آموزشهای مقدماته بهداشت و ایمنی و تعیین موقعیت سرپرست ،کار در واحد جرثقیل شروع شد. در سراسر کار می بایست کارآموز در کنار مسئول شیفت بماند و از نحوه انجام فعالیتهای وی جستجو و تفحص به عمل آورد.
وی نکاتی در رابطه با چگونگی عملکرد دستگاه را در اختیار کارآموز قرار می داد و وی اقدام به نگارش و جمع آوری مطالب یاد شده می نمود در نهایت امر پس از کسب اطلاعات کافی در زمینه کاری، مطالب این گزارشکار تنظیم شده است.
واحدهای کاری طوری بود که از ساعت 7 شروع و تا ساعت 4:20 عصر ادامه می یافت. در این زمان در صورت وقوع مشکلی در واحد می بایست سریعاً با مسئول شیفت به واحد مراجعه نموده و سرپرست به همراه سایر کارگران و تکنسین ها اقدام به رفع عیب می نمود.
بدترین شرایط کار در واحد ذوب قراضه ها حاکم بود. ارتفاع 25 متری جرثقیل در کنار کوره ذوب همراه با دود و اختناق شدید و گرد و خاک و لغزنده بودن محیط، رفت و آمد، خود محیطی را پدید می آورد که احتمال خطر جانی زیادی را فراهم می آورد. وجود ولتاژهای بسیار بالا در محیط کار جرثقیل خود یکی از مواردی بود که دقت عمل زیادی را در زمینه کار در آن محیط می طلبید در عین حال تنوع کار و محیط کاملاً صنعتی، خود تا حدودی کسالت و خستگی را از تن بیرون می کرد.
در بعضی از روزها آنچنان کارها زیاد می شد که لازم بود از چند صد پله بالا و پایین رفت و در بعضی از روزها نیز پشت میز نشینی سخترین کار بود بهرحال کار در چنین محیط خشنی دقت عمل خاص خود را می طلبید.
در سراسر محیط کار با تابلوهای مختلفی روبه رو بودیم که مبنی بر وجود خطرهای مختلف در آن محیط هستند که می بایست با رعایت نکات ایمنی که قبلاً آموزش داده شده بود خود را از آن ایمن داشت .در مدت 33 روز حضور ما در این واحد می بایست بازدیدهای مختلفی را از سایر واحدهای جرثقیل می داشتیم تا تجربیات خود را در این زمینه تکمیل نمائیم .
البته مهمترین واحد برای یک کار آموز الکترونیک در این مجتمع بخش اتوماسیون برق و آزمایشگاه الکترونیک بود، اما به دلیل حساس و حیاتی بودن و در عین حال وجود اطلاعات محرمانه از حضور کارآموز در این واحد ممانعت به عمل می آمد.

کلمات کلیدی :

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

فایل ورد پروژه دانشجویی مقاله تصاویر در مهندسی پزشکی در word   کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است

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

بخشی از متن پروژه دانشجویی مقاله تصاویر در مهندسی پزشکی در word :

تصاویر در مهندسی پزشکی

خلاصه :
ناحیه بندی تصویر در مورد تصاویر تشدید مغناطیسی (MRI ) کمک بسیاری در تحلیل این تصاویر به پزشکان می کند ، ولی متاسفانه تصاویر MRI همواره همراه با نویز شدید ناشی از عملکرد اپراتور ، عملکرد دستگاه و یا نویز محیطی می باشند که باعث کاهش دقت در ناحیه بندی می شود .

یکی از روشهایی که در مورد ناحیه بندی بسیار استفاده می شود روش fuzzy c-means (fcm ) است که نسبت به نویز پایداری از خود نشان نمی دهد ، در این مقاله سعی در بهبود عملکرد FCM با استفاده از معیار نزدیکی پیکسل ها به هم ( همسایگی آنها ) و همچنین میزان شباهت ویژگی ها به هم ( میزان شباهت کنتراست ) می باشیم ، به این منظور دو ضریب و در تابع هزینه مربوطه به FCM تعریف کرده و با استفاده از الگوریتم ژنتیک سعی در پیدا کردن مقدار بهینه آنها خواهیم بود .
مقدمه :

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

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

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

الگوریتمFCM :
فرض می کنیم تعداد بردارهای ورودی N باشد و آنها را با {X1,X2,…,XN} نمایش دهیم و همچنین تعداد کلاسهای موجود m باشد در این صورت برای هر دو بردار ورودی m تابع عضویت تعریف می کنیم که هر تابع عضویت بیانگر میزان عضویت آن بردار خاص به هر کدام از کلاسها می باشد، این توابع عضویت را با uij نمایش می دهیم که بیانگر میزان ورودی i ام به کلاس jام می باشد و شروط زیر را هم داریم:

با استفاده از Uij ها ماتریس U را می سازیم که ماتریس عضویت نامیده می شود، تابع هزینه را بصورت زیر تعریف می کنیم:

در رابطه فوق بیانگر مرکز کلاس j ام می باشد و ( j d(xi, بیانگر میزان عدم شباهت ورودی xi به کلاس j ام می باشد، هر چه میزان عدم شباهت کمتر باشد تابع عضویت Uij باید مقدار بزرگتری اختیار کند.
هدف ما در نهایت کمینه کردن تابع هزینه می باشد.
برای حل مساله بهینه سازی فوق تابع هزینه را بصورت زیر می نویسیم:

(اسکالر q بیانگر میزان فازی بودن است)
با مشتق جزئی گرفتن نسبت به rs u و برابر صفر قرار دادن مشتق rs u را بصورت زیر بدست می آوریم:

فاصله d را می توان بصورت ساده فاصله اقلیدسی و یا فا صله با هاتاچار و یا فاصل ماهالاتوبیس تعریف کرد که ما برای سادگی از فاصله اقلیدسی استفاده می کنیم.
با مشتق گیری نسبت به j و برابر صفر قرار دادن داریم:

با فرض اینکه فاصله ( را بصورت زیر تعریف کنیم :

الگوریتم فوق را بصورت زیر می توان پیاده سازی کرد:
Choose j(0) as initial estimate for j , j= 1 , … , m
T= o
Repeat
– for I = 1 to N
*for j = 1 to m

End { for j }
End { for i}
-t= t+ 1
For J = 1 to m
Parameter Updating :

-End { for j }
Until a termination criterion is met.
معیار پایان یافتن عملیات را هم می توان بصورت تغییرات جزئی در (u) j تعریف کرد یعنی در صورتی که داشته باشیم:

عملیات پایان می بابد.
1- مشکلات روش FCM بیان شده در بالا عبارت هستند از: 1- تابع هزین ما هیچ گونه رابطه ای بین ورودیهای xi در نظر نمی گیرد.
2- معیار کلاس بندی ما میزان فاصله ( می باشد که باعث افزایش حساسیت نسبت به نویز می شود . یعنی وجود نویز باعث برهم خوردن شدت نوز پیکسل ها و همچنین خطا در دسته بندی می شود.
الگوریتم FCM توسعه یافته:
الگوریتم بیان شده در این قسمت در پی حل مشکلات بیان شده در قسمت قبل می باشد. در روش FCM میزان ( در واقع تفاوت شدت نور پیکسل xi با مرکز کلاستر j ام می باشد، در روش جدید ما از علاقه مندی جذب همسایگان خود را به کلاستر خود جذب کند این میزان جذب به دو عامل بستگی دارد، یکی میزان شدت نور و پیکسل و دومی مکان قرارگیری همسایه های آن، در نتیجه تابع فاصله را بصورت اصلاح شد زیر تعریف می کنیم:

در رابطه بالا Hij میزان شباهت ویژگی و Fij شباهت مکانی را نشان می دهند.

کلمات کلیدی :

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

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

این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است

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

بخشی از متن پروژه دانشجویی مقاله فرمال متد در word :

روشهای نرمال یکپارچه برای محیط مشخصات فراهم می‌کند تا بسوی مدلهای تحلیلی که کاملتر ناسازگار و با ابهام کمتر از روشهای سنتی یا شی‌گرا باشد رهنمون می‌شود.
امکانات تشریحی تئوری مجموعه‌ها و 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 به فرم زیر تعریف می‌شود.
.
.
.
25.7 روشهای نرمال – راه‌پیشرو
هرچند نرمال تکنیکهای مشخصات برپایه ریاضیات هنوز به صورت گسترده در صنعت بکار نمی‌روند آنها مزیتهای اساسی نسبت به تکنیکهای غیرنرمال دارند.
Lisko و Bresios این را به صورت خلاصه زیر بیان می‌کنند.« مشخصات نرمال می‌تواند بصورت ریاضیاتی مطالعه می‌شود در حالیکه مشخصات غیرنرمال نمی‌توانند برابر مثال یک برنامه صحیح می‌تواند براساس مشخصات خود درآید. یا دو مجموعه مشخصات می‌تواند معادل باشند.
فرمهای مشخص با تمامیت یا عدم سازگاری می‌توانند خودکار شناسایی شوند. شما بعلاوه مشخصات نرمال ابهام را از بین می‌برد و سختی را در گامهای نخست فرآیند مهندسی نمی‌تواند تقویت نماید.
اما مشکلات باقی می‌ماند مشخصات ذیل عمدتاً برروی کارکرد و زمانبندی داده‌ها زوم نموده‌است. و جنبه‌های رفتاری یک مسئله برای ارائه دشوارتر است. بعلاوه برخی عناصر مسئله( همچون رابط انسان/ ماشین) توسط تکنیکهای گرافیکی یا prototype بهتر مشخص می‌شود. در نهایت مشخصات که با استفاده از نرمال‌متر سخت‌تر برای یادگیری از متدهایی همچون ساختاری است و یک شوک فرهنگی معنادار برای برخی شاغلین نرم‌افزار ایجاد می‌کند.
به همین دلیل محتمل است که نرمال‌ تکنیک مشخصات زیاضیایی پایه‌ای برای ساخت Cass tools ها جدید در آینده شکل می‌دهد.
هنگامی که واگر رخ دهد مشخصات بر پایه ریاضیات احتمالاً توسط بخش گسترده‌تری از جامعه مهندسین نرم‌افزار پذیرفته می‌شود.
.b توبایست به صورت لکافی مستندکنی
روشهای نرمال یک روش موجز غیرمبهم و سازگار را برای مستندکردن نیازمندیهای سیستم فراهم با این حال این توصیه شده که یک سلسله یاداشتهای زبان طبیعی همراه مشخصات نرمال برای خدمت‌کردن بعنوان یک مکانیزم برای کمک کرده تا خواننده‌ها سیستم را درک کنند.
Compromise
7 - توبایست استاندارد کیفیت خود را.
« هیچ چیز خالص در مورد نرمال متد وجود ندارد» [BOW,&] به همین دلیل دیگر فعالیتهای SQA (فصل 8 ) بایست ادامه یابند تا بکار روند بعنوان سیستمی که توسعه داده می‌شود.
8- تونبایست متعصب با شیء
یکی مهندسین نرم‌افزار بایست بدانی که روشهای نرمال یک تضمین برای درستی نیست. این ممکن است( شاید باید گفت، محتمل) است که سیستم نهای حتی وقتی با روشهای نرمال توسعه داده‌می‌شود ممکن است از قلم افتاد که باگهای کوچک و دیگر خصایصی که مورد انتظار نیست را دارا باشد.
9 : تو باید تست کنی، تست کنی و دوباره تست کنی.
اهمیت تست نرم‌افزار در فصول 23,18,17 شرح داده شود روشهای نرمال مهندسین نرم‌افزار را از نیاز به خوب – برنامه‌ریزی شده رفتارکردن در سراسر تست، مبرا نمی‌کند.
10 – توبایست دوباره استفاده کنی.
در عبارت پیشین تنها روش متوسط به کاهش هزینه‌های نرم‌افزار و افزایش کیفیت استفاده از reuse است.( فصل 27 ) روشهای نرمال این واقعیت را تغییر نمی‌دهند. در حقیقت این مشکل است که روشهای نرمال یکی رویکرد مناسب هستند هنگامیکه کامپونت‌ها برای کتابخانه‌های قابل استفاده مجدد ساخته می‌شوند.
256 ن فرمان روشهای نرمال
تصمیم برای استفاده از روشهای نرمال در دنیای واقعی به همین سادگی پنداشته شود. Hinchky, Bowan « ن روشهای نرمال» را بعنوان راهنمایی برای این رویکرد مهم مهندسی نرم‌افزار را بکار می‌برند ابداع نمودند.
1. تو بایست notation اختصاصی خود را انتخاب کنی برای انتخاب مؤثر از میان تعداد گسترده زبانهای مشخصات نرمال یک مهندس نرم‌افزار باید واژگان زبان، نوع کاربرد مخصوص و گسترده استفاده از زبان را در نظر بگیرید.
2. تو باید فرمال بکنی اما نه بیش از حد
این بیان می‌کند که نیازی نیست تا روشهای فرمال را در تمام جنبه‌های سیستم اصلی بکار گرفت مؤلفه‌هایی که ایمنی بحرانی هستند نخستین انتخاب هستند. بعلاوه مؤلفه‌هایی که در آنها اشتباه غیرقابل پذیرش است.( به دلایل کاری).
3- تو باید هزینه‌ها را تخمین بزنی.
روشهای فرمال هزینه‌های ابتدایی زیادی دارند کارمندان مجرب، آشنایی با ابزارهای پشتیبانی استفاده از مشاور قرار داد. در بالابردن اولین هزینه‌های مؤثر است. این هزینه باید در نظر گرفته شود وقتی که برگشت سرمایه روشهای نرمال آزمون می‌شود.
4- تو باید یک استاد فرمال متد داشته باشی.
وقتی روشهای فرمال برای اولین بار استفاده می‌شود متخصص مجرب و رلیزنی مداوم برای موفقیت الزامی است.
5- تو نباید روشهای سنتی توسعه را ترک کنی.
این ممکن است و در بسیارری حالت دلخواه است که روش فرمال، روشهای سنتی، شیءگرا( فصل 21,12 ) در یکی بکار روند. هر کدام نکات ضعف و قوت خود را دارند. یک ترکیب اگر به درستی بکار رود می‌تواند نتایج شگرفی داشته باشد.

کلمات کلیدی :