姚建
- 作品数：4 被引量：2H指数：1
- 供职机构：西华大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于增广Petri网带封锁机制的数据库并发控制模型被引量：1
- 2007年
- 用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。
- 蒋忠远宋文姚建
- 关键词：PETRI网封锁形式化
- 基于增广Petri网带封锁机制的数据库并发控制模型
- 用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段...
- 蒋忠远宋文姚建
- 关键词：增广PETRI网数据库并发控制模型
- 文献传递
- 枚举二叉树算法的实现与分析被引量：1
- 2003年
- 二叉树是常用的一种数据结构。在算法设计与分析中,当对于某一问题考虑它的平均性能时,需要枚举给出具有n个结点的不同形态的二叉树。作者在已有的对角线算法的基础上,克服了空间的耗费较大的缺点,对问题进行了完备的分类,给出了精致的逻辑结构,在其上实现了一个较好的算法。
- 严兵宋文杨金松姚建
- 关键词：二叉树
- 基于增广Petri网的协作系统及混惑消除
- Petri网是一种形式化、图形化的系统建模、描述和分析工具。对于具有异步并发、分布、不确定性和随机性的系统，都可以利用这种工具构建模型，然后对其进行分析，即可得到系统静态结构和动态行为方面的信息。Petri网既有直观的图...
- 姚建
- 关键词：PETRI网
- 文献传递
