الأبحاث المرتبطة بالكلمة المفتاحية: لغة البرمجة
-
CODE-ACCORD: مجموعة من بيانات تنظيم البناء لتوليد القواعد نحو التحقق التلقائي من الامتثال
2025 | المؤلف: Hansi Hettiarachchi وآخرون | المجلة: Scientific Data | المجال: تقنية الأشعة والموجات فوق الصوتية (Radiological and Ultrasound Technology)تقدم هذه القسم نظرة عامة على التحديات والحلول المتعلقة بالتحقق التلقائي من الامتثال (ACC) في قطاع الهندسة المعمارية والهندسة والبناء (AEC)، مع التركيز بشكل خاص على أتمتة تفسير لوائح البناء. يقدم المؤلفون CODE-ACCORD، مجموعة بيانات تتكون من 862 جملة مكتفية ذاتياً مستمدة من لوائح البناء في إنجلترا وفنلندا. هذه الجمل ضرورية لـ ACC لأنها تعبر…
-
مسح JADES العابر: اكتشاف وتصنيف المستعرات العظمى في حقل JADES العميق
2025 | المؤلف: Christa DeCoursey وآخرون | المجلة: The Astrophysical Journal | المجال: علم الفلك والفيزياء الفلكية (Astronomy and Astrophysics)يمثل مسح جيمس ويب الفضائي المتقدم العميق خارج المجرة (JADES) تقدمًا كبيرًا في البحث عن المستعرات العظمى (SNe) عند الانزياحات الحمراء العالية، محققًا عمقًا غير مسبوق في التصوير بالأشعة تحت الحمراء القريبة/المتوسطة (حتى حوالي 30 ABmag) على مساحة 25 دقيقة قوسية² في حقل GOODS-S. حدد المسح 79 مستعرًا عظيمًا، مع انزياحات حمراء تتراوح من أقل…
-
التحقيق في هندسة البرمجيات البحثية: نحو بحث RSE
2025 | المؤلف: Michael Felderer وآخرون | المجلة: Communications of the ACM | المجال: نظم المعلومات والإدارة (Information Systems and Management)يتناول القسم تطور وأهمية هندسة البرمجيات، وخاصة في سياق هندسة البرمجيات البحثية (RSE). نشأت من المخاوف بشأن فشل البرمجيات في التطبيقات العسكرية الحرجة، وقد توسعت هذه التخصص لتشمل مجموعة أوسع من عمليات تطوير البرمجيات، مع التركيز على الحاجة إلى الجودة، والتوثيق، وقابلية الصيانة في البرمجيات البحثية. لقد ظهرت RSE كحقل متميز، يركز على المتطلبات الفريدة…
-
تجهيز البيانات لتحليل تعدين العمليات الخاص بك: تحليل متعمق لمرحلة ما قبل التحليل
2025 | المؤلف: Zhenyun Du وآخرون | المجلة: ACM Computing Surveys | المجال: نظم معلومات الإدارة (Management Information Systems)تقدم هذه الورقة البحثية مراجعة منهجية للأدبيات تركز على مرحلة التحليل المسبق لتعدين العمليات، والتي تعتبر ضرورية لتحويل البيانات الخام إلى صيغة مناسبة للتحليل. تحدد الدراسة 15 نشاطًا رئيسيًا في التحليل المسبق، بما في ذلك استخراج البيانات، والتوليد، والتنظيف، وتبرز هيمنة منهجيات البحث في علوم التصميم في الأدبيات الحالية. تشير النتائج إلى أن معظم النتائج…
-
عملية الذاكرة المنسية: ماذا حدث للرجل في الحافلة؟
2025 | المؤلف: Matthias G. Tholen وآخرون | المجلة: Neuropsychologia | المجال: علم الأعصاب الإدراكي (Cognitive Neuroscience)تبحث هذه الدراسة في الآليات العصبية المعنية في دمج التمثيلات أثناء التعرف على الأشخاص، خاصة عندما يتم التعرف على فرد لم يتم التعرف عليه سابقًا كمعارف مألوف. باستخدام التصوير بالرنين المغناطيسي الوظيفي (fMRI)، تقارن الدراسة بين التعرف المتأخر – حيث يتم التعرف على غريب كمعارف قديم – والتعرف الفوري. تكشف النتائج أن الفص الجداري السفلي…
-
DASKT: طريقة محاكاة عاطفية ديناميكية لتتبع المعرفة
2025 | المؤلف: Xinjie Sun وآخرون | المجلة: IEEE Transactions on Knowledge and Data Engineering | المجال: علم النفس التجريبي والمعرفي (Experimental and Cognitive Psychology)تقدم ورقة البحث محاكاة التأثير الديناميكي لتتبع المعرفة (DASKT)، وهي نهج جديد يهدف إلى تعزيز تتبع المعرفة التقليدي (KT) من خلال دمج الحالات العاطفية للطلاب—مثل الإحباط والتركيز والملل والارتباك—في نمذجة حالات معرفتهم. يجادل المؤلفون بأنه بينما يركز تتبع المعرفة التقليدي بشكل أساسي على البيانات المعرفية والسلوكية، فإن فهم الحالات العاطفية يمكن أن يحسن بشكل كبير…
-
مؤشرات رسومية قائمة على الدرجة للرسوم البيانية الدائرية $ k $
2025 | المؤلف: Akbar Ali وآخرون | المجلة: AIMS Mathematics | المجال: الهندسة والطوبولوجيا (Geometry and Topology)يتناول هذا القسم خصائص وسمات الرسوم البيانية الدورية من الدرجة k، المعرفة كرسوم بيانية متصلة ذات ترتيب \( n \) وحجم \( n + k – 1 \)، حيث \( k \) هو عدد صحيح غير سالب. التركيز هو على المؤشرات الرسومية لهذه الرسوم البيانية، وبشكل خاص تلك التي تأخذ الشكل \( BID_f \)، حيث…
-
PropertyGPT: التحقق الرسمي المدفوع بواسطة LLM للعقود الذكية من خلال توليد الخصائص المعزز بالاسترجاع
2025 | المؤلف: Ye Liu وآخرون | المجلة: Proceedings 2025 Network and Distributed System Security Symposium | المجال: نظم المعلومات (Information Systems)في هذه الورقة، قدم المؤلفون طريقة جديدة لتوليد الخصائص المعززة بالاسترجاع في العقود الذكية، مستفيدين من قدرات التعلم في السياق لنماذج اللغة الكبيرة (LLMs). تم تنفيذ هذه الطريقة في أداة تسمى PropertyGPT، التي تعالج التحديات الرئيسية لضمان أن الخصائص المولدة قابلة للتجميع، مناسبة، وقابلة للتحقق في وقت التشغيل. أظهرت تقييمات PropertyGPT فعاليتها في تحديد العديد…
-
توليد بيانات اصطناعية باستخدام نماذج اللغة الكبيرة: تقدم في النص والرمز
2025 | المؤلف: Mihai Dan Nadas وآخرون | المجلة: IEEE Access | المجال: الذكاء الاصطناعي (Artificial Intelligence)تستعرض هذه الدراسة الدور التحويلي لنماذج اللغة الكبيرة (LLMs) في توليد بيانات تدريب اصطناعية لمهام اللغة الطبيعية والبرمجة. من خلال إنتاج أمثلة اصطناعية ذات صلة بالمهمة، يمكن لنماذج اللغة الكبيرة أن تكمل أو تحل محل مجموعات البيانات الواقعية بشكل فعال، خاصة في السياقات التي تكون فيها البيانات المعلّمة محدودة أو مكلفة. يبرز البحث تقنيات رئيسية…
-
مؤشر أويلر سومبور للأشجار، الرسوم البيانية أحادية الدورة والرسوم البيانية الكيميائية
2025 | المؤلف: Biswaranjan Khanra وآخرون | المجلة: match Communications in Mathematical and in Computer Chemistry | المجال: الهندسة والطوبولوجيا (Geometry and Topology)في دراستهم الأخيرة، استكشف تانغ وآخرون القابلية الكيميائية لمؤشر أويلر سومبور كمؤشر جزيئي، موضحين ارتباطه القوي بخصائص متساويات الأوكتان. يتم تعريف مؤشر أويلر سومبور لرسم بياني بسيط \( G \) بناءً على قرب الرؤوس \( a \) و \( b \)، ودرجة \( d_a \) للرأس \( a \) في \( G \). حدد المؤلفون…