位置：成果数据库 > 期刊 > 期刊详情页
可量词消去的树形偏序理论的分类
  • ISSN号：0583-1431
  • 期刊名称：《数学学报》
  • 时间：0
  • 分类：O153.1[理学—数学;理学—基础数学]
  • 作者机构：[1]北京工商大学理学院, [2]北京师范大学信息科学与技术学院
  • 相关基金：国家自然科学基金资助项目(61304155,11101012,11401015);北京工商大学青年教师科研启动基金(QNJJ2014-27)
作者： 傅莺莺[1], 沈复兴[2]
关键词： 偏序, 量词消去, 序模式, 树结构
中文摘要：

提出了偏序的全序片段、序模式的概念以刻画树形偏序的结构特征,以此为基础,讨论了有最小元0的树形偏序理论的量词消去性质,给出了在语言（?）0={【,0}及其膨胀语言下可以量词消去的这类理论的完全分类。

同期刊论文项目
扭曲网格上具有强各向异性系数扩散方程保极值原理的有限元方法研究
期刊论文 2
CBIR中的高层语义特征提取和多特征的因素空间分析方法
期刊论文 5 会议论文 3
随机多智能体系统的一致性及优化控制
期刊论文 9
同项目期刊论文
三阶乘积幻方的构造
基于目标提取与NSCT的图像融合技术研究
有理真分式部分分式分解的证明及系数公式
可量词消去的带根节点的树理论
具有马尔可夫切换的不确定离散多智能体系统的鲁棒最优一致性
有理真分式部分分式分解的证明及系数公式
Mlinex损失函数下广义指数分布形状参数的Bayes估计
持续干扰下马尔科夫切换多智能体系统的均方一致性
基于混合Copula和ARMA-GARCH-t模型的股票指数风险度量研究
Finite-time Rotating Encirclement Control of Multi-agent Systems
可量词消去的带根节点的树理论
A New Family of Exponential Slash Distributions with Elliptical Contours
可量词消去的带根节点的树理论
期刊信息
  • 《数学学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院数学与系统科学研究院数学研究院
  • 主编：李炳仁
  • 地址：北京市海淀区中关村东路55号
  • 邮编：100080
  • 邮箱：Actamath@amss.ac.cn
  • 电话：010-62551910
  • 国际标准刊号：ISSN：0583-1431
  • 国内统一刊号：ISSN：11-2038/O1
  • 邮发代号:2-502
  • 获奖情况:
  • 1996年中科院优秀科技期刊二等奖,1997年全国优秀科技期刊二等奖,2000年中科院优秀科技期刊二等奖
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9981