البحث — المستودع الرقمي العراقي

نتائج البحث: 25 من أصل 2,921

حول تقريب للدوال غير المقيدة بواسطة مؤثرات خطية موجبة == On approximation by linear positive operators for unbounded functions

اسم المؤلف: رعد فالح حسن

اسم المشرف: صاحب كحيط جاسم الساعدي

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

البرمجة الديناميكية المواجهة بواسطة شبه الزمرة == DUAL DYNAMIC PROGRAMMING VIA SEMIGROUP APPROACH

اسم المؤلف: ديانا صالح مهدي العنبكي

اسم المشرف: نصيف جاسم الجواري

الموضوع العام: علوم الرياضيات

السنة: 2014

الموضوع الدقيق: النظم الدينامية

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: في هذا العمل، تم تقديم البرمجة الديناميكية المواجهة ( اقتراب غير تقليدي ) لمسالة السيطرة المثلى بواسطة شبة الزمرة المستمرة بقوة حيث عرفت دالة القيمة المواجهة VD(. , .) لهذه المسالة مع ذكر خصائصها، حيث وجدنا بان هذه الدالة تحقق مبدا البرمجة الديناميكية المواجهة ومعادلة هاملتون - جاكوبي - بلمان. كذلك تم دراسة بعض الخواص لدالة القيمة المواجهة امثال انواع متنوعة من الاستمرارية والحدودية ومن ثم استخدام هذه الخواص لاثبات المبرهنة التي تتعامل مع الشرط الكافي للامثلية. ايضا تم اثبات نظرية تحقيق مناسبة لايجاد مسيطر تغذية استرجاعية مثلى مواجهة. واخيرا تم اعطاء مثال يوضح قيمة النظرية التي تتعامل مع الشرط الكافي للامثلية. علاوة على ذلك، تم تقديم البرمجة الديناميكية التقليدية والمواجهة لمسالة السيطرة المثلى ذات البعد المنته لبولزا مع الامثلة. | In this thesis, the dual approach to dynamic programming for the optimal control problem via strongly continuous semigroup have been presented. The dual value function VD(. , .) of the problem is defined and characterized. We find that it satisfied the dual dynamic programming principle and dual Hamilton Jacobi - Bellman equation.Also, some properties of VD(. , .) have been studied, such as, various kinds of continuities and boundedness, these properties used to give a sufficient condition for optimality. A suitable verification theorem to find a dual optimal feedback control have been proved. Finally an example illustrating the value of the theorem with the sufficient condition for optimality, have been given. Moreover, the classical and dual dynamic programming for finite dimensional optimal control problem of Bolza with examples have also been introduced.

استخدام التقنية شبه التحليلية في حل مسائل القيم الذاتية متعددة المعلمات

اسم المؤلف: دعاء رحيم عبود

اسم المشرف: لمى ناجي محمد توفيق

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: جامعة بغداد

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

اعلى قيد حاد لدالة

اسم المؤلف: خلود منصور حسين علي الجعفري

اسم المشرف: سعد عبود بداي الساعدي

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: جامعة بغداد - كلية العلوم للبنات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

تقدير معالم تعميم معكوس التوزيع الاسي بالضبابية == Estimating the Parameters of Generalized Inverted Exponential Distribution with Fuzziness

اسم المؤلف: حوراء جواد كاظم علي

اسم المشرف: قتيبة نبيل نايف القزاز

الموضوع العام: علوم الرياضيات

السنة: 2016

الموضوع الدقيق: المجموعات الضبابية

الدرجة: ماجستير

