检索结果-南通市图书馆

一种支持条件分支的语义Web服务组装方式及执行

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机应用 2007年第7期27卷 1720-1724页

作者：江岭崔光佐北京大学计算机系北京100871

Web服务组装的目的是使多个Web服务协同工作以完成任务。由于简单的顺序控制结构的组装不能满足较为复杂的协同工作需求,介绍了一种支持条件分支控制结构的语义Web服务组装方式。用户利用该组装器,可在领域知识层进行可视化组装。该基... 详细信息

Web服务组装的目的是使多个Web服务协同工作以完成任务。由于简单的顺序控制结构的组装不能满足较为复杂的协同工作需求,介绍了一种支持条件分支控制结构的语义Web服务组装方式。用户利用该组装器,可在领域知识层进行可视化组装。该基于知识库的执行引擎支持带有条件分支控制结构的组装结果的执行。

关键词：语义 Web服务组装条件分支执行引擎

维普期刊数据库

面向SIMD的编译指导与条件分支的编译优化技术

在线全文

学校读者我要写书评

暂无评论

面向SIMD的编译指导与条件分支的编译优化技术

作者：朱嘉风解放军信息工程大学

学位级别：硕士

随着SIMD扩展技术的不断发展,几乎所有的主流处理器厂商都为自己的微处理器提供SIMD扩展部件与相关SIMD指令集。然而应用程序一般很难直接适用于SIMD扩展,需要对其进行必要的向量化处理。本文针对SIMD编译优化技术研究的一些常见难题而... 详细信息

随着SIMD扩展技术的不断发展,几乎所有的主流处理器厂商都为自己的微处理器提供SIMD扩展部件与相关SIMD指令集。然而应用程序一般很难直接适用于SIMD扩展,需要对其进行必要的向量化处理。本文针对SIMD编译优化技术研究的一些常见难题而提出了两种SIMD编译优化技术:条件分支语句的SIMD编译优化技术和基于编译指导的SIMD编译优化技术。在条件分支语句的SIMD编译优化技术方面,根据SIMD扩展和条件分支语句的特征,提出了一种在一个向量因子内的条件分支语句变换方法,能够有效地将条件分支语句所引发的控制依赖转换为数据依赖,避免控制依赖对编译器优化分析的影响;在得到向量化循环之后,通过条件分支重建恢复循环的控制流语义,最终达到在保证控制流语义正确的前提下,充分发掘循环数据流中的并行性的目的。在基于编译指导的SIMD编译优化技术方面,借鉴并行化编译研究中比较流行的并行编程语言思想,根据程序员对应用程序的了解,利用编译指导设定编译器的状态或者引导编译器完成一些特定的动作,以满足生成所需代码的需求,有效解决编译器因程序分析能力不足而无法自动实现循环向量化或者盲目自动向量化的问题。本文所述的两种SIMD编译优化技术已在项目研发的SW-VEC向量化编译系统上得到实现。测试结果表明,这两种SIMD编译优化技术能够有效提高SW-VEC向量化编译系统的向量化识别和生成向量化目标代码的能力,实现应用程序在SIMD扩展上加速运行的目的。

关键词： SIMD扩展 SIMD指令 SIMD编译优化向量因子条件分支编译指导

支持条件分支的语义Web服务组装 ——基于扩展的图规划算法

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

支持条件分支的语义Web服务组装 ——基于扩展的图规划算法

作者：江岭北京大学

学位级别：硕士

互联网异构的语义Web服务需要协同工作以满足复杂的应用需求。已有的对Web服务组装的研究,多限于顺序结构的组装方式。这种简单的一维线性组装方式不能满足较复杂的应用需求和较复杂的应用环境。本文致力于支持条件分支结构的语义Web服... 详细信息

