格值上下文无关文法的代数刻画

在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间的相互等价性。     

上下文无关文法最左推导的C语言实现

本文介绍了编译程序语法分析中使用的上下文无关文法及最左推导的相关概念,并对如何应用递归下降法来实现上下文无关文法的最左推导进行了详细的阐述。文中主要以简单算术表达式的上下文无关文法为例阐述实现的算法。     

论上下文及上下文词义

论上下文及上下文词义胡晓燕（安徽教育学院外语系合肥２３００６１）关键词上下文词义本质一、词的本义与上下文词义在阅读理解过程中，读者常常会遇到这种情况，字典里查到的词义无法解释在一篇文章中的某个词的词义。究其原因，主要是一些词的本义已部分失去，它们在特...     

上下文语境中词语的选择关系

:上下文语境可以使词语产生一种选择关系。词语的选择经历了相对静止、激烈竞争和优胜劣汰三个阶段。词语的选择关系包括 :相同类别和性质的词语的选择、不同类别和性质的词语的选择、在语言体系中属于不同层级的词语的选择和不同语言的词语的选择等。上下文语境是评价词语选择得好与不好的参考点     

识别Fuzzy上下文无关语言的下推自动机(英文)

首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上下文无关文法产生时,该语言可由Fuzzy下推自动机识别,从而达到了自动识别Fuzzy上下文无关语言的目的。     

试析影响运用上下文词义推测策略习得词汇的因素

上下文词义推测这一现象普遍存在于阅读过程中,L2读者可以通过上下文习得词汇,但由于上下文因素、L2读者阅读能力和词汇知识深度等因素不能确保所有的阅读者都能够从上下文推导出生词的意思.因此,上下文词义推测策略对于词汇习得作用受到了限制.     

蛋白质结构与密码子上下文关联的信息论研究

从信息学的角度，对人(Homo sapiens)的117个蛋白质和大肠杆菌(Ecoli)的185个蛋白质的各二级结构相对应的mRNA序列中的密码子上下文关联、蛋白质序列中氨基酸上下文关联作了统计分析，计算了各二级结构中密码子(氨基酸)上下文关联的信息剩余．结果显示，同义密码子关联有着不同于氨基酸关联偏好的反常现象，人和大肠杆菌蛋白质中反常的密码子分别占19％、16％左右；并对大肠杆菌中的稀有密码子的关联进行了讨论，发现稀有密码子的关联偏好Sheet和Coil二级结构．     

一种上下文集成的冲突处理方法

为了实现服务组合对环境的适应性,设计了能满足上下文动态集成的模型,并使用CC/PP的RDF创建P rofiles描述上下文。详细分析上下文集成中出现的冲突情况,定义优先级和效用因子,解决上下文集成中的冲突问题。结合原型系统进行测试,并给出了实验结果。研究结果表明:在不同的冲突策略情况下,该方法能在可接受的时间内解决冲突。     

组合范畴语法(CCG)的计算语言学价值

组合范畴语法(CCG)是在AB演算基础上进行扩展而产生的范畴语法.从语法理论视角看,CCG是一种词汇形式化的方法;从计算语言学视角看,CCG属于一类适度上下文相关文法;从逻辑语义学视角看,CCG在句法与语义的接口方面非常融洽.无论是CCG语言的、计算的,还是逻辑的特征,都使得CCG非常适用于自然语言信息处理,对于计算语言学具有很好的理论和实际价值.     

谈英语阅读如何利用上下文线索

阅读要求阅读效率,它包含阅读速度和理解正确率。而阅读速度一直是限制着许多英语学习者的一大障碍,本文 主要介绍并分析了在英语阅读中如何利用上下文线索来提高阅读速度,从而提高阅读效率。     

一个非线性偏微分方程广义解的存在性

本文是利用h-半连续的单调算子的理论证明一个非线性偏微分方程解的存在性。     

具连续能量的迁移算子的渐近点谱及其聚点

研究非均匀介质、各向异性和连续能量的有界凸体迁移算子A的渐近点谱及其聚点．在L^p(1≤p＜ ∞)空间证明了算子K=A-B的相对紧性，获得了算子A的渐近点谱以及谱聚点分布的新结果。     

算子方程A~nX(A~*)~n=B的解

利用算子矩阵分块技巧,在算子A值域闭的情况下研究了算子方程AnX(A*)n=B的解及正解的存在性,最后给出了正解的一般结构.     

Banach空间中非紧性条件下的隐式集值变分包含问题

建立了Banach空间中非紧性条件下隐式集值变分包含问题解的等价性与存在性命题及解的扰动算法所得的结果是已有结果的补充和拓广。     

一个相对论性动量算符公式的再讨论

指出算符^α描述独立于位形希尔伯特空间(即xyz的函数空间)之外的电子自旋空间,且与坐标无关;^α算符在坐标变换中保持不变.对易关系[^pi,^α]=0在坐标变换中保持不变.给出了任意正交曲线坐标系下相对论性动量分量的算符形式.     

一类拟微分算子的强Grding不等式

研究由S?类象征所规定的拟微分算子的Garding不等式,利用一对新的权函数Ψ,Ψ,导出了由S?(0相似文献   

修正Weyl型算子的L~2连续性的证明方法

对文献[1]中Wcyl型拟微分算子的L~2连续性的证明方法中的一个错误进行了修正。利用在象征中加入衰减因子的方法,得到了正确的证明。     

非线性积分算子的泰勒级数展开式

本文讨论了Banach空间中的泰勒级数,并给出了非线性Volterra积分算子的泰勒级数展开式。     

非线性调和方程Naver问题的Hardy不等式

主要研究了Laplace算子Δ、双重Laplace算子Δ2的Navier边界问题的第1和第2 Hardy不等式,并由此得出一些推论.同时也讨论了Dirichlet边界问题的情况.     

单项2n阶J-自伴微分算子谱的离散性

本文研究了一项2n阶复系数J-对称微分算式生成的J-自伴微分算子谱的离散性,得到了一项2n阶J-自伴微分算子的谱是离散的充分条件.