搜索筛选:
搜索耗时0.0426秒,为你在为你在33,132,000篇论文里面共找到 15 篇相符的论文内容
发布年度:
[期刊论文] 作者：潘孝铭,
来源：华侨大学学报：自然科学版 年份：2004
向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型论中对这些的证明较为繁难．文中使用向前向后......
[期刊论文] 作者：潘孝铭,
来源：北京工商大学学报：自然科学版 年份：2002
向前向后方法是模型论及其应用研究中的一个新的工具.本文使用向前向后方法,对模态逻辑的两个定理构造了一种简单的证明....
[期刊论文] 作者：肖中新, 潘孝铭,,
来源：安徽农业大学学报 年份：2001
PHYLIP是一个系统发育推断软件。PHYLIP软件由 30个程序组成 ,针对不同的数据 ,采用不同的程序。本文对 PHYLIP软件的输入与输出文件的格式、输入文件的选项、应答选项、建树...
[期刊论文] 作者：傅琴,潘孝铭,
来源：福建电脑 年份：2008
工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础，对当前流行的......
[期刊论文] 作者：潘孝铭, 辛明海,,
来源：宁德师专学报(自然科学版) 年份：2003
四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明....
[期刊论文] 作者：潘孝铭, 辛明海,,
来源：泉州师范学院学报 年份：2003
四色定理和Ramsey定理是图论中重要的定理,文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明....
[期刊论文] 作者：谢志鹏,潘孝铭,
来源：信息技术 年份：2005
通过程序实例介绍如何利用Delphi的Server组件集将数据库中的记录集导出到Word,Excel与Powerpoint文档中,从而实现信息管理系统的办公自动化模块....
[期刊论文] 作者：陈丽玉,潘孝铭,
来源：科技信息 年份：2008
Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的...
[期刊论文] 作者：肖长华,潘孝铭,
来源：微型机与应用 年份：2012
针对现有P2P信任模型中交易因素考虑不全面、缺乏恶意节点识别机制而导致无法防御恶意节点共谋攻击和耗费网络带宽等问题,提出一种新的P2P信任模型EVTM,该模型采用向量化的方...
[期刊论文] 作者：林燕芬,潘孝铭,
来源：福建电脑 年份：2007
文章着重对形式化方法在软构件中的应用做了综述，总结近年来国内外已经对该问题所进行的研究，提出或应用了哪些新方法和新技术．取得的成效，以及还存在的不足之处。...
[期刊论文] 作者：辛明海,潘孝铭,
来源：华侨大学学报：自然科学版 年份：2010
利用语义Web服务中的标准OWL-S,提出多层次语义Web服务检索技术.与目前关键字或分类的查询方法相比,多层次语义Web服务检索技术具有更多的判断依据,并增加Web服务在搜寻时的...
[期刊论文] 作者：李文翔,潘孝铭,,
来源：华侨大学学报(自然科学版) 年份：2011
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验...
[期刊论文] 作者：吕兵,王华珍,潘孝铭,,
来源：华侨大学学报(自然科学版) 年份：2014
为解决长周期压力容器设备安全评估的低效率、低可靠性和不能人机交互等问题,利用开源的R语言设计复杂的神经网络识别算法,并通过C#.NET设计出一套界面友好的压力容器评估系...
[期刊论文] 作者：刘海红, 潘孝铭, 周聪辉,,
来源：计算机工程与设计 年份：2011
针对普通管理信息系统、图纸化管理及地理信息系统GIS的局限性，综合考虑可视化管理的直观、便捷、高效等要求，设计了一种面向可视化图元控制引擎。该引擎在借鉴GIS技术优点的基......
[期刊论文] 作者：匡春临,潘孝铭,蒋胜利,
来源：计算机工程与科学 年份：2007
本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、......
相关搜索：
