stanford-oval/wikipedia huggingface dataset:
هاكر ون
الأحداث والاختراق المباشر

في فبراير 2017، رعت شركة HackerOne فعالية اختراق للمدعوين فقط، حيث جمعت باحثين أمنيين من جميع أنحاء العالم لاختراق مواقع التجارة الإلكترونية Airbnb وShopify بحثًا عن نقاط ضعف. كان هذا هو ثاني حدث من نوعه، حيث استضافت الشركة حدثًا مشابهًا في لاس فيغاس في أغسطس 2016 خلال مؤتمر Black Hat Security Conference. في عام 2018، استضافت HackerOne فعاليات Live Hacking في مدن مختلفة في جميع أنحاء الولايات المتحدة وآسيا. فاز ممثلو آسيا (الهند) بالمركز الأول مع جائزة نقدية قدرها مليون دولار تم منحها إلى موهانا رانجام. وقد تم منح أكثر من مليون دولار نقدًا كمكافآت في الأحداث التالية، حيث دفعت شركة Oath Inc. (التي تسمى الآن Verizon Media ) أكثر من 400 ألف دولار كمكافآت خلال حدث واحد في سان فرانسيسكو، كاليفورنيا في أبريل 2018.
في أكتوبر 2017، استضافت شركة HackerOne مؤتمرها الأول، والذي أطلق عليه اسم Security@ San Francisco. وضم الحدث الذي حضره 200 شخص متحدثين من وزارة الدفاع وجنرال موتورز وأوبر ، كما تضمن أيضًا محادثات من قبل قراصنة.
الدورات التدريبية

يوفر موقع HackerOne دورة تدريبية عبر الإنترنت لمساعدة الأشخاص في العثور على الأخطاء في نظام الأمان وتقنيات الأمن السيبراني الأخرى. ستتبع كل منصة أمان تعتمد على المصادر الجماعية نهجًا مختلفًا وهدفًا محددًا تركز عليه. تركز HackerOne بشكل أساسي على خدمات اختبار الاختراق مع شهادات الأمان، بما في ذلك ISO 27001 وFedRAMP. بينما يركز آخرون في هذا المجال، مثل Bugcrowd، على إدارة سطح الهجوم ومجموعة واسعة من خدمات اختبار الاختراق لإنترنت الأشياء وواجهة برمجة التطبيقات وحتى الشبكات. مبادرة HackerOne الجديدة لتعلم كيفية الاختراق، hacker101 تساعد العديد من الباحثين عن الأمن.
المواقع

يقع المقر الرئيسي لشركة HackerOne في سان فرانسيسكو . تحتفظ الشركة بمكتب تطوير في جرونينجن، هولندا . في أبريل 2017، أعلنت الشركة عن إضافة مكاتب في لندن، المملكة المتحدة وألمانيا .
انظر أيضا

مؤسسة أمن المصدر المفتوح
قراءة إضافية

الاختراق من أجل الأمان والحصول على أموال مقابل ذلك . نيويورك تايمز . 14 أكتوبر 2015.
هذا الهاكر يربح 100 ألف دولار إضافية سنويًا كصائد مكافآت الأخطاء. بيزنس إنسايدر . 21 مايو 2016.
آراء حول برامج مكافأة الأخطاء والقرصنة الأخلاقية من الرئيس التنفيذي لشركة HackerOne Inc. مارتن ميكوس. بلومبرج بي إن إيه. 25 مايو 2016.
يدفع تويتر 322,420 دولارًا أمريكيًا لصائدي الأخطاء في إطار برنامج "HackerOne". Indian Express Tech IE. 28 مايو 2016.
كيف يساعد الرئيس التنفيذي الجديد لشركة HackerOne القراصنة المراهقين على أن يصبحوا عملاء للخير وليس الشر. بيزنس إنسايدر . 1 يوليو 2016.
الرئيس التنفيذي لشركة HackerOne: كل جهاز كمبيوتر معرض للثغرات الأمنية. سي إن بي سي . 20 أكتوبر 2016.
خبير التكنولوجيا الذي أقنع البنتاغون بحب القراصنة. كريستيان ساينس مونيتور . 21 أكتوبر 2016.
نظرة على أفضل المكافآت المقدمة من HackerOne لعام 2016. زد نت . 6 ديسمبر 2016.
اختراق الجيش. تك كرانش . 19 يناير 2017.
القراصنة الأخلاقيون: مسألة اختيار. مجلة SC . 27 يناير 2017.
طوق الحمامة

