可编程浮点数字信号处理器LS-DSP数据路径的设计

1

作者 车德亮 许琪 沈绪榜 《信号处理》 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 职称材料

基于可重构数据路径的DSP的研究与实现

2

作者 鲁欣 陈进 付宇卓 《高技术通讯》 EI CAS CSCD 2004年第6期11-14,共4页

研究了一种基于可重构数据路径的信号处理器结构。其具有功耗低，速度快，灵活性较高等特点，可以做为个人信息处理SoC的核心处理器。而且，该结构具有粗粒度和结构级可重构的优点，适合有规律、高重复性和计算量大的任务，如多媒体信... 研究了一种基于可重构数据路径的信号处理器结构。其具有功耗低，速度快，灵活性较高等特点，可以做为个人信息处理SoC的核心处理器。而且，该结构具有粗粒度和结构级可重构的优点，适合有规律、高重复性和计算量大的任务，如多媒体信号处理和专门计算等。本文首先分析了实现该结构的关键技术，然后提出了实现方案和验证方法。 展开更多

关键词 可重构 数据路径 DSP SoC 粗粒度 信号处理器 编译器

在线阅读 下载PDF 职称材料

基于冗余策略的光纤通信网络数据最优路径搜索方法

3

作者 邵志伟 李星军 《激光杂志》 北大核心 2025年第7期181-186,共6页

在光纤通信网络中,由于设备故障、线路老化等原因,数据的传输路径容易遭遇中断或变得不稳定。为保证通信网络正常运行,并满足实时或非实时数据的传输需求,本研究提出基于冗余策略的光纤通信网络数据最优路径搜索方法。将实时数据和非实... 在光纤通信网络中,由于设备故障、线路老化等原因,数据的传输路径容易遭遇中断或变得不稳定。为保证通信网络正常运行,并满足实时或非实时数据的传输需求,本研究提出基于冗余策略的光纤通信网络数据最优路径搜索方法。将实时数据和非实时数据的时延最小、信道冲撞最小确定为目标,并将满足被传输数据量不得超出通信路径极限容量、优先传输实时数据、选中路径的相关指标应小于预设阈值等作为约束条件,利用深度优先搜索算法、图论法,确定冗余策略下数据传输所有可行路径,再利用模拟退化算法搜索出数据最优路径。实验结果表明,该方法搜索出的数据最优路径可以稳定、可靠地实现光纤通信,且丢包率低,数据传输速率快。 展开更多

关键词 冗余策略 光纤通信网络 数据最优路径 深度优先搜索算法 模拟退化算法

在线阅读 下载PDF 职称材料

基于数据流传播路径学习的智能合约时间戳漏洞检测 被引量：3

4

作者 张卓 刘业鹏 +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 职称材料

基于自适应遗传算法的路径测试数据生成 被引量：17

5

作者 李军 李艳辉 彭存银 《计算机工程》 CAS CSCD 北大核心 2009年第2期203-205,共3页

针对简单遗传算法容易产生早熟收敛的问题,提出一种自适应遗传算法,用以自动生成测试数据。通过把程序插装法与该遗传算法相结合,实现了路径测试数据的自动生成。将三角形分类程序作为实例对其进行性能测试,实验结果表明,基于自适应遗... 针对简单遗传算法容易产生早熟收敛的问题,提出一种自适应遗传算法,用以自动生成测试数据。通过把程序插装法与该遗传算法相结合,实现了路径测试数据的自动生成。将三角形分类程序作为实例对其进行性能测试,实验结果表明,基于自适应遗传算法的测试数据自动生成系统能自动改变选择概率和交叉概率,提高了自动生成测试数据的效率。 展开更多

关键词 软件测试 路径测试数据 自适应遗传算法

在线阅读 下载PDF 职称材料

天波超视距雷达多路径Viterbi数据关联跟踪算法 被引量：22

6

作者 刘慧霞 梁彦 +1 位作者 潘泉 程咏梅 《电子学报》 EI CAS CSCD 北大核心 2006年第9期1640-1644,共5页

