陈清亮

作品数：16被引量：92H指数：4
导出分析报告
供职机构：暨南大学更多>>
发文主题：SPV最短路径认知逻辑安全协议语义模型更多>>
发文领域：自动化与计算机技术文化科学电子电信理学更多>>
发文期刊：《计算机工程与应用》《电子学报》《计算机科学与探索》《小型微型计算机系统》更多>>
所获基金：国家自然科学基金广东省自然科学基金国家重点基础研究发展计划教育部留学回国人员科研启动基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
融合多种类型语法信息的属性级情感分析模型被引量：2
《计算机科学与探索》2022年第2期395-402,共8页肖泽管 陈清亮 
国家自然科学基金(61772232)。
属性级情感分析(ABSA)的目标是识别出句子中属性的情感倾向。现有的方法大多使用注意力机制隐性地建模属性与上下文中情感表达的关系,而忽略了使用语法信息。一方面,属性的情感倾向与句子中的情感表达有紧密的联系,利用句子的句法结构...
关键词：属性级 情感分析 基于变换器的双向编码器表示技术(BERT) 依存句法树 图卷积神经网络(GCN) 
面向复杂环境的图像语义分割方法综述被引量：46
《计算机科学》2019年第9期36-46,共11页王嫣然 陈清亮 吴俊君 
国家自然科学基金(61603103,61673125);广东省自然科学基金(2016A030310293);广州市科技计划科学研究专项(201707010013)资助
图像语义分割是视觉智能方向最重要的基础性技术之一,语义分割效果关系着智能系统对其应用场景的理解能力,因此在诸如无人驾驶、机器人认知与导航、安防监控与无人机着陆系统等重要领域均具有较大的应用价值。由于复杂环境下的目标存在...
关键词：语义分割 视觉智能 深度学习 图像分割 卷积神经网络 
公平交换协议的信道可信度形式化验证方法被引量：2
《小型微型计算机系统》2018年第2期240-244,共5页杨晋吉 申涵瑞 陈清亮 
国家自然科学基金项目(61272066;61572234)资助
公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为...
关键词：形式化验证 信道可信度 公平交换协议 概率模型检测 PRISM 
基于ATL的公平交换协议的形式化验证被引量：3
《计算机工程与应用》2015年第19期32-36,共5页李群 陈清亮 
国家自然科学基金(No.61003056;No.61272415);国家重点基础研究发展规划(973)(No.2010CB328103)
如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(Fair Exchange Protocols)进行形式化分析与验证,并选取了其中的一个电子合同签署协议进行形式化验证。用ATL语言来形式化描...
关键词：形式化验证 交替时态逻辑(ATL) MOCHA工具 公平交换协议 
基于MAP的单帧字符图像超分辨率重建被引量：14
《电子学报》2015年第1期191-197,共7页李展 陈清亮 彭青玉 张庆丰 李伟祥 
国家自然科学基金(No.11273014;No.11403008;No.U1431227);中央高校基本科研业务费专项资金(No.21612413;No.21612414);广东省自然科学基金(No.10151063201000002);国家大学生创新创业训练计划项目(No.201310559044)
字符是很多图像处理应用关注的区域,增强字符图像分辨率往往能提高字符识别率.针对字符图像纵横和对角线方向纹理特征,提出了一种提取不同方向纹理及图像平滑度度量的新方法,并在最大后验概率框架下,实现了单帧图像超分辨率重建算法.算...
关键词：图像重建 超分辨率 最大后验估计 纹理分析 字符识别 
面向结构的基于学习的规划方法被引量：1
《软件学报》2014年第8期1743-1760,共18页陈蔼祥 姜云飞 柴啸龙 边芮 陈清亮 
国家重点基础研究发展计划(973)(2005CB321902;2010CB328103);国家自然科学基金(60773201;61003056);广东省自然科学基金(10451032001006140);广州市科技和信息化局应用基础研究计划(2010Y1-C641);广东省教育厅高校优秀青年创新人才培育项目(LYM10081;LYM_0065);中央高校基本科研业务费专项资金(21612414);广东省教育厅科技创新项目(2013kjcx0086);广东财经大学自然科学研究项目(11BS52001)
近年来,规划中的学习问题重新受到了关注.如何通过学习机制改善现有规划器,使其能够可靠而令人信服地超越现有非学习的规划器的能力,仍然是一个尚未解决的难题.提出了面向规划问题和解的结构的基于学习的规划技术.该方法将先验知识表示...
关键词：问题结构 解结构 规划片段 结构知识学习 
通过诊断图分析的快速诊断算法被引量：4
《计算机学报》2009年第8期1470-1485,共16页陈蔼祥 陈清亮 潘久辉 姜云飞 杨晋吉 
国家"九七三"重点基础研究发展规划项目基金(2005CB321902);国家自然科学基金(60773201);国家自然科学基金国际合作项目(60911130005);暨南大学引进人才启动基金;广东高校优秀青年创新人才培育项目(LYM08017);广东省科技计划项目(2007B010400068);广东省产学研结合项目(2007B090400095)支持~~
基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引...
关键词：诊断 诊断图 基于模型的诊断 溯因推理 自动规划 
利用OBDD编码的快速二值图算法(英文)
《计算机科学与探索》2009年第3期303-308,共6页吕关锋 苏开乐 陈清亮 徐旭东 
The National Grand Fundamental Research 973 Program of China under Grant No.2005CB321900;the National Science Foundation for Distinguished Young Scholars of China under Grant No.60725207;the International Joint Research Project of National Science Foundation under Grant No.60911130005;the Start-up Research Fund for Introduced Talents in Jinan University;the Start-up Research Fund for Introduced Talents in Beijing University of Technology;the Discipline and Graduate Education Development Project Fund of Beijing Education Committee;the Distinguished Young Reseacher Nurturing Program in Univeristies of Guangdong under Grant No.LYM08017~~
对利用有序二元判定图 OBDD 编码二值图像进行了研究,该方法可以节约大量的空间,并在此基础上,提出了各种二值图的算法,包括解码和集合运算(并、交、差、对称差、包含和互补)。实验结果表明这种基于OBDD 编码的方法比现有的二值图编码...
关键词：有序二元判定图 二值图 集合运算 
多智能体协同的认知规范模型检测算法
《中山大学学报（自然科学版）》2009年第1期110-112,共3页陈清亮 朱可宜 
国家重点基础研究发展规划项目973资助项目(2005CB321902);暨南大学引进人才基金资助项目
在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上,研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法,包括多层的认知算子,分布式认知算子和公共知识算子等等。研究结...
关键词：时态逻辑 认知逻辑 模型检测 
SET证书申请协议在SPV下的自动化验证及改进被引量：3
《计算机学报》2008年第6期1035-1045,共11页肖茵茵 苏开乐 岳伟亚 陈清亮 吕关锋 杨晋吉 
国家“九七三”重点基础研究发展规划项目基金(2005CB321902);国家自然科学基金(60496327,10410638,60473004);广东省自然科学基金(06023195);广东省自然科学基金团队项目(04205407)资助~~
基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPS...
关键词：SET证书申请协议 自动化验证 SPV 认证性 秘密性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部