چکیده ندارد.

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

فرض کنیم x یک گراف باشد. گراف x را رأس انتقالی ویال انتقالی یا کمان انتقالی (متقارن)گوییم هرگاه گروه خودریختی های گراف x یعنی (aut(x روی مجموعه رئوس و یال هاوکمان هاانتقالی باشد. فرض کنیم x یک گراف رأس انتقالی و(aut(x دارای دو مدار با طول برابر بر روی مجموعه کمان های گراف x باشد. در این صورت گراف x را نیم کمان انتقالی یا نیم یال انتقالی گوییم هرگاه (aut(x به ترتیب یک یا دو مدار روی مجموعه یال ه...

فرض کنید r یک حلقه جابه جایی با همانی ناصفر باشد. دوگان گراف مقسوم علیه صفر r، که با نماد(??(r نشان داده می شود، گرافی است ساده با مجموعه راس های (w*(r که (w*(r مجموعه عناصر ناصفر و نایکال r می باشد و دو راس متمایز x و y مجاورند اگر و تنها اگر x عضو ry نباشد و y عضو rx نباشد. در این پایان نامه، ارتباط بین r و (??(r را بررسی می کنیم. همچنین ارتباط بین (??(r با گراف مقسوم علیه صفر و گراف هم م...

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

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

در این پایان نامه به بررسی ساختار قیدی مدل ‎cp(1)‎ در فضای ناجابجایی می پردازیم. در این مدل به علت حضور قیود نوع دوم تقارن پیمانه ای سیستم شکسته می شود. با استفاده از رهیافت ‎bft‎ قیود نوع دوم را به نوع اول تبدیل کرده وسیستم را پیمانه ای می کنیم. در پایان با بدست آوردن تابع پارش برای این سیتم نشان می دهیم که این مدل آماده کوانتش به روش های معمول است.

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

یکی از راهکارهای کاهش تلفات در شبکه​های توزیع استفاده از تجدید آرایش فیدرهای فشار متوسط متناسب با سطوح بار مختلف سیستم است. تعداد آرایش​های ممکن یک شبکه­ی توزیع بسیار زیاد است و امکان بررسی تمام آرایش​ها (مخصوصاً در شبکه​های با مقیاس بزرگ) برای یافتن آرایش بهینه به راحتی میسر نیست. در این مقاله یک الگوریتم جدید مبتنی بر نظریه­ی گراف و الگوریتم­های توسعه یافته­ی آن برای تجدید آرایش شبکه​های توزیع...

In this study, the noncommutative problems of quantum mechanics in the presence of the classical gravitation field are investigated. It is shown that spaectime will fail by Schwarzschild metric, and classical response to the gravitational field, will be equal to the change in the geodesic derivation equation