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

In this paper, considers a solution of Maxwell's curl equations by using the finite-difference time-domain (FDTD) method. We simulated electromagnetic waves propagation in free space. The electric and magnetic fields generated in two cases to make a comparison between the models. All models were computed using the same parameters. This study showed that the intensities of the fields affected when adding three excited sources pointed in three locations. However, it was noted that three sources placed in the same location improved the distributions of the fields. Therefore, this difference in excitation position leads to change the image intensity distribution. arabic 7 English 43
Adel G Diyaf, Sedig S. Farhat(4-2017)

تطبيق نظرية نحيل الجسم لتقييم السرعات لسطح ثلاثي الأبعاد الناتجة عن طبقة الحدود على اسطوانة مقطعها قطع ناقص. الطريقة طبقت عندما يكون رقم رينولدز كبير بما فيه الكفاية بحيث يكون التقريب في طبقة الحدود الرقيقة متحققا. تخفض المسألة الجهدية الناتجة عن ذلك إلى ثنائي الأبعاد باعتبار التدفق فوق اسطوانة آخذة في التوسع مع شروط الحدود التي يسهل اختراقها. الحلول النهائية للوحة المسطحة ذات الامتداد المحدود وكذلك عندما تكون الاسطوانة مقطعها شبه دائري قد وجدت بطريقة تحليلية بسيطة. في الحالة السابقة، في حدود نظرية نحيل الجسم، فإن النتائج هي بالضبط في اتفاق مع الحل ثلاثي الأبعاد الكاملة هندسيا. Abstract The application of slender-body theory to the evaluation of the three-dimensional surface velocities induced by a boundary layer on an elliptic cylinder is considered. The method is applicable when the Reynolds number is sufficiently large so that the thin-boundary-layer approxi-mation is valid. The resulting potential problem is reduced to a two-dimensional consideration of the flow over an expanding cylinder with porous boundary conditions. The limiting solutions for a flat plate of finite span and a nearly circular cross-section are obtained in a simple analytic form. In the former case, within the limitations of slender-body theory, the results are in exact agreement with the complete three-dimensional solution for this geometry.
زينب محمد أحمد معتوق (2013)