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

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

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

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

در این پایان نامه که بر اساس مرجع [11] تنظیم شده است یک معیار جدید برای عملگر‎k‎ ‎-هیپونرمال ‎‎‎از طریق عملگر زیر‎نرمال ضعیف به دست خواهیم آورد. با استفاده ازمعیار به دست آمده، نوع‎ ‎قوی تری‎ از معیار زیرنرمال اسپیکووسکی‎‎‎ ‎‎را ارائه می دهیم و یک اثبات ساده از نتیجه ی اصلی مرجع [18] که یک فاصله ی بین ‎-‎k‎‎هیپونرمال و ‎‎-‎k‎+1‎هیپونرمال برای عملگرهای توپلیتز ‎‎‎‎را شرح می دهد، به دست می آوریم....

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

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

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

مطالعه قضایای حدی و قانون اعداد بزرگ در نظریه احتمال به جهت ارتباط جنبه های عملی و تئوری نظریه کلاسیک اهمیت زیادی دارد. فرض کنیم {xn, n?1} دنباله ای از متغیرهای تصادفی با مقادیر حقیقی روی فضای احتمال (?, f, p) و sn???xi آنگاه بر حسب اینکه sn - an/bn در احتمال یا تقریبا همه جا به صفر همگرا باشد قانون ضعیف اعداد بزرگ و قانون قوی اعداد بزرگ را خواهیم داشت {an, n?1} دنباله ای از اعداد حقیقی و {bn, ...