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

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

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

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

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

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

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

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

هدف: هدف پژوهش حاضر بررسی نقش بازداری پاسخ در پیش‌بینی علائم اختلالات رفتاری کودکان کم‌توان ذهنی آموزش پذیر مقطع ابتدائی باواسطه گری سبک‌های فرزند پروری بود. روش: این پژوهش توصیفی از نوع همبستگی است. در این پژوهش 150 دانش‌آموز کم‌توان ذهنی آموزش پذیر با استفاده از روش نمونه‌گیری هدفمند از مدارس تبریز انتخاب شدند. سپس، پرسشنامه‌های سیاهه رفتاری کودک (CBCL) و سبک‌های فرزند پروری بامیرند توسط والد...

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