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

در این پایان نامه ارتباط نزدیکی بین خاصیت میانگین پذیری یک نمایش یکانی (پی) از یک گروه ‏‎g‎‏خاصیت تمرکز دستگاه دینامیکی متناظر با آن یعنی ‏‎(s , g)‎‏ برقرار می کنیم که در آن ‏‎s‎‏(پی) کره واحد در فضای نمایش هیلبرت می باشد.ثابت می کنیم که (پی) میانگین پذیر است . اگر و فقط اگر یا (پی) شامل یک زیر نمایش با بعد متناهی باشد یا فشرده سازی یکنواخت ماکسیمال از ‏‎s‎‏(پی) شامل یک ‏‎g‎‏- نقطه ثابت باشد.ای...

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

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

در این پایان نامه، زنجیره ی آیزینگ اسپین-2/1 در حضور میدان مغناطیسی و برهمکنش ژیالوشینسکی- موریا در نظر گرفته شده است. ابتدا با استفاده از عملگر دوران، همیلتونی فوق به همیلتونی زنجیره ی xxz در حضور میدان طولی تبدیل شده و توسط تبدیلات جوردن- ویگنر نمایش فرمیونی آن تعیین می شود. نمایش فرمیونی دارای جمله ی برهمکنش فرمیونی است که حل دقیق را غیر ممکن می سازد. در این شرایط باید به طور تقریبی مسئله را...

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

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

زنجیره های دو همیلتونی کلی گروه پایای چند مولفه ای معادلات سولیتون از یک منحنی شار واقع در فضاهای ریمان متقارن m=g/hاقتباس شده اند. معادلات سولیتون به صورت شفافی از شار القا شده برروی بردار نرمال اصلی n درطول منحنی به وجود می آیند و پایایی تحت زیر گروه هم ارزی واقع در h که حافظ بردار یکه t واقع در دستگاه مختصات و هر نقطه واقع بر منحنی مانندx را نشان می دهند. ساختار انتگرال پذیری دو همیلتون این...

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