天波超视距雷达目标跟踪面临多传播路径、低探测概率、低探测精度和低数据率的困难.本文在地理坐标系对运动目标建模而在雷达坐标系进行数据关联,将各传播模式的回波作为备选的竞争量测,运用动态规划的优化方式,在最大似然的意义下将VD... 天波超视距雷达目标跟踪面临多传播路径、低探测概率、低探测精度和低数据率的困难.本文在地理坐标系对运动目标建模而在雷达坐标系进行数据关联,将各传播模式的回波作为备选的竞争量测,运用动态规划的优化方式,在最大似然的意义下将VDA的回波与航迹的两维数据关联推广到回波、传播模式和航迹的三维数据关联,提出了多路径V iterbi(MVDA)数据关联算法.天波超视距雷达目标跟踪仿真表明:MVDA跟踪能力明显优于VDA和MPDA. 展开更多

关键词 天波超视距雷达 多路径Viterbi数据关联跟踪算法 目标跟踪

在线阅读 下载PDF 职称材料

天波超视距雷达多路径数据关联跟踪算法对比研究 被引量：2

7

作者 刘慧霞 王增福 +2 位作者 张媚 梁彦 潘泉 《弹箭与制导学报》 CSCD 北大核心 2007年第5期193-196,共4页

天波超视距雷达的多传播路径会引起多个量测对应同一个目标的问题,而由于传播模式的模糊性,量测与传播模式的对应关系是不确定的。多路径Viterbi数据关联跟踪算法(MVDA)采用回波竞争的思想,而多路径概率数据关联跟踪算法(MPDA)利用了回... 天波超视距雷达的多传播路径会引起多个量测对应同一个目标的问题,而由于传播模式的模糊性,量测与传播模式的对应关系是不确定的。多路径Viterbi数据关联跟踪算法(MVDA)采用回波竞争的思想,而多路径概率数据关联跟踪算法(MPDA)利用了回波合并的策略,通过多次Monte Carlo仿真试验对两种算法的失跟率、状态估计的均方根误差、航迹终结延时以及计算量等跟踪性能指标进行了比较。仿真结果表明,在低检测率、重杂波环境下,提出的MVDA算法大大降低了失跟率,而MPDA算法具有较高的估计精度。 展开更多

关键词 天波超视距雷达 多路径Viterbi数据关联跟踪算法 多路径概率数据关联跟踪算法 跟踪性能比较

在线阅读 下载PDF 职称材料

再论企业数据保护的财产权化路径 被引量：330

8

作者 龙卫球 《东方法学》 CSSCI 北大核心 2018年第3期50-63,共14页

企业是推动支持当前数据经济发展的中坚力量。企业积极投入大量技术、资金和人力成本,是大数据得以形成和运营的关键前提。但是,企业投入数据经济的意愿和努力,最终取决于企业数据能否得到充分、合理和有效的法律保护。目前,从私法保护... 企业是推动支持当前数据经济发展的中坚力量。企业积极投入大量技术、资金和人力成本,是大数据得以形成和运营的关键前提。但是,企业投入数据经济的意愿和努力,最终取决于企业数据能否得到充分、合理和有效的法律保护。目前,从私法保护角度来说,企业数据保护走出借用传统法律的策略转向数据新型财产权化新机制,时所必然、事所必然。但是应该注意,企业数据保护在承载企业追求经济化的功能的同时,具有多重功能的聚合性和所涉利益关系的交织性,这些导致企业数据财产权保护路径的设计非常复杂。它形式上虽然采取私权形式,但与民法上典型的财产权不同,需要兼顾多种功能、多种利益协同的保障要求,因此无法采取简单意义的财产权构造,而是需要呈现为一种具有极强外部协同性的复杂财产权设计。在这个意义上,虽然具有权利之名,但实际包含了极为复杂的法律秩序安排;与采取私权形式的知识产权机制,以及没有采取私权形式的企业竞争保护机制有一定相似之处,但功能和结构更加繁复。 展开更多

关键词 企业数据保护财产权化路径数据功能聚合 数据财产权 数据关联利益

在线阅读 下载PDF 职称材料

基于搜索的面向路径字符串测试数据自动生成方法 被引量：5

9

作者 赵瑞莲 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第5期671-677,共7页

针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与... 针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与初始输入、路径处理顺序之间的关系,并与遗传算法等几种算法进行了比较.实验结果表明:该方法是一种更经济有效的测试数据生成方法. 展开更多

关键词 路径测试数据生成 字符串数据 字符串间距离 快速下降搜索算法

在线阅读 下载PDF 职称材料

中美突发公共卫生事件中的数据共享路径研究 被引量：9

10

作者 宁岩 安小米 +1 位作者 周雅 王丽丽 《图书情报知识》 CSSCI 北大核心 2020年第6期4-14,共11页