ميّز عن طوق الحمام.
طوق الحمامة
| 0 | 1 |
| --- | --- |
المؤلف:  ابن حزم الأندلسي 
اللغة:  العربية 
| 0 | 1 |
| --- | --- |
ويكي مصدر:  نسخة بالعربية على ويكي مصدر
تعديل - تعديل مصدري - تعديل ويكي بيانات
كتاب طَوْقُ اَلْحَمَامَة او طَوْقُ اَلْحَمَامَة وَظَلَّ اَلْغَمَامَةَ فِي اَلْأُلْفَةِ وَالْآلَافُ هو كتابٌ لابن حزم الأندلسي وصف بأنه أدق ما كتب العرب في دراسة الحب ومظاهره وأسبابه. ترجم الكتاب إلى العديد من اللغات العالمية.
واسم الكتاب كاملاً طوق الحمامة في الألفة والأُلاف. ويحتوي الكتاب على مجموعة من أخبار وأشعار وقصص المحبين، ويتناول الكتاب بالبحث والدَّرس عاطفة الحب الإنسانية على قاعدة تعتمد على شيء من التحليل النفسي من خلال الملاحظة والتجربة. فيعالج ابن حزم في أسلوب قصصي هذه العاطفة من منظور إنساني تحليلي. والكتاب يُعد عملاً فريدًا في بابه.
سبب التأليف

كتاب طوق الحمامة في الأصل رسالة ألفها وهو مقيم بمدينة «شاطبة» وقد وضع ابن حزم هذه الرسالة نزولا عند رغبة صديق محب زاره في «شاطبة» وسأله أن يصنف له «رسالة في صفة الحب ومعانيه وأسبابه وأعراضه، وما يقع فيه وله على سبيل الحقيقة»
فلبى ابن حزم رغبة صديقه حبا به -كما يقول- متحرجا بعض التحرج من كتابة رسالة في موضوع الحب واللهو
فانصرف ابن حزم إلى تأليف الرسالة، مقتصرا فيها على ما عرفه وخبره من الوقائع والحوادث والمواقف، مبتعداً عن شطط الخيال وأوهام القُصَّاص ومتجاوزا ما زخرت به أخبار الأعراب من قصص العشاق ومآثر المحبين وآلامهم.
راجع أيضا

نواضر الأيك في معرفة النيك
المصدر

طوق الحمامة في الألفة والألاف/ تأليف أبي محمد بن سعيد بن حزم؛ تحقيق حسن كامل الصيرفي القاهرة: المكتبة التجارية الكبرى.[بحاجة لدقة أكثر]
مراجع

↑  "معلومات عن طوق الحمامة على موقع d-nb.info". d-nb.info. مؤرشف من الأصل في 2019-12-10.
↑  "موقع الشيخ عبد الحق التركماني - طوق الحمامة الألفة والألّاف". turkmani.com. مؤرشف من الأصل في 2024-03-04. اطلع عليه بتاريخ 2024-12-11.
↑  "«طوق الحمامة» لابن حزم: عندما يدنو الفيلسوف من الهوى وأسبابه". العربية. 31 يوليو 2015. مؤرشف من الأصل في 2021-06-24. اطلع عليه بتاريخ 2024-12-11.
↑  ابن حزم الأندلسي، علي (بعد عام ٤١٧ ھ). صيدا-بيروت. المكتبة العصرية. ص. ٢٠-٢١. {{استشهاد بكتاب}}: تحقق من التاريخ في: |تاريخ= (مساعدة) والوسيط غير المعروف |شكله وعلق حواشيه وقدم له ووضع فهارسه= تم تجاهله (مساعدة)
↑  "كتاب طوق الحمامة لابن حزم - المكتبة الشاملة". shamela.ws. مؤرشف من الأصل في 2024-01-31. اطلع عليه بتاريخ 2024-12-11.
وصلات خارجية

في ويكي مصدر مواد ذات صلة بـ طوق الحمامة.
طوق الحمامة على موقع مؤسسة هنداوي للتعليم والثقافة
| ع ن كتب ابن حزم الأندلسي | ع ن كتب ابن حزم الأندلسي |
| --- | --- |
 المحلى بالآثار  الإحكام في أصول الأحكام  الفصل في الملل والأهواء والنحل  طوق الحمامة  جمهرة أنساب العرب  الإيصال إلى فهم كتاب الخصال :  المحلى بالآثار  الإحكام في أصول الأحكام  الفصل في الملل والأهواء والنحل  طوق الحمامة  جمهرة أنساب العرب  الإيصال إلى فهم كتاب الخصال 
 بوابة إسلام  بوابة كتب :  بوابة إسلام  بوابة كتب 
