دانشکده

دانلود فایل ها و تحقیقات دانشگاهی ,جزوات آموزشی

دانشکده

دانلود فایل ها و تحقیقات دانشگاهی ,جزوات آموزشی

مقاله درمورد فرمال متد

لینک دانلود و خرید پایین توضیحات

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

تعداد صفحات: 46

 

خلاصه

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

امکانات تشریحی تئوری مجموعه‌ها و 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 هاست.

ماکزیمم مجموعه غیر تهی و عددی S .

توابع f اعلان‌شده بعنوان patial injection از x به y

دامنه f: مجموعه مقدارهایی از x هائیکه f(x) را تعریف می‌کنند.

dom f برد f : مجموعه مقادیر که f(x) برمی‌گرداند برروی x های دامنه.

Tan f

یک تابع که مطابق f1 است مگر اینکه x به y نگاشت شود.

تابعی همچون f بجز اینکه x از دامنه آن حذف شده‌باشد.

(P,q) اگر هم q,p صحیح باشند صحیح است: p and Q منطقی

درست است اگر هر دو درست باشند یا هر دو غلط باشند(q نتیجه می‌دهد p ) :pimploes Q

هیچ مؤلفه‌ای از شمای S در عملیات تغییر نکند.

25.7 روشهای نرمال – راه‌پیشرو

هرچند نرمال تکنیکهای مشخصات برپایه ریاضیات هنوز به صورت گسترده در صنعت بکار نمی‌روند آنها مزیتهای اساسی نسبت به تکنیکهای غیرنرمال دارند.

Lisko و Bresios این را به صورت خلاصه زیر بیان می‌کنند.« مشخصات نرمال می‌تواند بصورت ریاضیاتی مطالعه می‌شود در حالیکه مشخصات غیرنرمال نمی‌توانند برابر مثال



خرید و دانلود مقاله درمورد فرمال متد


دانلود تحقیق درباره ی مدلسازی سیستم گردش خون در شریانها با استفاده از متد المان محدود 57 ص

لینک دانلود و خرید پایین توضیحات

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

تعداد صفحات: 57

 

 

دانشگاه آزاد اسلامی واحد مشهد

گزارش پروژه مدلسازی

عنوان :

مدلسازی سیستم گردش خون در شریانها با استفاده از متد المان محدود

استاد راهنما: جناب آقای دکتر خلیل زاده

تهیه و تنظیم :

شهلا هاشمی سودمند مهدیه حشمدار راوری

اسفند 84

فهرست مطالب

چکیده ................................................................................................5

مروری بر کارهای پیشین.........................................................................6

مقدمه..................................................................................................8

روش مدلسازی .....................................................................................9

معادلات حاکم بر جریان خون در یک درخت شریانی .......................................12

معادلات حاکم بر پیوستگی و بقای مومنتوم....................................................12

معادلات حاکم بر انشعابها ........................................................................13

رابطه بین فشار خون و سطح مقطع شریان ....................................................15

مدل تحلیلی رابطه فشار- سطح مقطع ..........................................................15

مدل استریتر .......................................................................................15

مدل رینز ...........................................................................................16

مدل اسکالاک ...................................................................................16

معادله حالت کلی ................................................................................17

معادله حالت خون ............................................................................... 19

مدل توانی ........................................................................................ 20

مدل کیسونی .......................................................................................20

بررسی روش انجام شده ...........................................................................30

فرموله کردن مدل...................................................................................30

هدایت المان ........................................................................................32

ماتریس هدایت جهانی .............................................................................35

شرایط مرزی و یا نقاط انتهایی ..................................................................37

مراحل محاسباتی .............................................................................37

نتایج محاسبات......................................................................................39

جریان ایستا ........................................................................................39

اصطلاحات به کار برده شده در برنامه مطلب .............................................40

اعتبار سنجی مدل................................................................................43

جدول شماره 1 ...................................................................................44

جدول شماره 2 ....................................................................................52

جدول شماره 3 ....................................................................................53

مراجع...............................................................................................54

چکیده :



خرید و دانلود دانلود تحقیق درباره ی مدلسازی سیستم گردش خون در شریانها با استفاده از متد المان محدود 57 ص