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

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

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

در این رساله که در هفت فصل تنظیم شده است مطالب مورد بحث و بررسی عبارتند از: -1 استفاده از اپراتورهای td و iid در تعیین وجود جواب معادلات دیفرانسیل با مشتقات جزئی -2 تبدیلات فرم مختلط معادلات دیفرانسیل جزئی -3 معادلات دیفرانسیل جزئی غیرخطی با شرایط مرزی -4 تعمیم مساله با مقدار مرزی هیلبرت (hilbert). یکی از اهداف اصلی آنالیز مختلط کاربردهای استاندارد و سیستماتیک در معادلات دیفرانسیل جزئی است که ت...

معادلات برآوردی تعمیم یافته مرتبه اول و دوم و کاربرد آن در تحلیل داده های   طولی ریزنشت       دکتر فرید زایری 1 - سمیه بردی نشین2 - دکتر علیرضا اکبرزاده باغبان3 – دکتر مامک عادل 4 – دکتر سعید عسگری 5   1- استادیار مرکز تحقیقات پروتئومیکس دانشکده پیراپزشکی دانشگاه علوم پزشکی شهید بهشتی   2- دانشجوی کارشناسی ارشد گروه آموزشی آمار زیستی دانشکده پیراپزشکی دانشگاه علوم پزشکی شهید بهشتی   3- استادیار...

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

در این پایان نامه تحلیل ریاضی و عددی تیر با خیز نسبتاً زیاد، تحت بار دینامیکی عرضی و بار محوری ارائه شده است. تیر همگن و همسانگرد است و شرایط مرزی به صورت تکیه گاه ساده در نظر گرفته شده است. در استخراج معادلات، میدان جابه جایی به کمک تئوری تغییر شکل برشی مرتبه ی اول تخمین زده می شود. سینماتیک مسأله بر اساس روابط کرنش- جابه جایی فن-کارمن و رابطه ی بنیادین، رابطه هوک است. معادلات حاکم برحرکت تیر، ...

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