هذا البحث يقدم نماذج العيب للبرمجة بلغة السي أثناء تنفيد البرامج، نماذج العيب تزود تحليل للعيب/ الفشل موضحاً كيف يمكن للعيب في البرمجة بلغة السي أن يسبب تغيير حالة البيانات في البرنامج لتصبح حاطئة، وكيف أن تلك البيانات الخاطئة يمكن أن تستمر إلى الحالة النهائية للبرنامج، وبذلك يظهر الفشل Failure. نماذج العيب أيضاً تتضمن دليل لأنواع العيوب التي يعتقد أنها تمثل العيوب التي من المحتمل أن تكون مقدمة في البرامج من قبل مبرمجين يكتبون برامج لغة السي. كل نوع من هذه العيوب يكون موصوفاً في شروط حسب العيب الذي يظهر في محتوى برنامج لغة السي الأصلي وكذلك كيف يمكن أن يسبب التأثير في حالة البرنامج. أنواع العيوب تكون محددة من التحليل الدقيق لقواعد اللغة syntaxes ومعانيها semantics للبرامج المكتوبة بلغة السي. نماذج العيب يمكن أن تساعد المختبرين والمبرمجين لتحديد الأماكن في البرنامج التي غالباً ما تظهر فيها العيوب، نماذج العيب يمكن أن تكون أساساً جيداً لتصنيف العيب وإختبار التغيير وتفتيش البرنامج وتقييم إستراتيجيات الإختبار للبرامج المكتوبة بلغة السي. أمثلة معطاة لتبين النماذج الملائمة لهذه الأغراض. Abstract This thesis presents a fault models for C programming (Turbo C, version 3.0) in run-time of programs. The fault models provide a fault/failure analysis of how a fault in C programming can cause a data state change in the program to become corrupted, and how that erroneous data can propagate to the final state of the program, thereby manifesting a failure. The fault models also include a catalog of fault types that are believed to represent faults likely to be introduced in programs by programmers writing C code. Each type of fault is described in terms of how it appears syntactically in source code as well as in how it can cause an infection of program state. The fault types are identified from a careful analysis of the syntaxes and the semantics of C programs. The fault models can help testers and programmers identify places in a program where faults are most likely to appear, and identify what kinds of faults to look out for when using certain feature in C language. The fault models is claimed to be a good foundation for fault seeding, mutation testing, program inspections, and evaluation of testing strategies for C programs. Examples are given that demonstrate the model’s suitability for these purposes.
وفاء حسين محمود المصباحي (2010)

أحياناً قد لا ينتهي حل مسالة البرمجة الخطية بإيجاد الحل الأمثل فقط، حيث تلزمنا بعض المستجدات التأكد من حساسية هذا الحل لحدوث تغيرات على بيانات المسألة وذلك نتيجة لعدة عوامل داخلية أو خارجية. ونظراً لأهمية هذا الإجراء الذي يعرف بالتحليل لما بعد الأمثلية أو تحليل الحساسية. لذلك كان هدف هذا البحث دراسة كيفية إجراء هذا التحليل على مسائل البرمجة الخطية. وقد تناولت الدراسة كيفية إيجاد مدى التغيرات سواء كانت هذه التغيرات متقطعة أو تغيرات مستمرة وقد وجدنا أن الحل الأمثل لا يتغير بحدوث تغيرات تقع ضمن المدى المتاح لها، بينما نتحصل على حل أمثل جديد وقد لا نتحصل في حالة حدوث تغيرات تقع خارج هذا المدى ويتضمن البحث أيضاً توضيح كيفية تطبيق البرمجة البارمترية على المسائل المنحلة. وقد تناولت الدراسة أيضاً أسلوب أخر لتحليل ما بعد الأمثلية وهو كيفية إيجاد حل امثل جديد عند حدوث أي تغير على بيانات المسألة وذلك باستخدام الطريقة المبسطة ، الطريقة المقترنة ، الطريقة المبسطة المعدلة ، كما قامت الدراسة باستخدام الحل الهندسي لتوضيح تأثير حدوث التغيرات على منطقة الحل واشتمل هذا البحث أيضا توضيح لكيفية إجراء تحليل ما بعد الأمثلية على مسائل البرمجة الخطية للمتغيرات المحدودة باستخدام الطريقة المبسطة للمتغيرات المحدودة ، الطريقة المبسطة المقترنة للمتغيرات المحدودة ، بالإضافة إلى دراسة التغيرات الآنية لمعادلات دالة الهدف والطرف الأيمن للقيود مع توضيح لقاعدة 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)

