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

دریافت: 5/6/94   پذیرش: 23/9/94 مقدمه: امروزه موضوع سلامت از اولویت های اصلی زندگی افراد است، و حفظ و گسترش آن در حوزه رفاه اجتماعی و توسعه پایدار امری ضروری است. بیمه های بهداشتی و درمانی یکی از راهکارهایی می باشند که انسان برای رویارویی با هزینه های درمانی ابداع نموده است. یکی از موضوعات مهم و چالش های موجود؛ چگونگی استفاده کارا و اثربخش از منابع بیمه در جهت تحقق اهداف سلامت است. هدف این مقال...

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

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

پیشرفت روزافزون فناوری دیجیتال، همراه با کوچک شدن ابعاد ترانزیستورها از یک سو سبب افزایش قابلیت¬های متعدد این نوع مدارها شده است و از سوی دیگر آسیب¬پذیری آن¬ها را در برابر سازوکارهای خرابی از جمله اشکال¬های گذرا بیشتر کرده است. به فرض اعمال نویز گذرا در مدارهای منطقی، برآورد احتمال بروز خطای گذرا در خروجی مدار از جمله موارد ضروری در طراحی آن¬ها به ویژه در فناوری¬های جدید مدارهای مجتمع می¬باشد. ...

توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...

مدل هابارد یونی یکی از مدلهای مهم در فیزیک حالت جامد است که همواره به دست آوردن نمودار فاز آن مورد توجه بسیاری از محققان بوده است. اما بررسی چنین مدلی به دلیل حضور عملگرهای خلق و فنای فرمیونی پادجابه جا شونده در آن بسیار دشوار است به همین علت به بررسی همیلتونی کلاسیکی می پردازیم که چالشهای حالت کوانتومی را ندارد. این مدل مدل هابارد یونی کلاسیک نام دارد که به روش تبدیل یکانی پیوسته به دست آمده ا...

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

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