轩爱成

作品数：6被引量：21H指数：3
导出分析报告
供职机构：桂林电子科技大学计算机科学与工程学院更多>>
发文主题：WEB服务软件水印时间自动机逆序数软件水印算法更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》《微电子学与计算机》《计算机应用研究》《小型微型计算机系统》更多>>
所获基金：广西研究生教育创新计划项目博士科研启动基金中国博士后科学基金广西青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Verics的组合Web服务有界模型检测
《小型微型计算机系统》2011年第3期412-415,共4页骆翔宇 轩爱成 沙宗鲁 
国家自然科学基金项目(9071803960763004)资助;中国博士后科学基金项目(20090450389)资助;广西青年科学基金项目(桂科青0728090)资助;广西研究生教育创新计划项目(2008105950812M424)资助
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成...
关键词：有界模型检测 时态认知逻辑 WEB服务 时间自动机 Verics 
一种执行代价较小的Web服务动态合成方法
《微电子学与计算机》2011年第2期166-170,共5页轩爱成 骆翔宇 沙宗鲁 董荣胜 
国家自然科学基金项目(60763004);中国博士后科学基金(20090450389);广西自然科学基金(0991242);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)
在Web服务无回溯反向链动态框架基础上,提出一个较小执行代价的反向链动态合成方法.该算法根据用户的输入、输出和Web服务的执行代价,在合成过程中的每一步都找到执行代价最小的Web服务,从而动态生成一个执行代价较小的合成方案.该合成...
关键词：WEB服务合成 执行代价 反向链 产生式模型 
基于PPCT和基数k的动态图混合编码方案被引量：9
《计算机工程与应用》2010年第25期109-111,共3页王慧娇 沙宗鲁 轩爱成 
桂林电子科技大学博士科研基金(No.Z206116);广西研究生教育创新计划资助项目(No.2009105950812M23)
针对PPCT动态图编码效率低的特点,提出了一种将PPCT枚举编码和基数k枚举编码进行混合编码的动态图编码方案。在保证其抗攻击力的前提下,为了提高PPCT枚举编码的编码效率,把基数k枚举编码的循环链表指针编码系数的方法运用到PPCT枚举编...
关键词：软件水印 平面环路树(PPCT) 基数k编码 混合编码 
基于时间自动机的Web服务模型检测被引量：7
《计算机科学》2010年第8期139-142,197,共5页骆翔宇 轩爱成 沙宗鲁 
国家自然科学基金(60763004);中国博士后科学基金(20090450389);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2008105950812M424)资助
传统的基于有限状态机的组合Web服务模型检测方法不能保证带有时间约束的组合Web服务的正确性。把组合Web服务看成多智能体系统,将带有时间约束的Web服务智能体建模为时间自动机,通过并发组合构成时间自动机网络,从而用时间自动机验证工...
关键词：模型检测 WEB服务 时间自动机 UPPAAL 
基于方程式逆序数的软件水印算法被引量：3
《计算机应用研究》2010年第2期748-750,共3页蒋华 沙宗鲁 轩爱成 
桂林电子科技大学博士科研基金资助项目(Z206116);广西研究生教育创新计划资助项目(2009105950812M23)
针对方程式重排序等算法存在的程序运行速度、信息隐藏量等问题,提出基于方程式操作数系数排列逆序数的软件水印算法。重新排列那些可以相互交换的操作数,使各操作数的系数按照一定次序排列。通过排列的逆序数和二进制数的一一对应关系...
关键词：软件水印 映射字典 排列 逆序数 
基于表达式逆序数的软件水印算法被引量：5
《计算机应用》2009年第12期3188-3190,共3页蒋华 沙宗鲁 轩爱成 
桂林电子科技大学博士科研基金资助项目(Z206116);广西研究生教育创新计划项目(2009105950812M23)
为解决表达式重排序等算法存在的程序运行速度、隐藏信息量等问题,研究与实现了基于表达式逆序数的软件水印算法。算法通过排列的逆序数和二进制数的一一对应关系得到映射字典,再根据映射字典完成水印数据的编码、嵌入和提取。仿真结果...
关键词：软件水印 表达式 逆序数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部