در این پایان نامه گراف های کیلی یکانی را تعریف می کنیم.و به بررسی تعدادی از ویژگی های این گراف می پردازیم.در ابتدا تعاریف ومفاهیم مقدماتی را بیان می کنیم در بخش اول فصل دوم، بعضی از قضایا که برای گراف برقرار است را بیان می کنیم و در بخش دوم این فصل عددرنگی عدد خوشه عدد استقلال قطر و تعداد مثلث های گراف xn را به دست می اوریم و نشان می دهیم xn متقارن و همبندی راسی برابر با ?(n) می باشد.در فصل سوم...

در این پایان نامه نرمال بودن گراف های کیلیcay(sn, t) را بررسی می کنیم که در آن ها t یک مجموعه مولدمینیمال از ترانهش های sn است.قبلا ثابت شده که اگر گروه خودریختی گراف ترانهشی tra(t) بدیهی باشد،آنگاه aut(cay(sn, t))= r(sn).ما در این پایان نامه بدون ایجاد هیچ محدودیتی روی گروه خودریختی گراف ترانهشی ثابت می کنیم که گراف های کیلیcay(sn, t) نرمالند. فرض کنید t یک مجموعه از ترانهش های گروه متقارن sn...

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

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

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

  سخن سردبیر   Editorial   مجله دانشگاه علوم پزشکی رفسنجان   دوره دوازدهم، بهمن 1392، 872-871       متن، جدول یا نمودار؟           Text, Table or Diagram?     محسن رضائیان [1]   M. Rezaeian     نویسندگان مقالات علمی در بخش یافته‌ها مبادرت به گزارش نتایج مطالعه علمی خود در قالب متن، جدول و یا نمودار می‌نمایند. اگرچه به نظر می‌رسد که نگارش بخش یافته‌ها ساده می‌باشد، اما همواره گزینش این نکته که چ...

به منظور مطالعه شکستگی های مخزن آسماری میدان بالارود، مقاطع نازک، نمودار های تصویرگر شامل (obmi ,ubi ,emi ,fmi) و نمودار های پتروفیزیکی مورد استفاده قرار گرفت. با بررسی نمودار های تصویرگر این میدان اکتشافی جدید، زون های شکسته در مخزن آسماری این میدان مشخص گردید. همچنین در انجام این رساله هدف اصلی رسیدن به روش هایی جدید، سریع و ارزان برای تشخیص زون های شکسته بود که در این راستا می توان استفاده ا...

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

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

چکیده تولید قطعه ای با شکل مطلوب و عاری از هر نوع واماندگی، هدف نهایی در فرآیند های شکل دهی ورق است. نمودارهای حد شکل دهی fld سنجش متعارفی برای برآورد قابلیت فرآیند در نیل به این هدف می باشد. روش های تجربی یا پیدا کردن مستقیم fld، مشتمل بر مطالعات انجام شده توسط nakazima، hasek و marciniak است. چند رویکرد تئوری تعیین fld، نظیرگلویی پخشی swift، گلویی موضعی hill که واماندگی را صرفا در سمت چپ پیش...