المجلد 16
استعراض
6 النتائج
نتائج البحث
مقالة وصول حر جاما العالمية : تطوير متوازي وموزع لجاما باستخدام الحوسبة العالمية(دار جامعة الملك سعود للنشر, 01/01/2004) سليم غانمي; احمد الدامغمن المتعارف عليه ان كتابة وتصحيح البرامج المتوازية وتصحيحها اكثر صعوبة وتعقيدا من كتابة وتصحيح البرامج التسلسلية التقليدية جاما، أو النموذج المجرد العام لتحويل المجموعات المتعددة (GAMMA) هو مفهوم تم طرحة لكتابة البرامج بشكل عالي التجريد خال من تفاصيل (وتسلسل) التنفيذ لهذه البرامج . هذا التجريد العالي في وصف البرامج يجعل من جاما وسيلة مناسبة لكتابة برامج متوازية صحيحة .
جاما ، عبارة عن نموذج وصفي لا يوجد له بنية حاسبية مقابلة لتطبيقه، على عكس نموذج فون نيومان التسلسلي الذي يقابله بنية الحاسبات التقليدية، لهذا السبب فإن تصميم نموذج لتطبيق جاما ليس بالامر السهل .
الهدف الرئيس لهذا المشروع هو تطوير تطبيق متوازي وموزع لجاما باستخدام الشبكة العالمية لاستغلال الوقت المهدر للحاسبات المتصلة بالإنترنت.مقالة وصول حر قوانين الفونولوجيا العربية(دار جامعة الملك سعود للنشر, 01/01/2004) منصور بن محمد الغامدي; حسني المحتسب; مصطفى الشافعييجد الباحثون العاملون في مجال النطق الآلي والتعرف الآلي على الكلام العربي صعوبة لحد ما في التعامل مع النص العربي وذلك من حيث تحويل رموزه المكتوبة إلى رموز صوتية. ورغم أن العربية تكاد تكون أقدم لغة حُددت أصواتها ودُوّن نظامها وقوانينها الفونولوجية (قبل أكثر من 12 قرنا) إلا أنه لم توضع هذه الخصائص والقوانين الفونولوجية بشكل يمكن للعاملين في مجال الحوسبة الاستفادة منها بطريقة مباشرة. ولهذا فإن هذه الورقة تعيد طرحها من جديد ولكن بطريقة ميسرة وتبينها بالأمثلة حتى يمكن توظيفها في مجالي التعرف الآلي على الكلام والنطق الآلي.مقالة وصول حر المعالجة السابقة لإرضاء قيود مشكلة ذات قيود مشدّدة بغية تعيين وحل الصراعات(دار جامعة الملك سعود للنشر, 01/01/2004) عناية الله شاهينظر إلى مشكلة إرضاء القيود (CSP) على أنها ذات قيود مشددة، إذا لم يكن لها حل، وكانت قيودها متصارعة. وسنقوم هنا بتسمية المجموعات الفرعية من القيود المتصارعة بعضها مع بعض، بالمجموعات المتصارعة.
إن عملية تعيين أو تحديد هذه المجموعات المتصارعة تسمى تعيين الصراع. وفي هذا البحث، نقترح خوارزميات لتعيين المجموعات المتصارعة لأرضاء قيود مشكلة ذات قيود مشددة بغية حل هذه الصراعات. وسنري هنا كيف أن هذه المجموعات المتصارعة تظهر كل الطرق المختلفة لحل هذه الصراعات وبالتالي تحدد فراغ التراخي (الذي يكمن فيه الحل مع مراعاة حدود القيود).
ونقترح في هذا البحث أيضا خوارزمية لإيجاد فراغ التراخي الأمثل، الذي ييسر تعيين أقل عدد ممكن من القيود لحل الصراع. وفي هذه الخوارزمية، نقترح طريقة معالجة سابقة (ابتدائية) لمشكلة إرضاء القيود المشددة (CSP) بحيث تستخدم معلومات التراخي التي نحصل عليها من المجموعات المتصارعة في الحل الأمثل لهذه المشكلة. وأثبت البحث أن هذه الطريقة تحسّن أداء خوارزميات التفرع والتقييد المستخدمة في الوصول إلى الحل المطلوب.مقالة وصول حر معمارية مصفوفة لحساب الطيف عالي الدرجة المتغير مع الوقت(دار جامعة الملك سعود للنشر, 01/01/2004) د. محمد عبدالعزيز العقيلي; عبدالله إبراهيم الشوشانإن طريقة تحليل الطيف التقليدية لا تعكس الخصائص المتغيرة مع الزمن للإشارة، وطرق نشر الطيف ذوات الدرجات العالية تفرض بأن خصائص الإشارة لا تتغير مع الزمن مع فرضية عدم تماثل نشر طيف الإشارة. لذا بدت الرغبة في البحث عن طرق رياضية لمعالجة الإشارات غير مستقرة الخصائص لا تتقيد بهذه الفرضيات المذكورة لما لها من تطبيقات واسعة الانتشار، حيث أصبح لزاما علينا التعامل مع هذه الإشارات الصادرة من ظواهر طبيعية مثل إشارات الزلازل وإشارات الملاحة والإشارات الصادرة من الأجهزة الطبية ونحوها.
ونظرا لهذه الأهمية، فقد أصبح من الضروري أيضا تصميم دوائر إلكترونية تقوم بمعالجة مثل هذه الإشارات، حيث تم في هذا البحث دراسة المعادلات الرياضية التي تتعامل مع الإشارات غير مستقرة الخصائص مع الزمن واقتراح طريقة جديدة لتصميم معمارية خاصة لمعالجتها. حيث تم تحويل معادلات النظام إلى صيغة مصفوفات ومتجهات قابلة للمعالجة.ابدأ ابدأ