谢刚
- 作品数：28 被引量：51H指数：4
- 供职机构：贵州师范大学更多>>
- 发文基金：国家自然科学基金贵州省科学技术基金贵州省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 面向方面的模块化推理框架研究
- 模块化推理在程序分析和程序验证领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming,AOP)存在量化和易忘性等特...
- 谢刚杨波
- 关键词：面向方面程序设计横切关注点
- 一种智能门禁系统
- 本发明属于智能家居技术领域，公开了一种智能门禁系统，智能门禁系统包括：主人子系统，访客子系统，进一步包括：本地数据库，与业务逻辑层连接，业务逻辑层，与客户端连接，客户端，与蓝牙单元连接，蓝牙单元，与门禁器和门铃连接，门禁...
- 谢刚熊彬
- 文献传递
- 一种彩铝生产设备监控及管理系统
- 本发明涉及彩铝加工技术领域，公开了一种彩铝生产设备监控及管理系统，包括生产监视模块和登录模块，其中，所述生产监视模块以电子屏形式在控制中心将视频信息、数据信息、异常信息体现出来，用于人机信息的交互，所述登录模块用于对用户...
- 谢刚
- 文献传递
- 基于混沌和声搜索的图像增强方法、介质及装置
- 本发明涉及图像处理领域，提供了一种基于混沌和声搜索的图像增强方法，旨在解决如何实现快速且有效地进行图像增强的技术问题。为此目的，本发明中图像增强方法包括步骤S1：随机初始化和声库；步骤S2：混沌搜索得到一个新个体；步骤S...
- 张文生郭肇禄杨萌林谢刚魏波
- 文献传递
- 面向方面程序的静态语义研究被引量：2
- 2017年
- 针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。
- 谢刚韦立吴祥
- 关键词：面向方面程序语义
- 知识图谱精化研究综述被引量：5
- 2018年
- 知识图谱是一种在移动互联网大时代下产生的新型知识表示方法,而精化是知识图谱应用研究的主要内容之一,其主要任务是知识图谱补全和错误检测等,在信息检索、机器人、智能问答等领域有着重要的应用前景。因此,对知识图谱精化进行研究具有十分重要的意义。对当前知识图谱精化方法进行了较为全面、深入的总结,并对知识图谱未来的主要研究方向进行了展望。
- 谢刚
- 关键词：知识图谱精化
- 基于DC切片技术的遗留系统业务规则抽取方法研究
- 随着计算机技术的不断发展,尤其是基于Web的信息发布和检索技术的发展,导致了整个应用系统的体系结构从客户//服务器/(以下简称C//S/)的主从结构向灵活的分布式结构的演变。这一演变在当今以Web技术为核心的信息网络的应...
- 谢刚
- 关键词：DC切片抽取
- 文献传递
- 基于CAS与Web服务的遗留系统集成框架研究被引量：2
- 2011年
- 针对目前存在的大量遗留系统问题,提出了一种基于Web服务与CAS认证服务技术的遗留系统集成框架.该框架在应用集成过程中保持了原有遗留系统稳定性的同时,也解决了用户重复登录问题,使得遗留系统集成更加安全方便,从而对降低企业维护成本、提高应用系统可靠性有一定的实际意义.
- 宋春丽张仁津谢刚
- 关键词：WEB服务CAS
- 指向分析语义及其存在性证明
- 2015年
- 作为别名分析的主要形式,指向分析通过计算指向关系提供完整的别名关系。准确刻画指向分析中相关概念及语义十分有助于深入理解程序中指向关系的生成及变化过程,并为别名分析或指向分析相关形式化工作奠定理论基础。针对面向对象程序设计语言中一个与指向分析有关的基本子集,给出指向关系和指向状态的数学描述,定义一个指向分析语义函数PT以刻画面向对象程序中基本语句对指向状态的作用。最后证明了该语义是合适定义的。
- 杨波谢刚李松张明义
- 关键词：语义
- 基于3D-DCT的盲彩色图像水印方案被引量：1
- 2015年
- 针对彩色图像的版权保护应用,提出一种基于分块三维离散余弦变换的彩色图像水印方案。对彩色图像进行分块的三维离散余弦变换,嵌入水印时,对三维离散余弦变换系数的直流分量和第二分量分别采用量化和关系的方法嵌入水印信号;提取水印时,分别采用量化和关系提取算法提取水印信号并进行比较,选取相似值高的水印作为最终提取的水印信号。仿真结果表明,该算法具有较好不可感知性和抵抗多种攻击的能力,与其它相似的算法相比,具有更优越的性能。
- 熊祥光韦立谢刚
- 关键词：彩色图像水印三维离散余弦变换鲁棒性
