hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
تحكم إلزامي بالوصول التاريخ والخلفية
اكتسبت كلمة "إلزامي" في MAC معنى خاصًا مستمدًا من استخدامها مع الأنظمة العسكرية. في هذا السياق، يشير MAC إلى درجة عالية للغاية من القوة التي تضمن أن آليات التحكم يمكنها مقاومة أي نوع من أنواع التخريب، وبالتالي تمكينها من فرض ضوابط الوصول المفروضة بأمر من الحكومة مثل الأمر التنفيذي 12958. ومن المفترض أن يكون التنفيذ أكثر أهمية من التطبيقات التجارية. ويؤدي هذا إلى استبعاد إمكانية التنفيذ من خلال آليات بذل أقصى الجهود. إن الآليات التي يمكنها توفير إنفاذ مطلق أو شبه مطلق للتفويض هي فقط المقبولة بالنسبة لـ MAC. إنها مهمة صعبة للغاية، ويفترضها في بعض الأحيان أولئك الذين لا يعرفون استراتيجيات التأكيد العالية، وهي صعبة للغاية بالنسبة لأولئك الذين يعرفونها.
تحكم إلزامي بالوصول التاريخ والخلفية
في بعض الأنظمة، يتمتع المستخدمون بالسلطة لاتخاذ القرار بشأن منح حق الوصول لأي مستخدم آخر. وللسماح بذلك، يجب أن يكون لدى جميع المستخدمين تصاريح لجميع البيانات. ليس هذا بالضرورة صحيحًا بالنسبة لنظام MLS. إذا كان هناك أفراد أو عمليات قد يُحرمون من الوصول إلى أي من البيانات الموجودة في بيئة النظام، فيجب الوثوق بالنظام لفرض MAC. نظرًا لأنه يمكن أن يكون هناك مستويات مختلفة لتصنيف البيانات وموافقات المستخدم، فهذا يعني وجود مقياس كمي للمتانة. على سبيل المثال، تُشير بيئات الأنظمة التي تحتوي على معلومات سرية للغاية ومستخدمين غير مصرح لهم بدخولهم إلى مستوى أعلى من المتانة، مقارنةً ببيئات الأنظمة التي تحتوي على معلومات سرية ومستخدمين غير مصرح لهم بدخولهم إلى مستوى "سري للغاية". ولتعزيز الاتساق وإزالة التحيز في درجات المتانة، أنتج تحليل علمي شامل وتقييم مخاطر لهذا الموضوع معيارًا مرجعيًا بارزًا يُحدد قدرات متانة الأنظمة الأمنية، ويُطابقها مع درجات الثقة المطلوبة لمختلف بيئات الأمن. وثقت النتيجة في CSC-STD-004-85. عُرف عنصرين مستقلين نسبيًا للمتانة: مستوى الضمان والوظيفة. وقد حُدد كلا منهما بدرجة من الدقة التي استحقت ثقة كبيرة في الشهادات المبنية على هذه المعايير.
تحكم إلزامي بالوصول التاريخ والخلفية
يعتمد معيار المعايير المشتركة على هذا العلم ويهدف إلى الحفاظ على مستوى الضمان كمستويات EAL ومواصفات الوظيفة كملفات تعريف للحماية. من بين هذين العنصرين الأساسيين لمعايير المتانة الموضوعية، حُفظ على مستويات EAL فقط بأمانة. في إحدى الحالات، حُفظ على مستوى TCSEC C2 (ليس فئة قادرة على MAC) بأمانة إلى حد ما في المعايير المشتركة، مثل ملف تعريف حماية الوصول المُتحكم فيه (CAPP). ملفات تعريف حماية MLS (مثل MLSOSPP المشابهة لـ B2) أكثر عمومية من B2. إنها تتبع نظام MLS، لكنها تفتقر إلى متطلبات التنفيذ التفصيلية التي كانت موجودة في نصوص الكتاب البرتقالي السابقة، وتركز بشكل أكبر على الأهداف. وهذا يمنح الجهات المانحة للشهادات مرونة ذاتية أكبر في تحديد ما إذا كانت الميزات التقنية للمنتج الذي قُيم تحقق الهدف بشكل كافٍ، مما قد يؤدي إلى تآكل اتساق المنتجات التي قُيمت وتسهيل الحصول على الشهادة للمنتجات الأقل جدارة بالثقة. ولهذه الأسباب، فإن أهمية التفاصيل الفنية لملف الحماية تعتبر أمراً بالغ الأهمية لتحديد مدى ملاءمة المنتج.
تمنع هذه الهندسة المعمارية المستخدم أو العملية المعتمدة على تصنيف معين أو مستوى ثقة من الوصول إلى المعلومات أو العمليات أو الأجهزة في مستوى مختلف. يوفر هذا آلية احتواء للمستخدمين والعمليات، المعروفة وغير المعروفة. قد يشتمل البرنامج غير المعروف على تطبيق غير موثوق به حيث يجب على النظام مراقبة أو التحكم في الوصول إلى الأجهزة والملفات.
أُعتمد عدد قليل من تنفيذات MAC، مثل مشروع Blacker التابع لشركة Unisys، على أنها قوية بما يكفي لفصل Top Secret عن Unclassified في أواخر الألفية الماضية. أصبحت التكنولوجيا الأساسية لديهم قديمة ولم تُحدث. اليوم لا توجد أي تنفيذات حالية معتمدة من قبل TCSEC لهذا المستوى من التنفيذ القوي. ومع ذلك، هناك بعض المنتجات الأقل قوة.
تحكم إلزامي بالوصول في أنظمة التشغيل
بدءًا من Windows Vista وServer 2008، قامت Microsoft بدمج Mandatory Integrity Control (MIC) في نظام التشغيل Windows، والذي يضيف مستويات السلامة (IL) إلى العمليات الجارية. الهدف هو تقييد وصول العمليات الأقل موثوقية إلى المعلومات الحساسة. يعرف MIC خمسة مستويات للسلامة: منخفضة، ومتوسطة، وعالية، ونظام، ومثبت موثوق. بشكل افتراضي، بدأت العمليات عند الوسيط IL. تتلقى العمليات المرتفعة IL عاليًا. ترث العمليات الفرعية، بشكل افتراضي، سلامة العملية الأصلية، على الرغم من أن العملية الأصلية يمكنها تشغيلها باستخدام مستوى سلامة أقل. على سبيل المثال، يقوم Internet Explorer 7 بتشغيل العمليات الفرعية الخاصة به باستخدام IL منخفض. يتحكم Windows في الوصول إلى الكائنات استنادًا إلى ILs. تحتوي الكائنات المسماة، بما في ذلك الملفات أو مفاتيح التسجيل أو العمليات والخيوط الأخرى، على إدخال في قائمة التحكم في الوصول (ACL) الخاصة بها يشير إلى الحد الأدنى لعدد عمليات الوصول إلى العملية التي يمكنها استخدام الكائن. يفرض MIC أن العملية يمكنها الكتابة إلى كائن أو حذفه فقط عندما يكون IL الخاص بها مساويًا أو أعلى من IL الخاص بالكائن. علاوة على ذلك، لمنع الوصول إلى البيانات الحساسة في الذاكرة، لا يمكن للعمليات فتح العمليات ذات IL أعلى للوصول للقراءة.
تحكم إلزامي بالوصول في أنظمة التشغيل
قامت شركة Apple Inc. بدمج تنفيذ إطار عمل TrustedBSD في أنظمة التشغيل iOS وmacOS الخاصة بها. (الكلمة "mac" في "macOS" هي اختصار لـ " Macintosh " وليس لها علاقة باختصار "التحكم في الوصول الإلزامي" توفر وظيفة سطر الأوامر sandbox_init واجهة حماية محدودة عالية المستوى.
تستخدم الإصدارات 5.0 والإصدارات الأحدث من نظام التشغيل Android، التي طورتها Google SELinux لفرض نموذج أمان MAC على نهج DAC الأصلي القائم على UID.
يحتوي Linux والعديد من توزيعات Unix الأخرى على MAC لوحدة المعالجة المركزية (متعددة الحلقات)، والقرص، والذاكرة. على الرغم من أن برامج نظام التشغيل قد لا تدير الامتيازات بشكل جيد، فقد اكتسب Linux شهرة خلال التسعينيات باعتباره أكثر أمانًا وأكثر استقرارًا من البدائل غير التابعة لـUnix. وحدات أمان Linux الرئيسية الثلاث التي تنفذ MAC هي SELinux وAppArmor وTOMOYO Linux.
تحكم إلزامي بالوصول في أنظمة التشغيل
لينكس المعزز أمنيًا (SELinux) طور في الأصل بواسطة وكالة الأمن القومي وصُدر لمجتمع المصدر المفتوح (Open Source) في عام 2000. إنه أحد أول تطبيقات MAC لنظام Linux وهو أيضًا أحد أكثر التطبيقات شيوعًا. دُمج في نوى Linux منذ الإصدار 2.4، ومُكن افتراضيًا على Android 5.0+ وRed Hat/Fedora. يوفر SELinux تحكمًا قويًا للغاية ودقيقًا، ولكن يجد العديد من المستخدمين أن قوته وتفاصيله تأتي مع درجة عالية من التعقيد ومنحنى تعليمي حاد.
تحكم إلزامي بالوصول في أنظمة التشغيل
TOMOYO Linux هو تطبيق MAC خفيف الوزن لنظام Linux وLinux المضمن، طور بواسطة NTT Data Corporation. دُمج في إصدار Linux Kernel الرئيسي 2.6.30 في يونيو 2009. على عكس النهج القائم على العلامات الذي يستخدمه SELinux، يقوم TOMOYO Linux بإجراء التحكم في الوصول الإلزامي القائم على اسم المسار، وفصل المجالات الأمنية وفقًا لسجل استدعاء العملية، والذي يصف سلوك النظام. تُوصف السياسات من حيث أسماء المسارات. يُعرف مجال الأمان ببساطة من خلال سلسلة استدعاء العملية، ويُمثل بواسطة سلسلة. هناك 4 أوضاع: الإعاقة، التعلم، التسامح، التنفيذ. يمكن للمسؤولين تعيين أوضاع مختلفة لمجالات مختلفة. قدمت TOMOYO Linux وضع "التعلم"، حيث تُحاا عمليات الوصول التي حدثت في النواة وتخزينها تلقائيًا لتوليد سياسة MAC: يمكن أن يكون هذا الوضع بعد ذلك الخطوة الأولى في كتابة السياسة، مما يجعل من السهل تخصيصها لاحقًا.
تحكم إلزامي بالوصول في أنظمة التشغيل
AppArmor هو تطبيق MAC يستخدم واجهة Linux Security Modules (LSM) الخاصة بنظام Linux 2.6 وهو مدمج في SUSE Linux وUbuntu 7.10. يوفر LSM واجهة برمجة تطبيقات kernel تسمح لوحدات كود kernel بالتحكم في ACL (DAC ACL، قوائم التحكم في الوصول). لا يمتلك AppArmor القدرة على تقييد جميع البرامج وهو متوفر بشكل اختياري في نواة Linux اعتبارًا من الإصدار 2.6.36.
يوفر RSBAC (التحكم في الوصول المستند إلى مجموعة القواعد) من Amon Ott إطار عمل لنواة Linux يسمح بعدة وحدات مختلفة لسياسة الأمان / القرار. أحد النماذج التي نُفذت هو نموذج التحكم في الوصول الإلزامي. كان الهدف العام لتصميم RSBAC هو محاولة الوصول إلى المستوى B1 من الكتاب البرتقالي (TCSEC) (القديم). نموذج التحكم في الوصول الإلزامي المستخدم في RSBAC هو نفسه إلى حد كبير كما هو الحال في نظام Unix System V/MLS، الإصدار 1.2.1 (طور في عام 1989 من قبل المركز الوطني لأمن الكمبيوتر في الولايات المتحدة الأمريكية مع التصنيف B1/TCSEC). يتطلب RSBAC مجموعة من التصحيحات لنواة المخزون، والتي تُصان بشكل جيد للغاية من قبل مالك المشروع.
تحكم إلزامي بالوصول في أنظمة التشغيل
Smack (نواة التحكم في الوصول الإلزامي المبسط) هي وحدة أمان نواة Linux التي تحمي البيانات والتفاعل بين العمليات من التلاعب الخبيث باستخدام مجموعة من قواعد التحكم في الوصول الإلزامي المخصصة، مع البساطة كهدف تصميمي رئيسي. دُمج رسميًا منذ إصدار Linux 2.6.25.
grsecurity عبارة عن تصحيح لنواة Linux يوفر تنفيذ MAC (على وجه التحديد، فهو تنفيذ RBAC). لم يُنفذ grsecurity عبر واجهة برمجة التطبيقات LSM.
يدعم FreeBSD التحكم في الوصول الإلزامي، والذي نُفذ كجزء من مشروع TrustedBSD. قُدم في FreeBSD 5.0. بدءًا من FreeBSD 7.2، مُكن دعم MAC بشكل افتراضي. الإطار قابل للتوسع؛ حيث تنفذ وحدات MAC المختلفة سياسات مثل Biba والأمان متعدد المستويات.
يستخدم نظام Solaris الموثوق به من Sun آلية التحكم في الوصول (MAC) الإلزامية والمطبقة بواسطة النظام، حيث تُستخدم الموافقات والعلامات لفرض سياسة الأمان. ومع ذلك، لاحظ أن القدرة على إدارة العلامات لا تعني قوة النواة للعمل في وضع الأمان متعدد المستويات. لا يمكن الوصول إلى العلامات وآليات التحكم محمي بشكل قوي من الفساد في المجال المحمي الذي يُصان بواسطة النواة. تُدمج التطبيقات التي يقوم المستخدم بتشغيلها مع تسمية الأمان التي يعمل بها المستخدم في الجلسة. إن الوصول إلى المعلومات والبرامج والأجهزة لا يخضع إلا لسيطرة ضعيفة.
مايك فيبيرت
مايك فيبيرت (بالإنجليزية: Mike Vibert) (1950 – 15 يناير 2011) كان معلمًا وسياسيًا من جيرزي، وشغل منصب وزير التعليم والرياضة والثقافة في الجزيرة من 2005 حتى 2008.
شغل سابقًا منصب رئيس جمعية معلمي جيرزي، ونائب رئيس لجنة إدارة نادي سان بريليد للشباب، وبروكيور دو بيان بوبليك في بلدية لا موى.
مايك فيبيرت التعليم
تلقى فيبيرت تعليمه في مدرسة ليس لاندز ومدرسة هوتليو. ثم تدرب كمعلم في كلية سانت مارك وسانت جون (والتي كانت تقع آنذاك في لندن). انتقل من التدريس إلى الصحافة، وحصل على شهادة الدراسات العليا في الصحافة من المجلس الوطني لتدريب الصحفيين (شيفيلد).
مايك فيبيرت الصحافة
في جيرزي، وبعد ثلاث سنوات من العمل في جريدة جيرزي إيفنينغ بوست، أصبح أحد الأعضاء المؤسسين الأربعة لفريق بي بي سي راديو جيرزي عند تأسيسه، حيث شغل منصب أول محرر أخبار ثم مساعد المحرر. كما قدم تعليقات على بث جلسات برلمان جيرزي. وبعد تسريحه من بي بي سي راديو جيرزي في عام 1995، أصبح محررًا لمجلة Inside Jersey، وهي مجلة إخبارية ملونة.
مايك فيبيرت المسيرة السياسية
انتُخب في عام 1996 كنائب عن دائرة سان بريليد رقم 2 (865 صوتًا)، وأعيد انتخابه في عام 1999 (1,202 صوتًا). خلال هذه الفترة، عمل بنشاط على إنشاء منتزه ليس كرو الريفي، بالقرب من خليج بوبورت.
انتُخب في عام 2002 كعضو مجلس الشيوخ (في المركز الرابع بـ10,624 صوتًا).
في الانتخابات العامة في جيرزي 2008، التي أُجريت في 15 أكتوبر 2008، خسر مقعده في مجلس الشيوخ.
داخل البرلمان، شغل منصب رئيس لجنة الرياضة والترفيه، وأيضًا رئيس اللجنة الخاصة بشأن تشكيل وانتخابات البرلمان.
مايك فيبيرت العمل المجتمعي
في أوائل عام 2010، أصبح نائب رئيس جمعية جيرزي للبساتين وحدائق الترفيه (JALGA)، حيث لعب دورًا حاسمًا في إنشاء أول حدائق الخضروات العامة في ليس كرو بسان بريليد، منطقته الأم.
محمد بخاري بن عثمان بن فودي
محمد بخاري بن عثمان بن فودي (1785-1840) كان عالمًا إسلاميًا وشاعرًا مشهورًا وكان أول أمير لطمبول. كان محمد بخاري قائدًا عسكريًّا مُهمًّا شارك وقاد العديد من الحملات العسكرية في حرب الفولاني.
محمد بخاري بن عثمان بن فودي الحياة المبكرة
وُلِد محمد بخاري في ديجل[الإنجليزية]، وهي بلدة صغيرة في مملكة جوبير الهوسية. كان والده عثمان دان فوديو عالمًا إسلاميًّا وواعظًا بارزًا من عشيرة الفولاني في تورودبي. والدته عائشة تنتمي إلى عائلة ذات تقليد طويل في مجال العلم. ودرس محمد على يد والده، وعلى يد عمه عبد الله. ولأنه نشأ في بيت عبد الله، فقد كرّس محمد جزءًا كبيرًا من حياته لعمه. ومن بين أساتذته الآخرين المصطفى بن محمد الترودي، كاتب عثمان، ووالد العالم الصكتو عبد القادر دان طفا.
محمد بخاري بن عثمان بن فودي الحياة
كان بخاري أحد القادة الثمانية لحرب سوكوتو. شارك في حملات في المنطقة الجنوبية من خلافة سوكوتو، بما في ذلك نُوبي، إلى جانب ابن عمه محمد واني، نجل عبد الله. وكان له أيضًا دور فعال في حملات غواندو، التي كانت تهدف إلى تهدئة المنطقة. في عام 1805، انضم محمد إلى قوات عبد الله في حملة ضد مملكة الهاوسا في كيبي[الإنجليزية]. بعد سقوط بيرنين كيبي، فر الساركين كيبي، محمد هودي، من العاصمة. ومع ذلك، في عام 1816، شن هودي مقاومة شرسة ضد الخلافة من معاقله في كيمبا، وأوجي، وأرجونجو، والتي انتهت في نهاية المطاف في عام 1826 عندما قُتل على يد محمد بخاري.
محمد بخاري بن عثمان بن فودي الحياة
وبعد الانتصار في الحرب في عام 1808، عيّن عثمان دان فوديو شقيقه عبد الله حاكمًا للمناطق الغربية والجنوبية من الخلافة. وقد أوكل عبد الله إلى بخاري مهمة الإشراف على المناطق الجنوبية لإمارته. وفي هذه الفترة أسس بخاري إقطاعية تمباول التي نمت لتصبح المعقل الرئيس في المناطق الجنوبية من الخلافة، بعد غواندو. ومع ذلك، فقد تراجعت أهمية الإقطاع في عهد الخليفة أبي بكر عتيق (1837-1842). ابتداءً من عام 1812، تم تكليف بخاري أيضًا بإدارة نُوبي بعد تقاعد عبد الله من الشؤون الحكومية.
في كانون الثاني 1818، اندلعت ثورة شرسة في كالامبينا، وهي بلدة قريبة من غواندو. وكان المتمردون من أتباع عبد السلام، الذي تمرد أيضًا ضد الخلافة قبل شهر. استمرت ثورة كالامباينا لمدة عامين حتى نجحت قوة مشتركة بقيادة الخليفة محمد بيلو، وأتيكو، وبخاري، وواني في الاستيلاء على المدينة. أدى النصر في كالامباينا إلى توحيد غواندو وسوكوتو، اللذين كانا قد شهدا بعض العداوة بعد تجاوز عبد الله لصالح بيلو لخلافة عثمان في منصب ساركين مسلمي[الإنجليزية] في عام 1817.
محمد بخاري بن عثمان بن فودي الحياة
في عام 1836، واجهت إمارة إيلورين هجومًا من قوة مشتركة من أويو وبورجو[الإنجليزية]. قاد بخاري، إلى جانب شقيقه محمد سامبو، جيشًا يتكون من قوات من كل من سوكوتو وغواندو للمساعدة في الدفاع عن إيلورين[الإنجليزية]. على الرغم من أن قوات أويو-بورغو نجحت في البداية في دفع جيش بخاري إلى إيلورين، إلا أن معنوياتهم انهارت بعد مقتل ساركين بورجو، إلى جانب العديد من الشخصيات المهمة الأخرى في أويو وبورغو، في المعركة، مما سمح لقوات سوكوتو-جواندو بالدفاع عن المدينة بنجاح. أدى الصراع أيضًا إلى وفاة آخر علافن الأويوي[الإنجليزية]، مما أدى في النهاية إلى سقوط إمبراطورية اليوروبا.
بعد وفاة بيلو في عام 1837، لم يكن هناك خليفة واضح لأنه رفض تسمية واحد. وكان البخاري وأخوه الأكبر أبو بكر العتيق من أبرز المرشحين. وبعد مداولات طويلة، اختار مجلس الناخبين أتيكو خليفةً جديدًا. وعلى الرغم من السجل العسكري المتميز الذي يتمتع به بخاري (وخاصة نجاحاته في إيلورين في العام السابق)، وسمعته كشاعر، فقد تم تجاهله. يقترح البعض أن هذا كان بسبب قصائد الغزل الخاصة به، في حين يعتقد البعض الآخر أن ذلك كان بسبب تعرضه لإصابة في ساقه بعد سقوطه من حصانه، مما أدى إلى كسر ساقه في لحظة حرجة، مما جعله غير لائق لمنصبه.
محمد بخاري بن عثمان بن فودي الكتابات
كان محمد عالمًا وشاعرًا مشهورًا كُتب باللغة العربية الفصحى. اليوم، لا يزال هناك عشرون من قصائده محفوظة في أنحاء نيجيريا. كان معروفًا أيضًا بقصائد الغزل المثيرة للجدل.
مبرهنة التدفق الأقصى والقطع الأدنى
في علوم الكمبيوتر ونظرية التحسين، تنص نظرية الحد الأقصى للتدفق والحد الأدنى للقطع على أنه في شبكة التدفق، فإن الحد الأقصى لكمية التدفق التي تمر من المصدر إلى الحوض يساوي الوزن الإجمالي للحواف في الحد الأدنى للقطع، أي أصغر وزن إجمالي للحواف التي إذا أُزيلت ستفصل المصدر عن الحوض.
على سبيل المثال، تخيل وجود شبكة من الأنابيب تحمل المياه من خزان (المصدر) إلى مدينة (الحوض). يتمتع كل أنبوب بسعة تمثل الحد الأقصى لكمية المياه التي يمكن أن تتدفق من خلاله لكل وحدة زمنية. تخبرنا نظرية الحد الأقصى للتدفق والحد الأدنى للقطع أن الحد الأقصى لكمية المياه التي يمكن أن تصل إلى المدينة يقتصر على أصغر سعة إجمالية لأي مجموعة من الأنابيب، والتي إذا قُطعت، فإنها ستعزل الخزان عن المدينة تمامًا. أصغر سعة إجمالية هي الحد الأدنى للقطع. لذا، إذا كان هناك عنق زجاجة في شبكة الأنابيب، يتمثل في قطع صغير، فإن هذا العنق سيحدد الحد الأقصى الإجمالي لتدفق المياه إلى المدينة.
هذه حالة خاصة من نظرية الثنائية للبرامج الخطية ويمكن استخدامها لاستنتاج نظرية مينجر ونظرية كونيج-إيجرفاري.
مبرهنة التدفق الأقصى والقطع الأدنى التعاريف والبيان
تساوي النظرية بين كميتين: الحد الأقصى للتدفق عبر شبكة، والحد الأدنى لسعة جزء من الشبكة. ولتوضيح هذه النظرية، لا بد من تعريف كل من هذه المفاهيم أولاً.
التدفق عبر الشبكة هو رسم خرائط  يُشار إليه بـ  أو  ، مع مراعاة القيود التالية:
يمكن تصور التدفق على أنه تدفق مادي للسائل عبر الشبكة، باتباع اتجاه كل حافة. وينص قيد السعة بعد ذلك على أن الحجم المتدفق عبر كل حافة لكل وحدة زمنية أقل من أو يساوي الحد الأقصى لسعة الحافة، وينص قيد الحفاظ على البيئة على أن الكمية التي تتدفق إلى كل رأس تساوي الكمية المتدفقة من كل رأس، باستثناء رؤوس المصدر والمصرف.
حيث كما هو مذكور أعلاه  هو المصدر و  هو مصدر الشبكة. في تشبيه السوائل، يمثل كمية السائل التي تدخل الشبكة عند المصدر. وبسبب مبدأ الحفاظ على التدفقات، فإن هذا هو نفس مقدار التدفق الذي يغادر الشبكة عند الحوض.
مشكلة التدفق الأقصى. تعظيم ، أي توجيه أكبر قدر ممكن من التدفق من  ل .
مبرهنة التدفق الأقصى والقطع الأدنى التعاريف والبيان
يشير النصف الآخر من نظرية الحد الأقصى للتدفق والحد الأدنى للقطع إلى جانب مختلف من الشبكة: مجموعة القطع. القطع الثابت C = (S, T) هو تقسيم لـ V بحيث s ∈ S و t ∈ T. أي أن القطع الثابت s - t هو تقسيم رؤوس الشبكة إلى قسمين، حيث يكون المصدر في أحد القسمين والمصرف في القسم الآخر. مجموعة القطع  من القطع C هي مجموعة الحواف التي تربط جزء المصدر من القطع بجزء الحوض:
وبالتالي، إذا أُزيلت جميع الحواف في مجموعة القطع C، فلن يكون هناك تدفق إيجابي ممكن، لأنه لا يوجد مسار في الرسم البياني الناتج من المصدر إلى الحوض.
سعة القطع هي مجموع سعات الحواف في مجموعة القطع الخاصة بها،
عادةً ما يكون هناك العديد من القطع في الرسم البياني، ولكن القطع ذات الأوزان الأصغر غالبًا ما يكون من الصعب العثور عليها.
مشكلة القطع الأدنى. تقليل c(S, T) ، أي تحديد S و T بحيث تكون سعة القطع st ضئيلة.
في الحالة المذكورة أعلاه، يمكن إثبات أن قيمة أي تدفق عبر شبكة أقل من أو تساوي سعة أي قطع ، وأنه علاوة على ذلك يوجد تدفق بقيمة قصوى وقطع بسعة دنيا. تربط النظرية الرئيسية بين الحد الأقصى لقيمة التدفق والحد الأدنى لسعة القطع للشبكة.
نظرية الحد الأقصى للتدفق والحد الأدنى للقطع. القيمة القصوى لتدفق st تساوي الحد الأدنى للسعة على جميع قطع st.
مبرهنة التدفق الأقصى والقطع الأدنى مثال
يوضح الشكل الموجود على اليمين التدفق في الشبكة. يشير التعليق الرقمي على كل سهم، في النموذج f / c ، إلى التدفق ( f ) وسعة السهم ( c ). ويبلغ مجموع التدفقات الصادرة من المصدر خمسة (2+3=5)، كما يبلغ مجموع التدفقات إلى الحوض (2+3=5)، مما يؤكد أن قيمة التدفق هي 5.
يُعطى قطع s - t واحد بقيمة 5 بواسطة S ={ s, p } و T ={ o, q, r, t }. سعة الحواف التي تعبر هذا القطع هي 3 و 2، مما يعطي سعة قطع 3 + 2 = 5. (لا يؤخذ السهم من o إلى p في الاعتبار، لأنه يشير من T إلى S مرة أخرى)
قيمة التدفق تساوي سعة القطع، مما يدل على أن التدفق هو تدفق أقصى وأن القطع هو قطع أدنى.
لاحظ أن التدفق عبر كل من السهمين اللذين يربطان S بـ T يكون بكامل طاقته؛ وهذا هو الحال دائمًا: يمثل القطع الأدنى "عنق زجاجة" للنظام.
مبرهنة التدفق الأقصى والقطع الأدنى صياغة البرنامج الخطي
يمكن صياغة مشكلة التدفق الأقصى ومشكلة القطع الأدنى كبرنامجين خطيين ثنائيين أساسيين.
مخطط كهربائية قلب أيسر مرشح عبر المريء
مخطط كهربائية القلب الأيسر المرشّح عبر المريء طريقة شبه جراحية لتخطيط كهربائية القلب. بإمكان هذه التقنية توفير معلومات إضافية حول نشاط كل من الأذين الأيسر والبطين الأيسر.
مخطط كهربائية قلب أيسر مرشح عبر المريء تطبيق مسرى مريئي ثنائي القطب
يتطلب تسجيل مخطط كهربائية القلب الأيسر عبر المريء وجود مسرى كهربائي مريئي ثنائي القطب. مثلًا، يمكن استخدام مسرى توسليم (شركة أوسيبكا إيه جي، راينفيلدن، ألمانيا). يجب تطبيقه عبر الفم أو عبر الأنف إما مع أو بدون تخدير خفيف. لتسجيل مخطط كهربائية الأذين الأيسر عند البالغين ذوي الحجم المتوسط، توضع الأقطاب الكهربائية على بعد 38 سم مقاسةً بدءًا من الصف العلوي للأسنان. عند هذا الارتفاع، يمكن توقع السعة القصوى لانحراف الأذين الأيسر، ويتحقق ذلك بالتعديل الدقيق لاتجاه سلك التوصيل. بعد ذلك، يجب تثبيت المسرى الكهربائي على ذقن المريض باستخدام شريط لاصق.
مخطط كهربائية قلب أيسر مرشح عبر المريء مخطط الكهربائية المرشح ثنائي القطب عبر المريء
لتجنب الأخطاء في مخطط كهربائية الأذين الأيسر عبر المريء ولتحسين تمايز انحراف الأذين الأيسر عن المركب البطيني، يوصى بالترشيح باستخدام مرشح باتروورث للتمرير العالي. مثلًا، يمكن استخدام روستوكفيلتر (شركة أوسيبكا إيه جي، راينفيلدن، ألمانيا) ملحقًا إلكترونيًا منفصلًا لأجهزة تخطيط كهربائية القلب لهذا الغرض. ليس من الضروري ربط أجهزة مختلفة من أجل تسجيل مخطط الكهربائية المرشح عبر المريء في حالة استخدام المبرمج آي سي إس 3000 (بيوترونيك جي إم بي إتش برلين، ألمانيا). توفر ميزة تسجيل مخطط الكهربائية عبر المريء في آي سي إس 3000 مخططًا كهربائيًا مرشحًا للأذين الأيسر باستخدام مرشح باتروورث للتمرير العالي. بالمشاركة مع مخطط كهربائية القلب السطحي، قد يكون تسجيل مخطط كهربائية الأذين الأيسر المرشح ثنائي القطب عبر المريء مفيدًا في جميع الحالات التي تتطلب التحديد الدقيق للنشاط الأذيني.
مخطط كهربائية قلب أيسر مرشح عبر المريء مخطط الكهربائية المرشح ثنائي القطب عبر المريء
يمكن مشاهدة الحد الأقصى لانحراف البطين الأيسر على عمق نحو 3-5 سم من الحد الأقصى لانحراف البطين الأيسر. يجب تعديل الاتجاه بدقة بهدف تسجيل الانحرافات القصوى في الأذين الأيسر أو البطين الأيسر، على التوالي. لتجنب الأخطاء في مخطط كهربائية الأذين الأيسر عبر المريء ولتحسين تمايز انحراف الأذين الأيسر عن المركب البطيني، يوصى بإجراء ترشيح عالي التردد. يمكن الحصول على نتائج جيدة باستخدام مرشح باتروورث 15 هرتز للتمرير العالي. في موضع الانحراف الأقصى للأذين الأيسر، لتحقيق الحد الأقصى من التشويش الذي يسببه ارتفاع (سعة) المركب كيو آر إس، يجب تحديد التردد الأدنى لمرشح التمرير العالي بدرجة 40 هرتز.
مخطط كهربائية قلب أيسر مرشح عبر المريء الاستخدام
بالمشاركة مع تخطيط كهربائية القلب السطحي، قد يكون تسجيل مخطط كهربائية الأذين الأيسر المرشح ثنائي القطب عبر المريء مفيدًا في جميع الحالات التي تتطلب التحديد الدقيق للنشاط الأذيني. من خلال تطبيق مسرى كهربائي ثنائي القطب في الموقع المريئي عند أقصى انحراف للأذين الأيسر واستخدام مرشح باتروورث عالي التمرير، يوفر مخطط كهربائية القلب الأيسر «واسمًا إضافيًا للأذين الأيسر». بهذه الطريقة، يمكن تمييز الأنشطة الأذينية بسهولة حتى لو كانت متراكبة بواسطة مركب كيو آر إس. لذلك، يمكن استخدام تسجيل مخطط كهربائية القلب الأيسر، مثلًا، للتمييز السريع بين تسرع القلب والانقباضات الخارجة.
قائمة إصدارات الطوابع في أوكرانيا لسنة 2000
هذه قائمة الطوابع البريدية التي أصدرها البريد الأوكراني للتداول في عام 2000.
في الفترة من من 5 يناير إلى 15 ديسمبر 2000، أصدر 71 طابعًا بريديًا تذكاريًا. غطت الطوابع التذكارية مواضيع ذكرى التواريخ والأحداث الهامة وذكرى الشخصيات الثقافية البارزة وغيرها. طرحت طوابع بريدية للتداول بالقيم التالية:
بالإضافة إلى تداول إضافي للإصدار الثالث من الطوابع القياسية التي تحمل الحرف "Е". (وهو ذات الطابع الذي أصدر عام 1994)) وطُبعت كل الطوابع في مؤسسة "دار الطباعة الأوكراني" المملوكة للدولة.
بالإضافة إلى ذلك، أعد إصدار طوابع بريدية قياسية "شعارات هيتمان" مع فئات الحروف:
قائمة إصدارات الطوابع في أوكرانيا لسنة 2000
ولكنها لم تطرح للتداول. وقد أنشأ الفنان أليكسي شتانكو ثمانية نماذج لطوابع بريدية، وقد طلب طباعة خمسة طوابع بالفئات البريدية الأكثر تداولا («А», «В», «Г», «Д», «Ж»). لم تكن النسخة المطبوعة مثقوبة، وقد درمت لاحقًا بسبب العيوب المكتشفة في صورة شعارات النبالة وبسبب عن عدم دقة تصميمها. وقد تقرر عدم إصدار هذا العدد للتداول، وقد تقرر تطوير نماذج جديدة مختلفة للطوابع البريدية القياسية وذات التصميم المختلف. ومع ذلك، فإن جزءًا من الطوابع المتداولة غير المثقوبة وصلت إلى هواة جمع الطوابع.
قائمة إصدارات الطوابع في أوكرانيا لسنة 2000 قائمة الطوابع التذكارية
يتوافق ترتيب العناصر في الجدول مع الرقم الموجود في دليل طوابع أوكرانيا على الموقع الرسمي للبريد الأوكراني ((بالأوكرانية: КМД УДППЗ «Укрпошта»)، بين قوسين الأرقام وفقًا "لدليل ميشيل للطوابع".
مسافة هامينغ
مسافة هامينغ هو مصطلح في نظرية المعلومات يُستخدم للدلالة على عدد المواضع التي تختلف فيها الرموز المتناظرة بين سلسلتين أو متجهين متساويي الطول، أو بمعنى آخر، هي المسافة التي تقيس الحد الأدنى لعدد عمليات الاستبدال اللازمة لتغيير سلسلة إلى أخرى، أو ما يعادلها، أو تقيس الحد الأدنى لعدد الأخطاء التي كان من الممكن أن تُحوّل سلسلة إلى أخرى.
تُستخدم هذه المسافة بشكل رئيسي في نظرية الترميز، وبالتحديد في رموز الكتل، حيث تكون السلاسل المتساوية الطول متجهات عبر مجال محدود. تُعد مسافة هامينغ واحدة من عدة مقاييس سلسلة تُستخدم لقياس مسافة التحرير بين تسلسلين. وقد سُميت بهذا الاسم تيمّنًا بعالم الرياضيات الأمريكي ريتشارد هامينغ.
مسافة هامينغ التعريف
تُعرف مسافة هامينغ بين سلسلتين متساويتين من الرموز بأنها تساوي عدد المواضع التي تختلف فيها الرموز المتناظرة. يُمكن أن تكون هذه الرموز عبارة عن أحرف، أو بتات، أو أرقامًا عشرية، من بين احتمالات أخرى. فعلى سبيل المثال:
مسافة هامينغ التاريخ
قدم عالم الرياضيات وعالم الحاسوب الأمريكي ريتشارد هامينغ هذا المفهوم لأول مرة عام 1950 في بحثه الأساسي حول ترميز هامينغ، وأكواد اكتشاف الأخطاء وتصحيحها.
مسافة هامينغ التطبيقات
يُستخدم مفهوم مسافة هامينغ وتحليل وزن هامينغ للبتات في العديد من التخصصات مثل علوم الحاسوب والاتّصالات، وبالأخص في نظرية المعلومات، ونظرية الترميز، والتعمية. في مجال الاتصالات، تُستخدم مسافة هامينغ لحساب عدد البتات المقلوبة في كلمة ثنائية ذات طول ثابت كتقدير للخطأ، ولذلك يُطلق عليها أحيانًا مسافة الإشارة. بالنسبة لسلاسل q-ary على أبجدية بحجم q ≥ 2، تُطبّق مسافة هامينغ في حالة القناة المتماثلة q-ary، بينما تُستخدم مسافة لي في مفاتيح إزاحة الطور أو بشكل عام في القنوات المعرضة لأخطاء التزامن لأن مسافة لي تمتلك نسبة خطأ ±1. إذا كانت 𝑞 = 2 أو 𝑞 = 3، فإن المسافتين تتطابقان لأن أي زوج من العناصر من 𝑍 / 2 𝑍 أو 𝑍 / 3 𝑍 يختلف بمقدار 1، ولكن تختلف المسافات بالنسبة لقيم 𝑞 الأكبر.
تُستخدم مسافة هامينغ أيضًا في علم التصنيف كمقياس للمسافة الجينية. ولكن عند مقارنة سلاسل نصية ذات أطوال مختلفة، أو سلاسل نصية تتطلب عمليات استبدال أو إدراج أو حذف، فقد يكون من الأنسب استخدام مقياس أكثر تطورًا مثل مسافة ليفينشتاين.