论文部分内容阅读
本文的工作就是考虑如何应用指称语义来描述XML的语义,具体的讨论是针对MathML展开的,由于MathML是XML在数学领域的应用,所以这种讨论并不失一般性.另外,本文的工作还包括开发一个面向MathML的解释器来解释MathML文档并完成数学表达式的计算.
基于指称语义的可扩展标记语言的语义研究
【摘 要】
：
本文的工作就是考虑如何应用指称语义来描述XML的语义,具体的讨论是针对MathML展开的,由于MathML是XML在数学领域的应用,所以这种讨论并不失一般性.另外,本文的工作还包括开
【机 构】
：
兰州大学信息科学与工程学院(兰州)
【出 处】
：
2002年全国理论计算机科学学术年会
【发表日期】
：
2002年10期
其他文献
<正> 一、引言一个数据库通常包括两个部分:数据资源和推导规则。数据资源是指存储在数据库中的事实。例如在一个家庭关系数据库中,Jonsson是Pater的父亲father(Jonsson,Pete
<正> 1.问题的提出文献信息检索的过程,可以看成是一个用户“查询”和文献库之间“匹配”的过程。但是,当文献库中文献数量达到几百万甚至更多时,如果仍用用户的“查询”去逐
<正> 一、概述近来,具有平台无关、面向对象等诸多特点的Java语言得到了迅速的发展,以即时编译技术(JIT)为代表的软件实现的Java虚拟机在桌面系统中日趋成熟,在运行速度、内
一、CSN算法简介 用神经网络方法构造模式识别分类器,必然涉及到神经网络的训练(构造)问题.传统的神经网络构造方法(如BP算法)将整个网络看作是一个"黑盒子",问题的解决完
期刊