الجامعة: جامعة بغداد - كلية العلوم للبنات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: يعد معكوس التوزيع الاسي المعمم من التوزيعات المهمة في دراسة اوقات الفشل والتي لها تطبيقات واسعة في المجالات الطبية والصناعية. وفي هذه الرسالة تم تقدير معلمتي الشكل والقياس لهذا التوزيع ولكن بعد ازالة الضبابية التي تتصف بها بياناته اذ ان بياناته عبارة عن اعداد ضبابية ثلاثية ولتحويلها الى اعداد اعتيادية تم استعمال دالة الرتب والتي تم تعريفها وايضاح خصائصها واقتراح تعميم لطريقتين من طرائقها(graded mean and centroid ) وايجاد العلاقة بين الطريقتين المعممتين واثبات هذه العلاقة من خلال تطبيق خمس حالات خاصة منهما وهذه الحالات تعد الاكثر شيوعا في ازالة الضبابية.تم تقدير معلمتي هذا التوزيع وفق ثلاث طرائق وهي، طريقة الامكان الاعظم، طريقة المربعات الصغرى، والطريقة البيزية، وبما ان التوزيع المدروس ذو معلمتين فكان من الصعوبة الفصل بين المعلمتين وتقديرهما بشكل مباشر في كل من طريقتي الامكان الاعظم والمربعات الصغرى. لذا تم الاستعانة بطريقة نيوتن رافسون التكرارية من خلال فرض قيم اولية ومن ثم التقدير الى ان تم الحصول على اقل فرق ممكن بين التقديرين الحالي والسابق لكلا المعلمتين. اما في الطريقة البيزية فقد تم فرض توزيع كاما كتوزيع اولي لمعلمتيه ومن ثم استعمال دالة الخسارة التربيعية وبالاعتماد على خوارزمية Metropolis - Hastingالتي تتطلب تحديد توزيعين (توزيع توليد اولي، وتوزيع مقترح) لايجاد مقدرات بيز لكلا المعلمتين بعد 5000 دورة للتجربة الواحدة. وتم توليد عينات مختلفة لتمثل المجتمع المدروس وفق معكوس دالة الاحتمال التراكمي بالاعتماد على اسلوب المحاكاة. وبعد تقدير معلمتي التوزيع ومقارنة نتائج طرائق التقدير وفق مقياس متوسط مربعات الخطا. تم التوصل الى ان افضل طريقة كانت طريقة الامكان الاعظم تليها الطريقة البيزية واخرها طريقة المربعات الصغرى والتي كانت الابطا من ناحية الحصول على نتائج مستقرة. | The generalized inverted exponential distribution is considered as one of the most important distributions in studying failure times and has a wide application in medical and industrial fields. In this thesis, a shape and a scale parameters of the distribution have been estimated after removing the fuzziness that characterizes its data because they are triangular fuzzy numbers. To convert the fuzzy data to crisp data the researcher has used the ranking function methods to define and clarify their characteristics. She also has proposed a generalization of two methods (graded mean and centroid) and found a relationship between them; this relationship has been proved through applying five special cases of them that are considered the most common cases in fuzziness removal.The distribution parameters have been estimated according to three estimation methods : maximum likelihood, ordinary least squares and Bayesian methods. Hence the studied distribution has two parameters which show a difficulty in separating and estimating them directly in both of the MLE and OLS methods. The Newton - Raphson iteration method has been used by assuming initial values, and then estimating them reach the minimum possible difference between the current and previous values. For the Bayesian method, the gamma distribution has been proposed as a prior distribution for the two parameters with a quadratic loss function by using Metropolis - Hasting algorithm that requires specifying two distributions (random generating distribution and proposal distribution) to find the parameters Bayesian estimators after 5000 iterations for each experiment.Different samples have been generated according to the inverted cumulative distribution function to represent the population under study by using simulation approach. After estimating the parameters, the results of the three methods have been compared according to the Mean Squared Error measurement. And the researcher concluded that the best estimation method is the MLE followed by the Bayesian, and lastly is the OLS which is the slowest even in getting stationary results.

استخدام تحليل شجرة الخطا الضبابي لانظمة المعوليـــــة (الموثوقية) المعقدة

اسم المؤلف: شهاب احمد عبد الزهرة العنزي

اسم المشرف: عدي صبري عبد الرزاق

الموضوع العام: علوم الرياضيات

السنة: 2017

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: جامعة بابل - كلية التربية للعلوم الصرفة - قسم الرياضيات

اللغة: العربية

مكان الجامعة: بابل

الصفحات الاولى:

انماط من التطبيقات المتراصة == Some Types of Compact Mappings

اسم المؤلف: حارث مثنى عبد الرزاق البدري

اسم المشرف: حيدر جبر علي المحمداوي

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

حول الافعال السديدة من النمط - - sg == On sg - - Proper Actions

اسم المؤلف: جمانة سري طارق

