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

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

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

این پایان نامه، به بحث در مورد رفتارهای عددی معادلات انتگرال-دیفرانسیل تأخیری نوع ولترا که دارای کاربردهای وسیع در علوم فیزیکی و زیستی است، می پردازد. برای این منظور روش جدیدی را در پیش گرفته ایم بر این اساس که قسمت دیفرانسیلی این نوع معادلات را با روش رانگ - کوتای تک ضمنی مورد مطالعه قرار می دهیم و قسمت انتگرالی را با روش هم محلی (قاعده ی انتگرال گیری بول) تقریب می زنیم. پایداری و میزان دقت ای...

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

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

فضای توپولوژیک xرا ناهمبند اکسترمال، (یا ‎ed‎ در اختصار) گویند، هرگاه بستار هر مجموعه ی باز، مجدداً باز باشد. به وضوح هر فضای گسسته ناهمبند اکسترمال است، در حالی که عکس این مطلب صحیح نیست؛ بنابراین می توان گفت که این فضاها تعمیمی غیربدیهی از مفهوم گسستگی فضا هستند. از جهت دیگر هر فضای ‎ed‎ و t3‎، یک نمونه ی بسیار قوی از فضای ناهمبند است و بنابراین اگر صرفاً از منظر تعریف، فضاهای ‎ed‎ را پی بگیریم...

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

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

مقدمه: گل های گیاه گاوزبان از خانواده بوراژیناسه در طب سنتی ایران به عنوان مدر، مسکن، معرق و کاهنده فشار خون استفاده می شوند. در طب گیاهی اروپا از روغن دانه گاوزبان (نمونه اروپایی) به عنوان روغن حاوی اسید گاما- لینولنیک استفاده می شود. هدف: هدف از این پژوهش، شناسایی و تعیین درصد اسید های چرب موجود در روغن دانه های گیاه echium amoenum است. روش بررسی: دانه های گیاه مورد بررسی، توسط اسباب سوکسله و...