اخبار البحرين – وطن نيوز
W6nnews.com ==== وطن === تاريخ النشر – 2025-12-15 14:10:00
تونس في 15 ديسمبر/ بنا / شاركت جامعة الخليج العربي في المؤتمر الدولي للبحوث المتقدمة في الرياضيات والمعلوماتية (ICRAMI 2025) الذي عقد في تونس. وشهد المؤتمر عرض 117 ورقة بحثية في مجالات الذكاء الاصطناعي والأنظمة الذكية والرياضيات التطبيقية، وهو ما يعكس حجم المشاركة الدولية وتنوع المواضيع البحثية المطروحة في هذا الحدث العلمي. وتسلط هذه المشاركة الدولية الضوء على المساهمات القيمة للباحثين العرب في الابتكار التكنولوجي الذي يمهد الطريق لمستقبل مستدام للقطاعات الحيوية على المستوى العالمي، وتجسد ريادة جامعة الخليج العربي في دعم التحول نحو مجتمع رقمي أكثر أماناً وثقة. وقدم الأستاذ الدكتور عادل بوحولة، رئيس قسم الحاسبات بجامعة الخليج العربي، في محاضرته الرئيسية حول “تطوير تقنيات التحقق الآلي لتصميم أنظمة آمنة وموثوقة في المجالات الحيوية”، نتاج عملية بحث مكثفة امتدت لأكثر من ثلاثة عقود في مجال تصميم أنظمة رقمية آمنة وموثوقة. كما قدم لمحة عامة عن مشروعه البحثي الذي يهدف إلى تطوير نظام حوسبة متقدم قادر على التحقق تلقائيًا من سلامة الأنظمة الصناعية الحيوية، وتقليل الاعتماد على التدخل البشري إلى الحد الأدنى وتعزيز معايير السلامة الرقمية عالميًا. وأوضح خلال عرضه أن جوهر التحدي يكمن في إثبات صلاحية الأنظمة الحرجة رغم وجود عدد لا نهائي من السيناريوهات المحتملة. وأضاف أن هذا التحدي يجد حله في الرياضيات، حيث تسمح الطرق المنطقية الدقيقة بالتحقق من سلامة هذه الأنظمة بشكل كامل وموثوق، مما يسلط الضوء على التكامل بين العلوم النظرية والتطبيقية في تطوير أنظمة آمنة. وقال: «لقد أثمرت أبحاثنا في هذا المجال عن تطور تقنيات متقدمة، نتج عنها تسجيل براءات اختراع عالمية ونشر العديد من الأوراق البحثية في أبرز المجلات العلمية العالمية، للمساهمة في بناء مجتمع رقمي أكثر أماناً من خلال تعزيز السلامة والأمن في القطاعات الحيوية مثل الصحة والطيران والفضاء والدفاع». خس، شا
