قطعنامه 1803 که چهارمین قطعنامه شورای امنیت (و سومین قطعنامه تحریم) علیه ایران است، در شرایطی به تصویب رسید که به دلیل اجرای موفقیت‌آمیز بخشهای مهم مدالیته ایران و آژانس و تأیید رسمی این امر در گزرش اسفند سال 1386 البرادعی، گمان می‌رفت که شورا از رویه‌ای که دوسال در پیش گرفته، منصرف شود. اما شورا با تکیه بر اینکه قطعنامه مارس 2005 شورای حکام هنوز توسط ایران به صورت کامل اجرا نشده است (بویژه در...

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

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

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

هدف از نگارش این مقاله، به­دست‏دادن تحلیلی جامع از نحو ساخت کنایی برپایۀ مشاهدات داده­های زبان کردی است. در این پژوهش، با استناد به سیر تاریخی فعل‏های کنایی و همچنین ذکر شواهدی از ساخت­های شبه­کنایی، مانند گزارۀ­ «داشتن»، گزارۀ «خواستن»، شکل مجهول تز فعل‏های دو‏مفعولی و نمونه­های مشابه از لهجۀ هورامی، استدلال کرده‏ایم که الگوی کنایی، در ساخت‏هایی نمایان می‏شود که فعل متعدی (کنایی) نتواند به مفع...

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

مفهوم مجموعه فازی در سال 1965 توسط لطفی زاده در [17] بعنوان تابعی از مجموعه دلخواه x به فاصله [0,1] مطرح شد. سپس زاده در سال 1971 مفهوم فوق را به مفهوم روابط فازی در [18] توسعه داد. نخستین مقاله مربوط به نظریه گراف توسط لئونارد اویلر [2] (1707-1783) ریاضیدان سویسی نوشته شد که جزء مجموعه انتشارات آکادمی علوم سن پترزبورگ (لنینگراد) در سال 1736 به چاپ رسید. روزنفلد در سال 1975 [14] مفهوم گراف فازی...

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

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