检索结果-维普期刊中文期刊服务平台

曲流河点坝内部构型的嵌入式建模方法研究被引量：33: 1; 作者范峥吴胜和 +2 位作者岳大力毕东亮温立峰《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第3期1-6,共6页; 针对曲流河点坝厚砂体内储层非均质性表征,提出一种点坝内部构型的嵌入式建模方法。该方法以点坝级次三维模型及点坝内部构型分析结果为基础,依次通过基于三维向量场的侧积面模式拟合、侧积面趋势控制的侧积层厚度插值以及网格局部加密... 展开更多; 关键词曲流河点坝内部构型侧积层嵌入式地质建模孤岛油田; 在线阅读下载PDF 职称材料

嵌入式软件建模、实现与验证:研究与进展被引量：10: 2; 作者胡军张岩 +3 位作者于笑丰王林章李宣东郑国梁《计算机科学》 CSCD 北大核心 2005年第12期16-23,共8页; 随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要... 展开更多; 关键词嵌入式软件嵌入式系统嵌入式建模实时软件; 在线阅读下载PDF 职称材料

基于嵌入式离散裂缝建模的Eagle Ford页岩油复杂水力裂缝综合表征被引量：8: 3; 作者 FIALLOS Mauricio MORALES Adrián +1 位作者 YU Wei MIAO Jijun 《石油勘探与开发》 SCIE EI CAS CSCD 北大核心 2021年第3期613-619,共7页; 使用嵌入式离散裂缝建模(EDFM)方法优化具有复杂裂缝系统的油藏的数值模拟,完善了前人的Eagle Ford页岩油综合描述技术。根据裂缝支撑类型对具有100000多个裂缝面的复杂裂缝系统进行分类后,对井底流压进行了历史拟合,对油田产量进行了预... 展开更多; 关键词嵌入式离散裂缝建模复杂裂缝水力裂缝裂缝网络油藏模拟页岩油; 在线阅读下载PDF 职称材料

砂砾质辫状河储层构型解剖及层次建模——以新疆油田重32井区齐古组油藏为例被引量：21: 4; 作者吴小军苏海斌 +3 位作者张士杰冯利娟王杰印森林《沉积学报》 CAS CSCD 北大核心 2020年第5期933-945,共13页; 针对准噶尔盆地风城油田上侏罗统齐古组砂砾质辫状河储层,利用岩芯、露头及密井网资料,结合砂砾质辫状河储层构型层次结构、模式拟合和嵌入式层次建模方法,确定了不同级次的构型界面,对砂砾质辫状河5~3级构型单元进行了识别,建立了不同... 展开更多; 关键词砂砾质辫状河储层构型三维地质建模嵌入式建模方法风城油田; 在线阅读下载PDF 职称材料

高可靠性智能灌溉系统的形式化验证方法被引量：3: 5; 作者许海洋王萍《农机化研究》北大核心 2015年第5期62-65,共4页; 针对智能灌溉系统中嵌入式软件的可靠性,提出了在软件的设计阶段,采用MARTE建立软件的系统模型,通过将软件模型转换为形式化模型,对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析,指出在本文假... 展开更多; 关键词智能灌溉系统可靠性嵌入式建模形式化验证; 在线阅读下载PDF 职称材料

