分支系统学软件PHYLIP系统及其使用 被引量：6

1

作者 肖中新 潘孝铭 《安徽农业大学学报》 CAS CSCD 北大核心 2001年第4期438-444,共7页

PHYLIP是一个系统发育推断软件。PHYLIP软件由 30个程序组成 ,针对不同的数据 ,采用不同的程序。本文对 PHYLIP软件的输入与输出文件的格式、输入文件的选项、应答选项、建树的策略都作了详细论述。为便于理解 ,文中给出了丰富的例子阐述

关键词 PHYLIP软件 分支系统学 系统发育系统学 使用 系统发育推断软件

下载PDF 职称材料

用于计算机教学的远程控制工具的设计和实现 被引量：5

2

作者 谢志鹏 潘孝铭 《微机发展》 2003年第9期101-104,共4页

介绍一个适用于计算机教学辅导的远程控制工具的设计要点,包括:客户和服务器的通讯机制;低速率互连网环境下实时屏幕图像监视的解决方案;鼠标键盘的远程遥控;远程进程和文件管理。该工具在拨号上网的低速互联网环境下可以监视并遥控远... 介绍一个适用于计算机教学辅导的远程控制工具的设计要点,包括:客户和服务器的通讯机制;低速率互连网环境下实时屏幕图像监视的解决方案;鼠标键盘的远程遥控;远程进程和文件管理。该工具在拨号上网的低速互联网环境下可以监视并遥控远程计算机的动作,从而实现远程计算机教学的在线实时辅导。 展开更多

关键词 计算机教学 远程控制工具 设计 远程教学

下载PDF 职称材料

软件构件技术研究 被引量：5

3

作者 陈海林 潘孝铭 《福建电脑》 2006年第8期37-38,共2页

软件构件技术是支持软件复用的核心技术,是近几年来迅速发展并受到高度重视的一个学科分支。软件构件技术主要研究内容包括:构件模型,构件描述语言,构件分类与检索和构件组装。

关键词 软件复用 软件构件技术 模型 描述语言 分类与检索 组装

下载PDF 职称材料

形式化方法在软构件中的应用综述

4

作者 林燕芬 潘孝铭 《福建电脑》 2007年第2期5-6,2,共3页

文章着重对形式化方法在软构件中的应用做了综述,总结近年来国内外已经对该问题所进行的研究,提出或应用了哪些新方法和新技术,取得的成效,以及还存在的不足之处。

关键词 形式化方法 软构件 软件工程 构件组装 构件集成语义

下载PDF 职称材料

一种基于SOCKS5的Web安全代理技术 被引量：3

5

作者 喻小光 陈维斌 潘孝铭 《华侨大学学报（自然科学版）》 CAS 北大核心 2007年第3期268-271,共4页

