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

鄂尔多斯盆地上古生界储层流体包裹体特征及其地质意义被引量：29: 1; 作者冯乔马硕鹏樊爱萍《石油与天然气地质》 EI CAS CSCD 北大核心 2006年第1期27-32,共6页; 鄂尔多斯盆地上古生界储层流体包裹体按成因可以分为继承性(非成岩)和非继承性(成岩)包裹体两类。后者又可根据流体成分分为盐水包裹体、CO2包裹体和烃类包裹体3亚类,每类均具有特定的地质意义。储层中发育两种颜色不同的荧光。流体包... 展开更多; 关键词流体包裹体类型荧光特征烃类充注鄂尔多斯盆地; 在线阅读下载PDF 职称材料

利用谓词/变迁网证明的一阶谓词逻辑命题被引量：2: 2; 作者方欢印玉兰徐誉尹《计算机工程》 CAS CSCD 北大核心 2006年第23期191-192,198,共3页; 研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。; 关键词网逻辑谓词/变迁网一阶谓词逻辑命题证明; 在线阅读下载PDF 职称材料

一种兼顾协议正确性验证和性能评估的Petri网方法被引量：2: 3; 作者范昊吴哲辉曾庆田《计算机科学》 CSCD 北大核心 2005年第12期48-52,共5页; 基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面... 展开更多; 关键词协议验证形式化分析时延PETRI网协议性能评估 0-1停止等待协议; 在线阅读下载PDF 职称材料

土地利用矢量数据交换文件VCT和Mapinfo数据格式的转换研究与实现被引量：7: 4; 作者鲍文东邵周岳邹杰《山东农业大学学报（自然科学版）》 CSCD 北大核心 2007年第1期103-110,共8页; 数据转换是国土资源信息化和数据整合迫切需要解决的问题。本文分析了土地利用矢量数据交换文件VCT和Mapinfo两种数据格式的异同及其对应关系,研究了VCT数据与MAPINFO数据格式(MIF和MID)的转换方法,构建了利用VCT标准交换接口与Mapinfo... 展开更多; 关键词土地利用矢量数据交换文件 VCT MAPINFO数据格式数据转换数据整合; 在线阅读下载PDF 职称材料

金融时间序列间的条件相关性分析与Copula函数的选择原则被引量：7: 5; 作者李述山《统计与决策》 CSSCI 北大核心 2010年第10期23-25,共3页; 类似于通常的非线性相关性度量,文章建立了时间序列间的几个条件相关性度量;提出了相关性分析中Copula函数选择的两个原则;通过构建Copula-EGARCH模型,将两个金融资产间的条件相关性分析转化为标准化残差间的相关性分析。通过沪深股市... 展开更多; 关键词条件相关性 ARCHIMEDEAN COPULA Copula-EGARCH模型非线性相关性; 在线阅读下载PDF 职称材料

布尔表达式的化简与并行排序网络验证被引量：1: 6; 作者王德才徐建国 +2 位作者吴哲辉罗永亮王传民《计算机工程与设计》 CSCD 北大核心 2009年第14期3322-3325,共4页; 为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具。对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质。设计出的... 展开更多; 关键词比较器网络 [0 1]原理布尔对称函数并行排序验证; 在线阅读下载PDF 职称材料

一种有效保持边缘的现场足迹边缘检测算法: 7; 作者王本强彭延军王本刚《系统仿真学报》 CAS CSCD 北大核心 2008年第S1期389-391,395,共4页; 现场足迹的背景图案以及灰尘等噪声往往对足迹细节特征的分析造成较大的干扰。为了能够准确的提取现场足迹的边缘,针对现场足迹的特点,在Canny算子的基础上,给出了一种有效的现场足迹边缘检测算法。首先使用高斯平滑抑制噪声,在二维高... 展开更多; 关键词 CANNY算子边缘检测非极大值抑制边缘方向现场足迹; 在线阅读下载PDF 职称材料

题名鄂尔多斯盆地上古生界储层流体包裹体特征及其地质意义被引量：29: 1; 作者冯乔马硕鹏樊爱萍; 机构山东科技大学地球信息与工程学院中国石油勘探开发研究院廊坊分院西北大学地质学系; 出处《石油与天然气地质》 EI CAS CSCD 北大核心 2006年第1期27-32,共6页; 基金国家重点基础研究发展规划(973)项目(2003CB214603); 文摘鄂尔多斯盆地上古生界储层流体包裹体按成因可以分为继承性(非成岩)和非继承性(成岩)包裹体两类。后者又可根据流体成分分为盐水包裹体、CO2包裹体和烃类包裹体3亚类,每类均具有特定的地质意义。储层中发育两种颜色不同的荧光。流体包裹体中的液态烃类发蓝色、蓝灰色荧光;胶结物中的烃类发浅黄色、黄绿色荧光。前者代表了充注时的石油特征;后者为石油被破坏后的结果。液态烃类包裹体的PVT模拟计算表明,石油是在相对较高的温度(120℃)和较高的流体压力(38．49 MPa)环境下充注的,至现今储层温度、压力均发生了显著下降,从而导致储层油气性质发生了明显改变。; 关键词流体包裹体类型荧光特征烃类充注鄂尔多斯盆地; Keywords type of fluid inclusion fluorescent characteristic hydrocarbon charging Ordos basin; 分类号 TE112.2 [石油与天然气工程—油气勘探]; 在线阅读下载PDF 职称材料