面向对象的PRES网共享子网组合及应用: 6; 作者夏传良郭脉波 +1 位作者王壮壮孙琰《系统仿真学报》 CAS CSCD 北大核心 2023年第4期833-842,共10页; 针对嵌入式系统建模问题,提出了一种经由扩展Petri网共享子网得到组合网的解决方案。将面向对象技术与嵌入式系统的Petri网表示模型(PRES网)融合,得到一种面向对象的PRES网—OOPRES(object-oriented petri net based representation for... 展开更多; 关键词 PETRI网嵌入式系统建模组合活性有界性; 在线阅读下载PDF 职称材料

题名曲流河点坝内部构型的嵌入式建模方法研究被引量：33: 1; 作者范峥吴胜和岳大力毕东亮温立峰; 机构中国石油大学地球科学学院北京泰隆恒业高新技术有限公司中国石化石油勘探开发研究院; 出处《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第3期1-6,共6页; 基金国家科技重大专项课题(2011ZX05009-003) 国家自然科学基金项目(40902035) 教育部博士点新教师基金项目(20090007120003); 文摘针对曲流河点坝厚砂体内储层非均质性表征,提出一种点坝内部构型的嵌入式建模方法。该方法以点坝级次三维模型及点坝内部构型分析结果为基础,依次通过基于三维向量场的侧积面模式拟合、侧积面趋势控制的侧积层厚度插值以及网格局部加密的侧积层模型嵌入等3个主要技术环节,形成一套完整的嵌入式构型建模技术流程及算法实现,并应用孤岛油田某区块曲流河点坝储层内部构型的三维建模实例,对建模方法的有效性进行验证。结果表明:嵌入式构型建模方法可建立与井点条件化的点坝内部侧积夹层精细三维模型,并可对井间侧积层分布进行有效预测;采用的网格局部加密侧积层模型嵌入方式优化了不同构型级次及尺寸规模构型单元的三维网格表示。; 关键词曲流河点坝内部构型侧积层嵌入式地质建模孤岛油田; Keywords meandering river point bar internal architecture lateral accretion shale beddings embedding modeling Gud- ao Oilfield; 分类号 TE319 [石油与天然气工程—油气田开发工程]; 在线阅读下载PDF 职称材料

题名嵌入式软件建模、实现与验证:研究与进展被引量：10: 2; 作者胡军张岩于笑丰王林章李宣东郑国梁; 机构南京大学计算机软件新技术国家重点实验室计算机科学与技术系; 出处《计算机科学》 CSCD 北大核心 2005年第12期16-23,共8页; 基金国家自然科学基金(批准号 60203009 60233020) +1 种基金国家973项目(批准号 2002CB312001)的资助; 文摘随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。; 关键词嵌入式软件嵌入式系统嵌入式建模实时软件; Keywords Embedded software, Embedded system, Embedded modeling, Real-time software; 分类号 TP316 [自动化与计算机技术—计算机软件与理论] TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于嵌入式离散裂缝建模的Eagle Ford页岩油复杂水力裂缝综合表征被引量：8: 3; 作者 FIALLOS Mauricio MORALES Adrián YU Wei MIAO Jijun; 机构德克萨斯大学奥斯汀分校西德布莱德石油与地质工程系 SimTech有限责任公司切萨皮克(Chesapeake)公司; 出处《石油勘探与开发》 SCIE EI CAS CSCD 北大核心 2021年第3期613-619,共7页; 文摘使用嵌入式离散裂缝建模(EDFM)方法优化具有复杂裂缝系统的油藏的数值模拟,完善了前人的Eagle Ford页岩油综合描述技术。根据裂缝支撑类型对具有100000多个裂缝面的复杂裂缝系统进行分类后,对井底流压进行了历史拟合,对油田产量进行了预测,以更深入地了解复杂裂缝支撑效果对产量的影响。在为不同支撑类型裂缝组分配不同的压实曲线后估算的压降表明,如果采用EDFM方法而不是非结构网格方法进行裂缝建模和筛选,裂缝模型表达更精确,有效波及面积可能会小于非结构网格方法。方法优化后,能够将EDFM与第三方裂缝扩展模拟器自动耦合,同时考虑支撑剂强度沿复杂裂缝系统的变化。该方法能够从裂缝评价和多个全井眼的拟三维裂缝扩展结果中准确地模拟复杂的裂缝延伸和井间干扰,从而更准确地评价完井效果。; 关键词嵌入式离散裂缝建模复杂裂缝水力裂缝裂缝网络油藏模拟页岩油; Keywords EDFM complex fractures hydraulic fracturing fracture networks reservoir simulation shale oil; 分类号 TE319 [石油与天然气工程—油气田开发工程]; 在线阅读下载PDF 职称材料

题名砂砾质辫状河储层构型解剖及层次建模——以新疆油田重32井区齐古组油藏为例被引量：21: 4; 作者吴小军苏海斌张士杰冯利娟王杰印森林; 机构中石油新疆油田公司勘探开发研究院中石油新疆油田公司呼图壁储气库作业区长江大学录井技术与工程研究院; 出处《沉积学报》 CAS CSCD 北大核心 2020年第5期933-945,共13页; 基金国家自然科学基金项目(41502126,41802123) 国家科技重大专项(2016ZX05010005⁃004)。; 文摘针对准噶尔盆地风城油田上侏罗统齐古组砂砾质辫状河储层,利用岩芯、露头及密井网资料,结合砂砾质辫状河储层构型层次结构、模式拟合和嵌入式层次建模方法,确定了不同级次的构型界面,对砂砾质辫状河5~3级构型单元进行了识别,建立了不同级别构型分布样式、规模及三维构型模型。研究表明:1)研究区砂砾质辫状河4级构型单元主要包括心滩坝和辫状水道两类,辫状水道包括泥质半充填水道和泥质充填水道等构型单元,砂砾质辫状河3级构型单元包括心滩坝内部沟道及落淤层等;2)根据辫状河不同级次构型单元规模公式,对辫状河不同级次构型单元进行定量表征,结果表明,研究区单一砂砾质河道宽度50~180 m;单一充填河道宽度30~70 m,长度100~350 m;单一心滩坝宽度120~400 m,长度300~800 m;心滩坝内部落淤层长度和宽度分别为110~330 m、60~200 m,沟道长度和宽度分别为100~200 m、15~25 m;3)在精细构型解剖研究的基础上,提出利用层次建模与嵌入式建模结合的新方法建立构型三维模型。分层次建立了4级构型模型,而在心滩坝内部则采用规模约束建立落淤层、沟道以及填充河道3级构型单元模型,最终建立了与定性模式和定量规模相适应的多级次耦合三维构型模型。; 关键词砂砾质辫状河储层构型三维地质建模嵌入式建模方法风城油田; Keywords sand⁃gravel braided river reservoir architecture 3⁃D geological modeling embedded modeling Fengcheng oilfield; 分类号 P618.13 [天文地球—矿床学]; 在线阅读下载PDF 职称材料