اسم المشرف: صبيحة ابراهيم محمود

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: المعادلات التفاضلية

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: ان الهدف الرئيسي من هذا العمل هو تقديم نوع عام وجديد (حسب علمنا) من فضاءاتG - السديدة اسميناها بفضاءات G - السديدة من النمطs*g - α - . كذلك نحن قدمنا مفاهيم جديدة (حسب علمنا) اسميناها بالمجموعات المفتوحة من النمطs*g - α - ، تقارب الشبكات من النمط s*g - α - ، الدوال المرصوصة من النمطs*g - α - , الدوال المغلقة من النمط s*g - α - , الدوال السديدة من النمط s*g - α - , مجموعة الغاية من النمط s*g - α - للنقطة x ومجموعة غاية الاستطالة من النمط s*g - α - للنقطة x . فضلا عن ذلك درسنا المكافئات والخواص الاساسية لهذه المفاهيم كذلك العلاقة بين فضاءات G - السديدة من النمطs*g - α - والمجموعات و. وقد حصلنا على العديد من النتائج المهمة نذكرمنها الاتي : 1) ليكن X فضاء G - فان العبارات الاتية تكون متكافئه : ا) X فضاء G - السديد من النمطs*g - α - .ب) لكل .ج) لكل زوج من النقاط x,y في X يوجد وبحيث ان المجموعة تكون مرصوصة نسبيا في G.2) اذا كان X فضاء G - السديد من النمط s*g - α - فان لكل وقد اعطي مثال يوضح ان الاتجاه المعاكس قد يكون غير صحيح.3) اذا كان X فضاء G - السديد من النمط s*g - α - وفان الدالة تكون تكافؤ تبولوجي من النمط s*g - α - من الى .4) اذا كان X فضاء G - السديد من النمط s*g - α - فان مسار x يكون مجموعة مغلقة من النمطs*g - α - في X لكل وزمرة الاستقرارالجزئية تكون مرصوصة في G لكل . 5) ليكن X فضاء G - السديد من النمط s*g - α - وH زمرة جزئية مغلقة في G وY مجموعة جزئية مفتوحة من X لامتغيرة بفعل H فان Y يكون فضاء H - السديد من النمطs*g - α - . | The main aim of our work is to create a new general type of proper G - spaces, namely, s*g - α - proper G - spaces. Also, we introduce new concepts (to the best of our knowledge), namely, s*g - α - open sets, s*g - α - convergence of nets, s*g - α - compact functions, s*g - α - closed functions, s*g - α - proper functions, s*g - α - limit set of x and s*g - α - prolongation limit set of x .We study the characterizations and basic properties of these concepts as well as the relationship among the s*g - α - proper G - spaces and the sets and . We gain many important results we mention some of them as follows : 1) In a G - space X. Then the following statements are equivalent : i) X is an s*g - α - proper G - space.ii) for each .iii) For each pair of points x and y of X , there are s*g - α - neighborhoods U of x and W of y such that the set is relatively compact in G.2) If X is an s*g - α - proper G - space, then for each and an example is given to show that the converse may not be true in general.3) If X is an s*g - α - proper G - space and , then the function is an s*g - α - homeomorphism of onto .4) If X is an s*g - α - proper G - space, then each orbit of X is an s*g - α - closed set in X and each stability subgroup of G at x is compact in G.5) If X is an s*g - α - proper G - space, H is a closed subgroup of G and Y is an open subspace of X which is invariant under H, then Y is an s*g - α - proper H - space.

التذبذب والسلوك المحاذي لحلول المعادلات التفاضلية التكاملية المحايدة من الرتبة الاولى والثانية == Oscillation and Asymptotic Behavior of Solutions of First and Second Order Neutral Integro - Differential Equations

اسم المؤلف: تغريد حسين عبد

اسم المشرف: حسين علي محمد

الموضوع العام: علوم الرياضيات

السنة: 2016

الموضوع الدقيق: المعادلات التفاضلية

الدرجة: ماجستير

الجامعة: جامعة بغداد - كلية العلوم للبنات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: الهدف من هذه الرسالة هو تعميم وتوسيع للنتائج التي توصل اليها (olach) في بحثه الذي نشره سنة (2005), حيث انه قد درس وجود حل موجب وكذلك درس تذبذب كل حلول المعادلة التفاضلية التكاملية التباطؤية, وقد استخرج بعض الشروط الضرورية والكافية لضمان تذبذب حلول المعادلة التفاضلية التكاملية التباطؤية. في هذه الرسالة تمت دراسة المعادلة التفاضلية التكاملية المحايدة من الرتبة الاولى, حيث اننا صنفنا فيها المعادلة التفاضلية التكاملية المحايدة الى اربعة انواع, وقد تم استخراج شروط ضرورية وكافية لضمان تذبذب حلول هذه المعادلات, وكذلك شروط ضرورية وكافية اخرى لضمان تقارب جميع الحلول لهذه المعادلات الى الصفر او تباعدها. بالاضافة الى ذلك, اربعة انماط من المعادلات التفاضلية التكاملية المحايدة من الرتبة الثانية قد تمت دراستها, وقد تم استخراج شروط ضرورية وكافية لضمان تذبذب حلول هذه المعادلات, وكذلك شروط شروط ضرورية وكافية اخرى لضمان تقارب جميع الحلول لهذه المعادلات الى الصفر او تباعدها. وقد تم عرض بعض الامثلة لتوضيح النتائج التي تم الحصول عليها. | The aim of this thesis, is to generalized and extended the results of the paper : Olach (2005)[24]. Where he study the existence of positive solution and the oscillation of all solution of delay integro - differential equation, where he extracted some necessary and sufficient conditions to grantee the oscillation of all solutions of delay integro - differential equation. In this thesis, it has been studied neutral integro - differential equation of the first order, where we classify four types of neutral integro - differential equation and extracted necessary and sufficient conditions for these types to ensure the oscillation and the convergence to zero or divergence for all solutions of these equations. Moreover, four types of neutral integro - differential equations of the second order has been studied and obtained some necessary and sufficient conditions to ensure the oscillation of all solutions to this equation, and another necessary and sufficient conditions obtained for all solutions to converge to zero or diverge as t tends to infinity. Some examples are included to illustrate the obtained results.

دراسة نمو الدالة الكلية لمتغيرات معقدة متعددة == A Study of Growth of Entire Function in Several Complex Variables

اسم المؤلف: ايمن عبد علي جعفر الحداد

