张玉平

作品数：10被引量：8H指数：2
导出分析报告
供职机构：北京航空航天大学计算机学院更多>>
发文主题：模型论人工智能故障检测网络管理主动网络更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《北京信息科技大学学报（自然科学版）》《软件学报》《华中科技大学学报（自然科学版）》《计算机学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
贝尔多项式方法在6阶KdV方程的应用被引量：2
《北京信息科技大学学报（自然科学版）》2018年第2期16-19,共4页余兰 张玉平 魏光美 
国家自然科学基金项目(61471406;11401031)
对高阶非线性方程的可积性研究仍是一大难点。通过贝尔多项式方法对6阶Kd V方程进行可积性研究和求解。首先通过构造贝尔多项式的几种组合,推导出带有辅助自变量的双线性形式,进而求得该方程的N孤子解。基于贝尔多项式形式的双线性形式...
关键词：6阶KdV方程 贝尔多项式方法 孤子解 BACKLUND变换 符号计算 守恒律 
基于反应式移动代理的主动网络故障检测被引量：1
《华中科技大学学报（自然科学版）》2003年第S1期265-267,共3页王勇 黄瑶 张玉平 
973基金资助项目 (G19990 32 70 9)
任何网络都有可能出现故障 ,能否及时发现故障 ,是提高网络可靠性的关键 .集中式的网络故障管理模式是一种被动的模式 ,任何故障的检测都依赖网络管理站 ;相反 ,主动网络故障检测充分利用被管节点的本地处理能力 ,利用反应式移动代理主...
关键词：网络管理 故障检测 反应式移动代理 执行环境 
计算机科学中的一些逻辑理论的推理性质研究被引量：2
《计算机学报》1999年第6期571-576,共6页张玉平 
国家自然科学基金
由于一阶谓词逻辑的基本特征是具有可靠性、完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义一些具有可靠性、完全性的逻辑，对此，在分析逻辑理论特征的基础上，给出一些逻辑的推理系统之间相似性的实质，证明这些逻...
关键词：计算机科学 逻辑理论 推理性质 模型论 
搜索算法的逻辑分析被引量：1
《软件学报》1999年第2期175-180,共6页张玉平 
国家自然科学基金;航空高等院校自选科研课题
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定．这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性．
关键词：搜索算法 一阶逻辑 逻辑分析 人工智能 
可定义的推导关系
《中国科学（E辑）》1998年第5期439-445,共7页张玉平 
国家自然科学基金资助项目 !(批准号 :6 94330 30 )
证明了有限多扩充性质蕴涵布尔可表达性质 ,当每个集合都没有多扩充时 ,推导关系也是Boole可表达的 .缺省推理中的定义方式可以推广为更广泛的定义模式 ,此模式所定义的推导关系仍然具有上述性质 .应用模型论中关于可定义性、无原子Bool...
关键词：谓词逻辑 缺省推理 模型论 可定义性 BOOLE代数 
Horn型推导关系
《中国科学（E辑）》1998年第2期153-159,共7页张玉平 
国家自然科学基金资助项目 !(批准号 :6 94330 30 )
逻辑中的推导关系等同于公式之间的二元关系 ,刻画它所采用的证明规则等同于对这个二元关系所满足的条件的限制 .根据Gentzen证明论定义推导关系的方式定义一类推导关系 ,即Horn型推导关系 .应用模型论技巧 ,证明了这种推导关系并不能...
关键词：模型论 非单调逻辑 Horn型推导关系 
ATMS的模型论基础
《计算机学报》1996年第9期668-672,共5页张玉平 怀进鹏 
航空高等院校自选科研课题基金;国家自然科学基金
本文将每个ＡＴＭＳＫ转化为一阶语言Ｌｘ的模型ＭＫ，模型ＭＫ是语言ＬＫ的一阶理论ＴＫ的模型．应用非单调推理理论中的谓词限定的技巧，可以构造出ＬＫ的理论ＴＫＰＣ，使得ＭＫ是ＴＫＰＣ的唯一模型．同时，语言ＬＫ还包含关系符号...
关键词：一阶语言 模型论 ATMS 
描述认识进程的抽象逻辑被引量：1
《中国科学（E辑）》1996年第2期167-178,共12页李未 张玉平 
国家"八六三’计划;国家自然科学基金资助项目
定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于描述认识进程.理论的核心是一种形式化的导出关系,可以证明:经典逻辑,直觉主义逻辑的推出关系,模型论弱力...
关键词：逻辑 模型论 认识进程 抽象逻辑 
基于极限理论的ATMS研究
《计算机学报》1995年第9期657-664,共8页怀进鹏 张玉平 
国家自然科学基金;国家863高技术基金
本文首先基于极限理论给出了ＡＴＭＳ标号的一种计算方法，并讨论了这种方法计算的标号与ｄｅＫｌｅｅｒ的ＡＴＭＳ标号是一致的；然后将命题逻辑意义下的ＡＴＭＳ模态化，从而用可能世界的方法刻画出ＡＴＭＳ的环境类．
关键词：命题逻辑 ATMS 极限理论 人工智能 非单调推理 
维护的证明论系统被引量：1
《软件学报》1995年第9期513-524,共12页张玉平 李未 
863高技术;国家自然科学基金
给定一阶语言及该语言的一个理论，假设需要在理论中添加一个与理论不和谐的语句，并要求保持理论的扩张是和谐的，就必须删除理论内的某些语句．删除理论中尽可能少的语句，即保留理论与需要添加语句和谐的一个极大子集，是构造理论扩...
关键词：证明论系统 维护 命题逻辑 计算机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部