期刊文献+
共找到112篇文章
< 1 2 6 >
每页显示 20 50 100
基于MPLS的多路径数据传输算法
1
作者 张换莉 高艺博 《通信电源技术》 2023年第15期153-155,共3页
随着互联网的快速发展,网络流量的增加给传输效率和可靠性提出了更高的要求。研究基于多协议标签交换(Multi-Protocol Label Switching,MPLS)的多路径数据传输算法。首先,介绍了MPLS技术的基本原理和特点;其次,针对多路径数据传输的需求... 随着互联网的快速发展,网络流量的增加给传输效率和可靠性提出了更高的要求。研究基于多协议标签交换(Multi-Protocol Label Switching,MPLS)的多路径数据传输算法。首先,介绍了MPLS技术的基本原理和特点;其次,针对多路径数据传输的需求,提出了一种基于MPLS的多路径数据传输算法;最后,通过实验仿真和性能评估,验证了基于MPLS的多路径数据传输算法的有效性。 展开更多
关键词 多协议标签交换(MPLS) 路径数据传输 遗传算法 传输时间
下载PDF
基于RFID路径数据的异常路径检测 被引量:1
2
作者 董国宾 薛安荣 赵保同 《计算机应用研究》 CSCD 北大核心 2013年第8期2451-2454,共4页
RFID技术在物流、供应链管理等需要跟踪物品流动的领域的广泛使用产生了大量路径数据。路径数据描述了物品在RFID系统中的移动轨迹,路径数据中每个节点同时包含地点和时间信息,使路径数据比一般的序列数据更复杂。针对现有的序列数据异... RFID技术在物流、供应链管理等需要跟踪物品流动的领域的广泛使用产生了大量路径数据。路径数据描述了物品在RFID系统中的移动轨迹,路径数据中每个节点同时包含地点和时间信息,使路径数据比一般的序列数据更复杂。针对现有的序列数据异常点检测算法不适合处理路径数据的情况,对路径数据的异常路径检测进行了研究,提出适用于路径数据的扩展概率后缀树(EPST)模型和一种采用该模型检测异常路径的方法。该模型用来计算每个路径和路径数据集的相似度,在计算相似度时主要利用了路径数据的"短期记忆"性质,同时考虑了地点和时间信息对路径数据相似度的不同影响。实验表明提出的算法能够准确地检测出异常路径,并具有较低的空间复杂度。 展开更多
关键词 RFID 路径数据 异常路径检测 扩展概率后缀树
下载PDF
天波超视距雷达多路径数据关联跟踪算法对比研究 被引量:2
3
作者 刘慧霞 王增福 +2 位作者 张媚 梁彦 潘泉 《弹箭与制导学报》 CSCD 北大核心 2007年第5期193-196,共4页
天波超视距雷达的多传播路径会引起多个量测对应同一个目标的问题,而由于传播模式的模糊性,量测与传播模式的对应关系是不确定的。多路径Viterbi数据关联跟踪算法(MVDA)采用回波竞争的思想,而多路径概率数据关联跟踪算法(MPDA)利用了回... 天波超视距雷达的多传播路径会引起多个量测对应同一个目标的问题,而由于传播模式的模糊性,量测与传播模式的对应关系是不确定的。多路径Viterbi数据关联跟踪算法(MVDA)采用回波竞争的思想,而多路径概率数据关联跟踪算法(MPDA)利用了回波合并的策略,通过多次Monte Carlo仿真试验对两种算法的失跟率、状态估计的均方根误差、航迹终结延时以及计算量等跟踪性能指标进行了比较。仿真结果表明,在低检测率、重杂波环境下,提出的MVDA算法大大降低了失跟率,而MPDA算法具有较高的估计精度。 展开更多
关键词 天波超视距雷达 路径Viterbi数据关联跟踪算法 路径概率数据关联跟踪算法 跟踪性能比较
下载PDF
分组无线网缠绕多路径数据路由协议仿真
4
作者 张莉 王志丹 《计算机仿真》 北大核心 2020年第4期164-168,共5页
在分组无线网的路由协议中,传统路由协议在恶意节点数目较多时网络吞吐量较低,因此提出一种分组无线网缠绕多路径数据路由协议,利用获取的源节点数量信息与位置信息进行路由发现;根据路由发现结果建立从汇聚节点至源节点之间的路径,从... 在分组无线网的路由协议中,传统路由协议在恶意节点数目较多时网络吞吐量较低,因此提出一种分组无线网缠绕多路径数据路由协议,利用获取的源节点数量信息与位置信息进行路由发现;根据路由发现结果建立从汇聚节点至源节点之间的路径,从而建立缠绕多径路由;对缠绕多径路由进行建簇与重构;进行支路径数优化,从而实现分组无线网缠绕多路径数据路由协议的构建。为了验证上述路由协议的网络吞吐量,将路由协议与基于链路状态的主动式多路径路由协议、基于动态源的按需式多路径路由协议、基于距离矢量的混合式多路径路由协议进行对比,上述四种路由协议在恶意节点数目为30时的网络吞吐量分别为69.5%、33.5%、23.6%、4.2%,通过比较可知,新提出的路由协议的网络吞吐量最高,证明了新路由协议的性能。 展开更多
关键词 分组无线网 缠绕多路径数据 路由协议
下载PDF
基于数据流传播路径学习的智能合约时间戳漏洞检测
5
作者 张卓 刘业鹏 +3 位作者 薛建新 鄢萌 陈嘉弛 毛晓光 《软件学报》 EI CSCD 北大核心 2024年第5期2325-2339,共15页
智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oye... 智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力. 展开更多
关键词 智能合约 时间戳漏洞 漏洞检测 数据流传播路径 预训练
下载PDF
国家义务教育质量监测数据结果应用的市级路径探究 被引量:1
6
作者 章勇 邹良 唐文君 《考试研究》 2023年第6期2-9,共8页
监测结果运用是“监测-反馈-整改-提升”工作完整闭环中的关键环节,直接影响监测工作的现实价值与教育改革成效。对监测数据的精准分析与深度挖掘是结果应用的前提和基础。长沙在8年监测实践和结果应用基础上,探索出“市级总体数据分析... 监测结果运用是“监测-反馈-整改-提升”工作完整闭环中的关键环节,直接影响监测工作的现实价值与教育改革成效。对监测数据的精准分析与深度挖掘是结果应用的前提和基础。长沙在8年监测实践和结果应用基础上,探索出“市级总体数据分析、区县横向数据分析、年度追踪数据分析、数据结论全盘分析、质量互证综合分析”的市级监测数据应用路径,为充分发挥国家义务教育质量监测对教育实践的改进功能、促进教育高质量发展奠定基础。 展开更多
关键词 义务教育质量监测 监测结果应用 监测数据应用路径
下载PDF
再论企业数据保护的财产权化路径 被引量:265
7
作者 龙卫球 《东方法学》 CSSCI 北大核心 2018年第3期50-63,共14页
企业是推动支持当前数据经济发展的中坚力量。企业积极投入大量技术、资金和人力成本,是大数据得以形成和运营的关键前提。但是,企业投入数据经济的意愿和努力,最终取决于企业数据能否得到充分、合理和有效的法律保护。目前,从私法保护... 企业是推动支持当前数据经济发展的中坚力量。企业积极投入大量技术、资金和人力成本,是大数据得以形成和运营的关键前提。但是,企业投入数据经济的意愿和努力,最终取决于企业数据能否得到充分、合理和有效的法律保护。目前,从私法保护角度来说,企业数据保护走出借用传统法律的策略转向数据新型财产权化新机制,时所必然、事所必然。但是应该注意,企业数据保护在承载企业追求经济化的功能的同时,具有多重功能的聚合性和所涉利益关系的交织性,这些导致企业数据财产权保护路径的设计非常复杂。它形式上虽然采取私权形式,但与民法上典型的财产权不同,需要兼顾多种功能、多种利益协同的保障要求,因此无法采取简单意义的财产权构造,而是需要呈现为一种具有极强外部协同性的复杂财产权设计。在这个意义上,虽然具有权利之名,但实际包含了极为复杂的法律秩序安排;与采取私权形式的知识产权机制,以及没有采取私权形式的企业竞争保护机制有一定相似之处,但功能和结构更加繁复。 展开更多
关键词 企业数据保护财产权化路径数据功能聚合 数据财产权 数据关联利益
下载PDF
并行程序中多路径数据相似性检测方法研究 被引量:1
8
作者 张震 《自动化与仪器仪表》 2020年第6期26-28,共3页
针对传统多路径数据相似性检测方法查准率与检测速度低的情况,对并行程序中多路径数据相似性检测方法进行设计。按照数据属性对多路径数据集划分,并对数据预处理,根据预定义识别相似规则,判断多路径数据库中的数据是否存在相似重复记录... 针对传统多路径数据相似性检测方法查准率与检测速度低的情况,对并行程序中多路径数据相似性检测方法进行设计。按照数据属性对多路径数据集划分,并对数据预处理,根据预定义识别相似规则,判断多路径数据库中的数据是否存在相似重复记录,以此完成对多路径数据相似性检测。实验结果表明,在实验数据55.2万时,传统方法的查准率比此次设计方法查准率低6.2%,在实验数据385.2万时,传统方法比此次方法查准率低17.9%。并且在相同查全率条件下,在实验数据55.2万时,传统方法时间比此次设计的方法时间多10.1 min,在实验数据385.2万时,传统方法检测时间比此次设计方法检测时间多21.2 min。说明,此次设计的检测方法查准率比传统方法查准率高,并且在相同查全率的条件下,传统方法的检测时间比本文时间耗费多,因此说明该方法查准率与检测速度高。 展开更多
关键词 并行程序 路径数据 相似性 检测
原文传递
天波超视距雷达多路径Viterbi数据关联跟踪算法 被引量:22
9
作者 刘慧霞 梁彦 +1 位作者 潘泉 程咏梅 《电子学报》 EI CAS CSCD 北大核心 2006年第9期1640-1644,共5页
天波超视距雷达目标跟踪面临多传播路径、低探测概率、低探测精度和低数据率的困难.本文在地理坐标系对运动目标建模而在雷达坐标系进行数据关联,将各传播模式的回波作为备选的竞争量测,运用动态规划的优化方式,在最大似然的意义下将VD... 天波超视距雷达目标跟踪面临多传播路径、低探测概率、低探测精度和低数据率的困难.本文在地理坐标系对运动目标建模而在雷达坐标系进行数据关联,将各传播模式的回波作为备选的竞争量测,运用动态规划的优化方式,在最大似然的意义下将VDA的回波与航迹的两维数据关联推广到回波、传播模式和航迹的三维数据关联,提出了多路径V iterbi(MVDA)数据关联算法.天波超视距雷达目标跟踪仿真表明:MVDA跟踪能力明显优于VDA和MPDA. 展开更多
关键词 天波超视距雷达 路径Viterbi数据关联跟踪算法 目标跟踪
下载PDF
基于自适应遗传算法的路径测试数据生成 被引量:17
10
作者 李军 李艳辉 彭存银 《计算机工程》 CAS CSCD 北大核心 2009年第2期203-205,共3页
针对简单遗传算法容易产生早熟收敛的问题,提出一种自适应遗传算法,用以自动生成测试数据。通过把程序插装法与该遗传算法相结合,实现了路径测试数据的自动生成。将三角形分类程序作为实例对其进行性能测试,实验结果表明,基于自适应遗... 针对简单遗传算法容易产生早熟收敛的问题,提出一种自适应遗传算法,用以自动生成测试数据。通过把程序插装法与该遗传算法相结合,实现了路径测试数据的自动生成。将三角形分类程序作为实例对其进行性能测试,实验结果表明,基于自适应遗传算法的测试数据自动生成系统能自动改变选择概率和交叉概率,提高了自动生成测试数据的效率。 展开更多
关键词 软件测试 路径测试数据 自适应遗传算法
下载PDF
利用幅值信息的超视距雷达多路径概率数据互联算法 被引量:2
11
作者 孔敏 王国宏 《海军航空工程学院学报》 2007年第4期421-425,共5页
天波超视距雷达是通过电离层反射实现超视距广域监视的,其地理坐标系下的量测方程存在强非线性,同时由于电离层的不同分层,造成了多路径传播的严重问题,即同时存在多个量测模型.多路径概率数据互联(MPDA)滤波器将坐标配准与概率数据互... 天波超视距雷达是通过电离层反射实现超视距广域监视的,其地理坐标系下的量测方程存在强非线性,同时由于电离层的不同分层,造成了多路径传播的严重问题,即同时存在多个量测模型.多路径概率数据互联(MPDA)滤波器将坐标配准与概率数据互联相结合,解决了超视距目标跟踪中的多路径传播问题,但在杂波环境下滤波跟踪精度不高.文中提出了一种基于信号幅值特征信息的MPDA算法(A-MPDA),当跟踪单一的、存在4种可能非线性量测的非机动目标时,仿真结果表明所提出的算法比标准MPDA有更好的跟踪精度. 展开更多
关键词 天波超视距雷达 目标跟踪 路径概率数据互联 幅值信息
下载PDF
基于搜索的面向路径字符串测试数据自动生成方法 被引量:5
12
作者 赵瑞莲 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第5期671-677,共7页
针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与... 针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与初始输入、路径处理顺序之间的关系,并与遗传算法等几种算法进行了比较.实验结果表明:该方法是一种更经济有效的测试数据生成方法. 展开更多
关键词 路径测试数据生成 字符串数据 字符串间距离 快速下降搜索算法
下载PDF
云计算环境下非连续数据路径挖掘优化分析 被引量:4
13
作者 谢辅雯 《计算机仿真》 北大核心 2018年第6期432-435,共4页
为提高非连续数据的利用率,需要对非连续数据路径进行挖掘。当前基于本体论的非连续数据路径挖掘方法,通过领域知识与数据库的无缝连接完成数据路径的挖掘,过程中重复数据的清洗效果较差,挖掘所用能耗较高,无法实现高质量的数据路径挖... 为提高非连续数据的利用率,需要对非连续数据路径进行挖掘。当前基于本体论的非连续数据路径挖掘方法,通过领域知识与数据库的无缝连接完成数据路径的挖掘,过程中重复数据的清洗效果较差,挖掘所用能耗较高,无法实现高质量的数据路径挖掘。提出依据模糊支持向量机,对非连续数据路径进行挖掘,通过统一标准格式,对数据排序的关键字中比较繁杂的表现形式,进行规格化地处理,将数据的格式进行统一;对排序关键字内的单词实施排序操作,增强非连续数据库内,数据排序结果单一性,以达到减少挖掘所用能耗的目的。通过候选的支持向量机减小数据训练数量,利用模糊隶属度法,对支持向量机建立模糊支持向量机起到的作用进行增强。采用POS法完成训练决策函数时获得的支持向量机集合的寻优操作,采并选出使挖掘误差为最小的向量子集对决策函数进行训练,以得到非连续数据路径挖掘最优结果。仿真表明,上述方法可对重复数据进行高效清洗,实现了高精度地数据路径挖掘,减少了数据挖掘所用能耗。 展开更多
关键词 云计算 非连续 数据路径 挖掘
下载PDF
基于路径规划数据的公共交通站点覆盖水平评价方法 被引量:6
14
作者 杜光远 谭桂菲 《交通运输研究》 2020年第2期68-75,82,共9页
为科学合理地评价城市公共交通站点覆盖水平,提高评价方法的准确性和有效性,在分析我国城市公共交通站点覆盖现状和存在问题的基础上,结合基于互联网开放地图平台的路径规划数据,采用以步行实际可达性为主要依据的评价方法对公共交通站... 为科学合理地评价城市公共交通站点覆盖水平,提高评价方法的准确性和有效性,在分析我国城市公共交通站点覆盖现状和存在问题的基础上,结合基于互联网开放地图平台的路径规划数据,采用以步行实际可达性为主要依据的评价方法对公共交通站点覆盖水平进行研究分析。结果表明:此方法不但适用于区域公交站点布局评价,还可以聚焦于某一条具体的公交线路、自行车停靠点、P+R(Park and Ride)设施、交通枢纽等交通设施,以及快递服务点、公共厕所等生活服务设施的可达性分析和布局优化。最后,从向内深挖自身潜力、向外争取良好环境两个层面,提出了提升我国城市公共交通覆盖水平的措施建议。 展开更多
关键词 公共交通站点 覆盖率 开放地图平台 路径规划数据 可达性分析 交通设施 生活服务设施
下载PDF
移动网络数据传输路径负载均衡性配置仿真 被引量:6
15
作者 韩雷 《计算机仿真》 北大核心 2018年第5期164-167,共4页
对移动网络数据传输路径负载的均衡性配置,能够有效改善网络大量数据传输引起的链路拥塞现象。对数据路径负载的均衡性配置,需要通过链路评估算法考虑通信链路关键度,选择最佳转发链路,完成负载均衡性配置。传统方法结合最小权值方法,... 对移动网络数据传输路径负载的均衡性配置,能够有效改善网络大量数据传输引起的链路拥塞现象。对数据路径负载的均衡性配置,需要通过链路评估算法考虑通信链路关键度,选择最佳转发链路,完成负载均衡性配置。传统方法结合最小权值方法,对转发节点进行广泛选取,到忽略了对最佳转发链路的获取,导致负载配置精度偏低。提出基于移动网络节点和链路评估的负载均衡性配置方法,根据节点带宽利用率,去除节点负载最接近设置的节点转发阈值上限的节点,计算各个节点的可调用带宽,选择出最佳的转发节点;采用链路评估算法综合考虑通信链路关键度,根据通信链路剩余带宽选择最佳转发链路;通过调整动态负载均衡性配置阈值对传输的数据进行的调度,实现数据传输路径负载均衡性配置。实验证明,所提方法在数据传输成功率、吞吐率、网络资源利用率方面均有所改善。 展开更多
关键词 移动网络 数据传输路径 负载均衡性配置
下载PDF
智能时代背景下的研究生创新创业的影响因素及数据化路径研究 被引量:4
16
作者 刘小静 满婷 +1 位作者 符蝶 易思豪 《创意设计源》 2021年第1期73-76,共4页
基于人工智能时代深化创新创业教育改革的背景,针对高校教育创新实践体系尚不完善、数据基础建设薄弱等问题,探讨了高校研究生创新创业人才培养趋势、影响因素及数据应用。通过文献查阅、比较分析以及模型构建等方法对高校研究生创新创... 基于人工智能时代深化创新创业教育改革的背景,针对高校教育创新实践体系尚不完善、数据基础建设薄弱等问题,探讨了高校研究生创新创业人才培养趋势、影响因素及数据应用。通过文献查阅、比较分析以及模型构建等方法对高校研究生创新创业人才培养的数据化路径进行了探索,以期促进高校学科交叉融合与高层次复合型人才的培养创新,帮助创新团队和创业项目跨越"死亡之谷"。 展开更多
关键词 人工智能 创新创业 影响因素 数据路径 研究生
下载PDF
可编程浮点数字信号处理器LS-DSP数据路径的设计
17
作者 车德亮 许琪 沈绪榜 《信号处理》 CSCD 北大核心 2006年第1期86-90,共5页
LS-DSP是针对航天数字信号处理应用而开发的32位可编程浮点数字信号处理器。本文讨论LS—DSP数据路径的设计,即ALU、乘法器、数据地址产生器三大功能单元的设计。在ALU的设计中,本文采用了一种新的前导0/1判断逻辑结构,其AT2比传统并... LS-DSP是针对航天数字信号处理应用而开发的32位可编程浮点数字信号处理器。本文讨论LS—DSP数据路径的设计,即ALU、乘法器、数据地址产生器三大功能单元的设计。在ALU的设计中,本文采用了一种新的前导0/1判断逻辑结构,其AT2比传统并行方式减少了约15.3%。在乘法器设计中,本文采用了一种新的尾数乘法阵列组织结构,其 AT2比传统的Wallace树结构减少了约12%。为了使LS-DSP更好的支持数字信号处理应用,本文提出了支持顺序、倒位序、循环三种数据寻址计算的数据地址产生器生成算法。LS-DSP现已投片成功,其采用0.5um三层金属布线CMOS工艺制造,面积6.2×6.7mm2,主频为50MHz。 展开更多
关键词 浮点数字信号处理器 数据路径 ALU 乘法器 数据地址生成器
下载PDF
一种低功耗数据路径综合的迭代改进算法
18
作者 潘锋 《舰船电子工程》 2018年第5期29-32,共4页
为了解决数据控制电路行为中功耗高的问题,论文对调度操作、时钟选择、模块选择和资源分配四个方面进行了深入探讨,并提出了一种降低合成数据路径的功耗迭代改进算法。该算法运用迭代改进策略,能够在寻找低功率解的过程中避免局部解陷... 为了解决数据控制电路行为中功耗高的问题,论文对调度操作、时钟选择、模块选择和资源分配四个方面进行了深入探讨,并提出了一种降低合成数据路径的功耗迭代改进算法。该算法运用迭代改进策略,能够在寻找低功率解的过程中避免局部解陷入最小值。在考虑多种模块库和复杂的调度结构后,修正了供应电压和时钟选择策略,减少了计算候选供应电压和时钟周期中所涉及的计算工作。实验结果显示出该算法可以形成一个低功率应用的完整数据路径合成系统。 展开更多
关键词 数据路径 功耗 迭代算法 供应电压 时钟周期
下载PDF
基于Netfilter和快速数据路径的改进型网络防火墙
19
作者 解永亮 付国楷 房利国 《通信技术》 2021年第12期2711-2716,共6页
为了满足龙芯、飞腾等国产处理器平台在网络防火墙方面的性能需求,通过对Linux内核中Netfilter子系统、柏克莱封包过滤器技术以及快速数据路径框架的研究,提出了一种在Linux系统中具备良好兼容性、灵活性和通用性的网络防火墙构架,并详... 为了满足龙芯、飞腾等国产处理器平台在网络防火墙方面的性能需求,通过对Linux内核中Netfilter子系统、柏克莱封包过滤器技术以及快速数据路径框架的研究,提出了一种在Linux系统中具备良好兼容性、灵活性和通用性的网络防火墙构架,并详细描述了其核心要素、工作原理、软件模块组成、实现要点和技术优势。最后,在实际硬件环境中对传统框架和新框架下性能进行了对比测试和分析,并对如何进一步提高防火墙效率提出了一些建议。 展开更多
关键词 快速数据路径 柏克莱封包过滤器 NETFILTER LINUX网络
下载PDF
基于泰勒展开图的数据路径高层次验证
20
作者 范德会 《黑龙江工程学院学报》 CAS 2007年第2期31-35,共5页
泰勒展开图是基于图的表达方式,能够有效地表示多变量多项式。提出泰勒展开图的变量替换算法和变量合并算法。并在此基础上提出一个反向构建泰勒展开图的算法,该算法用于多项式数据路径的行为描述和寄存器传输级实现之间的等价性验证。... 泰勒展开图是基于图的表达方式,能够有效地表示多变量多项式。提出泰勒展开图的变量替换算法和变量合并算法。并在此基础上提出一个反向构建泰勒展开图的算法,该算法用于多项式数据路径的行为描述和寄存器传输级实现之间的等价性验证。实验结果表明提出的算法是有效的。 展开更多
关键词 泰勒展开式 字级多项式 高层次形式验证 多项式数据路径
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部