نتایج جستجو برای: عملگر گودل

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

ژورنال: مهندسی هوانوردی 2014
میرزایی, سعید, پسندیده فرد, محمود,

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

ژورنال: :دانش آب و خاک 2011
علی سلطانی محمد علی قربانی احمد فاخری فرد صابره دربندی داود فرسادی زاده3

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

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

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

ژورنال: :مکانیک سازه ها و شاره ها 2014
محمد جواد میرشجاعیان حسینی مهدی علیاری شوره دلی

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

ژورنال: :علوم 0
سید مجتبی دهنوی دانشگاه تربیت معلم اکبر محمودی ریشکانی akbar rishakani researcherمحقق محمد رضا میرزایی شمس آباد mohammad reza shams abad researcherمحقق عین ا... پاشا einolla pasha professorاستاد تمام

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

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

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

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

ژورنال: :منطق پژوهی 0
کامران قیوم زاده استاد یار گروه آموزشی فلسفه و منطق دانشگاه تربیت معلم آذربایجان

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

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

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

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

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