EDU: QuaSim: A Virtual Interactive Quantum Cryptography Educator-A Project-based Gamified Educational Paradigm

量子密码学是一个通常很难学习的主题。一个可能的原因是，学生被视为被动的接受者，线性和零散的教学演示，没有机会学习学科的整体性质。此外，量子加密设备昂贵，超出了大多数大学的能力范围。 与此同时，与传统的讲座相比，基于项目的学习环境被证明更有可能满足教育目标。量子密码学模拟器是一个基于教学游戏的模拟器，通过将量子密码学中基于主题的讲座转换为基于项目的虚拟模拟，为学生提供交互式体验，以提高学习效果。量子密码学模拟器中的知识组件被编码在一个高度表达的一阶逻辑中，并通过溯因推理增强，以生成用户交互和解决方案的解释。一个持续的自适应框架生成定制的场景和地雷的反应，以可衡量地改善学习。虽然重复地能够在没有提示的情况下解决问题的用户被引导到更难和/或定时的问题，但是重复地执行错误交互的用户被馈送到预定义和自动学习的错误模型中，以识别负责的知识组件和具有提示的规定场景，以解决知识差距。SIMULINK可能是第一个基于游戏的量子密码模拟器，它结合了溯因定理证明沿着和数据分析，根据用户的表现不断调整游戏场景，以显著改善学习。这样的调整，使教师经验和量化学生的表现知识组件和设计课程计划。预计ESPSim将提高本科和研究生STEM教育的质量和效率。

Quantum cryptography is a subject that is typically difficult to learn. One possible reason is that students are treated as passive recipients with linear and fragmented teaching presentations that provide no opportunity for learning the holistic nature of the discipline. Further, quantum cryptographic equipment is expensive and beyond the reach of most universities. At the same time, project-based learning environments are proven more likely to meet educational objectives compared to traditional lectures. QuaSim is a pedagogical game-based simulator that allows students an interactive experience to improve learning by transforming subject-based lectures in quantum cryptography into project-based virtual simulations.The knowledge components in QuaSim are codified in a highly expressive first-order logic augmented with abductive reasoning to generate explanations for user interactions and solutions. A continual adaptive framework generates customized scenarios and mine responses to measurably improve learning. While a user who is repeatedly able to solve problems without hints is led to harder and/or timed problems, a user repeatedly performing erroneous interactions is fed into pre-defined and automatically learned error models to identify the responsible knowledge component and prescribed scenarios with hints to address knowledge gaps. QuaSim is perhaps the first game-based simulator for quantum cryptography that incorporates abductive theorem proving along with data analysis to continuously adapt game scenarios based on user performance to measurably improve learning. Such adaptations enable instructors to empirically and quantifiably relate student performance to knowledge components and design lesson plans. QuaSim is expected to improve the quality and efficiency of undergraduate and graduate STEM education.