针对状态基维修(condition based maitaince,CBM)中复杂的故障模式描述问题,提出了一种基于可扩展标记语言(extensible markup language,XML)的数据描述方法,将故障诊断过程中的各环节进行了模块化设计,将模式信息以XML元数据的形式保存...针对状态基维修(condition based maitaince,CBM)中复杂的故障模式描述问题,提出了一种基于可扩展标记语言(extensible markup language,XML)的数据描述方法,将故障诊断过程中的各环节进行了模块化设计,将模式信息以XML元数据的形式保存,保证了故障模式的完整性和一致性,并且减少了数据存储和编程实现的复杂度。展开更多
作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方...作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。展开更多
文摘针对状态基维修(condition based maitaince,CBM)中复杂的故障模式描述问题,提出了一种基于可扩展标记语言(extensible markup language,XML)的数据描述方法,将故障诊断过程中的各环节进行了模块化设计,将模式信息以XML元数据的形式保存,保证了故障模式的完整性和一致性,并且减少了数据存储和编程实现的复杂度。
文摘作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。