论文部分内容阅读
本文描述了XPath语言的形式化语义.一个统一的面向对象的语义视角用于建模所有XPath语言构造.语义的表示采用形式化规范语言Object-Z的符号系统.这种高度结构化的语义模型具有简洁、可组合性和可复用性的特点.
基于Object-Z的XPath形式化语义
【摘 要】
：
本文描述了XPath语言的形式化语义.一个统一的面向对象的语义视角用于建模所有XPath语言构造.语义的表示采用形式化规范语言Object-Z的符号系统.这种高度结构化的语义模型具
【机 构】
：
西北大学计算机科学系,西北大学计算机科学系,西安邮电学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2004年2期
其他文献
根据黑烟形成与燃烧的机理以及现有机械炉排影响燃烧的不利因素，设计了CT／n型锅炉炉前型煤机。它适用于链条炉排取暖锅炉、工业锅炉或炉窑，是一种由燃烧散煤改为直接燃烧型煤的
研究了褐煤原料经热处理改质后制备炭分子筛的可能性,并考察了热解改质的工艺条件对产品空分性能的影响.结果表明,与褐煤改质前相比,热解改质后的褐煤制备的炭分子筛具有炭分
介绍了中国销售总公司滴道选煤厂浮选煤泥销路窄，储存难等问题，提出了利用配煤型煤技术改善选煤厂浮选煤泥煤质特性，优化产品结构，提高煤炭综合利用的社会效益和经济效益的途径。
从水煤浆的制备、贮存、运输和燃烧等各个方面阐述了日本勿来电厂8号机组燃用水煤浆的实践,着重介绍了8号机组的设备、燃料构成、水煤浆燃烧系统、运行评价.并对近几年的该厂
以一台1.4MW热水锅炉作为研究对象,利用七孔探针测试了不同工况时炉拱下部的空气动力场,测试结果表明炉拱下部空气动力场对炉内燃料燃烧有较大影响。根据测试结果对炉拱进行
笔者就枣庄矿业集团公司在市场开发实践中遇到的一些具体问题:如煤矿就地建浆厂、在用户集中地区建浆厂及水煤浆销售的经济合理辐射范围等进行了探讨,并就水煤浆下一步发展提
分析了临涣选煤厂浮选尾煤的性质及成浆性.为了把高粘性尾煤泥滤饼制备成水煤浆,研制了循环剪切桶和剪切泵.实践证明,浮选尾煤泥可以制备出浓度高、稳定时间长和流变性好的水
循环并行化是并行编译的核心问题之一.许多科学计算程序的大部分执行时间花费在循环上,有效开发循环中的并行性将提高整个程序的执行效率.多重循环最为常见,因此并行化多重循