潘孝铭

作品数：17被引量：20H指数：3
导出分析报告
供职机构：华侨大学计算机科学与技术学院更多>>
发文主题：模型论形式化方法两个定理计算机教学描述语言更多>>
发文领域：自动化与计算机技术理学农业科学文化科学更多>>
发文期刊：《计算机工程与设计》《泉州师范学院学报》《科技信息》《福建电脑》更多>>
所获基金：福建省农科院青年科技人才创新基金福建省自然科学基金高层次人才科研启动基金泉州市科技计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
神经网络的压力容器评估系统设计被引量：1
《华侨大学学报（自然科学版）》2014年第5期528-532,共5页吕兵 王华珍 潘孝铭 
福建省自然科学基金资助项目(2012J01274);华侨大学高层次人才科研项目(09BS515)
为解决长周期压力容器设备安全评估的低效率、低可靠性和不能人机交互等问题,利用开源的R语言设计复杂的神经网络识别算法,并通过C#.NET设计出一套界面友好的压力容器评估系统.实验结果表明:创建的压力容器评估系统嵌入BP神经网络算法,...
关键词：压力容器 评估 人工神经网络 混合编程 
基于评价向量的P2P电子商务信任模型
《微型机与应用》2012年第10期81-84,88,共5页肖长华 潘孝铭 
国家自然科学基金资助项目(61170028)
针对现有P2P信任模型中交易因素考虑不全面、缺乏恶意节点识别机制而导致无法防御恶意节点共谋攻击和耗费网络带宽等问题,提出一种新的P2P信任模型EVTM,该模型采用向量化的方式表示评价的标准,引入时间衰减因子和惩罚机制,促使模型中交...
关键词：恶意节点 共谋攻击 P2P 电子商务 信任模型 
Email系统特征交互问题的π-演算检测被引量：1
《华侨大学学报（自然科学版）》2011年第2期175-177,共3页李文翔 潘孝铭 
福建省自然科学基金资助项目(A0810013);华侨大学科研基金资助项目(04BS313)
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
关键词：特征交互 EMAIL系统 Π-演算 μ-演算 移动工作台 
面向可视化图元控制引擎的设计与实现
《计算机工程与设计》2011年第2期757-760,共4页刘海红 潘孝铭 周聪辉 
福建省自然科学基金项目(A0810013);华侨大学科研基金项目(04BS313)
针对普通管理信息系统、图纸化管理及地理信息系统GIS的局限性,综合考虑可视化管理的直观、便捷、高效等要求,设计了一种面向可视化图元控制引擎。该引擎在借鉴GIS技术优点的基础上,实现了空间信息的直观表达及空间信息和属性信息的融...
关键词：可视化 图形元素 图层 空间运算 空间索引 
多层次语义网的改进Web服务检索技术被引量：1
《华侨大学学报（自然科学版）》2010年第5期530-533,共4页辛明海 潘孝铭 
福建省自然科学基金资助项目(A0810013);华侨大学科研基金资助项目(04BS313;06HZR29);泉州市科技计划项目(2009-0032)
利用语义Web服务中的标准OWL-S,提出多层次语义Web服务检索技术.与目前关键字或分类的查询方法相比,多层次语义Web服务检索技术具有更多的判断依据,并增加Web服务在搜寻时的准确率及可用性.模型包括服务名称分析、概念描述及输出-输出...
关键词：语义扩展检索 WEB服务 多层次 相似度 
基于Pi演算的工作控制流模式研究
《福建电脑》2008年第10期102-103,129,共3页傅琴 潘孝铭 
工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表...
关键词：工作流模式 PI演算 ECA规则 
楼宇门禁系统基于petri网的分析和设计
《科技信息》2008年第24期420-421,共2页陈丽玉 潘孝铭 
Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该...
关键词：Petri-网 共享P-型子网 合成 
集成CCS和B语言的形式化方法被引量：2
《计算机工程与科学》2007年第11期102-104,共3页匡春临 潘孝铭 蒋胜利 
华侨大学高层次人才科研启动基金资助项目
本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。
关键词：形式化方法 CCS 集成 
一种基于SOCKS5的Web安全代理技术被引量：3
《华侨大学学报（自然科学版）》2007年第3期268-271,共4页喻小光 陈维斌 潘孝铭 
福建省青年科技人才创新项目(2002J011);华侨大学科研基金资助项目(04HZR17)
综合公钥密码算法(RSA)和数据加密标准(DES)的优势,用DES方法加密待传送的Web数据,使用RSA方法对DES密钥进行加密,提出一种基于SOCKS 5的,RSA和DES相结合的Web安全代理方案.通过性能测试和安全性分析表明,使用RSA传递DES密钥可保证DES...
关键词：网络安全 代理 SOCKS5 公钥密码算法 数据加密标准 
形式化方法在软构件中的应用综述
《福建电脑》2007年第2期5-6,2,共3页林燕芬 潘孝铭 
华侨大学启动资金资助
文章着重对形式化方法在软构件中的应用做了综述,总结近年来国内外已经对该问题所进行的研究,提出或应用了哪些新方法和新技术,取得的成效,以及还存在的不足之处。
关键词：形式化方法 软构件 软件工程 构件组装 构件集成语义 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部