XML树模式查询的描述语言及形式语义

作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。

基于XML的想定可重用技术研究

为提高想定数据的可重用性,提出了基于XML的想定描述方法.利用Schema定义想定数据的约束规则并进行语法检查,运用XML所提供的Xquery标准和Xpath标准实现想定数据的可伸缩性、动态裁减和重组,设计并实现了一种基于XML的想定生成系统.实验结果表明,该系统提高了想定资源利用率,缩短了想定开发时间.

Open Interface公司Bluetooth开发平台

Open Interface North America公司发布BHAPI，一种Bluetooth开发平台(BDP)。公司宣称BHAPI与传统Bluetooth平台相比，可产生一种功能齐备、最小入侵而且更可靠的Bluetooth环境。BHAPI将Bluetooth执行过程分为一个服务器和一个客户端，服务器可以作为一个黑盒来处理，客户端则可以用数百行代码来实现。

保护装置一键式标准化测试和定制报告自动生成系统研究

阐述了保护装置一键式标准化测试和定制报告自动生成系统核心技术二维图形绘制方法和模型描述语言XML脚本的原理、系统结构,系统先进性和研究意义。