期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
存在多值依赖(MVD)的XML文档的规范化 被引量:1
1
作者 刘文远 周国亮 《计算机工程》 CAS CSCD 北大核心 2004年第18期85-86,102,共3页
讨论了在XML文档中存在多值依赖的情况下,如何规范XML 文档,从而使XML 文档有更小的冗余,以及更新、删除、插入异常。并在此基础上提出了一个规范化算法,来规范存在多值依赖的XML 文档。并给出了算法的说明。
关键词 多值依赖 多值XML正规形式 XML正规形式
在线阅读 下载PDF
Schur Forms and Normal-Nilpotent Decompositions 被引量:1
2
作者 LI Zhen 《应用数学和力学》 CSCD 北大核心 2024年第9期1200-1211,共12页
Real and complex Schur forms have been receiving increasing attention from the fluid mechanics community recently,especially related to vortices and turbulence.Several decompositions of the velocity gradient tensor,su... Real and complex Schur forms have been receiving increasing attention from the fluid mechanics community recently,especially related to vortices and turbulence.Several decompositions of the velocity gradient tensor,such as the triple decomposition of motion(TDM)and normal-nilpotent decomposition(NND),have been proposed to analyze the local motions of fluid elements.However,due to the existence of different types and non-uniqueness of Schur forms,as well as various possible definitions of NNDs,confusion has spread widely and is harming the research.This work aims to clean up this confusion.To this end,the complex and real Schur forms are derived constructively from the very basics,with special consideration for their non-uniqueness.Conditions of uniqueness are proposed.After a general discussion of normality and nilpotency,a complex NND and several real NNDs as well as normal-nonnormal decompositions are constructed,with a brief comparison of complex and real decompositions.Based on that,several confusing points are clarified,such as the distinction between NND and TDM,and the intrinsic gap between complex and real NNDs.Besides,the author proposes to extend the real block Schur form and its corresponding NNDs for the complex eigenvalue case to the real eigenvalue case.But their justification is left to further investigations. 展开更多
关键词 Schur form normal matrix nilpotent matrix tensor decomposition vortex identification
在线阅读 下载PDF
格值树自动机与格值上下文无关树文法的等价性 被引量:1
3
作者 杨文武 李永明 孙丹丹 《计算机工程与科学》 CSCD 2008年第11期92-94,共3页
本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。
关键词 格半群 树自动机 上下文无关树文法 正规形式 等价文法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部