فوغان برات

📅 آخر تحديث: ٢٩ يوليو ٢٠٢٦
✍️ نُشر في: ٢٩ يوليو ٢٠٢٦
الموسوعة الحرة

فوغان برات (مواليد 12 أبريل 1944) أستاذ فخري في جامعة ستانفورد ، وكان من الرواد الأوائل في مجال علوم الحاسوب . منذ عام 1969، قدم برات إسهامات عديدة في مجالات أساسية مثل خوارزميات البحث ، وخوارزميات الفرز ، واختبار الأعداد الأولية . وفي الآونة الأخيرة، ركزت أبحاثه على النمذجة الرسمية للأنظمة المتزامنة وفضاءات تشو .

حياة مهنية

نشأ برات في أستراليا وتلقى تعليمه في مدرسة نوكس النحوية ، حيث كان الأول على دفعته عام 1961. التحق بجامعة سيدني ، حيث أنجز رسالة الماجستير عام 1970، والتي تناولت ما يُعرف اليوم بمعالجة اللغة الطبيعية . ثم انتقل إلى الولايات المتحدة، حيث حصل على درجة الدكتوراه من جامعة ستانفورد في غضون 20 شهرًا فقط تحت إشراف المشرف دونالد كنوث . ركزت أطروحته على تحليل خوارزمية فرز شيلسورت وشبكات الفرز . [ 1 ]

عمل برات أستاذاً مساعداً في معهد ماساتشوستس للتكنولوجيا (من عام ١٩٧٢ إلى ١٩٧٦)، ثم أستاذاً مشاركاً (من عام ١٩٧٦ إلى ١٩٨٢). في عام ١٩٧٤، وبالتعاون مع كنوت وجيمس إتش. موريس ، أكمل برات وصاغ عملاً كان قد بدأه عام ١٩٧٠ عندما كان طالباً في الدراسات العليا في بيركلي ؛ وكانت النتيجة التي شارك في تأليفها هي خوارزمية كنوت-موريس-برات لمطابقة الأنماط . وفي عام ١٩٧٦، طور نظام المنطق الديناميكي ، وهو منطق مشروط للسلوك المنظم.

ذهب في إجازة تفرغ من معهد ماساتشوستس للتكنولوجيا إلى جامعة ستانفورد (1980 إلى 1981)، وتم تعيينه أستاذاً متفرغاً في جامعة ستانفورد في عام 1981.

أدار برات مشروع محطة عمل صن في جامعة ستانفورد من عام 1980 إلى عام 1982. وساهم بطرق مختلفة في تأسيس وتشغيل شركة صن مايكروسيستمز في بداياتها، حيث عمل كمستشار في عامها الأول، ثم أخذ إجازة من جامعة ستانفورد لمدة عامين، وأصبح مديرًا للأبحاث، وأخيرًا استأنف دوره كمستشار لشركة صن وعاد إلى جامعة ستانفورد في عام 1985.

كما قام بتصميم شعار شركة صن مايكروسيستمز ، [ 2 ] والذي يتميز بأربع نسخ متداخلة من كلمة "الشمس" ؛ إنه شعار متناظر .

أصبح برات أستاذاً فخرياً في جامعة ستانفورد عام 2000.

مساهمات رئيسية

يحمل عدد من الخوارزميات المعروفة اسم برات. وقد أثبتت شهادات برات ، وهي براهين مختصرة على أولية عدد ما، بطريقة عملية إمكانية التحقق من أولية العدد بكفاءة، مما وضع مسألة اختبار أولية العدد ضمن فئة التعقيد NP، وقدم أول دليل قوي على أن المسألة ليست كاملة من فئة co-NP . [ 3 ] ولا تزال خوارزمية كنوت-موريس-برات ، التي صممها برات في أوائل سبعينيات القرن الماضي مع زميله أستاذ جامعة ستانفورد دونالد كنوت وبشكل مستقل عن موريس ، أكثر خوارزميات البحث عن السلاسل النصية العامة كفاءةً حتى اليوم. [ 4 ] وإلى جانب بلوم وفلويد وريفست وتارجان ، وصف برات خوارزمية وسيط الوسائط ، وهي أول خوارزمية اختيار مثالية في أسوأ الحالات . [ 5 ]

مساهمات الأدوات

