CALM/arwiki huggingface dataset:
في 2004، استكملت Cray منظومة Red Storm ل مختبر سانديا الوطني. كان Red Storm يحتوي على معالجات متجمعة في كبائن تحتوي كل منها على 96 وحدة، بحد نظري أقصى 300 كابينة في الجهاز وسرعة تصميم 41.5 تيرافلوبس. يعد الحاسوب الفائق المتوازي الهائل Cray XT3 نسخة تجارية من Red Storm والذي يتشابه في جوانب عديدة مع بناء T3E السابق ولكن يستخدم معالجات إيه إم دي أبترون. تم إضافة دعم لذاكرة DDR2 مع معالجات أبترون ثنائية ورباعية النواة ل Cray XT4 الذي تم تقديمه في عام 2006. يسمح XT4 بتوصيل رقاقات FPGA مباشرة في مقابس المعالج على عكس XD1 والذي يحتاج إلى مقبس مخصص لمساعد المعالج FPGA. يستخدم XT4 أيضا مساعد معالج اتصالي من الجيل الثاني SeaStar2.
في 13 نوفمبر 2006 أعلنت Cray عن نظام جديد هو Cray XMT والذي يرتكز على سلسلة أجهزة MTA . يجمع هذا النظام بين المعالجات متعددة المسارب كما يتم استخدامها على أنظمة Tera الأصلية والموص البيني SeaStar2 المستخدم في XT4. ومع إعادة استخدام ASICs واللوحات والكبائن وبرمجيات النظام المستخدمة بواسطة منتج XT4 ذو الحجم الأكبر نسبيا، يمكن تقليل تكلفة تصنيع نظام MTA. تم جدولة إطلاق جيل ثاني من XMT في 2011 وقام مركز الحوسبة الفائقة الوطني السويسري (CSCS) بعمل أول طلب شراء.
في 2006 أعلنت Cray عن رؤية جديدة للمنتجات التي تحمل اسم " الحوسبة الفائقة التكيفية". يستخدم الجيل الأول من مثل هذه الأنظمة والذي يحمل اسم مشروع راينييه شبكة توصيل بيني مشتركة وبيئة برمجة وتصميم كابينة ونظام فرعي I/O. تتضمن تلك الأنظمة XT4 وXMT. يتيح الجيل الثاني الذي تم إطلاقه تحت اسم XT5h نظاما لدمج عناصر حوسبة من أنواع متعددة في نظام واحد مشترك ذو بنية تحتية مشتركة. يستطيع XT5h أن يقوم بدمج معالجات أبترون وفيكتر والمعالجات متعددة المسارب وFPGA في نظام واحد. وغالبا ستنتفع أنظمة الجيل الجديد Cascade من المعالجات المستقبلية متعددة الأنوية و/أو عديدة الأنوية أبترون وإنتِل بالإضافة إلى التوجيه والمسرعات متعددة المسارب. تم جدولة Cascade بحيث يتم تفديمه في وقت ما بين 2011 و2013.
في أبريل 2008، أعلنت Cray وإنتل عن تعاونهما في أنظمة الحواسيب الفائقة المستقبلية. تم إطلاق المنتج الأول من ثمرة هذا التعاون Cray CX1 في سبتمبر من نفس العام وهو عبارة عن نظام خادم شفرة يضم حتى 16 معالج إنتل زيون مع نظام تشغيل مايكروسوفت Windows HPC Server 2008 وريد هات إنتربرايز لينكس.
وبحلول نوفمبر 2009 قامت Cray أكبر منظومة حواسيب بإصدار نظام XT5 في المركز الوطني للعلوم الحاسوبية في مختبر أوك ردج الوطني. يطلق على هذا النظام الذي يحتوي على أكثر من 224,000 نواة معالجة اسم “Jaguar” وكان أسرع حاسوب في العالم طبقا لقياس LINPACK بنش مارك بسرعة 1.75 بيتافلوب petaflop حتى تخطاه تيانهي-1 في أكتوبر 2010. وقد كان أسرع نظام متوفر للعلوم المفتوحة وأول نظام يتخطى عتبة آداء مستمر 1 بيتافلوب على تطبيق علمي 64 بت.
فورث هي لغة برمجة حاسوب وبيئة برمجة بنائية، أمرية، انعكاسية، قابلة للتمديد، تقوم على التكدس. وعلى الرغم من أن اسم اللغة ليس مختصرا، فأحيانا تكتب جميع الحروف كبيرة هكذا FORTH، بإتباع الاستخدام المألوف خلال سنواته الأولى.
فورث: لغة برمجة بالإجراءات بدون فحص النوع، وتجمع فورث ببن كل من التنفيذ التفاعلي للأوامر (بجعلها مناسبة مثل غلاف للنظم التي تفتقر إلى نظام تشغيل أكثر رسمية) والقدرة على ترجمة تسلسل الأوامر لأعمال التنفيذ اللاحقة. وتترجم بعض تطبيقات فورث (عادة النسخ الأولى أو تلك الكتابية لكي تصبح محمولة تماما) شفرة مجزأة، ولكن تنتج العديد من التطبيقات حاليا لغة آلة محسنة مثل غيرها من مترجمات اللغة.
وعلى الرغم من أنها لا تتمتع بشعبية مثل غيرها من نظم البرمجة، تتمتع فورث بالدعم الكافي للإبقاء على العديد من بائعي ومتعهدي اللغة في العمل. وتستخدم فورث حاليا في محملات نظم التشغيل مثل البرمجيات الثابتة المفتوحة، وتطبيقات الفراغ الفاصل, وغيرها من النظم المدمجة. ويمثل جي فورث، تطبيق من تطبيقات فورث من خلال مشروع جنو، وتتم صيانته بفعالية، بنسخته الحديثة الصادرة في ديسمبر 2008. وتخضع القياسية 1994 حاليا للمراجعة، وسميت مؤقتا بـ Forth 200x.
Befunge لغة برمجة تختلف عن اللغات التقليدية في هذه البرامج حيث يتم ترتيبها على شبكة ثنائية الأبعاد. تعليمات "Arrow" مباشرة توجه تدفق التحكم إلى اليسار أواليمين، أو صعودا أو هبوطا، والحلقات تبنى بإرسال تدفق التحكم في دورة.
أنشأت اللغة أصلا عن طريق كريس بريسي في عام 1993 بوصفها محاولة لوضع لغة من أصعب ما يكون ترجمتها—لاحظ أن الأمر P يسمح بالتعديل الذاتي للرمز. ومع ذلك، فقد تم في وقت لاحق كتابة عددا من المترجمين. وهناك عدد من ملحقات المميزات للبرنامج الاصلي "Befunge - 93" موجودة أيضا، وعلى الأخص Funge - 98، الذي يمد المفهوم لعدد تعسفي من الأبعاد ويمكن أن يكون متعدد العمليات، مع تعليمات متعددة تجعل المؤشر يعمل بالتزامن على نفس المساحة. ملحقات Befunge والمتغيرات تسمى Fungeoids أو مجرد Funges.
مواصفات 93 Befunge يقيد كل برنامج صالح لشبكة من 80 تعليمة أفقياً و 25 تعليمة عموديا. تنفيذ البرنامج الذي يتجاوز هذه الحدود "يلتف" "wraps around" إلى نقطة المقابلة على الجانب الآخر من الشبكة، وبرنامج Befunge على هذا النحو ما يعادل طبوغرافيا topologically إلى الحيد. torus برنامج 93 Befunge يمكنه أن يكون له مكدس واحد فقط ومرتبطة بها مصفوفة تخزينها، ولغة 93 Befunge، على العكس من معظم اللغات الآلية، وليس تورنغ كاملة Turing-complete، (ومع ذلك، فقد تبين أن Befunge - 93 هو تورنغ كامل مع مكدس غير مرتبط بحجم الكلمة) في وقت لاحق أصبحت مواصفات Funge - 98 يوفر تورنغ كمال عن طريق إزالة القيود الحجم في البرنامج ؛. بدلا من الالتفاف حولها في حد ثابت، وحركة مؤشرالتعليمات - 98 Funge يتبع نموذج يسمى "Lahey-space" "مسافة لاهي" أسوة بمؤلفها، كريس لاهي. في هذا النموذج، تتصرف الشبكة مثل حيد من حجم محدود فيما يتعلق بالالتفاف، في حين لا يزال يسمح لنفسه أن يتمتد إلى ما لا نهاية.
التأليف (الترجمة).
وكما ذكرت، كان الهدف من تصميم Befunge هو عمل لغة من الصعب ترجمتها. وقد تم الشروع في هذا مع تنفيذ ترميز تعديل ذاتي (التعليمة 'p' يمكن أن تكتب تعليمات جديدة في الملعب)، وملعب متعددة الأبعاد (يمكن تنفيذ التعليمات ذاتها في أربعة اتجاهات مختلفة.)
ومع ذلك، فقد تم التغلب على هذه العقبات، إلى حد ما، ومترجمين Befunge كانت مكتوبة باستخدام التقنيات الملائمة.
مترجم bef2c اشتمل مع توزيع 93 Befunge المعياري - باستخدم رمز مترابط : يتم ترجمة كل تعليمة لمقتطف من رمز C، ويتحكم في التدفقات من خلال قصاصات تماما كما يفعل في مترجم Befunge، (المشروط على قيمة بعض تسجيل 'الاتجاهات') وهذا لا يؤدي إلى ميزة كبيرة من مترجم جيد. لاحظ أن المترجم bef2c غير صحيح لأنه لا يعالج أى من 'P' أو وضع السلسلة، ولكنه لن يكون مستحيل لجعله يفعل ذلك (على الرغم من أن لغة C قد لا تكون مناسبة تماما لهذا).
المترجم بيتي Betty compiler، على سبيل المثال، ويعامل كل خط مستقيم محتمل من تعليمات بوصفه برنامج فرعي، وإذا كانت تعليمة 'P' تنبه على عمل برنامج فرعي ،فإن البرنامج الفرعي يعاد ترجمته. هذا اختلاف مثير للاهتمام بشأن الترجمة الفورية، وأنه يؤدي إلى ميزة أفضل بكثير من مترجم، حيث يمكن تنفيذ العديد من التعليمات بكود محلي دون التدخل في اتخاذ القرارات في تسجيل 'الاتجاه'. 'direction'
BFC (مترجم (BeFunge ل Win32 كتبه أندرو كارتر (اليورانيوم 239)، ويستخدم ببساطة كعب ذاتية التنفيذ وتعديل المصفوفة 8025 x بايت المخصصة مسبقا داخل الكعب لتنفيذ أي برنامج befunge معين. الآثار السلبية لهذه التقنية تشمل وجود مترجم مرفق لكل برنامج Befunge. ومع ذلك، باستخدام حيل التحسين، يضمن BFC V1.1 حجم قابل للتنفيذ من 5632 بايت فقط.
نموذج رمز Befunge – 93.
أسلوب استخدام الأسهم لتغيير التحكم في التدفق يتجلى في برنامج مولد العدد العشوائي أدناه. اتباع الأسهم حول، التعليمات؟ ترسل مؤشر في اتجاهات عشوائية رئيسية حتى يضرب المؤشر رقما، يدفعه إلى المكدس. ثم ينتقل السهم إلى إخراج الرقم من المكدس ويعود المؤشر إلى الاتجاه الأول. المولد بشكل عشوائى. علما أنه لا يوجد codice_1 لإنهاء هذا البرنامج بحيث ينتج تيار لانهائي من الأرقام العشوائية من 1 حتي 9.
vv &lt; &lt;
^ v&lt;
v1&lt;?&gt;3v4
&gt; &gt;?&gt; ?&gt;5^
v9&lt;?&gt;7v6
v v&lt;
^&lt;
هذا هو المثال الكلاسيكي برنامج "Hello World!" أولاً يتم دفع الحروف "olleH" إلى المكدس كأرقام ASCII. وانتشرت بعد ذلك من هذا المكدس في نظام LIFO والإخراج كأحرف النص لإعطاء "Hello". المساحة هو الحرف رقم 32 في ASCII، التي تم بناءه هنا عن طريق ضرب 4 في 8، قبل أن يكونوا مخرجات في شكل نص. الرمز المتبقي ثم النواتج "World!" بطريقة مماثلة، يليها حرف ASCII 10 (حرف تغذية سطر line feed، ينقل مؤشرالإخراج إلى سطر جديد)
&gt; v
v ,,,"Hello"&lt;
&gt;48*, v
v,,,"World!"&lt;
&gt;25*,@
هذا يضيف حرف ASCII 10 (حرف تغذية السطر) إلى مكدس، ويدفع ثم "!dlrow ,olleH" إلى المكدس (النص يكون في الناتج ،و عكسي) ثم يدخل حلقة التي تكرر أولاً الحرف الأخير على المكدس (حيث الآن المكدس سوف يبدو "\n!dlrow ,olleH" وبعد ذلك عملية "_" سوف تصرف الحرف الأخير مرة أخرى، ويسير في الاتجاه الأيمن إذا كان صفر، والأيسر إذا كان خلاف ذلك، وعندما يذهب يساراً، فإنه يكرر الحرف الأول على المكدس ويطبع الحرف (الذي يصرفه مرة أخرى)، ثم تقوم بعمل حلقات ثم من خلال هذا حتى تواجد صفر على المكدس (بعد ذلك سوف يسير في الاتجاه الأيمن ويخرج من البرنامج). لكي يعمل هذا كما هو متوقع تحتاج إلى مترجم متوافق الذي يرجع "returns" 0 عند محاولة صرف أي مكدس فارغ.
&gt;25*"!dlrow ,olleH":v
v:,_@
قائمة تعليمات Befunge - 93.
معظم لغات البرمجة واحدة الأبعاد تتطلب بعض التمييز النحوي بين نص التعليق وشفرة المصدر—على الرغم من أن هذا التمييز قد يكون تافه كقاعدة Brainfuck بأن أي حرف ليس في المجموعة +-[]&lt;&gt;،. هو تعليق. الغات مثل Lisp و Python تعامل السلاسل كتعليقات في السياقات حين لا تستخدم القيم. وبالمثل، في Befunge، وليس هناك قواعد لغوية للتعليق : لتضمين التوثيق في الكود، فإن المبرمج ببساطة يحدد مسار تدفق التحكم حول منطقة "تعليق" "comment"، بحيث لا يتم أبدا تنفيذ النص في هذه المنطقة.
- Playstation programming game using a similar language
عملية هندسة برمجيات الغرفة النظيفة هي عملية تطوير البرمجيات التي تهدف إلي إنتاج برمجيات لها مستوى معتمد من [الوثوقية reliability]. وقد تم تطوير عملية الغرفة النظيفة في الأصل عن طريق Harlan Mills والعديد من زملائه بما في ذلك Alan Hevner من شركة آي بي إم. وتركيز عملية الغرفة النظيفة هو على الوقاية من الخلل، بدلا من إزالة الخلل. وقد تم اختيار اسم "الغرفة النظيفة" Cleanroom لاستحضار غرفة نظيفة المستخدمة في صناعة الإلكترونيات للوقاية من إدخال الخلل أثناء تصنيع شبه موصل. وكان أول استخدام لعملية الغرفة النظيفة هو في منتصف الثمانينات. وقد بدأت المشروعات الإيضاحية في أوائل التسعينات. وقد فحص عمل مؤخر في عملية الغرفة النظيفة دمج الغرفة النظيفة مع قدرات التحقق الآلي التي توفرها المواصفات الموجودة في [عمليات الاتصال التسلسلية CSP].
المبادئ المحورية.
المبادئ الأساسية لعمليات الغرفة النظيفة هي:
يستخدم تطوير الغرفة النظيفة طريقة [Box Structure] لتحديد وتصميم منتج برمجي. ويتم القيام بالتحقق من أن التصميم ينفذ الخاصية من خلال مراجعة الفريق.
يستخدم تطوير الغرفة النظيفة مدخلا [تكراريا]، والذي فيه يتم تطوير المنتج من خلال إضافات والتي تزيد بشكل تدريجي من الوظيفة المنفذة. ويتم قياس جودة كل إضافة مقابل معايير موضوعة مسبقا من أجل التحقق من أن عملية التطوير تسير على نحو مقبول. والفشل في تحقيق معايير الجودة يؤدي إلي توقف فحص الإضافة الحالية، والعودة إلي مرحلة التصميم.
يتم تنفيذ فحص البرمجيات في عملية الغرفة النظيفة كتجربة إحصائية. وبناء على الخاصية الرسمية، يتم انتقاء مجموعة فرعية تمثيلية من مسارات إدخال/إخراج البرمجيات وفحصها. وبعد ذلك يتم تحليل هذه العينة لإنتاج تقييم لوثوقية البرمجية، ومستوى الثقة في ذلك التقييم.
الدوال الحسابية هي المواد الأساسية في دراسة النظرية الحسابية. الدوال الحسابية هي التماثلية الرسمية للفكرة البديهية للخوارزمية. . وهي تستخدم لمناقشة الحسابية دون الإشارة إلى أي نموذج ملموس من الحساب مثل آلات تورنغ أو آلات التسجيل. ورغم ذلك فإن أي تعريف يجب أن يكون له مرجعية لبعض النماذج المحددة من الحساب ولكن كل التعريفات الصحيحة تحقق نفس الدرجة من الوظائف. نماذج معينة من الحاسوبية التي تؤدي إلى مجموعة من الوظائف الحسابية هي دوال تورنغ الحسابية ودوال المايكرو المتكررة.
قبل التعريف الدقيق للدالة الحسابية، غالباً ما كان يستخدم علماء الرياضيات المصطلح غير الرسمي محسوب بشكل فعّال. لقد أصبح هذا المصطلح منذ ذلك الحين معرّف بالدوال الحسابية. لاحظ أن الحاسوبية الفعّآلة لهذه الدوال لا تدل على أنه يمكن حسابهم بطريقة فعّآلة (بمعنى: يتم حسابهم في قدر معقول من الوقت). في الحقيقة، بالنسبة لبعض الدوال المحسوبة بشكل فعّال فهي قد تظهر أن أي خوارزمية تقوم بحسابهم سوف لن تكون فعّآلة في إدراك أن الوقت المنصرم من الخوارزمية يزيد باطراد ( أو حتى باطراد مضاعف) مع مدة المدخلات. مجالات الحاسوبية العملية و التعقيد الحسابي تدرس الدوال التي قد تكون محسوبة بشكل فعّال.
طبقاً لفرضية تورنغ-الكنيسة، فإن الدوال الحسابية هم بالضبط الدوال التي من الممكن أن يتم حسابها باستخدام أداة حساب ميكانيكية بفرض وجود كمية غير محدودة من الوقت ومساحة التخزين. بالمقابل، وتنص هذه الفرضية على أن أي دالة التي لها خوارزمية يمكن حسابها. لاحظ أن الخوارزمية في هذا المعنى تُفهم على أنها سلسلة متعاقبه من الخطوات التي يمكن لشخص لديه وقت غير محدود وإمداد غير منتهي من الأقلام والأوراق أن يتبعها.
يمكن استخدام بديهية بلام لتعريف النظرية المجردة للتعقيد الحاسوبي على مجموعة من الدوال حسابية. في نظرية التعقيد الحاسوبي، مشكلة تحديد تعقيد الدالة المحسوبة يعرف بمشكلة الدالة.
يمكن تعريف طبقة الدوال الحسابية بكثير من النماذج المساوية، وتشمل:
على الرغم من أن هذه النماذج تستخدم تمثيلات مختلفة للدوال، ومدخلاتهم ومخرجاتهم، فإن الترجمات توجد بين أية نموذجين. في بقية هذه المقالة، تستخدم الدوال من الأرقام الطبيعية إلى الأرقام الطبيعية (كما في حالة المثال، دوال ماكرو المتكررة).
كل دالة حسابية د تأخذ رقم ثابت ومتناهي من الأرقام الطبيعية كوسيط. لأن الدوال تكون جزئية بشكل عام، فقد لا يكونوا معرفين لمُدخل معين، ثم تُعيد رقم طبيعي وحيد كمخرج ( هذا المخرج من الممكن تفسيره كقائمة الأرقام باستخدام دالة التزاوج) . تسمى هذه الدوال أيضاً الدوال المتكررة بشكل جزئي. في نظرية الحاسوبية، يؤخذ مجال الدالة ليصبح مجموعة كل المدخلات والتي تم تعريف الدالة لأجلها.
الدالة التي تعرف بالنسبة لكل الوسائط المتاحة تدعى مجموع. إذا كانت دالة حسابية هي مجموع، فهي تدعى دالة مجموع حسابية أو دالة مجموع متكررة.
الملحوظة د(س1...سط) ↓تدل على أن الدالة الجزئية د معرّفة في الوسائط س1...سط والملحوظة د(س1...سط) = ص تدل على أن د معرّفه في الوسائط س1...سط وأن القيمة العائدة هي ص. في حالة أن الدالة د غير معرفه للوسائط س1...سط يرمز لها بأن( س1...سط) ↑
صفات الدوال الحسابية.
الصفة الأساسية للدالة الحسابية هي أنه يجب أن يوجد إجراء متناهي (خواريزم) ليخبرنا كيف يمكننا حساب الدالة. نماذج الحساب المذكورة أعلاه تعطي تفسيرات مختلفة لما يكونه الإجراء وكيف يستخدم، ولكن هذه التفسيرات تشترك في الكثير من الخصائص. حقيقة أن هذه النماذج تعطي طبقات متساوية لمنبع الدوال الحسابية من حقيقة أن كل نموذج قادر على قراءة ومحاكاة إجراء ما لأي من النماذج الأخرى، مثل المحوّل البرمجي فهو قادر على قراءة التعليمات بلغة كومبيوتر واحدة ويقذف بالتعليمات في لغة أخرى.
إندرتون [1977] يعطي الخصائص التالية للإجراء لحساب دالة حسابية، وقد منحت صفات مشابهة عن طريق تورنغ [1936] روجرز [1967] وغيرهم.
ولذلك فإن كل دالة حسابية يجب أن يكون لديها برنامج متناهي والذي يصف بالكامل كيف سيتم حساب الدالة. من الممكن أن نحسب الدالة ببساطة باتباع التعليمات التالية، لي مطلوب التخمين أو التبصر.
وبشكل بديهي، فإن الإجراء يتقدم خطوة بخطوة، بقاعدة معينة من لتغطية ما تفعله في كل خطوة من الحساب. يمكن تنفيذ العديد من الخطوات قبل عودة قيمة الدالة.
وهكذا إذا وجدنا أي قيمة د( س) فيجب أن تكون هي القيمة الصحيحة، ليس من الضروري لموظف الحساب أن يميز النتائج الصحيحة من الغير صحيحة لأن الإجراء دائماً يكون صحيحاً عندما يأتي بنتيجة.
يستمر إندرتون بسرد توضيحات مختلفة لهذه المتطلبات للإجراء لدالة قابلة للحساب:
المجموعات والعلاقات الحسابية.
المجموعة "أ" من الأعداد الطبيعية تسمى حسابية (المرادف: حروف متشابهة، يمكن تقريره) إذا كانت هناك دالة مجموع حسابية د والتي هي لأي رقم طبيعي ر، د(ر)=خ1 ، إذا كانت ر في "أ" و د(ر) =0 إذا كانت ر غير موجوده في أ.
تسمى مجموعة من الأرقام الطبيعية متعددة حسابياً (المرادف: متعددة بشكل متكرر، شبه حاسم) إذا كان هناك دالة حسابية د والتي بالنسبة لكل رقم ر، د(ر) تعرف عندما وفقط عندما تكون ر في داخل المجموعة. وهكذا تكون المجموعة متعددة حسابياً عندما وفقط عندما تكون هي مجال بعض الدوال الحسابية. تستخدم كلمة متعددة لأن التالي مكافئ للمجموعة الفرعية الغير خالية ب من الأرقام الطبيعية:
إذا كانت مجموعة ب هي المدى للدالة د إذاً فإن الدالة يمكن رؤيتها تعدد من ب، لأن القائمة د(0) ، د(1)،... سوف تشمل كل عنصر من ب.
لأن كل علاقة منتهاه في الأرقام الطبيعية يمكن تعريفها بمجموعة مطابقة من السلاسل المتعاقبة من الأرقام الطبيعية، مفاهيم العلاقة الحسابية والعلاقة المتعددة حسابياً يمكن تعريفهم من المجموعات المتناظرة معها.
اللغات الرسمية.
طبقاً للنظرية الحاسوبية في علوم الكومبيوتر، من الشائع أن تراعي اللغات الرسمية. يعتبر الحرف مجموعة تعسفية. تعتبر كلمة في حرف سلسلة متناهيه من الرموز من الحروف، وقد يستخدم نفس الرمز أكثر من مرة. على سبيل المثال، الحروف الثنائية هي تماماً الكلملت بالحروف {0,1} . اللغة هي مجموعة ثانوية من مجموع كل الكلمات في حرف ثابت. على سبيل المثال، مجموع كل الحروف الثنائية والذي يحتوي بالضبط على ثلاثة حروف هي لغة فوق الحروف الثنائية.
أهم خصائص اللغة الرسمية هي مستوى الصعوبة المطلوب لنقرر ما إذا كانت كلمة معينة موجودة في اللغة. يجب تطوير بعض أنظمة التكويد أو الترميز لتسمح لدالة حسابية بأن تأخذ كلمة تعسفية في اللغة كمدخل، وهذا في الغالب يعتبر روتيناً. تسمى اللغة حسابية (مرادف: متكررة، حاسمه) إذا كان هناك دالة حسابية د والتي تكون لكل كلمة ت فوق الحرف، د(ت)=1إذا كانت الكلمة موجودة في اللغة و د(ت)=0 إذا لم تكن الكلمة موجودة في اللغة. وهكذا، تحسب اللغة فقط في حالة أنه يوجد إجراء قادر على إخبارنا بشكل صحيح عن ما إذا كانت الكلمات التعسفية موجودة في اللغة.
تكون اللغة متعددة حسابياً (مرادف: متعددة بشكل متكرر، شبه حاسمة) إذا كانت توجد دالة حسابية د مثل هذه د(ت) تكون معرفة عندما وفقط عندما تكون الكلمة ت موجودة في اللغة. المصطلح متعددة له نفس علم الكلمة كما في مجموعة متعددة حسابياً من الأعداد الطبيعية.
الدوال التالية حسابية:
لو كانت د و ق حسابيتين، إذاً فهم: د + ق، د * ق، إذا كانت د هي الأعداد الأحادية، أقصاها (د، ق) أدناها (د، ق) ووسيط أعظم {ع&gt;= د(س)} والمزيد من الإتحادات.
الأمثلة التالية توضح أن الدالة قد تكون حسابية من خلال أنها قد تكون غير معروفة أي خوارزمي هو المناسب لها.
ومع ذلك، نعلم أن الدالة د يجب أن تكون حسابية)
فيما يتناقض مع الحقيقة التي تقول أنه لا يوجد خوارزمية لحساب الترتيب الكامل، ترتيب∑، بمعنى: (ر) ∑ لجمع قيم (ر) . وبالتالي، فإن طباعة 0، 1، 4، 6، 13 هي خوارزمية عادية لحساب 0∑ ، 1∑، 3∑،4∑ ، وبالمثل لأي قيمة معطاة من ر، توجد خوارزمية عادية مثل هذه (رغم ذلك قد لا يعرف بوجودها أحد ولا يستخدمها أحد ) لحساب 0∑ ، 1∑، 3∑،...، (ر) ∑
فرضية تورنغ – تشرتش.
تنص فرضية تورنغ-تشرتش على أن أي دالة يمكن حسابها من إجراء يحصل على الثلاثة خصائص المذكورة بالأعلى فهي دالة حسابية. لأن هذه الخصائص الثلاث ليسوا منصوص عليهم بشكل رسمي، فلا يمكننا إثبات فرضية تشرتش-تورنغ. الحقائق التالية غالباً ما تؤخذ دليلا على هذه الفرضية:
تستخدم فرضية تشرتش-تورنغ أحياناً في إثبات استيفاء أن دالة معينة قابلة للحساب عن طريق منحها وصف ملموس لإجراءات الحسابية.
الدوال غير القابلة للحسب والمشاكل غير القابلة للحل.
كل دالة حسابية لها إجراءات متناهيه لتعطي تعليمات واضحة وصريحة عن كيفية حسابها. علاوة على ذلك، هذه الأجراءات يجب أن ترمز في الأبجدية المتناهية المستخدمة في النموذج الحاسوبي، لذلك فهناك فقط دوال عديدة قابلة للحسب. على سبيل المثال، قد تكون الدوال مرمزة باستخدام سلسلة من الأجزاء (الأبجدية={1,0} ∑).
الأرقام الحقيقية لا تعد لذلك فمعظم الأرقام الحقيقية ليست حسابية. انظر الأرقام الحسابية. مجموعة الدوال المنتهاة في الأعداد الطبيعية غير معدودة لذلك معظمها ليست حسابية. أمثلة ملموسة على هذه الدوال مثل بوزي بايفر، تعقيد كولموجوروف أو أي دالة تكون مخرجاتها أرقام غير حسابية مثل ثابت تشيتيني.
وبالمثل، معظم المجموعات الثانوية من الأرقام الطبيعية ليست حسابية. كانت مشكلة التوقف هي الأولى في إنشاءها. مشكلة إنستشيدانجز، المقترحة من دافيد هيلبرت، حيث سأل إذا ما كان هناك إجراء فعال لتحديد أي من البيانات الرياضية صحيحة (المرمزه كأرقام طبيعية). تورنغ والكنيسة أظهرت بشكل مستقل في الثلاثينات أن هذه المجموعة من الأعداد الطبيعية ليست حسابية. طبقاً لفرضية تورنغ-الكنيسة، لا توجد إجراءات فعالة (باستخدام الخوارزميه) يمكنها عمل هذه الحسابات.
امتدادات الحاسوبية.
الحاسوبية النسبية.
فكرة حاسوبية الدالة هذه يمكن أن تكون نسبية لمجموعة تعسفية من الأرقام الطبيعية "أ"
الدالة د تعرف على أنها الحسابية في "أ" (ويساوي: أ" –الحسابي، أو نسبي بالنسبة إلى "أ") عندما ترضي التعريف الخاص بالدالة الحاسوبية مع المعدلات التي تسمح بالوصول إلى "أ" كأوراكل. طبقاً لمفهوم الدالة الحسابية يمكن إعطاء الدالة الحسابية النسبية تعريفات مساويه على العديد من النماذج المختلفة للحساب. وهذا عادةً ينفذ عن طريق إلحاق نموذج الحساب بعمليات أصلية إضافية والتي تسأل ما إذا كان عدد صحيح معين هو عنصر في "أ" . يمكننا أيضاً الحديث عن د وكونها حسابية في ت عن طريق تعريف ت برسمها البياني .
نظرية العودة الأعلى.
نظرية العلم الفوق راضي تدرس هذه المجموعات التي يمكن حسابها من عدد حسابي ترتيبي من إعادات قفز تورنغ من المجموعة الخالية. هذا يكافئ المجموعات المعرفة عن طريق كلاً من المعادلات العامة و الوجودية في اللغة من الأمر الثاني الحسابي ولبعض النماذج من الفوق كومبيوتر. لجعلها أكثر شمولية فإن نظريات العودة يتم تدريسها، مثل نظرية التواتر الإلكتروني والتي أي مجموعة بها يمكن استخدامها كوسيط لدالة التواتر الإلكتروني.
الحوسبة الفائقة.
على الرغم من أن فرضية الكنيسة- تورنغ ذكرت أن الدوال الحسابية تشمل كل الدوال مع الخوارزمي، فمن المحتمل أن نعتبر الطبقات الواسعة من الدوال والتي تريح المتطلبات التي يجب أن تحصلها الخوارزمية. إن مجال الفوق حاسوبية يدرس نماذج من الحساب والتي تتخطى حساب تورنغ الطبيعي. هذا لا يخرق فرضية الكنيسة –تورنغ حيث أنهم يسمحون بالعمليات التي، إذا حدث أو لم يحدث تطبيقهم بجهاز فيزيائي، لا يمكن آدائوها بعمل البشر عن طريق قلم و ورقة.
لغة برمجة الجيل الخامس (اختصارا 5GL) هي لغة برمجة تدور حول حل المسائل باستخدام بعض القيود التي تعطى للبرنامج بدلا من استخدام خوارزمية يقوم المبرمج بكتابتها. معظم لغات برمجة منطقية واللغات المبنية على القيود وبعض اللغات التقريرية هي لغات الجيل الخامس
وبينما تم تصميم الجيل الرابع من لغات البرمجة لبناء برامج محددة، فإن لغات برمجة الجيل الخامس قد تم تصميمها لتجعل الكمبيوتر يحل المسائل المحددة دون مساعدة المبرمج. بهذه الطريقة، يحتاج المبرمج فقط للقلق حول المسائل التي تحتاج إلى حل والظروف التي ينبغي الوفاء بها دون أن يقلق على كيفية وضع روتين معين أو عملية حسابية لحلها. تستخدم لغات الجيل الخامس بصورة أساسية في أبحاث ذكاء اصطناعي. ومن الأمثلة على لغة برمجة الجيل الخامس Prolog, OPSS, Mercury.
وقد تم تصميم هذه الأنواع من اللغات أيضا بناء على Lisp، ومعظمها نشأ على آلة ليسب Lisp Machine مثل الآيكاد ICAD. ثم بعد ذلك هناك عدة لغات إطارية مثل KL-ONE.
وفي التسعينات كانت لغات الجيل الخامس تعتبر موجة المستقبل وقد تنبأ البعض أنها ستحل محل كافة اللغات الأخرى لتطوير النظام باستثناء اللغات منخفضة المستوى. ومن الملاحظ كثيرا أنه منذ عام 1982 حتى 1993، كرست اليابان مزيدا من الأبحاث وخصصت المزيد من الأموال لمشروع نظم حواسيب الجيل الخامس آملة في أن تقوم بتصميم شبكة كمبيوتر من آلات تستعين بهذه الأدوات.
إلا أنه مع وجود برامج أكبر أصبحت ثغرات هذا التوجه أكثر وضوحا، وقد تحول الأمر لأن يكون البدء من مجموعة من القيود التي تحدد مسألة ما بحيث تستنبط عملية حسابية فعالة لحلها مسألة صعبة للغاية في حد ذاتها. وهذه الخطوة الحاسمة لم يمكن أتمتتها بعد ولا تزال تتطلب بصيرة المبرمج البشري.
واليوم عادت أنظمة حاسوب الجيل الخامس لتكون مستوى ممكن من لغات الكمبيوتر. ويدعي مجموعة من باعة وموردي البرمجيات اليوم أن برنامجهم يفي بمتطلبات "البرمجة" المرئية لتصور 5GL.
من حين لآخر كان الباعة في مجال تطوير التطبيقات يتباهون بإمكانات لغة الجيل الخامس 5GL. وكانوا معظم الوقت يبيعون فعليا الجيل الرابع من لغات البرمجة وهي قاعدة أكبر من الأتمتة وقاعدة المعرفة. منذ أن انحدر التعامل بلغات الجيل الخامس بسبب ذبول واختفاء ذروة الثمانينات سريعا مما أدى إلى انحدار كافة المشروعات الأخرى في النهاية، فقد فتح ذلك الأبواب أمام الباعة لإعادة استخدام المصطلح في تسويق أدواتهم الجديدة دون أن يؤدي ذلك إلى إثارة مزيد من الجدل بين أجيال المبرمجين الحاليين. وقد تضمنت أدواتهم فعليا حزم الجيل الرابع من لغات البرمجة مع برنامج RAD، وأدوات CASE ومجموعة مساعدات ترميز جرافيكية تسهل توليد الشفرة.
خالد يوسف محمد العميرات المعروف باسم مهند أو أبو أنس ( 1969م - 11 أبريل 2011م) سعودي.
بويع أميرًا للمجاهدين العرب في الشيشان في 26 نوفمبر 2005م بعد وفاة الأمير الثالث أبو حفص الأردني.
قاتل مهند في صفوف المجاهدين العرب في الشيشان منذ عهد أميرها الأول خطاب، وفي أكتوبر 2006م جعله الرئيس الشيشاني دوكو عمروف أحد نوابه. وفي فبراير 2008م أعلنت وزارة الداخلية الروسية أن مهند قتل خلال عملية تفتيش بالقرب من قرية آرشتي في إنغوشيا، فظهر مع دوكو عمروف في وقت لاحق على فيديو لدحض تصريحات وفاته، ووصفها بأنها أكاذيب ودعاية. إلا أنه في أغسطس 2010م دبّ خلاف بينه وبين دوكو عمروف، أدى إلى انقسام في صفوف المجاهدين.
في 11 أبريل 2011م قتل مهند في عملية تمشيط روسية لمنطقة الجبال الشيشانية. وفي 22 أبريل عرض التلفزيون الروسي صور جثته لتأكيد الخبر.
خلفيه تاريخيه.
دخلت خدمات الإطفاء السودان عام 1907م مع بدايات خدمات السكة حديد، قامت أول نواه لفرقة مطافئ منظمة في ابريل 1952م بعد حريق القاهرة الذي وقع في يناير 1952م كوحده صغيرة بقوة قوامها 110 من الصف والجنود من بوليس ولاية الخرطوم.
صدر أول قانون ينظم وضعية المطافئ كقوة نظامية رابعة بعد السجون كإدارة مركزية في عام 15فبراير 1978م.
في عام 1979م باتخاذ الحكم اللامركزي نظاما للحكم في السودان اضحت المطافئ لا مركزية برئاسة صغيرة في الخرطوم وضم اليه كل وحدات المطافئ بالمرافق (السكة حديد – النقل النهري – الموانئ البحرية – الطيران المدني – السكر – النقل الميكانيكى سابقا – المخازن والمهمات سابقا) وأصبحت تتبع لوزير الداخلية.
في ديسمبر 1991م صدر أول قانون لجهاز الدفاع المدني وأنشئ بموجبه المجلس الأعلي للدفاع المدني كجهاز يعني بالكوارث القومية برئاسة وزير الداخلية وعضويه الوزراء ذوي الصلة
و في يناير 1992م تم دمج القوات النظامية تحت لواء قوات الشرطة وأصبحت إدارة الدفاع المدني إحدى إدارات الشرطة المتخصصة
مواكبة للتغييرات الدستورية في البلاد صدر قانون الدفاع المدني للعام 2005م وجعل الدفاع المدني جهازاً أساسياً ورئيساً في درء الكوارث ومسئولاً عن تطبيق ومراجعة وتقييم وسائل وطرق الوقاية والسلامة.
استراتيجية الدفاع المدني.
إستراتيجية الدفاع المدني تنبني علي تنفيذ خطة الدولة بإتخاذ كافة التدابير والوسائل الكفيلة بدرء المخاطر وتفعيلها وإعادة إصلاح المرافق المختلفة التي تأثرت بالكارثة في إيجاد المناخ المناسب لمجالات الإنتاج والسيطرة عليها وتوجيه الجهود الإنتاجية تحت ظروف الطوارئ لتأكيد استمرارية عمل كل المرافق في مناحي الحياة المختلفة ودعم قدرات الدفاع المدني لمواجهة كل أنواع ودرجات الكوارث والمخاطر.
أهداف الدفاع المدني.
الإسراع في إعادة الإصلاح عقب الكوارث لتأكيد الاستمرار المبكر للحياة اليومية والإنتاج.