题名利用谓词/变迁网证明的一阶谓词逻辑命题被引量：2: 2; 作者方欢印玉兰徐誉尹; 机构安徽理工大学数理系山东科技大学信息与工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2006年第23期191-192,198,共3页; 基金国家自然科学基金资助项目(60173053); 文摘研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。; 关键词网逻辑谓词/变迁网一阶谓词逻辑命题证明; Keywords Enlogy Predicate/Transition net First-order predicate logic Proposition proving; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种兼顾协议正确性验证和性能评估的Petri网方法被引量：2: 3; 作者范昊吴哲辉曾庆田; 机构中国科学院计算技术研究所智能信息处理开放实验室山东科技大学信息与工程学院; 出处《计算机科学》 CSCD 北大核心 2005年第12期48-52,共5页; 基金国家自然科学基金资助课题(60173053); 文摘基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。; 关键词协议验证形式化分析时延PETRI网协议性能评估 0-1停止等待协议; Keywords Protocol validation, Formal analysis, Timed Petri Net, Protocol performance evaluates, 0-1 stop and wait protocol; 分类号 TP274.2 [自动化与计算机技术—检测技术与自动化装置] TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名土地利用矢量数据交换文件VCT和Mapinfo数据格式的转换研究与实现被引量：7: 4; 作者鲍文东邵周岳邹杰; 机构山东科技大学山东省土地勘测规划院山东科技大学地球信息与工程学院; 出处《山东农业大学学报（自然科学版）》 CSCD 北大核心 2007年第1期103-110,共8页; 基金国家自然科学基金(40574001); 文摘数据转换是国土资源信息化和数据整合迫切需要解决的问题。本文分析了土地利用矢量数据交换文件VCT和Mapinfo两种数据格式的异同及其对应关系,研究了VCT数据与MAPINFO数据格式(MIF和MID)的转换方法,构建了利用VCT标准交换接口与Mapinfo数据格式迁移土地利用数据库的算法流程,并进行了转换程序的编制和应用实例的验证。; 关键词土地利用矢量数据交换文件 VCT MAPINFO数据格式数据转换数据整合; Keywords Landuse Vector Data Exchange File VCT Mapinfo Data Format Data Translation Data Integration; 分类号 S646 [农业科学—蔬菜学]; 在线阅读下载PDF 职称材料

题名金融时间序列间的条件相关性分析与Copula函数的选择原则被引量：7: 5; 作者李述山; 机构山东科技大学信息与工程学院; 出处《统计与决策》 CSSCI 北大核心 2010年第10期23-25,共3页; 文摘类似于通常的非线性相关性度量,文章建立了时间序列间的几个条件相关性度量;提出了相关性分析中Copula函数选择的两个原则;通过构建Copula-EGARCH模型,将两个金融资产间的条件相关性分析转化为标准化残差间的相关性分析。通过沪深股市之间的条件相关性实证研究发现,在常见的几种Archimedean Copula中GS Copula与BB1 Copula对金融市场相关性的描述具有良好的效果,能够较全面地反映两个市场之间各种非线性条件相关性,并且沪市与深市之间的条件相关性很强。; 关键词条件相关性 ARCHIMEDEAN COPULA Copula-EGARCH模型非线性相关性; 分类号 F830 [经济管理—金融学]; 在线阅读下载PDF 职称材料

题名布尔表达式的化简与并行排序网络验证被引量：1: 6; 作者王德才徐建国吴哲辉罗永亮王传民; 机构山东科技大学信息与工程学院山东省蒙阴县地方税务局信息管理科; 出处《计算机工程与设计》 CSCD 北大核心 2009年第14期3322-3325,共4页; 文摘为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具。对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质。设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化。实验结果表明了该工具的有效性。; 关键词比较器网络 [0 1]原理布尔对称函数并行排序验证; Keywords comparison network binary theory Boolean symmetric function parallel sort validation; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种有效保持边缘的现场足迹边缘检测算法: 7; 作者王本强彭延军王本刚; 机构山东科技大学信息与工程学院上海申维影像科技有限公司; 出处《系统仿真学报》 CAS CSCD 北大核心 2008年第S1期389-391,395,共4页; 文摘现场足迹的背景图案以及灰尘等噪声往往对足迹细节特征的分析造成较大的干扰。为了能够准确的提取现场足迹的边缘,针对现场足迹的特点,在Canny算子的基础上,给出了一种有效的现场足迹边缘检测算法。首先使用高斯平滑抑制噪声,在二维高斯偏导卷积得到梯度边缘方向后由非极大值抑制和动态阈值边缘连接得到结果。相比较其它的算法,该算子不仅能够抑制噪声,而且能有效地保持边缘。; 关键词 CANNY算子边缘检测非极大值抑制边缘方向现场足迹; Keywords Canny operator edge detection Non-maximum suppression edge direction footprints on crime scene; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	鄂尔多斯盆地上古生界储层流体包裹体特征及其地质意义	冯乔马硕鹏樊爱萍	《石油与天然气地质》 EI CAS CSCD 北大核心	2006	29	在线阅读下载PDF 职称材料
2	利用谓词/变迁网证明的一阶谓词逻辑命题	方欢印玉兰徐誉尹	《计算机工程》 CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
3	一种兼顾协议正确性验证和性能评估的Petri网方法	范昊吴哲辉曾庆田	《计算机科学》 CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
4	土地利用矢量数据交换文件VCT和Mapinfo数据格式的转换研究与实现	鲍文东邵周岳邹杰	《山东农业大学学报（自然科学版）》 CSCD 北大核心	2007	7	在线阅读下载PDF 职称材料
5	金融时间序列间的条件相关性分析与Copula函数的选择原则	李述山	《统计与决策》 CSSCI 北大核心	2010	7	在线阅读下载PDF 职称材料
6	布尔表达式的化简与并行排序网络验证	王德才徐建国吴哲辉罗永亮王传民	《计算机工程与设计》 CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
7	一种有效保持边缘的现场足迹边缘检测算法	王本强彭延军王本刚	《系统仿真学报》 CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料