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

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

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

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

در این مقاله، پردازنده ضرب عددی خم بیضوی کارآمد در میدان باینری gf(2163) طراحی و با استفاده از کدهای قابل سنتز vhdl پیاده سازی شده است. طراحی معماری های جدید و کارآمد برای واحدهای محاسبات میدان و به ویژه واحد محاسباتی ضرب میدان منجر به کاهش طول مسیر بحرانی پردازنده شد. همچنین استفاده از اجرای موازی عملیات ضرب میدان در الگوریتم ضرب عددی lopez-dahab و جدا نمودن مسیر جمع دو نقطه از کلید باعث بهبود...

واژۀ «ضرب» دارای معانی حقیقی و مجازی است. در قرآن و روایات و به تبع آن در متون فقهی، مسئلۀ «ضرب زوجه» به عنوان یکی از ابزارهای تنبیه زن ناشزه که وظایف شرعی و عرفی خود را انجام نمی دهد، مطرح شده است. سؤال آنست که آیا از معنای حقیقی «ضرب» به معنای «زدن و تنبیه بدنی» که نظر مشهور فقهاست، استفاده کنیم یا از یکی از معانی مجازی آن یعنی «اعراض»؟ بر اساس روش اجتهادی، بیان ادلۀ احکام، کتب لغت، اقوال و ا...

در این پایان نامه، تأثیر وجود صفحه جداکننده بر جریان و میدان انتقال حرارت حول سیلندر مربعی زاویه دار با زاویه 45 که درون یک کانال قرار گرفته است به روش شبکه بولتزمن مورد بررسی قرار گرفته است. در این تحقیق جریان آرام، دوبعدی و برای چهار عدد رینولدز (50،100،200،300=re) ارائه گردیده است. تأثیر تغییر فاصله طولی بین صفحه جداکننده و سیلندر، تغییر زاویه صفحه جداکننده و طول های مختلف صفحه جداکننده بر م...

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

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

با ریزترشدن مواد معدنی، استفاده از جداکننده های واسطه سنگین گریز از مرکز افزایش زیادی داشته است. یکی از این نوع جداکننده ها، جداکننده دایناویرپول می باشد که در مدار فرآوری مواد میانی کارخانه زغالشویی زرند جهت فرآوری مجدد محصول میانی کارخانه از آن استفاده می شود. با خصوصیت سنجی خوراک ورودی به این مدار مشخص شد که 37درصد از ذرات بالای 1 ‏‎mm‎‏ خوراک با خاکستر 10درصد قابل بازیابی می باشد.