فهرست مطالب

پژوهش های نوین در ریاضی - پیاپی 29 (فروردین و اردیبهشت 1400)

مجله پژوهش های نوین در ریاضی
پیاپی 29 (فروردین و اردیبهشت 1400)

  • تاریخ انتشار: 1400/02/07
  • تعداد عناوین: 15
|
  • رضا دهقان* صفحات 5-18
    در این مقاله، بسط تقریبی چلیشکوف برای حل معادلات دیفرانسیل- انتگرال ولترای از مرتبه ی کسری که مشتق کسری آن از نوع کپوتو است، ارایه شده است. با استفاده از خواص چند جمله ایهای چلیشکوف و فرمول انتگرال گیری عددی، حل معادلات دیفرانسیل- انتگرال کسری به حل دستگاه معادلات جبری تقلیل یافته است. سپس با حل دستگاه معادلات جبری، جواب معادله دیفرانسیل - انتگرال کسری به صورت تابعی بر حسب چند جمله ایهای چلیشکوف نمایش داده می شود. دقت جواب و تحلیل خطا مورد بررسی قرار گرفته است و از آنجا که میزان دقت نتایج بدست آمده برای معادلات دیفرانسیل - انتگرال کسری به تعداد چندجمله ایهای چلیشکوف انتخاب شده وابسته است لذا با افزایش تعداد چند جمله ایهای چلیشکوف می توان گام به گام به دقت مطلوب دست یافت. تمامی محاسبات توسط نرم افزار متلب انجام شده است. همچنین، نتایج عددی روش چند جمله ایهای چلیشکوف با نتایج برخی از روش های موجود به جهت اعتبار، دقت و کارآیی تکنیک مورد بررسی و مقایسه قرار گرفته است.
    کلیدواژگان: حسابان کسری، مشتق کسری کپوتو، معادلات دیفرانسیل-انتگرال ولترا، چندجمله ایهای متعامد
  • مونا نارویی ایرانی، اکبر نظری* صفحات 19-28

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

    کلیدواژگان: -‎C*-proمدول هیلبرتی، سیستم های اتمی، قاب از ضربگرها، K-قاب از ضربگرها
  • سعید رسولی، داریوش حیدری* صفحات 29-42

    در این مقاله، مفهوم mp-مشبکه های مانده دار، به عنوان مشبکه های مانده داری که هر پالایه اول در آنها شامل یک پالایه اول کمین منحصر به فرد است، را معرفی می کنیم و به مطالعه و بررسی آنها می پردازیم. برای مشبکه مانده دار A مفهوم ω-پالایه را معرفی کرده و نشان می دهیم که Ω (A)، مجموعه تمام ω-پالایه های A، تشکیل یک مشبکه پخش پذیر کراندار می دهند. همچنین، نشان می دهیم که γ (A)، مجموعه هم پوچک هایA، یک زیرمشبکه ی Ω (A) است. سپس، برای هر پالایه اول مانند P، مفهوم پالایه ی بخش یاب D (P) را در A به عنوان ابزاری مهم در مطالعه ی پالایه های اول کمین A معرفی کرده و نشان می دهیم که پالایه اول P، اول کمین است اگر و تنها P=D (P). در انتها، با استفاده از مفهوم ω-پالایه ها، به عنوان تعمیمی از پالایه های بخش یاب، یک بازشناسی اساسی از mp-مشبکه های مانده دار ارایه می دهیم و نشان می دهیم که یک مشبکه مانده دار mp است اگر و تنها اگر مشبکه ی ω-پالایه‎های آن زیرمشبکه ای از مشبکه ی پالایه های آن مشبکه مانده دار باشد.

    کلیدواژگان: مشبکه مانده دار، پالایه اول کمین، mp-مشبکه مانده دار، ω-پالایه، پالایه بخش یاب
  • حامد ژیانی رضایی* صفحات 43-52
    تاکنون مدل های زیادی برای ارزیابی کارایی و تخصیص بهینه ی منابع با استفاده از مدل های تحلیل پوششی داده ها معرفی شده اند. در این مقاله یک مدل وزن های مشترک که با استفاده از برنامه ریزی آرمانی خطی شده است ارایه خواهد شد. همچنین برای یافتن جواب هایی نزدیک به نظر مدیران از کنترل وزن استفاده شده است. در زمینه ی تخصیص منابع مثال های عملی زیادی وجود ندارند. در این مقاله کتابخانه های دانشگاه آزاد اسلامی مشهد مورد ارزیابی قرار گرفته و منابع جدیدی به آنها تخصیص خواهد یافت. منابعی که باید تخصیص یابند، مربوط به ورودی نامطلوب هستند. مدل ارایه شده علاوه بر در نظر گرفتن این موضوع، قادر است شرایط ویژه ی مورد نظر مدیران (مانند حداقل و حداکثر منابعی که باید تخصیص یابند و استاندارد کتابخانه ای به همراه کنترل وزن اعمال شده از جانب آنها) را اعمال کند. در نهایت بهترین تخصیص ها با توجه به شرایط گوناگون بدست آمده و با یکدیگر مقایسه شده اند.
    کلیدواژگان: تحلیل پوششی داده ها، کارایی، تخصیص منابع، کتابخانه
  • نیلوفر اصل فلاح، اکرم کهنسال، رامین کاظمی* صفحات 53-64

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

    کلیدواژگان: توزیع رایلی دوپارامتری، سانسور فزاینده نوع 2، حذف دوجمله ای، زمان مورد انتظار آزمایش
  • فرهاد طاهر، بهروز دانشیان، قاسم توحیدی*، فرهاد حسین زاده لطفی، فرزین مدرس خیابانی صفحات 65-72
    در برخی از تحقیقات، پژوهشگران به مطالعه و تخمین برخی از پارامترهای تاثیرگذار بر اندازه کارایی از جمله میزان ورودی یا میزان خروجی یک DMU پرداخته اند بطوریکه اندازه کارایی حفظ یا به میزان معینی بهبود یابد .این دسته از مسایل تحت عنوان تحلیل پوششی داده های معکوس در ادبیات تحلیل عملکرد مورد مطالعه قرار می گیرند. این مقاله به مطالعه تحلیل پوششی داده های معکوس می پردازد. مسیله تخمین ورودی یا خروجی با بهبود در اندازه کارایی واحد، مورد بررسی قرار گرفته است.لذا در این مقاله، با افزایش سطح ورودی های نامطلوب وسطح خروجی های مطلوب واحدهای تصمیم گیری به همراه بهبود در کارایی که مورد نظر تصمیم گیرنده می باشد، میزان تغییرات سطح ورودی های مطلوب و سطح خروجی های نامطلوب تخمین زده می شود. برای این منظور، با در نظر گرفتن داده ها به صورت بازه ای، روش DEA معکوس را با استفاده از مدل برنامه ریزی خطی چندهدفه (MOLP)، به کار می گیریم، به طوری که کارایی واحد تحت ارزیابی بهبود پیدا کند. در ادامه با یک مثال کاربردی روش پیشنهادی مورد بحث و بررسی قرار می گیرد.
    کلیدواژگان: DEA، IDEA، MOLP، داده های بازه ای، داده های نامطلوب
  • شهرام سعیدی*، جعفر باغنده صفحات 73-82
    در سال 1963، دمار نشان داد که هر خانواده ی جابجایی از نگاشت های غیرانبساطی از زیرمجموعه های ناتهی، محدب و فشرده از فضای باناخ دارای نقطه ثابت است. تاکاهاشی قضیه ی دمار را برای نیم گروه های میانگین پذیر گسسته گسترش داد. در سالهای اخیر تحقیقات فراوانی روی نظریه نقطه ثابت و نقطه ثابت مشترک برای نگاشت های غیرانبساطی انجام شده است. برای نیم گروه های نیم توپولوژیک (یعنی یک نیم گروه به همراه یک توپولوژی هاوسدورف به طوری که عمل ضرب آن به طور مجزا پیوسته باشد) لایو و ژنگ قضیه دمار را تحت شزایط کلیتر از جمله میانگین پذیری فضای توابع تقریبا متناوب و به طور ضعیف تقریبا متناوب بررسی کردند. در این مقاله، ما چند خاصیت نقطه ی ثابت را برای عمل نیم گروه های نیم توپولوژیک میانگینی غیرانبساطی روی زیرمجموعه ی ناتهی، محدب و فشرده ی ضعیف از فضای موضعا محدب بررسی می کنیم و گسترشی از نتایج لایو و ژانگ ارایه خواهیم داد.
    کلیدواژگان: نقطه ثابت، عمل نیم گروه نیم توپولوژیک، میانگینی غیرانبساطی، توابع تقریبا متناوب
  • عطیه رمضان نیا جلالی، قاسم علیزاده افروزی* صفحات 83-94
    در سال های اخیر معادلات دیفرانسیل مرتبه چهارم در فیزیک ریاضیات مورد توجه بسیاری از محققان قرار گرفته است. از جمله این کاربردها می توان به سیستم های مکانیکی میکرو الکترو، نظریه فیلم نازک، انتشار سطح روی جامدات، جریان در سلول های Hele-shaw و سیستم های چندفازی اشاره کرد.[9, 20] اهمیت بررسی اینگونه معادلات به دلیل توجیه بسیاری از نمونه های فیزیکی با استفاده از مدلسازی ریاضی می باشد که بیشتر در زمینه مایعات نیوتنی و مکانیک آلاستیک به ویژه مایعات الکتروشناسی (مایعات هوشمند) قابل رویت است. برای جزییات بیشتر به مقالات [11, 21] مراجعه نمایید.در این مقاله شرایط کافی برای وجود حداقل دو جواب ضعیف برای یک مسیله بیضوی مرتبه چهارم با شرایط مرزی رابین بررسی می شود. تجزیه و تحلیل ما به طور کلی به بحث های تغییراتی مبتنی بر قضیه گذرگاه کوهی و بعضی از نظریه های اخیر بر روی فضای سوبولف-لبگ تعمیم یافته می باشد. نقطه شروع کارمان مقاله [3] می باشد که نویسنده مسیله (1) را با شرایط مرزی نویر بررسی نمود. در این مقاله وجود حداقل دو جواب ضعیف نابدیهی برای مسیله (1) با شرایط مرزی روبین تضمین می شود. به طور دقیق تر ما با به کارگیری قضیه گذرگاه کوهی Ambrosetri و Rabinowitz و تحت شرایط مناسب نشان می دهیم که یک عدد مثبت λ_* وجود دارد به طوری که مسیله (1) دارای حداقل دو جواب ضعیف غیربدیهی است.
    کلیدواژگان: نظریه گذرگاه کوهی، فضای سوبولف با توان متغیر، عملگر مرتبه چهارم، جادهی فشرده
  • محمدرضا امیدی، عباس زیوری کاظم پور، اباصلت بداغی* صفحات 95-102

    دراین مقاله ثابت می کنیم که هر ضربگر روی جبر باناخ بدون مرتبه A همریختی تقریبی است. همچنین پیوستگی ضربگر های تقریبی را بررسی و تحت شرایط خاص نشان می دهیم که هر ضربگر تقریبی T:A⟶A پیوسته است.

    کلیدواژگان: ضربگر، ضربگر تقریبی، همریختی تقریبی، نگاشت جمعی تقریبی
  • طاهر لطفی*، یاسر سیف صفحات 103-110
    در سالهای اخیر علاقه به مطالعه معادلات قدرمطلقی هم از لحاظ تیوری، هم از لحاظ عملی بسیار مورد توجه واقع شده است. دلیل اصلی این کار هم آن است که مسایل مختلفی را در بهینه سازی از جمله مسیله مکمل برنامه ریزی خطی را می توان به شکل معادله قدرمطلقی نوشت که ساده تر حل می شود. هدف اصلی این مقاله ارایه یک روش تکراری برای حل معادلات قدرمطلقی است. در واقع در این مقاله، با معرفی یک ماتریس اسکالر، یک روش نیوتن تعمیم یافته اصلاح شده برای حل معادلات قدرمطلقی ارایه شده است. این روش جدید بر اساس روش های منگسرین [1] و لی [2] به دست می آید، که اگر در ماتریس A + αI -D مقدار ضریب ماتریس همانی را مساوی صفر قرار دهیم روش منگسرین و اگر آن را برابر یک قرار دهیم به روش لی می رسیم. همچنین این روش همگرایی سراسری خطی دارد، اگر مقادیر منفرد ماتریس ضرایب بیشتر از یک باشد.
    کلیدواژگان: معادلات قدرمطلقی، روش نیوتن، ماتریس اسکالر، مقادیر منفرد
  • همایون عربیانی، حمید دارابی* صفحات 111-116
    آیزو کلینیسم جبر های لی در طبقه بندی جبر های لی کاربرد گسترده ای دارد . این مفهوم نسبت به مفهوم یکر یختی دارای ساختار ضعیف تری است . آیزوکلینیسم جبر های لی ابتدا توسط ما نیهان معرفی شد و بعد از آن توسط دیگران به - n آیزوکلینیسم در جبرهای لی و هم چنین آیزوکلینیسم در یک جفت از جبر های لی تعمیم داده شد. در این مقاله ، به بررسی - n آیزو کلینیسم در جبر های لی می پردازیم و برخی ویژگی های - n آیزو کلینیسم را در جبر های لی اثبات می کنیم . از جمله ، اثبات می کنیم که اگر L 1 و L 2 دو جبر لی باشند که اشتراک مرکز و زیر جبر فراتینی در آن ها صفر باشد، آیزو کلینیسمی L 1 و L 2 ، معادل یک ریختی فاکتور های مرکزی آن دو هستند .
    کلیدواژگان: n-آیزوکلینیسم، زیرجبر فراتینی، جبر لی تنه ای
  • سیده مریم حسینی پور، فریدون رهبرنیا*، مهدی علائیان، احمد عرفانیان صفحات 117-128

    گراف غیر تهی Γ به ترتیب یک گراف خوش فاصله متوازن (خوش فاصله متوازن یالی) نامیده میشود هرگاه اعداد صحیح مثبت γ_V (γ_E) وجود داشته باشند به طوری که برای هر دو راس مجاور u و v از V (Γ)، γ_Vراس از V (Γ) (γ_E یال از E (Γ)) وجود داشته باشند به طوری که به راس u نزدیکتر از راس v باشند و بلعکس γ_V راس از V (Γ) (γ_E یال از E (Γ)) وجود داشته باشند به طوری که به راس v نزدیکتر از راس u باشند در این مقاله نشان میدهیم ابرمکعب Q_n و گراف مکعب فولدد F_n، یک گراف خوش فاصله متوازن بوده و Q_n خوش فاصله متوازن یالی است.

    کلیدواژگان: خوش فاصله متوازن، خوش فاصله متوازن یالی، گراف همینگ، ابرمکعب، مکعب فولدد
  • معصومه دانش شکیب * صفحات 129-146

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

    کلیدواژگان: مدل های کنترل موجودی، میزان اقتصادی سفارش، هزینه نگهداری، هزینه سفارش فازی
  • معصومه حسینی فرهی، محمود حسنی، رضا الهیاری * صفحات 147-160

    در سال 1930، کراتوسکی مفهوم اندازه نا فشردگی را معرفی کرد. سپس، بنس وگوبل این مفهوم را تعمیم دادند که کارایی بیشتری دارد. کاربرد اصلی اندازه‌های نافشردگی در نظریه نقطه ثابت، در قضیه نقطه ثابت داربو است. این یک ابزار برای بررسی وجود و رفتار جواب تعدادی معادلات انتگرال مانند انواع ولترا ، فردهولم و اورایسون است. روش اندازه‌های‌نافشردگی‌اغلب‌درچندین شاخه‌آنالیزغیرخطی‌قابل‌اجرااست. به ویژه، این روش به عنوان ابزاری بسیار مفید برای چندین نوع از انواع معادلات انتگرالی و انتگرال-دیفرانسیلی است. علاوه بر این، اندازه نافشردگی در معادلات تابعی، معادلات دیفرانسیل جزیی کسری، معادلات دیفرانسیل معمولی و جزیی، نظریه عملگر و نظریه کنترل بهینه نیز استفاده می شود. هدف این مقاله معرفی یک اندازه نافشردگی جدید در فضای سوبولف W^(k,∞) (R^n) است. نتایج بدست آمده در حل معادلات انتگرال-دیفرانسیلی بکار می رود. در پایان نیز با ارایه یک مثال کارایی نتایج حاصل می شود.

    کلیدواژگان: اندازه های نافشردگی، قضیه نقطه ثابت داربو، معادلات انتگرال- دیفرانسیل، فضاهای سوبولوف، شرایط کاراتئودوری
  • محمود محمودی *، سارا دادرس صفحات 161-170

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

    کلیدواژگان: حق یبمه، ریسک، سیستم های دینامیکی، کنترل بهینه
