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

مقدمه 1-1اهمیت بررسی واکنش متیل سولفید با اوزون درک منابع نسبی گوگرد در اتمسفر به منظور تعیین تغییرات آب و هوایی و فرایند های محیط زیست بسیار حیاتی و مهم است(1). دی متیل سولفیدها که به طور عمده ازفعالیت فیتوپلانکتونها تولید می شوند یکی از منابع مهم زیستی گوگرد در اتمسفر است(2-3). از اکسید شدن دی متیل سولفیدها در اتمسفر به طور عمده ch3s به وجود می آید، که با اکساینده های اتمسفری بسیار مهمی از...

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

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

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

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

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

مطالعه میکروسکپی سینتیک واکنشهای شیمیایی بوسیله دو نظریه معروف تئوری برخورد، ct ، و تئوری حالت گذار، tst انجام می شود. ثابت سرعت واکنشهای دو مولکولی فاز گازی را می توان با استفاده از مدل ساده برخورد محاسبه نمود. برای برخی از واکنشها، ثابتهای سرعت محاسبه شده توسط این مدل در توافق با مقادیر تجربی نیستند. اکثر پژوهشگران این مشکل را به پارامترتجربی فاکتور ممانعت فضایی، p ، و سطح مقطع برخورد موثر، s...

در این تحقیق تعادلات توتومری نیتروز آمین و حالت گذار حاصل از انتقال 1و3 اتم هیدروژن با استفاده از محاسبات کوآنتومی مورد بررسی قرار گرفت. تعادلات در حضور یک تا سه مولکول (آب و آمونیاک) و به صورت دیمر و تریمر نیز انجام شد. بدین منظور انرژی و ساختارهای بهینه با استفاده از نظریه تابعیت چگال با استفاده از تابعیت b3lyp و سری پایه 6-311++g(d,p) در فاز گاز بدست آمدند. توسط محاسبات فرکانسی، توابع ترمودی...

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