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

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

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

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

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

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

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

در این تحقیق روش جدیدی را معرفی می کنیم که بدون آنکه در متغیرهای اولیه فضای فاز تغییری ایجاد شود یک سیستم نوع دوم را به نوع اول تبدیل می کند. بعد از این تبدیل و جانشینی عملگرها به جای متغیرهای ناوردای پیمانه ای جوابهای جابجاگر دیراک را بدست می آوریم. این روش یک روش متقارن است. در این روش یک سیستم مقید با هامیلتونی نوع دوم و دو قید نوع دوم t_1 و t_2 تعریف می شود. ایده اساسی این تئوری این است که ...

روش وردشی پایین مرتبه مقید ‏‎(locv)‎‏ برای دو دهه است که در مطالع ویژگیهای شاره های کوانتومی گوناگون مانند ماده هسته ای و نوترونی به کار برده می شود. اخیرا ویژگیهای گرمایی ماده هسته ای گرم و چگال نیز با روش ‏‎locv‎‏ مورد بررسی قرار گرفته است. این روش بر پایه کمینه سازی همزمان انرژی و یک قید استوار است. در این روش معمولا پایین ترین جمله در بسط خوشه ای انرژی را به عنوان تابع انرژی در نظر می گیرند...

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