-
题名XML模式推断研究综述
被引量:3
- 1
-
-
作者
郑黎晓
王成
-
机构
华侨大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2016年第2期461-471,共11页
-
基金
华侨大学科研启动基金(No.12BS215)
国家自然科学基金(No.51305142
+1 种基金
No.61502184)
福建省自然科学基金(No.2015J01259)
-
文摘
本文对XML(Extensible Markup Language)数据的模式推断问题研究现状与进展进行了阐述.首先,从正规树文法的角度介绍了不同模式语言的理论模型.进而从模式推断方法、目标模式语言、支持的表达能力、内容模型对应的正则表达式类型等多个方面对当前研究工作进行了细致的分类归纳和对比.此外,还介绍了模式语言中支持的基本语义完整性约束推断的研究进展.最后指出了当前研究中的不足,并对未来需要深入研究的方向进行了展望.重在对XML模式推断的主流方法和前沿进展进行概括、比较和分析,以期对后续研究有所助益.
-
关键词
可扩展标记语言
模式推断
正规树文法
正则表达式
-
Keywords
XML(Extensible Markup Language)
schema inference
regular tree grammar
regular expression
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一类受限正则表达式的推断算法
被引量:1
- 2
-
-
作者
冯晓强
郑黎晓
陈海明
-
机构
中国科学院软件研究所计算机科学国家重点实验室
中国科学院大学
华侨大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第4期178-183,共6页
-
基金
国家自然科学基金项目(61070038)
华侨大学人才引进科研启动基金项目(12BS215)资助
-
文摘
XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式。提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法。该算法首先根据给定的句子集合构造自动机,然后根据自动机和句子集合推断出对应的正则表达式。该算法的时间复杂度为max(O(|V|+|E|),O(L)),其中V和E分别表示自动机的节点集合和边集合,L表示句子集合中所有句子的长度之和。对算法的终止性和正确性进行了证明。
-
关键词
XML模式
模式推断
正则表达式
自动机
算法
-
Keywords
XML schema
Schema inference
Regular expression
Automata
Algorithm
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名面向高超声速滑翔目标的多模型多意图融合轨迹预测
- 3
-
-
作者
李佳丽
郭杰
唐胜景
-
机构
北京理工大学宇航学院
飞行器动力学与控制教育部重点实验室(北京理工大学)
-
出处
《宇航学报》
EI
CAS
CSCD
北大核心
2024年第2期167-180,共14页
-
基金
国家自然科学基金(11572036)
上海航天科技创新基金(SAST201711)。
-
文摘
针对高超声速滑翔目标速度快、机动强导致轨迹预测精度低且窗口有限的问题,提出了一种多模型多意图融合轨迹预测方法。首先从目标的控制规律出发,构建了纵向、侧向解耦的时变预测模型集,以升力参数、阻力参数与倾侧角幅值为特征参数,通过最小二乘法与高斯假设设计纵向模型;以倾侧角符号为特征参数,针对攻击意图、规避禁飞区以及C/S型机动等典型动作设计侧向模型。然后考虑意图距离、航向角与规避禁飞区等因素设计意图代价函数,基于贝叶斯理论推导预测模型与意图的后验概率递推公式,通过多机动模式、多意图的双层次融合提高轨迹预测准确性与鲁棒性。仿真结果表明,该方法能够应对高超声速滑翔目标的复杂机动,有效提高了长时轨迹预测精度。
-
关键词
高超声速滑翔飞行器
轨迹预测
机动模式推断
意图推断
贝叶斯理论
-
Keywords
Hypersonic gliding vehicles
Trajectory prediction
Maneuver model inference
Intent inference
Bayesian theory
-
分类号
V249.1
[航空宇航科学与技术—飞行器设计]
-