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

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

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

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

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

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

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

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

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

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