公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

一种识别语音需求的模糊自适应机器人系统及其工作方法: 本发明公开了一种识别语音需求的模糊自适应机器人系统及其工作方法，该系统包括顺次连接的模糊感知模块、模糊决策模块、执行模块；其中模糊感知模块感知语音以及系统和环境传感器信息，实现信息的模糊化预处理，并将模糊化预处理的结果传...; 杨启亮张晓冰邢建春韩德帅孙程; 文献传递

基于控制理论的工业控制系统入侵防御方法: 2017年; 工业控制系统随时都面临遭到攻击的风险,为了保障其安全可靠的运行,文章在前人提出的入侵防御系统的基础上做出了改进,简化了原本的防御逻辑流程,提高了入侵防御的效率,并以时间为自适应目标,突出了时间在工业控制系统中的重要性,提出了一种基于控制理论的工业控制系统入侵防御方法。然后用UPPAAL对其建模,分别验证了其安全性、可达性、活性,充分证明了该基于控制理论的工业控制网络入侵防御系统是高效可行的。; 孙程邢建春杨启亮韩德帅; 关键词：入侵防御

设备自动巡检控制逻辑的层级时间自动机建模与验证: 2017年; 地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性,也未验证其正确性与可靠性。现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再利用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性。这种建模与形式化验证方法弥补了之前无时间约束的漏洞,有效确保了设备自动巡检控制逻辑的正确性与可靠性。最终,该模型通过了模拟和验证,这充分证明了设备自动巡检控制逻辑是正确可靠的。; 孙程邢建春杨启亮韩德帅; 关键词：UPPAAL

设备自动巡检控制逻辑的层级时间自动机建模与验证: 地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠的运行,需对设备定期进行自动巡检在自动巡检过程中,设备自动巡检控制逻辑起到了举足轻重的作用为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了...; 孙程邢建春杨启亮韩德帅; 文献传递

基于改进朴素贝叶斯的入侵检测方法被引量：9: 2017年; 工业控制系统的网络安全问题越来越严峻,遭到的入侵威胁也越来越复杂。伴随着网络的开放性、复杂性不断增强,入侵威胁正在不断加深。为了抵御愈趋复杂和多样的入侵威胁,需要设计高效的入侵检测方法。朴素贝叶斯分类算法是一种有效而简洁的分类算法,能较好地应用于工业控制系统网络的入侵检测。但是它的属性独立性假设使得该方法无法表示属性变量之间存在的关系,影响了它的分类效果。针对该缺陷,借鉴前人的经验,提出了一种改进综合加权系数的朴素贝叶斯分类算法(Compositive Weighted Naive Bayes Classification,CWNBC)。该算法既考虑了不同属性取值对分类结果的影响,又考虑了属性值的内容对分类的影响,巧妙地引入了综合加权系数。将该算法与其他几种算法比较,经实验表明,该分类算法有较高的分类准确率,能更好地适用于比较复杂的工业控制系统网络的入侵检测。; 孙程邢建春杨启亮韩德帅; 关键词：朴素贝叶斯加权系数属性值

全选清除导出

共1页<1>

孙程