| 0 | 1 |
| --- | --- |
ضبط استنادي: وطنية :  الملف الاستنادي المتكامِل (GND) 
بوابة أدب
بوابة أدب عربي
بوابة الأندلس
بوابة كتب
شرطة عمان السلطانية

| شرطة عمان السلطانية | شرطة عمان السلطانية |
| --- | --- |
البلد:  سلطنة عمان  
تاريخ التأسيس: 1974  
الموقع الرسمي: الموقع الرسمي  
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
شرطة عمان السلطانية هي قوة الشرطة الرسمية في سلطنة عُمان، ويرأسها هيثم بن طارق آل سعيد، القائد الأعلى لشرطة عمان السلطانية.
الخلفية

كان مفهوم قوة شرطة حديثة نسبيا إلى عمان عندما ارتفع السلطان قابوس بن سعيد آل سعيد. ومع ذلك، يظهر التاريخ أن الشرطة لأول مرة في عمان وإضفاء الطابع المؤسسي لأول مرة في 1700 في صحار. بالكاد 30 عاما، قبل، لا توجد قوة الأمن الداخلي في عمان. وكان الأمن مسؤولية الولاة أو الحكام المحليين الذين قاموا بها مع مساعدة من "Askars" المحلية. وكان وجود الشرطة محدودا إلى بلدة مسقط ومطرح، حيث ان معظم الأسواق كانت موجودة ومعظم التجارة وقعت.
مرة واحدة في السلطنة، والسلطان قابوس بن سعيد آل سعيد، بالإضافة إلى حملاته الإصلاح الأخرى، توجه نحو بناء قوة شرطة فعالة وحديثة في سلطنة عمان. في عام 1974، منحت السلطان قابوس بن سعيد آل سعيد على لقب شرطة عمان السلطانية (شرطة عمان السلطانية) على القوة التي شكلت حديثا. في نوفمبر من ذلك العام، تلقت شرطة عمان السلطانية ألوانه من سلطان. العام المقبل، تم افتتاح مقر شرطة عمان السلطانية في القرم. «بحاجة إلى مصدر|»
انضم إلى شرطة عمان السلطانية المنظمة الدولية للشرطة الجنائية (الانتربول) في عام 1972، والمنظمة العربية للدفاع الاجتماعي ضد الجريمة في نفس العام.
منظمة

شرطة عمان السلطانية هي قوة شرطة منظمة تنظيما جيدا. هيثم بن طارق آل سعيد هو القائد الأعلى لشرطة عمان السلطانية. تحت قيادته يأتي المفتش العام للشرطة والجمارك. عنوان مفوض الشرطة التي كانت تستخدم ليكون لقب رئيس قوة الشرطة بموجب القانون القديم رقم 5/1973 صدر مرسوم ملكي في 26 نوفمبر 1974 تغيير العنوان إلى المفتش العام للشرطة والجمارك. وشغل منصب حاليا من قبل الجنرال حسن بن محسن الشريقي الذي حل محل الجنرال مالك بن سليمان المعمري حسب المراسيم الملكية من قبل السلطان وسط احتجاجات عمان عام 2011.
شرطة عمان السلطانية تنفذ المهام من خفر السواحل وكذلك ومخولة لتنفيذ جميع المهام المخصصة ذات الصلة. كما تحتفظ شرطة عمان السلطانية قسم الكلاب مدربة تدريبا جيدا (تم إنشاؤه في 24 أيلول 1976).
تحتفظ شرطة عمان السلطانية أسطول من طائرات الهليكوبتر الدعم التي تؤدي مجموعة من الوظائف من مكافحة الحرائق لخدمات الإسعاف إلى الصور الحرارية في عمليات مكافحة التهريب.
كما تحتفظ شرطة عمان السلطانية والحصان الإبل شنت جنود، الذين التضاريس دورية غير قابلة للوصول إلى السيارات. شنت الجمل الضباط هم من السهل أن تكون رصدت في دورية بالقرب من الحدود العمانية، في حين أن ضباط محمولة على الحصان هي مشهد مألوف في شواطئ مسقط.
في البداية، مدرسة تدريب الشرطة في القرم تدريب كوادر الشرطة. في 9 نوفمبر 1976، وأجريت أول يمر بها حفل مدرسة الدفعة الأولى من ضباط CADER عمان هنا تحت رعاية السلطان.

