در این پایان نامه، ابتدا با نحوه ی ترسیم شکل های ورونی در صفحه ی با نرم l2‎ آشنا می شویم. ترسیم این شکل ها به دو شیوه ممکن است. روش اول استفاده از الگوریتم جاروب صفحه است که در زمان o(nlog n)‎ شکل را ترسیم می کند. روش دوم که روش مثلث بندی نام دارد، روش مستقیم است که با استفاده از رسم عمودمنصف های بین هر دو نقطه و متصل کردن آن ها به هم، شکل ها را ترسیم می کند. در ادامه با الگو گرفتن از الگوریتم ...

چکیده ندارد.

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

مثلث بندی مجموعه نقاط s در صفحه، برابر با بزرگترین گراف راست خط مجموعه رئوس است به طوریکه گراف حاصل مسطح باشد. در مساله مثلث بندی با کمترین وزن به دنبال مثلث بندی هستیم که مجموع طول یال های آن کمترین باشد. حل پذیری این مساله در زمان چندجمله ای در حدود 40 سال به صورت مساله باز باقیمانده بود تا اینکه در سال 2006 میلادی np-سخت بودن آن به اثبات رسید.در این پایان نامه روش های ارایه شده برای حل این م...

رشته خط‌مشی گذاری عمومی به عنوان یک دانش مسئله- محور، با هدف حلّ مسائل عمومی شکل گرفت. حال این سوال وجود دارد که چگونه می‌توان مسائل و چالش‌های خط‌مشی‌گذاری عمومی- که خود به دنبال حل مسائل عمومی است- را واکاوی نمود؟ بدین منظور نیازمند طراحی چارچوبی برای تبیین چالش‌های خط‌مشی‌گذاری عمومی هستیم. از آنجا که سطح تبیین‌گری چنین چارچوبی از طریق تطبیق با یکی از موضوعات متداول در کشور افزایش خواهد ی...

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

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

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

اساس کار در فتوگرامتری رقومی، تصاویر رقومی است. با داشتن این تصاویر اندازه­ گیری اتوماتیک امکان ­پذیر خواهد بود. یکی از وظایف اصلی در مثلث ­بندی هوایی، اندازه گیری تصاویر است سازماندهی در روند اندازه­ گیری­ها در کارایی مثلث ­بندی هوایی مؤثر است. از امتیازات مطرح در فتوگرامتری رقومی انجام قدم به قدم تمام مراحل کار با استفاده از کامپیوتر می­ باشد. مشخصه اصلی مثلث­ بندی هوایی خودکار، در روش ­های ا...

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