论文部分内容阅读
将网格服务动态性与实时事务替代性相结合,定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性和正确性.
网格实时事务并发控制协议及其PETRI网分析
【摘 要】
：
将网格服务动态性与实时事务替代性相结合,定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性
【机 构】
：
河南科技学院信息工程学院
【出 处】
：
河南师范大学学报：自然科学版
【发表日期】
：
2011年1期
【基金项目】
：
河南省科技厅科技攻关重点项目（102102210190）
其他文献
【目的】研究伊犁马不同部位肉食用品质及脂肪酸含量,分析不同部位对伊犁马肉食用品质及脂肪酸组成的影响。【方法】试验选取9匹1岁伊犁马为研究对象,采集三角肌、背阔肌、臂
建立了超高效液相色谱-二极管阵列检测器检测二氰蒽醌和吡唑醚菌酯在苹果中残留量的分析方法,并对2种农药在苹果中的消解动态及最终残留量进行了研究。结果表明:在0.1~5 mg/k
通过.Net和Sql Server 2005两种开发工具设计实现了3层架构的艺术类专业考试系统.系统中,充分使用了XML和Web Services技术,使得各逻辑层之间功能相对独立,之间的接口统一,易
针对无线传感网中重要的覆盖问题,已有多种算法来解决这个问题.通过分析这些算法,提出了一种三维空间下的基于网格点的随机算法的改进算法.算法分为两个阶段,初始阶段采用随