公开(公告)号：CN110443348A

公开(公告)日：2019-11-12

申请号：CN201910563393.X

申请日：2019-06-26

Applicant: 西安电子科技大学

Inventor： 王小兵 ,  杨坤 ,  段振华 ,  赵亮 ,  田聪 ,  张南

IPC: G06N3/04 ,  G06F11/36

Abstract: 本发明属于系统形式化建模与验证技术领域，公开了一种基于MSVL的神经网络系统的建模和验证方法。采用MSVL对需要进行验证的神经网络(包括DNN、CNN、RNN等)系统进行建模，用多维数组表示系统中所涉节点和边的信息，在建模中，用函数表示神经网路系统中的基本操作；确定需要验证的神经网络系统的共有性质特征，主要包括正确性和健壮性，并采用PPTL公式描述神经网络系统的这些性质；将建模的MSVL程序和描述共有性质的PPTL公式统一在UMC4MSVL平台中验证，根据验证结果判断性质是否能够得到满足。本发明将形式化的程序设计过程应用于神经网络系统的建模和验证，程序执行的每一个状态均能够得到可靠的验证，有效地保障了系统本身的安全性。

公开(公告)号：CN110365493A

公开(公告)日：2019-10-22

申请号：CN201910777156.3

申请日：2019-08-22

Applicant: 电子科技大学

Inventor： 张小松 ,  黄可 ,  牛伟纳 ,  杨涵麟 ,  杨坤 ,  卢臻

IPC: H04L9/32 ,  H04L29/08

Abstract: 本发明涉及多形态可派生的环状区块链构建方法，包括：A.初始化，生成初始区块；B.生成密钥；C.根据初始区块，通过选择随机数 和计算得到计算参数c1，构建环状主链D.根据随机数{αi}1≤i≤m，计算子链的参数{sci}1≤i≤m，从环状主链派生环状的子链E.将所派生的子链的起始区块SB1的指针指向所述环状主链Cn中的区块Bπ，将子链的第二个区块SB2的指针指向所述子链的起始区块SB1，并且以此类推使区块SBi的指针指向SBi+1，使环状主链派生链状的子链。本发明的方法有效加强了区块链的功能性，使区块链能够容纳更多的密码方案和例如环签名，群签名等功能，有效解决了区块链的功能性单一和扩展性差的问题。

公开(公告)号：CN101944171B

公开(公告)日：2013-02-13

申请号：CN201010221127.8

申请日：2010-07-08

Applicant: 电子科技大学

Inventor： 冷甦鹏 ,  叶景超 ,  杨坤 ,  段景山 ,  毛玉明

IPC: G06K7/00 ,  G06K17/00

Abstract: 本发明涉及一种RFID阅读器的多标签识别方法。包括以下步骤：步骤1：阅读器向标签群发送检测命令，标签收到检测命令后随机从时隙0到时隙(2Q-1)的时隙序列中选择其中一个时隙编号，同时生成一个具有2Q个比特位的二进制数据作为标签的时隙序列。步骤2：阅读器收到标签发送的时隙序列后，检测标签的时隙序列的比特位冲突。步骤3：阅读器根据非空闲时隙编号表项将开始识别标签，阅读器按照时隙编号从小到大的顺序，依次发送询问命令Query(S1)给标签群。本发明的有益效果是：本发明继承了二叉树算法识别率高的特点，在标签进行识别的过程中，结合了二叉树算法高识别精度和随机aloha算法快速识别的优势。