扩展XML-RL查询语言的实现

XM L的迅猛发展使得对XM L查询语言的需求进一步地增强.XM L查询语言已成为一个新的研究热点.XM L-RL是基于规则的查询语言,扩展XM L-RL查询语言支持关于面向对象的XM L文档的查询.介绍了扩展XM L-RL查询语言后,按照查询处理流程描述了扩展XM L-RL的实现.     

完全稠密二叉偏序理论的量词消去(Ⅰ)

给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤,R,*}中的六类基本公式,通过考虑不同基本公式合取的量词消去情况, 来证明完全稠密二叉偏序理论在语言L={≤,R,*}中具有量词消去的性质. 着重考虑了同类基本公式合取的量词消去情况,并给出消去的算法.     

翻译——英语教学中有效的母语策略

本文对母语思维和母语知识在L2学习中的积极作用进行了回顾,着重从理论方面对母语学习与L2学习的相关性问题作了初步的探讨,指出翻译是母语教学的主要手段.最后本文强调在L2教学中,教师应当将学生的母语知识和技能作为一种学习资源,通过翻译能力的培养逐步提高英语教学效果和学生的语言能力.     

基于LDAP的目录服务分析与实践

介绍了轻度目录访问协议 L DAP和相关的应用程序接口 .客户服务器模式下 L DAP客户程序能很容易地访问服务器上的人员、组织和其它资源信息 .由于 L DAP用于全球目录服务 ,其数据被组织成层次结构 ,数据从根开始向下分枝到独立的目录项 ,最后用网景公司 L DAP的 C语言开发包编写了一个简单的 L DAP客户端程序段 ,该例子对于一个具有简单数据需求的组织应该如何设计相应的目录树提供了一种详细的方法 .图 2 ,参 4     

线性语言的有限性性质

1.引言大家知道,语言类的某种“有限性”性质无论对形式语言理论还是对应用都有很大的价值。1958年,A.Nerode[1]曾得到正则语言类的一个有限性性质,即,语言L∑~*是正则的,当且仅当L等于∑~*上一有限指数右同余关系的若干等价类之并。近年,H.Prodinger[2]和郭聿琦等[3]研究了由滤子定义的右同余,得到了一些深刻的结果。遗憾地是,就     

Rees定理在稠密正规语言中的一个应用

称可被有限自动机识别的语言为正规语言 .字母表 A上的语言 L称为稠密的 ,如果 A*中每个字都是 L中字的子字 .不能写为其他字的幂的非空字称为本原字 ,不是本原字的非空字称为非本原字 .Shyr等提出如下猜想 :每个稠密正规语言中含有非本原字 ,本文利用 Rees定理给出这一猜想的证明     

格值正则语言的逼近性质

文章主要在格半群L=[0,1]上研究了格值正则语言的逼近性质,从覆盖、拟正定等方面给出了格值正则语言可被正则语言逼近的充分或必要条件.     

一种三状态图灵机的设计

给出了接受语言L={0n1n|n≥0}的仅有3个状态的图灵机的一种设计,其方法是通过对带符号的配合使用来控制图灵机带头移动的方向,达到精减图灵机状态数的目的,并采用C语言编程实现.     

从语言决定论到思维强势说——从中英语言对比看思维和语言的关系

萨皮尔(E.Sapir)和沃尔夫(B.L.Whorf)的语言决定论一直是人们争论不休的问题,但笔者认为此理论过于夸大了语言的功能。从语言和思维的关系来看,笔者更倾向于认为思维模式决定着语言的使用。本文将从中英词汇、句法结构和段落组织三个方面的对比来验证思维模式的决定性作用。     

面向对象的XML查询处理技术研究

随着XM L逐渐成为In ternet数据表示与数据交换的标准,存储与查询XM L数据变得日益重要;面向对象的方法具有很强的建模能力,将面向对象的特征引入到XM L中来提高XM L语言的建模能力也变得非常重要;如何快速准确的存储和查询面向对象的XM L数据成为挑战性的课题.对面向对象的XM L数据的查询处理技术进行了研究,提出变量向导和查询数据仓的方法,提高了查询处理效率.     

信息加工阶段发展变化的机制