اسم المشرف: مشتاق شاكر عبد الحسين الشيباني

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: عرف الباحث [36] Seremeta اعمام الرتبة والنوع للنمو البطيء للدالة الكلية بمساعدة دوال عامة تم دراستها من قبل الباحث نفسه. Kapoor وNautiyalفي [22] عرفو اعمام الرتبة للدالة الكلية ذو النمو البطيء بمساعدة دوال عامة.في Ganti [8] وSrivastava حصلو على توصيف لمعاملات اعمام النوع للنمو البطيء كذلك حصلو على الشروط الضرورية والكافية لاعمام النوع للنمو البطيء لفضاء بناخ ( وفضاء هاردي وبيركمان ) في هذه الرسالة تم توسيع نتائج Ganti وSrivastavaفي [8]. لذلك درس التقريب للدالة الكلية ذو النمو البطيء لمتغيرات معقدة متعددة. Juneja, Kapoor وBujpaiفي ([18,19]) حصلو على الرتبة والنوع من الشكل (p,q) كذلك النوع الاسفل والرتبة السفلى من الشكل (p,q) للدالة الكلية, كذلك حصلو على توصيف تام لمعاملات الدوال اعلاه.اعمام النوع (p,q) واعمام النوع السفلي (p,q) للدالة الكلية بالنسبة الى النوع التقريبي مع دليل الزوج (p,q) تم دراسته من قبل Nandan, Doherey وSrivastavaفي [32] كذلك تم الحصول على توصيف للمعاملات.في رسالتنا درسنا ووسعنا النتائج في [32] حيث تم اعمام النوع واعمام النوع السفلي للدالة الكلية ذات المتغيرات المعقدة المتعددة بالنسبة الى دليل الزوج (p,q) . | In 1970 Seremeta [36] defined generalized order and generalized type of slow growth of the entire functions with the help of general functions.In 1981 Kapoor and Nautiyal [22] defined generalized order for entire functions of slow growth with the help of general functions.In 2006 Ganti and Srivastava [8] obtained coefficient characterization for generalized type of slow growth. They also obtained necessary and sufficient conditions of the generalized type of slow growth in certain Banach space ( space, Hardy space and Bergman space).In this thesis we have extended the results in [8]. Thus the approximation of entire function of slow growth in several complex variables has been studied.In 1976, 1977 Juneja, Kapoor and Bujpai ([18,19]) obtained (p, q) - order, (p, q) - type , lower (p, q) - order and lower (p, q) - type of an entire function. They also obtained the results for the complete coefficient characterizations of (p, q) - order, (p, q) - type , lower (p, q) - order and lower (p, q) - type of an entire function.Generalized (p,q) - type and generalized lower (p,q) - type of an entire function with respect to the proximate order with index pair (p,q) are defined in 1980 by Nandan, Doherey and Srivastava [32] and their coefficient characterizations are obtained.In this thesis we have extended the results in [32]. Thus the generalized type and generalized lower type of entire function in several complex variables with index pair (p,q) have been studied.

شبه الموديولات تامة الاستقرارية == FULLY STABLE SEMIMODULES

اسم المؤلف: حيـدر عباس عبد الامير

اسم المشرف: اسعد محمد علي الحسيني

الموضوع العام: علوم الرياضيات

السنة: 2017

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: جامعة بابل - كلية التربية للعلوم الصرفة - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: بابل

الصفحات الاولى:

المستخلص: نفرض M شبه موديول معرف على شبه الحلقة R. شبه الموديول الجزئي K من M يقال انه مستقر اذا f(K) K لكل تشاكل f : K → M. شبه الموديول M يسمى تام الاستقرار اذا كل شبه موديول جزئي K من M هو مستقر. ان مفهوم شبه الموديول تام الاستقرارية هو تحويل من الموديول التام الاستقرارية. نقدم في هذا العمل مفهوم شبه الموديول الجزئي المستقر وشبه الموديول تام الاستقرارية وندرس الشروط التي نحتاجها لنحصل على خصائص وصفات مشابهه كما في الموديولات. بالاضافة الى ذلك، سنناقش خاصية الحذف لشبه الموديولات تامة الاستقرارية المنتظمة، لكن اولا الاستقرارية التامة من المجموع المباشر من شبه الموديولات تامة الاستقرارية تحت شروط معينة لتصبح تامة الاستقرارية نوقشت. كذلك العلاقة بين الاستقرارية التامة لشبه الموديول ومعيار بير درست. فضلا عن ذلك، مفهوم شبه الموديولات الجزئية الكاذبة الاستقرارية وشبه الموديولات التامة كاذبة الاستقرارية كتعميمات الى مفهومي شبه الموديولات الجزئية المستقرة وشبه الموديولات تامة الاستقرارية على الترتيب درست. بعض الخصائص والصفات لشبه الموديولات التامة كاذبة الاستقرارية حصلت. | Let M be a semimodule over a semiring R. A subsemimodule K of M is said to be stable if f(K) K for each homomorphism f : K → M. A semimodule M is called fully stable if each subsemimodule K of M is stable. The concept of fully stable R - semimodule is converted from the fully stable R - module. In this work, the concept of stable subsemimodule and fully stable semimodule will be introduced and studied, investigating the conditions that will be needed to get properties and characterizations similar or related to the case in modules. Moreover, we will discuss the cancellation property for uniform fully stable semimodules, but first the full stability of the direct sum of fully stable semimodules under certain conditions to be fully stable is discussed. Also, the relationship between full stability of the semimodule and the Baer criterion is studied. Furthermore, the concept of pseudo - stable subsemimodules and fully pseudo - stable semimodules as a generalizations of the concepts of a stable subsemimodule and a fully stable semimodule respectively are studied. Some properties and characterizations of fully pseudo - stable semimodules are obtained

