共查询到20条相似文献,搜索用时 93 毫秒
1.
2.
彭娟 《湖北三峡学院学报》2008,(Z2)
翻译批评中的逻辑验证法主要是借助批评者的语言知识,运用人类共同的生活经验,从句法结构的各个层面对原作和译作的语法和语义进行对照分析,并且对作品的写实部分进行逻辑分析与验证。文章拟用逻辑验证法评析英文小说《金银岛》的两个不同中译本,指出逻辑验证法是文学翻译批评乃至各类翻译批评的一种好方法。 相似文献
3.
由语义网络语言的知识表示到谓词逻辑的转换 总被引:1,自引:0,他引:1
语义网络作为表示知识的主要方法成为常识知识库组成的主要形式,从而引出知识库的维护及推理所要解决的问题。在研究中发现,将面向对象技术引入语义网络的研究,是目前的发展方向之一。特别地,对关系的继承属性的形式转换是本文所关注的。文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作,并给出由语义网络表示转换成谓词逻辑形式表示的算法。 相似文献
4.
5.
贾改琴 《重庆工商大学学报(自然科学版)》2011,(5)
自然语言的逻辑语义分析和汉语信息处理是当今众多学科共同关注的热门话题。将现代汉语中的形容词性谓语句分为光杆形容词谓语句和复杂形容词谓语句两种,并利用转换生成语法、现代谓词逻辑、类型论、范畴论、广义量词理论、集合论和λ-转换等语义理论分别对各类句子作了较详细的分析,以期有助于信息处理的相关研究。 相似文献
6.
《重庆工商大学学报(自然科学版)》2008,(6)
自然语言的形式分析和计算机对自然语言的信息处理是当今时代比较热门的研究领域。以转换生成语法、范畴语法和类型论、λ-演算和时态逻辑等为工具分别对现代汉语的若干类NP短语中的领属定语、数量定语、时间定语3种类型作了较详细的形式语义分析,刻画了定语所表示的拥有领属关系、数量度量关系和时间先后长短关系,同时对不同种类的定语在句法范畴和语义类型的形式处理方面作了严格统一的处理,有助于汉语的计算机信息处理。 相似文献
7.
首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,对ALC 的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC 到谓词逻辑的转换,给出了描述逻辑ALC 到谓词逻辑的转换思想. 相似文献
8.
胡云飞 《西安联合大学学报》1999,(1)
从逻辑推理、相关语境、语气关联、内涵感应等四个方面阐述了英语语义蕴含上的兼容性;同时举例说明提高译文质量的关键所在;进而指出把握译文质量的重要环节是正确处理语义蕴含上的兼容性 相似文献
9.
语义Web推理的研究与实现 总被引:1,自引:0,他引:1
语义Web的逻辑基础是描述逻辑,语义Web出现的目的就是为了解决机器和人对知识理解的问题,因此可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。首先在语义Web的知识体系之上建立起来一套推理系统,然后通过应用实现对该系统进行了验证。 相似文献
10.
英汉词汇的语义对应是双语翻译的前提,是两种语言相互转换的桥梁.但是由于受词汇用法、语言环境和文化背景差异等因素的制约,这种对应往往被简单地曲解成了对等.要实现语言的正确理解和翻译,应注意在英译汉的过程中摆脱语义对等的困扰,使译文在词汇意义这一层面上更贴近原文,以最大限度地实现科学的转换. 相似文献
11.
高金英 《山东科技大学学报(自然科学版)》1990,(1)
本文研究在什么条件下可以不考虑主、次结构的耦联作用。文中以主次结构的质量比、刚度比作为参数,给出了不考虑耦联所引起的误差公式和利用这些公式计算结果所绘制的等误差线图。利用这些曲线可很方便地的估计不考虑耦联时的误差范围。 相似文献
12.
刘代志 《中南大学学报(自然科学版)》1988,(1)
本文运用系统科学中的结构-功能方法对复电阻率法中所研究的“局部”大地系统——复阻抗系统的结构与功能进行了探讨。以双频观测方案为例,对复阻抗系统的几种响应进行了频谱分析,讨论了复阻抗系统结构的多解性和等效性,并给出了各种响应所对应的四端网络及其阻抗转移函数。 相似文献
13.
刘寿梅 《湖南城市学院学报(自然科学版)》1999,(1)
采用解析方法.通过对结点位移性质的论证,提出了空间铰接链杆体系几何组成性质分析的解析方法.用此方法来分析网架、塔架及类似空间结构的几何组成,将会有十分有益的工程意义. 相似文献
14.
本文对传统的软件体系结构和新型的软件体系结构做了比较详细的分析。阐明了各种结构的优点,同时也指出了存在的问题和不足之处。 相似文献
15.
钢筋混凝土空腹夹层板楼盖结构是上世纪90年代中期由贵州工业大学研制出来的一种新的钢筋混凝土结构体系,而钢筋混凝土空腹夹层网状筒拱和筒壳是将以抗弯为主的空腹夹层板按零高斯曲率(扁壳、柱面壳、筒拱)弯曲形成以抗压为主的空腹夹层壳与筒拱结构. 相似文献
16.
框架结构大跨度预应力整体转换结构体系受力特点分析 总被引:5,自引:0,他引:5
以实际工程为背景,介绍了一种可以实现框架结构较大空间的新型预应力整体转换结构体系,并就该转换结构体系不同结构方案的受力特点以及预应力施加方案对转换结构体系内力的影响进行了较系统的计算分析比较,在此基础上提出了相应的设计建议。 相似文献
17.
针对因原有电力系统网络拓扑结构的不完善而引发的电网稳定性和安全性的问题,提出了一种新的快速网络拓扑分析方法,利用VC.net开发了一个网络环境下电网安全分析系统。 相似文献
18.
板柱结构抗震性能较差,为了提高其抗震性能,提出了一种加设支撑的板柱结构体系,讨论其动力性能,并对其进行了加速度反应谱分析,与原结构及加设剪力墙的结构进行对比,效果较好。 相似文献
19.
采用有限元分析软件SAP2000对钢框架-支撑结构体系和钢框架-带缝钢板剪力墙体系进行了计算分析。通过研究比较两种结构体系的塑性铰发展情况,提出一种新型的混合式结构体系(即下部采用带缝钢板剪力墙,上部采用支撑),并对其破坏模式进行了研究。另外,借助于VC语言,编制出了求解带缝钢板剪力墙抗侧刚度的程序,可以通过调节钢板剪力墙的开缝程度来改变加强层的整体抗侧刚度,有利于该类结构体系在设计工作中的推广。 相似文献