潘孝铭
作品数： 17被引量：27H指数：3
  • 所属机构:华侨大学计算机科学与技术学院
  • 所在地区:福建省 泉州市
  • 研究方向:自动化与计算机技术
  • 发文基金:福建省农科院青年科技人才创新基金

相关作者

辛明海
作品数：12被引量：26H指数：2
供职机构：华侨大学
研究主题：表情识别 模型论 人脸识别 表情 空时
谢志鹏
作品数：25被引量：263H指数：9
供职机构：华侨大学计算机科学与技术学院
研究主题：压缩感知 多线程 程序设计 客户 动态链接库
肖长华
作品数：2被引量：0H指数：0
供职机构：华侨大学计算机科学与技术学院
研究主题：P2P电子商务信任模型 信任模型 电子商务 P2P网络 P2P
陈丽玉
作品数：1被引量：0H指数：0
供职机构：华侨大学信息科学与工程学院
研究主题：PETRI PETRI网
喻小光
作品数：39被引量：105H指数：6
供职机构：华侨大学
研究主题：城际 订单 互联网 项目调度 车辆路径
作品列表
图论中的两个定理基于模型论方法的证明被引量：1
2003年
四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明.
潘孝铭辛明海
四色定理和Ramsey定理基于模型论的证明被引量：2
2003年
四色定理和Ramsey定理是图论中重要的定理,文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明.
潘孝铭辛明海
关键词：四色定理模型论
形式化方法在软构件中的应用综述被引量：3
2007年
文章着重对形式化方法在软构件中的应用做了综述,总结近年来国内外已经对该问题所进行的研究,提出或应用了哪些新方法和新技术,取得的成效,以及还存在的不足之处。
林燕芬潘孝铭
关键词：形式化方法软构件软件工程
Email系统特征交互问题的π-演算检测被引量：1
2011年
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
李文翔潘孝铭
关键词：特征交互EMAIL系统Π-演算移动工作台
模态逻辑两个定理的基于向前向后方法的证明被引量：1
2002年
向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .
潘孝铭
关键词：模态逻辑
楼宇门禁系统基于petri网的分析和设计
2008年
Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。
陈丽玉潘孝铭
向前向后法证明一阶逻辑的几个定理
2004年
向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几个定理 ,给出一种简洁的证明 .
潘孝铭
关键词：一阶逻辑模型论内插定理
一种数据库记录集导入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公钥密码算法数据加密标准
软件构件技术研究被引量：6
2006年
软件构件技术是支持软件复用的核心技术,是近几年来迅速发展并受到高度重视的一个学科分支。软件构件技术主要研究内容包括:构件模型,构件描述语言,构件分类与检索和构件组装。
陈海林潘孝铭
关键词：软件复用软件构件技术描述语言
加载更多 ∨