في عام 1980 افتتح السلطان أكاديمية الشرطة بالقرب من نزوى، والتي سميت مؤخرا في أكاديمية السلطان قابوس لعلوم الشرطة. ويوفر التدريب الأساسي لأفراد الشرطة، وكذلك دورات دبلوم في علوم الشرطة لخريجي الجامعات أو الذين لديهم المؤهلات ما يعادلها. فهو يدرب أيضا المرشحين للمناصب العليا في شرطة عمان السلطانية.
تأسست كلية الشرطة، وهو داخل مجمع SAPS، في عام 2000 وتدرب ضباط شرطة عمان السلطانية والجوائز والشهادات على درجات علمية في القانون والعلوم الشرطة.
تم تعيين معهد السلامة المرورية تصل إلى تدريب الموظفين على حد سواء شرطة المرور ومستخدمي الطريق.
قوات متخصصة

دعا مقر قيادة جديدة ومنشآت النفط والغاز وقد تم تشكيل القيادة حتى تحت TOP لحماية قيمة منشآت النفط والغاز في سلطنة عمان.
وقد تم تجهيز خفر السواحل قيادة شرطة مع زوارق دورية سريعة جديدة، في حين أن القوارب القديمة المستخدمة حاليا تم تحديثها ومزودة بمحركات جديدة. ورشة عمل الهندسة والصيانة بالتأكد من الحرف دورية دائما للخدمة.
وقد أنشئت لإنقاذ مجموعة البحر للمساعدة في منع وقوع حوادث الغرق، الرد على المكالمات SOS، وتحسين رصد السواحل العمانية ومنع الهجرة غير الشرعية والتهريب.
يضم مديرية شرطة الطيران أغستاوستلاند AW139 طائرات هليكوبتر (حاليا 4 في الخدمة وأكثر من هذا يتم شراؤها). ويضم طائرة هليكوبتر خدمة مكافحة الحرائق لاستخدامها في المناطق التي لا يمكن الوصول إليها نسبيا لالاطفاء العادي وعمان لديه التضاريس الجبلية إلى حد كبير. السلطنة هي واحدة من أوائل الدول في المنطقة لاقامة هذه الخدمة والآن تم تدريب العديد من الطيارين للإنسان عليه. مديرية طيران الشرطة هو استخدام أساطيل طائراتها الهليكوبتر لاستخدامها في خدمة الإسعاف الطائر، للبعثات مكافحة الحرائق والإنقاذ، أو مع لتقديم خدمات الرصد والدعم للإدارات الأخرى في شرطة عمان السلطانية باستخدام أنظمة التصوير الحراري.
المرأة في الخدمة الشرطية

عمان سعت دائما لتوفير حالة تعادل تعداد سكان نسائها على عكس الدول المجاورة لها. وكانت شرطة عمان السلطانية لا يختلف. شرطة عمان السلطانية وعدد كبير من النساء الذين يخدمون في الكوادر اللوجستية، وأجنحة الدعم وكذلك في شرطة المرور. لدى شرطة عمان السلطانية أيضا جميع النساء الفرقة الموسيقية. خضوع المرأة كوادر للتدريب صارمة كما تذهب نظرائهن من الرجال وحتى الآن لم تأتي المرأة العمانية في أرقام للانضمام إلى قوة الشرطة.
خدمات إضافية

يوفر شرطة عمان السلطانية مجموعة من الخدمات.
خدمات إضافية > الشؤون المدنية

المديرية العامة للأحوال المدنية تسجيل الولادات والزواج والطلاق والوفيات من المواطنين العمانيين، وكذلك المواليد والوفيات من السكان الوافدين في السلطنة، بالإضافة إلى زواجهم والطلاق إذا كان أحد طرفي الزواج أو الطلاق هو العماني. وتصدر مواطنين العمانيين أيضا مع بطاقات الهوية الذكية متعددة الأغراض، والتي هي على حد سواء مرنة وآمنة و- من بين أمور أخرى - تظهر بيانات رخصة القيادة حاملها. وقد أصبحت هذه البطاقات الذكية معيارا في جميع الدول العربية تقريبا.
وتصدر بطاقات الإقامة للمغتربين المقيمين أيضا الذين يعملون في السلطنة، ومن يعولونهم. وقد تم الآن دمج بطاقة العمل وبطاقة الإقامة في بطاقة واحدة.
خدمات إضافية > الجمارك

