العلم العراقي
عرض: 25 50 75 100 النتائج

نتائج البحث: 25 من أصل 146

حساب التكاملات الثنائية والثلاثية عدديا عندما تكون اعداد الفترات الجزئية على الابعاد غير متساوية باستعمال قاعدة النقطة الوسطى مع طريقة تعجيلية Evalution of Double and Triple Integrals Numerically when the Subintervals on the Dimensions are not Equal by Using Mid - Point Rule with Acceleration Method

اسم المؤلف: زينب فليح حسن
اسم المشرف: علي حسن محمد
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: التحليل العددي
الدرجة: ماجستير
الجامعة: جامعة الكوفة - كلية التربية للبنات - قسم الرياضيات
اللغة: العربية
مكان الجامعة: النجف
الصفحات الاولى:

دراسة بعض المسائل المتنوعة لاصناف اكيدة في نظرية الدوال الهندسية للمتغير المركب A Study of Some Various Problems of Certain Classes in The Theory of Geometric Functions of a Complex Variable

اسم المؤلف: ازهار جواد كاظم
اسم المشرف: علي حسين بتور وقاص غالب عطشان
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة الكوفة - كلية التربية للبنات - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: النجف
الصفحات الاولى:

المتتابعات المضاعفة في فضاءات رايس البناخية Double Sequences in Banach Riesz Spaces

اسم المؤلف: سجى فاضل عبد
اسم المشرف: علي حسين بتور
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة الكوفة - كلية التربية للبنات - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: النجف
الصفحات الاولى:

حول تحويل التميمي وحل بعض اصناف المعادلات التفاضلية الاعتيادية الخاضعة وغير الخاضعة لشروط ابتدائية مع بعض التطبيقات في العلوم الاخرى On Al - Tememe Transform and Solving Some Kinds of Ordinary Differential Equations with Initial Conditions and Without it and Some Applications in Another Sciences

اسم المؤلف: الاء صالح هادي
اسم المشرف: علي حسن محمد التميمي زاهر محسن حسين
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة الكوفة - كلية التربية للبنات
اللغة: الانكليزية
مكان الجامعة: النجف
الصفحات الاولى:

حساب التكاملات الثنائية والثلاثية عدديا عندما تكون اعداد الفترات الجزئية على الابعاد غير متساوية باستخدام قاعدة سمبسون مع طريقة تعجيلية Evaluation Double and Triple Integrals Numerically When the Subintervals on the Dimensions are not Equal by Using Simpson's Rule With Acceleration Method

اسم المؤلف: رؤى عزيز فاضل
اسم المشرف: علي حسن محمد
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: التحليل العددي
الدرجة: ماجستير
الجامعة: جامعة الكوفة - كلية التربية للبنات
اللغة: العربية
مكان الجامعة: النجف
الصفحات الاولى:

شبه الحلقة القريبة غير التجميعية مع جبر BCK A Non Associative Seminear Ring with BCK - algebra

اسم المؤلف: ازل طه عبد الوهاب الموسوي
اسم المشرف: ساجده كاظم محمد
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة الكوفة - كلية التربية للبنات - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: النجف
الصفحات الاولى:

تعميم تحويلات لابلاس الضبابية لمشتقتي ريمان - ليوفيل وكابوتو الكسوريتين الضبابيتين من الرتبة Generalization of Fuzzy Laplace Transforms of the Fuzzy Riemann - Liouville and Caputo Fractional Derivatives about Order

اسم المؤلف: رؤى حميــــد حســــن
اسم المشرف: امال خــلف حيـــدر
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة الكوفة - كلية التربية للبنات - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: النجف
الصفحات الاولى:

دراسة خصائص بعض التوزيعات متعددة المتغيرات

اسم المؤلف: افراح ساهم سالم
اسم المشرف: كريمة عبد الكاظم مخرب
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بابل - كلية التربية للعلوم الصرفة - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بابل
الصفحات الاولى:

التقريب للشبكات العصبية الامامية APPROXIMATION FOR FEED FORWARD NEURAL NETWORK

اسم المؤلف: سارة عبد الرضا رحمن
اسم المشرف: ايمان سمير بهيه
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بابل - كلية التربية للعلوم الصرفة - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بابل
الصفحات الاولى:

تقريب الدوال المعرفة على كرات الوحدة بدلالة الدالي - K

اسم المؤلف: هند اياد شاكر
اسم المشرف: ايمان سمير بهية
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بابل - كلية التربية للعلوم الصرفة - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بابل
الصفحات الاولى:

