في هذا العمل قمنا بدراسة المعادلة التفاضلية الجزئية غير خطية ذات النمط الناقص في الصورة العامة على المناطق غير المحدودة وكذلك قمنا بدراسة وجود ووحدانية الحل لهذا النوع من المعادلات حيث اننا قدمنا هذا العمل في خمسة فصول في الأول والثاني والثالت قمنا بتجميع أغلب التعريفات والنظريات الهامة التي استخدمناها في الفصل الرابع والخامس اللذين احتويا على النتائج الرئيسية لهذا العمل حيث أننا قمنا بدراسة احد المعادلات التفاضلية الجزئية غير الخطية من النوع الناقص في الفصل الرابع وقمنا بدراسة هذه المعادلة بأكثر عمومية في الفصل الخامس وذلك بإضافة حد أخر لحدود المعادلة.
احلام ناجي ارحيم (2008)

In the present work, the authors have studied conductive surfaces on polyester fabrics by using two types of commercially available conductive polymers; polyaniline and poly (3,4-ethylenedioxythiophene)-poly (styrenesulphonate) (PEDOT: PSS) with 100 nm aluminium thin film evaporated on top of the polymer so the fabric becomes a conductive substrate for inorganic thin film solar cells. Conductive polymer surfaces on woven polyester fabrics were obtained by knife-over-table coating technique. Surface resistivities for polyaniline and PEDOT: PSS coated fabrics were measured and found in the range of 400 × 103 and 1 × 103 Ω/□, respectively. Thermal stability tests were carried out to evaluate the effect of specific periods of heal treatment at different elevated temperatures on resistance of polymer coated conducting textiles. PEDOT: PSS exhibited better stability than panipol. According to long term tests, PEDOT: PSS coated samples showed improvement in conductivity over 3 days whereas panipol showed the opposite. Transmission Line Model tests were performed to measure aluminium/polymer contact resistances which were found to be 120 × 103 Ω for polyaniline and about 46.3 Ω for PEDOT: PSS. Mechanical bending tests for aluminium/PEDOT: PSS/fabric samples showed that the polymer can maintain the conductivity of samples by bridging micro-cracks in the metal film. arabic 10 English 59
Adel G A Diyaf, John Wilson, Robert R. Mather(1-2014)

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