互联网异构的语义Web服务需要协同工作以满足复杂的应用需求。已有的对Web服务组装的研究,多限于顺序结构的组装方式。这种简单的一维线性组装方式不能满足较复杂的应用需求和较复杂的应用环境。本文致力于支持条件分支结构的语义Web服务组装的研究。这种组装方式可在组装结果中带有条件分支控制构造,因此组装结果是一个有向图。组合得到的复合Web服务可在组件服务具有不确定性效果的条件下,在外界状态完全可观察的环境中正确执行。为了支持语义Web服务的带有条件分支结构的自动组装,本文对图规划进行了扩展。经典的图规划算法因其正确性、完备性和高效率而获得了巨大成功。然而经典的图规划只限于STRIPS的领域表示,并只能产生线性结构的规划解。本文对图规划的扩展,组合式图规划,能够处理具有不确定性效果的行动,并能产生树型结构的规划解。组合式图规划的主要思想是将具有不确定性效果的行动分解为多个行动,并对规划图进行足够的展开,从中抽取出所有能达到目标的行动序列,然后将那些对不确定性行动的不同效果进行处理的行动序列组合起来成为规划解树。组合式图规划的算法较简单,规划过程只产生一个规划图,不会产生不必要的指数级的时间复杂度增加。组合式图规划是可靠的(Sound),并且可以经过简单的修改而具备完备性(Completeness)这个重要的特性。本文作者的工作力图使Web服务的组装工具,即本文提到的OntoComposer更加简单和易用。与其他组装工具相比,OntoComposer具有以下特点:1)在领域知识层进行组装,组装人员看不到Web服务的实现技术和OWL-S语言;2)可视化进行问题域编辑和服务组装,组装过程不需要进行编程;3)自动组装和手动组装结合。

关键词：语义Web服务自动组装条件分支不确定性环境图规划的扩展完备性

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于X光图像的违禁品检测深度学习模型设计

基于X光图像的违禁品检测深度学习模型设计

作者：黄滨华南理工大学

学位级别：硕士

X光安全检查基于X射线透视成像,检测行李包裹中的违禁物品。因特殊的成像原理,X光图像可辨别信息少,特征混叠、语义模糊,存在强扰动,而待检测违禁品种类多,同类对象形态多变,检测的实时性要求又高。当前的深度学习检测算法都难以解决好... 详细信息

X光安全检查基于X射线透视成像,检测行李包裹中的违禁物品。因特殊的成像原理,X光图像可辨别信息少,特征混叠、语义模糊,存在强扰动,而待检测违禁品种类多,同类对象形态多变,检测的实时性要求又高。当前的深度学习检测算法都难以解决好上述问题。本文依据X光图像特点,针对现有算法的不足,研究海量X光数据下的违禁品检测方法。主要研究内容如下:(1)针对海量X光图像的检测性能问题,论文设计了基于条件分支的专家决策融合网络。其中,条件分支拓宽特征寻优空间,解决X光图像分辨率低,可辨别信息少的问题;特征关联模块进行特征增强,解决透射成像带来的背景噪点;同时,为每个分支设置对应的专家网络,融合所有预测实现自适应决策,解决海量数据下单分支架构分类能力不足的问题。实验验证了论文设计的算法能有效提高X光安检图像的违禁品检测性能。(2)针对参数膨胀带来的检测速度问题,论文设计了基于双向知识蒸馏的轻量化多流网络。其中,多流多尺度模块在不同源输入和不同感受野的特征空间之间进行分组信息交互,捕获更丰富的图像特征,解决X光图像特征稀疏以及违禁品尺度变化等;轻量级的全局注意力机制,在网络推理过程中动态聚焦核心特征,解决X光图像特征语义模糊;双向蒸馏则利用横向蒸馏提炼教师模型中间特征的内部关系,利用纵向蒸馏学习教师模型的特征转换,使提炼的知识具有更强的泛化性能,并显著提升模型的检测速度。实验结果表明所设计模型的检测精度和速度都优于对比算法。

关键词： X光图像违禁品检测条件分支知识蒸馏

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种相互独立性测试算法

计算机研究与发展 1997年第S1期34卷 218-221页

作者：袁小龙沈绪榜西安微电子技术研究所

高级综合技术的研究在当前倍受关注．在进行操作调度与资源分配时，为了节省资源，提高设计质量，应对含有条件结构的流图进行相互独立性测试．通过对相互独立性测试问题进行研究，给出了一种相互独立性测试算法．经实验证明，该算法具... 详细信息

高级综合技术的研究在当前倍受关注．在进行操作调度与资源分配时，为了节省资源，提高设计质量，应对含有条件结构的流图进行相互独立性测试．通过对相互独立性测试问题进行研究，给出了一种相互独立性测试算法．经实验证明，该算法具有速度快、效率高的特点，应用在高级综合系统中时，可极大地提高综合设计的质量．

关键词：高级综合相互独立性测试 CDFG模型条件分支

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于神经网络的处理器分支预测技术研究

