Year: 2022
Type: paratext
Abstract: إحدى مشاكل نظام الأمن للمباني هي إستخدام الأبواب التي يتم التحكم فيها بالبطاقة الذكية عندما يتم تصنيف المستخدمين فأن نماذج بطاقة التحكم توفر لهم طرق وصول مختلفة إعتمادا على تصنيفهم مما يسمح لهم بإستخدام أبواب معينة فقط و ليس دائما في كلا الإتجاهين حيث هناك حاجة إلى التحقق الرسمي من هذا النظام من أجل تحديد صلاحيته. على أساس هذا الإفتراض إستخدمت هذه الدراسة البروتوكول أو عملية لغة (Meta) بالأشتراك مع(SPIN) للتحقق من میزات نموذج التحكم بالبطاقة . بعد مقدمة لمتطلبات النموذج تقدم هذه المقالة شرحا أساسيا لإفتراضات النموذج بالإضافة إلى تعريف المتغيرات العالمية , بعد ذلك يتم تحديد المتغيرات حسب قيمتها الأصلية. بإستخدام تقنية (SPIN) أخذنا نموذجين و الذي سوف نجرب عليه النظام المقترح , الأول الطابق الأرضي للمبنى حيث من خلال هذا النظام سوف يتم التحكم بالأبواب و التجربة الثانية يعمل على خصائص النظام من حيث السرعة و تنفيذ الأنشطة الدقيقة للنظام. في النهاية نستطيع أن نقول أن هذا النظام يمكن إستخدامه في المباني و المواقع الذين يستعملون النظام الذكي للتحكم بالأبواب من خلال فحصه و مراقبته لأن النظام المقترح له القابلية على تنفيذ الأوامر المبرمجة المختلفة و القابلية على التأقلم مع متطلبات الموقع المستخدم.
DOI: 10.25098/6.1.30
Language: Arabic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
OpenAlex ID: W4283511095