基于强化学习的宽速域冲压发动机燃烧室一维压力分布控制方法研究

1

作者 聂聆聪 牟春晖 李帅衡 《推进技术》 北大核心 2025年第6期230-240,共11页

为提高冲压发动机燃烧室在宽速域范围内的性能,提出一种基于系数自适应调整熵正则化强化学习的宽速域几何可调燃烧室压力分布的控制方法,通过对燃烧室在一维流场上的压力分布监测与控制,实现该类燃烧室的宽速域高性能燃烧。本文采用熵... 为提高冲压发动机燃烧室在宽速域范围内的性能,提出一种基于系数自适应调整熵正则化强化学习的宽速域几何可调燃烧室压力分布的控制方法,通过对燃烧室在一维流场上的压力分布监测与控制,实现该类燃烧室的宽速域高性能燃烧。本文采用熵正则化强化学习方法,利用滑块位移、两个喷注流量,实现对燃烧室沿程压力一维分布形状的优化控制;提出适用燃烧室多压力点控制的自适应温度系数调整算法,提高对压力分布一维控制算法的训练收敛速度,同时建立适用于一维压力分布控制的动作抖动惩罚函数及随机训练策略,解决了执行机构抖动、算法的泛化性及延时鲁棒性差等问题;通过数值仿真验证了算法的有效性,结果表明压力分布控制均方误差最大1.44%,超调量最大2.76%,调节时间不超过0.5 s,符合工程实际应用需求。 展开更多

关键词 冲压发动机 宽速域燃烧室 压力控制 强化学习 最大熵正则化

在线阅读 下载PDF 职称材料

基于格的访问控制加密技术研究

2

作者 谭高升 李伟 +3 位作者 马静静 王伟忠 邢建华 马明杰 《信息安全研究》 CSCD 北大核心 2024年第4期318-324,共7页

