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

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

پژوهش پیش رو دربارۀ مسئلۀ کلامی جبر و اختیار از دیدگاه سید عبدالرحیم تاوه­گوزی، مشهور به مولوی کرد (1222ـ1300 ق.) و مولانا جلال­الدین محمد بلخی (606ـ672 ق.) است. مولوی کرد در منظومه­ های کلامی خود به تفصیل به مباحث کلامی و از جمله مسئلۀ جبر و اختیار پرداخته و تلاش می­کند این مسئله را در محدودۀ افکار و اندیشه­ های ابوالحسن اشعری و البته تا حدودی متفاوت با رویکرد و روش او بیان کند. مولانا جلال­ ا...

بزرگ ترین دشواری اختیار، تردید و اضطراب ماست، اما آفتِ بزرگِ جبر، بی مسؤولیتی است. مولانا با جمعِ اختیار و جبر، نظریه ای را بنیان می نهد که خود آن را جبّاری می نامد. معنیِ جبّاری نزد مولانا، پذیرش جبر است از منظرِ روان شناختی و قبول اختیار از نظرگاه جامعه شناختی؛ نزد خود بپذیر که هر آن چه رخ داده باید می بوده و بدین سان نه از خود متنفّر باش، نه از دیگری. لیکن هم مسؤولیتِ رفتارِخود را آگاهانه بپذیر و هم م...

جبر نوین که از دهۀ ١٩٣٠ میلادی با نفوذ و تأثیر امی نوتر و مبتنی بر دستاوردهای پیشین او، آرتین، ودربورن، براوئر و دیگران شروع شد، با گرایش های متنوعی که بعداً در آن به وجود آمد، بخشی مهم از ریاضیات را به خود اختصاص داد که پژوهش در این بخش تا به امروز ادامه دارد. در این نوشته زمینه های فکری و نتایج پیشین را که به پیدایش جبر نوین منجر شد، به اختصار بیان می کنیم و رهیافت های نویی را مرور می کنیم که ...

ضربهای تانسوری -c* جبرها نخست توسط turumaru در 1952 مورد بررسی قرار گرفت ولی کار زیادی در مورد آنها انجام نگرفت تا آنکه حدود دوازده سال بعد توسط takesaki مثالی از دو -c* جبر آورده شده که ضرب تانسوری آنها را می توانست به دو طریق کامل کند تا تبدیل به -c* جبر شوند. از آن به بعد این موضوع به سرعت گسترش یافت . رده تمام -c* جبرها که نسبت به ضرب تانسوری رفتار خوبی دارند (جبرهای هسته ای) مورد مطالعه قر...

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

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

در این پایان نامه به بیان برخی مفاهیم مانند جبر، جبر باناخ و تعاریفی چون طیف ، شعاع طیفی ، جبر تابعی باناخ ، مرز سیلو ، مرز چاکوئت ، یرد و طیف پیرامونی می پردازیم. هدف این پایان نامه بررسی توان هایی از نگاشت های پوشای t ,t^:a ?b است که به ازای هر f ,g ?a در رابطه ?f^s g^t- ?? = ??(tf)?^s ?(t^ g)?^t- ?? صدق می کنند. نتیجه ای مشابه نیز در حالتی که t=t^ بین زیر مجموعه های خاص a , b تعریف می شود...

همواره آزمون و وارسی جزء پیچیده ترین و هزینه برترین گام های توسعه سیستم های نرم افزاری به شمار می آیند. با پدیدار گشتن سیستم های نرم افزاری نوین که بیشتر از پیش، بر پویایی، انعطاف پذ یری، خودمختاری، اندازه پذیری و توزیع شدگیشان افزوده شده است، پیچیدگی و هزینه آزمون و وارسی نیز افزون تر گشته است. در این میان، سیستم های با معماری خدمت گرا، به ویژه خدمت های وبی، با آنکه توانسته اند با بهره گیری از...