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

دوگان موضعی فضای باناخ‎‎ ‎x‎‎‎‎‏‏، زیر فضایی بسته ‏از ‎ ‎x‎^{*}‎ ‎‎‎‏ است که در شرایط اصل انعکاس موضعی نسبت داده شده به ‎‎x‎ ‎ ‏به عنوان زیر فضایی از ‎ ‎x‎^{**}‎ ‎ ‎‎‏ صدق می کند. در این پایان نامه به معرفی فضاهای دوگان موضعی می پردازیم. جزئیات خاصیت های اصلی از این مفهوم را توضیح می دهیم. در این جا خاصیت های تکنیکی که ویژگی های فضاهای دوگان موضعی فضای باناخ را معرفی می کند را بیان می کنیم و...

در این مطالعه از مدل دانسیته موضعی ساده شده (sld) به منظور بیان جذب سطحی چندین گاز خالص و مخلوط های دوتایی و سه تایی تشکیل شده از اجزای مذکور استفاده شده است. خواص سیال به کمک معادلات حالت pr و esd محاسبه شده است . سه حالت مختلف در تعیین پارامترهای مدل مورد ارزیابی قرار گرفته است. در حالات 1 و 2 به ترتیب مدل دارای 2 و 1 پارامتر قابل تنظیم است. در حالت 3، هیچ یک از پارامترهای مدل تنظیم نشده اند....

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

در این رساله، جبرهای که توسط خودتوان هایشان تولید می شوند را مطالعه و احکامی در این جبرها بیان و اثبات می کنیم. سپس اشتقاق های موضعی و خودریختی های 2-موضعی ، را روی این جبرها تعریف و بررسی می کنیم. با فرض این که l یک شبکه زیرفضایی جابجایی و m یک algl-مدول باناخ است ثابت می کنیم هر اشتقاق موضعی کراندار از algl به m یک اشتقاق است و اگر a یک زیر جبر از فون- نویمان m باشد هر اشتقاق موضعی از a به m ...

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

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

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

چکیده ندارد.

فرض کنید r یک حلقه ی نوتری جابجایی و m یک r-مدول متناهی مولد باشد. در این پایان نامه نشان خواهیم داد که اگر برای یک عدد صحیح t ، به ازای هر i<t، h_a^i (m)، -مین مدول کوهمولوژی موضعی نسبت به ایده آل a متناهی مولد باشد آنگاه به ازای هر عضو a-فیلتر رشته ی منظم مانند که در توانهای به اندازهی کافی بزرگ a قرار دارد و هر i<t-1، داریم: h_a^i (m/xm)?h_a^i (m)? h_a^(i+1) (m).