基于神经网络的处理器分支预测技术研究

作者：沙子岩浙江大学

学位级别：硕士

随着应用对处理器性能需求日益提高,超标量和深流水线已经成为当前嵌入式处理器的主流技术。但程序中普遍存在的条件分支是破坏超标量和深流水线连续运行的主要原因,由条件分支指令造成的流水线性能损失已经成为制约处理器性能提升的主... 详细信息

随着应用对处理器性能需求日益提高,超标量和深流水线已经成为当前嵌入式处理器的主流技术。但程序中普遍存在的条件分支是破坏超标量和深流水线连续运行的主要原因,由条件分支指令造成的流水线性能损失已经成为制约处理器性能提升的主要瓶颈,为了减少条件分支造成的流水线性能损失,现代处理器普遍采用分支预测技术。分支测技术在经过了2bit分支预测器,全局/局部历史分支预测器,Gshare分支预测器,神经网络分支预测器的发展后,现在已经日益成熟。为寻找进一步制约分支预测准确率的因素,本文对函数调用返回与分支预测的关系进行了理论和实验两方面的深入研究,主要内容如下: 首先总结了国内外对这一课题的发展方向,主要体现在分支预测算法的发展过程和在各个发展阶段遇到的问题,以及解决问题的办法。重点介绍了神经网络分支预测器以及目前提高分支预测准确率的种种努力,提出了研究方向。其次,通过对函数调用和返回过程的深入分析,指出了函数调用返回过程中的分支别名现象,并对此提出了解决方案——离散函数调用分支别名的方法。在提出一种高效的算法仿真平台后,根据具体的实验,验证了离散函数调用的分支别名方法确实能够提高分支预测的准确率。然后,以CKCORE处理器为应用背景,对离散函数调用分支别名的神经网络方法进行了硬件实现,并利用system verilog平台对硬件实现进行了验证,进而讨论了新的验证工作带来的验证平台的变化。最后,总结全文,给出了现有消除函数调用分支别名方法继续改进发展的方向。

关键词：神经网络条件分支分支预测分支别名

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电子战的新领域—人工智能(三)

上海航天 1986年第4期 36-40页

作者：龚惠明

基本上,这两种方法用于两种不同的不定性,但是都能在AI问题中应用.Shafer-Dempster法处理在证据不充分时如何为命题分配特定概率或置信度的问题,因此研究的是客观不定性.也就是说,集合的边界是一定的,但我们没有充分证据来确定某一个元... 详细信息

基本上,这两种方法用于两种不同的不定性,但是都能在AI问题中应用.Shafer-Dempster法处理在证据不充分时如何为命题分配特定概率或置信度的问题,因此研究的是客观不定性.也就是说,集合的边界是一定的,但我们没有充分证据来确定某一个元素是否属于该集合.模糊集合理论处理的是定义边界的问题,其中的术语“定

关键词： LISP 表达式置信度置信水平 AI 并行处理器字符串预警系统防御系统函数定义条件分支相匹配概率两种方法

手把手教你学单片机的C语言程序设计(十)——开关语句和循环语句

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电子制作 2006年第5期14卷 57-62页

作者：吕超亚

开关语句switch／case开关语句是一种多分支选择语句，是用来实现多方向条件分支的语句。虽然从理论上讲采用条件语句也可以实现多方向条件分支，但是当分支较多时会使条件语句的嵌套层次太多。程序冗长，可读性降低。开关语句可直接处... 详细信息

开关语句switch／case开关语句是一种多分支选择语句，是用来实现多方向条件分支的语句。虽然从理论上讲采用条件语句也可以实现多方向条件分支，但是当分支较多时会使条件语句的嵌套层次太多。程序冗长，可读性降低。开关语句可直接处理多分支选择，使程序结构清晰。使用方便。开关语句是用关键字switch构成的，它的一般形式如下：

关键词： C语言程序设计循环语句开关单片机 switch 把手条件分支条件语句 case 嵌套层次

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

玩转PHP编程——升级提高篇

软件指南 2008年第3期 32-34,38页

作者：杨杰晶

在上一期中，我们通过几个小实例来熟悉了解了PHP的语法特点和几个常见的函数。感觉怎么样，PHP语言还是比较简单的吧？今天再通过几个例子给大家介绍一下在PHP编程中常用的另外几个函数，以及条件分支语句的用法。

关键词： PHP语言编程条件分支函数