选择９－１９岁被试１２０人,对简单反应、选择反应、图形匹配和句图匹配４项任务进行操作,结果表明,指数函数能较好地描述词“正方形”的转换,选择和反应速度随年龄增长而变化的特性,而不能较好地描述词“圆形”、“之上”句和“不在之上”句的转换速度随年龄增长而变化的特性,双曲线函数都不能较好地描述这些特怀。     

军事信息文献汉译浅谈

从新闻、报纸、期刊中,我们可以获取许多有关军事信息的文章,这些文献有着鲜明的词汇特征和句法特征。译者应该注意这些特征,在汉语语义和句法许可范围内尽可能地再现原文。本文概述了英语军事信息的文献文体特征,指出了在英语军事信息文献翻译中的一些常见问题。     

习语译法忠实程度比较研究

纽马克认为翻译时信息总会有不同程度的丢失，而根据信息丢失的多少，我们可以断定习语译法的忠实程度的高低。在不引起误解的前提下，直译不仅复制了习语的修辞语义，而且复制了其字面语义和修辞手段，是忠实程度最高的译法。意译的忠实程度最低。     

翻译图式加工与英语名词汉译

翻译过程是一个从语言输入到语言加工再到语言产出的信息加工过程,图式理论为翻译理解和翻译表达提供了认知基础。英语中大量的名词给学习者理解文本造成了障碍,本文从翻译图式加工的角度,帮助学习者增强对英语名词的认知和理解。     

皖籍翻译家李霁野的翻译历史考察

李霁野是我国著名的文学翻译家。他的文学翻译生涯大致可以划分为三个阶段:域外革命文学作品翻译阶段、女性主义文学作品翻译阶段和诗歌翻译阶段。李霁野对翻译对象的择取体现了强烈的救国救民意识、思想启蒙意识和文化建设意识,他是一位卓有建树的文学翻译家,对我国文学翻译事业做出了重要贡献。     

统计与规则相结合的藏文人名自动识别研究

提出了一种基于统计与规则相结合的藏文人名自动识别方法.该方法充分挖掘了人名与上下文信息的关联程度,引入互信息对关联程度进行了定量的描述.根据大规模语料(30.2 M文本语料)的统计数据所建立的规则极大地提高了识别算法的准确率;在处理汉族音译人名情况时,采用姓氏驱动的方法,很好地解决了藏文文本中汉族人名的识别问题.实验结果表明,该方法具有较高的准确率和召回率.     

从目的论角度看翻译策略的选择

人类任何行为都是有目的的,翻译也不例外。对同一作品的翻译,不同的译者会有不同的翻译目的,而在翻译过程中,译者又会根据各自的翻译目的采取不同的翻译策略。本文运用目的论的观点,探讨译者的翻译目的对翻译策略选择的影响。     

川西乡城-稻城-得荣地区遥感信息与矿化关系

川西乡城-稻城-得荣地区成矿地质条件良好,是斑岩型铜矿的重点勘探区域.以ETM 图像数据为信息源,运用比值变换和主成分分析技术,进行数据融合和图像增强处理,提取构造和近矿围岩蚀变信患;通过与矿床(点)、地球化学异常等信息叠加,开展川西地区与云南中旬地区重要斑岩成矿带蚀变、区域地球化学异常等综合信患的对比研究,根据物探、化探、遥感的解译成果圈定成矿远景区.因此在遥感信息中提取直接找矿信息(控矿构造和蚀变信息)是有效、经济、快速的地质调查方法.     

遥感影像解译与背景参数分析研究

随着信息技术的广泛应用,作为各种信息的空间基础支持的空间信息在全球范围内,正受到越来越多的关注,社会各领域对空间信息的需求也越来越大,特别是1998年“数字地球”概念的提出对空间技术的发展起到了很大的推动作用,作为数字地球的重要支撑技术之一的遥感技术也有了前所未有的发展,本文主要论述的遥感影像的解译以及与这相关的背影参数分析。     

刍议加强大学英语翻译教学

本文通过对近年来我国大学英语的教学实际的分析,指出加强大学英语翻译教学的必要性和重要性,论述了如何加强大学英语翻译教学的相关策略,提出翻译教学是提高学生综合运用语言知识能力的重要手段,是对交际教学法有益和必要的补充。