潘孝铭
- 作品数：17 被引量：27H指数：3
- 供职机构：华侨大学计算机科学与技术学院更多>>
- 发文基金：福建省农科院青年科技人才创新基金福建省自然科学基金高层次人才科研启动基金更多>>
- 相关领域：自动化与计算机技术理学农业科学文化科学更多>>
- 图论中的两个定理基于模型论方法的证明被引量：1
- 2003年
- 四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明.
- 潘孝铭辛明海
- 四色定理和Ramsey定理基于模型论的证明被引量：2
- 2003年
- 四色定理和Ramsey定理是图论中重要的定理,文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明.
- 潘孝铭辛明海
- 关键词：四色定理模型论
- 一种数据库记录集导入Office文档的方法
- 2005年
- 通过程序实例介绍如何利用Delphi的Server组件集将数据库中的记录集导出到Word,Excel与Powerpoint文档中,从而实现信息管理系统的办公自动化模块。
- 谢志鹏潘孝铭
- 关键词：数据库办公自动化
- 一种基于SOCKS5的Web安全代理技术被引量：3
- 2007年
- 综合公钥密码算法(RSA)和数据加密标准(DES)的优势,用DES方法加密待传送的Web数据,使用RSA方法对DES密钥进行加密,提出一种基于SOCKS 5的,RSA和DES相结合的Web安全代理方案.通过性能测试和安全性分析表明,使用RSA传递DES密钥可保证DES每次加密都使用新的密钥,杜绝黑客通过分析明文/密文获得密钥,从而能防御网络数据包被恶意截取后造成泄密,安全代理既保证Web数据的加密速度,又保证DES密钥的安全性和可管理性.
- 喻小光陈维斌潘孝铭
- 关键词：代理SOCKS5公钥密码算法数据加密标准
- Email系统特征交互问题的π-演算检测被引量：1
- 2011年
- 采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
- 李文翔潘孝铭
- 关键词：特征交互EMAIL系统Π-演算移动工作台
- 模态逻辑两个定理的基于向前向后方法的证明被引量：1
- 2002年
- 向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .
- 潘孝铭
- 关键词：模态逻辑
- 形式化方法在软构件中的应用综述被引量：3
- 2007年
- 文章着重对形式化方法在软构件中的应用做了综述,总结近年来国内外已经对该问题所进行的研究,提出或应用了哪些新方法和新技术,取得的成效,以及还存在的不足之处。
- 林燕芬潘孝铭
- 关键词：形式化方法软构件软件工程
- 楼宇门禁系统基于petri网的分析和设计
- 2008年
- Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。
- 陈丽玉潘孝铭
- 向前向后法证明一阶逻辑的几个定理
- 2004年
- 向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几个定理 ,给出一种简洁的证明 .
- 潘孝铭
- 关键词：一阶逻辑模型论内插定理
- 集成CCS和B语言的形式化方法被引量：3
- 2007年
- 本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。
- 匡春临潘孝铭蒋胜利
- 关键词：形式化方法CCS
