单片机软件死锁问题和配置技术设计探讨

围绕单片机软件中存在的死锁和代码数据关联度高等问题进行分析探讨。以任务运行最大CPU需求时间作为“死锁”的干预策略,提高了软件系统对“死锁”的干预能力;提出采用配置技术进行设计,降低代码和数据的关联度,并给出详细的配置流程和说明。     

基于FCA具有认知诊断功能CAT的设计与实现

认知诊断（Cognitive diagnosis,CD）是智能教学系统的重要组成部分,但其研究存在一些问题：且对具有认知诊断功能的计算机化自适应测验（Computerized adaptive testing,CAT）的报导很少。CAT因人施测,公平高效,适合大规模测验。在规则空间模型与属性层次法的理论基础上,提出新的属性层次结构的类型,将形式概念分析（Formal concept analysis,FCA）应用于CD-CAT,以概念格为其理论模型,采用合适的题库建设技术、CD-CAT的选题策略和估计方法,建立概念格与CD-CAT的联系,据此开发出CD-CAT以实现对被试的实时诊断并讨论认知诊断的算法。采用Monte Carlo模拟进行实验,实验结果表明被试的知识状态较好地被诊断,能力估计精度在89%以上。