期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
一种基于分离逻辑的块云存储系统验证工具 被引量:3
1
作者 张博闻 金钊 +1 位作者 王捍贫 曹永知 《软件学报》 EI CSCD 北大核心 2022年第6期2264-2287,共24页
云存储技术目前被广泛应用于人们的生产与生活中.验证云存储系统中管理程序的正确性,能够有效地提高整个系统的可靠性.块云存储系统(CBS)具有最接近底层的存储架构.运用交互式定理证明器Coq,实现了一种辅助验证工具,用于分析和验证CBS... 云存储技术目前被广泛应用于人们的生产与生活中.验证云存储系统中管理程序的正确性,能够有效地提高整个系统的可靠性.块云存储系统(CBS)具有最接近底层的存储架构.运用交互式定理证明器Coq,实现了一种辅助验证工具,用于分析和验证CBS中管理程序的正确性.基于分离逻辑的思想,对工具中证明系统的实现主要包括:首先,将CBS抽象为两层堆结构,定义建模语言形式化表示CBS的状态和管理程序;其次,定义描述CBS状态性质的堆谓词,并说明堆谓词间的逻辑关系;最后,定义描述程序行为的CBS分离逻辑三元组,以及制定验证三元组所需的推理规则.此外,还引入了几个证明实例,以此展示工具对实际CBS管理程序表示和推理的能力. 展开更多
关键词 分离逻辑 交互式定理证明器 块云存储系统 形式化验证 COQ
下载PDF
梳棉棉网中大棉块云斑的成因
2
作者 刘福印 王智 《棉纺织技术》 CAS CSCD 北大核心 1995年第5期53-53,共1页
梳棉棉网中大棉块云斑的成因为确保梳棉生条的质量,提高梳棉棉网的质量是关键。我们对梳棉机小漏底部分所引起的棉网中大棉块白云斑问题,进行了跟踪观察测试,现粗浅分析如下。1棉网中棉块的形成1.1小漏底与刺辊气流的关系小漏底... 梳棉棉网中大棉块云斑的成因为确保梳棉生条的质量,提高梳棉棉网的质量是关键。我们对梳棉机小漏底部分所引起的棉网中大棉块白云斑问题,进行了跟踪观察测试,现粗浅分析如下。1棉网中棉块的形成1.1小漏底与刺辊气流的关系小漏底的工艺上机要求:变形限度为弧度小于... 展开更多
关键词 梳棉 棉网 块云 成因 控制 棉纺
下载PDF
让每块云彩都下雨——泰安市泰山区加强薄弱学校建设纪实
3
作者 张兴华 姜炜明 《山东教育》 1996年第7期4-6,共3页
近年来,中小学生择校就读以及由此带来的义务教育阶段高收费问题,已成为困扰教育界的一大难题和社会广泛关注的热点。泰安市泰山区大力加强薄弱学校建设,提高每所学校的教学质量,让各校在同一起跑线上竞争的做法,为实施就近入学的规定... 近年来,中小学生择校就读以及由此带来的义务教育阶段高收费问题,已成为困扰教育界的一大难题和社会广泛关注的热点。泰安市泰山区大力加强薄弱学校建设,提高每所学校的教学质量,让各校在同一起跑线上竞争的做法,为实施就近入学的规定创造了实际的条件,可谓抓住了解决择校生问题的关键。不仅如此,建设好薄弱学校,让每个儿童享受到较高质量教育的机会,是义务教育法的精神实质所在,也是面向全体、全面提高教育质量的根本和应有之义。希望各地能从泰山区的经验中得到启示,下决心办好每所学校,特别是要在加强薄弱学校建设上多下功夫。 展开更多
关键词 薄弱学校建设 泰山区 泰安市 教学管理 东岳中学 综合治理 教育质量 块云 规范化 办学条件
下载PDF
利用水平井开发云2块边底水油藏 被引量:7
4
作者 王军 杨广林 谷维成 《断块油气田》 CAS 2003年第3期61-63,共3页
调研国内外油田利用水平井开发的实例 ,对比云 2块地质特征 ,认为此类型油藏适合水平井开采。通过建立目的层地质模型 ,利用水平井设计软件进行水平井设计 ,并完成了储量计算、产能预测、最终采收率计算及经济评价。应用IESX三维地震解... 调研国内外油田利用水平井开发的实例 ,对比云 2块地质特征 ,认为此类型油藏适合水平井开采。通过建立目的层地质模型 ,利用水平井设计软件进行水平井设计 ,并完成了储量计算、产能预测、最终采收率计算及经济评价。应用IESX三维地震解释软件及水平井地质设计软件 ,完成水平井设计任务。钻井中 ,对钻井轨迹实施实时监控 ,使井轨迹按设计运行 ,完成了一口垂深 2 2 30m、水平位移 1 0 99.47m的水平井 ,取得了较好的开发效果。 展开更多
关键词 水平井 开采技术 2 边底水油藏 开发 地质 储量 产能 采收率 经济评价 钻井
下载PDF
云3块沙三中储层综合评价与分类 被引量:1
5
作者 冯彦丽 南小鹏 +2 位作者 董庆生 弓翠花 朱俊生 《内蒙古石油化工》 CAS 2004年第S1期52-54,共3页
储层综合评价和分类是油藏研究的重要内容 ,也关系到一个油田开发战略的制订。本文针对古云集地区云 3块沙三中 1~ 5砂组进行了储层评价和分类。在研究过程中 ,采用了权重评价方法和聚类分析与贝叶斯 (bayes)判别结合方法进行评价分类 ... 储层综合评价和分类是油藏研究的重要内容 ,也关系到一个油田开发战略的制订。本文针对古云集地区云 3块沙三中 1~ 5砂组进行了储层评价和分类。在研究过程中 ,采用了权重评价方法和聚类分析与贝叶斯 (bayes)判别结合方法进行评价分类 ,最终得出了云 3块沙三中 1~ 5砂组在纵向和横向上有利储层的分布 ,为该块的开发提供了有用的依据。 展开更多
关键词 储层评价和分类 3 权重评价法 聚类分析 bayes判别
下载PDF
云3块调整完善的研究方法
6
作者 张天增 《内蒙古石油化工》 CAS 2003年第S1期85-86,共2页
云 3块是一个非常特殊的油藏 ,储层物性差、渗透性低 ,含油条带窄 ,上下含油各小层不垂直迭合 ,纵向上、平面上各油层的物性差异都很大 ,针对油藏特点 ,结合前线的实际情况 ,探索一套研究分析方法 ,研制调整完善方案 ,提高油藏开发水平。
关键词 3 特殊油藏 调整完善 研究 方法
下载PDF
海上气云影响区复杂断块油田河道刻画思路与挖潜——以渤中Y油田为例 被引量:1
7
作者 朱建敏 宋俊亭 +2 位作者 张占华 李扬 张俊廷 《复杂油气藏》 2018年第2期13-17,共5页
渤海南部海域渤中Y油田为复杂断块油田,主力含油层位为明化镇组下段,储层为分支状水下分流河道沉积,储层横向变化快。由于受浅层气云影响,部分断块地震反射杂乱,成像模糊,储层预测困难。气云区外,在区域沉积背景约束下,利用测井相、地... 渤海南部海域渤中Y油田为复杂断块油田,主力含油层位为明化镇组下段,储层为分支状水下分流河道沉积,储层横向变化快。由于受浅层气云影响,部分断块地震反射杂乱,成像模糊,储层预测困难。气云区外,在区域沉积背景约束下,利用测井相、地震相及小层地震属性,井震一体化完成河道刻画;气云区内,充分利用井眼资料识别河道边界,结合动态储量认识及油田整体沉积模式,参考气云区外河道走向趋势及河道间湾展布特征,由外向内完成了气云区内的河道刻画。利用研究成果在气云区内部署调整方案,开发井实钻油层厚度8 m,有效增加了储量动用程度,提高了油气采收率。 展开更多
关键词 复杂断 河道刻画 渤中Y油田 渤海南部
下载PDF
四川盆地震旦系灯影组灰泥丘发育特征及储集意义 被引量:88
8
作者 李凌 谭秀成 +5 位作者 曾伟 周涛 杨雨 洪海涛 罗冰 边立曾 《石油勘探与开发》 SCIE EI CAS CSCD 北大核心 2013年第6期666-673,共8页
基于岩心及野外剖面观测,研究四川盆地震旦系灯影组灰泥丘发育特征及其储集意义。四川盆地灯影组普遍发育台内小型灰泥丘,发育规模不大,单个旋回厚度多小于2 m,但其发育频率很高,尤其在灯影组二段和四段频繁出现。构成灰泥丘的颗粒主要... 基于岩心及野外剖面观测,研究四川盆地震旦系灯影组灰泥丘发育特征及其储集意义。四川盆地灯影组普遍发育台内小型灰泥丘,发育规模不大,单个旋回厚度多小于2 m,但其发育频率很高,尤其在灯影组二段和四段频繁出现。构成灰泥丘的颗粒主要为与蓝菌群落建造有关的凝块石、藻叠层、核形石及粘结岩等,这些微生物粘结捕获灰泥,为灰泥丘建造的主体,相关的岩石类型主要有藻粘结凝块云岩、藻粘结骨架云岩以及与藻粘结凝块云岩共生的波状—柱状藻叠层云岩等。多期灰泥丘呈明显正地貌特征,发育大量格架构造、斑马状构造与层状晶洞构造;具有完整的丘基—丘核—丘坪、丘基—丘核—丘盖2种沉积演化模式,前者最为普遍。灰泥丘与储集层关系密切,丘核常发育规模不等的孔洞,为油气聚集提供了良好条件,丘滩复合体构成了四川盆地灯影组的主力勘探对象。 展开更多
关键词 灰泥丘 蓝藻菌 藻粘结凝块云 藻粘结骨架 格架构造 震旦系灯影组 四川盆地 岩储集层
下载PDF
Segmentation of scattered point data through a new curvature analysis algorithm 被引量:3
9
作者 贺美芳 周来水 +1 位作者 张丽艳 刘胜兰 《Journal of Southeast University(English Edition)》 EI CAS 2004年第1期90-95,共6页
A systematic scheme is proposed to automatically extract geometric surface features from a point cloud composed of a set of unorganized three-dimensional coordinate points by data segmentation. The key technology is a... A systematic scheme is proposed to automatically extract geometric surface features from a point cloud composed of a set of unorganized three-dimensional coordinate points by data segmentation. The key technology is a algorithm that estimates the local surface curvature properties of scattered point data based on local base surface parameterization. Eight surface types from the signs of the Gaussian and mean curvatures provide an initial segmentation, which will be refined by an iterative region growing method. Experimental results show the scheme's performance on two point clouds. 展开更多
关键词 Feature extraction Image segmentation Three dimensional
下载PDF
牛角词典
10
作者 牛同运 《职业教育研究》 1998年第4期24-24,共1页
上课——听天书 学习——东一鎯头,西一棒槌。 复习——不知哪块云彩会下雨。 考试——狗咬剌猬无处下口。
关键词 牛角 牛津词典 走向世界 块云 狗咬 天书 考试 鎯头 亚洲
下载PDF
看天
11
作者 施宏玮 《档案与建设》 北大核心 1994年第5期45-45,共1页
闲情逸致的时候,偷偷爬上楼顶,看天。 看天,不如说看流云,一幅没有署名的多变而清新的画面。 躺下,眼前的气势磅礴令心境辽阔无边。 仿佛置身于烟雾迷离的白云之上,心旷神怡泛舟在伊甸园。 贫瘠的心尖蓦地冒出一块富绕的绿洲,豪奢的喜... 闲情逸致的时候,偷偷爬上楼顶,看天。 看天,不如说看流云,一幅没有署名的多变而清新的画面。 躺下,眼前的气势磅礴令心境辽阔无边。 仿佛置身于烟雾迷离的白云之上,心旷神怡泛舟在伊甸园。 贫瘠的心尖蓦地冒出一块富绕的绿洲,豪奢的喜悦倾注了全身。 展开更多
关键词 好人与坏人 伊甸园 绿洲 银灰色 豪奢 心境 烟雾 心尖 诗歌 块云
下载PDF
我和晶晶到天上玩
12
作者 于乐申涯 《早期教育(幼教·教育教学)》 1996年第5期23-23,共1页
晶晶家有棵大树,很高很高。树上有台阶,我和晶晶爬到天上去了。 太阳出来了,太阳光把天都染红了。我和晶晶赶快用云把太阳挡住。 我们把云变成水,倒在天上。天上全结成了冰,冰一点儿也不冷。
关键词 幼儿园 太阳 地毯 小朋友 光把 海安县 台阶 块云 小班 游戏
下载PDF
天街小雨
13
作者 钟铮 《语文世界(上旬刊)》 2001年第3期38-38,共1页
关键词 天街 海盐县 浙江省 小雨 韩愈 块云 油丝 奶酪 奶油
下载PDF
念家的女孩
14
作者 孙磊 《作文成功之路》 2004年第Z2期97-97,共1页
每见傍晚炊烟女孩就会想起灶前的母亲想起种田的父亲还有见生人就狂吠的阿黄和那温顺撒娇的猫咪
关键词 女孩 起种 母亲 职教中心 平度市 块云 脚丫 月宫 嫦娥 耳朵
下载PDF
Geochemistry and Zircon U–Pb age of the Yao'an pseudoleucite porphyry,Yunnan Province,China 被引量:10
15
作者 Chundi Sun Peng Wu +4 位作者 Die Wang Shenjin Guan Xiaojun Jiang Longyan Jiang Longyan Wang 《Acta Geochimica》 EI CAS CSCD 2017年第2期316-328,共13页
The Yao'an Pb–Ag deposit, located in the Chuxiong Basin, western Yangtze Block, is an important component of the Jinshajiang–Ailaoshan alkaline porphyry–related polymetallic intrusive belt. This complex suite o... The Yao'an Pb–Ag deposit, located in the Chuxiong Basin, western Yangtze Block, is an important component of the Jinshajiang–Ailaoshan alkaline porphyry–related polymetallic intrusive belt. This complex suite of rock bodies includes a vein of pseudoleucite porphyry within deposits of syenite porphyry and trachyte.The pseudoleucite is characterized by a variable greyish,greyish-white, and greyish-green porphyritic texture. Phenocrysts are mainly pseudoleucite with small amounts of alkali feldspar and biotite. In an intense event, leucite phenocrysts altered to orthoclase, kaolinite, and quartz.Both the pseudoleucite porphyry and the syenite porphyry samples were typical alkali-rich, K-rich, al-rich rocks with high LaN/YbNratios; enriched in light rare earth elements and large-ion lithophile elements, and depleted in high field strength elements; and with strongly negative Ta, Nb, and Ti(TNT) anomalies and slightly negative Eu anomalies—all characteristics of subduction-zone mantle-derived rock.We obtained a LA-ICP-MS zircon U–Pb age of 34.1 ± 0.3 Ma(MSWD = 2.4), which is younger than the established age of the Indian and Eurasian Plate collision.The magma derived from a Type-II enriched mantle formed in a post-collisional plate tectonic setting. The geochemical characteristics of the Yao'an pseudoleucite porphyry are powerful evidence that the porphyry'sdevelopment was closely linked to the Jinshajiang–Ailaoshan fault and to the Indian-Eurasian collision. 展开更多
关键词 GEOCHEMISTRY U-Pb age Pseudoleucite porphyry Pb-Ag deposit Yao'an Yunnan Province
下载PDF
Zircon U–Pb dating of Pubei granite and strontium isotope from sphalerite of the Xinhua Pb–Zn–(Ag) deposit,Yunkai Area of Guangxi Province,South China 被引量:2
16
作者 Minfang Wang Xubo Zhang +1 位作者 Daohui Pi Xiaonan Guo 《Acta Geochimica》 EI CAS CSCD 2016年第2期156-171,共16页
The Yunkai Area is located at the southern South China Block and is part of the Qinzhou Bay-Hangzhou Bay Metallogenic Belt, which is a famous polymetallic mineralization belt. The Xinhua Pb–Zn–(Ag)deposit is located... The Yunkai Area is located at the southern South China Block and is part of the Qinzhou Bay-Hangzhou Bay Metallogenic Belt, which is a famous polymetallic mineralization belt. The Xinhua Pb–Zn–(Ag)deposit is located in the western part of Yunkai Area, with an abundance of Pubei batholiths. Zircon U–Pb geochronology of Pubei batholiths shows that crystallization age ranges from 251.9 ± 2.2 to 244.3 ± 1.8 Ma, thus belonging to Indosinian orogeny. Geochemistry and Sr isotopic compositions of the Pubei batholiths show that it is derived from the partial melting of large scale crustal melting during the stage of exhumation and uplifting of the lower-middle crust. In addition, strontium isotope of sphalerite from the Xinhua Pb–Zn–(Ag) deposit, has limited ranges in ^(87)Rb/^(86)Sr and ^(87)Sr/^(86)Sr, ranging from 0.4077 to 1.0449, and 0.718720 to 0.725245, respectively. The initial ^(87)Sr/^(86)Sr ratios of sphalerite ranges between 0.718720 and 0.725245, which is higher than that of upper continental crust and lower than that of the Pubei batholiths, illustrating the fluid might be derived from the mixing of Pubei pluton and upper continental crust. 展开更多
关键词 Zircon U-Pb Strontium isotope XinhuaPb-Zn-(Ag) deposit Yunkai Area - South China
下载PDF
The Recent Crustal Deformation on the Sichuan-Yunnan Rhombic Block Boundaries
17
作者 Lü Yipei 1), Liao Hua 2), Su Qin 2) and Wang Lan 2) 1)Seismological Bureau of Sichuan Province, Chengdu 610041, China 2)Geodetic Brigade of Seismological Bureau of Sichuan Province, Ya’an 625000, China 《Earthquake Research in China》 2002年第4期304-314,共11页
Based on data from an across-fault survey along the Sichuan-Yunnan rhombic block boundaries, the recent deformation characteristics on each fault have been analyzed. It was found that the rate of crustal deformation i... Based on data from an across-fault survey along the Sichuan-Yunnan rhombic block boundaries, the recent deformation characteristics on each fault have been analyzed. It was found that the rate of crustal deformation is slowing down along the northern segment and increasing along the southern segment. Each fault has different features of deformation. The horizontal deformation is mainly characterized by left-lateral strike-slip. The rate of vertical deformation is less than that of the horizontal deformation. The faults have the feature of upper wall uplifting alternated with descending. The anomaly changes of crustal deformation at some sites are closely related to the seismicities near the sites. 展开更多
关键词 The Sichuan-Yunnan rhombic block Crustal deformation EARTHQUAKE Across-fault survey
下载PDF
The Spatial-temporal Distribution and Their Statistical Characteristics of Foreshocks in the Yunnan Region
18
作者 Zhao Xiaoyan Sun Nan Su Youjin 《Earthquake Research in China》 CSCD 2016年第2期166-176,共11页
We analyzed 223 earthquakes with M 1〉 5.0 that occurred in the Yunnan region during 1965 - 2014, among which 74 ( about 33. 2 % ) had foreshocks. There are great differences in foreshock populations in different te... We analyzed 223 earthquakes with M 1〉 5.0 that occurred in the Yunnan region during 1965 - 2014, among which 74 ( about 33. 2 % ) had foreshocks. There are great differences in foreshock populations in different tectonic blocks: the most abundant foreshocks occurred in the Lancang-Gengma and Tengchong-Baoshan blocks, which have the most abundant foreshocks in the Yunnan region. The predominant magnitude difference, time interval and spatial distance are 0. 5 -2. 9, within 10 days and within 20km, respectively. These characteristics can be used to forecast the mainshock after the identification of a foreshock. 展开更多
关键词 Yunnan region Foreshock Mainshock Magnitude difference
下载PDF
中原油田水平井地质评价技术 被引量:1
19
作者 陈昊 王军 莫小国 《国外油田工程》 2005年第7期42-44,共3页
水平井地质评价技术包括:目标区筛选、目标区油藏精细描述及剩余油分布研究、水平井油藏工程优化设计、水平井经济评价等内容。本文以水平井地质评价技术为基础,优选云2块作为中原油田水平井试验区,设计的云2-平1井,完钻深度3200m,水平... 水平井地质评价技术包括:目标区筛选、目标区油藏精细描述及剩余油分布研究、水平井油藏工程优化设计、水平井经济评价等内容。本文以水平井地质评价技术为基础,优选云2块作为中原油田水平井试验区,设计的云2-平1井,完钻深度3200m,水平位移1099.47m,经投产取得了较好的开发效果。 展开更多
关键词 水平井 油藏描述 井位设计 2断 中原油田 评价技术 地质 油藏精细描述 工程优化设计 剩余油分布研究
原文传递
七绝·澳门回归
20
作者 黄文彬 《西南民兵》 2000年第2期45-45,共1页
珠江西望水接云,大吕黄钟贺岛城。从此爱莲①情不尽,无人孤苦叹零丁②。
关键词 澳门回归 七绝 贵州凯里 军分区 政治部 黄钟 象征 块云 珠江 人周
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部