چکیده فرض کنید p و q دو چندضلعی در صفحه باشند. مساله تطابق برای این دو چندضلعی پیدا کردن تبدیلاتی نظیر انتقال و چرخش است بطوریکه فاصله ی دو چندضلعی تحت این تبدیلات حداقل شود. تمرکز ما بیشتر روی مقایسه مساحت اشتراک به عنوان معیار فاصله دو چندضلعی است. در این پایان نامه یک الگوریتم تقریبی تحت تبدیلات انتقال و چرخش برای دو چندضلعی محدب پیشنهاد داده ایم بدین ترتیب که زوایایی را در بازه [0,2π] با ف...

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

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

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

چکیده ندارد.

هدف از این پژوهش بررسی مولفه های رهبری معنوی از دیدگاه معلمان می باشد . روش تحقیق با توجه به هدف پژوهش توصیفی- پیمایشی و جامعه آماری تحقیق شامل کلیه ی دبیران مقطع متوسطه شهر زاهدان در سال تحصیلی 1391-1390 (867 نفر) و حجم نمونه (265 نفر) 86 دبیرمرد و 179 دبیر زن و روش نمونه گیری تصادفی ساده می باشد . ابزار گردآوری اطلاعات پرسشنامه رهبری معنوی فرای و همکاران (2005) با اندکی تغییرات می باشد که روا...

در این نوشته مختصر، مقصود نشان دادن لزوم لحاظ دو معنای وَلایت (با فتح واو) و وِلایت (با کسر واو) در نسبت با هم به عنوان بطون و ظهور یکدیگر و نه جدای از هم است. زیرا چنانکه خواهد آمد منشأ بسیاری از کج فهمی ها در این باب به همین جدایی میان این دو معنا و مشترک لفظی گرفتن کلمه ولیّ باز می گردد و اگر این دو معنا را مرتبط با هم لحاظ کنیم چنانکه در حکمت و فلسفه چنین اعتبار کرده اند مطلب به گونه ای دیگر خ...

طرح جامع تبریز با الهام از الگوی سنتی در سال 1374، به تصویب شورای عالی شهرسازی و معماری ایران رسیده، لکن تهیه طرح تفصیلی آن تا سال 1382 معطل مانده و ارائه نشده بود. با عنایت به اینکه افق طرح جامع تا سال 1383 و آمارهای برداشتی، داده ها و اطلاعات مقدماتی تهیه طرح جامع، مربوط به سالهای 72-1374 می باشد طرح به روز بودن خود را از دست داده، با این اوصاف بین زمان تهیه طرح و افق پیشنهادی برای سال 1383 و...

ارائه ی ملاکی مشخص برای تفکیک جرایم ناتمام شامل شروع به جرم، جرم عقیم و جرم محال از یکدیگر و تمییز عناوین مذکور از دیگر نهادهای مشابه، در تعیین نوع و میزان واکنش علیه مرتکب مؤثر خواهد بود. جامع ترین و بهترین معیاری که می توان به عنوان برآیند این اثر ارائه داد، امکان یا عدم امکان وقوع جرم در زمان شروع به اجرا است؛ بدین توضیح که، در فرض اول؛ هرگاه در زمان ورود به عملیات اجرایی (شروع به اجرا) تحقق...

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