访问控制加密(access control encryption,ACE)是一种新颖的公钥加密概念,不仅可以保护数据的机密性,还实现了信息流向的控制.早期基于DDH(decisional Diffie-Hellman)假设的方案(DDH方案)存在密文泄露攻击且仅满足选择明文攻击(chosenp... 访问控制加密(access control encryption,ACE)是一种新颖的公钥加密概念,不仅可以保护数据的机密性,还实现了信息流向的控制.早期基于DDH(decisional Diffie-Hellman)假设的方案(DDH方案)存在密文泄露攻击且仅满足选择明文攻击(chosenplaintextattack,CPA)安全,针对此类问题,密码学家提出了访问控制加密选择密文攻击(chosenciphertextattack,CCA)安全性定义,并基于Naor-Yung的构造策略构造了CCA安全的方案.但密码学家未修补DDH方案的安全瑕疵,且其CCA方案存在效率较低、构造复杂、通信策略受限等不足.将DDH方案进行了通用化设计,并以高效的方式修补了DDH方案遭受密文攻击的瑕疵,进一步,构造了CCA安全的访问控制加密方案,具有高效、设计简单、基于标准困难性假设的特点.最后,分别基于格上困难性假设和判定性双线性Diffie-Hellman(decisional binlinear Diffie-Hellman,DBDH)假设,给出了2种CCA安全方案的实例化设计。 展开更多

关键词 访问控制加密 CCA安全性 高效 格 标准假设

在线阅读 下载PDF 职称材料

基于直接电光调制的人体通信信号检测方法

3

作者 陈宇 蒋玉蓉 +4 位作者 杨畅 高坦博 白元烁 周雅 宋勇 《北京理工大学学报》 北大核心 2025年第5期531-538,共8页

针对人体通信接收器的寄生电容所导致的接收信号不稳定、接收信号衰减大等问题,提出了一种基于直接电光调制的人体通信信号检测方法.该方法利用直接电光调制器检测人体通信信号,利用传递函数法建立了基于直接电光调制人体通信系统模型;... 针对人体通信接收器的寄生电容所导致的接收信号不稳定、接收信号衰减大等问题,提出了一种基于直接电光调制的人体通信信号检测方法.该方法利用直接电光调制器检测人体通信信号,利用传递函数法建立了基于直接电光调制人体通信系统模型;通过数学仿真和物理实验,验证了模型的准确性,明确了其信道特性.实验结果表明,基于直接电光调制型人体通信在1~30 MHz范围内的检测灵敏度达到−86.03 dBm,优于电子检测法和体电光调制法.同时,该方法在1~100 MHz范围均具有稳定的频率响应. 展开更多

关键词 人体通信 直接电光调制 幅频特性

在线阅读 下载PDF 职称材料

引入因果发现学习的跨领域知识泛化方法

4

作者 李珊珊 赵清杰 +4 位作者 朱文龙 阮锦佳 于铁军 马少辉 孙保胜 《智能系统学报》 北大核心 2025年第4期1033-1045,共13页

领域泛化是将多个已知领域的知识泛化到未知目标领域的技术。然而,现有领域泛化模型在提取图像特征时,容易受高维噪声的影响,导致提取的图像特征与标签之间无法建立稳定的因果关系。因此,受跨域不变因果机制的启发,本文通过引入因果发... 领域泛化是将多个已知领域的知识泛化到未知目标领域的技术。然而,现有领域泛化模型在提取图像特征时,容易受高维噪声的影响,导致提取的图像特征与标签之间无法建立稳定的因果关系。因此,受跨域不变因果机制的启发,本文通过引入因果发现学习技术,提高跨域知识泛化的准确性。提取图像的低维潜在特征并对其进行变分推理,保留图像基本信息的同时实现特征变量相互独立;通过重构潜在特征变量与类别标签之间的因果有向无环图(directed acyclic graphs, DAG),发现与类别标签有稳定因果结构的潜在特征变量;引入反事实对比正则化模块,利用数据生成过程中的反事实方差和不变性进行因果推断,生成因果不变表示。为验证本文方法,在DomainBed框架下的5个数据集和SWAD框架下的4个数据集上进行了测试。实验表明,与现有的领域泛化方法相比,本文方法在性能和适应性方面有较大提高。 展开更多

关键词 迁移学习 领域泛化 图像分类 因果关系 因果表示学习 变分推理 因果发现 反事实对比

在线阅读 下载PDF 职称材料

基于偏序对改进蝙蝠算法的旅行商问题研究 被引量：5

5

作者 李婷 张楠 +1 位作者 吕志民 邹蕾 《科学技术与工程》 北大核心 2020年第33期13735-13739,共5页

作为一种新兴的群智能启发式算法,蝙蝠算法近年来被广泛用于求解离散、连续、及组合优化问题。针对典型组合优化问题中的旅行商问题,提出了一种基于偏序对改进的蝙蝠算法用于求解离散型旅行商问题。通过对蝙蝠速度、位置的更新,使算法... 作为一种新兴的群智能启发式算法,蝙蝠算法近年来被广泛用于求解离散、连续、及组合优化问题。针对典型组合优化问题中的旅行商问题,提出了一种基于偏序对改进的蝙蝠算法用于求解离散型旅行商问题。通过对蝙蝠速度、位置的更新,使算法具有更强的适用性。对16个标准旅行商问题(traveling salesman problem,TSP)进行测试与对比分析以验证算法有效性。实验结果表明:所提出的偏序对蝙蝠算法在大多数实例中均优于其他算法。 展开更多

关键词 离散蝙蝠算法 旅行商问题 偏序对 组合优化问题

在线阅读 下载PDF 职称材料

融合CNN与BiLSTM的刑事案件决策研究 被引量：1

6

作者 崔斌 邹蕾 徐明月 《计算机应用研究》 CSCD 北大核心 2020年第S02期181-183,共3页

针对现有案件决策方法模型复杂度高、特征提取不够高效和决策精度不高等问题,提出一种融合卷积神经网络(CNN)和双向长短时记忆网络(BiLSTM)的案件智能决策方法。采用CNN来提取短时文本特征,并利用BiLSTM代替池化层来获取句子的长距离依... 针对现有案件决策方法模型复杂度高、特征提取不够高效和决策精度不高等问题,提出一种融合卷积神经网络(CNN)和双向长短时记忆网络(BiLSTM)的案件智能决策方法。采用CNN来提取短时文本特征,并利用BiLSTM代替池化层来获取句子的长距离依赖特征,避免了使用多层卷积和池化层操作来提取特征,减少了运算量,可以有效提取法律案件文本特征;然后根据特征进行法条和罪名的分类,并利用相关法条进行罪名的智能决策。实验结果表明,相比其他算法,提出的决策方法可以有效提取特征并得到较好的决策结果。 展开更多

关键词 刑事案件 CNN BiLSTM 决策

在线阅读 下载PDF 职称材料

水平极化有界波电磁脉冲模拟器仿真与实验研究 被引量：4

7

作者 金晗冰 寇科男 +4 位作者 戴弃君 李昆 刘冬 高昕 贾文静 《强激光与粒子束》 CAS CSCD 北大核心 2022年第12期82-88,共7页

结合传统有界波模拟器和辐射波模拟器的特点,采用新型双锥-线栅型平板天线结构,设计了一台水平极化有界波电磁脉冲模拟器。通过电磁仿真和实验测试,对模拟器的辐射特性和场均匀性进行了研究。仿真结果和实测结果基本一致。结果表明,模... 结合传统有界波模拟器和辐射波模拟器的特点,采用新型双锥-线栅型平板天线结构,设计了一台水平极化有界波电磁脉冲模拟器。通过电磁仿真和实验测试,对模拟器的辐射特性和场均匀性进行了研究。仿真结果和实测结果基本一致。结果表明,模拟器能产生包含地面反射的水平极化电磁脉冲环境,波形满足上升沿(2.5±0.5)ns、半高宽(23±5)ns的高空电磁脉冲标准要求。模拟器使用灵活机动,能在不小于5 m×3 m×2 m工作空间内产生峰值场强不小于50 kV/m的6 dB均匀场,也能在降低测试场强时提供更大的工作空间。 展开更多

关键词 高空电磁脉冲 电磁脉冲模拟器 水平极化 有界波

在线阅读 下载PDF 职称材料

一种面向等级保护的软件安全需求分析方法研究 被引量：3

8

作者 张志海 郑春一 张红军 《信息网络安全》 2013年第8期2-4,共3页

文章分析了在等级保护过程中进行威胁建模的必要性,结合《信息系统安全等级保护实施指南》提出一种基于威胁建模的软件安全需求分析方法,通过威胁-攻击图(TAG)评估攻击,根据评估结果及《信息系统安全等级保护基本要求》确定应对方案,将... 文章分析了在等级保护过程中进行威胁建模的必要性,结合《信息系统安全等级保护实施指南》提出一种基于威胁建模的软件安全需求分析方法,通过威胁-攻击图(TAG)评估攻击,根据评估结果及《信息系统安全等级保护基本要求》确定应对方案,将等级保护思想融入到软件安全设计阶段中,使得应对方案能更高效地改进软件设计以增强软件安全性,并通过实际案例对该方法进行了验证。 展开更多

关键词 等级保护 软件安全 威胁建模

在线阅读 下载PDF 职称材料

基于BGSA算法的SVM分类模型设计研究 被引量：4

9

作者 赵东升 李艳军 《电子测量技术》 2019年第5期56-59,共4页

为了设计性能更优的支持向量机(SVM)分类模型,对影响其分类性能的参数和样本特征子集进行优化选择,对支持向量机理论和万有引力搜索算法(GSA)进行了研究,提出了一种基于二进制万有引力搜索算法(BGSA)的支持向量机分类模型构建方法,能够... 为了设计性能更优的支持向量机(SVM)分类模型,对影响其分类性能的参数和样本特征子集进行优化选择,对支持向量机理论和万有引力搜索算法(GSA)进行了研究,提出了一种基于二进制万有引力搜索算法(BGSA)的支持向量机分类模型构建方法,能够对影响支持向量机分类性能的相关参数及有效样本特征子集同时进行优化选择,获得最优组合解,并通过实验对其有效性进行了对比分析和验证。实验结果表明,所提出的BGSA-SVM分类模型能够有效提高支持向量机的分类性能,可进一步推广到工程实际中应用。 展开更多

关键词 万有引力搜索算法 群体智能 支持向量机 参数优化

在线阅读 下载PDF 职称材料

基于专利分析的聚3,4-乙撑二氧噻吩及应用态势

10

作者 崔瑞敏 张斌 +2 位作者 樊睿 高彩霞 刘玉飞 《塑料工业》 CAS CSCD 北大核心 2024年第11期9-13,99,共6页

系统梳理全球聚3,4-乙撑二氧噻吩(PEDOT)相关专利,从国内和国外两个视角,对PEDOT相关专利进行全面分析,深入探讨其专利申请态势、技术领先国家、核心创新者以及主要应用领域。分析发现,PEDOT技术在全球范围内展现出平稳增长的态势,中国... 系统梳理全球聚3,4-乙撑二氧噻吩(PEDOT)相关专利,从国内和国外两个视角,对PEDOT相关专利进行全面分析,深入探讨其专利申请态势、技术领先国家、核心创新者以及主要应用领域。分析发现,PEDOT技术在全球范围内展现出平稳增长的态势,中国虽起步较晚,但后发优势明显,高校与企业在推动其研究与商业化进程中起到了决定性作用。美国和韩国在PEDOT研发与应用市场的活跃度较高,拥有大量的专利,韩国的研发力量主要集中在几家大型公司,而美国的专利申请人则相对较为分散。基本电气元件领域是PEDOT应用最热门的研究领域,在医学和物理等领域,尤其是在诊断、外科设备及光电设备中的应用亦值得进一步探索和研究。 展开更多

关键词 聚3 4-乙撑二氧噻吩 专利分析 技术主分类

在线阅读 下载PDF 职称材料

考虑个性化指标的双边匹配决策方法 被引量：9

11

作者 陈晔 曹帅 +1 位作者 卢波 李一芳 《系统工程与电子技术》 EI CSCD 北大核心 2016年第9期2109-2114,共6页

针对现实生活中双边匹配时每一方内部不同个体存在个性化评价指标情况,提出一种双层优化模型加以解决。首先在定义双边个性化指标匹配问题基础上,通过对每一方分析其内部个性化指标的差异度,设计了总体指标集及权重的协同优化模型;在此... 针对现实生活中双边匹配时每一方内部不同个体存在个性化评价指标情况,提出一种双层优化模型加以解决。首先在定义双边个性化指标匹配问题基础上,通过对每一方分析其内部个性化指标的差异度,设计了总体指标集及权重的协同优化模型;在此基础上,定义了双边匹配竞争度,构建了基于总体匹配满意度最优化模型来求解匹配结果;最后通过算例展示了提出方法的可行性。 展开更多

关键词 双边匹配 个性化指标 指标差异度 权重协同优化 匹配竞争度

在线阅读 下载PDF 职称材料

小口径火炮弹炮耦合动态响应有限元时程分析 被引量：9

12

作者 苏忠亭 徐达 +1 位作者 李晓伟 韩振飞 《振动与冲击》 EI CSCD 北大核心 2012年第23期104-108,147,共6页

基于移动荷载思想应用有限单元法和悬臂梁理论研究了小口径火炮弹丸膛内运动过程中的身管振动情况。应用圆柱坐标系将身管结构离散为标准的扇形单元,依据弹带凹槽部和凸起部沿膛线运动过程对各单元进行编号,将弹带视为弹塑性体,凹槽部... 基于移动荷载思想应用有限单元法和悬臂梁理论研究了小口径火炮弹丸膛内运动过程中的身管振动情况。应用圆柱坐标系将身管结构离散为标准的扇形单元,依据弹带凹槽部和凸起部沿膛线运动过程对各单元进行编号,将弹带视为弹塑性体,凹槽部应用线性简化模型,凸起部应用Dubowsky模型,身管简化为柔性变截面悬臂梁,考虑弹带挤进过程和刚体前定心部对内膛的瞬态碰撞规律,将弹丸膛内运动过程分为三个阶段,根据工程梁理论建立了移动弹丸作用下身管径向振动的时变动力学方程。将计算结果与炮口振动实验数据相比较,可知在忽略火炮后坐、摇架、炮塔等结构影响下,弹炮耦合模型比较准确。 展开更多

关键词 小口径火炮 弹炮耦合 有限单元法 悬臂梁 Dubowsky模型

在线阅读 下载PDF 职称材料

基于逻辑的形式化验证方法:进展及应用 被引量：17

13

作者 陈钢 于林宇 +1 位作者 裘宗燕 王颖 《北京大学学报（自然科学版）》 EI CAS CSCD 北大核心 2016年第2期363-373,共11页

近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻... 近年来,形式化方法发展很快,一些技术已经产生工业应用。以逻辑系统为主线,分析几个影响力比较大的形式化验证技术和验证工具,以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT,谓词逻辑方面的ACL2、VDM方法和B方法,以及高阶逻辑方面的HOL、PVS和COQ。还介绍形式化方法在学术界和工业界的应用情况,最后给出几个商业化的形式化验证工具。 展开更多

关键词 形式化方法 逻辑系统 验证技术

在线阅读 下载PDF 职称材料

基于制造物联的航天产品研制过程的技术状态控制技术 被引量：15

14

作者 刘继红 余杰 朱玉明 《计算机集成制造系统》 EI CSCD 北大核心 2015年第7期1781-1789,共9页

为解决航天产品研制过程中的技术状态依赖人为信息记录和判断,导致信息采集不及时、信息准确性保障成本高的问题,提出基于制造物联的航天产品研制过程的技术状态控制技术。通过"信息标识—数据清洗—数据融合—状态评估"四层... 为解决航天产品研制过程中的技术状态依赖人为信息记录和判断,导致信息采集不及时、信息准确性保障成本高的问题,提出基于制造物联的航天产品研制过程的技术状态控制技术。通过"信息标识—数据清洗—数据融合—状态评估"四层结构,构建了基于制造物联的航天产品研制过程的技术状态控制模型;针对采集数据不准确的问题,提出基于制造物联的数据清洗方法;针对数据不确定的问题,提出基于粗糙集D-S证据理论的数据融合方法,以实现技术状态的实时可靠性获取;通过对比和评估实物状态与目标状态有效地掌握了技术状态的偏移。以航天某厂为应用对象验证了所提技术的可行性。 展开更多

关键词 制造物联 航天产品 研制过程 技术状态 物联网

在线阅读 下载PDF 职称材料

步兵战车车体结构有限元模型修正 被引量：6

15

作者 苏忠亭 徐达 +1 位作者 李晓伟 王帅帅 《振动．测试与诊断》 EI CSCD 北大核心 2014年第6期1148-1153,1176-1177,共6页

针对某型步兵战车整车刚柔耦合发射动力学中柔性车体有限元模型精度低的问题,基于模态试验数据,应用支持向量机响应面模型修正理论对车体结构有限元模型进行了修正。应用ANSYS有限元分析软件对车体结构进行模态分析,提取前6阶模态的固... 针对某型步兵战车整车刚柔耦合发射动力学中柔性车体有限元模型精度低的问题,基于模态试验数据,应用支持向量机响应面模型修正理论对车体结构有限元模型进行了修正。应用ANSYS有限元分析软件对车体结构进行模态分析,提取前6阶模态的固有频率和振型。为验证模型,设计了模态试验方案,实测了车体结构的模态信息。基于有限元模型数据与实测数据的相对误差,采用支持向量机响应面模型修正方法对车体结构弹性模量和密度进行修正。模型确认结果和动力学模型应用结果表明,修正后的车体有限元模型精度有了大幅度提高,能更加真实地反映车体的结构特征,为射击精度分析提供了准确的模型基础。 展开更多

关键词 车体 模态试验 有限元模型修正 支持向量机响应面

在线阅读 下载PDF 职称材料

多路传感器信号采集无线传输模块设计 被引量：7

16

作者 刘畅 张清 +1 位作者 彭晴晴 张会新 《现代电子技术》 北大核心 2019年第18期99-102,共4页

针对现在飞行器内部线缆复杂性和有效载荷比低,提出采用无线传输的模式,应用CC3200中的无线模块来提升传感器的使用灵活性,同时减少因为布线而导致的复杂问题,能够有效提高飞行器的有效载荷比.传感器模拟信号的采集使用内部集成ADC的STM... 针对现在飞行器内部线缆复杂性和有效载荷比低,提出采用无线传输的模式,应用CC3200中的无线模块来提升传感器的使用灵活性,同时减少因为布线而导致的复杂问题,能够有效提高飞行器的有效载荷比.传感器模拟信号的采集使用内部集成ADC的STM32F103系列单片机,同时为了增强信号强度,再选用能够粘贴式的同轴馈电天线.该设计可实现识别每个传感器的种类,并且把传输速率要求高的传感器连接到干扰较少的网络上.实验得出,每个传感器的传输速度达到320.17 KB/s,通过上位机可清晰得到每个传感器的IP地址,从而有效识别传感器种类.结果表明,该传感器与市面上其他传感器相比集成度高,可靠性强. 展开更多

关键词 无线传输 传感器 传感器种类识别 有效载荷比 模拟信号采集 天线选择

在线阅读 下载PDF 职称材料

基于BERT的诉讼案件违法事实要素自动抽取 被引量：4

17

作者 崔斌 邹蕾 徐明月 《科学技术与工程》 北大核心 2021年第9期3669-3675,共7页

针对诉讼案件违法事实要素抽取效果依赖领域专业知识的特点,提出一种基于transformer双向编码器表示(bidirectional encoder representations from transformer, BERT)的诉讼案件违法事实要素自动抽取方法。首先,通过构建领域知识并采... 针对诉讼案件违法事实要素抽取效果依赖领域专业知识的特点,提出一种基于transformer双向编码器表示(bidirectional encoder representations from transformer, BERT)的诉讼案件违法事实要素自动抽取方法。首先,通过构建领域知识并采用谷歌BERT预训练语言模型进行训练得到拟合诉讼案件领域数据的模型参数和中文预训练字嵌入向量作为模型的输入,得到具有上下文相关的语义表示,以提高词嵌入的上下文语义质量。其次,采用循环卷积神经网络对文本进行编码并获取在文本分类任务中扮演关键角色的信息,提升案件违法事实要素抽取的效果。最后,采用focal函数作为损失函数关注难以区分的样本。违法事实要素抽取的工作是通过对文本标签进行分类得到的。实验测试表明,该方法对诉讼案件要素抽取的F1值为86.41%,相比其他方法性能均有提高。对模型注入领域内知识,也可以提高模型抽取准确率。 展开更多

关键词 诉讼案件 违法事实要素 BERT 预训练 领域内知识

在线阅读 下载PDF 职称材料

超低信噪比调频连续波引信信号小周期态Duffing振子检测 被引量：3

18

作者 朱志强 侯健 +2 位作者 闫晓鹏 栗苹 郝新红 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2019年第10期2069-2078,共10页

针对超低信噪比(SNR)下调频连续波(FWCW)引信信号难以检测的问题,结合Duffing振子特性和可停振动系统理论,建立了小周期态Duffing振子检测系统。该系统能够克服传统Duffing振子强参考信号检测的固有缺陷,扩展单个Duffing振子的信号频率... 针对超低信噪比(SNR)下调频连续波(FWCW)引信信号难以检测的问题,结合Duffing振子特性和可停振动系统理论,建立了小周期态Duffing振子检测系统。该系统能够克服传统Duffing振子强参考信号检测的固有缺陷,扩展单个Duffing振子的信号频率检测范围,并降低算法复杂度。在此基础上,分析Duffing振子相轨迹特性,提出了基于小周期态Duffing振子的调频连续波引信信号检测方法。实验结果表明,小周期态Duffing振子检测方法在-30 dB的超低信噪比下对真实调频引信辐射信号的平均检测误差小于1%,验证了本文方法的有效性。 展开更多

关键词 调频连续波(FMCW)引信 DUFFING振子 小周期态 可停振动系统 信噪比(SNR)

在线阅读 下载PDF 职称材料

基于区块链的RFID数据采集溯源系统设计与实现 被引量：8

19

作者 何占博 王颖 +1 位作者 张国宇 刘军 《信息安全研究》 2021年第7期621-631,共11页

关键基础设施、特种装备等关键设备的数据采集和溯源需要贯穿科研生产、登记、分发、调拨、维修以及销毁等全生命周期过程.目前,大多数关键设备数据一般存储在政府机构、用户、仓库和科研生产单位等系统中,容易导致关键设备数据在各部... 关键基础设施、特种装备等关键设备的数据采集和溯源需要贯穿科研生产、登记、分发、调拨、维修以及销毁等全生命周期过程.目前,大多数关键设备数据一般存储在政府机构、用户、仓库和科研生产单位等系统中,容易导致关键设备数据在各部门间的信息冗余和歧义.针对关键基础设施、特种装备等关键设备的安全溯源问题,提出了一种基于区块链和RFID结合的数据采集溯源系统,设计采用RFID硬件设备唯一标识、零存储、智能合约等关键技术,构造不可篡改的关键设备数据记录链,实现关键设备数据的实时共享、追踪溯源和审计监管,进而使生产部门、使用部门和监管部门能够实时监控关键设备全生命周期状态,最终达到关键操作可追溯、重要数据有保护的安全性和可追溯性要求.此外,该系统的设计与实现采用由国产芯片改造而成的RFID设备和自主研发的适配审计软件,极大提高了该数据采集溯源系统软硬件自主可控程度. 展开更多

关键词 区块链 RFID 数据采集 数据溯源 自主可控

在线阅读 下载PDF 职称材料

基于程序向量树的代码克隆检测 被引量：6

20

作者 曾杰 贲可荣 +2 位作者 张献 李晓伟 周全 《计算机科学与探索》 CSCD 北大核心 2020年第10期1656-1669,共14页

代码克隆能够加速软件开发但是也会导致缺陷重复发生和软件质量问题。部分类型的代码克隆在字面上相似度低,导致识别困难。针对这一问题,提出一种基于程序向量树的代码克隆检测方法。首先,基于统计语言模型抽取词法单元的特征表示,分析... 代码克隆能够加速软件开发但是也会导致缺陷重复发生和软件质量问题。部分类型的代码克隆在字面上相似度低,导致识别困难。针对这一问题,提出一种基于程序向量树的代码克隆检测方法。首先,基于统计语言模型抽取词法单元的特征表示,分析不同字面单词之间的语义相似性;接着,通过语法分析提取程序的抽象语法树(AST),为叶子节点赋予对应字面单词的特征表示,将抽象语法树转化为程序向量树;最后,提出一种加权编码规则,在考虑区分不同树节点重要程度的基础上,将程序向量树编码为定长向量,而具有相似向量表示的代码片段被判定为代码克隆。实验结果表明,在真实代码克隆的大规模标准数据集BigCloneBench上,针对在字面上相似度较低的Moderately Type-3和Type-4类型克隆进行检测时,该方法均优于当前的主流方法,包括NiCad、Deckard、SourcererCC和Oreo等,证实了该方法的有效性。 展开更多

关键词 代码克隆 代码克隆检测 抽象语法树(AST) 程序向量树

在线阅读 下载PDF 职称材料