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

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

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

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

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

در این پایان نامه، مفاهیم مسأله ی اینوکس نقطه ی زینی کان-تاکر، با قیدهای نابرابری و دوگان ضعیف موند-ویر را تعریف می کنیم و ثابت می کنیم که یک مسأله، اینوکس نقطه ی زینی کان-تاکر است اگر و فقط اگر هر نقطه، با ضریب لاگرانژ نسبی که در شرایط بهینگی کان-تاکر صدق کنند با هم، یک نقطه ی زینی از تابع لاگرانژ است. به علاوه شرایط لازم و کافی که تضمین می کند دوگانگی قوی بین مسأله با قیدهای نابرابری و دوگان ...

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