PLC程序到NuSMV输入模型的自动化构建方法

    公开(公告)号:CN107193745B

    公开(公告)日:2019-10-29

    申请号:CN201710382639.4

    申请日:2017-05-26

    IPC分类号: G06F11/36 G05B19/05

    摘要: 本发明涉及工业自动化控制技术领域,特别是涉及一种PLC程序到NuSMV输入模型的自动化构建方法,包括对PLC的ST语言进行分析,构建ST语言的语法;根据给出的ST语法对ST程序进行处理,将ST程序解析为抽象语法树AST;对抽象语法树AST进行处理,分析ST语言语句的控制流特征,确定各语句生成控制流图CFG的算法;根据控制流图CFG对ST程序进行数据流分析,构建状态转换邻接表和变量取值变化邻接表;根据构建的状态转换邻接表和变量取值变化邻接表生成NuSMV输入模型。本发明大大提高NuSMV工具对PLC程序进行模型检测的效率和准确度,实现对工业控制系统PLC代码的安全性验证。

    一种异构功能等价体调度装置及其方法

    公开(公告)号:CN106161417B

    公开(公告)日:2019-05-14

    申请号:CN201510293341.7

    申请日:2015-06-01

    IPC分类号: H04L29/06

    摘要: 本公开是关于一种异构功能等价体调度装置及其方法,包括多个用于为外部服务请求提供相同功能的异构功能等价体,还包括冗余控制器和输入代理器,冗余控制器接收输入代理器给出的触发信号,并根据接收到的外部输入的控制参数,随机选择异构功能等价体为外部服务请求提供服务,因此,这种随机组合调度异构功能等价体的方法一方面使得装置在结构表征层面具有不同的复杂度,针对每个服务请求选择的异构功能等价体不同,并且根据不同的调度策略输出的异构功能等价体的结果也不相同,对外表现出动态可变的输出状态,进而加载的后门或是漏洞很难被攻方探知或利用。使装置对网络系统中可能存在多个未知安全威胁就具有自体免疫能力。

    一种基于LBP特征的人脸识别硬件架构

    公开(公告)号:CN105205476B

    公开(公告)日:2018-04-17

    申请号:CN201510688167.6

    申请日:2015-10-21

    IPC分类号: G06K9/00

    摘要: 本发明涉及一种基于LBP特征的人脸识别硬件架构,其包括:LBP值计算模块;与所述LBP值计算模块连接的分块统计模块;与所述分块统计模块连接的乒乓缓存结构;以及与所述乒乓缓存结构连接的比较识别模块。本发明在不断接收人脸检测灰度图片的像素数据的同时对各个像素数据进行LBP数值计算,然后在对各个LBP数值进行直方统计的同时将已存储的各张人脸检测灰度图片的特征向量读出,并且在对各张人脸检测灰度图片的特征向量进行不断存储的同时将已存储的各张人脸检测灰度图片的特征向量读出,最后同时将多张人脸检测灰度图片与所有训练图片比较,从而实现人脸识别速度的大幅度提升。

    一种多实例路由单元的拟态路由决策方法

    公开(公告)号:CN105072036B

    公开(公告)日:2018-02-06

    申请号:CN201510408835.5

    申请日:2015-07-13

    IPC分类号: H04L12/741 H04L12/751

    摘要: 本发明公开了一种多实例路由单元的拟态路由决策方法,克服了现有技术中,网络空间的安全需求十分严峻的问题。其含有步骤(1)路由决策模块为每一个路由实例维护其下发的路由表项;步骤(2)对于每个路由表项,根据路由表项相同的数目及所属路由实例的可信度计算每个路由表项的可信度;步骤(3)将具有相同目的地址的可信度最高的路由表项作为决策得到的最终路由表项,将其转换为转发表项下发到转发单元;步骤(4)对于路由实例下发的删除路由表项的操作,路由决策模块首先执行对应的删除操作;步骤(5)若检测到某路由实例发生问题,则转步骤(4)对应删除该路由实例下发的所有路由表项。该技术抵御网络风险的能力高。