期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
地震序列属性分析在储层预测中的应用 被引量:3
1
作者 罗红明 朱培民 《世界地质》 CAS CSCD 2004年第2期187-191,200,共6页
地震属性是具体表征和研究地震数据内部所包含的时间、振幅、频率、相位以及衰减特性的指标。序列属性分析法作为一种地震属性数据的统计分析方法,可以使很细微的、不易被发现的统计规律会变得很明显。提取选定对比层位的序列属性参数... 地震属性是具体表征和研究地震数据内部所包含的时间、振幅、频率、相位以及衰减特性的指标。序列属性分析法作为一种地震属性数据的统计分析方法,可以使很细微的、不易被发现的统计规律会变得很明显。提取选定对比层位的序列属性参数的均值,在分别对同一属性的各层位数据排序的基础上,对各层排序情况进行总体评价,分析预测储层的含油气情况。经过与井资料反演和高阶统计量分析结果对比验证,证明了本方法储层预测的可行性。 展开更多
关键词 地震属性 序列属性分析 储层预测 排序 评价
下载PDF
时间属性序列图:语法和语义 被引量:5
2
作者 张鹏程 李必信 李雯睿 《软件学报》 EI CSCD 北大核心 2010年第11期2752-2767,共16页
为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的... 为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力.最后,对时间属性序列图进行了实例研究,显示了其广泛的应用前景. 展开更多
关键词 属性序列 时间属性序列 时间Büchi自动机 形式验证
下载PDF
属性序列图:形式语法和语义 被引量:6
3
作者 张鹏程 周宇 +1 位作者 李必信 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 2008年第2期318-328,共11页
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用... 在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景. 展开更多
关键词 时态逻辑 场景 属性序列 Büchi 自动机 模型检验
下载PDF
多粒度粗糙集模型中属性子集序列的构造方法
4
作者 姚晟 徐风 汪杰 《计算机应用》 CSCD 北大核心 2016年第11期2950-2953,2962,共5页
针对多粒度粗糙集模型中属性子集序列的构造问题,提出一种基于属性间距离的构造方法。该方法首先引入信息系统中属性间距离的概念,并给出距离的定量计算公式;然后根据公式来计算出各个属性之间的距离;最后根据属性之间距离的远近,得到... 针对多粒度粗糙集模型中属性子集序列的构造问题,提出一种基于属性间距离的构造方法。该方法首先引入信息系统中属性间距离的概念,并给出距离的定量计算公式;然后根据公式来计算出各个属性之间的距离;最后根据属性之间距离的远近,得到每个属性的邻域属性集,从而构造出一个属性子集序列。实验结果表明,与随机构造的属性子集序列相比,该方法构造的序列对于实验的每个对象类具有更高的近似精度。 展开更多
关键词 多粒度 属性子集序列 距离函数 近似精度
下载PDF
基于时间属性序列图的监控器构造方法
5
作者 叶俊民 辜剑 +2 位作者 陈曙 董威 舒绍娴 《小型微型计算机系统》 CSCD 北大核心 2015年第7期1426-1431,共6页
运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图... 运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图得到了广泛使用,研究基于序列图来自动生成监控器就显得十分有意义.提出基于UML2.0时间属性序列图的监控器的自动生成方法,其具体思想是使用时间属性序列图来描述要验证的需求规约,然后将整个序列图转换为时间自动机网络,构造出监控器.实验表明,该方法方便缺少形式化经验的软件工程师使用,所产生的监控器运行开销较小,能满足验证对实时性的要求,且有效缓解了监控器生成过程中的组合爆炸. 展开更多
关键词 时间属性序列 时间自动机 监控器 运行时验证
下载PDF
PSC2GS:一个基于属性序列图的监控器生成工具
6
作者 余俊 张鹏程 +1 位作者 周宇鹏 刘宗磊 《计算机科学》 CSCD 北大核心 2014年第9期84-87,共4页
在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property... 在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法。监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例。监控器可以提供足够的信息用来预测系统失效。正文中将描述一个名为"PSC2GS"的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能。PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式。 展开更多
关键词 运行时验证 监控器 属性序列 面向方面编程
下载PDF
基于序列特征的网络流分类方法研究
7
作者 武佳宁 《电子设计工程》 2013年第23期111-113,共3页
如今,对网络流量中各种应用进行准确分类和识别已经变得越来越重要,针对目前流量分析研究的不足,本文综合国内外相关研究成果,提出了在双向动态网络流模型的基础上,采用细粒度的Packet-Level序列特征属性对流量进行分析,建立序列特征属... 如今,对网络流量中各种应用进行准确分类和识别已经变得越来越重要,针对目前流量分析研究的不足,本文综合国内外相关研究成果,提出了在双向动态网络流模型的基础上,采用细粒度的Packet-Level序列特征属性对流量进行分析,建立序列特征属性与网络流类型之间的关联关系,实现了一种高效的、与端口无关的网络流分类方法。 展开更多
关键词 流量识别 双向动态网络流 序列特征属性 网络流分类
下载PDF
基于全字语义的摘要结构功能自动识别研究 被引量:22
8
作者 沈思 胡昊天 +1 位作者 叶文豪 王东波 《情报学报》 CSSCI CSCD 北大核心 2019年第1期79-88,共10页
学术文献摘要的各个结构都具有特定的功能,但是目前对学术文献摘要结构功能自动识别的研究相对较少,且存在方法较为传统、识别效果不显著的问题。以摘要文本中的字为基本语义单位,本文以基于具有序列属性的LSTM-CRF模型的深度学习方法,... 学术文献摘要的各个结构都具有特定的功能,但是目前对学术文献摘要结构功能自动识别的研究相对较少,且存在方法较为传统、识别效果不显著的问题。以摘要文本中的字为基本语义单位,本文以基于具有序列属性的LSTM-CRF模型的深度学习方法,利用摘要中所有字所包含的语义信息,构建了期刊论文摘要结构功能自动识别模型,并与具有非序列属性的SVM模型与具有序列属性的RNN模型、CRF模型和LSTM模型进行了多个角度地对比。本文提出的模型在摘要结构功能识别的准确率、召回率和F值上均取得显著效果,F值最高达到85.47%。与RNN模型、CRF模型、LSTM模型和SVM模型相比,LSTM-CRF的平均整体性能分别提升了33.63%、39.13%、32.81%和38.33%。 展开更多
关键词 全字语义 序列属性 摘要结构功能识别 LSTM-CRF
下载PDF
面向Artifact的业务流程行为相似性度量方法 被引量:2
9
作者 刘海滨 刘国华 +1 位作者 王颖 赵丹枫 《小型微型计算机系统》 CSCD 北大核心 2013年第3期475-479,共5页
面向Artifact的业务流程是以数据为中心的业务流程的代表.与传统以过程为中心的业务流程相似,为了更好的对流程模型进行流程检索、流程挖掘等操作,计算流程间的相似性或距离是一个关键的问题.给出一种面向Artifact的业务流程行为相似性... 面向Artifact的业务流程是以数据为中心的业务流程的代表.与传统以过程为中心的业务流程相似,为了更好的对流程模型进行流程检索、流程挖掘等操作,计算流程间的相似性或距离是一个关键的问题.给出一种面向Artifact的业务流程行为相似性度量方法.首先,通过测量流程模型之间关键Artifact的相似性来评估流程处理的核心业务数据的相似度.其次,根据关键Artifact生命周期特性,测量任务执行路径中任务依赖关系的相似性.最后,测量生命周期中关键Artifact属性赋值序列的相似性.理论和实例分析表明,该方法是一个有效的相似性度量方法. 展开更多
关键词 业务流程管理 ARTIFACT PETRI网 任务依赖关系 属性赋值序列
下载PDF
在线医疗服务组合的验证方法研究 被引量:2
10
作者 滕剑锋 胡珊珊 《医学信息学杂志》 CAS 2012年第7期15-19,32,共6页
介绍在线医疗服务组合设计方法,描述在线医疗助理的属性序列图,提出一种基于模型检验的在线医疗服务组合验证方法并进行实验评估,从理论和实验两方面分析该方法的可行性和有效性。
关键词 在线医疗助理 远程医疗 WEB服务组合 模型检验 属性序列
下载PDF
Genetic Diversity of Indocalamus Determined by Chloroplast DNA Sequence 被引量:1
11
作者 牟少华 郄光发 彭镇华 《Agricultural Science & Technology》 CAS 2010年第4期50-52,89,共4页
[Objective]The aim was to research the relationship and genetic diversity of Indocalamus.[Method]Using 13 samples of Indocalamus and 3 samples of Sasa as materials,the intergenic regions of trnL-trnF gene in chloropla... [Objective]The aim was to research the relationship and genetic diversity of Indocalamus.[Method]Using 13 samples of Indocalamus and 3 samples of Sasa as materials,the intergenic regions of trnL-trnF gene in chloroplast were amplified by PCR,and sequence analysis and phylogenetic trees construction were carried out.[Result]Using the universal primer,the intergenic regions of trnL-trnF were amplified,the lengths of the segments varied from 1 008 bp to 1 103 bp,of which 940 bp was compared.The dendrogram of trnL-trnF sequences showed that Indocalamus and Sasa were clustered together and they were homologous by 99%.All the samples were divided into five groups,the first group included 12 samples such as Indosalamus pedalis,I.pumilus,I.victorialis,I.longiauritus,I.tessellatus,Sasa sinica,Sasa pygmaea,I.barbatus,I.guangdongensis,I.herklotsii,I.Hirtivaginatus and S.fortunei.I.decorus,I.lacunosus,I.Latifolius and I.Migoi were respectively divided into four groups.[Conclusion]The high homology of all samples showed the low evolution speed and little information sites which suggested that the phylogeny of Indocalamus could not be well resolved by the intergenic region of trnL-trnF. 展开更多
关键词 INDOCALAMUS Chloroplast DNA SEQUENCE DIVERSITY
下载PDF
以Artifact为中心的业务流程相似度计算方法 被引量:1
12
作者 宋爱华 周丽 +2 位作者 殷昱煜 李莹 高洪皓 《计算机集成制造系统》 EI CSCD 北大核心 2016年第2期406-412,共7页
为了在计算流程模型相似度时考虑到业务流程数据,解决以Artifact为中心的业务流程模型相似性度量问题,分析了业务流程执行过程中对数据的操作,提出了一种面向以Artifact为中心的业务流程相似度计算方法。对以Artifact为中心的流程模型... 为了在计算流程模型相似度时考虑到业务流程数据,解决以Artifact为中心的业务流程模型相似性度量问题,分析了业务流程执行过程中对数据的操作,提出了一种面向以Artifact为中心的业务流程相似度计算方法。对以Artifact为中心的流程模型的定义进行了扩展,增加了数据属性操作的描述;抽取Artifact数据属性的操作序列,将业务流程模型分解为Artifact数据属性操作序列集合;对数据属性操作序列进行分类,计算不同业务流程模型间数据属性操作序列相似度,进而得到以Artifact为中心的业务流程模型间的相似度。实验结果表明,该方法不仅体现了业务流程模型的数据操作特性,也体现了业务流程模型的行为,为以Artifact为中心的流程模型相似度计算提供了一种可行的方法。 展开更多
关键词 ARTIFACT 业务流程管理 流程相似性 数据属性操作序列
下载PDF
基于形态学序列和多源先验信息的城市建筑物高分遥感提取 被引量:4
13
作者 李治 隋正伟 +2 位作者 傅俏燕 郑琎琎 卜桐 《遥感学报》 EI CSCD 北大核心 2023年第4期998-1008,共11页
城市建筑物自动提取是高分辨率遥感影像理解的重要研究方向,其对于城市基础地理信息更新和城市生态保护均具有重要的应用价值和实际意义。然而由于城市场景的复杂性和建筑物形态的多样性降低了空间特征的综合表达能力,成为了制约城市建... 城市建筑物自动提取是高分辨率遥感影像理解的重要研究方向,其对于城市基础地理信息更新和城市生态保护均具有重要的应用价值和实际意义。然而由于城市场景的复杂性和建筑物形态的多样性降低了空间特征的综合表达能力,成为了制约城市建筑物自动提取的瓶颈问题。为此,本研究在综合分析城市建筑物不同模式空间特征的基础上,提出了一种多模式形态学序列特征和多源先验信息协同的城市建筑物高分遥感自动提取方法。该方法在提取高分遥感多模式形态学序列特征的基础上,引入多源先验信息构建自适应分割模型对其进行自适应分割与信息融合,从而实现城市建筑物信息的自动提取。实验结果表明,本文方法能够准确且自动的提取城市建筑物信息,结果的准确性均优于DMPs和DAPs算法。 展开更多
关键词 形态学结构序列 形态学属性序列 特征显著水平模型 自适应分割模型 决策级信息融合 多源先验信息
原文传递
基于语义关联的实例相似度计算方法及应用研究 被引量:2
14
作者 梁少星 《现代情报》 CSSCI 北大核心 2015年第8期151-156,共6页
相似度计算方法的优劣直接影响到信息检索与推荐的效果。本文根据本体图模型中属性序列的特点,综合考虑层次关系和属性关系,在分析路径关联相似度、层次相交关联相似度及属性相交关联相似度的影响因素的基础上给出了实例之间综合语义相... 相似度计算方法的优劣直接影响到信息检索与推荐的效果。本文根据本体图模型中属性序列的特点,综合考虑层次关系和属性关系,在分析路径关联相似度、层次相交关联相似度及属性相交关联相似度的影响因素的基础上给出了实例之间综合语义相似度的计算方法。文章最后讨论了该相似度计算方法在解决基于内容的推荐中的过于专门化问题、协同过滤推荐中的稀疏性问题以及检索中查全率和查准率问题中的应用。 展开更多
关键词 语义关联 相似度计算 本体 属性序列
下载PDF
基于博弈论的开放环境下场景规约监控语义 被引量:2
15
作者 张鹏程 李宣东 李雯睿 《中国科学:信息科学》 CSCD 2014年第2期263-283,共21页
在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从... 在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景. 展开更多
关键词 开放环境 场景规约 属性序列 多值监控语义 博弈结构
原文传递
试验性股票指数的建立 被引量:1
16
作者 喻思慧 《品牌》 2015年第12期196-,共1页
在股票市场里,上证指数涨跌情况和走向趋势是投资者们做出决策时最重要的依据之一。然而很多时候它显示出来的数据都存在着一些"失真"的现象,更是难以发挥经济"晴雨表"的功能。笔者深入分析之后发现了上证指数的编... 在股票市场里,上证指数涨跌情况和走向趋势是投资者们做出决策时最重要的依据之一。然而很多时候它显示出来的数据都存在着一些"失真"的现象,更是难以发挥经济"晴雨表"的功能。笔者深入分析之后发现了上证指数的编制中存在一些不科学合理之处,希望借此引起有关部门重视,并且尝试引进成交量要素和时间序列属性,为上证指数的完善提供思路。 展开更多
关键词 上证指数 成交量 权重 时间序列属性
原文传递
Some conditional results for conditionally strong mixing sequences of random variables 被引量:1
17
作者 YUAN DeMei LEI Lan 《Science China Mathematics》 SCIE 2013年第4期845-859,共15页
The relation between strong mixing and conditionally strong mixing is answered by examples,that is,the strong mixing property of random variables does not imply the conditionally strong mixing property,and the opposit... The relation between strong mixing and conditionally strong mixing is answered by examples,that is,the strong mixing property of random variables does not imply the conditionally strong mixing property,and the opposite implication is also not true.Some equivalent definitions and basic properties of conditional strong mixing random variables are derived,and several conditional covariance inequalities are obtained.By means of these properties and conditional covariance inequalities,a conditional central limit theorem stated in terms of conditional characteristic functions is established,which is a conditional version of the earlier result under non-conditional case. 展开更多
关键词 strong mixing conditionally strong mixing conditional covariance inequality conditional inde- pendence conditional stationarity conditional central limit theorem
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部