السيطرة الامثلية التقليدية المستمرة للمعادلات التفاضلية الجزئية الخطية واللاخطية من النوع الاهليجي == The Continuous Classical Optimal Control Problem of a Non - Linear Partial Differential Equations of Elliptic Type

اسم المؤلف: ايمان حسين مخلف الروضاني

اسم المشرف: جميل اميرعلي الهواسي

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: الهدف الرئيسي لهذه الرسالة هو دراسة مسالة السيطرة الامثلية التقليدية المستمرة لزوج من المعادلات التفاضيلة الجزئية الخطية والغير الخطية من النوع الاهليجي (البيضاوي).حيث تضمنت تطبيق طريقة Galerkin لبرهان مبرهنة الوجود والوحدانية الحل للحالةstate)) لزوج من المعادلات التفاضلية الجزئية الخطية من النوع الاهليجي عندما يكون متجه السيطرة ثابتا وكذلك برهان وجود ووحدانية الحل الحالة لزوج من المعادلات المذكورة اعلا ولكن من النوع الغير الخطي بثبات متجه السيطرة تقليدية المستمرة باستخدام minty - Browder. قمنا ايضا ببرهان مبرهنات خاصة بوجود سيطرة (متجه السيطرة) تقليدية مستمرة من لزوج من المعادلات التفاضلية الخطية والغير الخطية من النوع الاهليجي. برهنا ايضا مبرهنة وجود ووحدانية الحل لزوج من المعادلات التفاضلية الجزئية المصاحبة والمرتبطة لزوج المعادلات التفاضلية الجزئية الخطية واللاخطية للحالة. مبرهنات Kuhn - Tucker - Lagrange's Multipliers طورت بشكل يتناسب مع المسالة السيطرة التقليدية المستمرة المقترحة في هذه الرسالة وصيغت وبرهنت مبرهنتا الشرط الضروري لوجود السيطرة الامثلية التقليدية مستمرة والشرط الكافي لوجود سيطرة التقليدية الامثلية. | The main goal of this thesis is to study the continuous classical optimal control problem of a couple of non - linear elliptic partial differential equations. With a suitable assumptions, the existence and the uniqueness solution of the state vector of a couple of linear elliptic PDEs for a given continuous classical control vector is proved by using Galerkin method. Minty - Browder theorem is used to prove the existence and the uniqueness solution of a couple of nonlinear elliptic PDEs for given fixed continuous classical control vector. The existence theorems of a continuous classical optimal control vector associated with a couple of non - linear elliptic equations are developed and proved. The existence and uniqueness theorem of a solution of the couple of adjoint equations associated with the considered couple of state equations of linear elliptic type equations is proved once and with the considered state equations of nonlinear elliptic equations with equality and inequality constraints is also proved once again. The Kuhn - Tucker - Lagrange multipliers theorems are developed and are used to prove the necessary conditions theorem and the sufficient conditions theorem of optimality of a couple of nonlinear elliptic equations with equality and inequality constraints.

حل مشكلة النقل الضبابية باستخدام دالة الرتب مع درجة العضوية المثلثية == Solving Fuzzy Transportation Problem by Using Ranking Function with Triangular Membership

اسم المؤلف: انفال حسن ذياب

اسم المشرف: ايدن حسن حسين الكناني | عبد الرحيم خلف الحارثي

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: جامعة بغداد

اللغة: الانكليزية

