翻译教学中的语篇偏误分析实证研究--以重庆科技学院非英语专业学生为例

以语篇理论中的衔接和连贯2个重要概念为基础,对重庆科技学院120名非英语专业学生的翻译习题进行详尽的语篇偏误分析。结合学生翻译习题实例把他们在翻译实践中的衔接方式、语篇连贯偏误作为调查分析对象。根据调查分析研究结果,提出译文语篇连贯及翻译教学问题的应对策略。     

运用夹点设计法对一实际换热网络的改造

随着能源价格的不断提升,化工企业的节能降耗成为紧迫必行的任务。通过在对一实际过程的换热网络结构分析的基础上提取热、冷工艺物流,在给定的最小传热温差（20℃）限制下运用夹点设计法合成具有最大热回收的新换热网络;采用断开热负荷回路、取消热负荷较小的换热器达到减少换热器个数、简化网络的目的;由于热负荷转移造成了某些换热器传热温差违反最小传热温差限制、甚至出现传热温差为负值（违反热力学第二定律）的情况,采用能量松弛法恢复这些换热器的传热温差至给定的最小传热温差。经过调优后换热器网络总换热设备个数与原实际网络的相同,但与原实际网络相比,热、冷公用工程均节省1220kW。     

当前农村小学教师信息素养的若干问题与培养对策

培养农村教师良好的信息素养是农村基础教育信息化建设中的一个核心问题。然而,当前农村小学教师的信息素养水平较低、信息素养亟待提升,已成为制约农村基础教育信息化建设的一大障碍。针对这种现状,本文分析了农村小学教师信息素养存在的问题,探讨了培养农村小学教师良好信息素养的一些有效途径。     

基于语义相似度的数据库自适应查询松弛方法

为了解决数据库空查询结果问题,提出了一种基于语义相似度的数据库自适应查询松弛方法.首先,基于初始查询条件和数据分布推测用户对查询指定属性的重视程度,据此提出了一种属性权重评估方法;然后,通过考察属性值的特征信息,分别提出了分类型属性值之间和数值型属性值之间的语义相似度评估方法;在此基础上,根据松弛阈值、属性权重和属性值...     

一种支持自定义模糊数据类型表示的模糊OWL扩展

语义网需要能够以一种智能的方式来表示和处理模糊知识与数据信息,但最近的研究证明,OWL在数据类型表示方面存在严重的局限性:首先,它不能处理在语义网和本体中广泛存在的不精确以及不确定信息;其次,它不支持自定义数据类型及自定义数据类型谓词的表示。为了解决上述局限性,提出了一种新的模糊描述逻辑F-SHOIN(G),给出了F-SHOIN(G)的语法、语义。然后,以F-SHOIN(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码f-OWL中的描述算子,用来表示模糊本体知识,形成f-OWL。f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,为模糊本体的研究提供了新的表示方法。最后,还给出了由OWL文件到f-OWL文件的转换规则,从而实现了f-OWL对OWL的兼容。     

模糊描述逻辑知识库查询蕴涵的判定方法

大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊SH这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-SHOIQ的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-SHOIQ是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,汪明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限.     

语义Web模糊规则的互换与实现

针对模糊规则语言f-SW-if-then-unless-RL不能与f-RIF框架中的模糊规则语言互换规则的问题,构建f-SW-if-then-unless-RL和 f-RIF之间的规则映射,设计并实现一个能够自动处理f-SW-if-then-unless-RL规则和在这2种语言间互换模糊规则的原型系统,命名为规则交换系统。实现的原型系统成为f-RIF互换框架的重要组成部分。     

模糊面向对象数据模型的描述逻辑表示与推理

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实例到f-ALCIQ ABox的转化;进而,基于转化得到的f-ALCIQ知识库,研究了如何利用f-ALCIQ的推理机制对FOOD模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ的模糊描述逻辑推理机(FRsQ推理机),实现了对FOOD模型和f-ALCIQ模糊概念知识的自动推理.     

妇女绝经后骨质疏松的模拟

介绍了骨质疏松的生理原因和带有力学调控系统的各向异性骨再造模型，应用该模型以有限元为手段进行了妇女绝经后的骨质疏松的数值模拟。研究结果表明：妇女绝经后的骨质疏松是生物学因素和力学因素共同作用的结果。当妇女绝经后，由于肌肉力量的降低和活动量的减少而导致外载荷下降20％时，骨量相对于绝经前丢失25％以上，证明了力学因素在预防和治疗骨质疏松中的重要作用。为妇女绝经后骨质疏松的诊治提供了一个新的思路。