نتایج جستجو برای: منطق وجهی مرتبه اول
تعداد نتایج: 90974 فیلتر نتایج به سال:
در این تحقیق، پسروی گرینهای دوبعدی موتورهای سوخت جامد با روش سطوح همتراز مرتبه دوم شبیهسازی شده و این روش از نظر نحوه پیاده سازی، میزان دقت و زمان اجرا با روش سطوح همتراز مرتبه اول مقایسه شده است. بدین منظور، با درنظرگرفتن الزامات کلی روش سطوح همتراز و با هدف تحلیل پسروی، الگوریتمی متشکل از پنج گام شبکهبندی، محاسبه تابع حداقل فاصله، تعیین وضعیت نسبی، محاسبه مشخصههای بالستیکی و استخراجنت...
هدف از این مطالعه، کمیت بخشی به پارامترهای نامشخص طراحی و احتساب مستقیم اثرات پارامترهای نامعین در تحلیل سازه ای به منظور ارزیابی شاخص های قابلیت اعتماد می باشد. با این وجود اگر روش های قابلیت اعتماد با حل های متداول تحلیل سازه ای مرتبط نگردد، کمتر مورد استفاده قرار می گیرند. لذا ضروری است که این گونه روش ها با حل های اجزاء محدود ادغام گردند. برای این منظور در این مقاله، روشی جهت تعیین شاخص های...
پژوهش با هدف، ارزیابی جایگاه ابعاد و مؤلفه های هوش فرهنگی در محتوای کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه ایران به روش توصیفی، از نوع تحلیل محتوا انجام شد. جامعه پژوهشی، کلیه کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه در سال تحصیلی 94- 1393 است که با توجه به انطباق با منطق تحلیلی پژوهش از نمونه گیری هدفمند استفاده شده و همه چهار کتاب درسی مطالعات اجتماعی سال اول، جامعه شناس...
این مقاله نقش یا کارکرد شواهد مرتبه بالاتر را در بحث اختلافِ نظر معرفتی بررسی می کند. پس از ارائه تعریفی از شواهد مرتبه اول و شواهد مرتبه بالاتر و تأکید بر تمایز میان آنها، به نفعِ این دیدگاه استدلال می کنم که شواهد مرتبه بالاتر مستقل از شواهد مرتبه اول، شاهد به شمار نمی آیند. سپس از طریق مثال داروی اختلال یکی از مشهورترین دیدگاه های معرفت شناسان معاصر، یعنی دیدگاه دیوید کریستن سن را درباره شواهد...
آلیاژهای حافظهدار به علت نمایش رفتارهای ویژه از جمله میرایی بالا، قابلیت حافظهداری و سوپرالاستیسیته برای کاربرد در سامانههای مختلف مهندسی مورد توجه قرار گرفتهاند. همچنین باتوجه به توسعه کاربرد سازههای کامپوزیتی و به خصوص ساختارهای ساندویچی در صنایع مختلف از جمله هوافضا، برای اولین بار در کار حاضر تلاش شده تا اثر برخی از ویژگیهای آلیاژهای حافظهدار بر رفتار ارتعاشات آزاد پانل ساندویچی حافظ...
با ورود کامپیوتر و فناوری های نوین به حوزه آموزش و آموزش های الکترونیکی، نوعی از ارزشیابی به نام ارزشیابی الکترونیکی مطرح گردید. در ابتدا این ارزشیابی ها همان ارزشیابی های متداول بودند که تنها قالبی تحت وب داشتند و پس از مدتی به ارزشیابی های نیمه پویا تبدیل شدند. در برخی از تحقیقات پارامترهای هر سوال به منظور ارزشیابی دانش یادگیرنده به کمک نظریه سوال-پاسخ تعیین می گردد. آزمون شونده با یک سطح تو...
هدف از این تحقیق تحلیل غیر خطی خمش و کمانش قطاع صفحات مدرج تابعی در راستای شعاعی تحت بار مکانیکی می باشد. خواص مکانیکی صفحۀ تابعی در جهت شعاع با استفاده از مدل موری- تاناکا تعیین شده است. معادلات غیر خطی بصورت نموی و با استفاده از تئوری تغییر شکل های برشی مرتبه اول و فرضیۀ تغییر شکل های بزرگ فون کارمن ارائه گردیده اند. برای حل معادلات غیرخطی نموی از روش رهایی پویا و روش تفاوت های محدود استفاده ...
به گروه متناهی g یک گراف ساده موسوم به گراف اول وابسته می شود که آن رابا ?(g می دهیم. در این گراف مجموعه رئوس عبارت است از ?(g یعنی مجموعه اعداد اول شمارنده |g| و دو رأس p و q به هم وصلند هرگاه گروه g عضوی از مرتبه pq داشته باشد. گروه معین g را r-بار شناسایی پذیر به وسیله گراف اول گوییم هرگاه دقیقا r گروه غیریکریخت مانند h وجود داشته باشد به طوری که ?(h)=?(g . در حالت خاص وقتی یک گروه توسط گر...
منطق تکنرم UL یک منطق فازی، زیرساختاری و نیمهربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست میآید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تکنرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی میکنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست میآید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...
یک ساختار متریک عبارت است از یک فضای متریک به همراه تعدادی رابطه و عمل پیوسته روی آن. هر ساختار مرتبه یکم یک ساختار پیوسته است. منطق پیوسته گسترشی از منطق مرتبه یکم است که برای مطالعه ساختارهای متریک بنا شده است. هدف این پایان نامه مطالعه نیرش (فورسینگ) در منطق مرتبه یکم و منطق پیوسته و اثبات قضیه حذف تایپ در آنها می باشد. نخست به طرح چارچوب اصلی در منطق مرتبه یکم می پردازیم. سپس با انجام تغییر...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید