检索结果-维普期刊中文期刊服务平台

VHDL RT级综合中赋值语句的优化算法被引量：1: 1; 作者曹炜周海峰林争辉《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第2期219-222,共4页; 在基于硬件描述语言 VHDL的电路系统综合中 ,系统的实际功能是由各种形式的赋值语句来描述的 ,而赋值语句的核心是各种形式的表达式 .当设计的规模变大后 ,去除大量冗余的赋值语句和公共子表达式 (含运算的重定序问题 )就成为关系到所... 展开更多; 关键词硬件描述语言电路综合冗余歧义语句公共子表达式优化运算符重定序; 在线阅读下载PDF 职称材料

一种优化的可能性测度计算树逻辑检测模型: 2; 作者陈燕升张赞波 +1 位作者吴忠坤任江涛《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第4期49-54,共6页; 可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能... 展开更多; 关键词可能性测度模型检测公共子表达式计算树逻辑; 在线阅读下载PDF 职称材料

为物化视图选择构造搜索空间的新策略IMVPP: 3; 作者夏小玲张红《计算机科学与探索》 CSCD 2010年第5期473-479,共7页; 数据仓库中物化视图选择算法的代价与搜索空间的尺寸紧密相关。提出了一种基于输入查询的公共子表达式的候选视图搜索空间构造方法IMVPP,利用算法1计算出的公共子表达式,能被其他查询共享,并可对输入查询进行重写,有利于缩减视图搜索空... 展开更多; 关键词数据仓库物化视图物化视图处理方法查询图公共子表达式; 在线阅读下载PDF 职称材料

列数据库的SQL查询语句编译与优化被引量：2: 4; 作者甄真陈虎张林亚《计算机工程》 CAS CSCD 2013年第6期60-65,共6页; 基于多核CPU和GPU异构平台的列数据库可用于海量数据和复杂查询,但其优化主要集中在底层,并且后端的执行序列只能通过手工硬编码生成,不能适应多样的SQL查询语句。针对该问题,设计并实现一个将SQL查询语句自动转化成执行序列的编译器,... 展开更多; 关键词列数据库原语编译器依赖图公共子表达式消除查询优化; 在线阅读下载PDF 职称材料

题名VHDL RT级综合中赋值语句的优化算法被引量：1: 1; 作者曹炜周海峰林争辉; 机构上海交通大学大规模集成电路研究所; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第2期219-222,共4页; 基金美国国家科学基金会资助!项目 (96 0 2 485 ); 文摘在基于硬件描述语言 VHDL的电路系统综合中 ,系统的实际功能是由各种形式的赋值语句来描述的 ,而赋值语句的核心是各种形式的表达式 .当设计的规模变大后 ,去除大量冗余的赋值语句和公共子表达式 (含运算的重定序问题 )就成为关系到所设计系统性能的两类重要的优化问题 .对各种可能出现的赋值语句组合情况进行研究后 ,得到一系列的处理规则 ,进而提出一种基于规则的算法 ,用来消除赋值语句冗余 ;对于第二类问题的两个子问题 ,通过一种基于代数中基本定律的算法同时解决之 .实验结果表明 ,解决第一类问题的算法在处理赋值语句冗余和二义性方面是有效的 ,解决第二类问题的算法比传统的 DAG算法更具普适性 .; 关键词硬件描述语言电路综合冗余歧义语句公共子表达式优化运算符重定序; Keywords Algorithms Electric network synthesis Mathematical operators Redundancy State assignment; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种优化的可能性测度计算树逻辑检测模型: 2; 作者陈燕升张赞波吴忠坤任江涛; 机构广东轻工职业技术学院环境工程系昆山科技大学资讯管理系广东轻工职业技术学院计算机工程系中山大学软件学院; 出处《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第4期49-54,共6页; 基金国家自然科学基金资助项目(11471342) 广东省教育科研"十二五"规划2012年度研究资助项目(2012JK089) +1 种基金校级自然科学基金资助项目(KJ201311/KJ2014); 文摘可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能性测度对逻辑树公式进行计算,预处理标识公共子表达式的唯一性;第二步,在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态;第三步,实施验证,为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现,这一种方法一方面在很大程度上减小了相关时间复杂度,另一方面还使验证性能有所提升。; 关键词可能性测度模型检测公共子表达式计算树逻辑; Keywords possibility measure model checking common sub-expression computation tree logic; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名为物化视图选择构造搜索空间的新策略IMVPP: 3; 作者夏小玲张红; 机构东华大学计算机科学与技术学院; 出处《计算机科学与探索》 CSCD 2010年第5期473-479,共7页; 基金上海市科委公关项目~~; 文摘数据仓库中物化视图选择算法的代价与搜索空间的尺寸紧密相关。提出了一种基于输入查询的公共子表达式的候选视图搜索空间构造方法IMVPP,利用算法1计算出的公共子表达式,能被其他查询共享,并可对输入查询进行重写,有利于缩减视图搜索空间,提高查询效率。理论分析与实验结果表明,此方法是有效、可行的。; 关键词数据仓库物化视图物化视图处理方法查询图公共子表达式; Keywords data warehouse materialized view materialized-view processing plan（MVPP） query graph common sub-expression; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名列数据库的SQL查询语句编译与优化被引量：2: 4; 作者甄真陈虎张林亚; 机构华南理工大学软件学院; 出处《计算机工程》 CAS CSCD 2013年第6期60-65,共6页; 基金广东省科技计划基金资助项目(2011A010801008 2011A090200122 2011A090200027); 文摘基于多核CPU和GPU异构平台的列数据库可用于海量数据和复杂查询,但其优化主要集中在底层,并且后端的执行序列只能通过手工硬编码生成,不能适应多样的SQL查询语句。针对该问题,设计并实现一个将SQL查询语句自动转化成执行序列的编译器,研究多个复杂表达式中的公共子表达式消除和原语依赖图合并方法。与手工编码的比较结果表明,该编译器能够提高算术表达式的计算速度,缩短执行SQL查询语句的时间。; 关键词列数据库原语编译器依赖图公共子表达式消除查询优化; Keywords column-oriented database primitive compiler dependency graph Common Subexpression Elimination（CSE） queryoptimization; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	VHDL RT级综合中赋值语句的优化算法	曹炜周海峰林争辉	《上海交通大学学报》 EI CAS CSCD 北大核心	2001	1	在线阅读下载PDF 职称材料
2	一种优化的可能性测度计算树逻辑检测模型	陈燕升张赞波吴忠坤任江涛	《中山大学学报（自然科学版）》 CAS CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
3	为物化视图选择构造搜索空间的新策略IMVPP	夏小玲张红	《计算机科学与探索》 CSCD	2010	0	在线阅读下载PDF 职称材料
4	列数据库的SQL查询语句编译与优化	甄真陈虎张林亚	《计算机工程》 CAS CSCD	2013	2	在线阅读下载PDF 职称材料