李轶
- 作品数：29 被引量：5H指数：1
- 供职机构：中国科学院重庆绿色智能技术研究院更多>>
- 发文基金：国家自然科学基金重庆市科技攻关计划重庆市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于双区块链的基站动环信息监控系统被引量：2
- 2019年
- 基站动环监控系统通过将基站智能监控单元构建在底层被监控的智能和非智能设备之上,实现全网基站动环信息的监控、实时告警等功能。因此,动环监控系统的稳定是安全运行的前提。但随着基站数量的增加,现阶段中心服务器架构模式下的系统会显现出负载增加、流量过载等问题,且多对一的模式下容易出现DoS攻击、数据泄露等安全问题;另外,在多用户模式下,现有的系统模式无法达到对细粒度访问权限的控制。针对上述问题,结合区块链技术在分布式架构上独特的优势,文中提出一种基于改进型PBFT共识算法的双区块链基站动环监控系统架构,来解决现有动环监控系统中心化、安全、扩展等问题。具体地,该系统是一种层次型架构的信息系统,且各层次各维护一条区块链,是一个多节点共同维护与共享的双链区块链系统。其中,一条以联盟链的形式负责跨域信息的流转和权限的控制,另一条以私有链的形式负责基站设备访问权限的控制以及基站事务信息的流转。同时,基于PKI系统和密钥管理系统的支持,以及改进型区块头对权限信息的存储,达到对设备的细粒度访问权限的控制。最后,定性分析的结果表明了,相较于现有的传统动环监控系统,文中系统具有多中心服务、抗DoS攻击、基于用户的细粒度权限管理、信息的加密完备程度高和扩展性好等特点。
- 樊建峰李轶吴文渊冯勇
- 关键词：区块链权限控制
- 基于SVM的多项式循环程序秩函数生成被引量：1
- 2019年
- 程序终止性问题是自动程序验证领域中的一个研究热点。秩函数探测是进行终止性分析的主要方法。针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机(SVM)算法来计算程序的秩函数。与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数。
- 李轶蔡天训樊建峰吴文渊冯勇
- 关键词：程序终止性SVM秩函数
- 基于时空特征深度学习的公交车到站时间预测方法
- 本发明涉及基于时空特征深度学习的公交车到站时间预测方法，属于交通信息大数据领域，包含以下步骤：S1、生成公交车到站出站时刻表和车辆每站打卡人数表；S2、采用特征相关性分析提取时间特征和空间特征；S3、利用Pearson相...
- 李轶张铭泽杨文强吴文渊石明全
- 一种基于区块链管理的基站动环信息监控方法
- 本发明公开了一种基于区块链管理的基站动环信息监控方法，属于信息技术监控系统领域。本方法包括基站监控系统、分布式通信网络、云存储服务器，其特征在于，包括以下步骤：步骤一：基站、网络以及服务器系统的初始化设置；步骤二：用户或...
- 李轶樊建峰吴文渊
- 文献传递
- 复数域上的隐私保护集合交集势计算被引量：1
- 2021年
- 安全多方计算是密码学领域的研究热点,集合交集问题是其重要研究方向之一。由于现实中众多应用场景可以抽象成数学上的集合关系计算,故集合保密计算具有重要的实际意义。整数环上的集合交集保密计算目前已存在较多研究成果,但针对复数域上集合交集保密计算的研究却很少。本文主要研究复数域上的集合保密计算问题。由于复数上的集合交集计算与整数上的集合交集计算存在差异,故本文引入代数计算中的结式来解决该问题。首先使用牛顿公式来构造复数域上的多项式,再将保护隐私的两方求解集合交集势问题转化为安全两方求解结式中参变元最低次数问题。最后,利用随机哈希和西尔维斯特结式的性质降低计算开销。
- 唐桐李轶吴文渊冯勇
- 关键词：安全多方计算复数结式
- 一类有界闭连通域上的循环程序终止性判断方法
- 本发明涉及一类有界闭连通域上的循环程序终止性判断方法，属于计算机技术领域。该方法包含以下步骤：1)遍历程序，查找程序中的循环程序，提取出有界闭连通域上的循环程序；2)依次判断步骤一所述的有界闭连通域上的程序循环问题是否满...
- 李轶杨文强李传璨朱广吴文渊冯勇
- 一种单路径线性约束的循环程序终止性判断方法
- 本发明涉及一种单路径线性约束的循环程序终止性判断方法，包含以下步骤：步骤一、提取出单路径线性约束的循环程序；步骤二、将单路径线性约束的循环程序所转化成的线性不等式系统并求解，无解则该循环程序终止，有解则暂时无法判断其终止...
- 李轶杨文强冯勇
- 文献传递
- 线性循环程序的终止性判定被引量：1
- 2013年
- 对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定.除此之外,该类循环的终止性被证明也可通过比较几个系数的符号来判定.而对一般的线性循环程序,提出了递归判定算法,使得这类循环的终止性可转化为上述特殊循环的终止性判定.最后,对N-不可终止点,给出了计算N的方法.
- 李轶
- 关键词：可信计算终止性分析
- 多分支单变量循环程序的终止性分析
- 2015年
- 对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.
- 李轶李传璨吴文渊
- 关键词：可信计算终止性分析
- 一类有界闭连通域上的循环程序终止性判断方法
- 本发明涉及一类有界闭连通域上的循环程序终止性判断方法，属于计算机技术领域。该方法包含以下步骤：1)遍历程序，查找程序中的循环程序，提取出有界闭连通域上的循环程序；2)依次判断步骤一所述的有界闭连通域上的程序循环问题是否满...
- 李轶杨文强李传璨朱广吴文渊冯勇
- 文献传递
