hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
العمليات التسلسلية المتواصلة (نموذج حوسبة) وصف غير رسمي
يوفر نموذج عمليات الاتصال المتسلسلة (CSP) فئتين أساسيتين من العناصر الأولية في جبر العمليات الخاص به: الأحداث و العمليات البدائية.
الأحداث
تمثل الأحداث في CSP عمليات الاتصال أو التفاعل بين العمليات وبيئتها أو بين العمليات المتزامنة ذاتها. وتتميز بكونها فورية، حيث أن الملاحظة الخارجية للعملية تقتصر على هذه الاتصالات. لا يقع الحدث إلا بتوافق البيئة، وإذا عرضت العملية حدثًا وكانت البيئة مستعدة، فيجب أن يحدث. ويمكن أن تكون الأحداث مجرد أسماء ذرية بسيطة. (مثل on و off )، أو أسماء مركبة (مثل valve.open و valve.close )، أو أحداث إدخال/إخراج (مثل mouse?xy و screen!bitmap ). مجموعة كل الأحداث يشار إليها  .
تجسد العمليات البدائية في CSP السلوكيات الأساسية التي تُستخدم كنقطة انطلاق لبناء وصف أكثر تعقيدًا للأنظمة المتزامنة. من الأمثلة على هذه العمليات الأولية: STOP، التي تمثل حالة التوقف الفوري أو الانسداد، و SKIP، التي تعبر عن الإكمال الناجح والفوري للعملية.
العمليات التسلسلية المتواصلة (نموذج حوسبة) وصف غير رسمي
يشتمل نموذج عمليات الاتصال المتسلسلة (CSP) على مجموعة واسعة من المُشغلات الجبرية (Algebraic Operators). وفيما يلي عرض غير رسمي للعناصر الرئيسية من هذه المشغلات
يقوم عامل البادئة (Prefix Operator) بدمج حدث وعملية لإنتاج عملية جديدة. على سبيل المثال، العملية  هي عملية تبدأ بالرغبة في التواصل مع بيئتها عبر الحدث . وبعد وقوع الحدث ، تتصرف العملية الجديدة تمامًا مثل العملية (P).
يُمكن تعريف العمليات في CSP باستخدام مفهوم التكرار. فإذا كان خطأ رياضيات (SVG (يمكن تمكين MathML عبر البرنامج المساعد للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "http://localhost:6011/ar.wikipedia.org/v1/":): {\displaystyle F(P)}
 يمثل أي تعبير في CSP يتضمن العملية ، فإن  يُعرّف عملية متكررة تحقق المعادلة . وبالمثل، يمكن تعريف التكرارات بشكل تبادلي.مثل
الذي يحدد زوجًا من العمليات المتكررة المتبادلة التي تتناوب بين التواصل  و  .
العمليات التسلسلية المتواصلة (نموذج حوسبة) وصف غير رسمي
يُمكِّن مشغل الاختيار الحتمي (deterministic choice)، ويُعرف أيضًا باسم الاختيار الخارجي (external choice)، من تحديد المسار المستقبلي لتطور عملية ما كخيار بين عمليتين فرعيتين. في هذا النوع من الاختيار، تلعب البيئة دورًا حاسمًا في تحديد أي من العمليتين سيتم تنفيذهما لاحقًا، وذلك عن طريق التواصل مع حدث أولي خاص بإحدى العمليتين.،  هي العملية التي ترغب في توصيل الأحداث الأولية  و  ويتصرف بعد ذلك كأي منهما  أو  ، اعتمادًا على الحدث الأولي الذي تختار البيئة التواصل معه.
يمكّن مشغل الاختيار غير الحتمي (nondeterministic choice)، ويُعرف أيضًا باسم الاختيار الداخلي (internal choice)، من تحديد المسار المستقبلي لتطور عملية ما كبديل بين عمليتين فرعيتين، ولكن دون منح البيئة أي قدرة على التأثير أو التحكم في أي من هاتين العمليتين سيتم اختيارهما للتنفيذ. على سبيل المثال  يمكن أن يتصرف مثل أي منهما  أو  . ويمكنه أن يرفض القبول  أو  ولا يلتزم بالتواصل إلا إذا كانت البيئة توفر كليهما  و  .
العمليات التسلسلية المتواصلة (نموذج حوسبة) وصف غير رسمي
يمكن أن ينشأ عدم التحديد بشكل غير مقصود في عملية اختيار حتمي اسميًا ($\(\square\)$) إذا كانت الأحداث الأولية التي يمكن أن تحدث في كلا جانبي الاختيار متطابقة. و  متكافئة.
يمثل عامل التداخل (Interleaving Operator) تنفيذًا متزامنًا ومستقلاً تمامًا لعمليتين. العملية  تتصرف كسلوك كل من العملية  والعملية  في آن واحد. تتداخل الأحداث الصادرة من كلتا العمليتين بترتيب عشوائي في الزمن.
يمكن أن يؤدي التداخل إلى إدخال عدم التحديد حتى لو كانت كل من  و  عمليتين حتميتين في حد ذاتهما. فإذا كان بإمكان كل من $\(P\)$ و  التواصل عبر نفس الحدث، فإن العملية  ستختار بشكل غير حتمي أي من العمليتين قامت بتوصيل هذا الحدث في تلك اللحظة.
يجسد عامل التوازي في الواجهة (أو التوازي المعمم) نشاطًا متزامنًا يتطلب تنسيقًا أو تزامنًا بين العمليات المكونة.  ، أي حدث في مجموعة الواجهة  لا يمكن لهذا الحدث أن يقع إلا بتوافر شرط مشاركة كل من  و  فيه.
العمليات التسلسلية المتواصلة (نموذج حوسبة) وصف غير رسمي
على سبيل المثال، العملية  تتطلب أن يكون كل من و  قادرين على تنفيذ الحدث a حتى يقع هذا الحدث. بناءً على ذلك، فإن العملية. لذا، فإن العملية  يعادل  ، بينما  يعادل  (أي حالة تصل فيها العملية إلى طريق مسدود ولا يمكنها التقدم أكثر).
يوفر عامل الإخفاء (Hiding Operator) في CSP طريقة قوية لتجريد العمليات من التفاصيل الداخلية، وذلك عن طريق جعل مجموعة معينة من الأحداث غير قابلة للملاحظة أو غير مرئية للبيئة الخارجية.  هي العملية  مع مجموعة الحدث  مختفي.
مثال بسيط على استخدام عامل الإخفاء هو . وبافتراض أن الحدث  لا يظهر في العملية ، فإن هذه العملية تختزل ببساطة إلى العملية .
يتم استيعاب الأحداث المخفية على هيئة أفعال داخلية غير مرئية وغير قابلة للتحكم من قبل البيئة، ويُشار إليها عادةً بالرمز . يؤدي وجود عامل الإخفاء إلى إدخال سلوك إضافي يُعرف باسم التباعد ().
أحد الأمثلة الكلاسيكية للتفاعلات الرقمية هو التمثيل المجرد لآلة بيع الشوكولاتة وتفاعلاتها مع شخص يرغب في شراء قطعة من الشوكولاتة. قد تكون هذه الآلة قادرة على تنفيذ حدثين متميزين: "عملة" (يمثل إدخال الدفع) و "شوكولاتة" (يمثل تسليم الشوكولاتة). يمكن وصف سلوك الآلة التي تتطلب إدخال الدفع (بالنقود فقط) قبل تقديم الشوكولاتة على النحو التالي باستخدام لغة CSP:
يمكن نمذجة سلوك شخص قد يختار استخدام عملة معدنية أو بطاقة لإجراء عملية دفع على النحو التالي في لغة CSP:
يمكن وضع هاتين العمليتين جنبًا إلى جنب لتكوين عملية مركبة، بحيث يمكنهما التفاعل والتواصل مع بعضهما البعض. ويعتمد السلوك الناتج للعملية المركبة على تحديد الأحداث التي يجب أن تتزامن فيها العمليتان المكونتان. على سبيل المثال:
في حين أنه إذا كانت المزامنة مطلوبة فقط على الحدث "العملة"، فسنحصل على العملية التالية:
إذا قمنا بتجريد هذه العملية المركبة الأخيرة عن طريق إخفاء الحدثين "العملة" و"البطاقة"، أي بتطبيق عامل الإخفاء ∖{عملة,بطاقة}،
هذه العملية إما أن تقدم حدثًا باسم "شوكولاتة" ثم تتوقف عن العمل، أو أنها تتوقف مباشرة دون تقديم أي حدث. وبعبارة أخرى، إذا نظرنا إلى التجريد على أنه رؤية خارجية للنظام (على سبيل المثال، من منظور شخص لا يرى عملية اتخاذ القرار الداخلي)، فإن هذا يمثل حالة من <b>عدم التحديد</b> (nondeterminism).
العمليات التسلسلية المتواصلة (نموذج حوسبة) التعريف الرسمي
يحدد بناء جملة لغة CSP الطرق "القياسية" التي يمكن بها تجميع العمليات والأحداث. لنفترض أن e يمثل حدثًا ما، وأن X يمثل مجموعة من الأحداث. عندئذٍ، يمكن تعريف البناء الأساسي لجملة لغة CSP على النحو التالي:
تجدر الإشارة إلى أنه بغرض الإيجاز، فإن البناء النحوي الموضح أعلاه يحذف عامل "div" الذي يمثل التباعد، بالإضافة إلى العديد من العوامل الأخرى مثل الاختيارات المتوازية الأبجدية، وعامل الأنابيب (piping)، والاختيارات المفهرسة.
تتضمن لغة CSP مجموعة متنوعة من الدلالات الرسمية المختلفة، والتي تحدد المعنى الدقيق للتعبيرات الصحيحة نحويًا في لغة CSP. تشمل النظرية الكامنة وراء CSP <b>الدلالات الدلالية</b> المتسقة المتبادلة، و <b>الدلالات الجبرية</b> ، و الدلالات التشغيلية
تتمثل النماذج الدلالية الرئيسية الثلاثة للغة CSP في نموذج التتبعات (Traces Model)، و نموذج الفشل المستقر (Stable Failures Model)، و نموذج الفشل/التباعدات (Failures/Divergences Model). وتوفر التعيينات الدلالية من تعبيرات العملية إلى كل من هذه النماذج الثلاثة الدلالات الرسمية للغة CSP .
العمليات التسلسلية المتواصلة (نموذج حوسبة) التعريف الرسمي
يُعرّف نموذج التتبعات معنى تعبير العملية على أنه مجموعة من تسلسلات الأحداث (التتبعات) التي يمكن ملاحظتها أثناء قيام العملية بتنفيذها. على سبيل المثال،
بشكل أكثر دقة، يُعرّف نموذج الآثار  بأنه مجموعة من المجموعات الفرعية المغلقة ذات البادئة غير الفارغة للمجموعة  (مجموعة جميع التسلسلات المنتهية المحتملة للأحداث من الأبجدية Σ). ويُحدد معنى العملية P في نموذج الآثار على أنه مجموعة من الآثار  بحيث:
أين  هي مجموعة كل التسلسلات المحدودة الممكنة للأحداث.
يمتد نموذج الفشل المستقر إلى نموذج التتبعات باستخدام مجموعات الرفض، وهي مجموعات من الأحداث X⊆Σ التي يمكن للعملية أن ترفض القيام بها. يُعرّف الفشل بأنه زوج (s,X)، يتكون من تتبع s ومجموعة رفض X تحدد الأحداث التي قد ترفض العملية المشاركة فيها بمجرد تنفيذ التتبع s. ويُوصَف السلوك المرصود لعملية في نموذج الفشل المستقر بواسطة الزوج (traces(P),failures(P))، حيث
العمليات التسلسلية المتواصلة (نموذج حوسبة) التعريف الرسمي
ويمتد نموذج الفشل/التباعد إلى نموذج الفشل لمعالجة حالات التباعد بشكل منفصل. وتُعرّف دلالات العملية في نموذج الفشل/التباعد على أنها زوج أين  تُعرّف على أنها مجموعة كل الآثار التي يمكن أن تؤدي إلى سلوك متباعد و  .
أحد المبادئ الأساسية في لغة CSP هو قاعدة النقطة الثابتة الفريدة (Unique Fixed Point Rule - UFP). تنص إحدى الصيغ الخاصة بالتكرارات الفردية في نموذج التتبعات على أنه إذا  هي دالة على مجموعات التتبع التي تم إنشاؤها بواسطة عملية التكرار المحمي،  ، و  هي عملية حيث  هي نقطة ثابتة لـ  ، ثم  يعادل  في نموذج الآثار . ويمكن أيضًا توسيع قاعدة النقطة الثابتة الفريدة (UFP) لتشمل التكرارات المتبادلة ونماذج CSP الأخرى.
العمليات التسلسلية المتواصلة (نموذج حوسبة) أدوات
على مدار السنوات، تم تطوير العديد من الأدوات لتحليل وفهم الأنظمة التي يتم وصفها باستخدام لغة CSP. استخدمت التطبيقات الأولية لهذه الأدوات مجموعة متنوعة من القواعد النحوية التي يمكن قراءتها آليًا لـ CSP، مما أدى إلى عدم توافق ملفات الإدخال المكتوبة لأدوات مختلفة. ومع ذلك، فقد اتجهت غالبية أدوات CSP الآن نحو التوحيد القياسي على لهجة CSP التي يمكن قراءتها آليًا والتي ابتكرها برايان سكاترجود.والتي يشار إليها أحيانًا باسم CSP M.  تتمتع لهجة CSP M من CSP بدلالات تشغيلية محددة رسميًا، والتي تتضمن لغة برمجة وظيفية مضمنة.
العمليات التسلسلية المتواصلة (نموذج حوسبة) أدوات
ربما تكون الأداة الأكثر شيوعًا لتحليل لغة CSP هي Failures-Divergences Refinement (FDR)، وهو منتج تجاري تم تطويره في الأصل بواسطة شركة Formal Systems (Europe) Ltd. غالبًا ما يوصف FDR بأنه مدقق نموذج (model checker)، ولكنه من الناحية التقنية مدقق تحسين (refinement checker). يقوم FDR بتحويل تعبيرين لعملية CSP إلى أنظمة انتقال مُصنفة (Labeled Transition Systems - LTS)، ثم يحدد ما إذا كانت إحدى العمليتين تمثل تحسينًا للأخرى ضمن نموذج دلالي محدد (سواء كان ذلك نموذج الآثار، أو نموذج الإخفاقات، أو نموذج الإخفاقات/التباعد).  تطبق FDR خوارزميات ضغط مختلفة لمساحة الحالة على عمليات LTS من أجل تقليل حجم مساحة الحالة التي يجب استكشافها أثناء فحص التحسين. خلف FDR FDR2 وFDR3 وFDR4.
العمليات التسلسلية المتواصلة (نموذج حوسبة) أدوات
مدقق تحسين أديلايد (ARC)  هو أداة لفحص وتحسين نماذج CSP، وقد تم تطويرها بواسطة مجموعة النمذجة والتحقق الرسمية في جامعة أديلايد. يتميز ARC عن مدقق FDR2 في طريقة تمثيله الداخلية لعمليات CSP، حيث يستخدم مخططات قرار ثنائية مرتبة (OBDDs). يساهم هذا النهج في التخفيف من مشكلة انفجار الحالات التي تواجه التمثيلات الصريحة لأنظمة انتقال الحالة (LTS)، وذلك دون الحاجة إلى استخدام خوارزميات ضغط مساحة الحالة المشابهة لتلك المستخدمة في FDR2.
تم تطوير مشروع ProB ، الذي يستضيفه معهد المعلوماتية بجامعة هاينريش هاينه في دوسلدورف، في الأساس لدعم تحليل المواصفات المكتوبة بلغة B. ومع ذلك، فقد تم توسيع قدراته ليشمل دعم تحليل عمليات CSP من خلال إجراء فحوصات التحسين والتحقق من نماذج LTL (المنطق الزمني الخطي). بالإضافة إلى ذلك، يمكن استخدام ProB للتحقق من خصائص المواصفات التي تجمع بين لغتي CSP و B. وقد تم دمج برنامج ProBE CSP Animator الخاص بالمشروع في أداة FDR3.
العمليات التسلسلية المتواصلة (نموذج حوسبة) أدوات
مجموعة أدوات تحليل العملية (PAT)   هي أداة تحليل CSP تم تطويرها في كلية الحوسبة في الجامعة الوطنية في سنغافورة . تتمكن PAT من إجراء فحص التحسين، وفحص نموذج LTL، ومحاكاة عمليات CSP وCSP المؤقتة. تمتد لغة عملية PAT إلى CSP مع دعم للمتغيرات المشتركة القابلة للتغيير، وتمرير الرسائل غير المتزامنة، ومجموعة متنوعة من هياكل العملية المتعلقة بالعدالة والوقت الكمي مثل deadline و waituntil . المبدأ الأساسي لتصميم لغة عملية PAT هو الجمع بين لغة المواصفات عالية المستوى والبرامج الإجرائية (على سبيل المثال، قد يكون الحدث في PAT عبارة عن برنامج متسلسل أو حتى استدعاء مكتبة C# خارجية) لتحقيق قدر أكبر من التعبيرية. توفر المتغيرات المشتركة القابلة للتغيير والقنوات غير المتزامنة بنية نحوية مبسطة ومريحة لأنماط نمذجة العمليات الشائعة المستخدمة في لغة CSP القياسية. يتميز بناء جملة لغة PAT بتشابه مع لغة CSP M، ولكنه ليس مطابقًا لها تمامًا . وتتمثل الاختلافات الرئيسية بين بناء جملة PAT ولغة CSP M القياسية في استخدام الفواصل المنقوطة لإنهاء تعبيرات العمليات، وإضافة بنية نحوية مختصرة للمتغيرات والمهام، واستخدام صيغة مختلفة قليلًا لعمليات الاختيار الداخلي والتكوين المتوازي.
يقوم برنامج VisualNets بإنشاء تصورات متحركة لأنظمة CSP انطلاقًا من مواصفاتها، كما يدعم لغة CSP الموقوتة زمنيًا.
يُعد برنامج  CSPsim محاكيًا يعتمد على التقييم الكسول (Lazy evaluation). وعلى الرغم من أنه لا يجري عملية فحص شاملة لنموذج CSP، إلا أنه يظل أداة قيمة لاستكشاف الأنظمة الكبيرة جدًا، والتي قد تكون ذات طبيعة لانهائية.
SyncStitch هي أداة متخصصة في فحص وتحسين نماذج CSP، وتوفر بيئة تفاعلية للنمذجة والتحليل. تتضمن الأداة محررًا رسوميًا لإنشاء مخططات انتقال الحالة. يتيح ذلك للمستخدم نمذجة سلوك العمليات ليس فقط باستخدام تعبيرات CSP النصية، بل أيضًا من خلال تمثيلها بصريًا كرسم بياني لانتقال الحالة. ويتم عرض نتائج عملية الفحص بيانيًا على شكل أشجار حسابية، مما يسهل تحليلها بشكل تفاعلي باستخدام أدوات فحص مخصصة. بالإضافة إلى فحوصات التحسين، تدعم SyncStitch إجراء فحوصات للكشف عن حالات الجمود وحالات الإغلاق المباشر.
العمليات التسلسلية المتواصلة (نموذج حوسبة) الصياغات ذات الصلة
انبثقت أو استُلهمت العديد من لغات المواصفات والصيغ الرسمية الأخرى من لغة CSP الكلاسيكية غير المحددة زمنيًا، ومن بينها:
العمليات التسلسلية المتواصلة (نموذج حوسبة) مقارنة مع نموذج الممثل
في سياق الأنظمة المتزامنة التي تعتمد على تبادل الرسائل، يتقارب نموذج الممثل بشكل ملحوظ مع نموذج CSP. ومع ذلك، يتبنى النموذجان خيارات مختلفة جوهريًا فيما يتعلق بالعناصر الأولية التي يقدمونها:
يستخدم CSP قنوات صريحة لتمرير الرسائل، بينما ترسل أنظمة الجهات الفاعلة الرسائل إلى الجهات الفاعلة الوجهة المسماة. يمكن اعتبار هذه الأساليب ثنائية لبعضها البعض، بمعنى أن العمليات التي تستقبل من خلال قناة واحدة لها هوية تتوافق فعليًا مع تلك القناة، في حين يمكن كسر الاقتران القائم على الاسم بين الجهات الفاعلة من خلال بناء جهات فاعلة تتصرف كقنوات.
العمليات التسلسلية المتواصلة (نموذج حوسبة) مقارنة مع نموذج الممثل
يتضمن تمرير الرسائل CSP بشكل أساسي التقاء بين العمليات المشاركة في إرسال واستقبال الرسالة، أي أن المرسل لا يستطيع إرسال رسالة حتى يكون المستقبل جاهزًا لقبولها. على النقيض من ذلك، فإن نقل الرسائل في أنظمة الجهات الفاعلة هو أمر غير متزامن بشكل أساسي، أي أن إرسال الرسائل واستقبالها ليس من الضروري أن يحدث في نفس الوقت، وقد يرسل المرسلون الرسائل قبل أن يكون المستلمون مستعدين لقبولها. يمكن أيضًا اعتبار هذه الأساليب ثنائية لبعضها البعض، بمعنى أنه يمكن استخدام الأنظمة القائمة على الالتقاء لبناء اتصالات مؤقتة تتصرف كأنظمة مراسلة غير متزامنة، بينما يمكن استخدام الأنظمة غير المتزامنة لبناء اتصالات على غرار الالتقاء باستخدام بروتوكول الرسالة/الإقرار لمزامنة المرسلين والمستقبلين.
إن السمات المذكورة سابقًا لا تعكس بالضرورة التصور الأولي لـ CSP كما قدمه Hoare في ورقته البحثية الأصلية. بل إنها تمثل الفهم والتطبيق الحديثين لهذه الأفكار، كما هو واضح في تطبيقات مثل لغة Go ومكتبة core.async في لغة Clojure. ففي النسخة الأصلية من CSP، لم تكن القنوات مكونًا محوريًا في المواصفات، وكانت عمليات الإرسال والاستقبال تعتمد على تحديد الطرف الآخر بالاسم لإتمام الاتصال.
العمليات التسلسلية المتواصلة (نموذج حوسبة) جائزة
في عام 1990، مُنح مختبر الحوسبة بجامعة أكسفورد جائزة الملكة للإنجاز التكنولوجي. وقد جاء هذا التكريم اعترافًا بالشراكة المثمرة التي جمعت المختبر بشركة Inmos Ltd. وكان المنتج الأساسي لشركة Inmos هو "transputer"، وهو عبارة عن معالج دقيق يدمج في مكون واحد العديد من الأجزاء التي عادةً ما تكون مطلوبة بشكل منفصل.  وفقًا لتوني هوار،  "كان INMOS Transputer تجسيدًا لأفكار ... بناء معالجات دقيقة يمكنها التواصل مع بعضها البعض عبر أسلاك تمتد بين محطاتها. كان لدى المؤسس رؤية مفادها أن أفكار CSP كانت ناضجة للاستغلال الصناعي، وجعل ذلك أساس لغة برمجة Transputer، والتي كانت تسمى Occam . ... قدرت الشركة أنها مكنتهم من تسليم الأجهزة قبل عام واحد مما كان سيحدث بخلاف ذلك. تقدموا بطلب وفازوا بجائزة الملكة للإنجاز التكنولوجي، بالاشتراك مع مختبر الحوسبة بجامعة أكسفورد."
العمليات التسلسلية المتواصلة (نموذج حوسبة) قراءة إضافية
Hoare، C. A. R. (2004) [1985]. Communicating Sequential Processes. Prentice Hall International. ISBN:978-0-13-153271-7. مؤرشف من الأصل في 2025-01-22.
This book has been updated by Jim Davies at the Oxford University Computing Laboratory and the new edition is available for download as a PDF file at the Using CSP website.
Roscoe، A. W. (1997). The Theory and Practice of Concurrency. برنتيس هول ‏. ISBN:978-0-13-674409-2.{{استشهاد بكتاب}}:  صيانة الاستشهاد: علامات ترقيم زائدة (link)
Some links relating to this book are available here. The full text is available for download as a PS or PDF file from Bill Roscoe's list of academic publications.
قائمة إصدارات الطوابع في أوكرانيا لسنة 1998
هذه قائمة الطوابع البريدية التي أصدرها البريد الأوكراني للتداول في عام 1998.
في الفترة من 6 يناير إلى 25 ديسمبر 1998، أصدر 52 طابعًا بريديًا تذكاريًا. غطت مواضيع الطوابع التذكارية ذكرى التواريخ والأحداث الهامة وذكرى الشخصيات الثقافية البارزة والمزيد. طرحت طوابع بريدية للتداول بالقيم التالية:
طُبعت الطوابع البريدية التي تحمل الأرقام 188-193 و202-208 في دار سك العملة والأوراق النقدية التابع التابعة للبنك الوطني الأوكراني، وطُبعت الطوابع الأخرى في مؤسسة "دار الطباعة الأوكراني" المملوكة للدولة.
قائمة إصدارات الطوابع في أوكرانيا لسنة 1998 قائمة الطوابع التذكارية
يتوافق ترتيب العناصر في الجدول مع الرقم الموجود في دليل طوابع أوكرانيا على الموقع الرسمي للبريد الأوكراني ((بالأوكرانية: КМД УДППЗ «Укрпошта»)، بين قوسين الأرقام وفقًا "لدليل ميشيل للطوابع".
ألعاب القوى في الألعاب البارالمبية الصيفية 1984
ألعاب القوى في الألعاب البارالمبية الصيفية 1984 شملت 447 فعالية.
ألعاب القوى في الألعاب البارالمبية الصيفية 1984 انظر أيضا
• سباق الكراسي المتحركة في الألعاب الأولمبية الصيفية لعام 1984
ألعاب القوى في الألعاب البارالمبية الصيفية 1984 روابط خارجية
قالب:1984 في ألعاب القوى
قالب:أحداث في الألعاب البارالمبية الصيفية 1984
بصوة (العراق)
بصوة منطقة عراقية وعين ماء، في شمال مركز ناحية بصية في قضاء السلمان بمحافظة المثنى بهضبة الدبدبة بالبادية العراقية جنوب العراق، فيها حسيّان عذبة وهي الآبار قليلة الماء، بينها وبين بصية 6 كيلومترات. وللأديب العراقي حامد فاضل قصة اسمها بصوة أرض الجن، نال بها جائزة، وحتى سنة 2024 كانت بصوة من المناطق التي تتركز فيها مخلفات حربية خطرة كالقنابل العنقودية.
بيار عودة
بيار عودة (9 نوفمبر 1957 - 3 مايو 2025) هو مخرج مسرحي ومدير فني فرنسي لبناني.
بيار عودة الوفاة
توفي فجأة عن عمر يناهز 67 عامًا في 3 مايو 2025 في بكين.
ترتيل
الترتيل هو طقوس ترديد الصلاة والدعاء والاستجابات. يشير هذا في كثير من الأحيان على وجه التحديد إلى التراتيل العبرية اليهودية. يشير الترتيل أحيانًا إلى علامات التشكيل المستخدمة في النصوص التي تُردَّد في الطقوس الدينية.
يتضمن الترتيل:
وفي الإسلام، ورد في الآية الرابعة من سورة المزمل: ﴿أو زد عليه ۖ وَرَتِّل القرءان تَرتيلا﴾، ويفهم ترتيل القرآن بأنه تلاوة القرآن بسرعة معتدلة وتطبق فيه جميع أحكام التجويد مع نية أن تكون القراءة قربة لله تعالى، ومع التدبر في معاني الآيات، ولا تعتبر التلاوة ترتيلا إذا غاب التدبر.
جيرارد كالنبورغ
جيرارد كالنبورغ (بالهولندية: Gerard Callenburg) (6 ديسمبر 1642 - 8 أكتوبر 1722) هو أدميرال في البحرية الهولنديَّة شهد العديد من الحروب المُهمة في التاريخ الهولندي كالحرب الفرنسية الهولندية وحرب التسع سنوات إلا أن نجمه قد لمع في حرب الخلافة الإسپانيَّة.
باساراب الأول من الأفلاق
كان باساراب الأول، المعروف أيضًا باسم باساراب المؤسس، (حوالي 1270-1351/1352)، فويفودًا وأول حاكم مستقل لإمارة الأفلاق عاش في النصف الأول من القرن الرابع عشر، وكانت العديد من تفاصيل حياته غير مؤكدة. هناك نظريتان شائعتان تقولان بأن باساراب تولى السلطة إما بين عامي 1304 و1324 عن طريق الإطاحة بالمؤسس الأسطوري للأفلاق رادو نيغرو أو بخلافته بشكل سلمي، أو في عام1310 من خلال خلافة والده ثوكوميريوس.
باساراب الأول من الأفلاق
كان الميثاق الملكي الصادر في 26 يوليو 1324 أول وثيقة تذكر باساراب، ويقول هذا الميثاق بأن باساراب كان تابعًا للملك كارولي الأول ملك المجر بصفته فويفود الأفلاق. أصبح باساراب «غير موالٍ للتاج المقدس للمجر» في عام 1325، واستولى على إمارة سيفيرين، وشن غارات على المناطق الجنوبية من مملكة المجر. دعم باساراب هجوم ميخائيل شيشمان البلغاري ضد مملكة صربيا، ولكن جيوشهم المتحدة هُزمت في معركة فيلبازد في 28 يوليو 1330. غزا كارولي الأول ملك المجر الأفلاق بعد وقت قصير، ولكن القوات الأفلاقية نصبت كمينًا للقوات الملكية في معركة بوسادا بين 9 و12 نوفمبر 1330، مما أدى إلى تدمير القوة بالكامل تقريبًا، منهيًا بذلك سيادة المجر على الأفلاق، وممهدًا الطريق لتأسيس أول إمارة رومانية مستقلة.
حكم أحفاد باساراب إمارة الأفلاق لمدة لا تقل عن قرنين، وسميت بمنطقة بيسارابيا، الواقعة بين نهري دنيستر وبروت، نسبة إلى سلالة باساراب.
باساراب الأول من الأفلاق فترة الحكم
كانت تفاصيل وصول باساراب إلى الحكم غير واضحة. تعزو المخطوطات الرومانية القديمة تأسيس الأفلاق إلى الحاكم الأسطوري رادو نيغرو، وذكرت المخطوطات الأفلاقية التي تعود إلى القرن السابع عشر أن رادو نيغرو غادر مدينة فاغارس ووصل إلى الأفلاق إما في عام 1290 أو 1292، برفقة «العديد من الشعوب».
تذكر إحدى تلك المخطوطات، وهي تاريخ الدولة الرومانية، أن «باساراب» كان لقبًا لعائلة بويار من منطقة أولتينيا، التي قبلت سيادة رادو نيغرو بعد «استقراره في الأفلاق». يربط المؤرخ نياغو جوفارا بشكل مؤقت باساراب (أو والده) مع رادو نيغرو، بينما يشير لورنتسيو رادفان إلى أن باساراب إما خلع رادو نيغرو أو خلفه بطريقة سلمية بين عامي 1304 و1324. يرى مؤرخون آخرون من ناحية أخرى، مثل فلاد جورجيسكو، أن باساراب خلف والده ثوكوميريوس في حوالي عام 1310.
باساراب الأول من الأفلاق فترة الحكم
ذُكر باساراب لأول مرة في ميثاق ملكي أصدره كارولي الأول ملك المجر في 26 يوليو 1324، إذ وُصف بأنه «فويفود الأفلاق لدينا». يشير ذلك إلى أن كارولي الأول كان يعتبر باساراب تابعًا مخلصًا في ذلك الوقت. يقول المؤرخ إشتفان فاشاري إن باساراب قبل سيادة كارولي فقط بعد أن استعاد الملك السلطة الملكية في إمارة سيفيرين، وهي مقاطعة حدودية مجرية، في عام 1321. أكد المؤرخان تيودور سالاغيان وأتيلا باراني على حيازة باساراب لقلعة سيفيرين مقابل ولائه.
باساراب الأول من الأفلاق فترة الحكم
يُسجل ميثاق ملكي مؤرخ في 18 يونيو 1325 أن شخصًا يدعى ستيفان، وهو ابن إسبان الكوماني في المجر، صرّح بأن الملك كان أضعف من باساراب و «لم يصل حتى إلى مستواه». يصف نفس الميثاق باساراب بأنه «غير مخلص للتاج المقدس للمجر»، مما يشير إلى أن باساراب قد خان التاج. أدرج ميثاق ملكي آخر من عام 1329 باساراب، جنبًا إلى جنب مع البلغاريين والصرب والتتار، كعدو شن «غارات عدائية» حول منطقة ميهاديا. يبدو أن باساراب كان يسيطر بالكامل على إمارة سيفيرين بين عامي 1324 و1330، إذ لم تذكر المراسيم الملكية أي حاكم لإمارة سيفيرين خلال هذه الفترة. أشار البابا يوحنا الثاني والعشرون في رسالة كتبها في عام 1327 إلى «أراضي مملكة المجر التي كانت خاضعة لباساراب».
باساراب الأول من الأفلاق فترة الحكم
هاجم ميخائيل الثالث شيشمان، قيصر بلغاريا، صربيا في عام 1330، وكان برفقته «حاكم مجموعة الياز»، بالإضافة إلى قوات مساعدة من الفلاخ و«التتار السود». ذكرت مصادر صربية ورسالة كتبها ستيفان دوشان، الذي أصبح ملك صربيا في عام 1331، أن باساراب قاد جيشه شخصيًا إلى صربيا لدعم شيشمان. تمكن الصرب من هزيمة الجيش الموحد لميخائيل شيشمان وحلفائه في معركة فيلبازد في 28 يوليو 1330. قُتل شيشمان أثناء محاولته الفرار من ساحة المعركة.
استغل كارولي الأول ملك المجر حالة الضعف التي أصابت حلفاء باساراب، وقرر استعادة سيادته على الأفلاق. ذكر ميثاق ملكي صدر بعد عامين من الأحداث أن كارولي كان يسعى لاستعادة «الأراضي الهامشية» التي كان باساراب يحتفظ بها «بشكل غير قانوني» في الأفلاق. غزا كارولي منطقة أولتينيا، واستولى على قلعة سيفيرين، وعيّن دينيس سيشي حاكمًا لسيفيرين في سبتمبر 1330.
ذكر سجل إلومينيتد كرونيكل أن باساراب عرض تقديم 7,000 «مارك من الفضة» كتعويض، بالإضافة إلى جزية سنوية للملك، ووعد أيضًا بإرسال أحد أبنائه إلى البلاط الملكي في فيشغراد.
باساراب الأول من الأفلاق فترة الحكم
رفض كارولي الأول عرض باساراب قائلًا: «إنه راعي خِرافي، وسأسحبه من لحيته من عرينه». واصل كارولي حملته، لكنه وجنوده عانوا من الجوع أثناء مسيرهم نحو كورتا دي أرجيش عبر منطقة قليلة السكان. أُجبر كارولي على توقيع هدنة مع باساراب، وبدأ الجيش الملكي في الانسحاب من الأفلاق.
نصب الأفلاقيون كمينًا للملك وجنوده في ممر ضيق ضمن جبال الكاربات الجنوبية في 9 نوفمبر، وبينما كانوا يقفون على المنحدرات المطلة على الوادي، أطلق الأفلاقيون السهام وألقوا الصخور على الجيش. استمرت المعركة حتى 12 نوفمبر، مما أدى إلى إبادة الجيش الملكي، بينما نجا الملك كارولي بصعوبة.
يذكر المؤرخ تيودور سالاغيان أن باساراب صد غزو كارولي دون مساعدة من حلفائه. يشير ميثاق كتبه لويس الأول، ابن وخليفة كارولي، في عام 1351، إلى أن «جيران وثنيين وفرقة مكونة من رعايا آخرين غير مخلصين» دعمت باساراب أثناء الحرب، مما يشير إلى احتمال مشاركة قوات مساعدة من التتار في القتال إلى جانب باساراب. إن مصداقية هذا التقرير، الذي كتب بعد عقود من الأحداث، تبقى محل شك.
تُظهر الأبحاث الأثرية أنه بعد تدمير عاصمته كورتا دي أرجيش خلال حملة كارولي الأول، نقل باساراب مقره إلى كامبولونغ. مكّن انتصار باساراب في معركة بوسادا من إدخال سياسة خارجية نشطة. دعم جهود صهره، إيفان ألكسندر، للاستيلاء على العرش البلغاري، وهو ما فعله في فبراير 1331. شن إيفان ألكسندر حملات ناجحة ضد الإمبراطورية البيزنطية في عامي 1331 و1332 بدعم باساراب. تحدث سالاغيان عن الزعم بأن باساراب استولى على حصن سيفيرين في أوائل ثلاثينات القرن الرابع عشر.
بدأ ترميم كورتا دي أرجيش بعد عام 1340، مع تشييد تحصينات جديدة وقصر جديد، وبدأ بناء كنيسة القصر للقديس نيكولاس في كورتا دي أرجيش خلال حكم باساراب، لكنه اكتمل بعد وفاته. يبدو أن باساراب جعل ابنه، نيكولاس ألكسندر، حاكمًا مشاركًا له حوالي عام 1344. سار لويس الأول ملك المجر، الذي خلف كارولي الأول عام 1342، إلى جنوب شرق ترانسيلفانيا في صيف عام 1344. زار نيكولاس ألكسندر لويس الأول وأقسم له الولاء لمنع حملة ضد الأفلاق، وذلك وفقًا لما ورد في سجل جون من كوكولو، الذي كتب في نفس الفترة تقريبًا. دعمت قوات الأفلاق هجوم أندرو لاكفي ضد المغول في عام 1345، وفقًا لسجل أفلاقي، ولكن المؤرخ فيكتور سبيني يرفض هذا التقرير. توفي باساراب في العام 6860 للتقويم البيزنطي، والذي يوافق عام 1351 أو 1352 ميلاديًا، وذلك وفقًا لمرسوم حفيده، فلاديسلاف الأول من الأفلاق.