期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
反编译中的复合条件分支识别算法 被引量:2
1
作者 韦韬 毛剑 邹维 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第1期37-43,共7页
首次对复合条件分支编译后的结构进行形式化描述,应用图论方法提出了复合分支网络概念,并在此基础上提出了一种新的识别算法。通过理论分析并采用该算法对多个典型样本进行实验,均显示该算法与现有算法相比,识别正确性有明显改善。
关键词 逆向工程 信息安全 反编译 控制流分析 复合条件分支
在线阅读 下载PDF
一种基于人工神经元网络的条件分支预测算法 被引量:3
2
作者 张宇 潘国腾 谢伦国 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第z1期101-103,共3页
针对人工神经元网络学习速度较慢的缺点,提出了改进学习算法的基于人工神经元网络的条件分支预测算法.基于SmpleScalar模拟器,用SPEC95基准程序对改进的方案进行了性能评估.模拟测试表明,在学习初期,相比传统人工神经元网络预测算法,改... 针对人工神经元网络学习速度较慢的缺点,提出了改进学习算法的基于人工神经元网络的条件分支预测算法.基于SmpleScalar模拟器,用SPEC95基准程序对改进的方案进行了性能评估.模拟测试表明,在学习初期,相比传统人工神经元网络预测算法,改进的分支预测算法能使预测失效率降低1%~2%,而在稳定期,可获得同等的预测精度. 展开更多
关键词 超标量微处理器 条件分支预测算法 人工神经元网络
在线阅读 下载PDF
一种支持条件分支的语义Web服务组装方式及执行
3
作者 江岭 崔光佐 《计算机应用》 CSCD 北大核心 2007年第7期1720-1724,共5页
Web服务组装的目的是使多个Web服务协同工作以完成任务。由于简单的顺序控制结构的组装不能满足较为复杂的协同工作需求,介绍了一种支持条件分支控制结构的语义Web服务组装方式。用户利用该组装器,可在领域知识层进行可视化组装。该基... Web服务组装的目的是使多个Web服务协同工作以完成任务。由于简单的顺序控制结构的组装不能满足较为复杂的协同工作需求,介绍了一种支持条件分支控制结构的语义Web服务组装方式。用户利用该组装器,可在领域知识层进行可视化组装。该基于知识库的执行引擎支持带有条件分支控制结构的组装结果的执行。 展开更多
关键词 语义 WEB服务组装 条件分支 执行引擎
在线阅读 下载PDF
基于CUDA的GPU条件分支分歧聚合优化策略
4
作者 刘素芹 王鑫 +2 位作者 安仲奇 杨娜利 王俊爽 《中国石油大学学报(自然科学版)》 EI CAS CSCD 北大核心 2014年第3期174-180,共7页
分析NVIDIA GPU底层处理SIMD条件分支分歧的方式及其对程序性能产生的影响。在软件层级提出两种利用'聚合'思想的SIMD条件分支分歧优化策略:循环推迟和循环提前。策略将不同SIMD道中选择相同路径的条件分支'聚合'到同... 分析NVIDIA GPU底层处理SIMD条件分支分歧的方式及其对程序性能产生的影响。在软件层级提出两种利用'聚合'思想的SIMD条件分支分歧优化策略:循环推迟和循环提前。策略将不同SIMD道中选择相同路径的条件分支'聚合'到同一步循环中,减少了SIMD操作的实际次数。使用CUDA对这两种策略进行的试验结果表明,在满足策略使用条件的前提下能够取得预想中的加速比。该策略实现难度较低、可操作性较强。 展开更多
关键词 SIMD 条件分支分歧 聚合 循环推迟 循环提前
在线阅读 下载PDF
带条件分支的指令级循环优化新方法
5
作者 汤志忠 王剑 《软件学报》 EI CSCD 北大核心 1995年第A01期148-156,共9页
分解式软件流水DESP是我们最近提出来的一种对无分支循环进行有效调度的新方法,它通过把循环地分解为两个子问题,把无分支调度问题转化为无环路图的调度,从而运用图论中一些经典的复杂度为多项式的方法来解决。在本文中,我们把... 分解式软件流水DESP是我们最近提出来的一种对无分支循环进行有效调度的新方法,它通过把循环地分解为两个子问题,把无分支调度问题转化为无环路图的调度,从而运用图论中一些经典的复杂度为多项式的方法来解决。在本文中,我们把DESP方法扩展成可以优化带条件分支的循环,称为全局分解式软件流水方法-GDESP。 展开更多
关键词 循环调度 条件分支 软件流水 循环优化
在线阅读 下载PDF
卡诺图在软件复杂分支条件简化中的应用
6
作者 叶如意 《软件导刊》 2010年第9期107-109,共3页
举例介绍了一种使用卡诺图对多变量多分支条件的复杂逻辑式同时进行简化,有效解决多分支条件等效简化、验证多分支条件间是否相互交叉或覆盖全面的方法。结合if-else语句特点,还能更大程度地简化分支条件。
关键词 卡诺图 逻辑简化 分支条件 软件设计
在线阅读 下载PDF
BWDSP104X多条件谓词编译优化 被引量:1
7
作者 韩东科 郑启龙 张仁高 《计算机系统应用》 2018年第1期201-205,共5页
目前BWDSP104X编译器对程序中条件分支的处理是采用传统的谓词优化方法,及每条指令和一个谓词相关,只有当谓词为真时指令才被执行,但它存在的局限性是当涉及到多条件谓词时,并不能消除跳转分支,且多条件谓词之间可能存在控制依赖关系,... 目前BWDSP104X编译器对程序中条件分支的处理是采用传统的谓词优化方法,及每条指令和一个谓词相关,只有当谓词为真时指令才被执行,但它存在的局限性是当涉及到多条件谓词时,并不能消除跳转分支,且多条件谓词之间可能存在控制依赖关系,不利于指令并行和指令流水.因此在现有编译器框架下,针对传统谓词优化方法的不足之处,本文提出一种基于BWDSP104X体系结构下多条件谓词编译优化方法.实验结果表明,与传统谓词优化方法相比,该优化算法在BWDSP104X编译器上能够取得平均5.62的加速比. 展开更多
关键词 条件分支 谓词优化 条件谓词 编译优化
在线阅读 下载PDF
五维微分系统的Hopf分支方向
8
作者 杨丽丽 《科学技术与工程》 2008年第8期1943-1945,共3页
给出了五维微分系统周期解的稳定性及分支方向的一般判据。
关键词 Hopf分支条件 分支方向 五维微分系统
在线阅读 下载PDF
代码翻译中Case语句的识别和恢复 被引量:2
9
作者 苏铭 赵荣彩 齐宁 《计算机应用》 CSCD 北大核心 2005年第10期2439-2440,2443,共3页
提出了在开发IA-64二进制翻译系统中采用的n-条件分支跳转表和目标地址恢复技术。着重论述了该技术的核心———过程内切片和表达式替换,以及针对IA-64特性的改进算法。
关键词 n-条件分支 程序切片 二进制翻译
在线阅读 下载PDF
一种相互独立性测试算法
10
作者 袁小龙 沈绪榜 《计算机研究与发展》 EI CSCD 北大核心 1997年第S1期218-221,共4页
高级综合技术的研究在当前倍受关注.在进行操作调度与资源分配时,为了节省资源,提高设计质量,应对含有条件结构的流图进行相互独立性测试.通过对相互独立性测试问题进行研究,给出了一种相互独立性测试算法.经实验证明,该算法具... 高级综合技术的研究在当前倍受关注.在进行操作调度与资源分配时,为了节省资源,提高设计质量,应对含有条件结构的流图进行相互独立性测试.通过对相互独立性测试问题进行研究,给出了一种相互独立性测试算法.经实验证明,该算法具有速度快、效率高的特点,应用在高级综合系统中时,可极大地提高综合设计的质量. 展开更多
关键词 高级综合 相互独立性测试 CDFG模型 条件分支
在线阅读 下载PDF
异构计算平台图像边缘检测算法优化研究 被引量:5
11
作者 魏秋明 梁军 +2 位作者 鲍泓 王晶 李论 《计算机工程》 CAS CSCD 北大核心 2017年第5期240-247,共8页
随着实际应用中图像数据规模的增大和分辨率的提高,图像边缘检测算法的性能成为制约图像实时处理的关键。从向量化访存、数据本地化以及条件分支优化3个方面出发,结合算法特性和底层硬件架构特征,研究Canny边缘检测算法在NVIDIA Tegra K... 随着实际应用中图像数据规模的增大和分辨率的提高,图像边缘检测算法的性能成为制约图像实时处理的关键。从向量化访存、数据本地化以及条件分支优化3个方面出发,结合算法特性和底层硬件架构特征,研究Canny边缘检测算法在NVIDIA Tegra K1异构计算平台上的GPU性能优化。实验结果表明,与基于Open CV3.0CPU的Canny边缘检测算法相比,优化后的Canny边缘检测算法在不同图像数据规模下可达13.2倍~17.8倍的性能加速比,具有较好的检测性能。 展开更多
关键词 图像边缘检测 异构计算平台 向量化访存 数据本地化 条件分支优化
在线阅读 下载PDF
一种嵌入式系统软件水印识别器的VLSI实现
12
作者 罗江 沈海斌 《机电工程》 CAS 2007年第8期11-13,共3页
提出了一种基于分支软件水印方案识别器的VLSI实现。硬件形式的识别器一般难以获取嵌入式系统内部的函数返回地址,通过改进获取指纹信息分支函数(FBF)入口的方法,使得只需要根据系统的程序指针和指令字就可以完成FBF函数入口的识别,使... 提出了一种基于分支软件水印方案识别器的VLSI实现。硬件形式的识别器一般难以获取嵌入式系统内部的函数返回地址,通过改进获取指纹信息分支函数(FBF)入口的方法,使得只需要根据系统的程序指针和指令字就可以完成FBF函数入口的识别,使原有方法更适用于嵌入式系统。最后针对所支持的指令集进行了仿真测试,并对设计实现进行了逻辑综合。性能分析表明,硬件形式识别器识别速度远远超过软件的识别速度。 展开更多
关键词 嵌入式系统 软件水印 条件分支 超大规模集成电路
在线阅读 下载PDF
程序测试
13
作者 刘远信 《南昌大学学报(理科版)》 CAS 1996年第4期339-344,共6页
首先介绍程序测试的一个准则,它要求程序的每个条件分支在测试期间至少被经过一次。然后介绍生成测试数据的一个方法。
关键词 程序测试 条件分支 路径谓词 测试数据 程序设计
在线阅读 下载PDF
手把手教你学单片机的C语言程序设计(十)——开关语句和循环语句
14
作者 吕超亚 《电子制作》 2006年第5期57-62,共6页
开关语句 switch/case开关语句是一种多分支选择语句,是用来实现多方向条件分支的语句。虽然从理论上讲采用条件语句也可以实现多方向条件分支,但是当分支较多时会使条件语句的嵌套层次太多。程序冗长,可读性降低。开关语句可直接... 开关语句 switch/case开关语句是一种多分支选择语句,是用来实现多方向条件分支的语句。虽然从理论上讲采用条件语句也可以实现多方向条件分支,但是当分支较多时会使条件语句的嵌套层次太多。程序冗长,可读性降低。开关语句可直接处理多分支选择,使程序结构清晰。使用方便。开关语句是用关键字switch构成的,它的一般形式如下: 展开更多
关键词 C语言程序设计 循环语句 开关 单片机 SWITCH 把手 条件分支 条件语句 CASE 嵌套层次
在线阅读 下载PDF
一种改进的验证工作流控制逻辑正确性的方法
15
作者 巩垒 王海洋 黄富洁 《计算机应用》 CSCD 北大核心 2003年第9期25-27,共3页
许多工作流管理系统可能建立错误的工作流模型,导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型,提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明,该方法是可行的。
关键词 工作流 工作流控制逻辑正确性 工作流模型 分支条件有向图
在线阅读 下载PDF
Refrigerant Distribution Characteristics in Vertical Header of Flat-Tube Heat Exchanger without Internal Protrusion
16
作者 Kazuhiro Endoh 《Journal of Energy and Power Engineering》 2017年第10期655-664,共10页
A heat exchanger that arranges flat tubes horizontally has a vertical header that distributes the refrigerant to each tube. When the heat exchanger works as an evaporator, differences in flow conditions at each branch... A heat exchanger that arranges flat tubes horizontally has a vertical header that distributes the refrigerant to each tube. When the heat exchanger works as an evaporator, differences in flow conditions at each branch, such as the ratio and distribution of vapor and liquid, due to the differences in densities and momentums of vapor and liquid in the two-phase flow make equal distribution difficult. This paper describes the distribution characteristics of a four-branch header that has a rectangular cross-section without the internal protrusion of flat tubes in the case of the inflow of the refrigerant R32 from the bottom of the header by using an equipment that can estimate the distribution ratio of the liquid and vapor phase to each branch. This paper also discusses the distribution characteristics on the basis of the flow visualization in the header. The flow visualization shows that a liquid level that contains vapor phase exists in the header and affects the distribution greatly. 展开更多
关键词 Refrigerant distribution vapor-liquid two-phase flow HEADER flat tube heat exchanger.
在线阅读 下载PDF
Origin of Symmetry Breaking and Confinement in Conducting Polymers with Ring Structures
17
作者 YUAN Yuan Thomas F. George SUN Xin 《Communications in Theoretical Physics》 SCIE CAS CSCD 2007年第2X期366-368,共3页
A model to describe the main features of conjugated polymers with ring structures, such as polythiophene and polypyrrole, is constructed. It is shown that the origin of the symmetry breaking and confinement of a solit... A model to describe the main features of conjugated polymers with ring structures, such as polythiophene and polypyrrole, is constructed. It is shown that the origin of the symmetry breaking and confinement of a soliton and anti-soliton pair is branch hopping in the polymer rings. 展开更多
关键词 POLYMER branch hopping symmetry breaking CONFINEMENT
在线阅读 下载PDF
玩转PHP编程——升级提高篇
18
作者 杨杰晶 《软件指南》 2008年第3期32-34,38,共4页
在上一期中,我们通过几个小实例来熟悉了解了PHP的语法特点和几个常见的函数。感觉怎么样,PHP语言还是比较简单的吧?今天再通过几个例子给大家介绍一下在PHP编程中常用的另外几个函数,以及条件分支语句的用法。
关键词 PHP语言 编程 条件分支 函数
原文传递
Cyrix:知道大家在“等”你吗?
19
作者 朱波 《微电脑世界》 1999年第21期43-45,共2页
台式机CPU舞台上,Intel、AMD、Cyrix和IDT总给人一种“三英战吕布”式车轮战的感觉,在轮回式的较 量当中,Cyrix M Ⅱ-366已经不再是往日的阿斗……
关键词 处理器 吕布 浮点运算 流水线 游戏 条件分支 舞台 市场 系统总线 恐龙
原文传递
电子支付也需要协议
20
作者 叶凯 《互联网天地》 2007年第2期47-47,共1页
电子支付协议是一种特殊的安全协议,利用形式化方法进行电子支付协议分析是电子支付研究的一个重要方面。电子支付协议结构较认证协议远为复杂,协议执行不一定是顺序结构,有时含有条件分支或循环等非顺序执行。一个电子交易协议还可... 电子支付协议是一种特殊的安全协议,利用形式化方法进行电子支付协议分析是电子支付研究的一个重要方面。电子支付协议结构较认证协议远为复杂,协议执行不一定是顺序结构,有时含有条件分支或循环等非顺序执行。一个电子交易协议还可能是若干子协议的复合体。因此, 展开更多
关键词 电子支付协议 安全协议 形式化方法 协议分析 认证协议 协议结构 顺序结构 条件分支
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部