您的位置： 专家智库 > >

罗雪梅

作品数：6 被引量：20H指数：3
供职机构：中国科学院更多>>
发文基金：国家重点基础研究发展计划国家杰出青年科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 1篇会议论文

领域

  • 6篇自动化与计算...

主题

  • 5篇并发控制
  • 3篇数据库
  • 3篇数据库系统
  • 3篇死锁
  • 3篇PETRI网
  • 2篇实时数据
  • 2篇实时数据库
  • 2篇实时数据库系...
  • 2篇可串行化
  • 2篇可达标识图
  • 2篇扩展PETR...
  • 2篇初始化
  • 2篇串行
  • 2篇串行化
  • 1篇形式化
  • 1篇形式化方法
  • 1篇十进制
  • 1篇数制
  • 1篇数制转换
  • 1篇死锁检测

机构

  • 6篇同济大学
  • 4篇山东科技大学
  • 4篇中国科学院

作者

  • 6篇罗雪梅
  • 5篇韩耀军
  • 3篇蒋昌俊
  • 2篇王薇
  • 1篇王朝阳

传媒

  • 1篇同济大学学报...
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇系统仿真学报
  • 1篇山东科技大学...
  • 1篇第九届全国P...

年份

  • 3篇2004
  • 3篇2003
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
数制之间相互转换的并行算法被引量：2
2003年
数刺转换是计算机科学中一种最基础的运算,但现有的算法基本上都是串行算法。随着并行计算机的出现,并行算法的研究也越来越受到人们的重视。要发挥并行计算机的作用,提高并行计算机资源的利用率,必须有一套强有力的并行算法的支持。本文给出了十进制与其它进制之间相互转换的并行算法,并对算法的性能进行了分析。
罗雪梅王薇王朝阳
关键词：数制转换计算机科学十进制二进制
数据库系统并发控制的扩展有色Petri网方法被引量：8
2004年
加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.
韩耀军蒋昌俊罗雪梅
关键词：可串行化死锁PETRI网可达标识图
扩展Petri网在实时数据库并发控制中的应用被引量：3
2003年
提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。
韩耀军罗雪梅蒋昌俊
关键词：实时数据库系统并发控制
并发事务无死锁的可串行化调度的形式化方法被引量：4
2004年
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。
罗雪梅王薇韩耀军
关键词：并发控制可串行化可达标识图
扩展Petri网在实时数据库并发控制中的应用
提出了初始化弧的概念,并将这一概念引入高级时间Petri网,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此外,在EHLTPN模型中,变迁所...
韩耀军罗雪梅蒋昌俊
关键词：PETRI网实时数据库系统并发控制
文献传递
基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测被引量：11
2004年
利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应系统的动态变化 .此外 ,本文利用 Petri网的化简技术 ,极大地简化了各站点的 Petri网模型 ,之后利用同步合成技术构造出整个系统的 Petri网模型 ,较好地解决了 Petri网的可达性分析中可能出现的状态 "爆炸 "问题 .
韩耀军蒋昌俊罗雪梅
关键词：分布式数据库系统并发控制死锁检测PETRI网共享合成化简
全选 清除 导出
共1页<1>
聚类工具0