-
题名基于优先执行关系闭包运算的事务可串行化判定方法
被引量：2
- 1
-
-
作者
熊中敏
王佳艳
汪博
陈明
-
机构
上海海洋大学信息学院
农业部渔业信息重点实验室
-
出处
《计算机应用与软件》
北大核心
2019年第9期52-57,99,共7页
-
基金
国家自然科学基金项目(61702325)
上海市自然科学基金项目(16ZR14100)
上海市科技创新行动(16391902902)
-
文摘
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。
-
关键词
数据库
并发事务
可串行化
闭包计算
逻辑公式
-
Keywords
Database
Concurrent transaction
Serializability
closure calculation
Logical formula
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种自动搜索水准环及计算闭合差的方法研究
被引量：3
- 2
-
-
作者
蒋宏飞
刘伟东
王文胜
-
机构
国家测绘局第一大地测量队
-
出处
《测绘科学》
CSCD
北大核心
2012年第4期202-203,212,共3页
-
文摘
本文采用深度优先搜索算法(Depth-First-Search)实现自动搜索水准闭合环,并结合ArcGIS的图形拓扑关系技术来获得最小水准环的信息;将此项技术应用于水准测量闭合环的闭合差计算,最终实现了自动计算水准闭合环的闭合差及精度统计。
-
关键词
自动搜索
图形拓扑
水准闭合环
闭合差计算
精度统计
-
Keywords
automatic search
graphical topology
closed level ring
mis closure calculation
accuracy statistics
-
分类号
P208
[天文地球—地图制图学与地理信息工程]
-
-
题名高分辨率地震勘探在宋站地区油气田发现中的应用
- 3
-
-
作者
崔凤林
李勤学
-
机构
大庆油田物探公司研究所
-
出处
《石油物探》
EI
CSCD
北大核心
1991年第1期19-30,共12页
-
文摘
在宋站地区油气勘探中,我们应用高分辨率地震观测方法进行野外数据采集,取得了高宽频带的原始记录。采用谱白化、反Q滤波等手段进行资料处理,获得了分辨率和信噪比均较高的时间剖面。我们根据高分辨率地震资料精细对比小断层,作油气顶面构造图,计算断层封堵量,研究圈闭的含油气性,进行碳氢检测和油气富集区的预测。使得勘探了二十多年未见工业油气流的宋站地区有了新的突破,展示了高分辨率地震应用的良好前景。
-
关键词
地震
勘探
理论
-
Keywords
High Resdution Seismic Survey, Minor Fault Comparison, Fault -closure calculation, Oil/Gas Bearing Potentiality Study, Hydrocarbon Detection
-
分类号
P631.41
[天文地球—地质矿产勘探]
-
-
题名支撑裂缝长期导流能力数值计算
被引量：22
- 4
-
-
作者
温庆志
张士诚
王秀宇
朱松文
-
机构
中国石油大学石油天然气工程学院
大港油田公司采油三厂
-
出处
《石油钻采工艺》
CAS
CSCD
北大核心
2005年第4期68-70,共3页
-
文摘
运用FCES-100裂缝导流仪,研究了闭合压力、时间等因素对支撑裂缝长期导流能力的影响程度。实验表明,对一定粒径的陶粒,闭合压力和时间是影响导流能力的主要因素。在大量实验数据的基础上,应用统计原理,回归出长期导流能力随闭合压力和时间变化的函数表达式,并通过现场运用,验证了其准确性,对科学研究以及现场压裂施工具有指导意义,同时也是支撑裂缝长期导流能力计算方法的新尝试。
-
关键词
裂缝
导流仪
支撑剂
导流能力
闭合压力
数值计算
-
Keywords
fracture conductivity evaluation system prop pant flow conductivity closure pressure numerical calculation
-
分类号
TE357.1
[石油与天然气工程—油气田开发工程]
-
-
题名悬索桥主缆找形及索鞍设计位置闭合同步解析算法
被引量：2
- 5
-
-
作者
朱伟华
颜东煌
许红胜
-
机构
长沙理工大学土木工程学院
-
出处
《公路交通科技》
CAS
CSCD
北大核心
2023年第3期76-83,104,共9页
-
基金
国家自然科学基金项目(51878073)
湖南省研究生科研创新项目(CX20190649)。
-
文摘
悬索桥主缆找形及索鞍设计位置是悬索桥设计阶段主要设计参数。然而,由于2类计算不能同步进行的问题,及现有文献研究关于散索鞍设计位置计算不考虑索鞍弯矩平衡而存在计算不闭合的问题,为此提出闭合同步解析算法。根据悬链线方程理论及闭合条件,建立了主缆找形解析方程组。根据索鞍几何关系及变形协调关系,建立了索鞍设计位置解析方程组。基于散索鞍力矩平衡关系建立了平衡方程组,通过求解联立的26维非线性方程组,实现了成桥状态主缆找形及索鞍设计位置闭合同步计算。为验证计算方法的可靠性,将计算结果与分段悬链线理论计算值和有限元软件计算值进行了比较分析。结果表明:成桥状态主缆线形计算值与分段悬链线理论计算值及有限元值较吻合,计算吊杆长度比分段悬链线理论计算值及有限元值偏短,相对误差值控制在1.0 mm以内;成桥状态主缆无应力长度计算值与分段悬链线理论计算值及有限元值较为吻合,中跨主缆无应力长度误差最大,分别为2.4 cm和0.8 cm,误差率在1/15 000范围内;成桥状态主缆在索鞍切点坐标与索鞍设计位置计算值与分段悬链线理论计算值误差控制在2.0 cm以内。3种计算方法结果精度吻合度较高,验证了算法的高效性及可靠性,算法可推广到悬索桥设计计算理论。
-
关键词
桥梁工程
悬索桥
悬链线方程理论
主缆找形
索鞍设计位置
闭合同步计算
几何相容条件
-
Keywords
bridge engineering
suspension bridge
theory of catenary equation
main cable shape finding
cable saddle design position
closure synchronous calculation
geometric compatibility condition
-
分类号
U448.25
[建筑科学—桥梁与隧道工程]
-
-
题名悬臂浇筑连续梁桥合龙配重设置简析
被引量：1
- 6
-
-
作者
李建同
-
机构
重庆交通大学
-
出处
《江西建材》
2016年第15期150-150,共1页
-
文摘
简单叙述了悬臂浇筑连续梁桥合龙配重的概念以及计算方法,并以綦江河大桥为工程背景,具体介绍了悬臂浇筑连续梁桥合龙配重的计算及设置。
-
关键词
悬臂浇筑
连续梁桥
合龙配重
计算
-
Keywords
Cantilevered Concreting Continuous Girder Bridge closure Segment Ballasting calculation
-
分类号
U448.215
[建筑科学—桥梁与隧道工程]
-