تحسين خوارزميات الحل التام والبحث المحلي لحل بعض مسائل الامثلية التوافقية Improving Exact and Local Search Algorithms for Solving Some Combinatorial Optimization Problems

اسم المؤلف: فائز حسن علي
اسم المشرف: طارق صالح عبد الرزاق
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الامثلية العددية
الدرجة: دكتوراه
الجامعة: الجامعة المستنصرية - كلية التربية للعلوم الصرفة
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: In mathematics and computer science, an optimization problem (OP) is the problem of finding the best solution from all feasible solutions. OPs can be divided into two categories depending on whether the variables are continuous or discrete. An OP with discrete variables is known as a combinatorial optimization problem (COP). In a COP, we are looking for an object such as an integer, permutation or graph from a finite set.The aim of the research presented in this thesis is to investigate the use of various optimization exacts and heuristics to solve the COP's. This thesis presented in six chapters.In this thesis we interest in discussing three samples of COP; machine scheduling problem (MSP), transposition cipher problem (TCP) and aircraft landing problem (ALP).In the first two chapters, we discuss the main concepts of the COP, the three study cases, the basic techniques and methods for solving the COP respectively.In chapter three, we interesting in MSP, with multiple objective for the 1//(Ci,Ti) problem (P1) and 1//Ci+Ti problem (P3). We investigate the usefulness of precedence rules in solving (P1) and (P3). We found that the complete enumeration method (CEM) gives efficient (and optimal) solutions for (P1) (and (P3)) with number of jobs (n)10, and branch and bound (BAB) gives efficient solutions for (P1) with n15 and optimal solution for (P3) with n80. In addition, we use the local search methods (LSM), to solve the two problems, represented by genetic algorithm (GA) and particle swarm optimization (PSO) with n2000. In general we conclude that PSO serves better than GA. Lastly, a neural network (NN) is constructed to solve problems (P1) and (P3). Two learning algorithms are used to learn the NN; pack propagation (PB) and PSO with and without depending on successive rules (SR). We see that PSO is better than BP in learning NN to obtaining good results.In chapter four, we suggest a new direction in cryptanalysis of TCP, we suggest using the techniques of COP to solve TCP in another word, the TCP treated as one of COP. First a new mathematical formulation for TCP is introduced and proposed some new tools of TCP cryptanalysis. The CEM and modified BAB are developed by using SR to obtain the multi digits CEM (MDCEM) and MDBAB which are helpful in decreasing the CPU time. Classical bees' algorithm (CBA) and shifted key BA (SKBA) are improving the cryptanalysis results. To increase the performance of the mentioned algorithms we construct cryptanalysis system for TCP to find exact solution (as possible) for n20 in reasonable time, which is called SR keys BA (SRKBA). The main result of this thesis is suggesting a general solving system for COP specially, when the problem submits to SR.Chapter five focused in one of the important problems of COP; ALP. A new improvement in a heuristic method, called parallel improving algorithm (PIA), is introduced, the new algorithm called modified PIA (MPIA) which is serves better than PIA. The CEM is used to solve ALP using two techniques; exhaustive search method (ESM) which gives optimal solution but in unreasonable time for n>9 while MPIA gives approximation solutions for n9 in 6 seconds. Lastly, hybridization is proposed between MPIA and CBA, which is called improvement CBA (ICBA). ICBA gives optimal solutions in solving ALP for n<50 and near optimal for n=50.In chapter six, some conclusions together with some suggestions for future researches have been given.The exact and heuristics methods all were tested by programming them using version 10.0 of Delphi Language and MATLAB, and running on Processor Intel(R) Core (TM) i3 CPU, 2.53 GHz, Core(s), with Ram 1.21 GB computer.

مسالة السيطرة الامثلية التقليدية المستمرة لمعادلات تفاضلية جزئية The Continuous Classical Optimal Control Problem of Partial Differential Equations

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

الحل العددي لبعض المعادلات التفاضليه باستخدام تحويل لاكير Numerical Solution for some Differential Equations via Laguerre Transform Approach

