期刊文献+
共找到38篇文章
< 1 2 >
每页显示 20 50 100
基于双向搜索的指令候选集生成算法
1
作者 范旺 刘勤让 +2 位作者 赵博 高彦钊 祁晓峰 《信息工程大学学报》 2025年第2期182-188,共7页
指令候选集生成是扩展指令集处理器设计中必不可缺的一部分,但该过程也是一种计算密集型任务。为提升候选集生成效率,提出一种双向搜索后融合的算法。首先,基于数据流图的邻接表提出一种高效的连通子图搜索树建立算法;其次,在搜索树遍... 指令候选集生成是扩展指令集处理器设计中必不可缺的一部分,但该过程也是一种计算密集型任务。为提升候选集生成效率,提出一种双向搜索后融合的算法。首先,基于数据流图的邻接表提出一种高效的连通子图搜索树建立算法;其次,在搜索树遍历过程中整体采用双向并行搜索的思路来提升搜索效率,针对由不同树节点构成的子图,应用多约束裁剪优化技术来提升搜索速度。实验结果表明,所提算法能够适应多种约束条件,且性能为已有算法的1~2倍。 展开更多
关键词 候选集生成 扩展指令集 子图搜索 数据流图 指令设计
在线阅读 下载PDF
变电工程项目图结构数据模型研究
2
作者 赵智尧 廖毅 李行义 《南方能源建设》 2024年第S01期111-114,共4页
[目的]为打通变电工程全生命周期各阶段之间的数据隔阂,实现几何模型和工程信息的流转,提出了基于图结构的变电工程数据模型构建方法。[方法]首先分析模型几何信息和工程数据信息在变电工程各阶段的流转,将数据模型分为核心模型与场景模... [目的]为打通变电工程全生命周期各阶段之间的数据隔阂,实现几何模型和工程信息的流转,提出了基于图结构的变电工程数据模型构建方法。[方法]首先分析模型几何信息和工程数据信息在变电工程各阶段的流转,将数据模型分为核心模型与场景模型,其次按照变电工程的土建部分和电气设备来组织图的拓扑结构,然后将具有树形结构的IFC模型之中的部件之间的关系转换为“边”的形式,模型部件转为“节点”的形式,构建图结构并导入图数据库,最后设计电气设备部件级别的变电工程数据模型结构,并将该模型与核心模型的部件建立关联关系,形成变电工程图结构数据模型。[结果]测试结果表明变电工程图结构数据模型导入图数据库后可以实现几何模型与工程信息模型的灵活组合和分解,并可在面对大量几何结构和属性信息的复杂关联关系时实现高效的模型组件信息的修改和查询。[结论]基于图结构的数据模型可以同时承载几何信息和工程信息场景模型。它实现了各阶段对于模型颗粒度调整和工程信息增补和移除的需求,相比于基于表单管理的COBie(Construction Operations Building information exchange)标准可以为用户提供更容易理解的数据流转路径。 展开更多
关键词 数据模型 变电工程 图论 信息流转
在线阅读 下载PDF
基于多日客流融合的城市轨道交通行车方案计算方法研究
3
作者 窦亮 刘峰博 +5 位作者 刘荣峰 赵留杰 周庭梁 张琪 钱江 冯瑜 《铁路通信信号工程技术》 2024年第9期66-71,共6页
通过对城市轨道交通行车方案规划制定现状分析,得出结合多个特征日客流数据进行分析决策、规划制定行车方案的辅助决策工具是当前运营人员的迫切需求。为满足运营人员需求,提出基于多日客流融合的城市轨道交通行车方案计算方法,并对方... 通过对城市轨道交通行车方案规划制定现状分析,得出结合多个特征日客流数据进行分析决策、规划制定行车方案的辅助决策工具是当前运营人员的迫切需求。为满足运营人员需求,提出基于多日客流融合的城市轨道交通行车方案计算方法,并对方法中的客流数据分析和行车方案分类计算两个关键算法进行详细设计。经试点应用,采用基于多日客流融合的城市轨道交通行车方案计算方法更贴合运营实际需求,并缩短行车方案规划编制周期,提升运行图编制效率。 展开更多
关键词 行车方案 客流数据分析 行车间隔 开行比例 列车运行图
在线阅读 下载PDF
动态可重构系统任务时域划分算法 被引量:7
4
作者 潘雪增 孙康 +2 位作者 陆魁军 王继民 平玲娣 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2007年第11期1839-1844,共6页
为提高动态可重构系统的执行效率,提出了一种多目标优化的动态可重构系统任务时域划分方法.在可重构硬件资源约束条件下,将任务的数据流图划分成数个子模块.使用加权方法将子模块中的操作执行时间和模块间数据通信引起的延时统一为划分... 为提高动态可重构系统的执行效率,提出了一种多目标优化的动态可重构系统任务时域划分方法.在可重构硬件资源约束条件下,将任务的数据流图划分成数个子模块.使用加权方法将子模块中的操作执行时间和模块间数据通信引起的延时统一为划分代价,根据每种延时在总代价中所占比例来选取优化的方向.通过建立就绪列表的方法,避免了划分过程中出现死锁问题,保证了各个操作正常的执行顺序.实验结果表明,该方法能够有效地提高应用算法在动态可重构结构上的执行速度.算法的时间复杂度为O(|V|2+|V||E|)(其中|V|为数据流图节点数,|E|为边数). 展开更多
关键词 动态可重构系统 时域划分 数据流图
在线阅读 下载PDF
用于二维RCA跨层数据传输的旁节点无冗余添加算法 被引量:4
5
作者 陈乃金 冯志勇 江建慧 《通信学报》 EI CSCD 北大核心 2015年第4期35-51,共17页
针对二维可重构单元阵列(RCA)硬件任务的跨层数据传输问题,提出了一种前序遍历回溯旁节点添加算法。该算法针对跨层输入树、跨层输出树2种类型的数据流图,保持了原有运算节点之间的逻辑关系,实现了旁节点的无冗余添加。给出了动态可重... 针对二维可重构单元阵列(RCA)硬件任务的跨层数据传输问题,提出了一种前序遍历回溯旁节点添加算法。该算法针对跨层输入树、跨层输出树2种类型的数据流图,保持了原有运算节点之间的逻辑关系,实现了旁节点的无冗余添加。给出了动态可重构系统划分映射的量化评估指标体系和流水化模型,给出了添加旁节点映射的临界条件。实验结果表明,基于相同的系统结构和划分映射算法,在满足临界条件的情况下,与不加旁节点映射算法相比,加旁节点映射在划分模块数,非原始输入输出次数、配置时间、总执行周期、功耗等方面均获得了较好的改进;与已有的先进算法相比,文中算法平均执行总周期降低了23.3%(RCA5×5)和30.5%(RCA8×8),平均消耗功耗降低了15.7%(RCA5×5)和18.6%(RCA8×8),从而验证了所提方法的合理性和有效性。 展开更多
关键词 可重构单元阵列 数据流图 旁节点 临界条件 时域划分与映射
在线阅读 下载PDF
采用数据流图的故障模型生成算法及其应用 被引量:4
6
作者 王胜文 张凤斌 郑纬民 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第1期118-121,共4页
为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖... 为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现. 展开更多
关键词 数据流图 故障模型 故障注入 故障覆盖率
在线阅读 下载PDF
一种针对交互式软件的功能测试方法 被引量:3
7
作者 曹文静 施建洪 崔嘉 《海军航空工程学院学报》 2009年第5期583-586,共4页
交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能... 交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能测试方法,依据交互式软件的需求规约和用户界面,以数据的流向来组织功能测试过程。 展开更多
关键词 软件测试 功能测试 交互式软件 数据流图
在线阅读 下载PDF
基于信息流转的ISO9001:2000质量管理信息系统架构 被引量:2
8
作者 于建成 和金生 隋静 《工业工程》 2006年第4期70-75,共6页
针对当前企业在ISO 9001:2000贯标过程中存在的效率低、易出错、缺乏规范性、过场化等一系列质量管理问题,将质量体系的贯彻实施落实到质量体系文件的管理上,从系统开发目的、开发工具、系统总体设计和模块划分,以及产品实现信息流的分... 针对当前企业在ISO 9001:2000贯标过程中存在的效率低、易出错、缺乏规范性、过场化等一系列质量管理问题,将质量体系的贯彻实施落实到质量体系文件的管理上,从系统开发目的、开发工具、系统总体设计和模块划分,以及产品实现信息流的分析对ISO 9001:2000质量管理信息系统进行了深入分析,给出了系统的模块划分图以及质量手册数据流图和质量记录数据流图。最后总结归纳了质量管理信息系统的特色。 展开更多
关键词 质量体系文件 数据流图 质量手册 质量记录
在线阅读 下载PDF
集成电路的模块生成与选择算法 被引量:2
9
作者 郎荣玲 戴冠中 《电子学报》 EI CAS CSCD 北大核心 2005年第11期1955-1958,共4页
借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所... 借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所有模块,并且对电路系统以及模块的结构没有限制.本文还提出了一个模块选择算法,此算法可以在满足一定要求的前提下选择一部分模块覆盖整个电路,同时还对算法进行了实验分析. 展开更多
关键词 模块 模块化技术 规则性 控制数据流图
在线阅读 下载PDF
基于XCFG的BPEL数据流属性分析与验证 被引量:3
10
作者 吉顺慧 李必信 邱栋 《电子学报》 EI CAS CSCD 北大核心 2013年第7期1365-1370,共6页
BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证... BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的. 展开更多
关键词 WEB服务组合 扩展控制流图(XCFG) 数据流属性 验证
在线阅读 下载PDF
高层综合中一种新的控制/数据流图表示形式 被引量:1
11
作者 曹炜 林争辉 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页
提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构 。
关键词 电子设计自动化 高层综合 控制/数据流图 调度
在线阅读 下载PDF
工程管理信息系统的设计与实现技巧探讨 被引量:5
12
作者 韩华 覃爱娜 《工程设计与建设》 2003年第5期32-37,41,共7页
通过实例,对管理信息系统的功能模块、关系数据库进行了分析、设计和实现,并总结了其实现过程中的有关技巧。
关键词 工程管理信息系统 功能模块 关系数据库 MIS DELPHI 数据流图
在线阅读 下载PDF
航天器用内螺纹的气体湍流激光多普勒式检测 被引量:3
13
作者 王涛 昝占华 +4 位作者 张翠亭 姚建铨 马俊杰 蔡军 李玉翔 《红外与激光工程》 EI CSCD 北大核心 2018年第4期161-165,共5页
为了解决航天器操纵旋转套筒内螺纹的自动检测问题,特别是在内螺纹件表面有油污与锈蚀时,单纯地利用光学图像检测的方法很难更好地解决问题,利用平流气体吹向内螺纹,从而形成了映射着内螺纹形貌的湍流输出,然后利用多普勒激光测量内螺... 为了解决航天器操纵旋转套筒内螺纹的自动检测问题,特别是在内螺纹件表面有油污与锈蚀时,单纯地利用光学图像检测的方法很难更好地解决问题,利用平流气体吹向内螺纹,从而形成了映射着内螺纹形貌的湍流输出,然后利用多普勒激光测量内螺纹的湍流特性。研究了内螺纹气体湍流的拉伸与压缩过程的数据特性,利用箱线图的方法处理内螺纹湍流数据,建立了内螺纹湍流箱线图的标准样板库,将检测数据与标准样板对比检测,结果表明:当异常值阈值设为7%时,检测准确率为99.3%。气体湍流激光多普勒式检测内螺纹方法可行,克服了表面油污等难点,完全满足检测的要求。 展开更多
关键词 内螺纹检测 湍流边界层 激光多普勒技术 流场测量 数据箱线图
在线阅读 下载PDF
基于时空融合图卷积的交通流数据修复方法 被引量:6
14
作者 侯越 韩成艳 +1 位作者 郑鑫 邓志远 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2022年第7期1394-1403,共10页
为了解决现有时空相关修复法挖掘交通流特性不充分的问题,提出基于时空融合图卷积网络的缺失数据修复方法.该方法在分析交通流时空特性的基础上,采用2类函数分别计算交通流数据的时间自相关系数和空间关联度系数.将交通检测器的部署位... 为了解决现有时空相关修复法挖掘交通流特性不充分的问题,提出基于时空融合图卷积网络的缺失数据修复方法.该方法在分析交通流时空特性的基础上,采用2类函数分别计算交通流数据的时间自相关系数和空间关联度系数.将交通检测器的部署位置作为节点构成几何拓扑图,通过线性融合规则构建时空融合矩阵,替代图卷积输入层的邻接矩阵,捕获交通流细粒化的时空关系.利用轻量级一维卷积层学习多通道时序向量的时间特征,加快模型的收敛速度.利用图卷积层学习交通流数据的空间特征,构建时空融合图卷积网络修复模型.实验结果表明,与其他修复方法相比,该方法在多检测器场景中的修复精度和模型收敛速度均有所提升,可以有效地修复交通流缺失数据. 展开更多
关键词 交通工程 时空融合 交通流数据修复 图卷积网络 一维卷积
在线阅读 下载PDF
基于可测性分析的高层次寄存器分配算法
15
作者 成本茂 王红 +2 位作者 杨士元 牛道恒 靳洋 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第3期396-400,共5页
为了提高综合后电路的可测性,提出了一种面向电路可测性的寄存器分配方案.该方案首先从已调度的数据流图着手,建立了一种可用于高层次综合的行为级可测性分析方法:对算子模块的门级实现进行门级可测性分析,并进而抽象出算子的行为级可控... 为了提高综合后电路的可测性,提出了一种面向电路可测性的寄存器分配方案.该方案首先从已调度的数据流图着手,建立了一种可用于高层次综合的行为级可测性分析方法:对算子模块的门级实现进行门级可测性分析,并进而抽象出算子的行为级可控性/可观性值;在数据流图中,逐级计算出各节点变量的行为级可测性指标;然后按照最大改善可测性指标的原则,进行寄存器分配.在标准电路上的实验表明,除了较小的面积开销外,电路的可测性优于所对照的其他2种方法. 展开更多
关键词 高层次综合 寄存器分配 可测性 已调度数据流图
在线阅读 下载PDF
面向能耗相关软/硬件划分的层次化控制数据流图建模方法
16
作者 郭兵 曾蜀芳 +3 位作者 沈艳 王继禾 伍元胜 刘云本 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2011年第4期83-88,共6页
针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包... 针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包括节点层次数的设置、数据依赖分析、划分对象的建立与粒度变换等关键问题,最后,通过实验验证了PO-HCDFG在软/硬件划分建模中的有效性。 展开更多
关键词 软/硬件划分 控制数据流图 粒度变换 能耗优化
在线阅读 下载PDF
基于图模型的C程序数据流分析 被引量:4
17
作者 常超 刘克胜 +1 位作者 谭龙丹 贾文超 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2017年第5期1007-1015,1050,共10页
针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于... 针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于图模型的过程内和过程间定值分析,实现对污点型缺陷的检测.结果表明,依赖完备的代码属性指导和区间运算支撑,可以有效降低数据流分析的误报率,减少人工审计代码的工作量. 展开更多
关键词 数据流分析 污点型漏洞 多维属性图 定值分析
在线阅读 下载PDF
图形转换的一种方法
18
作者 张鹏 李道铭 +2 位作者 葛起宏 钟珞 张弛 《广西工学院学报》 CAS 1996年第1期19-22,共4页
大量工业和工程系统的设计通常都可通过使用各种形式的流程图来进行。例如生产处理和数据处理。GTES是应用人工智能技术开发的支持结构数据设计和信息处理的专家系统。本系统使用数据流图定义软硬件结构,其中结点表示数据处理步骤... 大量工业和工程系统的设计通常都可通过使用各种形式的流程图来进行。例如生产处理和数据处理。GTES是应用人工智能技术开发的支持结构数据设计和信息处理的专家系统。本系统使用数据流图定义软硬件结构,其中结点表示数据处理步骤,有向弧表示处理步骤之间的数据流。由用户自定义总的处理图开始,本专家系统通过应用转换规则来转换这一图形,以使该处理图能满足已说明的设计目标和硬件条件。虽然本专家系统的特殊应用领域为数据和信息处理,但它也为其它应用提供了一个相应的专家系统框架,例如生产制造系统、信息系统和集散控制系统。 展开更多
关键词 图形转换 专家系统 数据流图 信息处理
在线阅读 下载PDF
基于数据流的组件测试
19
作者 曾红卫 周建云 《应用科学学报》 CAS CSCD 北大核心 2007年第6期621-626,共6页
用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用... 用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用路径集. 展开更多
关键词 组件状态机 数据流测试 组件流图 最短定义一使用路径
在线阅读 下载PDF
DECnet-DOS中的网络图形监视系统
20
作者 杨磊 蓝家隆 《电子科技大学学报》 EI CAS CSCD 北大核心 1992年第4期391-398,共8页
通过对网络通信和网络拓扑的讨论,设计出基于DECnet-DOS的直观化的网络监视系统。它按任务到任务通信的方式访问网上各目标,独立地处理各数据流,在网络拓扑图中动态地显示各种网络状态。
关键词 网络通信 数据流 网络拓扑学
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部