المعهد الفرنسي للأبحاث في علوم الكمبيوتر والأتمتة
 | This article relies excessively on references to primary sources. (September 2016) |
 | |
| تشكيل | 3 يناير 1967 |
|---|---|
| يكتب | عام |
| غاية | بحث |
| المقر الرئيسي | لو تشيسناي روكينكور ، فرنسا |
| الحقول | علوم الحاسوب الرياضيات التطبيقية |
اللغات الرسمية | الفرنسية و الانجليزية |
رئيس | برونو سبورتيس |
ميزانية | 235 مليون يورو (2013) |
| طاقم عمل | 1772 باحث |
| موقع إلكتروني | inria.fr |
كان يسمى سابقا | معهد البحوث المعلوماتية والآلية |
المعهد الوطني للبحوث في العلوم والتكنولوجيا الرقمية ( إينريا ) ( بالفرنسية : Institut national de recherche en sciences et technologies du numérique ) هو مؤسسة بحثية وطنية فرنسية تركز على علوم الكمبيوتر والرياضيات التطبيقية . تم إنشاؤه تحت اسم المعهد الفرنسي للبحوث في علوم الكمبيوتر والأتمتة ( إريا ) ( بالفرنسية : Institut de recherche en informatique et en automatique ) في عام 1967 في روكينكور بالقرب من باريس ، وهو جزء من خطة حسابية . كان موقعه الأول هو المباني التاريخية لـ SHAPE (القيادة المركزية للقوات العسكرية لحلف شمال الأطلسي )، والتي لا تزال تستخدم كمقر رئيسي لـإينريا. في عام 1980، أصبح IRIA هو INRIA. [1] ومنذ عام 2011، تم تسميته Inria .
إينريا هي مؤسسة بحثية علمية وتقنية عامة (EPST) تحت الإشراف المزدوج لوزارة التربية الوطنية والتعليم العالي والبحث الفرنسية ووزارة الاقتصاد والمالية والصناعة .
الوضع الإداري
لدى إينريا تسعة مراكز بحثية موزعة في جميع أنحاء فرنسا (في بوردو ، وجرونوبل - إينوفالي ، وليل ، وليون ، ونانسي ، وباريس - روكينكور ، ورين ، وساكلاي ، وصوفيا أنتيبوليس ) ومركز واحد في الخارج في سانتياغو دي تشيلي ، شيلي. كما تساهم في فرق البحث الأكاديمي خارج تلك المراكز.
إنريا رين هي جزء من معهد البحوث المعلوماتية والأنظمة البديلة (IRISA) المشترك مع العديد من الكيانات الأخرى.
قبل ديسمبر 2007، شكلت المراكز الثلاثة في بوردو وليل وساكلاي مركزًا بحثيًا واحدًا يسمى INRIA Futurs.
في أكتوبر 2010، قامت إينريا، بالتعاون مع جامعة بيير وماري كوري ( جامعة السوربون حاليًا ) وجامعة باريس ديدرو، بتأسيس IRILL ، وهو مركز للابتكار ومبادرة بحثية للبرمجيات الحرة.
توظف شركة إينريا 3800 موظف، من بينهم 1300 باحث و1000 طالب دكتوراه و500 باحث ما بعد الدكتوراه.
بحث
تجري شركة Inria أبحاثًا نظرية وتطبيقية في علوم الكمبيوتر. وفي هذه العملية، أنتجت العديد من البرامج المستخدمة على نطاق واسع، مثل
- Bigloo ، تنفيذ مخطط
- CADP ، مجموعة أدوات للتحقق من الأنظمة المتزامنة غير المتزامنة
- الجمل ، لغة من عائلة
ML
- تنفيذات Caml Light و OCaml
- Chorus ، نظام تشغيل موزع يعتمد على النواة الدقيقة
- CompCert ، مُجمِّع C مُثبَّت لـ PowerPC وARM وx86_32
- أثر التكثيف [2]
- كوك ، مساعد إثبات
- كانت شركة CYCLADES رائدة في استخدام البيانات ، والطبقات الوظيفية ، والاستراتيجية الشاملة . [3] [4]
- ذاتي (مكتبة C++)
- Esterel ، لغة برمجة لأتمتة الحالة
- Geneauto — إنشاء الكود من النموذج [5]
- الجرافيت، منصة بحثية للرسومات الحاسوبية والنمذجة ثلاثية الأبعاد والهندسة العددية
- Gudhi — مكتبة C++ بواجهة Python لتحليل الطوبولوجيا الحسابية والبيانات الطوبولوجية [6]
- Le Lisp ، تطبيق Lisp محمول
- medInria، برنامج معالجة الصور الطبية، يستخدم بشكل شائع لصور التصوير بالرنين المغناطيسي. [7]
- GNU MPFR ، مكتبة ذات فاصلة عائمة ذات دقة عشوائية
- OpenViBE ، عبارة عن منصة برمجية مخصصة لتصميم واختبار واستخدام واجهات الدماغ والحاسوب .
- Pharo ، وهو برنامج Smalltalk مفتوح المصدر مشتق من Squeak [1].
- scikit-learn ، حزمة برامج التعلم الآلي
- Scilab ، حزمة برامج حسابية رقمية
- سيم غريد
- SmartEiffel ، مُجمِّع Eiffel مجاني
- SOFA ، إطار عمل مفتوح المصدر لمحاكاة الفيزياء المتعددة مع التركيز على المحاكاة الطبية.
- TOM ، لغة مطابقة الأنماط
- ViSP، مكتبة منصة التحكم المرئي مفتوحة المصدر
- إكستريم إف إس [2]
- XtreemOS، نظام تشغيل موزع على الشبكة
- زينون، أداة إثبات نظرية آلية قابلة للتوسع تنتج إثباتات قابلة للفحص
علاوة على ذلك، تتصدر Inria أبحاث الذكاء الاصطناعي الفرنسية، حيث احتلت المرتبة الثانية عشرة على مستوى العالم في عام 2019، استنادًا إلى المنشورات المقبولة في المؤتمر المرموق حول أنظمة معالجة المعلومات العصبية . [8]
تاريخ
خلال صيف عام 1988، ربط المعهد الوطني للبحوث العلمية والتقنية وحدة صوفيا-أنتيبوليس بشبكة مؤسسة العلوم الوطنية عبر جامعة برينستون باستخدام رابط قمر صناعي مستأجر لشركة فرانس تيليكوم وMCI. بدأ الرابط العمل في 8 أغسطس 1988، وسمح لباحثي المعهد الوطني للبحوث العلمية والتقنية بالوصول إلى الشبكة الأمريكية وسمح لباحثي وكالة ناسا بالوصول إلى قاعدة بيانات فلكية مقرها في ستراسبورغ. كان هذا أول اتصال دولي بشبكة مؤسسة العلوم الوطنية والمرة الأولى التي يتم فيها توصيل الشبكات الفرنسية مباشرة بشبكة تستخدم بروتوكول TCP/IP ، وهو بروتوكول الإنترنت. اقتصر الإنترنت في فرنسا على البحث والتعليم لسنوات قادمة. [9] [10] [11]
مراجع
- ^ (بالفرنسية) المرسوم رقم 79-1158 بتاريخ 27 ديسمبر 1979 إنشاء معهد وطني للبحوث المعلوماتية والآلية (INRIA)، إنشاء عام للإدارة، ووضعه تحت رعاية وزارة الصناعة.
- ^ ab Versweyveld, Leslie (30 October 2012). "يفخر مشروع Contrail بتقديم أول مجموعة كاملة من أدوات اتحاد السحابة المتوافقة". الشبكة العلمية الدولية هذا الأسبوع (ISGTW) . مؤرشف من الأصل في 2013-10-17 . تم الاسترجاع في 17 أكتوبر 2013 .
- ^ بينيت، ريتشارد (سبتمبر 2009). "مصمم للتغيير: الحجج الشاملة، والابتكار في الإنترنت، ومناقشة حيادية الشبكة" (PDF) . مؤسسة تكنولوجيا المعلومات والابتكار. ص 7، 11. تم الاسترجاع في 11 سبتمبر 2017 .
- ^ "بين ستانفورد وسيكلاديز، منظور عبر الأطلسي حول إنشاء الإنترنت". إنريا . 9 نوفمبر 2020. تم الاسترجاع في 2023-09-04 .
- ^ "مجموعة أدوات Geneauto / P - تتضمن مجموعة أدوات P إطار عمل لإنشاء التعليمات البرمجية والتحقق منها للغات التي تدعمها بيئة TOPCASED". Scilab .
- ^ "جودي، إينريا".
- ^ "medInria".
- ^ "إحصائيات NeurIPS 2019". 18 ديسمبر 2019.
- ^ "الطريق إلى محو الأمية الرقمية وثقافة الشبكات في فرنسا (من ثمانينيات إلى تسعينيات القرن العشرين)". دليل روتليدج لتاريخ الإنترنت العالمي . تايلور وفرانسيس. 2017. ص 84-89. ISBN 978-1317607656.
- ^ Et Dieu crea l'Internet ، كريستيان هيتيما، ISBN 2-212-08855-8 ، 1995، الصفحة 10
- ^ أندرياناريسوا، منجانيرينا. “نبذة مختصرة عن تاريخ الإنترنت”.
قراءة إضافية
- بلتران، آلان؛ جريسيت، باسكال (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [ قصة رائد كمبيوتر: 40 عامًا من البحث في INRIA ] (بالفرنسية). علوم إي دي بي. رقم ISBN 978-2-86883-806-3.
روابط خارجية
الوسائط المتعلقة بـ INRIA على ويكيميديا كومنز- الموقع الرسمي (باللغة الإنجليزية)
انظر أيضا
- الإستراتيجية الوطنية للذكاء الاصطناعي