اسم المؤلف: غصون سعيد عبد محمد
اسم المشرف: ايمان علي حسين
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: التحليل العددي
الدرجة: ماجستير
الجامعة: الجامعة المستنصرية - كلية التربية للعلوم الصرفة
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: The main aim of this work is to introduce new formulae that can be used to deal with LT and to utilize them for solving different types of DEs.A new simple general formula is derived to evaluate the LT of the higher derivatives of a variable. The new formula is easily modeled by a computer program, and there is no need for tedious operations of successive integration by part, as in the conventional method.This work proposes a method utilizing LT to solve ODE's (linear and nonlinear, homogeneous or inhomogeneous, boundary or initial value problems), which is explained and implemented in different examples. The results are in a good agreement with the analytical solution.Two other new methods are proposed, utilizing LT to solve PDE's with one spatial dimension. The two methods are explained and implemented in different examples, and the results show a good agreement with the analytical solutions.Another new method, utilizing LT, is proposed to solve PDE's with two spatial dimensions. The method is implemented to solve heat equation with two spatial dimensions and the results show a good agreement with that of finite difference solution. The method is also modified to achieve image smoothing as a global smoothing technique. The new image smoothing technique is compared with a finite difference technique for image smoothing, which is a local smoothing technique. The results of the proposed new technique show better smoothing (less fogy) with an expenditure of a long execution time.Finally, it is worth to mention that all the programs used in this work have been coded by the MATLAB 7 system environment

طرق تكرارية موثوقة لحساب تراكيز ثنائي اوكسيد الكاربون الممتص بواسطة فينيل غلايسيدل الايثر Reliable Iterative Methods for Calculating the Concentrations of Carbon Dioxide Absorbed into Phenyl Glycidyl Ether

اسم المؤلف: غسان حسن محمود راضي
اسم المشرف: مجيد احمد ولي
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بغداد
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: In this thesis, two reliable iterative methods are used to calculate the concentrations of carbon dioxide CO2 and phenyl glycidyl ether PGE. The first one is the variational iteration method. It is used to get an approximate solution for a system of two coupled nonlinear ordinary differential equations which represent the concentrations of CO2 and PGE. The other method is the standard homotopy analysis method which is implemented on this system. Formerly, this system has been solved by the Adomiandecomposition method. In solving this system by Adomian’s method, the nonlinearity needs calculating the Adomian’s polynomials. On the other hand, the two methods do not require any assumptions like the calculating of the Adomian’s polynomials. In this system there are boundary conditions of Dirichlet type and the other is a mix of Neumann and Dirichlet type. Our calculations are evidenced by tables and figures for the analysis of the maximal error remainder values. The variational iteration method givesapproximate solutions with fast convergence. Comparison with the results obtained by the Adomian decomposition method shows that the numerical solutions obtained by the variational iteration method converge faster than those of Adomian's method. Also, the homotopy analysis method which is implemented on this system has a very fast convergence in giving approximate solutions. Moreover, the numerical solutions resulted from the homotopy analysis method converge faster than those of Adomian's methodwhich has been implemented previously for the same problem. The numerical results also show high rates of convergence which are obtained at the increasing of the iterations. The used software of the contained calculations in our study is Mathematica 9.

بعض طرائق التقدير لمعلمة القياس لتوزيع لابلاس : دراسة مقارنة Some Baye,s Estimators for the Scale Parameter of the Laplace Distribution / A Comparison Study