ميناء السلطان قابوس، مطار مسقط الدولي وجميع نقاط العبور البرية الآن استخدام تحسين نظام الكمبيوتر الجمارك. وقد وضعت في هذا المكان لتحسين إجراءات التخليص الجمركي ومكاتب التخليص الجمركي. وقد صممت هذه التحركات لدعم الاقتصاد الوطني، وتأتي استجابة لمجلس الاتحاد الجمركي التعاون الخليجي ومنطقة التجارة الحرة العربية الكبرى.
باستخدام معدات التفتيش الجديدة في الحاويات والسيارات، والمديرية العامة للجمارك هو الآن أفضل تجهيزا لكشف وتحديد المواد الممنوعة والسلع المهربة. كما تم التوقيع على إعلان على أمن الحاويات ومبادرة التفتيش البضائع بين المديرية العامة للجمارك ونظيرتها الأمريكية، مما يسمح للتفتيش على البضائع المنقولة بحرا بين الموانئ العمانية والأمريكية. وهذا يجب أن يكون من مساعدة كبيرة خصوصا ان عمان والولايات المتحدة الأمريكية لديها اتفاق للتجارة الحرة في المكان.
خدمات إضافية > للسلامة على الطرق وشرطة المرور

يوم 4 سبتمبر عام 1970، استلم قسم شرطة عمان السلطانية على مسؤولية المركبات الآلية والتراخيص التي اعتادت ان تكون في مسقط ومطرح في البلدية في البداية. منذ ذلك الحين عملت شرطة عمان السلطانية لوضع نظام الشرطة حركة المرور فعالة.
قد سجلت عمان بشكل مستمر قفزة هائلة في حوادث الطرق والوفيات الناجمة عن حوادث ذات الصلة بالطريق معدل الوفيات المرورية في سلطنة عمان هو 28 لكل 100,000 من السكان وهي نسبة أعلى بكثير من المعدل العالمي البالغ 19 قتل لكل 100,000. ونتيجة لهذا فقد اتخذت شرطة عمان السلطانية مواقف صعبة على السائقين موقف حيث يتم فحص المركبات بشكل منتظم، وقد أثيرت معايير التدريب للسائقين ويتم فرض قواعد المرور بصرامة، خاصة فيما يتعلق بحدود السرعة. وتعقد بانتظام حملات توعية مكثفة للسائقين وأقسام أخرى من المجتمع، بما في ذلك طلاب المدارس. تحقيقا لهذه الغاية، والعمل بشكل وثيق مع الشرطة والإدارات والمنظمات الأخرى، وخاصة وزارة التربية والتعليم ووسائل الإعلام. بحلول نهاية عام 2005، كان قد تم تركيب أجهزة الكشف عن رادار السرعة الثابتة والمتنقلة في جميع المحافظات والمناطق في محاولة أخرى للمساعدة في الحد من الحوادث المرورية.
الحكومة العمانية وشرطة عمان السلطانية جعلت باستمرار السلامة على الطرق على رأس أولوياتهم. لقد عملوا أيضا على نحو فعال لتعزيز السلامة على الطرق على الصعيد الدولي. قدمت عمان مشروع قرار لا يجب ترك بعنوان الجمعية العامة للأمم المتحدة للسلامة على الطرق إلى فرصة، للمساعدة على تعزيز التعاون الدولي على منع وقوع الحوادث المرورية، والذي اعتمد من قبل الأمم المتحدة في عام 2004 (Titled – A/58/289).
في مارس 2006، وفاز بالجائزة الأولى شرطة عمان السلطانية في المسابقة الدولية، التي شارك فيها 36 بلدا ومنظمة. ونظمت المسابقة من قبل الأمم المتحدة، في مهرجان 1 العالمية للسلامة على الطرق في جنيف السينمائي، لفيلم بعنوان «ألم وأمل»، فيلم وثائقي يسلط الضوء على معاناة الأسر الذين يفقدون أقاربهم في حوادث الطرق. يتم تخزين الفيلم حاليا في مكتبة الأمم المتحدة.
خدمات إضافية > خدمات الإسعاف

يوفر شرطة عمان السلطانية لحالات الطوارئ خدمة الإسعاف على الطرق السريعة لضحايا الطرق والحوادث الأخرى. وحدة الإسعاف، التي لديها أسطول من سيارات الإسعاف الحديثة مع الحديثة عالية - المعدات الطبية التكنولوجيا، يغطي محافظة مسقط تصل إلى منطقة الباطنة، وكذلك الطريق الرئيسي من ولاية بركاء إلى خطمة ملاحة على الحدود الإمارات العربية المتحدة. واقترح أن يتم توسيع الخدمة لتشمل البلاد بأكملها.
يستخدم خدمة الإسعاف نظام الاتصالات السلكية واللاسلكية المتطورة الموجهة عن طريق مركز الاتصالات في شرطة عمان السلطانية و. النظام تنسق حركة سيارات الإسعاف لضمان وصولها إلى موقع الحادث في أقصر وقت ممكن.
خدمات إضافية > خدمات الدفاع المدني

فيما يتعلق بحماية المباني والمنشآت والممتلكات، وقد تم تزويد المديرية العامة للدفاع المدني مع الدفاع المدني ومعدات مكافحة الحريق.
وصلات خارجية

