您的位置： 专家智库 > >

王树义

作品数：13 被引量：21H指数：3
供职机构：大连理工大学计算机科学与技术学院计算机科学与工程系更多>>
相关领域：自动化与计算机技术建筑科学更多>>

合作作者

文献类型

  • 10篇期刊文章
  • 3篇会议论文

领域

  • 13篇自动化与计算...
  • 1篇建筑科学

主题

  • 2篇定理
  • 2篇阵列
  • 2篇通信
  • 2篇组通信
  • 2篇脉动阵
  • 2篇脉动阵列
  • 2篇分布式
  • 2篇分布式系统
  • 1篇定理机器证明
  • 1篇定理证明
  • 1篇循环不变式
  • 1篇语义WEB
  • 1篇语义相似
  • 1篇语义相似度
  • 1篇实时操作系统
  • 1篇数据备份
  • 1篇数据流
  • 1篇数据流分析
  • 1篇数据相关
  • 1篇搜索

机构

  • 13篇大连理工大学

作者

  • 13篇王树义
  • 5篇孙效里
  • 2篇邹伟松
  • 2篇钱达源
  • 2篇姜楠
  • 2篇刘恒
  • 1篇袁晓刚
  • 1篇孙洪浩
  • 1篇杜辉
  • 1篇姜楠
  • 1篇杨昊霖
  • 1篇王晓飞
  • 1篇林晓斌
  • 1篇唐海涛

传媒

  • 3篇计算机工程
  • 2篇计算机应用与...
  • 2篇小型微型计算...
  • 1篇计算机学报
  • 1篇现代计算机
  • 1篇大连理工大学...
  • 1篇2001全国...
  • 1篇2005年全...

年份

  • 1篇2009
  • 1篇2008
  • 2篇2006
  • 3篇2005
  • 1篇2003
  • 2篇2001
  • 1篇1996
  • 2篇1995
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
降低广义归结原理空间复杂度方法的研究被引量：3
2001年
本文针对广义归结原理实现时空间复杂度非常大的问题,通过实际分析广义归结方法实现时造成多余归结的实例,提出了几种优化方法,使系统的归结能力显著提高。
王树义袁晓刚
关键词：空间复杂度定理机器证明人工智能
基于推理和相似度计算的语义Web服务匹配策略被引量：8
2008年
将本体的概念引入Web服务提升了服务的语义表达能力和发现能力,传统的语义Web服务匹配主要有基于推理和基于本体相似度计算两种方式。基于推理的服务匹配较容易实现,具有稳定的查准率和较高的运行效率,但同一级结果间不能进一步区分结果的匹配度。基于相似度计算的服务发现可以精确地描述结果与查询条件的匹配程度,便于用户比较,但实现较为复杂,并且在最坏情况下有糟糕的响应时间。在基于推理的服务匹配策略的基础上,提出了一种带有语义相似度计算的服务匹配策略,并用一个书籍领域本体的匹配实例进行了说明。
王树义杨昊霖
关键词：语义相似度匹配度
基于知识的循环不变式生成方法
利用归纳断言方法验证程序正确性的难点是如何找到循环不变式.由程序员直接给出不变式有种种弊端,而现有生成不变式的方法都是根据程序形式,推导出程序变量之间的一些简单的、表面上的关系,却无法找到由数学定理蕴涵着的各个变量之间的...
王树义邹伟松刘恒
关键词：循环不变式定理证明自动生成
文献传递
基于Linux on ITRON混血操作系统结构的研究被引量：2
2006年
“Linux on ITRON”是一个正在研究的混血操作系统结构,该结构把Linux与符合ITRON规范的操作系统相结合。目的是有效地复用已经存在的Linux环境的软件,同时又能将系统在符合ITRON规范的操作系统移植。该文对此结构进行了评价,并针对该结构下Linux中断丢失问题对系统结构进行了改进,给出了新结构下解决该问题的实现方法。
杜辉王树义孙效里
关键词：操作系统实时操作系统嵌入式系统ITRON
过程间指针分析算法的改进被引量：2
2009年
指针分析对于使用C语言编制程序的数据流分析有着重要的意义。该文介绍指针问题的复杂度、指针分析算法的分类以及指针分析算法的现状,并采用Atkinson提出的基于函数类型过滤得到较为精确的函数调用图的思想,改进刘强提出的上下文敏感的过程间指针分析算法,在对使用函数指针进行函数调用时,使用函数原型过滤限制在函数调用处的函数指针的指向集,提高指针分析的精确度。
孙洪浩王树义林晓斌王晓飞
关键词：数据流分析
一个Pascal集成环境的技术分析
1995年
本文分析了ＴｕｒｂｏＰａｓｃａｌ５．０实现技术的特点，并对其语言设计和实现技术作出了评价。
钱达源王树义
关键词：程序语言PASCAL语言集成环境
一种有效的Web负载均衡器的设计与实现被引量：2
2006年
随着Web应用技术大量地应用到各中小企业的信息系统中,迫切需要一个能够提供良好性能价格比的Web服务器负载均衡系统。一方面由于RoundRobinDNS技术的局限性达不到企业的要求,另一方面由于硬件负载均衡器的昂贵费用使中小企业无法承受。该研究采用J2EE平台的Servlet技术提供的Filter功能,设计并实现了一个比较适合中小企业的Web服务器负载均衡系统框架。
唐海涛王树义孙效里
关键词：WEB应用负载均衡器SERVLET
脉动阵列算法自动综合的优化策略被引量：3
1996年
对于脉动阵列算法的自动综合方法，本文揭示了参数确定法和相关性变换法的本质联系，给出了相关性变换法适用问题类的一个新的高效寻优策略．
王树义钱达源
关键词：脉动阵列计算机算法
基于半被动复制技术的业务连续性模型
本文提出了一个基于半被动复制技术的业务连续性模型,半被动复制技术吸取了上面两种复制技术各自的优点,在被动复制的基础上,每个复制节点都可以作为主节点向外提供服务,这种实现不仅保证了各个复制节点上数据的一致性,也避免了被动复...
姜楠王树义孙效里
关键词：网络安全数据备份
文献传递
算法的相关性变换与划分带个数的关系被引量：1
1995年
使用相关性变换法，划分并映射循环算法到具有固定尺寸的Ｓｙｓｔｏｌｉｃ阵列．下标集合被划分成若干条带，划分带的条数与变换后的Ｓｙｓｔｏｌｉｃ阵列算法的执行时间成正比．指出了Ｍｏｌｄｏｖａｎ给出的计算划分带条数的公式有很大局限性，给出了由空间变换计算划分带条数的方法．
王树义
全选 清除 导出
共2页<12>
聚类工具0