يعتبر هذا البحث جزء من مشروع شامل يهدف لدراسة وتحسين الخواص الميكانيكية السطحية لمنظومة سبائك الألومنيوم – سيليكون، التي تقسم في العادة إلى ثلاث مناطق مختلفة في الخواص وأيضاً في التركيب من حيث نسبة تركيز السيليكون وهي: Hypoeutectic, Eutectic, Hypereutictic ويعزى السبب في ذلك لخواص سبائك الألومنيوم– سيليكون المفيدة كخفة الوزن و سهولة السباكة لذا فهي تعتبر من المواد الجديدة المستعملة بشكل كبير في الصناعات الفضائية، كالمركبات الفضائية و الطائرات وتدخل أيضاً في صناعة قطع المحركات الداخلية كالمكابس وغيرها. ما يحد من إستخدام هذه المواد في هذه الصناعات هو إنخفاض الصلادة ومقاومة التلف لسطوحها. الهدف من وراء هذا البحث هو تحسين هذه الخواص لسطوح السبائك التالية: Hypoeutectic Al-8%Si alloy., Eutectic Al-12%Si alloy وذلك بإستعمال المعالجة السطحية الليزرية. تم في البداية تحضير السبائك المذكورة المرغوب دراسة وتحسين الخواص الميكانيكية لسطوحها، وذلك بإستخدام فرن الصهر (Carbolite – England) الذي يعمل بدرجة حرارة قصوى (1100oC) وبعد إنجاز عملية السباكة تم تجهيز العينات بالطرق المعتادة : قطع، تجليخ، تلميع …الخ. أستخدم شعاع ليزر الياقوت (Ruby Laser) بكثافة قدرة (~ 3x105 W/cm2) لتحسين مقاومة التلف والصلادة لسطوح السبائك المذكورة وذلك بإجراء ثلاث معالجات مختلفة: تعديل التركيب السطحي بواسطة الصهر السريع للسطح عن طريق شعاع الليزر ثم التبريد السريع الذاتي (Self-quenching) للطبقة السطحية لسبائك الألومنيوم– سيليكون المذكورة. حقن (Impregnate) سطوح السبائك بقطع كربيد السيليكون ((SiC وذلك بإدخال القطع المثبتة على سطح السبيكة إلى أعماق محددة، أثناء صهر سطح السبيكة بواسطة الشعاع الليزري، وقد أستخدمت ثلاث أحجام مختلفة من هذه القطع لدراسة تأثير كل حجم في تحسين مقاومة التلف للسطح. إجراء عملية سباكة سطحية بإستخدام شعاع الليزر بإضافة عنصر النيكل الذي أعد على هيئة مسحوق مثبت على سطح السبيكة، حيث يذوب النيكل أثناء عملية ذوبان سطح السبيكة وتتم عملية الدمج بوجود قطع كربيد السيليكون في نفس الوقت، وبعد عملية التصلب السريع (Rapid Solidification) يتم الحصول على طبقات ذات سطوح تتمتع بمقاومة تلف عالية وصلادة مرتفعة. تم دراسة الصلادة كدالة في عدد النبضات على المنطقة المعالجة. للوقوف على المكونات الكيميائية للعينات المستعملة قبل المعالجة، تم إجراء إختبار التحليل الكيميائي للسبائك بإستخدام جهاز(Metal Analyzer 3460 – B)، أيضاً تم إجراء إختبار حيود الأشعة السينية (X-Ray diffraction ) للسبائك المعالجة. وبعد أن قطعت العينات المعالجة عرضياً عند مركز التأثير الليزري تم تصوير سطوح السبائك المعالجة و الغير معالجة بعد تجهيزها لهذا الإختبار (تجليخ – تلميع وإظهار كيميائي)، تمت عملية التصوير بإستخدام ألة تصوير فوتوغرافي من نوع (Aristomet) مثبتة على مجهر ضوئي ذو إمكانية تكبير تصل إلى1000 مرة. الهدف من ذلك هو معرفة التركيب السطحي الدقيق وإمكانية ملاحظة التغيرات التي طرأت على هذه السطوح وربما ظهور أطوار جديدة نتيجة للمعالجة الليزرية. لدراسة التحسن في قيمة الصلادة في المنطقة المعالجة كدالة في عمق التأثير الليزري من جهة وتغيرها أفقياً تحت السطح بعمق ~ 25 ميكرومتر، أجريت قياسات الصلادة بإستخدام جهاز (Micromet II)، وتشير النتائج إلى أن الصلادة تزداد بشكل عام نتيجة المعالجة بالليزر، إلا إنها تتناقص مع زيادة العمق عن السطح. كما أستعمل جهاز (disc Pin – on - ، لدراسة التحسن في مقاومة التلف للسطوح المعالجة بمقارنتها بالسطوح غير المعالجة وذلك كدالة في حجم قطع كربيد السيليكون، وتشير النتائج إنه كلما زاد حجم القطع المذكورة زادت مقاومة التلف. أخيراً أجريت مقارنة في كل من إختبارات الصلادة ومقاومة التلف بين العينات التي بدون نيكل وأخرى بعد إضافة النيكل إلى سطحها عن طريق المعالجة الليزرية، و أتضح إن وجود عنصر النيكل يحسن في نتائج كل من الصلادة ومقاومة التلف. Abstract The current work is part of a general study being undertaken to investigate the effect of laser surface impregnation of some near eutectic binary Al-Si alloys with ceramic particles on the structure and some mechanical properties of these alloys. Two alloy compositions, Al-8%Si and Al-12%Si have been prepared. Discs of these as cast alloys have been used as substrates for laser beam processing. Pulsed Ruby laser of power density ~ 3x105 W/cm2 has been used to impregnate SiC powder of three different particle sizes into the substrate surface. In one series SiC alone was mixed with a special glue and used to coat the substrate surface. In the second series SiC was blended with Ni powder before being mixed with the glue. The substrates were subjected to laser radiation of fixed power (88 W) but different number of shots (1, 2, 4, and 8). The laser affected zones, (LAZ), have been metallographically studied on sections passing through the LAZ diameter perpendicular to the irradiated surface. Microhardness measurements were performed across the LAZ and into their depth. Representative specimens of specific dimensions were subjected to laser shots forming square pattern and used to study their wear performance using the pin on disc technique. X-ray diffraction patterns of the laser treated specimens have been also studied. The results revealed complete dissolution of Si into the aluminum matrix in both substrate alloys. The homogeneity of the structure and mechanical properties has been improved with increasing the Si content of the substrate alloy (towards the eutectic composition) and with the number of laser shots, but slightly deteriorated with Ni additions. The incorporation and penetration of SiC particles into the substrate surface increased with increasing the number of shots and with Ni additions. These same factors were found to favor the formation of new inter-metallic phases which may additionally harden the structure. Laser remelting has almost doubled the microhardness in the LAZ. The number of shots did not affect the average hardness of the LAZ, but Ni additions increased it by 11-15%.The relative wear resistance of the laser treated substrates showed marked increase with the Si content, the SiC particle size and Ni additions. X-ray diffraction revealed noticeable decrease in the lattice parameter of the matrix αAl solid solution indicating intensive super-saturation of the Al- matrix by Si.
محسن الرخيص (2001)