أحياناً قد لا ينتهي حل مسالة البرمجة الخطية بإيجاد الحل الأمثل فقط، حيث تلزمنا بعض المستجدات التأكد من حساسية هذا الحل لحدوث تغيرات على بيانات المسألة وذلك نتيجة لعدة عوامل داخلية أو خارجية. ونظراً لأهمية هذا الإجراء الذي يعرف بالتحليل لما بعد الأمثلية أو تحليل الحساسية. لذلك كان هدف هذا البحث دراسة كيفية إجراء هذا التحليل على مسائل البرمجة الخطية. وقد تناولت الدراسة كيفية إيجاد مدى التغيرات سواء كانت هذه التغيرات متقطعة أو تغيرات مستمرة وقد وجدنا أن الحل الأمثل لا يتغير بحدوث تغيرات تقع ضمن المدى المتاح لها، بينما نتحصل على حل أمثل جديد وقد لا نتحصل في حالة حدوث تغيرات تقع خارج هذا المدى ويتضمن البحث أيضاً توضيح كيفية تطبيق البرمجة البارمترية على المسائل المنحلة. وقد تناولت الدراسة أيضاً أسلوب أخر لتحليل ما بعد الأمثلية وهو كيفية إيجاد حل امثل جديد عند حدوث أي تغير على بيانات المسألة وذلك باستخدام الطريقة المبسطة ، الطريقة المقترنة ، الطريقة المبسطة المعدلة ، كما قامت الدراسة باستخدام الحل الهندسي لتوضيح تأثير حدوث التغيرات على منطقة الحل واشتمل هذا البحث أيضا توضيح لكيفية إجراء تحليل ما بعد الأمثلية على مسائل البرمجة الخطية للمتغيرات المحدودة باستخدام الطريقة المبسطة للمتغيرات المحدودة ، الطريقة المبسطة المقترنة للمتغيرات المحدودة ، بالإضافة إلى دراسة التغيرات الآنية لمعادلات دالة الهدف والطرف الأيمن للقيود مع توضيح لقاعدة 100% باستخدام أمثلة مبسطة وأخيراً قدمت الدراسة برنامج حاسوب بلغة basic Visual لتطبيق إجراء تحليل ما بعد الأمثلية لبعض الامثلة للحصول على مدى الحساسية والحل الأمثل الجديد لمسائل البرمجة الخطية الكبيرة إضافة إلى أهم النتائج التي تم التوصل إليها من خلال هذه الدراسة . Abstract Sometimes the linear programming problems may not end by finding optimal solution only; whereas some outcomes are imposed we need to make sure of this solution sensitivity for its occurrence in data problem, which is due to various internal or external factors. The importance of these procedures is known sensitivity analysis or post-optimality analysis. Therefore the objective of this summary research is the study of how to carryout this analysis on the linear programming problems. The study has dealt with, how to find changes range, no matter whether these variables are intermitted or continued variables. We found that the optimal solution does not change by the occurrence that lies out of this range available within its limit, while we obtain an occurrence of a new better solution, in some cases we don't obtain occurrence of variables lies out of this range. The research also includes clarification of how to carryout parametric programming on degenerated problems. The study has dealt with new analysis method of post-optimality, which is how to find a new better solution when variables occurs on data of the problem, and that can be done by using a simplex method, dual simplex method, or the revised simplex method. The study has also used geometrical solution to explain variable occurrence effect on solution area; this research included also post-optimal analysis on bounded variables linear programming problem, by using simplex method for the bounded variables, the dual simplex. In addition, we study a simultaneous change of coefficients of objective function of LP and right-hand-said of constraints with some discussion of 100% rule by some examples finally the study presented a computer program by using visual basic language, to apply post-optimal analysis to obtain the range sensitivity and the new optimal solution for large linear programming problem. In addition to some important results that have been achieved.
سناء محمد الطاهر القاضي (2008)

هدف هذه الرسالة هو دراسة النسق المنطقي ل Rosserمن خلال إثبات جميع مبرهنات النسق المنطقي RA. ثم اثباث ان كل مبرهنة في RA صحيحة (Valid) -(ٍSoundness) وكذلك اثباث خاصية الاكتمال (Completeness) من خلال انه إذا كانت Aϵ RA(Tautology) فان A مبرهنة في RA(. (i.e ├R A ⊃ ╞R Aوأخيرا ثم اثباث استقلالية النسق (Independency) وذلك من خلال استقلال كل مسلمة على حده. Abstract The aim of this thesis is to show the Soundness, Completeness and Independency of Rosser Axiomatic System RA. by proving the following: - Every theorem of RA is a tautology (i.e ├RA ⊃╞R A) (The soundness) - If A is a Wff. of RA and A is a tautology , then├R A(The Completeness) -The Independency of AxR1 , AxR2 and AxR3.
مبروكة على الطوير (2010)

في هذا البحث قمنا بدراسة الصورة العكسية المركبة لتحويلات لابلاس مع تطبيقاتها. هذه الصورة مهمة جدا لحل مسائل المعادلات التفاضلية والمسائل الابتدائية والقيم الحدية وفي الابواب الاولى وضعنا تمهيدا للموضوع بحيث غطى الى حد ما ما يتطلبه من نظريات او تعريفات وكذلك في هذا البحث وفي الباب الاخير قمنا باثبات الصورة العكسية للابلاس وناقشنا شروطها والتي كتبناها على صورة نظرية بالتالي استخدمنا نظرية البواقي ونظريات كوشي لايجاد الصورة العكسية لتحويلات لابلاس وكذلك قمنا بدراسة تطبيقات على التحويلات العكسية المركبة للابلاس واخذنا ايضا تطبيقا خاصا بالقيم الحدية. Abstract In this thesis we studied complex inversion formula for Laplace transforms with it's applications, this formula is very important to solve differential equations and corresponding initial and boundary- value problem as well as, in this study we proved the complex inversion formula and we discussed the condition of this formula which are written in theory form. We also used Residue theorem and Cauchy's theorem in finding the complex inversion formula. Also we study applications on diffusion in a semi-infinite solid.
امل يوسف عبد الكريم ابوطه (2008)