期刊文献+
共找到33篇文章
< 1 2 >
每页显示 20 50 100
First-order approximate analytical expressions of oblique incident elastic wave at an interface of porous media saturated with a nonviscous fluid 被引量:1
1
作者 Dong-Yong Zhou Xing-Yao Yin +2 位作者 Xiao-Tao Wen Xi-Lei He Zhen-Hua He 《Petroleum Science》 SCIE CAS CSCD 2022年第6期2720-2740,共21页
The analysis technology of Amplitude Variation with Offset(AVO)is one of the important methods for oil and gas reservoir prediction.Zoeppritz equation and its approximations are the theoretical basis of AVO analysis,w... The analysis technology of Amplitude Variation with Offset(AVO)is one of the important methods for oil and gas reservoir prediction.Zoeppritz equation and its approximations are the theoretical basis of AVO analysis,which assumes that the upper and lower media of a horizontal interface are single-phase media.Limited by this assumption,AVO analysis has limited prediction and identification accuracy for complex porous reservoirs.In view of this,the first-order approximate analytical expressions of oblique elastic wave at an interface of porous media are derived.Firstly,the incident and scattering characteristics of various waves at the interface of porous media are analyzed,and the displacement vectors generated by these elastic waves are described by exponential function.Secondly,the kinematic and dynamic boundary conditions at the interface of porous media are discussed.Thirdly,by substituting the displacement vectors of incident and scattered waves into boundary conditions,the exact analytical equation is derived.Then,considering the symmetry of scattering matrix in the equation,the exact analytical expressions of each scattered wave are obtained.Furthermore,under the assumptions of small incident angle,weak elasticity at an interface of porous media,and ignoring the second-and higherorder terms,the first-order approximate analytical expressions are derived.Establishing a model of sandstone porous media with different porosity in upper and lower media,the correctness of the approximate analytical expressions is verified,and the elastic wave response characteristics of lithology and pore fluids are analyzed. 展开更多
关键词 first-order approximate expressions Oblique incident wave Elastic plane wave Porous media Scattering coefficient
原文传递
区域隐伏矿体三维定量预测评价方法研究 被引量:74
2
作者 陈建平 于萍萍 +2 位作者 史蕊 于淼 张顺昌 《地学前缘》 EI CAS CSCD 北大核心 2014年第5期211-220,共10页
矿产资源是人类赖以生存的物质基础,是人类社会进步的根本保障。近些年,随着浅部矿藏的减少,寻找深部隐伏矿体日益紧迫。文中通过对以往相关研究的梳理和总结,基于现代成矿理论、成矿预测理论和矿产资源勘查与评价理论,依托数据库技术... 矿产资源是人类赖以生存的物质基础,是人类社会进步的根本保障。近些年,随着浅部矿藏的减少,寻找深部隐伏矿体日益紧迫。文中通过对以往相关研究的梳理和总结,基于现代成矿理论、成矿预测理论和矿产资源勘查与评价理论,依托数据库技术、3S技术、三维可视化技术及现代数学理论与方法,综合地质、地球物理、地球化学、遥感等多元信息,探索了一套适用于区域隐伏矿体三维定量预测评价的方法和流程,提出了基于基础地质与矿产地质相结合的控矿因素定量表达方法,创新了不整合面、碳酸岩层等新变量的提取和以统计收敛性划分成矿有利区间等方法,成功将传统区域二维成矿预测方法与先进的三维可视化技术结合,使区域范围内矿产资源预测研究拓展到三维空间,更有利于区域范围内隐伏矿体的圈定工作,亦可为今后的三维预测工作提供参考。 展开更多
关键词 三维定量预测 隐伏矿体 立方体预测 控矿因素定量表达
在线阅读 下载PDF
亲属关系的逻辑意义及其自动推理 被引量:8
3
作者 陈振宇 袁毓林 +1 位作者 张秀松 周强 《计算机工程与应用》 CSCD 北大核心 2009年第16期43-47,共5页
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的... 用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。 展开更多
关键词 一阶谓词逻辑 亲属关系 自动推理 亲属关系表达式 求逆 化简
在线阅读 下载PDF
谓词/变迁系统对一阶谓词公式的建模 被引量:3
4
作者 耿霞 吴哲辉 张继军 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期9-15,共7页
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构... 研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。 展开更多
关键词 谓词/变迁系统 一阶谓词公式 逻辑联结词 二叉树 事实变迁 递归性质
在线阅读 下载PDF
基于谓词切片的字符串测试数据自动生成 被引量:4
5
作者 赵瑞莲 闵应骅 《计算机研究与发展》 EI CSCD 北大核心 2002年第4期473-481,共9页
字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径P\-ath上给定谓词的谓词切片的动态生成算法,以及基于谓词切片的字符串测试数据自动生成方法,并给出了字符串间距... 字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径P\-ath上给定谓词的谓词切片的动态生成算法,以及基于谓词切片的字符串测试数据自动生成方法,并给出了字符串间距离的定义.利用程序DUC(Definition_Use_Control)表达式,构造谓词的谓词切片;对任意的输入,通过执行谓词切片,获取谓词中变量的当前值;进而对谓词中变量的每一字符进行分支函数极小化,动态生成给定字符串谓词边界的ON-OFF测试点.实验表明:该方法是行之有效的. 展开更多
关键词 谓词切片 字符串测试数据 自动生成 动态生成算法 软件测试 软件开发
在线阅读 下载PDF
自适应预报过程状态的实时专家系统 被引量:1
6
作者 柴毅 黄席樾 +1 位作者 石为人 黄瀚敏 《重庆大学学报(自然科学版)》 EI CAS CSCD 1999年第4期58-62,共5页
通过把过程实时状态获取与预报过程未来状态相结合,预测过程的变化趋势,有效地克服滞后的影响,以增强专家系统的实时性,同时给出了一种实时状态的知识描述方法和结构形式。该方法可以应用于有延时、慢时变和不确定性的实际系统。
关键词 自适应预报 专家系统 实时控制 知识表达
在线阅读 下载PDF
基于miRNA表达谱的针刺治疗中重度变应性鼻炎疗效预测研究 被引量:2
7
作者 陈益丹 盛吉莅 +2 位作者 刘菁 章少颖 金肖青 《中国针灸》 CAS CSCD 北大核心 2022年第8期891-898,共8页
目的:分析针刺治疗中重度变应性鼻炎(AR)不同疗效患者血浆微小核糖核酸(miRNA)表达谱差异特征,为筛选针刺疗效可能生物标志物提供依据。方法:从33例接受针刺治疗的中重度AR患者中选择优效患者(优效组)与劣效患者(劣效组)各3例,采用人mi... 目的:分析针刺治疗中重度变应性鼻炎(AR)不同疗效患者血浆微小核糖核酸(miRNA)表达谱差异特征,为筛选针刺疗效可能生物标志物提供依据。方法:从33例接受针刺治疗的中重度AR患者中选择优效患者(优效组)与劣效患者(劣效组)各3例,采用人miRNA芯片检测技术分析两组患者治疗前后血浆miRNA的表达差异。另选择接受相同针刺治疗的中重度AR患者优效、劣效各10例,采用实时荧光定量PCR对芯片检测中差异表达的miRNA进行验证。对表达差异显著的miRNA进行生物信息学分析,预测其可能作用的靶基因,并利用基因本体(GO)及京都基因与基因组百科全书(KEGG)数据库对预测的靶基因进行注释。结果:共筛选出治疗前两组患者间存在差异表达的miRNA 51个,其中26个miRNA表达上调,25个miRNA表达下调;与治疗前比较,优效组治疗后有33个miRNA存在差异表达;实时荧光定量PCR验证结果示hsa-miR-126-3p、hsa-miR-15a-5p、hsa-miR-494-3p、hsa-miR-574-5p的表达与芯片检测结果趋势一致。GO/KEGG分析显示,两组间表达差异显著的miRNA参与调节多种生物学过程、分子功能和信号通路。结论:miRNA介导的多种生物学过程可能与针刺治疗中重度AR疗效应答有关,差异表达的miRNA有潜力作为预测针刺治疗AR有效性的非侵入性生物标志物。 展开更多
关键词 变应性鼻炎 中重度 针刺 疗效预测 微小核糖核酸(miRNA)表达谱 生物信息学
原文传递
一阶谓词公式关联矩阵的构造方法 被引量:1
8
作者 耿霞 张继军 吴秋兰 《计算机工程与应用》 CSCD 2014年第3期36-41,共6页
一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接... 一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。 展开更多
关键词 一阶谓词公式 关联矩阵 逻辑推理 二叉树 递归方法
在线阅读 下载PDF
日语中制约主语省略的若干因素 被引量:5
9
作者 崔崟 《燕山大学学报(哲学社会科学版)》 2006年第1期7-11,共5页
主语省略是语言中的普遍现象。日语句中的主语大量地、经常地被省略掉,主要因素有三个方面:从内向外看或从外向内看,日语的谓语有明显的方向指向性;复杂、发达的敬语表达方式暗示了主语的存在;日语授受表达句式中的潜在的人称指向特点... 主语省略是语言中的普遍现象。日语句中的主语大量地、经常地被省略掉,主要因素有三个方面:从内向外看或从外向内看,日语的谓语有明显的方向指向性;复杂、发达的敬语表达方式暗示了主语的存在;日语授受表达句式中的潜在的人称指向特点决定了句中主语要经常被省略掉。 展开更多
关键词 主语 省略 谓语方向指向 敬语 授受表达方式
在线阅读 下载PDF
基于混沌不透明表达式的不透明谓词混淆技术研究 被引量:4
10
作者 苏庆 孙金田 《计算机科学》 CSCD 北大核心 2017年第12期114-119,共6页
为了更好地进行代码混淆,提出了一种基于混沌映射和二次映射的混沌不透明表达式构造方法。根据混沌不透明表达式的定义,采用具有初值敏感依赖性、伪随机性、状态空间均匀分布性、多分支性和无特殊符号等性质的混沌映射。以二维帐篷映射... 为了更好地进行代码混淆,提出了一种基于混沌映射和二次映射的混沌不透明表达式构造方法。根据混沌不透明表达式的定义,采用具有初值敏感依赖性、伪随机性、状态空间均匀分布性、多分支性和无特殊符号等性质的混沌映射。以二维帐篷映射为例,创建与之相匹配的二次映射,将混沌映射的运行状态空间映射至表达式的结果空间,以进行混沌不透明表达式的构造。将混沌不透明表达式与不透明谓词相结合,形成了一种新的不透明谓词构造方法,同时提出了一种新构造谓词与原有谓词融合于一体的不透明谓词插入方法,两者结合形成了一种新型的不透明谓词混淆技术。实验结果表明,该技术令各项软件的复杂度指标都有明显的提升,并且增加的程序开销较小。 展开更多
关键词 代码混淆 混沌映射 混沌不透明表达式 二维帐篷映射 不透明谓词
在线阅读 下载PDF
责任型情态表达度研究——基于商务英语视角 被引量:2
11
作者 孙启耀 袁菲 《河北经贸大学学报(综合版)》 2015年第1期33-38,共6页
以韩礼德的功能语法理论为基础,研究商务英语语篇中责任情态的表达度。商务英语语篇中限定性情态词出现的频率最高,倾向于使用中量值和低量值的责任型情态来委婉地表达请求、意愿、许可和期望。另外,由于商务英语语篇具有很强的劝说性,... 以韩礼德的功能语法理论为基础,研究商务英语语篇中责任情态的表达度。商务英语语篇中限定性情态词出现的频率最高,倾向于使用中量值和低量值的责任型情态来委婉地表达请求、意愿、许可和期望。另外,由于商务英语语篇具有很强的劝说性,使得商务英语语篇具有主观隐性的情态取向,往往采用委婉含蓄的方式表明态度和观点,从而使其态度显得更加客观并易于接受。其高量值的责任型情态所占的比例低于低量值的比例。 展开更多
关键词 商务英语语篇 责任型情态 表达度 话语源 限定性情态词 谓语扩展式 情态量值 情态取向
在线阅读 下载PDF
中介逻辑演算系统MP^N及MF^N 被引量:1
12
作者 毛宇光 朱剑英 顾红芳 《模糊系统与数学》 CSCD 1999年第2期45-51,共7页
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、~和~的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统MFN,并证明了MPN与MP*、MFN与MF*的表达能力等价。
关键词 中介逻辑 命题演算 谓词演算 表达能力 三值逻辑
在线阅读 下载PDF
“名+动”非主谓式组合探微 被引量:1
13
作者 戚晓杰 田静 《东方论坛(青岛大学学报)》 2015年第1期83-87,共5页
汉语中"名+动"式组合一般表示主谓关系。一般来说,表示偏正关系的"名+动"式组合,都具有与之相对的"动+名"动宾式结构形式。"名+动"偏正式组合有其独特的表达功用与构成方式,它产生于汉语自身,... 汉语中"名+动"式组合一般表示主谓关系。一般来说,表示偏正关系的"名+动"式组合,都具有与之相对的"动+名"动宾式结构形式。"名+动"偏正式组合有其独特的表达功用与构成方式,它产生于汉语自身,古已有之,并非为现代汉语所特有,受外语的影响而得以大量涌现。在构成新的句法结构中,其组合功能也呈现出不同于"动+名"动宾式结构的特性,体现出语序在汉语语法中的地位之重要。 展开更多
关键词 “名+动” 非主谓式组合 表达功用 构成方式 组合功能
在线阅读 下载PDF
《三国史记》谓语类型与英语对应表述 被引量:1
14
作者 宁静 李春祥 《长治学院学报》 2013年第5期76-79,共4页
《三国史记》是王氏高丽大臣金富轼在1145年以古汉语写成的关于新罗、高句丽、百济时期历史的纪传体史书,书中包含了大量的古汉语语法现象,可从古汉语的角度对这些语法现象进行深入研究。《三国史记》古汉语中的谓语类型主要包括名词用... 《三国史记》是王氏高丽大臣金富轼在1145年以古汉语写成的关于新罗、高句丽、百济时期历史的纪传体史书,书中包含了大量的古汉语语法现象,可从古汉语的角度对这些语法现象进行深入研究。《三国史记》古汉语中的谓语类型主要包括名词用作谓语、形容词用作谓语、数词用作谓语、副词用作谓语、连动句式、兼语句式、谓语省略等等,例句比较丰富,将这些谓语类型与现代英语对应表述,可从对比语言学的角度对两种语言进行对比研究,分析两种语言语法现象的相同和不同之处,可为古汉语英译及古汉语和英语的教学和学习提供一点有益的借鉴。 展开更多
关键词 三国史记 古汉语 谓语类型 英语对应表述
在线阅读 下载PDF
PHVB:基于GEP的一阶谓词逻辑规则挖掘算法
15
作者 左劼 唐常杰 +3 位作者 陈瑜 徐开阔 林夏祥 朱军 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2008年第6期115-120,共6页
为了有效挖掘一阶谓词逻辑规则,提出了一种基于基因表达式编程(GEP)技术的挖掘算法:PHVB算法。提出了规范一阶谓词规则概念;设计了量词隐含、变元绑定策略,将一阶谓词规则挖掘问题转化为GEP算法能够解决的形式;提出了基于GEP的一阶谓词... 为了有效挖掘一阶谓词逻辑规则,提出了一种基于基因表达式编程(GEP)技术的挖掘算法:PHVB算法。提出了规范一阶谓词规则概念;设计了量词隐含、变元绑定策略,将一阶谓词规则挖掘问题转化为GEP算法能够解决的形式;提出了基于GEP的一阶谓词逻辑规则挖掘算法PHVB算法。实验结果表明,采用PHVB算法可以有效发现一阶谓词关联规则。 展开更多
关键词 一阶谓词逻辑 基因表达式编程 数据挖掘
在线阅读 下载PDF
统计样本请求条件语句谓词表达式的应用研究
16
作者 丁志刚 柯莉珍 苏厚勤 《计算机应用与软件》 CSCD 北大核心 2007年第10期90-93,共4页
在基于数据集市的统计分析系统中,由于数据源的数据量巨大,要获得有意义的统计结果,必须对源数据的样本集进行条件限定,需要在客户端自动生成限定样本集统计请求的条件语句。基于一种中文语义描述展现的数据集市,研究与实现三层计算架... 在基于数据集市的统计分析系统中,由于数据源的数据量巨大,要获得有意义的统计结果,必须对源数据的样本集进行条件限定,需要在客户端自动生成限定样本集统计请求的条件语句。基于一种中文语义描述展现的数据集市,研究与实现三层计算架构中客户端填充式条件语句的获取、优化及自动生成可解析执行的谓词表达式的关键技术。 展开更多
关键词 三层计算架构 数据集市 统计样本 条件语句 谓词表达式 联机分析处理
在线阅读 下载PDF
论单句中的“单”和复句中的“复”的真正含义
17
作者 杨吉春 《云南师范大学学报(哲学社会科学版)》 2000年第4期6-8,共3页
单句中的“单”含义深刻 ,它不象人们想象的那样是句子结构简单 ,而是句子的表述关系单一 ,只有一个谓语中心 ;复句中的“复”则与此相反 ,它是指表述关系复杂 ,有两个或者两个以上的谓语中心。各家各派对单复句的认识各异 ,标准不同 ,... 单句中的“单”含义深刻 ,它不象人们想象的那样是句子结构简单 ,而是句子的表述关系单一 ,只有一个谓语中心 ;复句中的“复”则与此相反 ,它是指表述关系复杂 ,有两个或者两个以上的谓语中心。各家各派对单复句的认识各异 ,标准不同 ,其结果也不一致。作者认为 ,表述关系的单一或复杂、谓语中心的多少才是确定区分单复句标准的前提。 展开更多
关键词 '单' '复' 表述关系 谓语中心 单句 复句
在线阅读 下载PDF
不同结果状态下教师反馈对二语语法结构习得的影响
18
作者 蔡晨 《外国语言文学》 2021年第1期89-101,111-112,共13页
以107名非英语专业大一新生为研究对象,通过前测-实验-后测的方法,探究不同结果状态下,教师的表情性反馈与纠错式反馈对学生主谓一致习得的影响。研究发现:(1)在负向结果状态下,表扬反馈对目标结构的提高效果要优于批评反馈,直接反馈对... 以107名非英语专业大一新生为研究对象,通过前测-实验-后测的方法,探究不同结果状态下,教师的表情性反馈与纠错式反馈对学生主谓一致习得的影响。研究发现:(1)在负向结果状态下,表扬反馈对目标结构的提高效果要优于批评反馈,直接反馈对目标结构的提高效果要优于间接反馈;(2)在正向结果状态下,表情性反馈和纠错式反馈存在交互效应。当教师为学习者提供表扬反馈时,直接反馈对目标结构的提高效果要优于间接反馈。研究表明,在学习结果状态引发的情境语境下,教师的表情性反馈能从认知资源优化和个体情绪调节等方面让学习者对纠错式反馈产生注意偏向或注意回避等效应,进而影响习得结果。 展开更多
关键词 结果状态 表情性反馈 纠错式反馈 主谓一致
原文传递
山西文水话中的“特指问无动把字句”
19
作者 吕佩 《山西大同大学学报(社会科学版)》 2022年第5期98-103,共6页
“特指问无动把字句”在山西文水方言中使用频率较高,用来询问话题对象的情状或处所。文章从共时平面出发,分析“特指问无动把字句”的句法特征、语义表达和语用功能,说明该句式是一种特殊的处置句式。
关键词 文水方言 特指问无动把字句 句法特征 语义表达 语用功能
在线阅读 下载PDF
“タ”的语气分析
20
作者 刘笑明 《天津外国语学院学报》 2002年第4期19-22,共4页
本文试分析了日语用于句末的助动词“タ”的语气含义和表达方法 ,重新分析了先人研究中的〈发现〉和〈实现〉的语气定义 ,提出了〈假设推定的“タ”〉、〈事前断定的“タ”〉以及〈感觉表达的“タ”〉的语气定义。围绕说话人和句子主语... 本文试分析了日语用于句末的助动词“タ”的语气含义和表达方法 ,重新分析了先人研究中的〈发现〉和〈实现〉的语气定义 ,提出了〈假设推定的“タ”〉、〈事前断定的“タ”〉以及〈感觉表达的“タ”〉的语气定义。围绕说话人和句子主语以及谓语用言的相互关系 ,从意识方面阐明“タ”的意义、表达方法和生成过程。 展开更多
关键词 说话人 谓语 "夕" 语气 表现意识
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部