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

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

در این نوشتار مدلی برای تعیین زمان بندی بهینه ی چرخشی کارگاهی باز طراحی می شود. برای انجام هر عملیات چندین منبع مورد نیاز است که به طور هم زمان باید از تمامی آن ها استفاده شود. این مسئله از لحاظ پیچیدگی محاسباتی در رده ی مسائل n p-h a r d قرار دارد. ابتدا نشان می دهیم که این مسئله را می توان به مسئله ی رنگ آمیزی دایره یی رئوس یک گراف تبدیل کرد. آنگاه، الگوریتمی در چارچوب روش فراابتکاری جامعه ی ...

در این پایان نامه مسأله ماکزیمم جریان در گرافهایی که در آنها یالها و رئوس دارای ظرفیت میباشند مورد بررسی قرار میگیرد. این مسأله برای گرافهای مسطح از اهمیت بیشتری برخوردار است. در حالت کلی اضافه کردن ظرفیت به رئوس، مسأله ماکزیمم جریان را مشکلتر نمیکند و با یک تبدیل ساده میتوانیم ظرفیت رئوس را حذف کنیم. اما این تبدیل مسطح بودن گراف را حفظ نمیکند. بنابراین الگوریتمی در زمان o(nlogn) برای پیدا ک...

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

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

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

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

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

چکیده زمینه و هدف: گزارش فردی کاربردی ترین و مقرون به صرفه ترین ابزار ارزیابی عادات خواب می باشد. به هرحال خطای اندازه گیری یک مشکل شایع استفاده از گزارش فردی در بررسی های پزشکی می باشد. هدف مطالعه ی حاضر ارزیابی گزارش فردی الگوی خواب در مقایسه با دستگاه عینی اکتی گراف در بررسی الگوی خواب کودکان بود. روش بررسی: مطالعه ی حاضر به صورت مقطعی بر روی 270 دانش آموز 6 تا 9 ساله که با استفاده از روش نم...