دوگان موضعی فضای باناخ‎‎ ‎x‎‎‎‎‏‏، زیر فضایی بسته ‏از ‎ ‎x‎^{*}‎ ‎‎‎‏ است که در شرایط اصل انعکاس موضعی نسبت داده شده به ‎‎x‎ ‎ ‏به عنوان زیر فضایی از ‎ ‎x‎^{**}‎ ‎ ‎‎‏ صدق می کند. در این پایان نامه به معرفی فضاهای دوگان موضعی می پردازیم. جزئیات خاصیت های اصلی از این مفهوم را توضیح می دهیم. در این جا خاصیت های تکنیکی که ویژگی های فضاهای دوگان موضعی فضای باناخ را معرفی می کند را بیان می کنیم و...

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

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

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

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

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

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

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

مقالۀ حاضر بر اقسام «مضاعف سازیِ[1]» کامل در زبان فارسی (شامل مضاعف سازیِ کاملِ محض[2]، مضاعف سازیِ کاملِ میانی[3] و مضاعف سازیِ کاملِ پایانی[4]) متمرکز می شود و ویژگی های نحوی و معناییِ برون داد این فرایندهای واژه سازی را در الگوهای متفاوت و متعدد مورد بررسی قرار می دهد. تحلیل الگوهای موردنظر در چارچوب نظریۀ جدید «دوگان سازیِ ساخت واژی[5]»، موسوم به رویکرد mdt (اینکلاس و زُول[6]، 2005)، انجام گرفته است ...