hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
منطق هور الصحة الجزئية والصحة الكلية
نقص آخر في المسلمات والقواعد المذكورة أعلاه هو أنها لا توفر أساسًا لإثبات أن البرنامج ينتهي بنجاح. فقد يكون سبب الفشل في الإنهاء وجود حلقة لا نهائية، أو خرق لحد معين يحدده التنفيذ، كمدى القيم العددية، أو حجم التخزين، أو حد زمني يفرضه نظام التشغيل. لذلك ينبغي تفسير التدوين “” على أنه “بشرط أن ينتهي البرنامج بنجاح، فإن خصائص نتائجه موصوفة بواسطة .” من السهل نسبيًا تعديل المسلمات بحيث لا يمكن استخدامها للتنبؤ بنتائج البرامج غير المنتهية؛ ولكن الاستخدام الفعلي للمسلمات سيعتمد حينها على معرفة العديد من خصائص التنفيذ، كحجم وسرعة الحاسوب، ومدى الأرقام، وتقنية التعامل مع تجاوز القيم. باستثناء إثبات تجنب الحلقات اللا نهائية، من الأفضل على الأرجح إثبات "الصحة الشرطية" للبرنامج والاعتماد على التنفيذ لإعطاء تحذير في حال اضطر إلى إيقاف تنفيذ البرنامج بسبب خرق حد من حدود التنفيذ.— Hoare 1969، صفحات 578-579
منطق هور القواعد
تؤكد قاعدة العملية الفارغة أن التعليمة skip لا تُغيّر حالة البرنامج، لذا فإن أي شرط يتحقق قبل skip سيبقى محققًا بعدها.
تنص قاعدة الإسناد على أنه بعد تنفيذ الإسناد، فإن أي تعبير كان محققًا لجهة اليمين من الإسناد، سيتحقق للمتغير المُسنَد إليه. لنفترض أن P عبارة شرطية تحتوي على المتغير x كمُتغير حر. إذًا:
حيث  تعني العبارة الشرطية P بعد استبدال كل ظهور حر للمتغير x بالتعبير E.
هذا يعني أن تحقق  قبل الإسناد يعادل تحقق P بعده. فلو كانت  صحيحة قبل الإسناد، فإن P ستكون صحيحة بعده، والعكس غير صحيح بالضرورة.
العبارات القبلية غير المتأثرة بالإسناد يمكن نقلها إلى العبارة البعدية. مثلًا، في المثال الأول، لا يتغير  بعد تنفيذ .
لكن هذه القاعدة لا تصح عندما يشير أكثر من اسم إلى نفس المكان في الذاكرة (كما في حالة الإشارة المشتركة). مثلًا:
تكون غير صحيحة إذا كان كل من x وy يشيران لنفس الموقع.
تنطبق قاعدة التركيب على برنامجين ينفّذان بالتسلسل، S ثم T، ويُكتب ذلك ، حيث تُدعى Q بـ"الشرط الوسيط":
منطق هور القواعد
تنص القاعدة على أنه إذا تحققت  بعد كل من فرعي then وelse بشرط تحقيق  و أو نفي ، فإن  تتحقق بعد عبارة if...endif بأكملها. ويجب ألا يكون للشرط B أي آثار جانبية. مثال يُقدّم في القسم التالي.
يجب ألّا تُحدِث الشرط B أي تأثيرات جانبية. يُقدَّم مثال في القسم التالي.
لم تكن هذه القاعدة واردة في منشور هور الأصلي.
ومع ذلك، بما أن العبارة
لها نفس تأثير البنية التكرارية لمرة واحدة التالية:
فإنه يمكن اشتقاق قاعدة الشرط من قواعد هور الأخرى.
وبطريقة مشابهة، يمكن تحويل القواعد الخاصة ببنى البرامج الأخرى المشتقة، مثل حلقة for، وحلقة do...until، وتعليمة switch، وbreak، وcontinue من خلال تحويل البرنام إلى القواعد الموجودة في ورقة هور الأصلية.
تُتيح هذه القاعدة تقوية الشرط المسبق  و/أو إضعاف الشرط اللاحق .
تُستخدم هذه القاعدة مثلاً لتحقيق تطابق حرفي بين الشرطين اللاحقين في جزئي then وelse.
يجب تطبيق قاعدة الشرط، والتي بدورها تتطلب إثبات:
ومع ذلك، تتطلب قاعدة الإسناد في جزء then اختيار P كـ ؛ وبالتالي تطبيق القاعدة يُعطي:
منطق هور القواعد
وبالتالي، تُستخدم قاعدة العاقبة لتقوية الشرط المسبق  المستنتج من قاعدة الإسناد إلى  المطلوب لقاعدة الشرط.
لذلك يجب تطبيق قاعدة العاقبة بحيث يكون  و هما  و على التوالي، لتقوية الشرط المسبق مرة أخرى. وبتعبير غير رسمي، فإن تأثير قاعدة العاقبة هو "نسيان" أن  كان معلوماً عند دخول جزء else، لأن قاعدة الإسناد المستخدمة لذلك الجزء لا تحتاج إلى هذه المعلومة.
هنا، P هو ثبات الحلقة، الذي يجب الحفاظ عليه داخل جسم الحلقة S.
بعد انتهاء الحلقة، يظل هذا الثبات P قائمًا، ويجب أيضًا أن تكون  قد تسببت في إنهاء الحلقة.
وكما في قاعدة الشرط، يجب ألا يُحدِث B أي تأثيرات جانبية.
وهو ما يُستنتج بسهولة من قاعدة الإسناد.
وأخيراً، يمكن تبسيط الشرط اللاحق  إلى .
كمثال آخر، يمكن استخدام قاعدة while للتحقق رسميًا من البرنامج الغريب التالي لحساب الجذر التربيعي الدقيق x لعدد عشوائي a—حتى لو كانت x متغيرًا صحيحًا وa عددًا غير مربعي:
بعد تطبيق قاعدة while مع كون P هو true، يتبقى إثبات:
منطق هور القواعد
وهو ما ينتج عن قاعدة التجاوز (skip) وقاعدة العاقبة.
في الواقع، هذا البرنامج الغريب صحيح جزئيًا فقط: إذا انتهى تنفيذه، فهذا يعني أن x قد احتوى صدفةً على الجذر التربيعي لـ a.
أما في الحالات الأخرى، فلن ينتهي؛ لذا فهو ليس صحيحًا كليًا.
إذا تم استبدال قاعدة while العادية أعلاه بالقاعدة التالية، يمكن استخدام حساب هور لإثبات الصحة الكلية، أي التوقف بالإضافة إلى الصحة الجزئية. وغالبًا ما تُستخدم الأقواس المربعة بدلاً من المعقوفة للإشارة إلى المفهوم المختلف لصحة البرامج:
في هذه القاعدة، بالإضافة إلى الحفاظ على ثبات الحلقة، يجب أيضًا إثبات إثبات التوقف عبر تعبير t يُعرف باسم متغيّر الحلقة، الذي تتناقص قيمته تناقصًا صارمًا وفق علاقة ترتيب < مؤسَّسة جيدًا على مجموعة D خلال كل تكرار.
وبما أن < مؤسسة جيدًا، فإن أي تسلسل تناقصي صارم لمتغيرات من D يكون نهائيًا؛ فلا يمكن أن يستمر t في التناقص إلى الأبد. (على سبيل المثال، الترتيب الاعتيادي < مؤسَّس جيدًا على الأعداد الصحيحة الموجبة ، لكنه ليس كذلك على  ولا على ؛ وكل هذه المجموعات تُفهم بالمعنى الرياضي لا الحاسوبي، وهي جميعًا لانهائية).
منطق هور القواعد
بما أن P هو ثبات الحلقة، يجب أن يُشير الشرط B إلى أن t ليس عنصرًا عنصرًا أدنى في D؛ وإلا فلن يتمكن جسم الحلقة S من إنقاص t أكثر، أي أن مقدم القاعدة سيكون خاطئًا. (هذه إحدى صيغ الصحة الكلية.)
وبالرجوع إلى المثال الأول في القسم السابق، لإثبات الصحة الكلية لـ
يمكن تطبيق قاعدة while للصحة الكلية باختيار D كالأعداد الصحيحة غير السالبة مع الترتيب الاعتيادي، والتعبير t كـ ، مما يتطلب بدوره إثبات:
وبتعبير غير رسمي، يجب إثبات أن المسافة  تتناقص في كل دورة من الحلقة، بينما تظل غير سالبة؛ مما يعني أن هذه العملية لا يمكن أن تستمر إلا لعدد محدود من الدورات.
ويمكن تقويتها إلى  باستخدام قاعدة النتيجة.
في المثال الثاني من القسم السابق، من الواضح أنه لا يمكن العثور على أي تعبير t يتم إنقاصه بواسطة جسم الحلقة الفارغ، وبالتالي لا يمكن إثبات الانتهاء.
منطق هور البيبليوغرافيا
Apt، Krzysztof R.؛ Olderog، Ernst-Rüdiger (ديسمبر 2019). "Fifty years of Hoare's logic". Formal Aspects of Computing. ج. 31 ع. 6: 759. DOI:10.1007/s00165-019-00501-3. S2CID:102351597. مؤرشف من الأصل في 2024-09-15.
Floyd، R. W. (1967). "Assigning meanings to programs" (PDF). Proceedings of the American Mathematical Society. Symposia on Applied Mathematics. ج. 19: 19–31. مؤرشف من الأصل (PDF) في 2025-03-19.
إصدار مشترك
الإصدار المشترك هو إصدار طوابع بريدية أو مواد بريدية من دولتين أو أكثر لإحياء ذكرى نفس الموضوع أو الحدث أو الشخص. عادةً ما يكون للإصدارات المشتركة نفس يوم الإصدار الأول، وغالبًا ما يكون تصميمها متشابهًا أو متطابقًا، باستثناء تحديد البلد والقيمة.
إصدار مشترك أمثلة
أصدر طابعان لصالح مكتبة الجزائر ضمن إصدار عربي موحد. وقد أقدم منظمة الجيش السري الفرنسي على حرق المكتبة في 7 حزيران 1962.
أصدرت عدة إصدارات عربية تحتفي بمناسبات مختلفة تتعلق بالاتحاد البريدي العربي:
أصدرت كندا والهند طابعين متجاورين تذكاريين بتصميم واحد ضمن ورقة طوابع بريدية.
بي إل-15 (صاروخ)
الـ بي إل - ١٥ (بالإنجليزية: PL-15 ؛ (بالصينية: 霹雳-15; البينيين: Pī Lì-Yāo Wǔ; بالترجمة الحرفية 'Thunderbolt-15 أي هزيم الرعد.') ، الاسم الرسمي لحلف شمال الأطلسي : CH-AA-10 Abaddon  ) هو صاروخ جو-جو بعيد المدى موجه بالرادار النشط طورته جمهورية الصين الشعبية ، ويستخدمه كل من القوات الجوية لجيش التحرير الشعبي (PLAAF) والقوات الجوية البحرية (PLANAF)، بالإضافة إلى القوات الجوية الباكستانية.
بي إل-15 (صاروخ) تاريخ
تم تطوير PL-15 بواسطة أكاديمية الصواريخ المحمولة جواً الصينية (CAMA) ومقرها لويانغ.  تم اختبار الصاروخ في عام 2011م وتم الإشارة إليه من قبل وسائل الإعلام الرسمية الصينية في عام 2015م.  تم رصده في عام 2013م مثبتًا على نموذج أولي من طائرة تشنغدو J-20.
دخل الصاروخ بي إل-15 الخدمة العسكرية للقوات الجوية لجيش التحرير الشعبي (PLAAF) في الفترة من عام 2015م  إلى عام 2017م.  وتشمل منصات حمله طائرات تشنغدو J-10C ، وشن يانغ J-16 ، وتشنغدو J-20. وقد تم رصده أيضًا على متن طائرة شنيانغ J-11B .  بدأ الصاروخ بي إل-15 في استبدال الصاروخ بي إل-12 القياسي السابق باعتباره صاروخ خارج مدى الرؤية البصرية لكل من مقاتلات سلاح الجو وسلاح جو البحرية الصينية.
في عام 2017م، بدأت الولايات المتحدة في تطوير AIM-260 JATM ليحل محل AIM-120 AMRAAM الذي يستخدم حاليًا من أجل مواجهة بي إل-15 بشكل أفضل. من المقرر أن يدخل AIM-260 JATM الخدمة بحلول عام 2024م، مع وجود إصدارات من AIM-120 (مثل AIM-120D ) يُستخدم بصفة مؤقتة حتى نشر AIM-260.
بي إل-15 (صاروخ) تصميم
يبلغ طول الصاروخ ما بين 3.8 و 4 متر (12 و 13 قدم)  أطول وأعرض من الصواريخ الرادارية المعاصرة الأخرى. تم تصميم زعانف التحكم ليتم وضع الصاروخ في المقصورة الداخلية للطائرات الشبحية.  تم إعادة تصميمه لاحقًا ليشمل زعانف ذيل قابلة للطي وزعانف مركزية أصغر، مما قلل من حجمها بشكل أكبر.  يشمل على محرك صاروخي يعمل بالوقود الصلب ثنائي النبض،   قادر على الوصول إلى سرعة ماخ 4+ ومدى يزيد عن 200 كيلومتر (120 ميل) - مماثل لذلك الخاص بصاروخ MBDA Meteor الأنجلو فرنسي.  بالمقارنة مع صاروخ Meteor الذي يعمل بمحرك نفاث تضاغط (رام جيت) ، مع سرعة طيران تتراوح بين 3 و3.5 ماخ، فإن محرك الصاروخ الذي يعمل بالوقود الصلب ثنائي النبضات في بي إل-15 يوفر سرعة احتراق أعلى تتجاوز 5 ماخ، ثم يفقد سرعته تدريجيًا في المرحلة النهائية.  من المرجح أن يحتفظ Meteor (بمنطقة عدم الهروب) أكبر واحتمالية قتل أعلى على مسافة بعيدة بسبب الدفع النفاث.   ومع ذلك، يمكن لـ بي إل-١٥ أيضًا الحفاظ على سرعة 5 ماخ لفترة أطول إذا تم إطلاقه بسرعة تفوق سرعة الصوت.
بي إل-15 (صاروخ) تصميم
يوجَه الصاروخ برادار مصغر يعمل بصفيف مسح إلكتروني نشط، يتميز بالوضعين النشط والسلبي لحالات المهام المختلفة. كما يتميز أيضًا بمقاومة محسنة للتدابير المضادة.  يدعم نظام التوجيه الهجين رابط بيانات ثنائي الاتجاه حتى منتصف المسار بقيادة طائرات نظام الإنذار المبكر والتحكم (AEW&C) وتوجيه الرادار الطرفي المستقل.
بي إل-15 (صاروخ) التاريخ التشغيلي
في 7 مايو 2025م، عُثر على حطام صاروخ باكستاني من طراز PL-15E في حقل بالقرب من مدينة هوشياربور، ولاية البنجاب. حيث استخدم في إسقاط طائرات هندية معادية من طراز داسو رافال.
النسخة المحلية لسلاح الجو الصيني مع مدى تقديري يتراوح بين 200–300 كـم (120–190 ميل) .
نسخة تصديرية من PL-15 بمدى إطلاق أقصى مخفض يبلغ 145 كم
PL-15 وPL-15E مع زعانف ذيل قابلة للطي تسمح بالوضع داخل حُجرة الأسلحة الداخلية في مقاتلات J-20 وJ-35 بعدد ستة صواريخ.
تطوير آخر لـ PL-15 يسمح لحجرة الأسلحة الداخلية في J-20 بحمل ستة صواريخ في وقت واحد (بينما PL-15 محملة بأربعة صواريخ). يتميز صاروخ PL-16، على الرغم من صغر حجمه، بهيكل مضغوط وزعانف مطوية ومحرك نبضي مزدوج عالي الأداء لتقديم نفس الأداء مثل صاروخ PL-15 العادي.
شمعون بن جمالائيل
شمعون بن جمليئيل الأول (العبرية: שמעון בן גמליאל)  (10 قبل الميلاد - 70 م) كان حكيم وزعيم للشعب اليهودي. كان رئيسًا للسنهدرين في القدس أثناء اندلاع الحرب اليهودية الرومانية الأولى، وخلف والده في نفس المنصب بعد وفاة والده في عام 50 م وقبل تدمير الهيكل الثاني مباشرة.
شمعون بن جمالائيل حياته
وُلِد الحاخام شمعون بن جمليل في القدس خلال فترة الهيكل الثاني. أصبح ناسيًا قبل تدمير الهيكل الثاني بحوالي 18 عامًا وكان آخر ناسي خلال عصر الهيكل.
في عهده كان السنهدرين موجودًا في القدس، ولكن ليس في مكانه التقليدي، وهو حجرة الحجر المنحوت، بل في المنفى الأول للسنهدرين - في جبل الهيكل، حيث انتقل السنهدرين في أيام والده.
خلال فترة رئاسته، حدثت الثورة الكبرى ضد الرومان. وكان الحاخام شمعون بن جمليئيل جزءاً من المعسكر المعتدل، إلى جانب الحاخام يوحنان بن زكاي ، وكان قريباً من الحكومة الثورية المعتدلة التي تأسست في بداية الثورة. وبحسب يوسيفوس، فإن شمعون دعم الثورة، على الرغم من كونه في المعسكر المعتدل.
شمعون بن جمالائيل إعدامه
وبحسب التقاليد، تنبأ شموئيل هاكاتان بموت الحاخام شمعون بن جمليئيل في وقت وفاته.
وفي شرح راشي، يشير إلى مقتل الحاخام شمعون بن جمليئيل والحاخام إسماعيل بن إليشع الكاهن الأعظم بالسيف، وإعدام زملائهم الحاخامين بأساليب أخرى، والكوارث العظيمة التي حلت بالشعب اليهودي.
يُعدّ ربان شمعون من بين الشهداء العشرة الذين أعدمهم الرومان. وبحسب التقاليد، فقد أُعدم مع الحاخام إسماعيل بن إليشع في الخامس والعشرين من شهر سيوان، كما هو مسجل في أربعة طوريم.
يقترح الحاخام أهارون هيمان أن الحاخام شمعون ربما أعدم على يد الغيورين بسبب معارضته لأساليبهم المتطرفة، على الرغم من أن هذا الرأي يفتقر إلى الدعم المباشر من المصادر الحاخامية.
شمعون بن جمالائيل مقبرته
يعتقد أن قبره في كفر كنا في الجليل. خلال هبة أكتوبر 2000، أشعل مثيرو البعض النار في القبر.
شمعون بن جمالائيل الثاني
شمعون بن جمالائيل الثاني (بالعبرية :רבן שמעון בן גמליאל השני) هو معلم يهودي من الجيل الثالث ورئيس السنهدرين العظيم. كان ابن جمالائيل الثاني وأب يهوذا الأول (يهودا الناسي).
شمعون بن جمالائيل الثاني سيرته
كان شمعون شابًا في بيتار عندما اندلعت ثورة بار كوخبا، ولكن عندما استولى الرومان على تلك القلعة تمكن من الفرار من المذبحة.
وكان في عائلته العديد من الأطفال، نصفهم تعلموا التوراة ، والنصف الآخر تعلموا الفلسفة اليونانية. يبدو أن شمعون نفسه كان متأثرًا بالفلسفة اليونانية؛ وهذا ربما يفسر إعلانه لاحقًا أن الكتاب المقدس لا يمكن كتابته إلا بالنص الأصلي وباللغة اليونانية. ويبدو أن شمعون قد درس العلوم الطبيعية أيضًا، حيث أن بعض أقواله تكشف عن معرفة علمية بطبيعة النباتات والحيوانات، بينما تتعلق أقوال أخرى بتشريح جسم الإنسان ووسائل تجنب المرض أو علاجه. ليس معروفًا من هم أساتذته في الهالاخاه؛ فهو ينقل أقوال يهوذا بن إيلاي، وربي مائير، وربي خوسيه بن حلفطة.
نُظمت الشؤون الداخلية اليهودية بشكل أكثر حزما في عهد شمعون بن جمالائيل، وبلغت البطريركية في عهده درجة من الشرف لم تكن معروفة من قبل. ويتجلى تواضعه الشخصي في أقواله لابنه يهوذا الأول (يهودا الناسي).
شمعون بن جمالائيل الثاني تعاليمه
أشاد الحاخام يوحنان بمهارات شمعون في إصدار القرارات الهالاخية، كان سمعان يميل إلى التفسير المتساهل للشريعة، وكان يتجنب إضافة المزيد إلى الصعوبات المرتبطة بمراعاتها. ومن آرائه، حافظ على حوالي 30 رأيًا تتعلق بقواعد السبت و15 رأيًا تتعلق بالسنة السابعة، وأخذ دائمًا في الاعتبار التقليد الشائع، وكان غالبًا ما يؤكد أن القرار النهائي يجب أن يتبع التقليد الشائع. ويجب أيضًا أن تؤخذ عادات الفرد في الاعتبار.
في تشريعاته المتعلقة بالزواج، جعل من حماية حقوق وكرامة الزوجة قاعدة ثابتة على حساب حقوق وكرامة الزوج. لقد سعى إلى حماية العبيد وتأمين حقوق معينة لهم. ورأى أن إرادة المجتمع أكثر أهمية من مصالح وحقوق الفرد، ويجب التضحية بالأخيرة من أجل الأولى. وسعى بشكل خاص إلى الحفاظ على سلطة القضاة؛ ووفقًا لرأيه، يجب تأييد قرارات المحكمة القانونية، حتى لو حدث خطأ طفيف؛ وإلا فإن كرامتها ستعاني.
أثنى سمعان على السامريين لمراعاتهم الصارمة لوصايا التوراة التي اعترفوا بها أكثر من بني إسرائيل. ويعتقد شمعون أنه في كثير من الأماكن، يمكن فهم الكتاب المقدس مجازيًا وليس حرفيًا.
محمد حسن (شكي خان)
محمد حسن خان (1760 – 1831) كان الخان الخامس لشكي.
محمد حسن (شكي خان) السنوات المبكرة
وُلِد حوالي عام 1760 لمحمد حسين خان مشتاق [الإنجليزية] وقيزخانوم (ابنة النبيل آراش محمد صالح بك). أرسله والده إلى حاجي خان للتفاوض على السلام، فقام بدوره بسجنه وإرساله ليتم إعدامه على يد إبراهيم خليل خان. ومع ذلك، فقد نجا وظل مختبئًا لمدة ثلاث سنوات عندما أُرسل للمطالبة بعرشه في عام 1783، فقتل عمه وأبناء عمومته بعد غزو ناجح.
محمد حسن (شكي خان) العهد الأول
كان أحد أفعاله الأولى هو إصابة أخيه غير الشقيق فتالي بالعمى ووضعه تحت الإقامة الجبرية لأنه كان أكثر تفضيلاً لدى نبلاء آراش محل. مما دفع سليم خَان [الإنجليزية]، الأخ غير الشقيق الآخر، إلى الفرار إلى جارو بيلوكاني [الإنجليزية] في عام 1784/1785. احتل سليم خان شاكي عندما سافر محمد حسن لزيارة شاه القاجار الجديد آغا محمد في قره باغ في نوفمبر/ديسمبر من عام 1795. وبينما خسر سليم خان المعركة بالقرب من جوينوك [الإنجليزية]، أدى اعتقال محمد حسن المفاجئ من مصطفى خان دافالو (جنرال تحت قيادة آغا محمد) بتهمة الخيانة، إلى إعادة احتلال شاكي حيث سنحت الفرصة. أُعمي محمد حسن خان على يد القاجاريين وأُرسل إلى تبريز كرهينة، وفي الوقت نفسه أُعدم أبناؤه السبعة القصر على يد سليم خان.
محمد حسن (شكي خان) العهد الثاني
أعيد إلى السلطة أثناء استعادة آغا محمد للقوقاز في عام 1797. قام بعزل سليم خان في 9 مايو 1797 بمساعدة القاجاريين بينما ذكرت مصادر أخرى أنه كان مدعومًا من مُصطفى خان [الإنجليزية] من شيروان. انتهت فترة حكمه الثانية التي استمرت لمدة ثماني سنوات عندما توترت علاقته مع شيروان مرة أخرى. تم غزو ممتلكاته من سليم خان الذي كان الآن مدعومًا من مُصطفى خان [الإنجليزية]، ولكن بدلًا من القتال، سلم نفسه لمصطفى خان، الذي نجا منه وأرسل نوابًا لحكم شاكي كجزء من شيروان. وبينما أبلغ سليم خان شقيقه فتالي بهذه الخيانة، نصب السكان المحليون فتالي خان بدلاً من محمد حسن في تحدٍ لشيروان.
محمد حسن (شكي خان) السنوات اللاحقة
لقد نجا منه مصطفى خان وقضى بقية حياته في المنفى، متجولًا في خانية قوبا، والإمبراطورية العثمانية، وإيران القاجارية، وداغستان لجمع الدعم. وفي وقت لاحق، سار على جيوش خانات غازي قمخ نحو شاكي دون جدوى، واستقر في النهاية في تبليسي مع ابنه، وحصل على معاش شهري قدره 150 روبل. ومع ذلك فقد نُفي مرة أخرى إلى خاركوف وأستراخان من السلطات الروسية للاشتباه في ارتباطه بثورة شاكي عام 1814. توفي سنة 1831 ودُفن في مسجد شاكي خان.
محمد حسن (شكي خان) العائلة
كان لديه ما لا يقل عن 8 زوجات وبعض المشاكل معهن:
وبالإضافة إلى هؤلاء، كان لديه ما لا يقل عن 7 أبناء آخرين تم إعدامهم في طفولتهم.
سليم خان (شكي خان)
سليم خان (الأذرية: Səlim Xan) كان الخان السادس لشاكي . وقد وصفه عباس غولو باكيخانوف بأنه رجل طيب ومرح، لكنه لا يرحم.
سليم خان (شكي خان) السنوات المبكرة
وُلِد لمحمد حسين خان مشتاق [الإنجليزية] وشقيقة بيوتر باجراتيون. تم ذكره لأول مرة باعتباره أميرًا متمردًا ضد أخيه غير الشقيق محمد حَسن خان [الإنجليزية]. هرب إلى دجارو بيلوكاني [الإنجليزية] في عام 1784/1785. احتل لاحقًا شاكي عندما سافر محمد حسن لزيارة شاه القاجار الجديد آغا محمد في قره باغ في تشرين الثاني أو كانون الأول 1795. وبينما خسر سليم خان المعركة بالقرب من جوينوك [الإنجليزية]، أدى اعتقال محمد حسن المفاجئ من مصطفى خان دافالو (جنرال تحت قيادة آغا محمد)  بتهمة الخيانة، إلى إعادة احتلال شاكي باستخدام الفرصة. كان مدعومًا من النبيل جارو بيلوكاني أليساندر هوزاتي. أُعمي محمد حسن خان على يد القاجاريين وأُرسل إلى تبريز كرهينة، وفي الوقت نفسه أُعدم أبناؤه السبعة القصر على يد سليم خان.
سليم خان (شكي خان) العهد الأول
بدأ حكمه الأول في نوفمبر-ديسمبر 1795. خضع لفاليريان زوبوف [الإنجليزية] في يوليو وأغسطس 1796. ومع ذلك، فإن النهاية المفاجئة للحملة الروسية في القوقاز وحملة آغا محمد الجديدة في عام 1797 أجبرته على الفرار مرة أخرى في 9 مايو 1797. ناضل لاستعادة العرش وطلب المساعدة من مُصطفى خان [الإنجليزية] الذي كان يدعمه الآن، ولكن بدلًا من القتال، سلم محمد حسن نفسه لمصطفى خان، الذي نجا منه وأرسل نوابًا لحكم شاكي كجزء من شيروان. وبينما أبلغ سليم خان أخاه فتالي بهذه الخيانة، نصب السكان المحليون فتالي خان بدلاً من محمد حسن وسليم في تحدٍ لشيروان.
سليم خان (شكي خان) العهد الثاني
أجبر فتالي خان على الاستقالة في عام 1805 وهزم مُصطفى خان [الإنجليزية] بدعم من تسيتسيانوف الذي أرسل له 300 جندي. وأخيرًا، خضع للسلطة الروسية في 2 يونيو 1805 وسرعان ما حصل على رتبة ملازم أول بناءً على وسام ألكسندر الأول. كما توسط لاحقًا في استسلام مُصطفى خان [الإنجليزية] أيضًا، مما أجبره على أن يكون خاضعًا لروسيا في 6 يناير 1806. بعد اغتيال تسيتسيانوف في باكو في 20 فبراير ومذبحة عائلة إبراهيم خليل خان (التي شملت أيضًا شقيقة سليم خان) على يد الروس في 2 يونيو 1806، طرد سليم خان الحامية الروسية من شاكي في 24 يونيو 1806. في نوفمبر/تشرين الثاني، هاجم الجنرال الروسي بيوتر نيبولسين المنطقة انتقامًا، وهزم جيش شاكي القوي الذي يبلغ قوامه 8000 جندي، والذي يتألف من جنود داغستانيين أيضًا. وفقًا لباكيخانوف، فقد تم دفع أموال له من الأمير القاجاري عباس ميرزا لتأمين الجنود.
سليم خان (شكي خان) الحياة في المنفى
فر سليم خان إلى إيران في عام 1806 وخلفه فتالي خان في شاكي. عاش في مشكين شهر في وقت ما حوالي عام 1818 وفقًا لميرزا فتالي أخوندوف ثم في تبريز، ثم هاجر في النهاية إلى الإمبراطورية العثمانية. في البداية تقدم بطلب اللجوء وتعيينه حاكمًا لأخالتشخي [الإنجليزية]، فأرسل سفيره محمد جلبي إلى محمود الثاني. رغم أنه حصل على حق اللجوء في أرضروم ، إلا أنه لم يُسمح له بالإقامة في تشيلدير [الإنجليزية] أو قارص أو بغداد لأسباب أمنية. سرعان ما فقد شعبيته بسبب مطالباته بضم أفراد عائلته إلى إيران ونقلهم إلى أرضروم وإبعادهم إلى أنقرة في عام 1822. وسرعان ما أرسل سليم خان المزيد من الطلبات، مطالبًا بمزيد من المعاشات التقاعدية، وزيارة القسطنطينية ، والانتقال إلى بورصة، الأمر الذي رفضه الباب العالي. توفي أثناء توجهه إلى الحج في 12 أبريل 1826 بالقرب من كيرشهير.
سليم خان (شكي خان) العائلة
كان متزوجًا من توتي بيجيم، ابنة إبراهيم خليل خان من قره باغ، وكان لديه مشاكل:
يوسف مداح
يوسف مداح كان شاعرًا تركيًا من الأناضول في أوائل القرن الرابع عشر. يُعتبر من اوائل مؤلفي الأدب الأذربيجاني، ولعب شعره دورًا مهمًا في تطوير اللغة الأدبية الأذربيجانية.  وعلى الرغم من قلة ما هو معروف عن حياته، فمن المقدر أنه عاش في بداية القرن الرابع عشر. كان مداح متعلمًا جيدًا ويتحدث اللغة الأذربيجانية والعربية والفارسية بطلاقة.
أشهر أعمال مِداح هو ورقة وجلشة، والذي يتألف من حوالي 1700 بيت شعري مكتوبة على وزن من بحر العروض، وهو نوع من الشعر يستخدم علم العروض الكمي، ويستند إلى حكاية شعبية عربية . إن بعض الأعمال الأخرى الجديرة بالملاحظة ليوسف مداح هم:
يوسف مداح الشِعر
كان مداح يتقن اللغة الأذربيجانية بقوة. كان مطلعاً على أدب دواوين عصره، وأثرى قصائده بالأبيات والأحاديث والأمثال والحكم. كان مداح على دراية بالعروض العربية وأدرج الأمثال والتعبيرات الشعبية في أعماله، والتي شملت أيضًا الفنون الأدبية.
يوسف مداح الشِعر
أشهر أعمال الشاعر هي ورقة وجلشة ، والتي تتكون من حوالي 1700 بيت شعري مكتوبة على شكل عروض. بدأ العمل في عامي 1342-1343 في سيواس، وهو مبني على حكاية شعبية عربية، كتبت في النوع الملحمي الغنائي.[بحاجة لمصدر] وهو أول تقديم للحكاية الشعبية في أدب اللغات التركية. يحكي العمل قصة الحب المأساوية بين ورقة وجلشة، ابن وابنة شقيقين كانا زعيمين لقبيلة بني شيبة. على الرغم من حبهما لبعضهما البعض، إلا أن حوادث مختلفة تمنعهما من الزواج. في النهاية، تتزوج جلشة من ملك محلي. بعد أن أُخبر ورقة كذبًا أن جلشة قد ماتت، وعليه فأقدم ورقة على الانتحار. وعند زيارة قبر ورقة، أنهت جلشة حياتها أيضًا. تنقسم القصيدة إلى ستة أجزاء، كل جزء يسمى مجالس وتحتوي على اثني عشر غزلًا يغنيها الأبطال لبعضهم البعض. أدرج مداح الأشكال المكتوبة والمنطوقة من الأدب الشعبي في كتاباته في نهاية كل مجالس. لغة العمل بسيطة جدًا وتحتوي على العديد من التكرارات. يعتقد الباحث التركي أورهان أيتوغ تولو أن مِداح كتب القصيدة "كما لو كان يروي قصة في اجتماع عام". وتتشارك الكاتبة جريس مارتن سميث أيضًا في وجهة نظر مماثلة، حيث تقول إن العمل "مناسب بشكل مثالي ليكون جزءًا من ذخيرة راوي القصص الأناضولي المتجول". يعتبر سميث هذا العمل "أول قصيدة سردية رومانسية تركية أناضولية"، والتي، مثل جميع الأعمال التركية الأخرى في ذلك الوقت، لها تأثير فارسي قوي.
يوسف مداح الشِعر
ولمداح العديد من الأعمال الأخرى الجديرة بالملاحظة. واحدة منها هي خاموشنامه، وهي مثنوية أذربيجانية (قصيدة مكتوبة في أبيات مقفاة) تستخدم نفس البحر الشعري مثل ورقة وجلشة. يبلغ طول الكتاب تسعة ونصف صفحة، ويحكي حكايات الخليفة علي، ابن عم وصهر النبي الإسلامي النبي محمد. هناك عمل آخر وهو باند نامه وهو مثنوية مختصر يتألف من ثلاثة عشر سطرًا فقط. وهو يقدم رسالة ملهمة نحو السلوك الصالح وهو مليء بالمفاهيم الروحية والصوفية. يعتقد الباحث إلياس كايوكاي أن باند نامه ليس عملًا منفصلًا، بل هو جزء من خاموشنامه. في عام 2018، تم الكشف عن أن العمل الذي كان يُعتقد أنه يعود إلى دارير من أرضروم، وهو شاعر تركي أناضولي آخر، ينتمي إلى مداح بعد اكتشاف نسخة جديدة من العمل في المكتبة الوطنية الجزائرية. العمل، المعنون بـقصة يوسف، هو مثنوية تحكي حياة يوسف وقصة يوسف وزليخة.
يوسف مداح الشِعر
تشمل الأعمال الأخرى دستان إبليس الملعون، وهو مثنوي أذربيجاني تُرجم من عمل عربي مع العديد من الإضافات من مداح، ويتكون من 240 بيتًا شعريًا. ومن الأعمال الأخرى مقتل الحسين، وهو مثنوي أذربيجاني يروي معركة كربلاء، وهي معركة عسكرية وقعت في عام 680 ميلادية بين جيش ضخم من الخليفة الأموي الثاني يزيد الأول وجيش لا يتجاوز المئة شخص بقيادة الحسين بن علي، حفيد النبي محمد. يتألف العمل من ما يقرب من 3000 بيت شعري، وهو مترجم من عمل يحمل نفس الاسم لأبي مخنف، وهو مؤرخ في العصر الأموي من القرن الرابع عشر. وقد تم تأليفه في آب 1362، ومثل ورقة وجلشة، فإنه يستخدم شكل المجالس. كما أدرج مداح العديد من الأقوال الشعبية وعناصر الأدب الشفهي في العمل، بالإضافة إلى العديد من الإشارات إلى الآيات القرآنية. ومع ذلك، وفقًا لعالم التركيات الإيطالي أليسيو بومباتشي وعالم التركيات الفرنسي إيرين ميليكوف [الإنجليزية]، فإن هذا العمل يُنسب في الواقع إلى شادّي ميداح، وهو كاتب من كاستامونو. خاموشنامه هو مثتوي فارسي كتب في عام 1300 في أرزينجان، هو عمل آخر يُنسب أحيانًا إلى يوسف مداح.
يوسف مداح الإرث
لعبت أشعار مداح دورًا في تشكيل اللغة الأدبية الأذربيجانية، ويُعتبر شخصية رئيسة في التطور المبكر للأدب الأذربيجاني. عاش وكتب في وقت كانت فيه منطقة شرق الأناضول مركزًا للأدب الأذربيجاني، وكانت مساهماته كبيرة في تأسيس المنطقة على هذا النحو.
عبد الرحيم درد
عبد الرحيم دارد (19 حزيران 1894 - 7 كانون الأول 1955) كان كاتبًا مسلمًا من الجماعة الأحمدية، ومبشرًا، وناشطًا سياسيًا في حركة باكستان، وكان إمامًا لمسجد فضل التاريخي، مكان التجمع الرئيس للمسلمين الهنود بغض النظر عن طائفتهم في لندن. اشتهر بقدرته على إقناع محمد علي جناح بالعودة إلى الهند البريطانية والقتال من أجل حركة باكستان.
عبد الرحيم درد الدِين
كان درد السكرتير الخاص للخليفة المسيح الثاني (بشير الدين محمود) من عام 1920 إلى عام 1924 ورافقه إلى دمشق وفلسطين ومصر وإيطاليا وفرنسا حتى وصل في النهاية إلى إنجلترا في 22 أغسطس 1924 لحضور مؤتمر ويمبلي للأديان الحية عام 1924 [الإنجليزية]، وعُين مبشرًا مسؤولًا عن بعثة لندن. خدم كمبشر أحمدي في إنجلترا لمدة إجمالية بلغت 10 سنوات في فترتين. بُني مسجد الفاضل في لندن عام 1926 تحت إشرافه. وعاد أخيرًا إلى قاديان في عام 1938.[بحاجة لمصدر]
كان درد إمامًا لمسجد الفاضل في لندن مرتين، من عام 1924 إلى عام 1928 ثم مرة أخرى من عام 1931 إلى عام 1938.
أضرحة عائلة ميرزا أديغوزال بك
أضرحة عائلة ميرزا أديغوزال باي هي آثار معمارية مخصصة لميرزا أديجوزال بك، المؤرخ الأذربيجاني. المعلم التاريخي هو ضريح إسلامي يقع في قرية رحيملي [الإنجليزية] الأذربيجانية، قضاء جورانبوي. ويعد هذا الموقع أيضًا مكان الراحة الأخير لأفراد عائلته.