نتایج جستجو برای: منطق وجهی مرتبه اول

تعداد نتایج: 90974  

ژورنال: :علوم و فناوری فضایی 0
محمد مهدی قیصری شهید بهشتی - مهندسی انرژی و فناوری نوین سید مهدی میرساجدی

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

ژورنال: :مکانیک هوافضا 0
سهراب آسترکی sohrab astaraki aerospace department - air university - azadi squareمیدان آزادی دانشگاه هوائی شهید ستاری دانشکده مهندسی هوافضا

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

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

پژوهش با هدف، ارزیابی جایگاه ابعاد و مؤلفه های هوش فرهنگی در محتوای کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه ایران به روش توصیفی، از نوع تحلیل محتوا انجام شد. جامعه پژوهشی، کلیه کتاب های درسی حوزه مطالعات اجتماعی دوره دوم متوسطه در سال تحصیلی 94- 1393 است که با توجه به انطباق با منطق تحلیلی پژوهش از نمونه گیری هدفمند استفاده شده و همه چهار کتاب درسی مطالعات اجتماعی سال اول، جامعه شناس...

ژورنال: :فصلنامه علمی پژوهشی نقد و نظر (فصلنامه علمی پژوهشی فلسفه و الاهیات) 0
امید کریم زاده استادیاردانشگاه شهید بهشتی، پژوهشکده مطالعات بنیادین علم و فناوری

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

ژورنال: :نشریه مهندسی مکانیک امیرکبیر 2013
علی مظفری محمد کرمی امیرحسین آذرنیا

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده علوم پایه 1391

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

ژورنال: :مکانیک هوافضا 0
محمد اسماعیل گلمکانی مشهد-قاسم آباد- بلوار امامیه- خ استاد یوسفی- دانشگاه آزاد اسلامی مشهد- دانشکده مهندسی- گروه مهندسی مکانیک مصطفی امامی مشهد-قاسم آباد- بلوار امامیه- خ استاد یوسفی- دانشگاه آزاد اسلامی مشهد- دانشکده مهندسی- گروه مهندسی مکانیک

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی خواجه نصیرالدین طوسی - دانشکده علوم 1389

به گروه متناهی g یک گراف ساده موسوم به گراف اول وابسته می شود که آن رابا ?(g می دهیم. در این گراف مجموعه رئوس عبارت است از ?(g یعنی مجموعه اعداد اول شمارنده |g| و دو رأس p و q به هم وصلند هرگاه گروه g عضوی از مرتبه pq داشته باشد. گروه معین g را r-بار شناسایی پذیر به وسیله گراف اول گوییم هرگاه دقیقا r گروه غیریکریخت مانند h وجود داشته باشد به طوری که ?(h)=?(g . در حالت خاص وقتی یک گروه توسط گر...

ژورنال: منطق پژوهی 2020

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی 1391

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید