期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
纯XML数据库研究综述 被引量:34
1
作者 冯建华 钱乾 +3 位作者 廖雨果 李国良 塔娜 周立柱 《计算机应用研究》 CSCD 北大核心 2006年第6期1-7,共7页
虽然XML是一种专门为Internet所设计的标记语言,但是它已经成为Internet上数据表示和数据交换的标准。如何对XML文档进行有效管理与快速查询是当前学术界的研究热点,即所谓的XML数据库。主要对当前XML数据库的研究现状与发展趋势进行全... 虽然XML是一种专门为Internet所设计的标记语言,但是它已经成为Internet上数据表示和数据交换的标准。如何对XML文档进行有效管理与快速查询是当前学术界的研究热点,即所谓的XML数据库。主要对当前XML数据库的研究现状与发展趋势进行全面的论述与分析,并对其中尚未解决的挑战性问题进行了客观的评价与分析。 展开更多
关键词 扩展标记语言 XML数据库 NATIVE XML数据库 存储策略 查询优化 X-代数
下载PDF
多种地图符号系统布尔代数结构的简要证明 被引量:6
2
作者 钟业勋 胡毓钜 李占元 《测绘科学》 CSCD 北大核心 2007年第4期25-26,共2页
布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集P(X)为布尔代数且其偏序关系为包含关系的数学原理,通过改变论域而分别对地图图像系统、地图符号系统和地图数据库系统等多种地图符号... 布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集P(X)为布尔代数且其偏序关系为包含关系的数学原理,通过改变论域而分别对地图图像系统、地图符号系统和地图数据库系统等多种地图符号系统的布尔代数结构,分别作出了有别于应用布尔代数定义和定理的简要证明。文章给出了以点的特征变换构建地图符号、地图注记和实现面状域色彩变换的实例,阐释了地图图像系统中的布尔运算;还给出了通过基础图层上地图符号的增删,构建不同图层和不同图层叠合构建不同类型地图的实例,说明以点集形式为基本元素的地图符号系统和地图数据库系统也适于布尔运算。 展开更多
关键词 包含关系 论域X 幂集 布尔代数
下载PDF
关于BCI-代数的两点注记 被引量:1
3
作者 宋子伦 《宝鸡文理学院学报(自然科学版)》 CAS 2003年第1期26-27,共2页
用反例指明"BCI-代数〈X;*,0〉的非空子集I是一个理想当且仅当 x,y∈I,A(x,y)={x∈X:z*x≤y}∈I",其充分性是不成立的。此外,指出记号x*ny和xn*y的2种记法不等价的。
关键词 BCI-代数 BCK-代数 闭理想 记号x*^ny 偏序集 极小元 非空子集
下载PDF
格值语义归结推理方法 被引量:8
4
作者 张家锋 徐扬 何星星 《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比... 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。 展开更多
关键词 格蕴涵代数 格值命题逻辑系统LP(X) 自动推理 语义归结方法
下载PDF
限制Hamiltonian型及Contact型李代数的不可约表示
5
作者 姚裕丰 《数学年刊(A辑)》 CSCD 北大核心 2012年第4期483-496,共14页
设L=H(2r;1)或K(2r+1;1)是定义在特征p>2的代数封闭域F上的限制Hamiltonian型或Contact型李代数.在对广义Jacobson-Witt代数及特殊代数不可约表示的研究基础上,通过定义L的如下阶化:L=L_([q],I),其中I是{1,2,…,r}的子集,得到当p-特... 设L=H(2r;1)或K(2r+1;1)是定义在特征p>2的代数封闭域F上的限制Hamiltonian型或Contact型李代数.在对广义Jacobson-Witt代数及特殊代数不可约表示的研究基础上,通过定义L的如下阶化:L=L_([q],I),其中I是{1,2,…,r}的子集,得到当p-特征函数χ是正则半单时,所有不可约U_χ(L)-模都是从不可约U_χ(L_([O].I))-模诱导的. 展开更多
关键词 CARTAN型李代数 Hamiltonian型李代数 Contact型李代数 广义限制李代数 广义x-约化表示
下载PDF
关于BCI-代数模的结构
6
作者 戴跃进 《福建师范大学学报(自然科学版)》 CAS CSCD 1991年第1期1-6,共6页
本文提出一个涉及BCI-代数的新代数概念——BCI-代数模,并对其子结构及运算作了一些讨论,得到了若干新的结果。
关键词 BCK-代数模 右X-模 BCI-代数
下载PDF
基于透射测量X射线谱的重建方法 被引量:1
7
作者 林桂粉 罗立民 《数据采集与处理》 CSCD 北大核心 2008年第1期75-79,共5页
对透射测量X射线谱两种重建方法进行评估。医用直线加速器产生的最大能量为10MeV X射线谱,用蒙特卡罗方法(Montecarlo,MC)模拟得到的值作为基准X射线谱,代入矩阵系统AF=T得到的穿透系数T,由穿透系数T分别应用谱向量代数法(Spectr... 对透射测量X射线谱两种重建方法进行评估。医用直线加速器产生的最大能量为10MeV X射线谱,用蒙特卡罗方法(Montecarlo,MC)模拟得到的值作为基准X射线谱,代入矩阵系统AF=T得到的穿透系数T,由穿透系数T分别应用谱向量代数法(Spectra vectorial algebra,SVA)与双共轭梯度法(Biconjugate gradients,BiCG)来解矩阵系统AF=T,得到重建后的该X射线谱-↑F0与基准X射线谱F相比较,BiCG法比SVA法重建后的X射线谱声更加接近F,且T引入白高斯噪声项,以模拟穿透系数的测量误差,这一结果依然成立。当信噪比SNR高于90dB时,BiCG法比SVA法重建的X射线谱结果更理想。 展开更多
关键词 X射线谱的重建 蒙特卡罗方法 谱向量代数法 双共轭梯度法
下载PDF
复范数~*-代数上的广义Jordan导子
8
作者 朱小龙 马飞 《宁夏师范学院学报》 2007年第3期12-17,共6页
设A是一个含单位元I的半素的复范数*-代数,我们证明了若δ是A到其自身的连续的线性映射,且对任意的∈P,都有δ(p^2)=δ(P)p+pδ(p)-pδ(I)p对于任意的投影p∈A,和D_A在H_A中是稠密的,则δ是广义Jordan导子,并且因此是广义导子.
关键词 复范数^*-代数 广义JORDAN导子 广义导子
下载PDF
几类遗传代数的刻划
9
作者 谭荣华 谭志松 《湖北民族学院学报(自然科学版)》 CAS 2001年第4期29-33,共5页
研究了特殊代数模对几类遗传代数的刻划 .作为直投射模、直内射模的自然推广 ,引入X -直投射模、X -直内射模的概念 ,并用它们完备地刻划了域F上的遗传代数A .将遗传代数A的用特殊模刻划的一些结果部分地推广到M -遗传代数 .最后讨论了... 研究了特殊代数模对几类遗传代数的刻划 .作为直投射模、直内射模的自然推广 ,引入X -直投射模、X -直内射模的概念 ,并用它们完备地刻划了域F上的遗传代数A .将遗传代数A的用特殊模刻划的一些结果部分地推广到M -遗传代数 .最后讨论了遗传代数与M -遗传代数、L - 遗传代数之间的关系 . 展开更多
关键词 遗传代数 M-遗传代数 L-遗传代数 X-直投(内)射模
下载PDF
四值非链格值命题逻辑系统LP_4(X)的归结原理
10
作者 孟丹 郑逢斌 +1 位作者 徐扬 秦克云 《河南大学学报(自然科学版)》 CAS 2003年第3期43-46,共4页
基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供... 基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持. 展开更多
关键词 自动推理 归结原理 格蕴涵代数 非链格蕴涵代数上的四值命题逻辑系统LP4(X)
下载PDF
SOME THEOREMS IN THE X-M-PN SPACE 被引量:1
11
作者 朱传喜 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2000年第2期181-184,共4页
A new concept of the X-M-PN space is introduced, and the acute angle principle in the X-M-PN space is proved. Meanwhile, some new results are obtained.
关键词 weak probabilistic inner product space topological degree acute angle principle ALGEBRA X-M-PN space
下载PDF
关于正蕴涵BCK-代数
12
作者 杨艳丽 陈建飞 段寿建 《云南民族大学学报(自然科学版)》 CAS 2007年第3期219-221,共3页
给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合R(X).
关键词 正蕴涵BCK一代数 伴随半群 幂等的 蕴涵同态F(X)
下载PDF
有限群超可解的一些充分条件(英文)
13
作者 尤泽 李保军 《成都信息工程大学学报》 2018年第1期99-102,共4页
G是有限群且X是一个非空集合。若子群H在G中有补充T,且对任取X中的元x,H与T的任意Sylow子群是X-置换的,子群H被称为是在G中X-s-半置换的.令d是一个小于P的阶的p-子群的阶.推广了S-半置换子群的一些结果,利用X-s-半置换子群的性质进一步... G是有限群且X是一个非空集合。若子群H在G中有补充T,且对任取X中的元x,H与T的任意Sylow子群是X-置换的,子群H被称为是在G中X-s-半置换的.令d是一个小于P的阶的p-子群的阶.推广了S-半置换子群的一些结果,利用X-s-半置换子群的性质进一步研究有限群,给出有限群超可解的一些结论.即可得到:对任意的d阶正规子群H和G的可解正规子群X,若H∩O^p(G)在G中X-s-半置换的,则G是p-超可解的或者是|P∩O^p(G)|>d. 展开更多
关键词 基础数学 代数学 有限群 P-超可解 X-s-半置换 P-群
下载PDF
群链SU(2)
14
作者 彭正合 《武汉大学学报(自然科学版)》 CSCD 1989年第2期99-104,共6页
本文按照群链SU(2)D_∞C_∞选定了标准化基向量,讨论并算出了D_∞群的V、W和X耦合系数及3-r、6-Γ、和9-Γ符号。
关键词 SU(2)-G V系数 3-JT符号
下载PDF
Minuscule representations and Panyushev conjectures Dedicated to the Memory of Professor Bertram Kostant
15
作者 Chaoping Dong Guobiao Weng 《Science China Mathematics》 SCIE CSCD 2018年第10期1759-1774,共16页
Recently, Panyushev(2015) raised five conjectures concerning the structure of certain root posets arising from Z-gradings of simple Lie algebras. This paper aims to provide proofs for four of them. Our study also link... Recently, Panyushev(2015) raised five conjectures concerning the structure of certain root posets arising from Z-gradings of simple Lie algebras. This paper aims to provide proofs for four of them. Our study also links these posets with Kostant-Macdonald identity, minuscule representations, Stembridge's "t =-1 phenomenon", and the cyclic sieving phenomenon due to Reiner et al.(2004). 展开更多
关键词 母代 记忆 代数学
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部