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

strr یک تنظیم کننده کلیدی در رونویسی خوشه ژنی بیوسنتز آنتی بیوتیک استرپتومایسین است. این پروتئین توسط ژن strr استرپتومایسس گریزئوس با طول 1053 جفت باز کد می شود. هدف این تحقیق، کلونینگ ژن strr از سویه استرپتومایسس گریزئوس ایرانی ptcc1127 و همچنین atcc1952 درناقل pma::hyg بود. برای این منظور پرایمرهای اختصاصی ژن strr با نرم افزار oligo طراحی شدند، قطعه با طول 1134جفت باز به روش pcr تکثیر شد. سپس...

گراف مقسوم علیه صفر یک حلقه ‎s‎ که لزوما تعویض پذیر نیست و با ‎vec {?}(s) ‎ نمایش داده می شود، یک گراف ساده جهت دار است که در آن مجموعه مقسوم علیه های صفر ناصفر به عنوان رئوس در نظر گرفته می شوند و راس ‎a‎ به ‎b‎ توسط یک جهت به صورت ‎a ? b ‎ متصل است اگر و تنها اگر ‎ab=0‎. فرض می کنیم ‎r‎ یک حلقه تعویض پذیر یکدار و t_{n}(r)‎ حلقه ی ماتریس های بالا مثلثی ‎n×n‎ روی ‎r‎ باشد. در این پایان نامه گر...

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

در این مقاله دورهای برداشتنی بدین معنی تعریف می شوند: اگر f یک کلاس از گراف ها (دی گراف ها) باشد که در خاصیت معینی صدق کند ، g in f دور c در g با گره برداشتنی است هرگاه g-v(c) in f دورهای با گره برداشتنی از گراف ها ی اویلری مطالعه می گردند. ما دورهای با اضلاع برداشتنی از گراف های منظم (دی گرافها) را نیز مطالعه می کنیم.

در سالهای اخیر، افزایش تقاضا برای نرخ داده بالا و محدودیت در پهنای باند قابل دسترس، محققین را به بررسی و تحقیق درباره سیستمهای بیسیم که به صورت موثر و کارآمد از فضا بهره برداری میکنند، سوق داده است. رویداد قابل توجه در مخابرات بیسیم که بسیار کارآمد نیز هست، به کار بردن آنتنهای چندگانه در فرستنده و گیرنده میباشد. این رویکرد به سیستمهای مخابراتی چند ورودی- چند خروجی (mimo) انجامیده است. کاربرد آن...

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

مدل‌سازی متابولیسم تولید شیر مبتنی بر بازسازی شبکه متابولیکی دخیل در تولید شیر، احتمالا می تواند  منجر به دیدگاهی سیستمی به این فرآیند پیچیده و درک بهتر آن گردد. این بازسازی با استفاده از اطلاعات ژنومی قابل دسترس گاو امکان‌پذیر است. در این پژوهش، شبکه متابولیتی درگیر در تولید شیر در گاو، بازسازی و آنالیز شده است. بدین منظور، ابتدا اطلاعات موجود در پایگاه داده­های NCBI ، Uniprot ، KEGG  و Brenda...