النص الكامل من المصدر: https://basicedu.uodiyala.edu.iq/uploads/Department%20Mathmatics/%D8%B1%D8%B3%D8%A7%D8%A6%D9%84%20%D9%88%D8%A7%D8%B7%D8%A7%D8%B1%D9%8A%D8%AD%20%D8%A7%D9%84%D9%82%D8%B3%D9%85/%D8%A7%D9%86%D9%81%D8%A7%D9%84.pdf

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: في هذا الرسالة تم دراسة مشكلة النقل الضبابية التي تكون فيها كلفة النقل وكمية الطلب والعرض هي اعداد ضبابية وان دالة الانتماء المستخدمة لايجاد الاعداد الضبابية هي الدالة المثلثية.في هذا الرسالة تم استخدام العديد من الخوارزميات بالاضافة الى اقتراح خوارزميتين جديدتين تعتمدان على دالة Yager لازالة الضبابية من مشكلة النقل.وقد تم استخدام الامثلة العددية والبيانات الحقيقية لاظهار مدى كفاءة جميع الخوارزميات المستخدمة في الرسالة والمقارنة بينهما,حيث تم حل مشكلة النقل الهشه ((crisp باستخدام خوارزمية فوجل بالاضافة الى الطريقة المعدلة (Modified distribution) وتم التاكد من الحل باستخدام برنامج (Win.QSB) اخيرا، تم تطبيق خوارزميات الحل المستخدمة في الرسالة على مشكلة نقل حقيقيه والتي تم الحصول على بياناتها من شركة توزيع المنتجات النفطية والمقارنه بين خوارزميات الحل من خلال تقليل الكلف وتم ايجاد نتائج هذة المشكلة . | In this thesis fuzzy transportation problem in which the cost of transportation and the amount of demand and supply are fuzzy numbers studied and that the membership function is used to find the fuzzy numbers are triangular membership function. Many algorithms have studied and proposed two algorithms have been used depending on proposed ranking function to remove fuzziness solution of fuzzy transportation problem. A numerical example and real data are used to show the efficiency of all these algorithms which used in this thesis with respect to the Vogel's algorithm with modified distribution and sure the solution by (WinQSB). Finally, during the application of algorithms solution we studied the problem of the transfer of real whose data was obtained from Oil Products Distribution Company. Comparison between algorithms solution has been organized by minimizing costs and the results of this problem have been achieved

تحلل مقاس وايل وتحلل لاسكو في حالة التجزئة (3,3,2) == Resolution of Weyl module and Lascoux resolution in the case of the partition (3,3,2)

اسم المؤلف: الاء عمر عزيز

اسم المشرف: هيثم رزوقي حسن

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: المعادلات التفاضلية

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: لتكن حلقة ابدالية مع عنصر محايد غير صفري، مقاس حر معرف على الحلقة ولتكن القوى الجبرية المقسمة من الدرجه n . Buchsbaum وضح ان الصف الاكبر من مقاسات عرفت خلالها جميع مقاسات وايل بحيث ان شبه تجزئة وصور لتطبيق وايل ، استخدم Buchsbaum تقنيات معقدة من النمط بار وجبر حروف المكان مع مشخصات كابلي لدراسة تحلل مقاس وايل .في هذا العمل اعطينا تطبيقين جديدين لتحلل صفين لمقاس وايل ، وقدمنا حدود تحلل مقاس وايل في حالة التجزئة (3,3,2) وبذلك اوجدنا صور حدودها الجديدة تحت تاثير التطبيق التخامي. قمنا بدراسة معقدة لاسكو كمخطط. وقمنا ايضا بتعميم التقنيات المستخدمة من قبل Buchsbaum في حالة التجزئة (2,2,2) الى حالة التجزئة (3,3,2)، علاوة على ذلك درسنا الربط مابين تحلل العد البياني الحر لمقاس وايل في حالة التجزئة (3,3,2) وتحلل العد البياني الصفري (تحلل لاسكو) في حالة التجزئة ذاتها.واخيرا بينا كيف ان الفكرة ذاتها المستخدمة من قبل Buchsbaum في حالة التجزئة (2,2,2) تعمل ايضا في حالتنا (3,3,2) وذلك بتفصيل وصف التخفيض من تحلل العد التنازلي الحر الى تحلل لاسكو في حالة التجزئة (3,3,2). | Let be a commutative ring with non zero identity, be a free - module and be the divided power algebra of degree n . Buchsbaum shows that the large class of - modules is defined among them all the Weyl modules where is the skew - partition and is the images of Weyl map , he used the techniques of Bar - complex and letter place algebra with Capelli identities to study the resolution of Weyl modules . In this work we gave two new applications of the resolution of two - rowed Weyl module. And presented the terms of the resolution of Weyl modules in the case of partition (3,3,2) so that we found the image of it is new terms under the boundary map. We study the complex of Lascoux as a diagram and generalized the techniques which are used by D. A. Buchsbaum in the case of the partition (2,2,2) to the case of the partition (3,3,2), moreover we study the connection between the characteristic - free resolution of Weyl module in the partition (3,3,2) and the characteristic - zero resolution (Lasco - ux resolution) of Weyl module in the same partition . Finally we explain how the same idea used by Buchsbaum in the case of (2,2,2) works also on our case (3,3,2) by explicitly describe the reduction from the characteristic - free resolution of Weyl module to Lascoux resolution in case of partition (3,3,2).

استخدام تحويل فورييه وتحويل المويجة لحل نوع معين من المعادلات التفاضلية الجزئية == Using Fourier Transform and Wavelet Transform for Solving Certain Type of Partial Differential Equations

اسم المؤلف: الاء صباح العيبي

اسم المشرف: الاء صباح العيبي

الموضوع العام: علوم الرياضيات

السنة: 2016

الموضوع الدقيق: المعادلات التفاضلية

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

بعض التعميمات لمقاسات التوسع والمفاهيم ذات العلاقة == Some Generalizations of Extending Modules and Related Concepts

اسم المؤلف: اقبال احمد عمر

اسم المشرف: سعد عبد الكاظم كاطع الساعدي

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: لتكن R حلقة وM مقاس معرفا على .R يقال للمقاس M بانه مقاس توسع اذا كان كل مقاس جزئي من M يكون جوهري من مركبة جمع مباشرمن M. لعبت مقاسات التوسع دور مهم في دراسة نظرية الحلقة والمقاس. في هذه الرسالة حاولنا تعميم مفهوم مقاسات التوسع باستخدام طرق مختلفة جديدة (حسب علمنا) .لتكن M وN مقاسيين معرفيين على R وA(N,M) مجموعة من المقاسات الجزئية من M والتي تكون مغلقة تحت المقاسات الجزئية، التوسيعات الجوهرية وصورة التشاكل التقابلي. يقال عن M بانه مقاس توسع من النمط N اذا كان لكل مقاس جزئي موجود فيA(N,M) يكون جوهري من مركبة مجموع مباشرمن M . نقول عن M بانه مقاس توسع كولدي من النمط N اذا كان لكل مقاس جزئيA من M وموجود في A(N,M) يوجد مركبة مجموع مباشر D من M بحيث AβD . اكثر من ذلك, تم عرض ودراسة مقاسات CESS من النمطG كتعميم فعلي من مقاسات التوسع (كولدي) ومقاسات .CESS نقول عن المقاس بانه CESS من النمط G اذا كان كل متممة X في M ذات socle جوهري يوجد مركبة مجموع مباشر D من M بحيث XβD . تم برهان بان المقاس M يكون CESS من النمط G اذا وفقط اذا M تكون مقاس توسع كولدي من النمط N لكل مقاس شبه بسيطN معرف على .Rبطريقة اخرى, تم عرض ودراسة اصناف من مقاسات تعميم مقاسات التوسع وبعض تعميماتها. مثال على ذلك, نقول عن المقاس M بانه توسع متسق نقي اذا كان كل مقاس جزئي متسق من M يكون جوهري من مقاس جزئي نقي من M. اكثر من ذلك, نقول عن المقاس انه مقاس توسع نقي من النمط N اذا كان لكل مقاس جزئيA من M وموجود في A(N,M) يوجد مقاس جزئي نقي P من M بحيث A يكون جوهري من P . اخيرا, قدمنا ودرسنا مفهوم مقاسات التوسع النقية من النمط - G كتعميم فعلي لمقاسات التوسع النقية ومقاسات التوسع كولدي . نقول عن المقاس M بانه توسع نقي من النمط G اذا كان لكل مقاس جزئي X من M يوجد مقاس جزئي نقي P من M بحيث XβP .تم اعطاء العديد من التشخيصات , النتائج والخواص لكل الاصناف الجديدة اعلاه(حسب علمنا) . | Let R be a ring and M be an R - module. Recall that M is extending module if every submodule of M is essential in a direct summand of M. Extending modules played an important role in ring and module theory. Many generalizations of extending modules are studied.In this thesis, we try to generalize the concept of extending modules by using new different ways. Let N and M be an R - modules and A(N,M) is closed under submodules, essential extensions and isomorphic images. Recall that an R - module M is N - extending if for each submodule belong to A(N,M) is essential in a direct summand of M. We call an R - module M is N - Goldie - extending if for each submodule A of M with A∈ A(N,M), there is a direct summand D of M such that AβD. Moreover, we introduce and study the concept of G - CESS - modules as a generalization of (Goldie - ) extending modules and CESS - modules. An R - module M is called G - CESS - module if, every complement X of M with essential socle there is a direct summand D of M such that XβD. In fact, we prove that M is G - CESS - module if and only if M is N - G - extending for each semisimple R - module N. In other way, we introduce and study the classes of modules generalize extending modules and some of their generalization. For example, we call an R - module M is uniform purely extending if, every uniform submodule of M, is essential in a pure submodule of M. Moreover, we call N - purely extending if for each submodule A of M with A∈ A(N,M), there is a pure submodule P of M such that A is essential in P. Finally, we introduce and study concept of purely Goldie extending modules as a generalization of Goldie extending modules and purely extending modules. An R - module M is called purely Goldie extending if, for each X is a submodule of M, there is a pure submodule P of Msuch that XβP. Many characterizations, results and properties are given for all above new classes.

بعض انواع من المقاسات المنضغطه والمنكمشه == Some types of Retractable and Compressible Modules

اسم المؤلف: اسراء حسن مسلم

اسم المشرف: ليلى سلمان محمود

الموضوع العام: علوم الرياضيات

السنة: 2016

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: جامعة بغداد

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

متعددات الحدودالمتعامدة لمعادلات بينلفيه المستمرة والمتقطعة == Orthogonal Polynamials for Continuous and discrete Painleve'equations

اسم المؤلف: احمد كريم مطشر

اسم المشرف: انعام عبد الرحمن ملوكي

الموضوع العام: علوم الرياضيات

السنة: 2015

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: تهدف الرسالة الى دراسة معادلات بينليفه وعلاقتها بــ متعددات الحدود المتعامدة, تتضمن الرساله جزئيين رئيسيين. يناقش الجزء الاول العلاقة بين متعددات لاكير شبه الكلاسيكية ومعادلة بينليفه الرابعة، يتم بناء متعددات حدود جديده باستعمال الحلول النسبية لهذه المعادلة والتي تشكلت من تحولات باكلاند، ومن جانب اخر وباستعمال معاملات العلاقة التكرارية ذات الثلاث حدود لمتعددات الحدود. استطعنا الحصول على بعض الحلول النسبيه لبعض الاشكال من معادلات بينليفه الرابعة يتضمن الجزء الثاني تعميم كووروندر لمتعددات لاكير مع خصائصها، ومن ثم استخدمنا نفس الفكرة لتعميم داله الوزن وطورنا بعض النتائج الخاصة بالعلاقة التكرارية لمتعددات الحدود للحصول على المعاملات من خلال محدد هانكل | This thesis studies Painleve' equations and their connection to orthogonal polynomials. It is divided into two parts : the first part discusses the relationship between semi classical Laguerre orthogonal polynomials and fourth Painleve' (PVI) equation, then builds new orthogonal polynomials using rational solutions to PVI equation which were constructed from Backlund transformation. On the other hand, using the coefficients of three terms recurrence relation for orthogonal polynomials, we can find rational solutions to some forms of PVI equation.The second part, reviews Koornwinder's generalization of Laguerre polynomials with their properties then we use the same idea of generalizion to the semi classical Lagaurre weight and develop some results concerning the iterative relationship of orthogonal polynomials to get coefficients by the Hankel determinant

جدولة n من النتاجات على ماكنة واحدة لتصغير دالتين == An n - Jobs One Machine Scheduling for Minimization the Sum of Two Criteria

اسم المؤلف: ازهار مهدي عبادي

اسم المشرف: محمد كاظم زغير الزويني

الموضوع العام: علوم الرياضيات

السنة: 2017

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: جامعة ذي قار - كلية التربية للعلوم الصرفة - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: ذي قار

الصفحات الاولى:

حلولية بعض اصناف المعادلات التفاضلية الجزئية غير الخطية == Solvability of Some Classes of Nonlinear Partial Differential Equations

اسم المؤلف: احمد اسماعيل محمد

اسم المشرف: راضي علي زبون الساعدي

الموضوع العام: علوم الرياضيات

السنة: 2014

الموضوع الدقيق: الرياضيات

الدرجة: ماجستير

الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات

اللغة: الانكليزية

مكان الجامعة: بغداد

الصفحات الاولى:

المستخلص: نلخص الهدف الاساسي لهذا العمل حول دراسة الحلولية لبعض اصناف المعادلات التفاضلية الجزئية غير الخطية. طبقا" للحدود غير الخطية, حيث من الصعوبة احيانا" القيام بايجاد الحل (التحليلي| المضبوط) لهكذا صنف من المعادلات.في هذه الرسالة تبنينا منهجية ملائمة لايجاد الحلول. تستند هذه المنهجية على دمج طريقة (الهموتوبي المقلقلة) مع تقنية (كول - هوف ) للتحويل. طريقة (الهموتوبي المقلقلة) تعتبر طريقة فعالة لايجاد الحل التقريبي لبعض المعادلات الخطية وغير الخطية, في حين تعتبر تقنية (كول - هوبف) للتحويل مجرد الية تحول بعض المسائل غير الخطية الى خطية مضبوطة لها. لقد طورت هذه المنهجية لاكتشاف الحل لبعض المعادلات التفاضلية الجزئية غير الخطية ومسائل ذات الحدودية المتحركة وسميناها (ستراتيجية كول - هوبف - الهموتوبي المقلقلة).اخذنا بعض من معادلات (بيرجر) غير الخطية (متجانسة وغير متجانسة) مع الشروط الحدودية (متجانسة وغير متجانسة), كمثال لصنف المعادلات غير الخطية. في حين مسئلتي ستيفان للانجماد والذوبان اخذتا كمثال لصنف المسائل ذات الحدودية المتحركة مع المقارنات.المحاكاة العددية عرضت بجداول واشكال واظهرت مطابقات جيدة جدا" في المقارنات. | The aim of this thesis is to study the solvability of some classes of nonlinear partial differential equations. Due to the nonlinearities, sometimes, it is difficult to find the explicit (analytical or exact) solution to such class of equations where, a suitable procedure has been adapted for finding such solutions. The procedure is based on combining together the Homotopy Perturbation Method and a Cole - Hopf transformation technique. The Homotopy Perturbation Method is a powerful method for finding a solution (approximate) of some non - linear equation; while, Cole - Hopf transformation is nothing but a transformation that can be used to transform some non - linear equation into an exact linearized one. This procedure has been developed to find out a solution to some non - linear partial differential equations and non - linear moving boundary value problems; and we call it (Cole - Hopf - Homotopy Perturbation Procedure). The nonlinear (homogenous and non - homogenous) Burger's equations with (homogenous and non - homogenous boundary condition) as well as initial condition have been illustrated as given examples with comparisons, while a Stefan type problems of solidification of water and melting ice problem have been taken as an example of moving boundary value problems also. A numerical simulation has been presented with tables and graphs with a very good agreement of comparisons