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

در این تحقیق نانو ذرات اکسید روی با استفاده از عصاره گل کاغذی با موفقیت سنتز شد. فرآیند تشکیل نانو ذرات اکسید روی بوسیله طیف سنج فرابنفش- مرئی (uv-vis) تعیین گردید. علاوه بر این شناسایی نانو ذرات اکسید روی با استفاده از میکروسکوپ الکترونی روبشی (sem) و طیف سنج پرتو ایکس (xrd) نیز انجام شد. تصاویرsem نانو ذرات اکسید روی غیر متراکم شده به طور یکنواخت را نشان می دهد. نتایج xrd وجود نانو کریستال ها...

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

در این پایان‏نامه 48 نمونه از رسوبات سواحل رامسر به روش هسته‏برداری از عمق‏های 0-6، 6-12، 12-18، 18-24، 24-30 و یک نمونه از مخلوط رسوبات سطحی و عمقی جمع‏آوری شد. پس از آماده‏سازی نمونه‏ها، طیف‏گیری از نمونه‏ها با استفاده از دو آشکارساز(hpge) با بازدهی‏ نسبی 5/38% و 55% و‏ نرم‏افزارهای akwin و lsrmbsi صورت پذیرفت و در نهایت با داشتن سطح خالص هر یک از قله‏های u238، ra226، u235، th232، k40 و cs137...

فرض کنیم ‎x‎ ‎ و ‎ ‎k‎ ‎ مجموعه های صفحه ای فشرده باشند به طوری که‎. k ? x بستار یکنواخت توابع چند جمله ای بر ‎ ‎k‎ را با ‎ ‎p(k)‎ ‏، بستار ‎‎‎یکنواخت توابع گویا بر ‎ k ‎ که قطب هایش خارج از ‎k‎ است را با ‎ ‎r(k)‎ و جبر متشکل از توابع پیوسته بر ‎ ‎k‎ ‎ که بر ‎ ‎int(k)‎ تحلیلی هستند را با ‎ ‎a(k)‎ ‎ نشان می دهیم. ‎ p(x , k) ‎‏، ‎‎ ‎r‎(x , ‎k)‎‎‎‎‎و ( ‎a‎(x , ‎k ‎ را مجموعه های از توابع در ‎ ‎c(x...

فرض کنیم فضاهای فشرده ی هاوسدرف باشند، aیک زیر فضای خطی-مختلط نیم x و y فضاهای فشرده ی هاوسدرف باشند، aیک زیر فضای خطی-مختلطc (x ) باشد که به نرم یکنواخت مجهز شده است و t: a c (y) یک نگاشت خطی –حقیقی طولپای باشد. هدف ما در این پایان نامه مشخص کردن ساختار t تحت شرایط خاصی بر aو t(a) است. بالاخص، در حالتی که a یک فضای تابعی یکنواخت بر x است و t(a) یک زیر فضای خطی-حقیقی c(y) است که در خاصیت تفکیک...

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

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

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