期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
逻辑程序的自动模式推导
1
作者 童梅 刘椿年 《计算机研究与发展》 EI CSCD 北大核心 1996年第2期81-92,共12页
本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法,并就其中的别名处理问题和定点计算问题进行了详细的讨论,提出了一种正确、有效的别名处理方法以及基于“扩展表”的定点求解算法。该方案已用Prolog语言实现。
关键词 抽象解释 模式推导 逻辑程序 PROLOG语言
在线阅读 下载PDF
《卖花女》潜台词意义推导模式解析
2
作者 尹惠民 《外国语文》 北大核心 2021年第4期54-64,共11页
本文运用美国哲学家H.P.格赖斯的意义推导模式,对萧伯纳《卖花女》剧本的潜台词和诸多语言文化现象进行会话含意推导分析,特别是对它的非字面信息的推导,进而帮助读者深入理解《卖花女》剧本中说话人的交际意图,潜台词的蕴涵意义等。
关键词 萧伯纳 《卖花女》潜台词 格赖斯会话隐含理论 合作原则 意义推导模式
在线阅读 下载PDF
译者的原文理解过程探讨 被引量:12
3
作者 宋旭 杨自俭 《四川外语学院学报》 2003年第5期117-121,共5页
以关联理论为参照,尝试建立一种译者原文理解推导模式,探讨译者在翻译理解过程中大脑机制的一般运作状态。
关键词 译者 关联理论 推导模式
在线阅读 下载PDF
Wavelength dependent loss of splice of single-mode fibers 被引量:1
4
作者 YANG Bo DUAN Ji-an +1 位作者 XIE Zheng XIAO Hong-feng 《Journal of Central South University》 SCIE EI CAS 2013年第7期1832-1837,共6页
After reviewing three different definitions of mode field diameter of single-mode fibers, coupled efficiency calculation methods associated with lateral offset, longitude separation and wavelength, the effects produce... After reviewing three different definitions of mode field diameter of single-mode fibers, coupled efficiency calculation methods associated with lateral offset, longitude separation and wavelength, the effects produced by them, and the influences of splicing defects were discussed in detail. The regularities of the effects were studied according to the first order derivation of couple efficiency formula, and a simplified formula for couple efficiency calculation was presented under the circumstance of slight misalignment, with respect to wavelength, 2, and in a good agreement with the theoretical model. The simplified formula provides a new but simple approach to evaluate wavelength dependent couple efficiency of single-mode fibers. Theoretical analyses and numerical calculations show that, when those defects exist, the wavelength produces additional effects on the couple loss that growth of wavelength causes an increase on the couple efficiency for the lateral offset or longitude separation whereas lessens the couple efficiency due to angular misalignment or mode fields mismatching, and that the wavelength degrades the couple efficiency distinctly when λ≥2.5 μm whereas it distorts the couple slightly in range of λ≤2λ≤2 μm. 展开更多
关键词 wavelength dependent loss couple efficiency single-mode fiber cut-offwavelength
在线阅读 下载PDF
Rock burst induced by roof breakage and its prevention 被引量:12
5
作者 何江 窦林名 +2 位作者 曹安业 巩思园 吕建为 《Journal of Central South University》 SCIE EI CAS 2012年第4期1086-1091,共6页
Based on the research on rock burst phenomenon induced by the breakage of thick and hard roof around roadways and working faces in coal mines, a criterion of rock burst induced by roof breakage (RBRB) was proposed a... Based on the research on rock burst phenomenon induced by the breakage of thick and hard roof around roadways and working faces in coal mines, a criterion of rock burst induced by roof breakage (RBRB) was proposed and the model was built. Through the model, a method calculating the varied stresses induced by roof breakage in support objects and coal body was proposed and a unified formula was derived for the calculation of stress increment on support objects and coal body under different breaking forms of roof. Whilst the formula for calculating dynamic load was derived by introducing dynamic index Kd. The formula was verified in Huating Mine by stress measurement. According to the formula for stress increment calculating, the sensitivities of dynamic load parameters were further studied. The results show that the thickness and breaking depth of roof, width of support objeet are the sensitive factors. Based on the discussion of the model, six associated effective methods for rock burst prevention are obtained. 展开更多
关键词 roof breakage dynamic load stress increment rock burst mining engineering
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部