张玉平
- 作品数：11 被引量：14H指数：2
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 描述认识进程的抽象逻辑被引量：1
- 1996年
- 定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于描述认识进程.理论的核心是一种形式化的导出关系,可以证明:经典逻辑,直觉主义逻辑的推出关系,模型论弱力迫关系,非单调推理中的语句与论域限定理论的关系都是该形式化导出关系的具体实例,可以用来构造具体的抽象逻辑,也可以用于描述认识进程,还明确了不同抽象逻辑间的差异主要表现在所对应的特征规则的差别上.
- 李未张玉平
- 关键词：逻辑模型论
- ATMS的模型论基础被引量：1
- 1996年
- 本文将每个ＡＴＭＳＫ转化为一阶语言Ｌｘ的模型ＭＫ，模型ＭＫ是语言ＬＫ的一阶理论ＴＫ的模型．应用非单调推理理论中的谓词限定的技巧，可以构造出ＬＫ的理论ＴＫＰＣ，使得ＭＫ是ＴＫＰＣ的唯一模型．同时，语言ＬＫ还包含关系符号ξ，使得对每个ｎ，｛Ｅ｜ＭＫ｜＝ｎξＥ｝是ｎ相对于ＡＴＭＳＫ的标号．
- 张玉平怀进鹏
- 关键词：模型论ATMS
- 搜索算法的逻辑分析被引量：3
- 1999年
- 搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定．这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性．
- 张玉平
- 关键词：搜索算法一阶逻辑逻辑分析人工智能
- 贝尔多项式方法在6阶KdV方程的应用被引量：2
- 2018年
- 对高阶非线性方程的可积性研究仍是一大难点。通过贝尔多项式方法对6阶Kd V方程进行可积性研究和求解。首先通过构造贝尔多项式的几种组合,推导出带有辅助自变量的双线性形式,进而求得该方程的N孤子解。基于贝尔多项式形式的双线性形式,通过符号计算,得到方程的Bcklund变换,Lax对和无穷守恒律。
- 余兰张玉平魏光美
- 关键词：孤子解BACKLUND变换守恒律
- 基于反应式移动代理的主动网络故障检测被引量：2
- 2003年
- 任何网络都有可能出现故障 ,能否及时发现故障 ,是提高网络可靠性的关键 .集中式的网络故障管理模式是一种被动的模式 ,任何故障的检测都依赖网络管理站 ;相反 ,主动网络故障检测充分利用被管节点的本地处理能力 ,利用反应式移动代理主动探测本地网络中的故障信息 ,实现网络故障的现场检测 .执行环境是主动网络故障检测系统的重要组成部分 ,为反应式移动代理的编制、管理、运行和迁移提供支持 。
- 王勇黄瑶张玉平
- 关键词：网络管理故障检测执行环境
- 可定义的推导关系被引量：1
- 1998年
- 证明了有限多扩充性质蕴涵布尔可表达性质 ,当每个集合都没有多扩充时 ,推导关系也是Boole可表达的 .缺省推理中的定义方式可以推广为更广泛的定义模式 ,此模式所定义的推导关系仍然具有上述性质 .应用模型论中关于可定义性、无原子Boole代数等技术证明上述结论 .
- 张玉平
- 关键词：谓词逻辑缺省推理模型论BOOLE代数
- 基于极限理论的ATMS研究
- 1995年
- 本文首先基于极限理论给出了ＡＴＭＳ标号的一种计算方法，并讨论了这种方法计算的标号与ｄｅＫｌｅｅｒ的ＡＴＭＳ标号是一致的；然后将命题逻辑意义下的ＡＴＭＳ模态化，从而用可能世界的方法刻画出ＡＴＭＳ的环境类．
- 怀进鹏张玉平
- 关键词：命题逻辑ATMS人工智能非单调推理
- 基于反应式移动代理的主动网络故障检测
- 任何网络都有可能出现故障,能否及时发现故障,是提高网络可靠性的关键.集中式的网络故障管理模式是一种被动的模式,任何故障的检测都依赖网络管理站;相反,主动网络故障检测充分利用被管节点的本地处理能力,利用反应式移动代理主动探...
- 王勇黄瑶张玉平
- 关键词：网络管理故障检测执行环境
- 文献传递
- 计算机科学中的一些逻辑理论的推理性质研究被引量：3
- 1999年
- 由于一阶谓词逻辑的基本特征是具有可靠性、完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义一些具有可靠性、完全性的逻辑，对此，在分析逻辑理论特征的基础上，给出一些逻辑的推理系统之间相似性的实质，证明这些逻辑在实质上并不能扩充一阶谓词逻辑的推理能力，并指出非单调推理中的缺省推理及限定推理所采用的技术是扩充时必需的．
- 张玉平
- 关键词：计算机科学逻辑理论模型论
- 维护的证明论系统被引量：1
- 1995年
- 给定一阶语言及该语言的一个理论，假设需要在理论中添加一个与理论不和谐的语句，并要求保持理论的扩张是和谐的，就必须删除理论内的某些语句．删除理论中尽可能少的语句，即保留理论与需要添加语句和谐的一个极大子集，是构造理论扩张的一种方法．本文构造出了针对上述理论扩张的证明论．该证明论的可靠性及完全性刻划了一般形式的理论扩张与典型的理论扩张间的联系．对于命题逻辑，本文还给出了判定理论扩张的一种方法．
- 张玉平李未
- 关键词：命题逻辑计算机
