岳伟亚

作品数：5被引量：22H指数：3
导出分析报告
供职机构：中山大学信息科学与技术学院信息技术教育部重点实验室更多>>
发文主题：语义模型形态小波灰度形态学模糊形态学图像处理更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机学报》《影像技术》《计算机科学与探索》更多>>
所获基金：国家自然科学基金广东省自然科学基金国家重点基础研究发展计划德国研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SET证书申请协议在SPV下的自动化验证及改进被引量：3
《计算机学报》2008年第6期1035-1045,共11页肖茵茵 苏开乐 岳伟亚 陈清亮 吕关锋 杨晋吉 
国家“九七三”重点基础研究发展规划项目基金(2005CB321902);国家自然科学基金(60496327,10410638,60473004);广东省自然科学基金(06023195);广东省自然科学基金团队项目(04205407)资助~~
基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPS...
关键词：SET证书申请协议 自动化验证 SPV 认证性 秘密性 
一种规约于可满足性问题(SAT)的知识推理算法
《计算机科学与探索》2007年第1期79-86,共8页苏开乐 陈清亮 岳伟亚 
(国家重点基础研究发展规划(973))No.2005CB321902;(国家自然科学基金)No.60496327;10410638;60473004;(广东省自然科学基金)No.04205407;上海市智能信息处理重点实验室开放课题资助项目~~
传统的知识推理算法主要依赖于通用的定理证明器,因此会有明显的组合爆炸问题和半自动化问题,只能处理小规模的问题。在文[1]中,给出了一个实用而紧致的知识的语义模型——知识结构(knowledge struc- ture),并给出相应的利用BDD(Binary ...
关键词：可满足性问题 知识结构 推理算法 计算规模 组合爆炸 计算方法 符号化 定理证明器 语义模型 语义基础 实验 结构语义 自动化 小规模 元素 效率 通用 处理 
实例化空间:一种新的安全协议验证逻辑的语义模型被引量：7
《计算机学报》2006年第9期1657-1665,共9页苏开乐 岳伟亚 陈清亮 ZHENG Xi-Zhong 
国家"九七三"重点基础研究发展规划项目基金(2005CB321902);国家自然科学基金(60496327;10410638;60473004);广东省自然科学基金团队项目(04205407);教育部留学回国人员科研启动基金;教育部"新世纪优秀人才"支持计划基金;德国研究基金(DFG)446CHV113/240/0-1;中山大学"凯思"基金;上海市智能信息处理重点实验室(筹)开放课题资助.
给出了一个称为“实例化空间(instantiation space)”的安全协议验证逻辑的语义模型.该语义模型是建立在一种自然的加密信息交换(cryptographical message exchange)模型上的.在此语义模型基础上,文章提出了一系列与安全属性相关的验证...
关键词：实例化空间 加密信息交换模型 可满足性问题 
数学形态学在图像处理中的应用与展望被引量：10
《影像技术》2006年第2期19-21,共3页岳洪伟 李扬 蔡肯 岳伟亚 
阐述数学形态学的产生及其与图像处理的结合过程,讨论其由二值形态学、灰度形态学、软形态学到模糊形态学、模糊软形态学、形态小波的发展,分析了数学形态学在图像处理中的发展趋势并对其应用前景进行探讨与展望。
关键词：灰度形态学 软形态学 模糊形态学 模糊软形态学 形态小波 
基于BDD的图表示及其算法被引量：4
《中山大学学报（自然科学版）》2006年第1期20-24,共5页吕关锋 苏开乐 林瀚 骆翔宇 陈清亮 岳伟亚 
国家自然科学基金资助项目(60496327;10410638;60473004);德国研究基金资助项目(446CHV113/240/0-1);广东省自然科学基金资助项目(04205407)
给出基于二元判决图BDD的无权图和有权图的符号化表示,同时给出该表示下的算法设计及实现,并以连通度算法和最短路径算法作为例子。
关键词：BDD 符号化算法 连通度 最短路径 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部