في عام ١٩٧٦، كتب برات ورقة عمل لمختبر الذكاء الاصطناعي في معهد ماساتشوستس للتكنولوجيا حول CGOL ، وهي صيغة بديلة للغة MACLISP صممها ونفذها بناءً على نموذجه لتحليل أسبقية المعاملات من أعلى إلى أسفل. [ ٦ ] يُطلق على محلله أحيانًا اسم " محلل برات " [ ٧ ] وقد استُخدم في أنظمة لاحقة، مثل MACSYMA . كما استخدمه دوغلاس كروكفورد كمحلل أساسي لـ JSLint . [ ٨ ] وقد نفذ برات أيضًا محرر نصوص قائم على TECO باسم "DOC"، والذي أُعيد تسميته لاحقًا إلى "ZED". [ ٩ ]

في عام 1999، قام برات ببناء أصغر خادم ويب في العالم (آنذاك) - كان بحجم علبة كبريت. [ 10 ] [ 11 ]

مساهمات أخرى

نُسب الفضل إلى برات في مقال نُشر عام 1995 في مجلة بايت لاقتراحه أن خطأ قسمة القرص الصلب في معالج بنتيوم قد تكون له عواقب أسوأ مما توقعته كل من إنتل وآي بي إم في ذلك الوقت. [ 12 ] [ 13 ]

يتمتع برات اليوم بنفوذ واسع. فإلى جانب منصبه كأستاذ في جامعة ستانفورد، فهو عضو في سبع منظمات مهنية على الأقل. وهو زميل في جمعية آلات الحوسبة ، وعضو في هيئة تحرير ثلاث مجلات رياضية رائدة. كما كان المؤسس ورئيس مجلس الإدارة والمدير التقني لشركة TIQIT Computers, Inc. (مؤرشف في 2 ديسمبر 2023 في أرشيف الإنترنت، ويغطي السنوات العشر التي سبقت إغلاق الشركة عام 2010).

مراجع

  1. ↑ فوغان رونالد برات: فرز شل وشبكات الفرز . دار غارلاند للنشر، نيويورك ولندن، 1979، رقم ISBN 0-8240-4406-1
  2. ↑ "المصممون: فوغان برات" . كتاب الشعارات . مؤرشف من الأصل في 9 أغسطس 2020. تم الاطلاع عليه في 7 أغسطس 2021 .
  3. ↑ فوغان برات. لكل عدد أولي شهادة موجزة. مجلة SIAM للحوسبة ، المجلد 4، الصفحات 214-220. 1975. المراجع ، النص الكامل مؤرشف في 26 سبتمبر 2007 على موقع Wayback Machine (يتطلب تسجيل دخول مدفوع).
  4. ↑ دونالد كنوث، جيمس هـ. موريس الابن، وفون برات. مطابقة الأنماط السريعة في السلاسل النصية. مجلة SIAM للحوسبة ، 6(2): 323-350. 1977. المراجع
  5. ↑ بلوم، م .؛ فلويد، ر. و .؛ برات، ف. ر .؛ ريفست، ر. ل .؛ تارجان، ر. إ. (أغسطس 1973). "الحدود الزمنية للاختيار" (ملف PDF) . مجلة علوم الحاسوب والنظم . 7 (4): 448-461 . doi : 10.1016/S0022-0000(73)80033-9 .
  6. ↑ برات، في آر، أسبقية العمليات من أعلى إلى أسفل. وقائع ندوة ACM حول مبادئ لغات البرمجة . 1973. ص 41-51.
  7. ↑ جورج ج. كاريت محلل برات بسيط لـ SIOD . 1990.
  8. ↑ https://github.com/douglascrockford/JSLint/blob/40e3f73127b56f24a12e5cb091a86d9a24130926/fulljslint.js سطر 2224 من كود مصدر jslint
  9. ↑ إريك فيشر. إيماكس ومحررات أخرى . alt.folklore.computers. 15 نوفمبر 2000.
  10. ↑ بي بي سي نيوز. ركوب الأمواج على علبة كبريت . 1999.
  11. ↑ أخبار سي إن إن. أصغر خادم ويب يناسب جيب القميص . 1999.
  12. ↑ "كيفية إتلاف عدد صحيح" مؤرشف في 2008-10-07 في Wayback Machine ، بايت، مارس 1995.
  13. ↑ "التفاعل المتسلسل في البنتيوم" ، فوغان برات، 1994. في wdv-notes334، 22 يناير 1995. تم تنسيق المقالة من منشور في مجموعة إخبارية: فوغان برات (30 ديسمبر 1994) ."تقنية: التفاعل المتسلسل في معالجات البنتيوم (كان: العيب: استمرار البيانات الملوثة بمعالجات البنتيوم)"" . مجموعة الأخبار : comp.sys.intel . يوزنت: 3e097i$952@Radon.Stanford.EDU . تم الاسترجاع في 3 يونيو 2006 .