期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
低幅构造分析方法研究——以塔里木盆地三道桥构造为例 被引量:16
1
作者 宁松华 漆立新 《石油天然气学报》 CAS CSCD 北大核心 2005年第3期341-344,共4页
提高地震采集和处理的分辨率,建立高精度的地震速度场和高分辨率的地震反演资料,是研究低幅度构造的有效方法。根据研究区以往的地震、地质资料,从地震速度研究着手,通过对大量地震速度谱分析,用平滑平均速度的方法建立了精细的三维变速... 提高地震采集和处理的分辨率,建立高精度的地震速度场和高分辨率的地震反演资料,是研究低幅度构造的有效方法。根据研究区以往的地震、地质资料,从地震速度研究着手,通过对大量地震速度谱分析,用平滑平均速度的方法建立了精细的三维变速场,并利用高阶统计量方法提取地震子波进行高分辨率地震反演,大大提高了薄储层的解释精度。通过分析研究重新落实了三道桥构造,对低幅度构造研究取得了较好的效果,为该区下一步油气勘探井位部署提供了可靠依据。 展开更多
关键词 塔里木盆地 地质构造 薄层 低幅度显示 地震数据处理 地震速度计算 地质构造图 子波
下载PDF
逆向工程动态信息的可视化技术 被引量:3
2
作者 李鹏 陈平 《计算机工程》 EI CAS CSCD 北大核心 2005年第1期84-86,共3页
理解面向对象系统是一项复杂的工作,由于分布、并发系统所具有的特性,程序与程序的运行不再一一对应,使这项工作更加困难。通过对程序进行植入,在程序运行时刻得到程序有关进程的动态信息,利用软件可视化技术,将这些动态信息清楚、准确... 理解面向对象系统是一项复杂的工作,由于分布、并发系统所具有的特性,程序与程序的运行不再一一对应,使这项工作更加困难。通过对程序进行植入,在程序运行时刻得到程序有关进程的动态信息,利用软件可视化技术,将这些动态信息清楚、准确地呈现出来,对于用户理解并发、分布面向对象系统有很大的帮助。 展开更多
关键词 逆向工程 动态信息 进程结构图 软件可视化
下载PDF
Transient Non-Thermal Mobility of CO for CO-NO Catalytic Reaction on Square Lattice: Monte Carlo Simulation
3
作者 M. Khalid A. U. Qaisrani M. G. Ullah 《Chinese Physics Letters》 SCIE CAS CSCD 2008年第4期1482-1485,共4页
We study a model based on precursor mechanism for CO-NO catalytic reaction on square lattice with Monte Carlo simulation. The precursor mechanism clearly demonstrates its impact on the phase diagram. The steady reacti... We study a model based on precursor mechanism for CO-NO catalytic reaction on square lattice with Monte Carlo simulation. The precursor mechanism clearly demonstrates its impact on the phase diagram. The steady reactive state (SRS) gets established. The width of reactive region increases by increasing the range of precursor mobility. When the precursor mobility is increased to third-nearest neighbourhood, the second-order transition disappears. 展开更多
关键词 ELEY-RIDEAL process PHASE-diagram HETEROGENEOUS CATALYSIS PRECURSOR MECHANISM HEXAGONAL SURFACES CUBIC structure SUBSURFACE MODEL CHEMISORPTION TRANSITIONS
下载PDF
圆机面料织针三角排列优化方法
4
作者 徐伟 胡淑芬 范沛飞 《针织工业》 北大核心 2022年第7期9-12,共4页
介绍面料设计人员和生产车间技术人员因专业知识的差异导致在圆机面料的织针三角排列图书写及认知中存在矛盾,通过一些常见的圆机针织品种为例,结合机器特点,从坯布质量、坯布外观风格等方面讨论不同织针三角排列的影响,并展示问题画法... 介绍面料设计人员和生产车间技术人员因专业知识的差异导致在圆机面料的织针三角排列图书写及认知中存在矛盾,通过一些常见的圆机针织品种为例,结合机器特点,从坯布质量、坯布外观风格等方面讨论不同织针三角排列的影响,并展示问题画法和优化方法。指出不同流程工作人员在工作中理论联系实际、建立符合工厂要求的工艺编制规范,在减少工艺错误、提高生产效率上的重要性。表明不同流程不同熟练程度的员工在相同的规则下工作,才能避免不必要的错误并提高效率。 展开更多
关键词 圆机面料 工艺结构 三角排列图 空气层 珠地网眼 胖花组织
下载PDF
基于可公度性理论的干旱预测方法研究
5
作者 李松旌 樊向阳 +3 位作者 景若瑶 胡超 王和洲 黄仲冬 《灌溉排水学报》 CSCD 北大核心 2020年第2期107-113,137,共8页
【目的】为可公度性理论在干旱预测预警领域的拓展和应用提供依据。【方法】以河南省为例,并依据该省1961―2016年历史干旱数据,基于可公度性理论,采用层次分析法和MATLAB、SAS软件进行干旱发生年份预测,并与前人预测结果及蝴蝶结构图... 【目的】为可公度性理论在干旱预测预警领域的拓展和应用提供依据。【方法】以河南省为例,并依据该省1961―2016年历史干旱数据,基于可公度性理论,采用层次分析法和MATLAB、SAS软件进行干旱发生年份预测,并与前人预测结果及蝴蝶结构图预测结果进行对比验证。【结果】基于可公度性理论的三元、四元和五元可公度预测模型,预测2014年河南省发生严重干旱的频数最高,即发生干旱可能性最大,这与实际相符;基于上述数据,预测河南省2030年前发生严重干旱的年份为2023年,这与蝴蝶结构图预测结果相符,并与前人研究结果一致。【结论】该方法用于区域性干旱发生年份的预测时具有较强的实用性;层次分析法及MATLAB、SAS软件的应用,大大提高了模型计算速度,并降低了主观因素对预测结果判别的人为影响,提高了计算结果的准确程度。 展开更多
关键词 可公度性理论 干旱预测 层次分析法 蝴蝶结构图
下载PDF
基于扩展UML图化简的过程模型冲突消解
6
作者 张婷 《计算机工程与设计》 CSCD 北大核心 2012年第10期3877-3881,共5页
为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证。提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理含有循环、重叠... 为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证。提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理含有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测。针对过程模型中的各个冲突提出相应冲突消解策略,便于对过程模型进行修改。 展开更多
关键词 过程模型 结构验证 图化简 冲突消解 UML活动图
下载PDF
系统理论过程分析在城市轨道交通列车运行控制系统设计中的应用 被引量:11
7
作者 闫宏伟 燕飞 +2 位作者 张仕杰 牛儒 唐涛 《城市轨道交通研究》 北大核心 2017年第11期55-59,63,共6页
使用STPA(系统理论过程分析)安全分析方法,针对北京燕房线实际设计案例中的典型系统级危险源,选取列车进站停车运营场景建立相应的分层控制结构模型,辨识不安全控制行为,分析列车运行过程中的危险致因和安全约束,结合实际工程项目转化... 使用STPA(系统理论过程分析)安全分析方法,针对北京燕房线实际设计案例中的典型系统级危险源,选取列车进站停车运营场景建立相应的分层控制结构模型,辨识不安全控制行为,分析列车运行过程中的危险致因和安全约束,结合实际工程项目转化为切实可行的安全需求和防护措施。表明STPA方法分析过程全面深入,不仅可以分析技术系统,还可以分析运营组织中的人为因素,可以更加全面辨识运营场景中所涉及的危险致因。 展开更多
关键词 轨道交通 全自动运行系统 安全分析方法 系统理论过程分析 安全约束 系统分层控制结构图
下载PDF
JAVA过程蓝图到抽象概念结构图的逆向映射与有效性 被引量:1
8
作者 刘建宾 《计算机科学》 CSCD 北大核心 2002年第6期143-146,18,共5页
1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构... 1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系. 展开更多
关键词 JAVA语言 程序设计语言 抽象概念结构图 逆向映射 有效性 过程蓝图
下载PDF
抽象逻辑结构图C++逻辑程序到概念程序的逆向映射
9
作者 刘建宾 《计算机工程与应用》 CSCD 北大核心 2002年第2期73-75,共3页
文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明。
关键词 C++过程蓝图 抽象逻辑结构图 有效性 程序设计 逻辑程序 概念程序 逆向映射
下载PDF
PASCAL过程蓝图到抽象逻辑结构图的逆向映射
10
作者 刘建宾 李小英 《计算机工程与设计》 CSCD 2002年第3期1-4,7,共5页
给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则,并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概... 给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则,并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理。 展开更多
关键词 过程蓝图 抽象逻辑结构图 有效性 程序设计 PASCAL语言 逆向映射
下载PDF
JACKSON程序规格说明到过程蓝图的映射
11
作者 刘建宾 《计算机应用与软件》 CSCD 1997年第2期19-25,41,共8页
本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程... 本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程序设计方法。 展开更多
关键词 JACKSON 结构化 程序设计 程序规格说明
下载PDF
水资源供用耗排回过程及其桑基图绘制
12
作者 程亮 吕学研 +2 位作者 肖立敏 白莹 李霄宇 《水电能源科学》 北大核心 2021年第6期37-41,共5页
再生水等非常规水源纳入水资源统一配置后,形成了多水源供用水结构,单向的供用耗排过程变为循环的供用耗排回过程。在多水源供用水结构矩阵构建、供用耗排回过程解析的基础上,提出了相应的桑基图图式与绘图方法,并应用于天津市滨海新区... 再生水等非常规水源纳入水资源统一配置后,形成了多水源供用水结构,单向的供用耗排过程变为循环的供用耗排回过程。在多水源供用水结构矩阵构建、供用耗排回过程解析的基础上,提出了相应的桑基图图式与绘图方法,并应用于天津市滨海新区。结果表明,桑基图可实现复杂供用水结构与供用耗排回过程的可视化表达与大量相关数据的有机整合,能为多水源优化配置和社会水文过程分析描述提供有力支撑;滨海新区已形成了以引滦引江水为主,开发利用淡化海水、再生水等非常规水源为辅,保证城市工业与生活用水,以当地地表地下水满足农村生产生活用水,并逐步减少开采深层地下水的多水源优化配置结构;2018年非常规水源供水比例达17.3%,其中再生水供水比例为4.6%,回用率9.7%,具备较大利用潜力。 展开更多
关键词 供用耗排回过程 多水源供用水结构 桑基图 天津市滨海新区
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部