Official website of the Royal Oman Police
Long range Embraer E-Jet during her delivery flight at the end of May 2011
بوابة الوطن العربي
بوابة سلطنة عمان
بوابة شرطة
| ضبط استنادي  | ضبط استنادي  |
| --- | --- |
دولية:  الاسم المعياري الدولي (ISNI)  ملف الضبط الاستنادي الافتراضي الدَّولي (VIAF) 
وطنية:  مكتبة الكونغرس (LCNAF) 
شرطة عمان السلطانية الهجن باند
أحد قوارب الشرطة
طائرة هليكوبتر تابعة لشرطة عمان السلطانية
فرانك كولمان (لاعب كرة قاعدة)

لمعانٍ أخرى، طالع فرانك كولمان (توضيح).
| فرانك كولمان>  معلومات شخصية  | فرانك كولمان>  معلومات شخصية  |
| --- | --- |
الميلاد: 2 مارس 1918     لندن  
تاريخ الوفاة: 19 فبراير 1983 (64 سنة)      
مواطنة:  كندا  
 الحياة العملية  :  الحياة العملية  
المهنة: لاعب كرة قاعدة  
الرياضة: كرة القاعدة  
الجوائز : الجوائز 
قاعة البيسبول الكندية للمشاهير  ‏   : قاعة البيسبول الكندية للمشاهير  ‏   
تعديل مصدري - تعديل  : تعديل مصدري - تعديل  
فرانك كولمان هو لاعب كرة قاعدة كندي، ولد في 2 مارس 1918 في لندن في كندا، وتوفي في 19 فبراير 1983.
مراجع

1 2  MLB.com، دوري كرة القاعدة الرئيسي، QID:Q3273050
وصلات خارجية

فرانك كولمان على موقع دوري كرة القاعدة الرئيسي (الإنجليزية)
فرانك كولمان على موقعبيزبول رفرنس.كوم (الدوري الرئيسي) (الإنجليزية)
بوابة كرة القاعدة
بوابة كندا
بوابة أعلام
فارينيكوفسكايا

فارينيكوفسكايا (بالروسية: Варениковская) هي مدينة في مقاطعة كراسنودار كراي في روسيا. يبلغ عدد سكانها حوالي 14144 نسمة.
مراجع

↑  ОКТМО. 185/2016. Southern FD، QID:Q26857949
↑    "صفحة  فارينيكوفسكايا في GeoNames ID". GeoNames ID. اطلع عليه بتاريخ 2025-01-04.
↑  ""Варениковская станица" . Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). СПб.. 1890—1907. {{استشهاد بكتاب}}: تحقق من التاريخ في: |year= (مساعدة)" (بالروسية). {{استشهاد ويب}}: الوسيط |مسار= غير موجود أو فارع (help)
↑  Всесоюзная перепись населения 1939 года. Численность сельского населения СССР по районам, крупным селам и сельским населённым пунктам - райо (بالروسية), QID:Q126687534, Archived from the original on 2014-12-17
↑  "Всесоюзная перепись населения 1959 года. Численность сельского населения РСФСР - жителей сельских населённых пунктов - районных центров по полу" (بالروسية).
↑  Всесоюзная перепись населения 1979 года. Численность сельского населения РСФСР - жителей сельских населённых пунктов - районных центров (بالروسية), QID:Q126683518, Archived from the original on 2014-01-10
↑  Сельские населенные пункты Краснодарского края. По состоянию на 1 января 1999. Справочник (بالروسية), Краснодар, 1999, QID:Q127119090{{استشهاد}}:  صيانة الاستشهاد: مكان بدون ناشر (link)
↑  Всероссийская перепись населения 2002 года. Численность населения субъектов Российской Федерации, районов, городских поселений, сельских н (بالروسية), QID:Q126687602, Archived from the original on 2012-02-03
↑  Всероссийская перепись населения 2010 года. Том 1, таблица 4. Численность городского и сельского населения по полу по Краснодарскому краю (PDF) (بالروسية), QID:Q127121880, Archived from the original (PDF) on 2020-05-28
↑  Итоги Всероссийской переписи населения 2020 года (по состоянию на 1 октября 2021 года) (بالروسية), QID:Q126684906, Archived from the original on 2022-09-01
بوابة الاتحاد السوفيتي
بوابة الإمبراطورية الروسية
بوابة جغرافيا
بوابة تجمعات سكانية
بوابة روسيا
أوتومات الدفع السفلي

