论文部分内容阅读
2PL协议是目前并发事务数据库广泛采用以保证并发调度正确性的封锁协议，该文给出了2PL协议的Petri网模型，并利用该模型给出可预防死锁的封锁序列。
2PL协议的Petri网模型
【摘 要】
：
2PL协议是目前并发事务数据库广泛采用以保证并发调度正确性的封锁协议，该文给出了2PL协议的Petri网模型，并利用该模型给出可预防死锁的封锁序列。
【机 构】
：
山东科技大学信息科学与工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年24期
【基金项目】
：
国家自然科学基金资助(编号:60173053)
其他文献
预应力锚索是加固滑坡的新一代技术，针对加固滑坡的预应力锚索施工过程中几个主要工序，结合施工实例，对锚索施工技术及施工要求进行了总结和介绍。
含空值决策表的分析一直是智能信息处理领域的一个难点，论文讨论基于赋值容差关系的数据不完全的信息系统中的数据处理方法，并用实例说明不完全决策表中属性约简和决策规则的发
该文提出一个基于主动网络的主动组播路由协议AMRP(Active Multicast Routing Protocol)，AMRP建立一棵以主动路由器为中间节点的动态主动组播树，支持组成员的动态加入和退出、
本文分析高职院校＂双创＂教育现状,通过使用问卷调查和座谈讨论方法研究在当前信息化＂双创＂时代中,如何利用国家相关政策以及高职教育资源,创建创新创业教育氛围,并加快建设高职院
介绍秦沈客运专线东部试验段粉喷桩施工过程中的技术要点，包括室内配方试验、水泥计量装置的标定及工艺性试桩等主要技术；并对适用本工程特点的施工工艺包括施工程序、质量控制
论文提出了一种用于IPSec安全设备的QoS方案。该方案采用4个bit的标签来标志需要不同级剐QoS服务的业务流，以快速为数据包分类；对排队队列采用循环调度算法，避免繁重的计算任务
交通不便一直是西藏经济发展的制约瓶颈，去年，青藏、川藏公路整治、日江公路改建等14个重点工程进展顺利，6条通县油路开工建设，公路新增、恢复通车里程2264公里，拉萨贡嘎机场改扩