[目的/意义]研究突发公共卫生事件下的数据共享路径,对于促进相关主体间的数据共享和协同合作,提高突发公共卫生事件防控能力具有重要意义。[研究设计/方法]通过文本分析对中美两国相关法律政策中涉及的数据共享场景、共享主体、共享内... [目的/意义]研究突发公共卫生事件下的数据共享路径,对于促进相关主体间的数据共享和协同合作,提高突发公共卫生事件防控能力具有重要意义。[研究设计/方法]通过文本分析对中美两国相关法律政策中涉及的数据共享场景、共享主体、共享内容及其流向、共享特点和共享条件等多方面内容进行了分析。[结论/发现]研究发现中美突发公共卫生事件下数据共享路径现状和异同点,并从建立常设突发公共卫生事件应急指挥机构与应急管理体系、建立垂直管理的突发公共卫生事件监测预警系统与快速响应体系、建立健全数据共享制度、加强国际数据共享与系统合作等四方面提出了完善我国突发公共卫生事件数据共享制度的建议。[创新/价值]为相关主体有序开展数据共享,提升突发公共卫生事件防控能力提供参考。 展开更多

关键词 突发公共卫生事件 数据共享 数据共享路径 中美比较

在线阅读 下载PDF 职称材料

基于车联网的汽车大数据创新应用路径研究 被引量：6

11

作者 张倩文 李璟璐 孙效华 《包装工程》 CAS 北大核心 2017年第20期67-73,共7页

目的为利用汽车大数据产生创新应用方案提供路径。方法分析汽车大数据的类型及创新应用方向,并从数据的收集、使用和挖掘出发,在数据感知、数据关联、模式挖掘、数据开放和数据平台使用等方面展开创新路径的探索。结论提出了不同的大数... 目的为利用汽车大数据产生创新应用方案提供路径。方法分析汽车大数据的类型及创新应用方向,并从数据的收集、使用和挖掘出发,在数据感知、数据关联、模式挖掘、数据开放和数据平台使用等方面展开创新路径的探索。结论提出了不同的大数据创新应用路径,以支持创新方案的产生。 展开更多

关键词 车联网 大数据 数据创新路径 创新应用

在线阅读 下载PDF 职称材料

基于RFID路径数据的异常路径检测 被引量：1

12

作者 董国宾 薛安荣 赵保同 《计算机应用研究》 CSCD 北大核心 2013年第8期2451-2454,共4页

RFID技术在物流、供应链管理等需要跟踪物品流动的领域的广泛使用产生了大量路径数据。路径数据描述了物品在RFID系统中的移动轨迹,路径数据中每个节点同时包含地点和时间信息,使路径数据比一般的序列数据更复杂。针对现有的序列数据异... RFID技术在物流、供应链管理等需要跟踪物品流动的领域的广泛使用产生了大量路径数据。路径数据描述了物品在RFID系统中的移动轨迹,路径数据中每个节点同时包含地点和时间信息,使路径数据比一般的序列数据更复杂。针对现有的序列数据异常点检测算法不适合处理路径数据的情况,对路径数据的异常路径检测进行了研究,提出适用于路径数据的扩展概率后缀树(EPST)模型和一种采用该模型检测异常路径的方法。该模型用来计算每个路径和路径数据集的相似度,在计算相似度时主要利用了路径数据的"短期记忆"性质,同时考虑了地点和时间信息对路径数据相似度的不同影响。实验表明提出的算法能够准确地检测出异常路径,并具有较低的空间复杂度。 展开更多

关键词 RFID 路径数据 异常路径检测 扩展概率后缀树

在线阅读 下载PDF 职称材料

高速光纤通信网络最优数据传输路径搜索机制研究 被引量：6

13

作者 孟小冬 韦丽红 冯锋 《激光杂志》 北大核心 2020年第10期197-200,共4页

针对传统通信数据传输路径搜索机制计算节点能量消耗的准确度较低,导致节点选择不准确,影响通信质量等问题,提出基于空间自相关的高速光纤通信网络最优数据传输路径搜索机制。通过对传输过程、速率、距离与安全性4方面分析高速光纤通信... 针对传统通信数据传输路径搜索机制计算节点能量消耗的准确度较低,导致节点选择不准确,影响通信质量等问题,提出基于空间自相关的高速光纤通信网络最优数据传输路径搜索机制。通过对传输过程、速率、距离与安全性4方面分析高速光纤通信;在空间自相关基础上,利用无向图描述通信网络模型,并且计算数据传输节点的能量消耗;通过构建能量消耗最小集合,计算该集合中每个节点度值,并融合自相关理论,获取各节点重要度评价函数,将该函数作为搜索机制,完成最优数据传输路径的搜索。实验结果表明:机制降低了最优路径的选择误差,在能量消耗与数据传输完整度等方面都具有优越性,有效提高了光纤通信质量。 展开更多

