共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
在以前的一些工作中,作者已经证明语言(?)={+,0,e)上素数阶群的理论T有量词消去性质并研究了它的判定问题的复杂性.本文在此基础上将利用T的判定问题的复杂性结果给出理论T的量词消去的一个算法,同时给出该算法的复杂性上界. 相似文献
3.
本文中我们将研究语言,上素数阶群理论T的量词消去及相应的复杂性.我们证明理论T有量词消去性质,并利用该性质给出理论T判定问题的一个复杂性上界. 相似文献
4.
5.
完全二叉树模型中元素的CB秩 总被引:4,自引:2,他引:2
本文以完全二叉树理论的可量词消去为基础,介绍了该理论的可数原子模型 及饱和模型,并计算了一元、二元完全型的CB秩,从而给出了CB秩在该理论中的 几何解释. 相似文献
6.
本文以完全二叉树理论的可量词消去为基础,介绍了该理论的可数原子模型 及饱和模型,并计算了一元、二元完全型的CB秩,从而给出了CB秩在该理论中的 几何解释. 相似文献
7.
《中国科学:数学》2016,(9)
Dunstan等在1972年首先提出了超拟阵的概念,用以将定义拟阵的承载集合从有限集推广到偏序集.Barnabei等在1998年研究了另一种偏序集上的拟阵结构,即偏序集拟阵.由有限分配格和有限偏序集之间的对应关系可知,偏序集拟阵就是分配格上的超拟阵.本文研究超拟阵的公理系统,建立模格上的超拟阵的独立元公理,证明模格上超拟阵的中间基性质和基的交换性质并用这两个性质分别刻画了模超拟阵.最后指出了Barnabei等给出的分配超拟阵圈公理中的一个错误,重新提出并证明分配超拟阵的圈消去性质并建立了分配超拟阵的圈公理.作为圈消去性质的一个应用,本文证明了分配超拟阵中覆盖基的元素包含唯一的圈. 相似文献
8.
9.
偏序集表示的综合评价模型能将从完全理性范式转换为有限理性范式,进而提升模型应对不确定性的能力,识别评价风险。在偏序集理论的基础上,将权重拓展为偏序权重,解决了部分权重序列条件下评价函数的偏序表示问题。偏序集广义表示定理表明了,偏序表达的函数可以为模糊数、模糊犹豫值、区间数、随机数等多种取值。结果表明:偏序表示的综合评价彻底解决了赋权难题,且充分表达了决策者的个人偏好。从模型运行效果来看,模型处理数据范围增加、评价结果更加稳健可靠,并通过Hasse图展现了方案间的结构化信息,具有分层和聚类的功能。 相似文献
10.
关于弱DEA有效性的本质特征 总被引:2,自引:0,他引:2
马占新 《数学的实践与认识》2005,35(9):140-147
弱DEA有效单元与偏序集的极大元之间关系密切,从偏序集理论出发刻画了四种典型DEA模型所描述的弱DEA有效性的本质特征,揭示了可能集结构变化对弱DEA有效性的影响,并对弱DEA有效性的含义给出了新的解释.最后,探讨了偏序集理论在研究DEA数据变换性质、讨论DEA模型关系、分析决策单元变更以及指标增减对弱DEA有效性影响等方面的应用. 相似文献