فهرست مطالب

پژوهش های نوین در ریاضی - پیاپی 14 (تابستان 1397)

مجله پژوهش های نوین در ریاضی
پیاپی 14 (تابستان 1397)

  • تاریخ انتشار: 1397/05/15
  • تعداد عناوین: 9
|
  • امیر مافی *، محمد توحیدی، خدیجه احمدی آملی صفحات 15-34
    فرض کنید یک حلقه موضعی کوهن - مکالی با هیات مانده ای نامتناهی ، یک - مدول کوهن - مکالیو ایدآلی از باشد. فرض کنید و ، به ترتیب جبر ریس و حلقه مدرج وابسته و نشان دهنده ی بسط تحلیلی باشد. نامساوی بورخ بیان می کند که و تساوی زمانی برقرار است که کوهن - مکالی باشد. بنابراین در این حالت می توان با محاسبه عمق حلقه مدرج وابسته ، بیان کرد. ما در این مقاله نتایج را به حالت مدولی تعمیم می دهیم و نشان خواهیم داد برای عمق مدول مدرج وابسته نسبت به ؛ یعنی ، این تساوی در حالت مدولی حتی اگر لزوما کوهن - مکالی نباشد نیز برقرار است و تعمیم نامساوی بورخ را ثابت خواهیم کرد. همچنین به محاسبه عمق جبر ریس و حلقه مدرج وابسته به یک ایدآل نوعا همبرش کامل نسبت به مدول در یک حلقه موضعی کوهن - مکالی خواهیم پرداخت و نتایجی را درباره ی ایدآل های با انحراف تحلیلی کوچکتر یا مساوی یک با عدد تقلیل حداکثر دو نسبت به مدول به دست می آوریم.
    کلیدواژگان: مدول مدرج وابسته، عدد بورخ، همبرش کامل، انحراف تحلیلی، بسط تحلیلی، عدد تقلیل
  • محمدعلی شفیعی *، محمدرضا شهریاری، فرهاد حسین زاده لطفی صفحات 35-50
    مساله تبادل هزینه و زمان یکی از مهم ترین مسائل موجود در زمینه زمان بندی پروژه می باشد و تاکنون تحقیقات بسیار زیادی با رویکردهای گوناگون کمی و کیفی بر روی این موضوع انجام شده است. در این تحقیق قصد داریم تا با ارائه یک مدل دو هدفه ریاضی، شرایط را برای ایجاد توازن میان فشرده سازی، صرفه جویی در هزینه و به تاخیر انداختن زمان اجرای فعالیت ها مهیا کنیم به طوری که ابزار مناسبی در اختیار تصمیم گیرندگان برای تصمیم گیری در رابطه با زمان اجرای هر فعالیت با توجه به امکانات در دسترس و نیز زمان در اختیار، برای اتمام پروژه فراهم آید. در مدل ریاضی پیشنهادی تلاش شده است تا با به کارگیری فرضیاتی نظیر تابع هزینه غیرخطی و همچنین در نظر گرفتن ارزش زمانی پول، شرایط مسئله تا حد امکان به محیط واقعی نزدیک تر گردد. در پایان مدل ریاضی ارائه شده در این مقاله را با استفاده از الگوریتم Objective Particle Swarm Optimization)MOPSO(Multi بررسی نموده و تاثیر فشرده سازی و به تاخیر انداختن فعالیت ها را بر روی مجموعه نامغلوب نهایی ارائه خواهیم داد.
    کلیدواژگان: زمان، تقاضای هزینه، الگوریتم MOPSOT، ارزش زمانی پول، برنامه ریزی پروژه
  • مهناز میربلوکی *، مریم جولایی صفحات 61-70
    تاکنون بسیاری از انواع مدل های مکان یابی به منظور پیدا کردن الگوهای فضایی مطلوب با توجه به معیارهای مکانی مختلف از جمله، هزینه، پوشش و در دسترس بودن توسعه یافته اند. تمرکز اولیه این مدل ها بر دسترسی مکانی ارائه دهندگان خدمات و برآورد تقاضاها است و برخی از این مدل ها در چارچوب مدل های برنامه ریزی چندهدفه می باشند. پس از پیدایش علم تحلیل پوششی داده ها، برخی پژوهشگران میزان کارایی تاسیسات منتخب را به عنوان یکی از توابع هدف در مسائل مکان یابی در نظر گرفته و به ارائه راهکارهایی پرداخته اند. در این مقاله به ارائه یک مدل برنامه ریزی چندهدفه با تلفیق یک مدل ارزیابی کارایی وزن مشترک و مدل مکان یابی می پردازیم. مدل حاصل، بر خلاف مدل های سابق تنها با یک بار اجرا مراکز منتخب کارا از بین چند مرکز بالقوه مشخص می گردند. مدل پیشنهادی توسط مثالی عددی بررسی شده است و نتایج نشان دهنده تضاد بین توابع مکان یابی و کارایی است.
    کلیدواژگان: مکان یابی، تحلیل پوششی داده ها، کارایی، برنامه ریزی چندهدفه
  • احسان یادگاری *، اکبر عالم تبریز، مصطفی زندیه، بهروز دری صفحات 71-86
    طراحی شبکه لجستیک شامل تصمیماتی می شود که به پیکربندی شبکه زنجیره تامین اشاره دارد که اثرات دیرپایی بر روی سایر تصمیمات تاکتیکی و عملیاتی زنجیره دارد. در سال های اخیر با توجه به مسائل زیست محیطی و آگاهی مشتریان طراحی شبکه زنجیره تامین حلقه بسته مورد توجه قرار گرفته است. شبکه لجستیک مورد بررسی شامل تامین کنندگان، کارخانه ها، مراکز توزیع، مراکز مشتریان، مراکز جمع آوری و مراکز انهدام است. از این رو مقاله حاضر به ارائه یک مدل برنامه ریزی درجه دوم آمیخته با اعداد صحیح برای طراحی شبکه لجستیک حلقه بسته چند محصولی و چند دوره ای می پردازد که در آن به تعیین نقاط مناسب جهت تاسیس تسهیلات و میزان جریان بهینه در لایه های مختلف شبکه می پردازد و در ادامه با معرفی متغیرهای جدید مدل مورد بررسی به نسخه خطی تبدیل می شود. از ویژگی های شبکه ارائه شده می توان به پویایی شبکه ارائه شده اشاره نمود که منظور از آن امکان باز یا بسته بودن هریک از تسهیلات در هر دوره می باشد. پس از مدل سازی مسئله، عملکرد و اعتبار مدل با استفاده از مثال های عددی مورد بررسی مورد قرار گرفته می شود.
    کلیدواژگان: لجستیک، برنامه ریزی درجه دوم آمیخته با اعداد صحیح، شبکه زنجیره تامین حلقه بسته پویا
  • ام کلثوم خزایی کوه پر *، سید هادی ناصری صفحات 87-100
    در این مقاله یک مساله برنامه ریزی چند هدفه کسری خطی با متغیرها و بردار منابع فازی مورد مطالعه قرار می گیرد و الگوریتمی با رویکرد پارامتری جهت حل آن ارائه می شود. فرآیند حل پیشنهاد شده برای تعیین جواب بهینه مساله مبتنی بر رویکرد پارامتری خواهد بود که این امر ضمن انطباق بیشتر جواب با واقعیت، اطلاعات جامع تری را در اختیار تصمیم گیرنده قرار خواهد داد. سادگی روش مطرح شده یکی از مزیت های الگوریتم پیشنهادی است که امکان درک مطلوب تر فرآیند حل را توسط کاربر فراهم می آورد. همچنین جهت توصیف فرآیند حل روش پیشنهاد شده، یک مثال عددی ارائه می شود.
    کلیدواژگان: برنامه ریزی کسری خطی، برنامه ریزی فازی، برنامه ریزی چندهدفه
  • جواد سعادتمندان، علیرضا باقری ثالث * صفحات 101-108
    وجود بردارهای پذیرفتنی برای یک گروه موضعا فشرده، با خواص آن گروه، کاملا در ارتباط است. در گروه های فشرده طبق قضیه پیتر ویل هر نمایش تحویل ناپذیر دارای بردار پذیرفتنی است. در این مقاله، شرایطی که طبق آنها عکس این قضیه برقرار باشد مورد برررسی قرار گرفته است. شرایطی نظیر وجود نمایش هایی که هم بردار پذیرفتنی و هم بردار پایا دارند، فشردگی گروه مربوطه را نتیجه می دهند. همچنین SIN- گروه هایی که دارای نمایش تحویل ناپذیر با بردار پذیرفتنی هستند فشرده هستند. مطالعه ی این قسمت ازآنالیز هارمونیک مارا به بررسی خواص جبرهای راژمن، AR گروه ها، SIN گروه ها می رساند. با توجه به این که با داشتن بردار پذیرفتنی، یک ایزومتری از فضای هیلبرت نمایش در ایجاد می شود و این امر ایجاب می کند که به نمایش مربوطه به عنوان زیر نمایشی از نگاه شود بررسی خواص زیر نمایش های از پیامدهای وجود بردار پذیرفتنی برای نمایش مورد مطالعه می باشد. یکی از مسائل مهم در آنالیز هارمونیک نوشتن نمایش منظم چپ به صورت مجموع مسقیم از نمایش های تحویل ناپذیر است. ما در این مقاله این مساله مهم را با وجود بردار پذیرفتنی تلفیق و از آن برای خاصیت فشردگی گروه استفاده نموده ایم. طبق مرجع (1) که به بررسی میانگین پذیری نمایش ها پرداخته است، خاصیت شمول ضعیف نمایش ها در مطرح می شود لذا در مرحله اول وجود بردار پذیرفتنی برای نمایش های تحویل ناپذیر، میانگین پذیری را نتیجه می دهد. فشردگی گروه، خاصیت قوی تری نسبت به میانگین پذیری آن است. در این مقاله ضمن اثبات این که فشردگی نیز شرط لازم برای فرض فوق است، شرط ضعیف تری نیز بررسی شده است.
    کلیدواژگان: گروه موضعا فشرده، بردار پذیرفتنی، خاصیت (T)، نمایش سری های گسسته
  • لیلا شریفان *، غزاله ملک بالا صفحات 109-120
    فرض کنید و دو مشبکه متناهی باشند، ایدآل یک ایدآل تک جمله ای در یک حلقه چندجمله ای مشخص است که مولدهای مینیمال تک جمله ای آن در تناظر با همریختی های مشبکه ای قرار دارند. این ایدآل، ایدآل همریختی های مشبکه ای نام دارد. در این مقاله به مطالعه در حالتی که حاصل ضرب دو مشبکه متناهی و است و زنجیر (2) می باشد، می پردازیم. ابتدا مجموعه همه همریختی های مشبکه ای رابر حسب مجموعه همه همریختی های مشبکه ای و مجموعه همه همریختی های مشبکه ای شناسایی می کنیم. سپس با استفاده از آن ایدآل های اول وابسته به را به کمک ایدآل های اول وابسته به و مطالعه می کنیم. در ادامه فرض می کنیم و مجموعه را شناسایی می کنیم. سپس به کمک تکنیک مخروط نگارنده و تحلیل آزاد مینیمال ، یک تحلیل آزاد برای و یک کران بالا برای بعد تصویری آن به دست می آوریم. در نهایت، با مفروضات بالا برای حالتی که، تحلیل آزاد مینیمال را محاسبه می کنیم.
    کلیدواژگان: ایدآل همریختی های مشبکه ای، حاصل ضرب دو مشبکه، ایدآل اول وابسته، تحلیل آزاد مینیمال
  • محسن ربانی *، رضا عرب صفحات 121-134
    در این مقاله برای اثبات وجود جواب دستگاه نامتناهی معادلات انتگرال غیرخطی، فضای جواب را فضای شامل همه دنباله های همگرا با حد متناهی که با نرم مناسب یک فضای باناخ است در نظر می گیریم. با ایجاد تعمیمی ازعملگرهای تراکمی مر - کلر بنام عملگرهای تراکمیF – تعمیم یافته مر - کلر [1] و اندازه نافشردگی [2] به اثبات چند قضیه در خصوص وجود نقطه ثابت می پردازیم. با این کارسعی می کنیم بعضی از قضایایی که توسط نویسندگان دیگر [مانند 3، 19] در خصوص وجود جواب بوسیله قضایای نقطه ثابت ارایه شده است را گسترش دهیم. سپس برای اعتبار و کاربرد قضایای پیشنهادیمان، یک نمونه از دستگاه معادلات انتگرال غیرخطی نامتناهی را مورد نظر قرار داده و اثبات وجود جواب آن را به کمک قضایای فوق انجام می دهیم. در آخر برای توانمندی و جذابیت بیشتر این تحقیق، یک الگوریتم تکراری توسط روش هموتوپی اختلالات بهبودیافته و تجزیه ادومین [3] پدید آورده و از آن برای بدست آوردن جواب تقریبی دستگاه نامتناهی معادلات انتگرال غیرخطی فوق استفاده می کنیم.
    کلیدواژگان: عملگر تراکمی مر، کلر، فضای با ناخ، اندازه نافشردگی، معادلات انتگرال، هموتوپی اختلالات
  • توفیق الهویرنلو *، محسن واعظ قاسمی، سیدمصطفی طاهری صفحات 135-145
    مراکز تحقیقاتی از جایگاه مهمی در ارتقاء علم و فناوری در سطح کشور برخوردار می باشند. از سویی با توجه به محدودیت های موجود در تخصیص اعتبارات و امکانات مورد نیاز جهت تاسیس این مراکز، تصمیم گیری در خصوص انتخاب مراکز بهینه و اولویت دار حائز اهمیت ویژه ای است. در این فرآیند تصمیم گیری فاکتورهای متعددی از قبیل نیازمندی ها، اولویت ها و راهبردهای کلان، توانمندی ها، توسعه متوازن و پایدار و… می بایست مورد توجه قرار گیرد. مجموع موارد مذکور موجب می شود تا تصمیم گیری در خصوص رتبه بندی و انتخاب طرح های پیشنهادی مساله ای پیچیده، زمان بر و مستلزم صرف منابع کارشناسی فراوان باشد. بدین منظور طراحی و توسعه یک ابزار پشتیبانی تصمیم گیری مدنظر قرار می گیرد. در این تحقیق برای ارزیابی و انتخاب طرح های ایجاد مراکز تحقیقاتی واحدهای دانشگاه آزاد اسلامی یک DSS طراحی و ارائه می شود. این سیستم تصمیم گیری براساس اطلاعات مراکز تحقیقاتی و شاخص هایی که با نظر خبرگان جمع آوری می گردد و همچنین سابقه مراکز تحقیقاتی موفق و شکست خورده، با ابزار تحلیل ممیز و تحلیل پوششی داده ها بهتر مورد بررسی قرار می گیرد، و در نهایت پیش بینی می گردد که مرکز تحقیقاتی متقاضی امکان موفقیت دارد یا خیر.
    کلیدواژگان: تحلیل ممیز، تحلیل پوششی داده ها، مراکز پژوهشی، سیستم های پشتیبان تصمیم گیر
|
  • M.A. Shafiiee *, M.R. Shahriyary, F. Hosseinzadeh Lotfi Pages 35-50
    The time - cost tradeoff problem is one of the most critical issues in the project scheduling field and so far, a lot of research has been done with a variety of quantitative and qualitative approaches on this subject. In this research, we intend to provide a two - objective mathematical model which balances crash and delay for activities. So that it provides the right tools for decision makers to decide on the scheduling of activities, with considering available facilities and time available, to complete the project. In the proposed mathematical model, it is attempting to use the assumptions such as the nonlinear cost function as well as the time value of money so that the problem conditions will be as close as possible to the real environment. At the end, we solve the mathematical model presented in this paper using the Multi Objective Particle Swarm Optimization (MOPSO) algorithm and the impact of the crash and delay for activities in the final non-dominated solutions is investigated.
    Keywords: Time - Cost tradeoff_MOPSO Algorithm_Time Value of Money_Project Scheduling
  • Mahnaz Mirbolouki *, Maryam Joulayi Pages 61-70
    So far, many types of location models have been developed to find optimal spatial patterns according to different spatial metrics such as cost, coverage and availability. The initial focus of these models is on the location availability of service providers and demand estimates, and some of these models are within the framework of multi-objective programming models. After the advent of science of data envelopment analysis, some researchers have considered the efficiency of selected facilities as one of the target functions in locational issues and provide solutions. In this paper, we present a multi-objective programming model by integrating a joint weights estimation model and location model. The resulting model, unlike the former models, is characterized by a single run of efficiently selected centers from several potential centers. The proposed model is investigated by a numerical example, and the results show the contradiction between location and performance functions.
  • Ehsan Yadegari *, Akbar Alem-Tabriz, Mostafa Zandieh, Behrouz Dorri Pages 71-86
    Logistics Network Design includes network configuration decisions having long-standing influences on other tactical and operational decisions. Recently, regarding environmental issues and customer awareness and global warming closed-loop supply chain network design is taken into consideration. The proposed network for the integrated forward and reverse logistics is developed by formulating a cyclic logistics network problem which decisions for selecting the places of manufactories, distribution centers, dismantlers and disposal centers with the respective operating units were supported with the maximizing the profit. Moreover, the palaces of suppliers and customer zone are predefined in this model. Therefore, this paper presents a mixed integer quadratic programing for a dynamic multi-period multi-products closed-loop logistics network. The possibility of opening and closing of each facility at each period and expanding the capacities of facilities is the main feature of the proposed model. After model formulation, the credibility and the performance evaluation are investigated by numerical examples.
    Keywords: Logistics, Mixed Integer Quadratic Programing, Dynamic Closed loop Supply Chain Network
  • a
    Kolsoom Khazaee *, Hadi Naseri Pages 87-100
    In this paper a multi - objective linear fractional programming problem with the fuzzy variables and vector of fuzzy resources is studied and an algorithm based on a parametric approach is proposed. The proposed solving procedure is based on the parametric approach to find the solution, which provides the decision maker with more complete information in line with reality. The simplicity of the proposed method is one of the advantages of the presented algorithm, which allows the decision maker to better understand the solving procedure. Moreover, a numerical example is presented to illustrate the proposed method.
  • J. Saadatmandan, A. Bagheri Sales * Pages 101-108
    The existence of admissible vectors for a locally compact group is closely related to the group's profile. In the compact groups, according to Peter-weyl theorem, every irreducible representation has admissible vector. In this paper, the conditions under which the inverse of this case is being investigated has been investigated. Conditions such as views that are admissible and stable will get compactness results for the group. SIN-groups are also compact with irreducible representations that have admissible vectors. Study of this part of harmonic analysis results in the study of the properties of the rajhman algebra , AR-groups, and SIN-groups. Given that with an admissible algorithm, an isometry of the Hilbert space is displayed in L ^ 2 (G), and this is necessary to look at the corresponding representation assubrepresentation of λ_G. Examining the properties of the subrepresentation of λ_G of the consequences of the admissible vector's existence. One of the important issues in the harmonic analysis is the writing of a left regular representation in the form of direct sum of irreducible representations. In this article, we use this important issue with the existence of admissible vectors composition and use it for the compactness properties of the group. According to the reference which evaluates the amenability display abilities, the poor appearance of the views is presented, so the first result is the results that are admissibility for the unpublished show.
    Keywords: Admissible vector, Locally compact group, Property(T), Amenability, Discrete series representation
  • Leila Sharifan *, Ghazaleh Malekbala Pages 109-120
    Let L and M be two finite lattices. The ideal J(L,M) is a monomial ideal in a specific polynomial ring and whose minimal monomial generators correspond to lattice homomorphisms ϕ: L→M. This ideal is called the ideal of lattice homomorphism. In this paper, we study J(L,M) in the case that L is the product of two lattices L_1 and L_2 and M is the chain [2]. We first characterize the set of all lattice homomorphisms ϕ:L→[2] according to the set of all lattice homomorphisms ϕ_1:L_1→[2] and the set of all lattice homomorphisms ϕ_2:L_2→[2]. Then, by using it and the set of associated prime ideals of both J(L_1,[2] ) and J(L_2,[2]), we study the associated prime ideals of J(L,[2]). Next, we assume that L_1=[2] and we characterized ass (J (L,[2])). Then by mapping cone technique and minimal free resolution of J(L_2,[2]), we find a free resolution of J(L,[2]) and an upper bound for the projective dimension of J(L,[2]). Finally, under the above assumptions and for the case that L_2=[n], we compute the minimal free resolution of J(L,[2]).
    Keywords: Ideal of lattice homomorphisms, product of two lattices, associated prime, minimal free resolution
  • Mohsen Rabbani *, Reza Arab Pages 121-134
    In this article to prove existence of solution of infinite system of nonlinear integral equations, we consider the space of solution containing all convergence sequences with a finite limit, as with a suitable norm is a Banach space. By creating a generalization of Meir-Keeler condensing operators which is named as F-generalized Meir-Keeler condensing operators and measure of noncompactness, we prove some fixed point theorems. With the help of the above process we try to generalize some theorems which were proved by other authors such as [3, 19] about existence of solution by fixed point theorems. Then for validity and applicationý of our proposed theorems, we prove existence of solution for infinite system of nonlinear integral equations. Finally for ability and more attractiveness of this research, we construct an iteration algorithm by modified homotopy perturbation and Adomian decomposition method to obtain approximation of solution of the infinite system of nonlinear integral equations.
    Keywords: Meir-Keeler condensing operators, Banach space, Measure of noncompactness, Integral equations, Homotopy perturbation
  • T. Alahveranlo *, M. Vaez Ghasemi, M. Tahery Pages 135-145
    Research centers have an important place in promoting science and technology nationwide. On the other hand, given the limitations in allocating the funds and the facilities needed to establish these centers, it is important to decide on the selection of priority centers. In this decision - making process, several factors, such as requirements, priorities and strategies, capabilities, and balanced and sustainable development, should be considered. The total of the above items will make decision-making on ranking and selecting proposed projects a complex, time - consuming and costly resource. To this end, designing and developing a decision support tool is considered. In this research, a DSS is designed and evaluated to evaluate the design of research centers for Islamic Azad University units. This decision - making system, based on information from research centers and indicators gathered by experts, as well as the history of successful and failed research centers, is better explored with the discriminatory analysis and data envelopment analysis, and ultimately prediction that is it possible that the research center of the applicant be successful.
    Keywords: discriminatory Analysis, Data Envelopment Analysis, Research Centers, Decision Support Systems