综合公钥密码算法(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 公钥密码算法 数据加密标准

下载PDF 职称材料

集成CCS和B语言的形式化方法 被引量：2

6

作者 匡春临 潘孝铭 蒋胜利 《计算机工程与科学》 CSCD 2007年第11期102-104,共3页

本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。

关键词 形式化方法 CCS 集成

下载PDF 职称材料

四色定理和Ramsey定理基于模型论的证明 被引量：1

7

作者 潘孝铭 辛明海 《泉州师范学院学报》 2003年第6期17-19,共3页

四色定理和Ramsey定理是图论中重要的定理,文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明.

关键词 四色定理 Ramsey定理 模型论 证明 图象定理 同构嵌入

下载PDF 职称材料

Email系统特征交互问题的π-演算检测 被引量：1

8

作者 李文翔 潘孝铭 《华侨大学学报（自然科学版）》 CAS 北大核心 2011年第2期175-177,共3页

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

关键词 特征交互 EMAIL系统 Π-演算 μ-演算 移动工作台

下载PDF 职称材料

模态逻辑两个定理的基于向前向后方法的证明 被引量：1

9

作者 潘孝铭 《北京工商大学学报（自然科学版）》 CAS 2002年第4期62-64,共3页

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

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

下载PDF 职称材料

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

10

作者 潘孝铭 辛明海 《宁德师专学报（自然科学版）》 2003年第4期337-338,352,共3页

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

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

下载PDF 职称材料

神经网络的压力容器评估系统设计 被引量：1

11

作者 吕兵 王华珍 潘孝铭 《华侨大学学报（自然科学版）》 CAS 北大核心 2014年第5期528-532,共5页

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

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

下载PDF 职称材料

多层次语义网的改进Web服务检索技术 被引量：1

12

作者 辛明海 潘孝铭 《华侨大学学报（自然科学版）》 CAS 北大核心 2010年第5期530-533,共4页

利用语义Web服务中的标准OWL-S,提出多层次语义Web服务检索技术.与目前关键字或分类的查询方法相比,多层次语义Web服务检索技术具有更多的判断依据,并增加Web服务在搜寻时的准确率及可用性.模型包括服务名称分析、概念描述及输出-输出... 利用语义Web服务中的标准OWL-S,提出多层次语义Web服务检索技术.与目前关键字或分类的查询方法相比,多层次语义Web服务检索技术具有更多的判断依据,并增加Web服务在搜寻时的准确率及可用性.模型包括服务名称分析、概念描述及输出-输出参数相似性分析、服务质量分析3个阶段.实验结果表明,与传统的基于关键字的检索方式相比,采用多层次语义扩展检索的查准率平均值上升0.25,查全率平均值上升0.24,但执行效率降低3.2%. 展开更多

关键词 语义扩展检索 WEB服务 多层次 相似度

下载PDF 职称材料

楼宇门禁系统基于petri网的分析和设计

13

作者 陈丽玉 潘孝铭 《科技信息》 2008年第24期420-421,共2页

Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该... Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。 展开更多

关键词 Petri-网 共享P-型子网 合成

下载PDF 职称材料

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

14

作者 潘孝铭 《华侨大学学报（自然科学版）》 CAS 2004年第2期203-205,共3页

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

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

下载PDF 职称材料

一种数据库记录集导入Office文档的方法

15

作者 谢志鹏 潘孝铭 《信息技术》 2005年第8期96-98,共3页

通过程序实例介绍如何利用Delphi的Server组件集将数据库中的记录集导出到Word,Excel与Powerpoint文档中,从而实现信息管理系统的办公自动化模块。

关键词 数据库 办公自动化 Server组件集

下载PDF 职称材料

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

16

作者 刘海红 潘孝铭 周聪辉 《计算机工程与设计》 CSCD 北大核心 2011年第2期757-760,共4页

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

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

下载PDF 职称材料

基于Pi演算的工作控制流模式研究

17

作者 傅琴 潘孝铭 《福建电脑》 2008年第10期102-103,129,共3页

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表... 工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表明,该语言不仅能很好地支持工作流模式,而且具有建模简洁、准确的特点。 展开更多

关键词 工作流模式 PI演算 ECA规则

下载PDF 职称材料

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

18

作者 肖长华 潘孝铭 《微型机与应用》 2012年第10期81-84,88,共5页

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

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

下载PDF 职称材料

机智的反驳——《墨经》论自我相关

19

作者 潘孝铭 《思维与智慧（上半月）》 1992年第2期29-30,共2页

自我相关指的是一个陈述涉及自身,描述本身的性质,实现自我相关的最一般方法是奎因方法,它通过描述句子的一部分来实现,而被描述的部分与句子本身又是同构的。在《墨经》中有几条论及自我相关: 以言为尽悖,悖,说在其言。(《经下》)悖,... 自我相关指的是一个陈述涉及自身,描述本身的性质,实现自我相关的最一般方法是奎因方法,它通过描述句子的一部分来实现,而被描述的部分与句子本身又是同构的。在《墨经》中有几条论及自我相关: 以言为尽悖,悖,说在其言。(《经下》)悖,不可也,之人之言可,是不悖,则是有可也,之人之言不可,以当必不当。(《经说下》) 学之益也,说在诽者,(《经下》)以为不知学之无益也,故告之也,是使知学之无益也,是教也,以学为无益也教,悖,(《经说下》) 展开更多

关键词 墨经 相关命题 实现自我 反驳 句子 无益 一般方法 性质 批评 描述

原文传递