题名高可靠性智能灌溉系统的形式化验证方法被引量：3: 5; 作者许海洋王萍; 机构青岛农业大学理学与信息科学学院南京航空航天大学计算机科学学院; 出处《农机化研究》北大核心 2015年第5期62-65,共4页; 基金江苏省普通高校研究生科研创新计划项目(CXLX12_0161); 文摘针对智能灌溉系统中嵌入式软件的可靠性,提出了在软件的设计阶段,采用MARTE建立软件的系统模型,通过将软件模型转换为形式化模型,对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析,指出在本文假设前提下,数据采集单元软件的故障率最大,在实际应用中应该有针对性的进行改善,有助于解决不利于可靠性的影响因素,提高整个智能灌溉系统的可靠性。; 关键词智能灌溉系统可靠性嵌入式建模形式化验证; Keywords intelligent irrigation system reliability embedded modeling formal verification; 分类号 S126 [农业科学—农业基础科学] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向对象的PRES网共享子网组合及应用: 6; 作者夏传良郭脉波王壮壮孙琰; 机构山东建筑大学计算机科学与技术学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2023年第4期833-842,共10页; 基金山东省自然科学基金(ZR2016FM19)。; 文摘针对嵌入式系统建模问题,提出了一种经由扩展Petri网共享子网得到组合网的解决方案。将面向对象技术与嵌入式系统的Petri网表示模型(PRES网)融合,得到一种面向对象的PRES网—OOPRES(object-oriented petri net based representation for embedded system)网。提出了一种OOPRES网共享子网组合操作方法,并对其组合网系统的活性和有界性的保持问题进行了研究。以智能交通系统的建模分析为例验证了该组合方法的有效性。结果可为Petri网系统组合性质的考察提供有效途径,为大规模复杂嵌入式系统建模提供有利手段,具有宽广的应用前景。; 关键词 PETRI网嵌入式系统建模组合活性有界性; Keywords Petri net embedded system modeling synthesis liveness boundedness; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	曲流河点坝内部构型的嵌入式建模方法研究	范峥吴胜和岳大力毕东亮温立峰	《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心	2012	33	在线阅读下载PDF 职称材料
2	嵌入式软件建模、实现与验证:研究与进展	胡军张岩于笑丰王林章李宣东郑国梁	《计算机科学》 CSCD 北大核心	2005	10	在线阅读下载PDF 职称材料
3	基于嵌入式离散裂缝建模的Eagle Ford页岩油复杂水力裂缝综合表征	FIALLOS Mauricio MORALES Adrián YU Wei MIAO Jijun	《石油勘探与开发》 SCIE EI CAS CSCD 北大核心	2021	8	在线阅读下载PDF 职称材料
4	砂砾质辫状河储层构型解剖及层次建模——以新疆油田重32井区齐古组油藏为例	吴小军苏海斌张士杰冯利娟王杰印森林	《沉积学报》 CAS CSCD 北大核心	2020	21	在线阅读下载PDF 职称材料
5	高可靠性智能灌溉系统的形式化验证方法	许海洋王萍	《农机化研究》北大核心	2015	3	在线阅读下载PDF 职称材料
6	面向对象的PRES网共享子网组合及应用	夏传良郭脉波王壮壮孙琰	《系统仿真学报》 CAS CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料