فرض کنید ‎$ m $‎ یک فضا-زمان جهت پذیر باشد که تمامی ژئودزی های شبه زمان آن کامل باشند و شامل یک ابر سطح فشرده ی شبه مکان و غیر علّی مانند ‎$ s $‎ باشد. طبق فرضیه ای از بارتنیک اگر ‎$ m $‎ در شرط همگرایی شبه زمان(شرط انرژی قوی) صدق کند می توان آن را به صورت فضا ‎$ imes $‎ زمان در نظر گرفت. یعنی با فضا ‎$ imes $‎ زمان ایزو‎‎متر است. به چنین فضا زمانی جدایی پذیر گوییم. از طرفی با توجه...

در این پایان نامه, مفهوم مورفیسم شبه گروه های تعمیم یافته ی مورفیسم اتله ی هیفلیگر را معرفی خواهیم کرد. با این تعریف هر نگاشت برگ بندی شده ی پیوسته، یک مورفیسم بین شبه گروه های هولونومی متناظر القاء می کند. قضیه ی اصلی این پایان نامه به بیان این که هر مورفیسم بین شبه گروه های ریمانی کامل، کامل و دارای یک بستار است و هم چنین نگاشت هایش در طول بستار مدارها از کلاس‎$ c^{infty} $‎ هستند، می پردازد....

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

در این تحقیق مدلی از مقاطع پره توربین باد با محور افقی از خانواده ایرفویل­های موسسه انرژی های نو، شامل ایرفویل ریشه از نوعS823 ، در تونل باد مورد اندازه­گیری قرار گرفته است. جهت اندازه­گیری سرعت و شدت اغتشاشی از جریان سنج سیم داغ استفاده شده است. داده­برداری­ها در سرعت­های 5، 5/7 و 12 متر بر ثانیه و زوایای حمله 0، 7، 10، 13 و 15 درجه و در موقعیت­های 3، 2، 1،  =    انجام گرفته است. تاثیرات تغییر...

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

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

نشان می دهیم که در رسته ی فضاهای توپولوژی کاملاً مرتب، شبه f – فضاها و تقریباً p – فضاها یکسانند. در فضاهای توپولوژی کاملاً مرتب، p+ - نقطه ها، p- - نقطه وار و به طور طبیعی p+ - فضاها و p- - فضاها را تعریف می کنیم و مثالی از یک p+ - فضای بدون p- - نقطه می-آوریم که همچنین مثالی از یک تقریباً p – فضا بدون p – نقطه است. یک فضای کاملاً مرتب دارای درجه ی سختی شمارش پذیر است اگر و تنها اگر یک فضای دنبال...