论文部分内容阅读
该文提出一种适用于实时数据库的新可推测并发控制（New Speculative Concurrency Control,NSCC）协议。该协议在传统的SCC协议基础之上,进行一系列改进,避免了大量不必要的事务重启,提高了并发度。最后,通过Petri网理论验证其可行性和正确性。
实时数据库并发控制协议及其Petri网分析
【摘 要】
：
该文提出一种适用于实时数据库的新可推测并发控制（New Speculative Concurrency Control,NSCC）协议。该协议在传统的SCC协议基础之上,进行一系列改进,避免了大量不必要的事务
【机 构】
：
河南科技学院信息工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年21期
其他文献
通过对孟加拉湾中部110个表层沉积物进行稀土元素（REE）测试分析,揭示了研究区稀土元素含量和分布特征,并讨论了其物质来源。结果表明,研究区稀土元素含量介于93.90×10^-6～2
由于对局部纹理特征具有很强的描述能力,LBP(Local Binary Patterns)已经被广泛应用于模式识别、计算机视觉等相关领域,但传统的LBP在表情识别中的正确率并不高,提出了一种结合小波分解的改进LBP特征提取方法,首先使用Adaboost人脸检测算法和2D模型提取人脸图像并归一化,并使用小波分解的方法增强LBP特征,然后通过AVR(Augmented Variance Ratio)特
Web服务组合验证是确保组合服务正常执行的关键，现有的许多Web服务组合描述都是半形式化的，容易出错和不容易检测，因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存
为了提升移动IP域间切换的性能，提出了基于MAP的提前选择的宏移动管理方式。在这种方式下，移动主机在移动到旧的MAP边缘路由器（EAR）上时，根据收到的路由公告消息提前进行MAP的选择
为了使仿人机器人在人类生活环境中自由行走,将仿人机器人的动作离散化为指定的动作,将状态空间离散化为网格,利用立体视觉和平面提取方法建立环境地图,将仿人机器人的轮廓简化为双圆柱模型进行避障检测,最终在环境地图中搜寻代价最小的一系列可行的动作作为路径,通过仿真实验验证了方法的有效性。
针对最小二乘支持向量机缺乏稀疏性的问题,提出了一种基于边界样本的最小二乘支持向量机算法。该算法利用中心距离比来选取支持度较大的边界样本作为训练样本,从而减少了支持
等值线图应用在许多方面，格网法绘制等值线是一常用方法，但在实际中常会遇到不规则边界格网．本文讨论了计算机绘制不规则边界格网等值线的过程，包括不规则边界格网节点数据的存贮与管理．