福建省农科院青年科技人才创新基金(2002J011)
- 作品数：5 被引量：11H指数：2
- 相关作者：潘孝铭陈维斌喻小光辛明海陈荣鑫更多>>
- 相关机构：华侨大学更多>>
- 发文基金：福建省农科院青年科技人才创新基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 图论中的两个定理基于模型论方法的证明被引量：1
- 2003年
- 四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明.
- 潘孝铭辛明海
- 四色定理和Ramsey定理基于模型论的证明被引量：2
- 2003年
- 四色定理和Ramsey定理是图论中重要的定理,文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明.
- 潘孝铭辛明海
- 关键词：四色定理模型论
- 向前向后法证明一阶逻辑的几个定理
- 2004年
- 向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几个定理 ,给出一种简洁的证明 .
- 潘孝铭
- 关键词：一阶逻辑模型论内插定理
- 一种数据规约的近似挖掘方法的实现被引量：6
- 2008年
- 讨论基于数据规约的近似挖掘技术,在数据预处理阶段对海量数据集进行数据规约.近似数据挖掘的工作流程包括任务定义、数据准备与预处理、数据挖掘建模、结果的解释与评估、模型发布与应用5个阶段.同时,提出使用属性选择和实例选择方法实现近似挖掘的方案,并对该方案进行挖掘效率和结果模型准确性的分析评估.该方案能满足对企业级大数据集进行高效挖掘的需要.
- 喻小光陈维斌陈荣鑫
- 关键词：数据规约
- 一种基于SOCKS5的Web安全代理技术被引量：3
- 2007年
- 综合公钥密码算法(RSA)和数据加密标准(DES)的优势,用DES方法加密待传送的Web数据,使用RSA方法对DES密钥进行加密,提出一种基于SOCKS 5的,RSA和DES相结合的Web安全代理方案.通过性能测试和安全性分析表明,使用RSA传递DES密钥可保证DES每次加密都使用新的密钥,杜绝黑客通过分析明文/密文获得密钥,从而能防御网络数据包被恶意截取后造成泄密,安全代理既保证Web数据的加密速度,又保证DES密钥的安全性和可管理性.
- 喻小光陈维斌潘孝铭
- 关键词：代理SOCKS5公钥密码算法数据加密标准
