韦立
- 作品数：23 被引量：57H指数：4
- 供职机构：贵州师范大学大数据与计算机科学学院更多>>
- 发文基金：国家自然科学基金博士科研启动基金贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于三维离散余弦变换的鲁棒彩色图像水印算法被引量：3
- 2015年
- 针对常见的彩色图像水印算法仅在亮度分量或在每一分量嵌入水印,致透明性和鲁棒性不能达到权衡的问题,提出了一种新颖的基于三维离散余弦变换的RGB彩色图像水印算法.为增强水印的安全性,先对水印图像进行异或加密和Arnold置乱处理;其次对彩色图像进行互不重叠的分块处理,并对每一分块进行三维离散余弦变换;最后对每一分块三维离散余弦变换后的第一个系数采用量化的嵌入方法嵌入水印信号.实验表明,提出的算法具有较好的透明性和鲁棒性,对彩色图像的版权保护应用具有一定的应用价值.
- 熊祥光韦立
- 关键词：彩色图像水印三维离散余弦变换鲁棒性
- 语义Web中本体概念的语义匹配分离方法被引量：2
- 2014年
- 本体概念能够有效表达Web服务的语义信息,可通过推理机实现自动语义匹配,但推理机的推理过程比较耗时,会对服务计算技术多个环节的效率产生很大影响。以本体概念间的匹配度为基础,建立公共本体概念库,可在不影响本体概念表达能力的前提下,实现语义匹配过程的分离。为适应公共本体概念库的动态特性,给出对其进行更新(添加、删除和修改)的算法。实验结果表明,该方法大幅提高了语义匹配的效率,且不会对语义匹配的性能产生影响。
- 唐郑熠韦立李均涛万良
- 关键词：语义WEB语义匹配
- Pell伴随数列中Pronic数的存在性
- 2015年
- 利用Pell方程和Petr方程解的性质,得到了数列A(D)中含有Pronic数的四个必要条件,并证明了当D≤20时,数列A(D)仅当D=3时含有Pronic数,推广了相关文献的结果.
- 瞿云云牟全武黄华伟韦立
- 关键词：PELL方程
- 面向方面程序的静态语义研究被引量：2
- 2017年
- 针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。
- 谢刚韦立吴祥
- 关键词：面向方面程序语义
- 鸽巢公式的一些性质
- 2011年
- 由鸽巢原理定义的鸽巢公式PH nn+1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn+1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn+1的难解证明用到了其中一种标准形式.公式PH nn+1具有良好的子结构同构性质,如果DPLL算法中允许使用同构规则,则存在PH nn+1的反驳证明,其复杂性可以降至O(n3).
- 许道云韦立王晓峰
- DDS并行模型及其形式化被引量：4
- 2009年
- DDS(deadline-driven scheduler)模型是实时系统研究中的一个经典模型,但其原始设置中未提及空间因素.在DDS模型的原始设置上进行扩展,给出了DDS并行模型并在该模型设置下研究带空间限制的任务调度问题.提出了极大空间相容组的概念,并给出了全局调度算法和该算法可行的条件.最后还引入分离逻辑的思想对时段演算进行扩充,得到了新的形式系统DC*,利用DC*把DDS并行模型形式化.
- 刘真环韦立陈艳赵荣盛王驹
- 关键词：时段演算形式化
- 二元关系的性质测试及其复杂性分析被引量：2
- 2011年
- 本文介绍了性质测试的基本原理,分析了用性质测试方法解决参数化问题的可行性,并将同构性质进行了参数化。研究了二元关系的性质测试以及参数化框架同构性质的测试问题,对固定的距离参数,证明了测试复杂性低于标准判定程序的复杂性。
- 韦立许道云
- 关键词：参数化
- 基于3D-DCT的盲彩色图像水印方案被引量：1
- 2015年
- 针对彩色图像的版权保护应用,提出一种基于分块三维离散余弦变换的彩色图像水印方案。对彩色图像进行分块的三维离散余弦变换,嵌入水印时,对三维离散余弦变换系数的直流分量和第二分量分别采用量化和关系的方法嵌入水印信号;提取水印时,分别采用量化和关系提取算法提取水印信号并进行比较,选取相似值高的水印作为最终提取的水印信号。仿真结果表明,该算法具有较好不可感知性和抵抗多种攻击的能力,与其它相似的算法相比,具有更优越的性能。
- 熊祥光韦立谢刚
- 关键词：彩色图像水印三维离散余弦变换鲁棒性
- 大图中子图的可测性质
- 定的距离参数ε,性质测试算法A需以高概率正确区分一个给定对象具备预定性质(∏)与ε远离性质(∏).若存在(∏)的测试算法A满足其询问复杂性独立于规模参数n,则称(∏)是可测的.
- 韦立许道云王正才
- 互斥协议的安全性分析
- 2015年
- 安全性和活性是两大基本的系统属性,对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理,发现其缺乏对状态序列的具体约束。针对这一问题,使用对系统动作刻画更完善的行为时序逻辑进行了重定义,加入了初始状态和转移条件的约束。以此为基础,对互斥这一并发系统的典型属性进行了形式化的分析,由此说明如何判断一个属性是否满足安全性或活性的定义。该技术为实现系统性质的自动推理与验证提供了形式化基础。
- 赵梦龙唐郑熠万良韦立
- 关键词：安全性活性行为时序逻辑
