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

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

برای کنترل فرایندهایی با توزیع غیرنرمال یا نامعلوم معمولاً از ‏نمودار‏های ناپارامتری و در صورتی‏که داده‏های نمونه‏گیری دارای ابهام باشند از نمودارهای فازی استفاده می‏شود. نمودار رتبه علامت دار یکی از نمودارهای ناپارامتری است که برای کنترل میانگین (میانه) به­کار می‏رود. در این مقاله نمودار رتبه علامت دار برای استفاده از داده‏های فازی در کنترل فرایند توسعه داده شده و نمودار پیشنهادی نمودار رتبه عل...

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

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

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

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

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