关键词 高速光纤 通信网络 数据传输路径 搜索机制 空间自相关

在线阅读 下载PDF 职称材料

级联倾斜光纤光栅网络安全数据传输路径抗攻击能力研究 被引量：1

14

作者 张媛 《激光杂志》 北大核心 2020年第4期172-177,共6页

采用传统网络加密算法提升级联倾斜光纤光栅网络安全数据传输路径抗攻击能力时,加密密钥仅为56位,导致安全数据受攻击时易于被破解,安全性较低。研究提升级联倾斜光纤光栅网络安全数据传输路径抗攻击能力方法,该方法通过传输矩阵法分析... 采用传统网络加密算法提升级联倾斜光纤光栅网络安全数据传输路径抗攻击能力时,加密密钥仅为56位,导致安全数据受攻击时易于被破解,安全性较低。研究提升级联倾斜光纤光栅网络安全数据传输路径抗攻击能力方法,该方法通过传输矩阵法分析级联倾斜光纤光栅传输原理,依据该原理采用优化的DES算法加密级联倾斜光纤光栅网络安全数据,将传统DES算法中56位密钥扩展处理至128位密钥后分为四轮,选取32位改造算法处理各轮密钥获取子密钥,异或运算32位明文以及子密钥,将Feistel加密算法应用于异或运算结果中实施轮函数运算后,对运算结果进行48位扩展变换处理,利用置乱处理方法对扩展变换后结果实施P排序操作,级联倾斜光纤光栅网络数据加密结果;将加密密文输出作为解密输入,采用优化的DES算法将加密信息恢复至明文信息实现网络安全数据解密。实验结果表明,采用该方法对级联倾斜光纤光栅网络安全数据传输路径抗攻击能力进行提升,抗攻击率高于96%。 展开更多

关键词 级联倾斜 光纤光栅 网络安全 数据传输路径 抗攻击 能力

在线阅读 下载PDF 职称材料

基于SMT求解器的微处理器指令验证数据约束生成技术 被引量：6

15

作者 谭坚 罗巧玲 +3 位作者 王丽一 胡夏晖 范昊 徐占 《计算机研究与发展》 EI CSCD 北大核心 2020年第12期2694-2702,共9页

处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约... 处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约束求解满足问题.在结果操作数约束、操作数间约束、指令内部约束以及浮点操作数约束4个方面分别给出示例,并分别给出了利用SMT求解器进行约束建模的关键过程以及可以用于指令级功能验证的元组数据.为提高求解模型效率,提出了2种解决方法:首先利用时间阈值实现问题求解超时即终止的策略;其次是结合进程管理与线程管理技术,实现了指令功能约束并行求解框架,将串行求解任务分派给可并行执行的多个线程,提高了求解速度.该技术已成功应用于系统级验证中,有效提升了测试覆盖与质量,取得了很好的效益. 展开更多

关键词 指令功能 数据路径 约束求解 SMT求解器 验证数据 并行加速

在线阅读 下载PDF 职称材料

分块存储的滑动窗口数据重用技术 被引量：1

16

作者 刘陶刚 赵荣彩 +1 位作者 姚远 瞿进 《计算机应用》 CSCD 北大核心 2010年第5期1371-1375,共5页

滑动窗口操作在基于可重构系统的典型应用(如图像处理、模式识别和数字信号处理等)中广泛采用,但是当前生成的滑动窗口电路,存在着存储冗余、操作等待等问题,导致执行效率不高。从增大滑动窗口数据吞吐量出发,提出了分块存储的滑动窗口... 滑动窗口操作在基于可重构系统的典型应用(如图像处理、模式识别和数字信号处理等)中广泛采用,但是当前生成的滑动窗口电路,存在着存储冗余、操作等待等问题,导致执行效率不高。从增大滑动窗口数据吞吐量出发,提出了分块存储的滑动窗口数据重用方法,通过并行存取窗口数据,来减少存储器访问时间,加速滑动窗口执行。实验表明,在三个滑动窗口典型应用实例中,采用该方法生成的硬件电路能够将程序性能分别提高7.0～9.0倍。 展开更多

