منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

یک ایدۀ بسیار معروف در معرفت‌شناسی امکان این است که تخیل‌پذیری یک گزاره، راهنمای خوبی برای امکان آن است. یبلو (1993) مدلی برای توجیه باورهای وجهی ارائه کرده است که بنابر آن تخیل­پذیری یک گزاره، شاهدی بر امکان آن است. ون اینواگن (1998) بر این باور است که هر کسی که مدل یبلو را بپذیرد باید موضع او، شک گراییِ وجهی را بپذیرد. ون اینواگن برای اینکه برای موضع خود استدلال کند، وضعیت وجهی گزارة «آهن شفاف...

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

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

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

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

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

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

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

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