في علم الحاسوب، الأوتومات الدفع السفلي أو باختصار "PDA" هو نموذج حاسوبي بسيط يقوم على فكرة بنية البيانات المكدس (stack)، حيث أنه يستخدمه بأنه ذاكرة اضافية يُخزن فيها النتائج غير نهائية ليُعيد استخدامها لاحقا ضمن العمليات المُتاحة لهذا النموذج. هنالك نوعان من أوتوماتات الدفع السفلي: أوتومات الدفع السفلي القطعي (DPA)، أوتومات الدفع السفلي غير القطعي (PDA). على خلاف النماذج الابسط أوتومات الدفع السفلي غير القطعي «اقوى» من قرينه القطعي، أي يوجد لغات التي يمكن تقريرها بواسطة PDA ولكن ليس بواسطة DPA .
أوتومات الدفع السفلي عمليا هو أوتومات حالات محدودة مُزود بمكدس LIFO أي من يدخل اخرا يخرج أولا، أول من أنتج الPDA's هو Anthony Oettinger في عام 1963 وقد كان المُكَّدس مستخدماً منذ زمن طويل، إلا أن أبحاثه نَظَّمت دمجه في أوتومات منتهي.ولعل أحد أهم المبرهنات في هذا المجال هي: لكل PDA يمكن بناء قواعد حرة السياق تنتج نفس اللغة. أهمية هذا الأوتومات تتبين من حقيقة انه يُستخدم كثيرا في عملية التجزئة (parsing) وخاصة انه أسهل للبرمجة من القواعد حرة السياق وقد تبين انهما ذوي قوة مضارعة.
تعريف

أوتومات الدفع السفلي هو السباعية:  {\mathcal {A}}=(Q,\Delta ,\Gamma ,\delta ,q_{in},A_{in},F) حيث يتحقق:
Q هي مجموعة منتهية من الحالات.
\Delta  هي أبجدية المُدخل (أي من اية حروف يمكن أن تتركب سلسلة المُدخل)
\Gamma  هي أبجدية المُكدس (يجب أن تحوي حروفا غير تلك التي نستخدمها للمُدخل)
\delta \subseteq Q\times (\Delta \cup \{\lambda \})\times \Gamma \times Q\times \Gamma ^{*} أي انها مجموعة جزئية منتهية ل-  Q\times (\Delta \cup \{\lambda \})\times \Gamma \times Q\times \Gamma ^{*} ، وتُسمى علاقة الانتقال (transition relation). وكل  (p,a,A,q,\alpha )\in \delta  تُسمى أمر (أو نقلة) وهو يصف الانتقال من الحالة  p للحالة  q في حين أنَّ  a هو الحرف التالي من المُدخل و-  A هو الرمز الواقع في أعلى المُكدس. والتغيير يتحقق بقراءة الحرف  a وإخراج  A من المُكدس واحلال  \alpha  مكانه في المُكدس.
الحالة الابتدائية  q_{in}\in Q
رمز المُكدس الابتدائي  A_{in}\in \Gamma
F\subseteq Q مجموعة الحالات النهائية.
ملاحظات :
يمكن اعتبار  \delta  دالة من المجموعة  Q\times (\Delta \cup \{\lambda \})\times \Gamma  لمجموعة جزئية ل-  Q\times \Gamma ^{*} حينها يمكننا ان نكتب:  (q,\alpha )\in \delta (p,a,A) .
نرمز ب-  \Gamma ^{*} مجموعة كل السلاسل (أو الكلمات) التي تتركب من المجموعة  \Gamma  وكذا الأمر ل-  \Delta ^{*} .
تعريف > صورة فورية

صورة فورية (configuration) لأوتومات الدفع السفلي  {\mathcal {A}} مُكونة من حروف المُدخل التي لم يتم قراءتها بعد والحالة الحالية والمحتوى الحالي للمُكَّدس أي انه مجموعة الصور الفورية هي مجموعة جزئية ل- \Delta ^{*}\times Q\times \Gamma  .
تعريف > علاقة الخطوة

دالة الانتقال  \delta  يمكننا بواسطتها تعريف علاقة الخطوة،  \vdash _{\mathcal {A}} ، والعلاقة مُعرفة على مجموعة الصور الفورية:
(ax,p,A\gamma )\vdash _{\mathcal {A}}(x,q,\alpha \gamma )\iff (p,a,A,q,\alpha )\in \delta ,x\in \Delta ^{*},\gamma \in \Gamma ^{*}
من تبعيات هذا التعريف انَّ الأوتومات لا يمكنه المتابعة إذا ما فرغ المُكَدس لانه بكل خطوة عليه إخراج حرف أو رمز من المكدس.
تعريف > حساب

