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

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

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

در این پایان نامه ابتدا مفهومی از‎f-متریک به عنوان نگاشتی با فاصله تابع مقدار، روی مجموعه ‎x‎ معرفی می شود و نظریه فضاهای ‎$f$-‎متریک بررسی میشود. نشان می دهیم که هر فضای متریک می تواند به عنوان یک فضای ‎f‎-متریک تلقی شود و هر فضای f‎-متریک می تواند به عنوان یک فضای توپولوژیک در نظر گرفته شود. علاوه بر این نشان می دهیم که رسته ی موسوم به گسترش یافته فضاهای ‎-f‎متریک، شامل رسته ی فضاهای متریک اس...

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

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

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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