پایان نامه با نرم افزار فارسی تک تایپ شده و فایل word ندارد. در این پایان نامه که مراجع اصلی آن [7] و [15] می باشند، شرایط کافی برای آن که نگاشت های خاصی بین جبرهای عملگری استاندارد و همچنین بین جبرهای یکنواخت، یکریختی جبری باشند بررسی می شود. در ابتدا فرض کنیم x و y فضاهای باناخ و a وb جبرهای عملگری استانداردی روی x و y باشند. طیف که با رابطه تعریف می شود. خواهیم دید هر نگاشت پوشای نه لزوماً...

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

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

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

پژوهش حاضر با هدف پیش بینی نشانه های سلامت روانی بر اساس تاب آوری در خواهران و برادران نوجوان دانش آموزان با کم توانی ذهنی صورت گرفت. روش پژوهش کاربردی و شیوه انجام دادن آن همبستگی است. جامعه آماری در این پژوهش کلیه خواهران و برادران نوجوان 12-18 ساله دانش آموزان با کم توانی ذهنی شهر شیراز درسال تحصیلی 91-1390بودند که از بین آنها نمونه ای به حجم 91 نوجوان 12-18 ساله (50 دختر و 41 پسر) که خواهر ...

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

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

روابط بین یک مجموعه ی خودوارون که یک دوتایی (p,i) است به طوری که pیک مجموعه ی ناتهی و i یک زیر مجموعه از جایگشت های خودوارون p است را با گراف ها بیان می کنیم. و رابطه ای که ساختارهای انعکاسی و مجموعه های خودوارون نیمه منظم با هم دارند را بررسی می کنیم. نشان می دهیم متناظر با یک سیستم یه تایی اشتاینر یک شبه گروه نیمه متقارن خودتوان وجود دارد و برعکس از هر شبه گروه نیمه متقارن خودتوان می توان ب...

فرض کنید گروهی دلخواه باشد. گوییم گروه دارای کوهمولوژی تناوبی با دوره تناوب q بعد از k -مرحله است اگر عملگرهای( ,-) و( ,-) به ازای هر i>k ، به طور طبیعی یکریخت باشند. این مساله که یکریختی های تناوبی چگونه القا شده باشند، دارای اهمیت زیادی در نظریه کوهمولوژی گروه هاست. در این پایان نامه شرایط معادل برای این که یکریختی های تناوبی به وسیله حاصل ضرب کاپ یک عنصر القا شوند را بررسی می کنیم . به عبار...

در این مقاله، یک میدان اسکالر جرمدار و باردار در یک میدان الکتریکی یکنواخت قوی زمینه در یک فضازمان دوسیته با بُعد دلخواه درنظر گرفته شده است. با استفاده از ضریبهای بوگولیوبف، تانسور شبه کلاسیک انرژی-تکانه زوجهای شوینگر تولید شده را در حد میدان الکتریکی قوی به دست میآوریم. ما نشان داده ایم که رَد تانسور شبه کلاسیک انرژی-تکانه صفر میشود. ما یافته ایم که مولفه های غیرصفر تانسور شبه کلاسیک انرژی-تکان...