首页期刊导航|计算机学报
期刊信息/Journal information
计算机学报
计算机学报

高文

月刊

0254-4164

cjc@ict.ac.cn

010-62620695

100190

中国科学院计算技术研究所(北京2704信箱)

计算机学报/Journal Chinese Journal of ComputersCSCD北大核心CSTPCDEI
查看更多>>本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
正式出版
收录年代

    MDCPD:基于矩阵序列距离度量的数字生态变点检测

    朱业琪刘明义苏统华王忠杰...
    2452-2465页
    查看更多>>摘要:数字生态系统是一个分布式的、适应性的、开放的社会技术系统.随着大数据、物联网、云计算等技术的发展,数字生态的表现形式逐渐复杂多样,与人们的生活更加密切.数字生态受内外部激励自发性地持续演化,一些事件的发生可能会使数字生态的部分性质显著变化,偏离其正常的演化路径,进而导致生态伴随着异常不健康地发展,如果能够及时发现这些变化并定位引起变化的事件,然后加以人为干预,则可能将负面影响降到最低.动态复杂网络是一个辅助观测数字生态的有效工具,这使分析生态的演化情况成为可能,复杂网络分析领域中的变点检测是检测数字生态演化变点的主要技术手段之一.然而,目前已有的通用的变点检测方法未针对数字生态做出优化,忽视了数字生态的高度动态等特性,会导致这些方法可能无法在高度动态、持续变化的情况下检测变点,于是,已有方法在数字生态场景上的变点检测性能可能不佳.为解决上述问题,本文提出基于矩阵序列距离度量的数字生态变点检测方法(MDCPD),MDCPD是社区感知的,它从数字生态的社区视角观测数字生态的变化幅度,通过计算社区矩阵距离变化率在在连续时间动态网络建模的数字生态上高效地实现了变点检测,且变点检测和数字生态演化动因定位均是事件级别,能帮助生态的管理人员高效地进行干预和决策.为抵抗社区结构矩阵序列数据中的噪声对方法的影响,本文提出了矩阵干预策略,通过从数字生态中观测到的客观条件干预社区结构矩阵的数值,提高了社区结构矩阵序列对数字的生态结构表达能力.本文在基于合成数据的连续时间和离散时间两个场景的对比实验以及消融实验证明了 MDCPD和矩阵干预策略的有效性,MDCPD的F1指标至多超过SOTA方法0.383,矩阵干预策略至多使MDCPD的F1指标提高了 0.053.最后,本文在真实数字生态数据集上进行了案例分析,进一步说明了 MDCPD的实践价值.

    数字生态变点检测动态网络复杂网络分析异常检测

    零知识证明递归与复合技术研究综述

    张宗洋周子博邓燚
    2466-2490页
    查看更多>>摘要:零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向.

    零知识证明递归零知识证明内积论证增量可验证计算方案复合零知识证明承诺并证明的零知识证明