TABLEAUX

作品数：9被引量：9H指数：1
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：申宇铭汤庸蒋运承王驹李梅更多>>
相关机构：广西师范大学四川外语学院中山大学中国科学院更多>>
相关期刊：《Science China Mathematics》《今日中国（法文版）》《计算机研究与发展》《Journal of Computer Science & Technology》更多>>
相关基金：国家自然科学基金中国博士后科学基金教育部“新世纪优秀人才支持计划”广西青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Un maître de reproduction de tableaux anciens
《今日中国（法文版）》2016年第9期72-73,共2页
Root-Patterns to Algebrising Partitions
《Advances in Pure Mathematics》2015年第1期31-41,共11页Rex L. Agacy 
The study of the confluences of the roots of a given set of polynomials—root-pattern problem— does not appear to have been considered. We examine the situation, which leads us on to Young tableaux and tableaux repre...
关键词：COMBINATORICS PARTITIONS Polynomials Root-Patterns TABLEAUX 
D3L(ccy)的属性及分布式Tableaux推理算法的研究被引量：1
《计算机研究与发展》2014年第3期570-579,共10页赵晓非 田东平 张文波 史忠植 
国家自然科学基金重点项目(61035003);国家自然科学基金面上项目(61072085,60970088);国家"九七三"重点基础研究发展计划基金项目(2007CB311004)
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式...
关键词：分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 DISTRIBUTED DYNAMIC DESCRIPTION LOGICS (D3L) 
Young tableaux and crystal base for U_q(osp(1|2n))
《Science China Mathematics》2010年第2期291-305,共15页JunLi Liu ShiLin Yang 
supported by National Natural Science Foundation of China (Grant Nos.10671016; 10771014);Beijing Natural Science Foundation (Grant No. 1062003)
Let Uq(osp(1|2n)) be the quantized enveloping superalgebra corresponding to the Lie superalgebra osp(1|2n). In terms of semistandard Young tableaux satisfying some additional conditions, a realization of crystal graph...
关键词：QUANTUM group CRYSTAL base YOUNG DIAGRAM YOUNG TABLEAUX 
模糊描述逻辑FALNUI的tableaux推理被引量：7
《计算机研究与发展》2007年第8期1309-1316,共8页蒋运承 汤庸 王驹 申宇铭 
国家自然科学基金项目(60663001;60673135;60373081;60573010);中国博士后科学基金项目(20060400226);广东省自然科学基金重点项目(04105503);教育部新世纪优秀人才支持计划基金项目;广西青年科学基金项目(桂科青0640030)
分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑table...
关键词：描述逻辑 模糊描述逻辑 FALNUI TABLEAUX 推理算法 模糊ER模型 
UNE ODYSSEE SPIRITUELLE：L′ETERNITE EN UN JOUR——L′《Architecture secrète》 des 《Tableaux parisiens》Ⅱ
《法国研究》2003年第1期1-11,共11页LIUBo 
《巴黎图画》中具有回旋特征的“隐秘结构”不仅强化了作品整体的美学效果，同时也使某些暗含的思想意蕴得以彰显。诗人通过回旋性结构形式，再现了一日之中的心灵历程，表现了他在现代生活中捕捉到的具有永恒价值的因素。对人之本性进...
关键词：《巴黎图画》 回旋性结构 心灵历程 伦理根据 诗人 渡德莱尔 《恶之花》 文学作品 
La disposition cyclique des 《Tableaux parisiens》——L′《Architecture secrète》 des 《Tableaux parisiens》
《法国研究》2002年第2期22-38,共17页LIU Bo 
《恶之花》不是一本普通意义上的诗歌集 ,而是一部构架严整的作品。本文通过描述和分析其中《巴黎图画》一章“白昼”和“黑夜”两个系列间的回旋特征 ,探索作品内在的“隐秘结构” ,揭示波德莱尔对待诗歌创作的独特态度 ,并阐释其作品...
关键词：《巴黎图画》 回旋特征 《恶之花》 诗歌集 “隐秘结构” 波德莱尔 法国 
Tableau Systems for Paraconsistency and Minimal Inconsistency被引量：1
《Journal of Computer Science & Technology》1998年第2期174-188,共15页林作铨 sxx0.math.pku.edu.cn 
In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of...
关键词：Tableaux logic of paradox paraconsistent logic minimal inconsistency nonmonotonic logic CIRCUMSCRIPTION 
DIRECT PROOF OF THE DETERMINANT EXPRESSION FOR FLAGGED SKEW TABLEAUX
《Acta Mathematicae Applicatae Sinica》1992年第4期318-322,共5页初文昌 
Flagged skew tableaux are generalizationa of Young tableaux in which each row (column)has an upper and lower bound on the entries. It has been shown that they are enumerated byflagged skew Schur functions. By introdu...
关键词：DIRECT PROOF OF THE DETERMINANT EXPRESSION FOR FLAGGED SKEW TABLEAUX 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部