退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋忠远; 宋文; 姚建;
中国计算机学会;
增广Petri网; 数据库; 并发控制模型; 禁止弧; 容许弧; 一次封锁法; S-不变量; 形式化模型验证;
机译:基于数据库迁移的分布式数据库系统及其并发控制机制
机译:包含并发控制机制的数据库分配模型
机译:基于组件的分布式数据库并发控制机制的设计与实现
机译:基于Petri网的数据库系统并发控制模型
机译:用于实时数据库系统的基于语义的并发控制协议和分布式软件代理。
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:分布式数据库系统中并发控制的Petri网建模
机译:集中式和分布式数据库并发控制机制研究综述
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:程序,列车运行自适应PETRI NET模型生成器,列车测距安排支持装置,列车运行自适应PETRI NET模型生成装置和列车测距安排支持方法
机译:基于增广度目标运动的镜面展示增广度渲染方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。