|
  • Reza Dehghan * Pages 5-18
    In this paper, Chelyshkov expansion approach is presented for solving Volterra fractional order integro-differential equations with Caputo derivative. By means of the properties of Chelyshkov polynomials and numerical integral formula , the solution of fractional integro-differential equations reduced to the solution of algebraic equations. Then, by solving the system of algebraic equations, the solution of the differential-integral equation is presented as a function in the terms of Chelyshkov polynomials. Accuracy and error analysis have been investigated and since the accuracy of the obtained results for fractional integro-differential equations depends on the number of selected Chelyshkov polynomials therefore, with the increase in the number of Chelyshkov polynomials, we can achieve desirable accuracy step by step. All calculations are done by MATLAB software. Also, the numerical results of based on Chelyshkov polynomials method are compared with the results of some of the available methods for the validity, accuracy and efficiency of the technique.
    Keywords: Fractional calculus, Caputo derivative, Volterra integro-differential equations, Orthogonal polynomials
  • Mona Naroei Irani, Akbar Nazari * Pages 19-28

    ‎For the study of atomic systems, first introduced by Feichtinger et al. Gavruta presented K-frames on Hilbert spaces. K-frames are a kind of frames in sense that the lower frame bound only holds for the elements in the range of the K, where K is a bounded linear operator in Hilbert space. C*-algebra whose topology is induced by a family of continuous C*-seminorms instead of a C*-norm is called pro-C*-algebra. Hilbert pro-C*-modules are generalizations of Hilbert spaces by allowing the inner product to take values in a pro-C*-algebra rather than in the field of complex numbers. In this paper, the sequences whose elements are adjointable operators from pro-C*-algebra into Hilbert pro-C*-module is called the sequence of multipliers. We introduce the concept atomic systems and K-frame of multipliers in Hilbert pro-C*-modules and for more information, we give an example of K-frames. We obtain a condition that sequences of multipliers is frame, also we investigate the relationship between atomic systems and K-frames with each other and the frame of multipliers. If K is a bounded operator with certain conditions then every K-frame of multipliers is a frame of multipliers in Hilbert pro-C*-module. Also, we investigate some of the properties of these concepts, such as the combination of operators with K-frames in Hilbert pro-C*-module.

    Keywords: Hilbert pro-C*-module, atomic systems, frame of multipliers, K-frames of multipliers
  • Saeed Rasouli, Dariush Heidari * Pages 29-42

    In this paper, the notion of mp-residuated lattice, as a subclass of residuated lattices in which every prime filter contains a unique minimal prime filter, is introduced and investigated. For a residuated lattice A, the notion of ω-filter is introduced and it is shown that Ω(A), the set of ω-filters of A, is a bounded distributive lattice. Also, it is observed that γ(A), the set of coannulets of A, is a sublattice of Ω(A). Then for each prime filter P of A, the notion of the divisor filter D(P) as an important tool in investigating of minimal prime filters of A is introduced and it is proved that a prime filter P is minimal prime if and only if P=D(P). Finally, by the notion of ω-filters, as an extension of divisor filters, a fundamental characterization of mp-residuated lattices is given and it is shown that a residuated lattice is mp if and only if the set of its ω-filters is a sublattice of the lattice of its filters.

    Keywords: residuated lattice, minimal prime filter, mp-residuated lattice, ω-filter, divisor filter
  • Nilofar Asle Fallah, Akram Kohansal, Ramin Kazemi * Pages 53-64

    The estimation of unknown parameters of two-parameter Rayleigh distribution based on Type-II progressive censoring with binomial removals is studied. Maximum likelihood estimators of the parameters and their confidence intervals are derived. By applying Markov Chain Monte Carlo techniques, Bayes estimators, and corresponding highest posterior density confidence intervals of parameters are obtained. The expected time required to complete the life test under this censoring scheme is investigated. Monte Carlo simulations are performed to compare the performances of the different methods, and one data set is analyzed for illustrative purposes.

    Keywords: Two-parameter Rayleigh distribution, Type-II progressive censoring, Binomial removal, Expected experiment time
  • Farhad Taher, Behrouz Daneshian, Ghasem Tohidi *, Farhad Hosseinzadeh Lotfi, Farzin Modarres Khiyabani Pages 65-72
    Some researchers deals to estimation of some of the influences factors in efficiency score in which the DMU, maintains or improves its current efficiency level. This problems are considered in a general framework which is called inverse DEA. This paper studies the inverse data envelopment analysis. The issue of input or output estimation has been examined with improvement in unit efficiency.Therefore, in this paper, by increasing the level of undesirable inputs and the level of desired outputs of decision-making units along with improvements in the efficiency of the decision-maker, the level of changes in the level of desired inputs and the level of undesirable outputs is estimated. To do this, we consider the data as Interval data and then use the inverse DEA method using a multi-objective linear programming model (MOLP), so that the unit performance under evaluation is improved. The following is an applied example of the proposed method.
    Keywords: DEA, MOLP, IDEA, fuzzy data, Undesirable data
  • Shahram Saeidi *, Jafar Bakhande Pages 73-82
    In 1969, DeMarr proved that a commuting family of non-expansive mappings on a nonempty convex compact subset of a Banach space has a fixed point. Takahashi extended DeMarr’s theorem to the case of discrete amenable semi-groups. In recent years, considerable research has been devoted to the theory of fixed points as well as common fixed points. In the case of semi-topological semi-groups (that is, a semi-group with a Hausdorff topology such that the multiplication is separately continuous), Lau and Zhang studied DeMarr’s theorem under more general conditions for example in the case of the amenability of the space of almost periodic functions as well as the space of weakly almost periodic functions. In this paper, we study several fixed point properties of the mean non-expansive semi-topological semi-groups acting on nonempty convex weakly compact subsets of a locally convex space as well as give extensions of the results of Lau and Zhang.
    Keywords: fixed point, semi-topological semi-group action, mean non-expansive, almost periodic functions
  • Atieh Ramzannia Jalali, Ghasem Alizadeh Afrouzi * Pages 83-94
    In recent years, fourth-order differential equations in mathematical physics have been considered by many researchers. These applications include Micro Electro Mechanical systems, thin film theory, surface diffusion on solids, flow in Hele-Shaw cells and phase field models of multiphase systems.[ 9, 20] The importance of studying such equations is due to the justification of many physical examples using mathematical modeling, which can be seen mostly in the field of Newtonian fluids and elastic mechanics, in particular, electrological fluids (smart liquids). See [11, 21] for more details.In this paper, using variational methods, sufficient conditions for the existence of at least two weak non-trivial solutions of a fourth-order elliptic boundary value problem with the Rubin boundary conditions are investigated. Our analysis mainly relies on the variational arguments based on the mountain pass lemma and some recent theory on the generalized Lebesgue–Sobolev spaces. Our work starting point is the paper "Continuous spectrum of a fourth-order nonhomogenous elliptic equation with variable exponent" by A. Ayoujil, A.R. El Amrouss of [3] where the authors considered the problem (1) with the Navier boundary conditions. This paper's guarantee the exsitence of at least two nontrivial weak solutions for the problem (1) with Robin boundary conditions.More precisely, by applying Ambrosetti and Rabinowitz’s mountain pass theorem and under appropriate conditions, we show that there exists a positive number λ_*such that the problem (1) has at least two nontrivial weak solutions.
    Keywords: Mountain Pass Theorem, Variable exponent Sobolev Space, The fourth-order Operator, Compact embedding
  • MohammadReza Omidi, Abbas Zivari Kazempour, Abasalt Bodaghi * Pages 95-102

    In this paper, we prove that every multipliers on without order Banach algebra A is almost homomorophisms. Also we investigate the continuity of approximate multipliers and under special hypothesis we show that each approximate multiplier T:A⟶A is continuous.

    Keywords: multiplier, Approximate multiplier, Almost homomorphism, Almost additive
  • Taher Lotfi *, Yaser Seif Pages 103-110
    In recent years the interest in studying the absolute value equation has been of great interest both theoretically and practically. The main reason for this is that various optimization problems, such as the complementary linear programming problem, can be written in the form of a robust equation that is easier to solve. The main purpose of this paper is to present a duplicate method for solving the equations of magnitude. Actually, in this paper, by introducing a scalar matrix, an improved generalized Newton method is proposed to solve the Absolute value equation. This new method is based on the methods of Mangserin [1] and Li [2]. In fact, if in the matrix A + αI-D, the value of the identity matrix coefficient is equal to zero, the Mangserin method and if the coefficient of the same matrix to one, the Li method is obtained. when all the singular values of the system matrix exceed one.
    Keywords: absolute value equation, Newton method, Scalar matrix, single values
  • Homayoon Arabiani, Hamid Darabi * Pages 111-116
    T h e iso clinism o f L i e algebra i s widely used i n the classification o f Lie algebra. This concept has a weaker structure than t h e concept o f the isomorphism. T h e iso clinism o f Lie algebra was first introduced by the Moneyhun and later it is generalized by others to n- iso clinism in Lie algebra, as well as, to the iso clinism in a pair of Lie algebra in the literature. In this paper, we study the n- isoclinism in Lie algebra and prove some of the features of the n- iso clinism in Lie algebra. For example, we prove that if L 1 and L 2 are two Lie algebras that the intersection of their centroid and F rattini algebra are zero, then, the iso clinism L 1 and L 2 are equivalent to their central factors.
    Keywords: n-isoclinism, Frattini subalgebra, Stem Lie algebra
  • Seyedeh Maryam Hosseini Pour, Freydoon Rahbarnia *, Mehdi Alaeiyan, Ahmad Erfanian Pages 117-128

    A nontrivial graph is called nicely distance-balanced (nicely edge distance-balanced), whenever there exist positive integers γ_V (γ_E), such that for any adjacent vertices u and v in V(Γ), there are exactly γ_V vertices in V(Γ) (γ_E edges in E(Γ) that are closer to u than v, and exactly γ_V vertices in V(Γ) (γ_E edges in E(Γ)) that are closer to v than u. In this paper, we will prove that hyper cube Q_n and the folded cube F_n are nicely distance-balanced and Q_n is also nicely edge distance-balanced.A nontrivial graph is called nicely distance-balanced (nicely edge distance-balanced), whenever there exist positive integers γ_V (γ_E), such that for any adjacent vertices u and v in V(Γ), there are exactly γ_V vertices in V(Γ) (γ_E edges in E(Γ) that are closer to u than v, and exactly γ_V vertices in V(Γ) (γ_E edges in E(Γ)) that are closer to v than u. In this paper, we will prove that hyper cube Q_n and the folded cube F_n are nicely distance-balanced and Q_n is also nicely edge distance-balanced.

    Keywords: : nicely distance-balanced, nicely edge distance-balanced, hamming graph, hyper cube, folded cube
  • Masoumeh Danesh Shakib * Pages 129-146

    Although all managers seek to maximize the utility, most firms do not recognize the importance of inventory control and the use of warehouse inventory control systems as a management tool. On the other hand, in classical inventory control models, the parameters have to be determined, while in real world problems the parameters are mostly uncertain. Therefore, the models partially ignore the facts and as a result managers are reluctant to apply this kind of models. So, the present study seeks to answer the question of whether fuzzy inventory control models can overcome this defect, introduce parameters into the model more realistically and thus reduce total inventory cost and improve performance. In this paper, a model of fuzzy Economics Order Quantity (EOQ) was presented and evaluated with a numerical example. The findings confirmed the positive response to the above questions. Key words: Inventory Control Models, Economics Order Quantity, warehousing cost, ordering cost, fuzzy

    Keywords: Inventory Control Models, Economics Order Quantity, warehousing cost, ordering cost, fuzzy
  • Masoome Hosseini Farahi, Mahmoud Hassani, Reza Allahyari * Pages 147-160

    In 1930, Kuratowski introduced the concept of measure of noncompactness. Later, Banas and Goebel generalized this concept axiomatically, which is more convenient in applications. The principal application of measures of noncompactness in fixed point theory is contained in the Darbo's fixed point theorem. This is a tool to investigate the existence and behaviour of solutions of many classes of integral equations such as Volterra, Fredholm and Uryson types. The technique of measure of noncompactness is applicable in several branches of nonlinear analysis. In particular, it is a very useful tool for several types of integral and integral-differential equations. In addition, the measure of noncompactness is also used in functional equations, fractional partial differential equations, ordinary and partial differential equations, operator theory and optimal control theory. The purpose of this article is to introduce a new measure of noncompactness in the Sobolev space W^(k,∞) (R^n). The results are obtained to solve integral-differential equations. Finally, by providing an example to show the efficiency of our results.

    Keywords: Measures of noncompactness, Darbo's fixed point theorem, Integral-differential equations, Sobolev spaces, Caratheodory condition
  • Mahmoud Mahmoudi *, Sara Dadras Pages 161-170

    Determining the appropriate insurance premium for wealth insurance companies is important to increase revenue. In this paper, we want to optimize premium in order to increase the wealth insurance companies via optimal control theory based on choosing the appropriate risk. Determining appropriate premium, depending on the average market premium and such amount of losses, can lead to increase in the wealth of the insurance company. First, a dynamic model is expressed to describe the receipt of premium and the payment of losses. Then we introduce the premium variable as the problem control variable. In the next step, we define an appropriate objective function for the control variable and state variables in order to increase wealth and the proportionality of the premium to the average market premiume. Then, one of the principal variables is estimated by statistical methods and solves the control problem via the Pontryagin method. Finally, two numerical examples are presented.

    Keywords: optimal contril, Dynamical system, Risk, premium