-
36781.容错的网络声明式程序
[信息传输、软件和信息技术服务业] [2014-05-15]
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
关键词：网络编程抽象；声明式语言；语法；语义；容错性
-
36782.一种动态定性空间关系自动规划方法
[信息传输、软件和信息技术服务业] [2014-05-15]
为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景.
关键词：定性空间推理；自动规划；邻域划分图；概念邻域图
-
36783.有效的v支持向量回归机的v解路径算法
[信息传输、软件和信息技术服务业] [2014-05-15]
由Sch(o)lkopf 等人提出的v支持向量回归机具有通过参数v控制支持向量和错误向量个数的优点,然而与标准的支持向量机相比,其形式更为复杂,迄今为止仍没有有效的算法计算v解路径.基于v支持向量回归机的修改形式,提出了一种新的解路径算法,它能够追踪参数v对应的所有解,并通过理论分析和实验,说明了该算法能够尽可能地避免不可行的更新路径,并在有限步内拟合出所有的v解路径.
关键词：模型选择；解路径；v支持向量回归机；支持向量机；机器学习
-
36784.基于自适应光标的图形用户界面输入效率优化
[信息传输、软件和信息技术服务业] [2014-05-15]
提高图形用户界面(graphical user interface)的输入效率,是人机交互中的一项重要研究内容.已有的研究包括点击增强技术和自适应界面技术,前者改变光标的控制方式或呈现方式,后者改变界面上控件的位置布局,但两种技术都存在不足.通过分析界面操作,提出了图形用户界面输入效率的评价模型；然后,在此基础上提出一种人机交互效率优化技术:自适应光标.它以自适应的方式,有选择地对界面上用户可能访问的控件通过点击增强技术支持,实现快速访问.该方法既解决了以往的自适应界面技术因频繁调整控件布局而给用户带来额外认知成本的问题,也克服了点击增强技术仅适用于稀疏控件布局的限制.为了检验其可用性,在控件较多的Visual Studio上实现了自适应光标技术.实验结果表明,使用自适应光标技术可以将获取目标的时间缩短27.7％,显著提高了图形用户界面的输入效率.
关键词：输入效率；图形用户界面；卫星光标；自适应界面
-
36785.面向约束的Web服务发现方法研究
[信息传输、软件和信息技术服务业] [2014-05-15]
Web Service已经成为主要的计算资源和软件的主要存在形态.为了满足用户的各种需求,使得Web服务的数量快速增加,而能从大量的服务中准确地发现满足用户需求的服务,成为研究热点和难点.结合成熟的基于概念相似度的服务匹配方法,分别将用户需求和语义Web服务描述文档OWL-S profile转化为本体树,并采用分层、分类的方式分别计算对应节点的概念相似度、属性相似度和结构相似度,有效地避免了复杂的推理.根据概念相似度和结构相似度之间的关系定义一系列的约束,并利用约束对查询树进行重组,以提高服务发现的查准率和查全率.最后,给出了语义Web服务发现的算法,并通过开发原型系统OWLS-CSR进行实验,证明了该理论方法的可行性与有效性.
关键词：WebService；本体；概念相似度；属性相似度；结构相似度
-
36786.基于取整划分函数的k匿名算法
[信息传输、软件和信息技术服务业] [2014-05-15]
提出一种基于取整划分函数的k匿名算法,并从理论上证明该算法在非平凡的数据集中可以取得更低的上界.特别地,当数据集大于2k2时,该算法产生的匿名化数据的匿名组规模的上界为k+1；而当待发布数据表足够大时,算法所生成的所有匿名组的平均规模将足够趋近于k.仿真实验结果表明,该算法是有效而可行的.
关键词：隐私保护；数据发布；k匿名算法；取整划分函数；匿名组规模上界
-
36787.一种基于路径优化的推测多线程划分算法
[信息传输、软件和信息技术服务业] [2014-05-15]
推测多线程(speculative multithreading,简称SpMT)技术是一种实现非规则程序自动并行化的有效途径.然而,基于控制流图和分支预测技术的线程划分方法,不可避免地会受到划分路径上所存在的控制依赖和数据依赖的制约.目前,在传统的线程划分算法中存在的一个重要问题是,在对划分路径进行选取时只考虑了控制依赖影响却不能有效地综合考虑数据依赖的影响,进而导致不能选取最佳的划分路径.因此,针对传统方法中这种依赖评估方法效率低下的问题,设计并实现了一种基于路径优化的线程划分算法.该算法通过引入基于程序切片技术的预计算方法,建立一种路径评估方法来评估程序间的控制和数据依赖.同时,引入控制线程体大小的启发式规则,以便有效地解决负载不平衡的问题.基于Olden测试集的测试结果表明,所提出的算法可以有效地对非规则程序进行划分,其平均加速比可以达到1.83.
关键词：推测多线程；线程级并行；线程划分；路径优化；自动并行化
-
36788.面向编码机会路由的无线Mesh网络广播信道接入
[信息传输、软件和信息技术服务业] [2014-05-15]
编码机会路由是有损无线Mesh网络中提供高吞吐量和高可靠性传输的理想方案.该路由机制建立在无线广播的多用户分集优势和随机网络编码的纠删特性之上,为广播MAC的设计引入了新的机会和挑战.基于最优停止理论,研究面向编码机会路由的机会广播信道接入问题,提出一种在接入延迟和信道交付能力之间加以折衷,以获得最优的平均有效速率的方法,并在IEEE 802.11 DCF协议基础上设计实现面向NCOR的广播MAC协议O-BCast.仿真结果表明,该协议显著提高了编码机会路由的端到端吞吐量,具有网络负载自适应的良好特性.
关键词：机会路由；网络编码；广播MAC；最优停止理论；多用户分集
-
36789.无线多媒体传感器网络感知模型与数量估计
[信息传输、软件和信息技术服务业] [2014-05-15]
针对无线传感器网络的不同应用需求,将其分为4种类型:节点平行于目标平面的延时覆盖、无延时覆盖、节点位于目标平面中的延时覆盖及无延时覆盖.综合考虑节点感知区域和可能感知区域等因素,为每种应用构建了不同的感知模型.围绕不同的感知模型,针对节点部署方式和部署个数进行了分析,并且对结果进行了仿真,结果表明,所提出的的感知模型和部署个数的估计结果正确,且更符合实际应用需求.
关键词：无线多媒体传感器网络；多媒体传感器；延时覆盖；无延时覆盖；感知区域；可能感知区域
-
36790.基于负载模式识别的Web应用在线异常检测方法
[信息传输、软件和信息技术服务业] [2014-05-15]
负载模式的动态变化会影响系统度量,使得异常难以准确检测.针对此问题,提出一种基于负载模式识别、在线检测Web应用异常的方法.该方法基于在线增量式聚类算法,运行时识别动态变化的负载模式,根据特定负载模式对应的度量空间,利用局部异常因数检测异常状态,并量化异常程度,并通过学生t测试方法计算度量异常值,以定位异常原因.实验结果表明,所提方法能够准确识别负载模式变化,有效检测出Web应用典型错误所引起的异常状态,并定位异常原因.
关键词：Web应用；异常检测；动态负载；增量式聚类；局部异常因数
027-87841330