حساب أوتومات ذو مكدس هو متتالية خطوات متلاحقة، وعلاقة الحساب هي المنغلق الانعكاسي والمتعدي، \vdash _{\mathcal {A}}^{*}، لعلاقة الخطوة.
لغة الأوتومات

PDA يقبل المدخل إذا حسابه على المُدخل بداية من الحالة الابتدائية مع وجود رمز المُكدس الابتدائي وتمام قراءة المُدخل واحد الامرين التاليين يتحقق:
ينتهي الأمر بحالةٍ نهائية.
أو ينتهي الأمر بمُكدس فارغ.
بشكل عام هاتان اللغتان، لأوتومات مُعين، ليستا بالضرورة متساويان. لاحظ انه في الحالة الثانية لا يهم أية حالة وقفنا عليها (سواء كانت نهائية أو لا).
بناء على ما تقدم سالفا نُعرف اللغتين بالشكل التالي:
فليكن  {\mathcal {A}} أوتومات دفع سفلي، نعرف اللغتين التاليتين:
لغة الحالة النهائية للأوتومات  {\mathcal {A}} هي:  L({\mathcal {A}})=\{x\in \Delta ^{*}|(x,q_{in},A_{in})\vdash _{\mathcal {A}}^{*}(\lambda ,q,\gamma )\ {\mbox{for some}}\ q\in F,\gamma \in \Gamma ^{*}\}
لغة المُكدس الفارغ للاتومات  {\mathcal {A}} هي:  N({\mathcal {A}})=\{x\in \Delta ^{*}|(x,q_{in},A_{in})\vdash _{\mathcal {A}}^{*}(\lambda ,q,\lambda )\ {\mbox{for some}}\ q\in Q\}
بشكل عام لا يتحقق التساوي بين اللغتين لكل أوتومات، ولكن يمكن بناء أوتومات اخر بحيث يتحقق التساوي، أي انه يتحقق التالي:
فليكن  {\mathcal {A}} أوتومات دفع سفلي حينها يمكننا بناء أوتومات  {\mathcal {A}}' بحيث يتحقق:  N({\mathcal {A}})=L({\mathcal {A}}') . وكذا العكس.
لغات حرة السياق

كل قواعد حر السياق الذي ينتج لغة يمكن تحويله بسهولة إلى أوتومات دفع سفلي يتعرف (recognize) على اللغة عينها. فليكن  G=(N,T,S,P) نعرف الأوتومات التالي ذي الحالة الواحدة: {\mathcal {A}}=({q},T,N\cup T,\delta ,q,S,\emptyset ) بحيث أنَّ  \delta  قوانينها كالتالي:
(q,\lambda ,A,q,\alpha ) لكل  A\to \alpha \in P . «توسيع»
(q,a,a,q,\lambda ) لكل  a\in T . «تطابق»
حسابات  {\mathcal {A}} تقابل الاشتقاقات الأكثر يسارا (leftmost derivations)  \Rightarrow _{G,l}^{*} ل- G ، رسميا: فليكن  x\in T^{*} وليكن  \alpha \in (N\cup T)^{*} إذا  (x,q,S)\vdash _{\mathcal {A}}^{*}(\lambda ,q,\alpha ) حينها يتحقق:  S\Rightarrow _{G,l}^{*}x\alpha  . كما أن العكس يتحقق لكل  \alpha \in N(N\cup T)^{*}\cup \{\lambda \} .
حينما نأخذ  \alpha =\lambda  نجد أن:  S\Rightarrow _{G,l}^{*}x فقط إذا  (x,q,S)\vdash _{\mathcal {A}}^{*}(\lambda ,q,\lambda  لكل  x\in T^{*} ، وهذا يعني أنَّ  L(G)=N({\mathcal {A}}) ، هذا التوافق يُظهر أنَّ الأوتومات ذي الحالة الواحدة (حين الاخذ بالاعتبار لغة المُكدس الفارغ كما سبق تعريفها) مكافئ
للقواعد
حرة
السياق. التكافؤ لا يقف عند هذا الحد إذ أنَّ التكافؤ الكامل بين أوتومات الدفع السفلي وبين القواعد حرة السياق هو تكافؤ شامل وهذه النتيجة توصل إليها كل من نعوم تشومسكي ومارسيل-بوول شوتزنبرجر، وإيفي. والمبرهنة تنص على أن كل لغة تُقبل بواسطة اتومات دفع سفلي سواء اكان ذلك بفراغ المُكدس ام بالوصول إلى حالة نهائية من مجموعة الحالات النهائية، فقط إذا كانت هذه اللغة هي لغة حرة السياق.