通过逆波兰表达式对五防逻辑表达式进行校验的方法

    公开(公告)号:CN105677528A

    公开(公告)日:2016-06-15

    申请号:CN201610012671.9

    申请日:2016-01-06

    CPC classification number: G06F11/25

    Abstract: 本发明公开一种通过逆波兰表达式对五防逻辑表达式进行校验的方法,该方法主要是通过构造一个运算符栈S1和逆波兰栈S2,然后读入需要操作设备对应状态的五防逻辑,判断是否存在没有转换的情况条件,并读入没有转换的情况条件下对应的五防逻辑表达式,并从左至右扫描该情况条件下对应的五防逻辑表达式;最后根据逆波兰表达式将传统的五防逻辑表达式进行转换,剔除表达式中复杂的算术符号“()”,只留下最简单的运算,能够保证方法的正确性的同时,减少程序员出现BUG的可能性,提高五防软件对于五防校验的准确性,同时能减少测试部门的测试压力。

    一种智能钥匙的解锁方法及系统

    公开(公告)号:CN110738760A

    公开(公告)日:2020-01-31

    申请号:CN201910921277.0

    申请日:2019-09-27

    Abstract: 本发明适用通信技术领域,提供了一种智能钥匙的解锁方法及系统,该方法包括:智能钥匙管理机接收待解锁钥匙的解锁请求信息,根据所述解锁请求信息动态生成解锁请求序列并线下传送给解锁授权终端;所述解锁授权终端根据所述解锁请求序列对所述待解锁钥匙的解锁请求进行验证,并根据验证结果生成授权序列并线下传送给所述智能钥匙管理机;所述智能钥匙管理机对所述授权序列进行验证,当验证成功时解锁所述待解锁钥匙,从而提高了钥匙解锁操作的安全性。

    在网络连接不可靠情况下的数据传输系统及方法

    公开(公告)号:CN104463061A

    公开(公告)日:2015-03-25

    申请号:CN201410573187.4

    申请日:2014-10-23

    Abstract: 本发明公开的一种在网络连接不可靠情况下的数据传输系统,包括:服务主机,用于将文件数据编译生成相应的二维码;电子显示设备,与服务主机连接,动态显示服务主机最新编译生成的二维码图片;二维码阅读设备,与目标主机连接,用于读取电子显示设备显示的二维码图片并传输给目标主机;目标主机,用于将接收的二维码图片解码,生成目标主机系统可识别和运行的数据。本发明提供的数据传输系统及方法,能够在网络无法建立起可靠连接的情况下,可以在应用二维码处理技术的基础上,保证数据有效传输。

Patent Agency Ranking