流图

作品数：926被引量：1628H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战金大海何龙张鹏程刘雷波更多>>
相关机构：浙江大学中国科学院清华大学国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
融合用户实时搜索状态的自适应查询推荐模型被引量：4
《计算机科学与探索》2016年第9期1290-1298,共9页李竞飞 商振国 张鹏 宋大为 
国家自然科学基金Nos.61402324;61272265;国家重点基础研究发展计划(973计划)Nos.2013CB329304;2014CB744604;高等学校博士学科点专项科研基金No.20130032120044~~
传统的查询推荐算法通过挖掘查询日志为用户推荐查询词。通常现存模型只考虑原始查询词与推荐词之间的关系(例如语义相似性或相关性等),没有考虑用户在搜索过程中的满意度情况。针对用户在搜索过程中表现出的不同满意度状态,提出了一个...
关键词：查询推荐 查询流图 搜索状态 满意度 
基于k近邻最弱前置条件的程序多路径验证方法被引量：5
《计算机学报》2015年第11期2203-2214,共12页郭曦 王盼 王建勇 张焕国 
国家自然科学基金(61332019,61173138,61272452,91118003);国家“九七三”重点基础研究发展规划项目基金(2014CB340600);国家“八六三”高技术研究发展计划项目基金(2015AA016002);湖北省自然科学基金(2014CFB144);中央高校基本科研业务费专项基金(2662015QC009)资助~~
程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性...
关键词：程序验证 静态分析 最弱前置条件 符号执行 控制流图 
X10程序的差别分析方法
《计算机学报》2015年第5期1082-1092,共11页陈雨亭 杨威 赵建军 
国家“九七三”重点基础研究发展规划项目基金(2015CB352203);国家自然科学基金(91118004,61100051,61272102);中国科学院软件研究所计算机科学国家重点实验室开放基金(SYSKF1101);上海市计算机软件评测重点实验室开放基金(SSTL2011_02)资助~~
程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动...
关键词：程序差别分析 X10 程序流图 软件测试 程序调试 
一种基于信息流图的共谋访问风险控制模型被引量：1
《计算机工程》2013年第8期173-176,共4页王超 陈性元 
国家"973"计划基金资助项目(2011CB311801);河南省科技创新人才计划基金资助项目(114200510001)
为解决信息系统中的非授权间接访问问题,提出一种基于信息流图的共谋访问风险控制模型。通过记录系统的历史访问行为构建信息流图,在此基础上定义共谋访问行为,同时基于状态机定义访问控制模型,利用安全性定理和规则防止共谋访问的发生...
关键词：信息流 信息流图 共谋访问 风险控制模型 访问控制模型 安全熵 
基于间接信息流约束的访问控制模型被引量：1
《计算机工程与设计》2012年第7期2521-2525,共5页王超 
国家973重点基础研究发展计划基金项目(2011CB311801);河南省科技创新人才计划基金项目(114200510001)
为解决跨域跨系统环境下的违规间接信息流问题,提出了一种联合访问控制模型。通过记录系统中的访问行为,构建跨系统的信息流图;在此基础上给出信息流图的安全性定理,定义系统的安全状态;通过制定安全规则,约束跨域跨系统环境中的访问行...
关键词：信息流图 跨域访问控制 间接信息流 访问控制模型 违规信息流 安全熵 
二进制翻译中代码生成的子图覆盖算法被引量：1
《计算机科学与探索》2011年第7期613-623,共11页陈顼颢 郑重 沈立 王志英 
国家自然科学基金No.60803041;国家重点基础研究发展规划(973)No.2007CB310901;国防科技大学优秀研究生创新项目No.S090606~~
二进制翻译技术能够有效解决二进制兼容问题,促进新型体系结构的发展,也是虚拟机技术的重要组成部分,具有重要的研究和应用价值,但是其效率仍然有待提升,特别是目标代码生成的效率。设计了一种高效的目标代码生成算法——代码生成的子...
关键词：二进制翻译 数据流图(DFG) 子图覆盖 代码生成 
面向多任务的定制指令模式提取
《计算机工程与设计》2010年第15期3416-3418,3431,共4页薄拾 葛宁 林孝康 
国家863高技术研究发展计划基金项目(2007AA01Z2b3);国家973重点基础研究发展计划基金项目(2007CB310608)
为提高嵌入式处理器对计算密集型应用的处理能力,并增强定制指令的适应性,提出一种面向多任务的定制指令模式自动化提取方法。该方法以目标应用的热点代码数据流图集合作为分析对象,通过流图频率加权的方式实现目标任务的优先级调整,并...
关键词：指令集扩展 定制指令 多任务 频繁计算模式 数据流图 可配置处理器 
一种高效的凸连通子图枚举算法被引量：3
《软件学报》2010年第12期3106-3115,共10页薄拾 葛宁 林孝康 
国家高技术研究发展计划(863)No.2007AA01Z2b3;国家重点基础研究发展计划(973)No.2007CB310608~~
在可配置处理器的定制指令设计过程中，需要提取热点代码数据流图的凸连通子图．为实现子图的快速枚举，对有向无环图内的凸子图特性进行了研究．根据凸子图特性和节点邻接关系，提出了一种AS（adjacent search）算法用于枚举有向无环...
关键词：凸连通子图 有向无环图 数据流图 枚举 可配置处理器 定制指令 
基于可测性分析的高层次寄存器分配算法
《东南大学学报（自然科学版）》2008年第3期396-400,共5页成本茂 王红 杨士元 牛道恒 靳洋 
国家重点基础研究发展计划(973计划)资助项目(2005CB321604);国家自然科学基金资助项目(60633060).
为了提高综合后电路的可测性,提出了一种面向电路可测性的寄存器分配方案.该方案首先从已调度的数据流图着手,建立了一种可用于高层次综合的行为级可测性分析方法:对算子模块的门级实现进行门级可测性分析,并进而抽象出算子的行为级可控...
关键词：高层次综合 寄存器分配 可测性 已调度数据流图 
中国铜循环的熵分析被引量：1
《东北大学学报（自然科学版）》2007年第11期1594-1598,共5页岳强 陆钟武 
国家重点基础研究发展规划项目(2005CB724206);东北大学材料与冶金学院青年教师基金资助项目
为确定铜循环过程中含铜物质的聚集和散失程度,将热力学中"熵"这一指标引入到物流分析中,给出了物流分析中"熵"的分布及其计算方法.在中国2002年铜循环现状分析的基础上,计算了铜循环整个过程中,即精炼铜的生产阶段、铜制品的加工制造...
关键词：铜循环 铜流图 熵 节点 相对熵 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部