في هذه الرسالة تم دراسة بعض الخواص الجبرية لفضاءات متجهة مع عمليات ضرب مختلفة بحيث تعرف جبر ليس من الضروري أن يكون تبديلي أو تنسيقي مع تقديم أمثلة توضيحية مختلفة على أنواع مختلفة من الضرب. وسنركز بشكل خاص على أنواع الجبر الحقيقي ثنائي البعد، والتي تضم جبرالأعداد العقدية أو المركبة كحالة خاصة من عدد غير محدود من الأنواع الأخرى. ثم نقدم تعريف النهاية والاستمرارية في الفضاءات وخاصة نهاية واستمرارية حاصل ضرب دالتين نطاقهما ومداهما في جبر حقيقي تنائي البعد ونستنبط مبرهنات شبيهة بالمبرهنات المعروفة في التحليل الحقيقي والتحليل المركب. كذالك تمت دراسة نوعين من المشتقات تمثل تلك الدوال. وقد تم بنا قاعدة مشتق فريشيه لحاصل ضرب دالتين بدلالة مشتق كل منهما. ثم تطرقت الرسالة إلى تعريف نوع أقوى من الاشتقاق يتوافق مع الاشتقاق العقدي (المركب) وتم إثبات أن وجود هذا المشتق شرط كافي لوجود مشتق فريشيه، مع أن العكس غير صحيح. Abstract Two dimensional real algebras are studied some illustrations of the vector space with distinct multiplications is given. The limit continuity and Frechet derivative of the product of two Functions, defined on a subset of two-dimensional real algebra with values in the algebra, are studied. A derivative, stronger than Frechet derivative, is defined. The existence of this derivative requires the existence of Frechet derivative; the converse is not true in general. Some properties of differentiable functions are given.
ريما عياد عثمان عربي (2010)

هدف هذه الرسالة هو دراسة النسق المنطقي ل 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)

هذه الدراسة تتركز على تحسين المعلومات بحل المشاكل الأستاتيكية الناتجة عن الكثبان الرملية في الامتياز (NC210) الذي يقع في حوض مرزق في الجنوب الغربي من ليبيا. وقد ثم اختيار عدد اثنين من الخطوط السيزمية وهما الخط (NC210-05-207) والخط (NC210-05-200) لإجراء هذه الدراسة. تم استخدم طريقتين لحساب التصحيحات الأستاتيكية وتم عرض النتائج. وبلغ طول هذين الخطين )26.5) كيلو متر وتم معالجتهما في شركة شمال أفريقيا للاستكشاف الجيوفيزيائ (NAGECO) باستخدام برنامج (ProMAX software, 2003) وكذلك برنامج (GeoTomo software).تم تطبيق معلومات الإنكسار السيزمي بطريقة (Delay Time Method) وكذلك طريقة حفر الآبار Uphole Method)) في هذه الحسابات. وأخيراً تم عرض أمثلة للمقاطع السيزمية باستخدام هاتين الطريقتين ومناقشة النتائج المتحصل عليها. Abstract This study deals with static problems on seismic reflection profiles over sand dunes in concession NC210 in Murzuq Basin southwestern Libya. Two methods of computing field statics have been implemented and the results are presented. Two seismic lines of 26.5 km total length that crossed over sand dunes were processed in North Africa Geophysical Exploration Company (NAGEC) using proMAX software package for seismic data processing and GeoTomo software for inversion static correction softwares for each set of field statics. The refraction field statics are estimated by picking the first break from seismic reflection records using delay time method. The second method of field statics that has been used in this study is the uphole method or conventional method. Examples of brute stack sections of both seismic lines have been presented with two different field statics.range from fair (10%-20%) and lower Nubian (6%-15%). The permeability values range from (2.40 md) to (91.1md), water saturation varies across the reservoir due to the location with respect to the boundaries of the field, averaging 33%. Nubian formation the cement is quartz overgrowth and pore filling cements including anhydrite, chlorite and clays (kaolinite, chlorite and illite/smectite). The oil contact (owc) 3v-59 is defined to be at sub sea depth of 110110 ft. and 97-II NC (OWC) was observed in the reservoir section. The Net Pay is 235 ft at 6% porosity cut off for Q2well, and Q1well the net pay123ft, at 6% porosity, 3v3 the Net pay is 273.5 ft, MOS is 5.64 ft, and residual oil column heigh 7.133 ft, and 3v4 well the net pay equal 324.0 ft, at 6% porosity, Net pay is 273.5 ft, MOS is 3.05 ft, and residual oil column high 2.701ft, and oil saturation 54.66%, Difference in formation water salinity between wells where 3v-59E has salinity of 160,000ppm and OO82 is 215,000 pm. This difference in salinity affects the formation resistivity actor, consequently, the cementation factor because the formation factor depends on many parameters such as porosity, pore size and structure; salinity of connate water and irreducible water saturation.
عبد المجيد عمر أبو محلولة (2013)