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

در این پایان نامه، انژکتیوی منظم و انژکتیوی منظم ضعیف ‎‎s‎-‎مجموعه های مرتب از رسته ‎‎‎‎-‎s ‎pos‎ ‎‎برای تکواره مرتب ‎‎‎‎s‎‎ مورد مطالعه قرار می گیرد. همچنین توصیف ویژگی های انژکتیوی منظم ضعیف، با استفاده از دستگاه معادلات روی آنها بررسی می شود، و با استفاده از این ویژگیها نتایج به صورت‎‎ ‎همولوژیکی دسته بندی می شوند. ویکتوریا گلد نتایج مشابهی برای ‎s-‎مجموعه ها که ‎‎‎s‎ یک تکواره است، اثبات ...

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

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

مفهوم مجموعه مرتب خطی مقدار، تابع صعودی اکید، شبه متریک، مزدوج یک شبه متریک و کامل دوسویی را تعریف کرده و نشان می دهیم توابع صعودی اکید شبه متریک ایجاد می کنند. همچنین مفهوم مجموعه مرتب خطی مقدار (x,?) را تعریف نموده و ثابت می کنیم ? از x,d_?) ) به توی فضای شبه متریک (r^+,u)یک ایزومتری می باشد. در ادامه مفهوم کامل بودن مجموعه مرتب خطی مقدار را بیان کرده و نشان می دهیم کامل شده هر مجموعه مرتب خط...

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

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

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

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