专利名称：一种安全协议模型检测方法      申请号：2018101014599     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：协议 检测 模型检测   相似专利 发布日：2023/10/17  
摘要： 本发明提供一种模态逻辑转换成状态迁移系统的方法，属于计算机系统检测领域。包括：定义一种特殊的公式即交替公式；应用已知的性质以逻辑推导的方式推出其具有推迟的特殊性质；针对这一特殊性质定义一套新的优化规则；应用特殊性质及优化规则应用于线性时序逻辑到状态迁移系统的转换过程的某些步骤之中。在转换过程中逐步实现状态迁移系统的缩小和确定化。相较于传统的转换方法，本方法可以生成更小的状态空间，获得更确定化的迁移关系，尤其当参数较多时，往往拥有更快地转换速度。因此，提高了模型检测在应用到计算机硬件、通信协议、控制系统、安全认证协议等方面进行分析与验证时的速度、效率，保证了其质量，有良好的社会效益。

专利名称：基于深度学习学生在线学习效率预测的模型检测方法      申请号：2021104605376     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：深度学习 在线学习 检测 模型检测   相似专利 发布日：2023/10/17  
摘要： 一种基于深度学习学生在线学习效率预测的模型检测方法，由获取原始数据和特征、确定学生学习状态、确定动作状态轨迹序列、构建马尔可夫决策过程模型、生成PRISM代码、确定动作状态转移、处理迁移动作结果组成。在构建马尔可夫决策过程模型中采用了转移概率Pi,j构建马尔可夫决策过程模型，简化了构建步骤，减少了复杂的计算过程，提高了运算速度，将马尔科夫决策过程模型检测用于学生在线学习效率预测，能准确地预测出学生的学习效率的变化。本发明具有方法简单、运算速度快等优点，可用于网络教育对学生在线学习效率预测。

专利名称：一种基于综合模型检测驾驶员风险等级的方法      申请号：2019109201738     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：驾驶员 检测 合模 模型检测   相似专利 发布日：2023/09/20  
摘要： 本发明公开了一种基于综合模型检测驾驶员风险等级的方法，本发明通过采集车辆的速度数据以及驾驶员的不同的报警类型，对驾驶行为进行判断并对驾驶员风险等级进行分类，利用训练好的综合模型对驾驶员风险等级进行识别，再利用识别结果判断驾驶员风险等级。本发明主要服务于运输企业安全管理系统，当识别到驾驶员是高风险等级的驾驶员时，可采取相应的管理培训措施，以提高其安全性。本发明的实用化可以降低因交通事故导致的人员伤亡和财产损失，提高交通系统的整体安全性。

专利名称：一种基于隐马尔可夫模型检测驾驶员风险等级的方法      申请号：2019109193642     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：驾驶员 检测 模型检测   相似专利 发布日：2023/09/20  
摘要： 本发明公开了一种基于隐马尔可夫模型检测驾驶员风险等级的方法，本发明通过采集车辆的速度数据以及驾驶员的不同的报警类型，对驾驶行为进行判断并对驾驶员风险等级进行分类，利用训练好的隐马尔可夫模型对驾驶员风险等级进行识别，再利用识别结果判断驾驶员风险等级。本发明主要服务于运输企业安全管理系统，当识别到驾驶员是高风险等级的驾驶员时，可采取相应的管理培训措施，以提高其安全性。本发明的实用化可以降低因交通事故导致的人员伤亡和财产损失，提高交通系统的整体安全性。