检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

Email系统特征交互问题的π-演算检测

华侨大学学报（自然科学版） 2011年第2期32卷 175-177页

作者：李文翔潘孝铭华侨大学计算机科学与技术学院福建泉州362021

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.

关键词：特征交互 Email系统 π-演算 μ-演算移动工作台

在线全文

学校读者我要写书评

暂无评论

面向可视化图元控制引擎的设计与实现

计算机工程与设计 2011年第2期32卷 757-760页

作者：刘海红潘孝铭周聪辉华侨大学计算机科学与技术学院福建泉州362021 泉州视通光电网络有限公司软件部福建泉州362000

针对普通管理信息系统、图纸化管理及地理信息系统GIS的局限性,综合考虑可视化管理的直观、便捷、高效等要求,设计了一种面向可视化图元控制引擎。该引擎在借鉴GIS技术优点的基础上,实现了空间信息的直观表达及空间信息和属性信息的融... 详细信息

针对普通管理信息系统、图纸化管理及地理信息系统GIS的局限性,综合考虑可视化管理的直观、便捷、高效等要求,设计了一种面向可视化图元控制引擎。该引擎在借鉴GIS技术优点的基础上,实现了空间信息的直观表达及空间信息和属性信息的融合。分析了该引擎的体系结构,阐述该引擎的主要组成模块、各模块的功能特点及相互关系,并对该引擎中涉及的空间运算、空间索引等关键技术进行研究。最后结合广电机房管理的应用实例,表明了面向可视化图元控制引擎的有效性、灵活性和可扩展性。

关键词：可视化图形元素图层空间运算空间索引

在线全文

学校读者我要写书评

暂无评论

模态逻辑两个定理的基于向前向后方法的证明

北京工商大学学报（自然科学版） 2002年第4期20卷 62-64页

作者：潘孝铭华侨大学计算机科学系福建泉州362011

向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .

关键词：模态逻辑向前向后方法模态内插定理 VanBenthem定理模态等价公式

NUTAS系统——一个植物数量分类研究的自动生成系统

在线全文

学校读者我要写书评

暂无评论

NUTAS系统——一个植物数量分类研究的自动生成系统

第二届全国生物多样性保护与持续利用研讨会

作者：潘孝铭中国科学院植物研究所

NUTAS是一种数量分类研究的自动生成系统。在它的几个子系统中,本文主要介绍了文本分析与转换系统,并用具体例子说明了该系统的特色和用法。

关键词：性状编码数量分类数据库

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

向前向后法证明一阶逻辑的几个定理

华侨大学学报（自然科学版） 2004年第2期25卷 203-205页

作者：潘孝铭华侨大学信息科学与工程学院福建泉州362011

向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几... 详细信息

向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几个定理 ,给出一种简洁的证明 .

关键词：向前向后法一阶逻辑模型论内插定理保持定理

在线全文

学校读者我要写书评

暂无评论

神经网络的压力容器评估系统设计

华侨大学学报（自然科学版） 2014年第5期35卷 528-532页

作者：吕兵王华珍潘孝铭华侨大学计算机科学与技术学院福建厦门361021

为解决长周期压力容器设备安全评估的低效率、低可靠性和不能人机交互等问题,利用开源的R语言设计复杂的神经网络识别算法,并通过C#.NET设计出一套界面友好的压力容器评估系统.实验结果表明:创建的压力容器评估系统嵌入BP神经网络算法,... 详细信息

为解决长周期压力容器设备安全评估的低效率、低可靠性和不能人机交互等问题,利用开源的R语言设计复杂的神经网络识别算法,并通过C#.NET设计出一套界面友好的压力容器评估系统.实验结果表明:创建的压力容器评估系统嵌入BP神经网络算法,能精确刻画压力容器参数与状态之间的复杂非线性关系,评估准确率高;同时,软件系统实现了评估过程的交互性和自动化,具有良好的用户体验和很强的实践性.

关键词：压力容器评估人工神经网络混合编程

在线全文

学校读者我要写书评

暂无评论

基于评价向量的P2P电子商务信任模型

微型机与应用 2012年第10期31卷 81-84,88页

作者：肖长华潘孝铭华侨大学计算机科学与技术学院福建厦门361021

针对现有P2P信任模型中交易因素考虑不全面、缺乏恶意节点识别机制而导致无法防御恶意节点共谋攻击和耗费网络带宽等问题,提出一种新的P2P信任模型EVTM,该模型采用向量化的方式表示评价的标准,引入时间衰减因子和惩罚机制,促使模型中交... 详细信息

针对现有P2P信任模型中交易因素考虑不全面、缺乏恶意节点识别机制而导致无法防御恶意节点共谋攻击和耗费网络带宽等问题,提出一种新的P2P信任模型EVTM,该模型采用向量化的方式表示评价的标准,引入时间衰减因子和惩罚机制,促使模型中交易节点积极地、正确地评价,从而构造一个诚信、可靠的交易环境。仿真实验进一步证明EVTM不仅可以根据用户的不同需求对交易对象做出更合理的信任评估,而且能有效地避免恶意节点的共谋攻击,从而降低交易的风险,减少损失。

关键词：恶意节点共谋攻击 P2P 电子商务信任模型

在线全文

学校读者我要写书评

暂无评论

一种基于SOCKS5的Web安全代理技术

华侨大学学报（自然科学版） 2007年第3期28卷 268-271页

作者：喻小光陈维斌潘孝铭华侨大学信息科学与工程学院福建泉州362021

综合公钥密码算法(RSA)和数据加密标准(DES)的优势,用DES方法加密待传送的Web数据,使用RSA方法对DES密钥进行加密,提出一种基于SOCKS 5的,RSA和DES相结合的Web安全代理方案.通过性能测试和安全性分析表明,使用RSA传递DES密钥可保证DES... 详细信息

综合公钥密码算法(RSA)和数据加密标准(DES)的优势,用DES方法加密待传送的Web数据,使用RSA方法对DES密钥进行加密,提出一种基于SOCKS 5的,RSA和DES相结合的Web安全代理方案.通过性能测试和安全性分析表明,使用RSA传递DES密钥可保证DES每次加密都使用新的密钥,杜绝黑客通过分析明文/密文获得密钥,从而能防御网络数据包被恶意截取后造成泄密,安全代理既保证Web数据的加密速度,又保证DES密钥的安全性和可管理性.

关键词：网络安全代理 SOCKS5 公钥密码算法数据加密标准

在线全文

学校读者我要写书评

暂无评论

图论中的两个定理基于模型论方法的证明

宁德师专学报（自然科学版） 2003年第4期15卷 337-338,352页

作者：潘孝铭辛明海华侨大学软件工程系福建泉州362011

四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明.

关键词：图象定理同构嵌入模型