关键词 滑动窗口 数据重用 可重构计算 分块存储 数据路径

在线阅读 下载PDF 职称材料

大型地震数据采集系统中的实时监视系统设计 被引量：4

17

作者 程宏才 宋克柱 +1 位作者 杨俊峰 王东旅 《核电子学与探测技术》 CAS CSCD 北大核心 2012年第7期814-819,共6页

针对大型数据获取系统对系统工作状态的实时监视需求,介绍了一种可以用于数据采集系统中监视子系统的设计。该监视系统用于实时获取数据采集系统的工作状态信息以及数据获取系统采集到的数据的质量。该监视系统根据监视数据实时性要求... 针对大型数据获取系统对系统工作状态的实时监视需求,介绍了一种可以用于数据采集系统中监视子系统的设计。该监视系统用于实时获取数据采集系统的工作状态信息以及数据获取系统采集到的数据的质量。该监视系统根据监视数据实时性要求和数据量大小不同而设计相应数据传输路径,并在相应传输路径做相应优化。系统的长期稳定运行表明了该监视系统可以可靠稳定地实时监视整个数据采集系统。该监视系统设计结构简单,实时性较强,较好地结合使用了软硬件,该监视系统也可以应用于其他数据采集系统。 展开更多

关键词 数据采集系统 监视系统 实时 不同数据传输路径

在线阅读 下载PDF 职称材料

现代物流系统中的频繁封闭路径挖掘算法 被引量：12

18

作者 陈竹西 胡孔法 +1 位作者 陈崚 宋爱波 《计算机集成制造系统》 EI CSCD 北大核心 2009年第4期809-816,共8页

射频识别技术在物流供应链管理方面的推广应用会产生海量的路径数据。为此提出一种基于路径数据的频繁封闭路径挖掘算法。该算法根据路径中不同段的先后次序,将路径数据转化为位置序列和时间序列,再利用序列模式挖掘的方法,对这些序列... 射频识别技术在物流供应链管理方面的推广应用会产生海量的路径数据。为此提出一种基于路径数据的频繁封闭路径挖掘算法。该算法根据路径中不同段的先后次序,将路径数据转化为位置序列和时间序列,再利用序列模式挖掘的方法,对这些序列进行封闭路径挖掘,从而有效地减少了频繁路径挖掘的时间和开销,提高了频繁路径挖掘的速度。理论和实验表明,在海量的路径数据环境下的封闭路径挖掘算法性能优越,能够有效地挖掘频繁封闭路径。 展开更多

关键词 物流系统 射频识别 路径数据 挖掘封闭路径 序列模式 频繁路径

在线阅读 下载PDF 职称材料

教育大数据挖掘的价值定位、现实限制与有效策略 被引量：15

19

作者 金玉梅 陈航 《教育理论与实践》 北大核心 2021年第19期3-8,共6页

教育大数据的挖掘是利用统计学、机器学习等方面的知识和经验,从海量的教育数据中不断整理、归纳出具有较高价值的数据模型和实用性广泛的数据手段,并从中提取出高效并可视化的数据处理过程。教育大数据挖掘的价值在于驱动科学教育决策... 教育大数据的挖掘是利用统计学、机器学习等方面的知识和经验,从海量的教育数据中不断整理、归纳出具有较高价值的数据模型和实用性广泛的数据手段,并从中提取出高效并可视化的数据处理过程。教育大数据挖掘的价值在于驱动科学教育决策、精准展现教育规律、解决教育主体需求。教育大数据挖掘存在的现实限制是:采集挖掘教育大数据缺乏统一标准,整理分析教育大数据缺乏科学手段,管理应用教育大数据缺乏个性动态。教育大数据挖掘的有效策略包括:建立健全教育大数据采集机制,科学整理教育大数据分析技术,深度整合教育大数据应用路径。 展开更多

关键词 教育大数据 数据模型 科学教育决策 教育大数据采集机制 教育大数据分析技术 教育大数据应用路径

在线阅读 下载PDF 职称材料

基于内存建模的复杂结构类型测试数据自动生成方法 被引量：2

20

作者 李飞宇 宫云战 王雅文 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第2期262-270,共9页

针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义... 针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UATS,通过实验证明了该方法的可行性. 展开更多

关键词 路径测试数据生成 复杂结构类型 别名 符号执行 内存建模

在线阅读 下载PDF 职称材料