刘亚
- 作品数：46 被引量：76H指数：5
- 供职机构：上海理工大学光电信息与计算机工程学院更多>>
- 发文基金：国家自然科学基金上海市“科技创新行动计划”上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>
- 信息安全教学新思考被引量：1
- 2016年
- 给出信息安全涵盖的内容,分析新形势下信息安全教学存在的问题。从合理安全教学内容、采用灵活多样的教学方法、注重理论联系实际以及加强学生的道德培养四个方面阐述如何提高学生的学习热情和学习积极性,以改进教学质量。
- 刘亚
- 关键词：信息安全教学内容教学方法实践教学
- 离散数学课程教学新思考被引量：5
- 2016年
- 离散数学课程对培养学生的抽象思维、逻辑思维和计算思维能力有着重要意义。从该课程的实用性出发,在分析课程定位的基础上,以网络化的形式构建知识单元之间的联系,引入任务驱动的实践教学环节以改变传统的教学模式,充分调动学生的学习积极性,大大提高了教学质量。
- 张艳刘亚
- 关键词：离散数学实践教学自主学习能力
- 针对权益证明共识机制的攻击以及应对措施综述被引量：2
- 2021年
- 权益证明由于能源消耗小,成为替代工作量证明最有前景的共识机制之一,但其在安全性上仍存在诸多问题,容易受到长程攻击、无利害攻击等威胁.近些年来越来越多的系统开始采用权益证明共识机制,或将原来基于工作量证明共识机制系统修改为基于权益证明.为了更好地研究基于权益证明的区块链网络的安全问题,首先介绍了权益证明的基本概念以及其发展历程;其次研究了针对它的16种攻击,并根据它们的特性将其分为四类,并对每种攻击详细阐述了攻击原理和过程;最后介绍了现有的防御手段.此研究有助于针对基于权益证明的区块链网络安全地运用到实际系统中.
- 刘亚沈致远赵逢禹
- 关键词：区块链
- 改进的超额抵押高吞吐量多路径支付方案
- 2024年
- 在链下支付中,多路径支付较单路径支付在成功率和交易时延上存在显著差异。尽管Spear方案通过超额抵押显著提升了多路径支付的性能,但过多的抵押资金锁定可能对网络资金流动性造成重大影响。为解决这一问题,提出了一种改进的超额抵押高吞吐量多路径支付方案,通过最大流算法和逼近理想解排序法优化大额支付的路径选择和资金分配问题。实验结果显示,相较于其他四种经典多路径支付方案,本方案在相同性能下减少了8%~16%的超额抵押资金,有效降低了抵押资金需求,增强了网络资金流动性。
- 刘亚刘雪林赵逢禹曲博
- 关键词：区块链可扩展性
- 夹角动态路由方案的安全性建模与仿真分析被引量：1
- 2017年
- 无线传感器网络(WSNs)已经被广泛应用在工业和军事中,进行目标监测或者追踪感兴趣的事物.然而,无线通信很容易受到外部攻击,攻击者能够通过无线信号定位到数据源节点的位置.相比于幻影路由方案(PSRS),基于夹角的动态路由方案(ADRS)不仅可以保护源节点位置隐私,而且能够很好地提高网络安全周期和端到端数据包延迟.将进一步分析ADRS保护源节点位置隐私的安全性.首先研究角度与安全性之间的量化关系,通过建立数学模型评估ADRS的平均安全周期,并简单分析其安全边界值.进行仿真实验.实验结果表明,随着固定角度的增大,ADRS的平均安全周期也增大;且在不同的源节点与基站距离中,理论结果与仿真结果非常接近.
- 许拥晶刘亚
- 关键词：数学建模
- Stack Overflow系统的特征融合答案推荐策略
- 2019年
- 针对Stack Overflow系统中用户寻找问题答案效率低的问题,提出一种基于标题相似度、描述相似度、标签相似度、语义相似度的特征融合答案推荐策略(FIARS)。从Stack Overflow网站中抽取“问题与答案”语料集,对答案进行去重处理,建立问题索引和问题对应的答案集索引;采用余弦相似度计算新问题与语料库中问题在标题、标签、问题描述等维度上的相似度,并构建语义模型计算语义相似度;基于这些相似度筛选出最佳的“问题与答案”候选集并把答案推荐给用户。为了验证策略的可行性和有效性,使用Stack Overflow真实数据集进行分析实验,实验结果表明该策略能够较大地提高答案推荐的准确率。
- 万杰赵逢禹刘亚
- 关键词：STACKOVERFLOW余弦相似度语义模型
- 基于分支路径与变量状态差异的软件缺陷定位方法
- 2020年
- 传统的基于测试的分支路径差异分析的软件缺陷定位方法不能有效利用程序源代码中变量状态等可用信息。针对此问题,本文提出了一种基于分支路径与变量状态差异分析的缺陷定位方法。首先对需要输出的分支和变量信息进行插桩,再使用GCC编译器对插桩后的程序进行编译输出,得到分支覆盖矩阵和变量值信息。使用余弦相似度公式获取相似分支路径对,并对相似分支路径对中的变量进行差异分析,通过变量差异分析来提高缺陷语句的可疑度。通过在Siemens套件上进行实验分析并与DStar等经典实验进行对比,基于分支路径与变量状态差异分析的方法能够有效提高软件缺陷语句怀疑度。
- 张大全赵逢禹刘亚
- 区块链系统L-顽固策略的安全问题研究
- 2024年
- 随着数字货币的诞生,区块链技术被广泛的运用在金融、物联网等各个领域。但同时也暴露出各种安全性问题,如数据层的碰撞攻击、网络层的日蚀攻击、共识层的贿赂攻击、应用层的顽固攻击等。为了保障区块链技术在实际应用系统中能安全运行,研究者针对不同威胁策略,提前分析以提高系统的安全强度。本文发现基于日蚀攻击的L-顽固策略在特定情况下存在更大的安全问题。为了进一步分析这种组合式策略对区块链系统的威胁,建立了L-贿赂顽固策略(LBSM)模型。该模型在原L-顽固策略中,再考虑贿赂策略,将部分挖矿收益当作贿款吸引其他节点在私链上工作,提高私链在分支竞争中的胜率,诚实节点将会遭受更多的损失。仿真实验表明:LBSM模型造成的损失高出原L-顽固策略3.76%。最后,针对LBSM策略安全问题,提出了一些相关检测和防御措施,以提高区块链系统整体安全性。
- 黄超刘亚唐伟明任艳丽
- 关键词：区块链数字货币
- 基于欧几里得距离的客户端选择联邦学习方案
- 2025年
- 联邦学习(Federated Learning)作为一种先进的分布式机器学习框架,它允许多个参与者在各自数据不出本地的前提下,协同开展模型训练工作,保护数据隐私。然而,传统联邦学习在实际应用中存在数据异质性影响联邦学习系统的效率和收敛性,限制其广泛应用。针对上述问题,本文提出了ECS-FL(Euclid-ean-Based Client Selection in Federated Learning)框架。该框架融入基于欧几里得距离的客户端选择机制,通过依据客户端模型更新与全局模型的相似度来筛选客户端,有效应对了客户端差异与数据异质性带来的挑战,显著降低了模型训练过程中的偏差,大幅提升了模型的鲁棒性。在独立同分布和非独立同分布数据分布环境下开展的大量实验结果表明,ECS-FL框架能够切实有效地改善模型的收敛性、鲁棒性与准确性。
- 邬淑敏刘亚
- 基于路径关键状态变量的测试用例约简
- 2020年
- 关联矩阵测试用例约简在软件测试中具有重要的作用,可以提高测试效率,降低测试成本。本文提出了基于路径关键状态变量的测试用例约简方法,该方法通过抽象语法树获取关键状态变量信息,并基于该信息构建测试用例关联矩阵,最后根据约简准则来判断该测试用例是否可以被约简。本文选取了西门子测试用例集中四个程序进行了实验,实验结果表明,基于路径的关键状态变量测试用例约简方法可以在保证原有测试用例集测试效率的情况下,有效地减少原测试用例集的数量。
- 高杰赵逢禹刘亚
- 关键词：软件测试抽象语法树关联矩阵