اسم المؤلف: عماد فرهود محي الشريفي
اسم المشرف: هدى عبد الله رشيد
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: The Laplace distribution is important to the development of mathematics ,statistics, physics, and astronomy, and usually used as its characteristics apply to a large ratio of natural, social and economic phenomenon. Hence, the importance of this thesis is to Find the best estimator for the scale parameter θ, when location parameter (a) is known and unknown through obtaining and comparing the classical estimators (Maximum Likelihood Estimator, Uniformly Minimum variance unbiased Estimator, and Minimum Mean Squared Error), as well as Bayesian estimators under different loss functions (Quadratic loss function, squared - Log error loss function, Generalized squared error loss function, Entropy loss function, Suggested loss function).In order to get a better understanding of our Bayesian analysis, we consider the non - informative prior for the scale parameter () using Jeffreys prior information, as well as informative prior density represented by Gumbel Type II Prior.All these estimators are compared empirically using Mont - Carlo simulation by employing the mean squared errors (MSE's).Also we derived the Minimax estimators of the scale parameter θ for the Laplace distribution for all loss functions referred to above and reach to the estimators under Quadratic loss function, Squared - log error loss function, special case of Suggested loss function and Entropy loss function are Minimax estimators.Among conclusions that have been reached, the Suggested loss function with Gumble prior has recorded the best performance of the used for other loss functions. On the other hand, Gumble prior under different loss functions with Gumble Type II prior is better comparing to the corresponding Jeffrey's prior (under the same loss function) for all cases.

تصميم شبكات عـصبية ملائمة لحل مسائل القيم الذاتية وتطبيقاتها Design Suitable Neural Networks to Solve Eigen Value Problems and It?s Application

اسم المؤلف: عثمان مهدي صالح
اسم المشرف: عثمان مهدي صالح
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات التطبيقية
الدرجة: ماجستير
الجامعة: جامعة بغداد
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: الهدف من هذه الرسالة هو تصميم شبكات عصبية ملائمة ذات تغذية تقدمية كطريقة لحل مسائل القيم الذاتية للمعادلات التفاضلية الاعتيادية الشاذة وغير الشاذة ذات الشروط الحدودية. الشبكة المقترحة تتعلق بحساب القيم الذاتية والدالة الذاتية المرافقة لها والتي تمثل الحل الغير صفري لنموذج المسالة.ايضا ناقشنا عدد من خوارزميات الاداء ذات المستوى العالي المستخدمة في خوارزميات تدريب الانتشار المرتد للشبكات العصبية ذات التغذية التقدمية وعرض نتائج المقارنة الحاصلة من تطبيق MATLAB مثل ﻟﻴفنبرﻙ - ماركواردت , شبيه نيوتن, تنظيم بيزن, ومن ثم تسريع اداء الشبكات المقترحة من خلال تعديل خوارزميات التدريب هذه, حيث ان بعضها يمتلك نسبة تقارب سريعة جدا لشبكات ذات احجام معقولة.الهدف الاخر لهذه الرسالة هو تحسين خوارزمية التدريب ﻟﻴفنبرﻙ - ماركوارت من خلال الاختيار المناسب للمعامل μk والذي يضمن التقارب لخوارزمية التدريب هذه.ايضا عالجنا عدة مشاكل واجهتنا اثناء تقنية التدريب مثل : التوقف المبكر, خزن الذاكرة , التنظيم وحساب مصفوفة هيسين ومعكوسها.اخيرا تم توضيح الشبكات المقترحة من خلال حل مسائل متنوعة ومقارنتها مع حلول بطرق مختلفة اخرى لاثبات سرعة , دقة وفاعلية استخدام تقنية الشبكات في حل هذا النوع من المعادلات. | The aim of this thesis is to design suitable feed forward neural networks to present a method to solve eigenvalue problems for non - singular ordinary differential equations with boundary conditions. The suggested networks concerned with the computation of eigenvalues and associated eigenfunction which represent the nontrivial solution of the problem model. Also, we will discuss several high performance algorithms used in back propagation training of the feed forward neural networks and present comparative results obtained in MATLAB implementation such as : Levenberg - Marquardt, quasi - Newton and Bayesian regularization, update procedure, then speeding suggested networks by modification these training algorithms, many of them have a very fast convergence rate for reasonable size networks.Other aims of this thesis is to modify Levenberg - Marquardt training algorithm by suitable choice of the parameter μk which guarantee super linearly convergence for this training algorithm. Also, we treat many problems that confront during the training technique such as : early stopping, memory storage, regularization and calculating of Hessian matrix and its inverse.Finally, illustrate the suggested networks by solving a variety of model problems and present comparisons with solutions obtained using other different methods to show speed, accuracy and effectiveness of using the networks technique for solving this type of equations

المقاسات الجزيئة المقاسات المستحوذة على 2 وبعض اعماماتها 2 - Absorbing Submdules (Modules) and Some of Their Generalizations

اسم المؤلف: عبد الرحمن عبد الله حرفش
اسم المشرف: انعام محمد علي هادي
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بغداد
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: Let R be a commutative ring with identity, and let M be a unitary left Rmodule. Prime ideals one of the main concepts in ring theory and many generalizations of this concept are introduced such as strongly prime ideals, almost prime ideals, weakly prime ideals, semi - prime ideals, weakly semiprime ideals and 2 - absorbing ideals. Moreover each of the above concepts generalized to submodules. Main goals in this work :  Presenting a comprehensive study of 2 - absorbing submodules and giving many new characterizations and properties related with this concept. Also we use this concept to define and study a new class of modules which is called 2 - absorbing modules.  Introducing and studying many generalizations of 2 - absorbing submodules, 2 - absorbing modules. In fact we introduce and study semi - 2 - absorbing submodules, semi - 2 - absorbing modules, Endo 2 - absorbing submodules, Endo semi - 2 - absorbing submodules, Endo 2 - absorbing modules and Endo semi - 2 - absorbing modules.  Presenting other kinds of 2 - absorbing submodules(resp.2 - absorbing modules) namely small 2 - absorbing submodules (resp. small 2 - absorbing modules ). Then Endo small 2 - absorbing submodules (resp. Endo small 2absorbing modules) are introduced and studied.

القابلية على السيطرة لبعض انظمة السيطرة بواسطة نظرية شبه الزمرة The Controllability of Some Control Systems Via Semigroup Theory

اسم المؤلف: عبد الرحمن حميد نجم حسين
اسم المشرف: نصيف جاسم الجواري
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: في هذا العمل، تم ادخال الشروط الكافية لمفهوم القابلية على السيطرة لانظمة غير خطية ذات الشرط الابتدائي والحدودي في فضاءات بناخ المحدبة بشكل منتظم, واثباتها باستخدام نظرية شبه الزمرة (شبه الزمرة المستمرة بقوة) وبعض الطرائق التقنية ضمن التحليل الدالي غير الخطي مثل نظرية النقطة الصامدة لكيرك. علاوة على ذلك, تم اعطاء بعض الامثلة التي توضح قيمة النتائج اعلاه. كذلك تم تقديم النتائج التي تتعامل مع قابلية السيطرة لانظمة غير خطية ذات الشرط الابتدائي والحدودي في فضاءات بناخ وذلك باستخدام نظرية النقطة الصامدة لكل من بناخ وشويدر. | In this thesis, the sufficient conditions for controllability concept of certain nonlinear initial and boundary - value systems in uniformly convex Banach spaces are introduced, and proved by using semigroup theory "strongly continuous semigroup" and some techniques of nonlinear functional analysis, such as, Kirk fixed point theorem. Moreover, examples which illustrate mathematical justification of these theorems are given. Also, the above results for controllability of nonlinear initial and boundary - value systems in any Banach spaces have been presented by using Banach's and Schauder's fixed point theorem.

التماثيل في المعادلات التفاضلية SYMMETRY OF DIFFERENTIAL EQUATIONS

اسم المؤلف: طلعت جاسم محمود
اسم المشرف: انعام عبد الرحمن ملوكي
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: المعادلات التفاضلية
الدرجة: ماجستير
الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: Symmetries of a system of di erential equations are transformations, which transform the family of solutions of a system of di erential equations to itselves. In fact, the theory of symmetry of di erential equations in arguably one of the most successful methods in nding the solutions of di erential equations, this theory uni es a number of previously unrelated methods into a single method. However, as with all theories, there are instances in which it provide no useful information. Thus extensions and generalizations of the method are necessary to broader the class of equations analyzed by this method. In this thesis, a general view about the subject of classical symmetry and its generalization on di erential equations is considered, classical symmetry for many di erential equations using Lie's algorithm or Maple program have been calculated. A comparison between the classical and nonclassical symmetries, and we have found, some nonclassical symmetries of the Benjamin Bona Mahony equation and some weak symmetries for this equation, which have been used to nd exact solution for this equation.Moreover, this thesis studied some applications for symmetry which can be used to solve di erential equations, such as : Finding the hidden symmetries and their origins (sources) for some ODEs and for Benjamin Bona Mahony equation, nding discrete symmetry, by using continuous symmetry, and we got new symmetries which can be considered as a composition of continuous and discrete symmetries, solving boundary value problems of di erential equation and nding the boundary conditions which are consistent with symmetry of the di erential equation. Moreover, the Clarkson problem was discussed in order to know whether the di erential equation possess a nonclassical symmetries, without solving the problem and that by using hidden symmetries.

مقدرات بيز وبيز التجريبي لتوزيع لوماكس Bayes and Empirical Bayes Estimators for Lomax Distribution

اسم المؤلف: شهد سعد علوان
اسم المشرف: نادية هاشم النور
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بغداد
المستخلص: Point estimation is one of the core topics in mathematical statistics.The main aim of this study is to discuss the most common methods of point estimation : non - Bayes, Bayes and empirical Bayes methods. We consider these estimation methods to estimate the shape parameter, reliability and failure rate functions of Lomax distribution based on complete data. The maximum likelihood, moment and uniformly minimum variance unbiased estimators are obtained as non - Bayes estimators. Bayes and empirical Bayes estimators are obtained corresponding to three informative priors "gamma, chi - square and inverted Levy" based on symmetric "squared error" and asymmetric "LINEX and general entropy" loss functions. Comparisons are made between different estimators empirically via Monte Carlo simulation study. The estimates of the shape parameter were compared based upon the mean squared error while the estimates of reliability and failure rate functions were compared based upon the integrated mean squared error. Among the set of conclusions that have been reached, it is observed that, for all sample sizes and different cases, the performance of uniformly minimum variance unbiased estimator is better than other non - Bayes estimator for estimating the shape parameter and failure rate function of Lomax distribution. Also, it is observed that conjugate gamma prior record full appearance as best prior distribution with Bayes estimates for reliability function. Further that, Monte Carlo simulation results indicate that the performance of Bayes and empirical Bayes estimator for some cases are better than non - Bayes for some appropriate of prior distribution, loss function, values of parameters and sample size.

مقارنة المقدرات الكلاسيكية والبيزية للتوزيع الاسي المعكوس Comparison Classical and Bayesian Estimators for the Inverted Exponential Distribution

اسم المؤلف: سوزان فرمان باوي
اسم المشرف: نادية هاشم النور
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بغداد
المستخلص: The inverted exponential distribution is a member of continuous probability distributions. It has been introduced by Keller and Kamath in (1982) when they studied the shapes of the density and failure rate functions for the basic inverse model. Recently, inverted exponential distribution has been received attention from many researchers.This study is devoted to discuss the classical and Bayesian estimation problem of the unknown parameter of inverted exponential distribution. Maximum likelihood estimator is obtained as classical estimation. Bayes estimators are obtained corresponding to informative and non - informative priors "inverted gamma, Gumbel type II, Jeffrey and extension of Jeffrey" under four symmetric and asymmetric loss functions. Also, by using Lehmann’s theorem, Bayes estimators are examined if it minimax estimators, semi - minimax estimators or not. The obtained maximum likelihood estimator along with Bayes estimators are compared empirically for different cases and multiple sample sizes using Monte - Carlo simulation method in terms of two statistical criteria which are mean squared error (MSE) and mean absolute percentage error (MAPE). Among the set of conclusions that have been reached, it is observed that, Bayes estimate for the parameter corresponding to inverted gamma prior with hyper - parameters under generalentropy loss function with large (positive or negative) value of represent the best estimate when and respectively for all sample sizes. Also, it is observed that non - informative Jeffrey's prior and non - informative extension of Jeffrey's prior with extension constant equal to one didn't record any appearance as best prior.

استخدام النمذجة الرياضية والشبكات العصبية للسرطان : نمو الورم والعلاج Employ Mathematical Modeling and Neural Networks for Cancer : Tumor Growth and Treatment

اسم المؤلف: سجى عبد الرحمن عبد الجبار
اسم المشرف: لمى ناجي محمد توفيق
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بغداد
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: تهدف الرسالة الى ما يلي : ان الهدف الاول هو تقديم وتطوير نموذج رياضي يصف نمو الورم السرطاني , والذي يمكن استخدامه لتحديد معدل نمو السرطان .والهدف الثاني للرسالة هو تصميم شبكة عصبية ذات تغذية تقدمية كتقنية دقيقة متداولة لتحديد معدل نمو السرطان, والذي يمكن استخدامه لحل معادلة النموذج. والشبكة المقترحة تحاكي اولا لتحديد معلمات معادلة النموذج, ومن ثم تحاكى لتقدير معدل النمو السرطاني .واما الهدف الثالث هو تطوير الجانب النظري لمرحلة التدريب للشبكة العصبية من خلال تحسين خوارزمية شبه نيوتن, وتحسين تعميم الشبكة المقترحة ومعالجة التوقف المبكر للشبكة ومشاكل الحدود الدنيا المحلية ايضا.واخيرا الهدف الرابع هو اختبار اداء التصميم المقترح والخوارزميات في تشخيص السرطان وعلى وجه الخصوص تشخيص سرطان المثانة, وكذلك كيفية استخدام معمارية الشبكة العصبية الاصطناعية ذات التغذية التقدمية للمساعدة في تشخيص السرطان في مرحلة مبكرة. | There are many aims of this thesis : The first aim is to introduce and develop a model equation that describes the tumor growth of cancer, which can be used to determine the rate of growth for cancer. The second aim of this thesis is to design feed forward neural network as an alternative accurate technique to predict the rate of the tumor growth for cancer which can be used to solve the model equation. The suggested network is simulating firstly to estimate the parameters of model equation, and then simulates to estimate the rate of the tumor growth. The third aim is to develop a conceptual theory of training stage for neural networks from suggested improvement of quasi Newton algorithm also improve the generalization of suggested networks and treating the early stopping and local minima problems. Finally, the fourth aim is testing the performance of the suggested design and algorithms in diagnosis of cancer with special reference to bladder cancer detection, also provides how the utilization of FFNN technique helps for diagnosis of cancer in early stages.

تقييد حلول المعادلات التفاضلية الاعتيادية غير الخطية من الرتبة الثانية Boundedness of Solutions for the Second Order Nonlinear Ordinary Differential Equations

اسم المؤلف: زينب محمد جوده
اسم المشرف: سعد ناجي علي العزاوي نعمة عبد الله السلطاني
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بغداد - كلية العلوم للبنات
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: الهدف من هذه الرسالة هو دراسة تقييد حلول المعادلات التفاضلية الاعتيادية غير الخطية من الرتبة الثانية . ان اهم الطرق التي استخدمناها لاثبات خاصية ان الحلول مقيدة هي : طرق الحل المتعارف عليها، طريقة ليبانوف، طريقة استقرارية الدارات الغائية وطريقة المنطقة الجاذبة الكلية للحلول . حيث نجحنا بالحصول على حلول مقيدة لبعض المعادلات التفاضلية الاعتيادية من الرتبة الاولى ومن الرتبة الثانية ومن الرتبة الثالثة ونظام المعادلات التفاضلية الاعتيادية من الرتبة الاولى باستخدام هذه الطرق. عدد من المبرهنات والقضايا المساعدة المتعلقة بمحدودية هذه الحلول تم اثباتها . اخيرا في نهاية هذا العمل تمت عملية رسوم الاشكال باستخدام البرنامج الهندسي : .AutoCAD | The aim of this thesis is to study the boundedness of solutions of the second order ordinary nonlinear differential equations. We apply four procedures which are methods of solution, Lyapunov method , stability of limit cycles and global attractive region to get the boundedness property of the solution. We succeed to get bounded solutions for certain first order, second order, third order and system of first order differential equation by using there procedures. A number of lemmas and theorems concerning the boundedness of the solutions have been proved.Finally, AutoCAD program is used for drawing the figures .

مسائل جدولة الماكنة باستخدام الطرائق التامة وطرائق البحث المحلي Single Machine Scheduling Proble ms By Using Exact and Local Search Methods

اسم المؤلف: زينب محروز علي
اسم المشرف: طارق صالح عبد الرزاق
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: الجامعة المستنصرية - كلية العلوم - قسم الرياضيات
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: في هذه الرسالة العمل الرئيسي هو تصغير دالة لثلاثة معايير والحاصلة من جدولة n من الاعمال على ماكنة واحدة.ولقد درست المسائل التالية : - 1 - تصغير الدالة لمجموع اوقات الاتمام , مجموع التاخير اللا سالب واكبر تاخير لا سالب.2 - تصغير الدالة لمجموع اوقات الاتمام , مجموع التبكير واكبر تبكير.في المسالة الاولى والمسائل الخاصة منها , اقترحنا بعض الخوارزميات لايجاد افضل حلول ممكنة في حالة المسائل الهرمية.واستخدمت طريقة التفرع والتقيد للمسالة 1//(∑Ci +∑Ti +Tmax).ايضا اقترحنا مع المقارنة خوارزميتان احدهما تعتمد على خوارزمية التفرع والتقيد لايجاد مجموع الحلول الكفؤة (غير المهيمن عليها) للمسالة 1//(∑Ci ,∑Ti ,Tmax) .وفي المسالة المتعددة الاهداف الثانية 1//(∑Ci ,∑Ei ,Emax) والمسائل الخاصة منها , اقترحنا في دراستنا بعض الخوارزميات لايجاد افضل حلول ممكنة في حالة المسائل الهرمية. وايضا طرائق البحث المحلية استخدمت للمسالة 1//(∑Ci +∑Ei +Emax) لايجاد حلول قريبة من الحل الامثل باستخدام خوارزمية مقترحة (AEP) والطرائق المحلية هي (Descent (D) and Simulated Annealing (SA) algorithms).وفي الفصل الاخير من هذه الرسالة , تم دراسة العلاقة بين المسالتين المتعددة الاهداف الاولى والثانية ثم استخدمنا طريقة العد التام لمقارنة الحلول الكفؤة لاهداف المسالتين. وايضا اخذنا بنظر الاعتبار المسالة (ETP) لتصغير دالة لخمسة معايير كلفة والحاصلة من جدولة n من الاعمال على ماكنة واحدة. النتائج الحسابية للمسالتين تعتمد كثيرا على سلوك المعيار الواحد للمسالة على ماكنة واحدة.ايداء كل الخوارزميات المقترحة تم اختيارها على مجموعة من الحالات لمسالة التاخير ومسالة التبكير. النتائج الحسابية تبين ان الخوارزميات المقترحة لحل مسالة الجدولة متعددة الاهداف وعندما يكون عدد الاهداف k=3 تعطي النتائج الاصلية والتي حصل عليها الباحثين عندما k=2. النتيجة الرئيسية في هذه الرسالة هي اذا كان بالامكان ايجاد مجموعة الحلول الكفؤة لمسالة جدولة متعددة الاهداف ولk من المعايير فانه يمكن ايجاد الحلول الكفؤة لمسالة متعددة الاهداف وبعدد اقل من المعايير من k في المسالة الاصلية. | In this thesis, the main work is to minimize a function of three cost criteria for scheduling n jobs on a single machine. The following problems are discussed : 1 - Minimizing a function of total completion times, total tardiness and maximum tardiness.2 - Minimizing a function of total completion times, total earliness and maximum earliness.In the first problem and its special cases problems, we propose some algorithms to find best possible solutions for hierarchical cases. A branch and bound (BAB) algorithm is applied for the 1//∑Ci+∑Ti+Tmax problem. Also we propose and compare two multiobjective algorithms one of them is based on (BAB) algorithm to find the set of efficient (non dominated) solutions for the 1//(∑Ci,∑Ti ,Tmax) problem.For the second multicriteria problem 1//(∑Ci,∑Ei ,Emax) and its special cases problems, we propose some algorithms to find the best possible solutions for the hierarchical cases. Also Local search methods is used for the 1//∑Ci+ ∑Ei +Emax problem to find near optimum solutions by using the proposed algorithm (AEP), and local search (Descent and Simulated Annealing ) methods. The last chapter, we study the relation between the first and second multicriteria problems and then we use CEM to compare the efficient solutions for the two objectives of the two problems. Also we consider the problem (ETP) to minimize a function of five cost criteria for scheduling n jobs on a single machine. The results for the two problems are largely based on the behavior of the single criterion problem on the single machine. The performance of all the proposed algorithms is tested on a set of instances of the tardiness problem and the earliness problem. The computational results show that the proposed algorithms for solving multicriteria scheduling problem (MSP) with (k=3) criterion yields the original results given by the researcher for (MSP) with (k=2). The main result of this thesis is that if we can find the set of efficient solutions for (MSP) with k criterion, then we can find the efficient solutions for (MSP) with the same criteria and with number of criteria is less than k in the original problem.

المؤثرات الخطية المقيدة والاثار من النمط S S - Acts and Bounded Linear Operators

اسم المؤلف: زينب عبد عطية السراج
اسم المشرف: سميرة ناجي كاظم
الموضوع العام: علوم الرياضيات
السنة: 2015
الموضوع الدقيق: الرياضيات
الدرجة: ماجستير
الجامعة: جامعة بغداد - كلية العلوم للبنات
اللغة: الانكليزية
مكان الجامعة: بغداد
الصفحات الاولى:
المستخلص: لتكن V فضاء بناخ معرف على الحقل F ولتكن T مؤثرا خطيا مقيدا على V ولتكن {e^x ∶x∈R}=S شبه زمرة , الصيغة للدالة (e^x,v) 〖→e〗^T (v) S×V →V تجعل من V اثرا ايسرا على S ويدعى بالا ثر التابع الى المؤثر T . في هذه الرسالة تم دراسة خصائص المؤثر المقيد بالنظر الى الاثر التابع لهدا المؤثرV_T. حيث نظرنا الى بعض المؤثرات الخطية المقيدة مثل المؤثرات الاحادية والمؤثرات الشاملة. من جهة اخرى نظرنا لبعض المفاهيم الجبرية للاثر التابع للمؤثر واثرها على طبيعة هذه المؤثرات مثل الاثر المخلص ,الاثر منتهي التولد , الاثر الفريد , الاثر الفاصل , الاثر الملتوي الحر والاثر النوتيري كما حاولنا معرفة صفات المؤثر T التي تجعل فضاءات الاثر V_T تمتلك احدى او بعض تلك الصفات .وحاولنا بيان اهمية هدا الموضوع في معرفة الصفات التحليلية للفضاء المعرف عليه (ACP)وكدلك الصفات التحليلية للمؤثر المولد لمجموعة حلول ACP) (. | Let V be a Banach space over a field F=R, let T be a bounded linear operator on V, and let S= {e^x ∶x∈R} be a semigroup with usual multiplication. We define µ : S×V →V by µ(e^x,v)=e^T (v). This function makes V a left S - act. We denote this act by V_T , and call it the associated S - act of T.In this thesis, we discuss some of the properties of bounded linear operator by looking at the associated S - act of this operator, and conversely, by looking at some operators, like one to one operator, onto operator. On the other hand, we look at some theoretic conceptual acts, like faithful act, finitely generated act, singular act, separated act, torsion free act, and Noetherian act. We try to illustrate the importance of this topic to know analytic properties for the space which Abstract Cauchy Problems defined, also analytic properties for the generated operator of the set of all solutions of Abstract Cauchy Problems.
1 2 3 4 5 6