基于模型检测技术的XML乐观并发控制协议

来源 :计算机应用研究 | 被引量 : 3次 | 上传用户：aa87850011

【摘要】

：

XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性。由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降。基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC。通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据

【作者】

：

单维锋廖湖声王茂发刘海军

【机构】

：

防灾科技学院灾害信息工程系,北京工业大学软件学院

【出处】

：

计算机应用研究

【发表日期】

：

2017年11期

【关键词】

：

XML 乐观并发控制协议模型检测事务 XML optimistic concurrency control protocol model checkin

【基金项目】

：

国家自然科学基金青年基金资助项目（41504037）,中央高校基本科研业务费专项资金创新项目团队资助计划项目（ZY20160106）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

列车编成辆数对高速列车横风气动特性影响的数值分析

对3～8辆编组列车以350km.h-1速度运行时,不同速度横风作用下的气动特性进行仿真研究,并建立列车的阻力系数与列车编组辆数之间的无量纲关系。研究结果表明:对3辆车编组列车的

期刊

高速列车编成辆数横风气动特性气动安全性数值模拟High-speed trainTrain formationCrosswind aerodynam

基于动态权重的AdaBoost算法研究

针对AdaBoost算法只能静态分配基分类器权重,不能自适应地对每个测试样本动态调整权重的问题,提出了一种基于动态权重的AdaBoost算法。算法通过对训练样本集合进行聚类,并分析每个基分类器和每个类簇的适应性,进而为每个基分类器在不同类簇上设置不同权重,最终根据测试样本与类簇之间的相似性来计算基分类器在测试样本上的权重。在UCI数据集上的实验结果表明,提出的算法有效利用了测试样本之间的差异性,得

期刊

ADABOOST动态权重聚类基分类器AdaBoost dynamic weights clustering base classifier

基于故障树和贝叶斯网络的动车组走行部运用可靠性分析方法

为克服故障树分析法对事件二态性假定的局限，根据故障树与贝叶斯网络的映射关系（事件-节点、逻辑门-连接强度），将动车组走行部故障树中的事件看作是贝叶斯网络中的节点，采用多维变

期刊

动车组走行部基础制动系统故障树分析贝叶斯网络故障概率分布Multiple units Running gear Foundation brake

融合词向量特征的双词主题模型

针对短文本中固有的文本内容稀疏和上下文信息匮乏等问题,在双词主题模型(BTM)的基础上提出一种融合词向量特征的双词主题模型LF-BTM。该模型引入潜在特征模型以利用丰富的词向量信息弥补内容稀疏,在改进的生成过程中每个双词的词汇的生成受到主题—词汇多项分布和潜在特征模型的共同影响。模型中的参数通过吉布斯采样算法进行估计。在真实的短文本数据集上的实验结果表明,该模型能结合外部通用的大规模语料库上已训练

期刊

主题模型潜在狄利克雷分配短文本双词主题模型词向量吉布斯采样topic model latent Dirichlet allocation sho

地铁车站新预筑法施工中顶管间距的优化设计

基于土拱效应理论,建立新预筑法顶管施工中顶管土拱效应模型。根据模型中土拱轴线的受力,推导出土拱轴线支座约束反力与模型几何参数之间的关系式。将此关系式与拱顶和拱脚的

期刊

地铁车站隧道施工新预筑法顶管间距土拱效应优化设计Metro station Tunnel construction New pre-constr

偶然荷载对桥上岔区纵连无砟轨道受力和位移的影响

以武广客运专线某特大桥铺设纵连式无砟道岔为例，将1组客运专线18号单渡线道岔、纵连式无砟轨道、桥梁、墩台视为1个系统，建立岔板-梁-墩-体化计算模型，分析断轨或断板等偶然荷

期刊

桥上无缝道岔纵连式无砟轨道偶然荷载桥梁轨道结构纵向位移受力分析Seamless turnout on bridge Longitudinal c

谐波能量谱特征向量的高光谱影像Bayes分类

对于高光谱影像存在高维非线性、数据冗余多、纯训练样本难以提取等不足,引入频率域空间的谐波分析(harmonic analysis,HA)理论并提出了一种高光谱影像的HA-Bayes监督分类方法。该方法在保持高光谱数据空—谱特性不变的情况下,从光谱维角度分析不同分解层的影像光谱谐波特征,将高光谱影像变换成由谐波能量谱组成的频率域特征矢量信息。通过建立谐波能量谱特征向量的先验知识,实现Bayes准则下

期刊

高光谱影像频率域变换谐波分析能量谱Bayes准则监督分类hyperspectral imagefrequency domain transfor

桥梁墩台不均匀沉降时的车桥垂向系统耦合振动分析

运用自编车—线—桥垂向耦合振动分析程序,分析车辆通过桥梁时列车和桥梁的动力响应,研究桥梁墩台发生不均匀沉降对车、桥垂向系统耦合振动的影响。研究表明：货物列车通过时,

期刊

铁路桥梁轨道不平顺桥梁墩台不均匀沉降车桥动力响应Railway bridge Track irregularity Bridge pier and

一种近似概念格及其在知识发现中的应用研究

针对经典概念格基于完备形式背景,在缺值形式背景下不能很好地获取关联规则知识的问题,提出了一种τ-近似概念格来解决信息不完备背景下的知识发现问题。τ-近似概念格在偏小近似形式背景的基础上,基于区间概念格思想构建,对τ-近似概念格的构建及其关联规则提取过程进行了详细描述,并获取到了精度和可信度较高的关联规则知识。通过将其与偏小近似概念格和偏大近似概念格这两种策略进行案例分析对比,验证了它的可行性和有效

期刊

形式概念分析概念格不完备信息知识发现formal concept analysis concept lattice incomplete infor

间歇性重负荷工况下变压器套管介质损耗因数测量方法的改进研究

根据现场长期实测数据分析,大秦铁路牵引供电系统具有负荷幅值变化大、过载系数高和陡变性的间歇性重负荷特性,牵引供电系统负荷的变化对变压器套管介质损耗因数的测量产生影

期刊

介质损耗因数测量方法变压器牵引供电负荷初始电流Electric current collectionElectric insulation tes

基于模型检测技术的XML乐观并发控制协议

与本文相关的学术论文