منطق السُّلَّم لبوابة XOR بثلاثة مفاتيح: التصميم الصحيح للتكافؤ الفردي
دليل مُصحَّح لمنطق سُلَّم XOR ذي ثلاثة مفاتيح لمنصتَي SLC 500 وLogix، يغطي التكافؤ الفردي، وتجهيز البتات الداخلية، وحدود XOR على مستوى الكلمات، وسلوك الأزرار...
غالبًا ما يُقدَّم استخدام ثلاثة مفاتيح ثابتة للتحكم في خرج واحد على أنه تمرين في منطق السلم، لكن السؤال الهندسي الحقيقي أكثر تحديدًا: هل ينبغي تشغيل الخرج عندما يكون عدد المدخلات الصحيحة فرديًا، أم ينبغي أن يؤدي تشغيل أي مفتاح ببساطة إلى عكس الحالة السابقة للخرج؟ هذان متطلبان مختلفان. الأول هو XOR التوافقي، أو التكافؤ الفردي. أما الثاني فيحتاج إلى ذاكرة حالة واكتشاف الحواف.
بالنسبة إلى ثلاثة مفاتيح اختيار ثابتة، تكون المواصفة المعتادة هي التكافؤ الفردي: يضيء المصباح عند إغلاق مفتاح واحد أو ثلاثة مفاتيح، وينطفئ عند إغلاق صفر أو مفتاحين. تساعد كتابة هذا المتطلب قبل رسم نقاط التلامس على منع تنفيذ دالة بوليانية خاطئة بواسطة مسار يبدو منطقيًا.
يكون XOR ذو المداخل الثلاثة صحيحًا عندما يكون عدد المداخل الصحيحة فرديًا؛ وهو ليس الشيء نفسه كأمر تبديل يتذكر الحالة.
ابدأ بحالات المداخل الثماني
تسلسل الخرج المتوقع للمدخلات S1 وS2 وS3 هو 0، 1، 1، 0، 1، 0، 0، 1، مع تقدم حالات المداخل الثنائية من 000 إلى 111. وبعبارة بسيطة، يؤدي إغلاق مفتاح واحد إلى تشغيل الخرج، ويؤدي إغلاق مفتاحين إلى إيقافه، بينما يؤدي إغلاق المفاتيح الثلاثة إلى تشغيله مرة أخرى.
هذه الحالة الأخيرة هي موضع الخطأ في كثير من الشروحات. فـ XOR ذي المداخل الثلاثة هو دالة تكافؤ فردي، ولذلك يجب أن تعطي الحالة 111 نتيجة صحيحة. أما التنفيذ الذي يتعرف فقط على «مدخل صحيح واحد بالضبط» فليس XOR؛ بل يستبعد عمدًا حالة المداخل الصحيحة الثلاثة. وعلى العكس، فإن إجراء OR بين تعبيرات XOR الثنائية الثلاثة ينتج دالة مختلفة: تكون صحيحة كلما لم تكن المداخل متساوية جميعًا، ما يشمل حالات وجود مدخلين صحيحين، ولذلك يفشل أيضًا في تحقيق جدول الحقيقة المطلوب.
تتمثل الممارسة الأكثر أمانًا أثناء التشغيل التجريبي في التعامل مع جدول الحقيقة باعتباره اختبار القبول. لا تحكم على البرنامج من موضعي مفتاح أو ثلاثة مواضع مريحة فقط.
سلسلة مرحلتي XOR ثنائيتي المدخل
عملية XOR تجميعية، ما يتيح التعبير عنها بالشكل (S1 XOR S2) XOR S3. في برنامج SLC 500، يمكن لبت داخلي تخزين نتيجة المرحلة الأولى. ثم يدمج مسار ثانٍ هذا البت مع S3. يمنح ذلك كل مسار غرضًا صغيرًا يمكن فحصه، ويجعل تشخيص الحالة عبر الإنترنت أسهل.
في تنفيذ يعتمد على نقاط التلامس، تستخدم كل مرحلة XOR ثنائية المدخل مسارين متوازيين: يفحص المسار الأول المدخل A باعتباره صحيحًا والمدخل B باعتباره خاطئًا؛ ويفحص المسار الثاني A باعتباره خاطئًا وB باعتباره صحيحًا. يلتقي المساران عند ملف واحد. كرر النمط نفسه باستخدام البت الوسيط والمدخل الثالث.
يكشف البت الوسيط نتيجة S1 XOR S2 قبل أن تدمجها المرحلة الثانية مع S3.
مثال على خطة العناوين
في مشروع تدريبي نموذجي على RSLogix 500، قد تكون عناوين S1 وS2 وS3 هي I:1/0 وI:1/1 وI:1/2. يكتب المسار الأول B3:0/0 بوصفه النتيجة الوسيطة، ويكتب المسار الثاني O:2/0 بوصفه أمر المصباح. هذه العناوين أمثلة فقط؛ ويجب أن يحدد تكوين الإدخال والإخراج المثبت التعيين الحقيقي.
ينبغي أن يكون للعنوان الوسيط كاتب واحد. قد تؤدي إعادة استخدام B3:0/0 في موضع آخر، أو وضع تعليمة خرج أخرى لـ O:2/0 لاحقًا في البرنامج، إلى الكتابة فوق نتيجة صحيحة أثناء الفحص نفسه. راجع الإحالات المرجعية للعنوانين قبل إلقاء اللوم على نمط XOR.
ليس XOR على مستوى الكلمات اختصارًا بوليانيًا تلقائيًا
تتضمن مجموعة تعليمات SLC 500 تعليمة XOR لإجراء OR حصري على مستوى البت بين معاملات كلمات. يوثق دليل مرجع مجموعة تعليمات SLC 500 من Rockwell Automation المعاملات والوجهات المدعومة. تفيد هذه التعليمة في الأقنعة وكلمات الحالة المجمعة، لكنها لا تلغي الحاجة إلى تحديد بتات الإدخال المشاركة في قرار تكافؤ واحد.
بالنسبة إلى ثلاثة مداخل منفصلة، يكون منطق نقاط التلامس المتسلسل عادةً أوضح لفنيي الصيانة. ويمكن تبرير التنفيذ على مستوى الكلمات عندما يجمع البرنامج أصلًا عددًا كبيرًا من بتات الحالة ويختزلها صراحةً إلى نتيجة تكافؤ، لكن يجب أن تكون خطوة الاختزال مرئية ومختبرة أيضًا.
لا تخلط بين التكافؤ ودالة التبديل
يتغير خرج ترتيب إضاءة ثلاثي الاتجاهات يعتمد على مفاتيح ثابتة كلما غيّر أي مفتاح فعلي موضعه. ومن منظور بولياني بحت، يمكن تمثيل الخرج في أي لحظة بتكافؤ مواضع المفاتيح الثلاثة. ولا حاجة إلى حالة مخزنة لأن مواضع المفاتيح نفسها تحتفظ بالحالة.
أما أزرار الضغط اللحظية فمختلفة. إذا كان الضغط على أي زر من ثلاثة أزرار يجب أن يبدّل المصباح، فيجب على PLC اكتشاف الحافة الصاعدة وعكس بت أمر محتفظ به مرة واحدة لكل ضغطة صحيحة. إن تطبيق XOR مباشرةً على ثلاثة مداخل لحظية يصف فقط الأزرار المضغوطة أثناء ذلك الفحص؛ ولا يتذكر حالة المصباح السابقة.
قد تتعرض أزرار الضغط الفعلية أيضًا لارتداد. لذلك يحتاج تصميم التبديل إلى تهيئة للمدخلات، ونبضة لمرة واحدة، وملكية واضحة للبت المحتفظ به، وحالة بدء محددة. وبالنسبة إلى أنماط الفحص ومعالجة البيانات ذات الصلة، يوضح الدليل الخاص باستخدام قيمة مؤقت SLC لضبط مؤقت آخر سبب ضرورة أن تكون حركة البيانات وترتيب المسارات واضحين.
شغّل المنطق التجريبي بوصفه دالة، لا صورة
اختبر أولًا البت الوسيط ذي المدخلين بمفرده. يجب أن يكون صحيحًا للحالتين 01 و10، وخاطئًا للحالتين 00 و11. ثم اختبر الخرج النهائي عبر حالات المداخل الثلاثة الثماني. سجّل الحالة المرصودة بدل الاعتماد فقط على تمييز المسار باللون الأخضر، لأن الفرض القسري والملفات المكررة وتحديث شاشة العرض عبر الإنترنت قد تخفي الجهة المالكة الفعلية للخرج.
تحقق بعد ذلك من سلوك التشغيل عند بدء الطاقة، والانتقال بين أوضاع البرنامج، واستبدال المدخلات، والاستجابة لدائرة ميدانية معطلة أو مفصولة. يمكن لمنطق XOR اكتشاف عدم التطابق، لكنه ليس تشخيصًا للسلامة بحد ذاته. وإذا كانت المفاتيح تشارك في وظيفة وقائية، فيحتاج التصميم إلى مداخل معتمدة للسلامة، ومراقبة عدم التطابق، واكتشاف الأعطال، وتقييم مخاطر مناسب للآلة.
يمكن مراجعة خيارات الأجهزة والترحيل لوحدات التحكم القديمة والحالية عبر مجموعة أنظمة PLC وPAC، لكن يجب تأكيد عائلة المعالج، وجهد الإدخال والإخراج، والعناوين، وملكية البرنامج قبل تكييف هذا المثال.
لماذا يسهل صيانة الإصدار ذي البت الداخلي
يمكن لمسار موسع واحد التعبير مباشرةً عن التكافؤ الفردي ذي المداخل الثلاثة، لكنه يتطلب أربع تركيبات متوازية ويصبح أصعب في الفحص مع إضافة مزيد من الشروط. أما تسلسل مرحلتي XOR ثنائيتي المدخل فيجعل القصد البولياني واضحًا، ويوفر نقطة تحقق تشخيصية، ويتوافق بسهولة بين عناوين RSLogix 500 ووسوم BOOL المسماة في Logix Designer.
رأي تحريري: أفضل حل سلمي هو الحل الذي يمكن شرح جدول حقيقته، وسلوك ذاكرته، واستجابته للأعطال أثناء تسليم أعمال الصيانة. لا تكون الاستفادة من بت داخلي إهدارًا للذاكرة عندما يمنع المهندس التالي من الخلط بين التكافؤ الفردي، ومنطق «واحد بالضبط»، والتبديل المتذكر باعتبارها الوظيفة نفسها.
الأسئلة الشائعة
هل ينبغي أن يكون الخرج قيد التشغيل عند إغلاق المفاتيح الثلاثة؟
نعم، إذا كان المتطلب هو XOR ذو ثلاثة مداخل أو التكافؤ الفردي. فثلاثة مداخل صحيحة تمثل عددًا فرديًا، ولذلك يكون الخرج صحيحًا. وإذا كان يجب أن تكون الحالة 111 خاطئة، فالدالة المطلوبة هي «واحد بالضبط» وليست XOR.
هل يمكن لتعليمة XOR في SLC 500 أن تحل محل مرحلتي السلم؟
تُجري التعليمة XOR على مستوى البت بين معاملات كلمات. ويمكن أن تكون جزءًا من حل يعتمد على بتات مجمعة، لكن لا تزال هناك حاجة إلى ترتيب بتات الإدخال الثلاثة واختزالها بحيث يمثل بت الوجهة التكافؤ المطلوب. وبالنسبة إلى دائرة منفصلة صغيرة، تكون مرحلتا نقاط التلامس أوضح عمومًا.
هل يضيف البت الوسيط تأخير فحص واحد؟
لا، ما دام المسار الذي يكتب البت الوسيط يُنفَّذ قبل المسار الذي يقرأه في الروتين والمهمة نفسيهما. سيرى المسار الثاني القيمة التي كُتبت في وقت سابق من الفحص نفسه. ويجب أن يظل ترتيب البرنامج موثقًا وتحت السيطرة.
ما الذي يتغير إذا كانت الأجهزة الميدانية أزرار ضغط لحظية؟
يتطلب التبديل باستخدام أزرار الضغط اللحظية اكتشاف الحافة وتخزين حالة الخرج. لا يستطيع XOR التوافقي وحده تذكر ما إذا كان المصباح قيد التشغيل أو الإيقاف سابقًا.
هل يناسب XOR دائرة تصويت للسلامة؟
ليس بمفرده. يقيّم XOR العادي الحالات البوليانية فقط. وتتطلب تطبيقات السلامة بنية سلامة موثقة، وتغطية تشخيصية، وتوقيتًا لاكتشاف عدم التطابق، وأجهزة مناسبة، والتحقق وفقًا لتقييم المخاطر المعمول به.
