基于语义理解的中文智能检索模型研究

针对传统关键词匹配检索存在的缺陷,论文深刻剖析了语言信息量化机制及词间的语义关系,采用语义空间转换成可以量化的信息量空间,设计了一种基于语义理解的中文智能信息检索模型,从语言量化机制及语境双层次上阐述了模型的设计思想。在分析提取用户检索语义机制的基础上,提出一种计算用户查询语句语义与文档语义及语境相关度的新方法。实验表明这种检索方法可以提高搜索引擎的查全率和查准率。     

句法意义扩展的典型效应及其对句法教学的启示

本文分为两大部分。第一部分以范畴化的类典型论为理论基础,以英语及物句、所有格和过去时为例,研究了句法意义扩展中表现出的典型效应。第二部分讨论了句法意义扩展的典型效应对句法意义范畴习得研究的影响以及对句法教学的启示。     

分析信息结构 提高阅读能力

本文从信息交流的角度分析句际的“主题衔接“,说明从研究语篇结构着手,对语篇进行分析,了解篇中词义、句义,以及研究句子之间语义和语用上的相互联系与所表达的联贯思想,是提高阅读技能的有效途径.     

从原型范畴理论的角度谈if条件句

英语if条件句是一个句法结构,是语义关系和语用环境都很复杂微妙的语言现象,也是英语教学中的难点之一.本文以原型范畴理论为基础,对条件句范畴进行分类和分析,认为真正条件句是原型成员,非真正条件句是非原型成员,意在推动认知语言学理论和条件句的研究和教学的结合,说明原型范畴理论对英语条件句的范畴化过程有着较强的解释力.     

试论科技论文的语言特点

阐述了科技论文在现代社会中的重要地位和作用，着重探讨科技论文的语言特点。在科技论文中使用多语系语言，且除了使用自然语言符号系统以外，同时大量使用超自然语言符号系统。科技论文要求语言简明、精确，逻辑性强，并严格遵守有关的规范和标准；在语法上则多采用存在句、泛指句和析使句，常用第三人称。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

一种扩展了价格信息的进程代数

针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price process algebra,PPA).在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

基于无线传感器网络的室内火灾报警系统

提出了将无线传感器网络应用于室内火灾报警系统.通过在室内部署可以探测温度,烟雾浓度和光强度的传感器节点,组成无线传感器网络.根据系统实时监测和可靠性的要求,提出了基于语义的数据处理和组合事件检测的思想,使系统具有灵活、可靠、易于扩展和低功耗的特点.使用TinyOS设计该系统,并通过TOSSIM仿真实验验证了该系统的正确性和可靠性.     

基于树莓派的智慧电梯楼层语音提醒装置设计

针对现有电梯信息提醒装置信息显示界面小、提示信息有限、安装维护不便和检测信息需依赖电梯控制系统的问题,基于气压-海拔转换关系利用气压传感器,设计了一种带自校准功能的电梯楼层智能提醒装置,完全独立于电梯控制系统.实现了无须任何辅助标定即可安装使用的独立式电梯楼层信息智慧语音提醒装置,适用于任意电梯安装使用.实验结果表明,...     

民航英语主位、述位分析及其翻译研究

在以韩礼德系统功能语言学为基础研究翻译的"功能途径"中,主位述位理论从语篇结构的角度探讨了结构对等和语义对等的实现方式。通过分析语篇主位和述位结构,把握语篇主位推进模式的语言学方法是实现原文和译文语篇功能对等的有效途径之一。在对民航英语这类专门用途用语(ESP)进行语篇分析和翻译的过程中,主位分析理论对于把握作者写作意图、理清小句结构、实现语篇功能对等有积极的作用。     

延安精神与新时代全面从严治党

延安精神的内涵与内容逻辑极其丰富,其灵魂、精髓、根基、特质塑造了宝贵的革命精神,也是习近平新时代全面从严治党的重要精神财富.在新时期,从延安精神与从严治党的生成逻辑、历史逻辑、价值逻辑中辨析两者的关系能够帮助全面从严治党从延安精神中汲取精神力量,从而推动全面从严治党在新时期的进一步深化和完善,使得党的执政能力和水平在全面从严治党的进程中不断提高.     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

考虑跑道复杂依赖关系的多目标飞机排序模型

考虑跑道间复杂依赖关系和依赖跑道上动态间隔约束,研究了同时存在依赖、独立跑道的多目标进离场飞机排序问题。以降低航空公司延误总成本和降低旅客总延误时间为目标,建立了跑道复杂依赖关系下的多目标规划模型。通过重庆江北机场的3个实际算例,使用ε约束法求解多目标模型的Pareto最优解集。与未增加本文两处约束的传统模型进行对比显示,额外考虑复杂依赖关系后航空公司延误总成本减少了68.5%～80.3%,旅客延误总时间减少了68.8%～77.7%,额外考虑依赖跑道上动态最小间隔时间后航空公司延误总成本减少了20.4%～43.4%,旅客总延误时间减少了29.2%～42.5%。     

词汇象似性及其对英语词汇教学的启示

象似性是认知语言学研究的中心内容之一,它认为语言的形式和意义之间的关系是有理据的,语言符号的各个层面上都存在着象似性.本文着重从语音、形态、语义、词序、词源等方面探讨英语词汇的象似性,并探讨其对英语词汇教学的启示意义.     

商务英语词汇转喻的认知解释

转喻不仅是一种修辞手段,更是人类认知世界的基本思维方式。商务英语词汇转喻既受邻近性、相对突显性和可及性认知原则所制约,又能协调并实现这些原则。在商务交际中,商务英语语言信息分为语义层面和形式层面。因此,商务英语词汇转喻可分为两大类:一是词汇意义与意义之间互换而产生的转喻;二是词汇形式与形式之间的替代关系。商务英语词汇转喻认知的研究有利于加深对商务英语词汇内在意义生成的认识,对商务英语词汇学研究也有一定的现实意义。     

基于FPGA的实时视频图像采集与存储系统(英文)

针对传统视频采集存储系统存在的问题,设计了一种以FPGA为核心的实时视频图像采集与存储系统。采用模块化设计方法,通过Verilog编程实现了视频解码A/D配置,视频图像采集逻辑控制和图像存储逻辑控制等功能模块;采用IDE接口硬盘作为存储介质,FAT32文件系统作为图像存储形式来记录实时图像。实验结果表明,系统具有实时性强、集成度高、存储能力强及易于扩展等优点。     

一种基于语义的Ontology映射方法

O n to logy映射是实现异构O n to logy互操作的有效方法,目前的O n to logy映射主要采用句法方法,而很少采用语义方法。本文提出了一种基于语义的O n to logy映射方法,该方法考虑了O n to logy中的概念属性,采用概念名称相似性、概念属性集合相似性、相关概念集合相似性等确定O n to logy之间的语义映射关系;采用语义半径提高了语义映射方法的灵活性。试验分析表明:该方法得到的映射的准确率和查全率在90%以上,准确率和查全率均优于S-M atch方法。该方法已在基于知识需求的主动式知识系统原型中实现,并在某研究所得到了应用。     

入场理论视角下莎士比亚作品双关语翻译入场策略

认知理论把语法和意义视为是相互依存相互补充的。入场理论从语言的形式到语言的义项来解释语言现象,它认为如果没有具体语境,一个小句或实体的意义会产生无数种可能性,而这一本质属性很适合解释文学作品的双关性。双关在语言形式上和语义的内在义项上具有模糊特性,译者为了给读者传递作者的真实想法,需要借助相关的语言手段,添加一定的语言元素从而达到双关效果。通过莎士比亚的双关语翻译研究,本文想证明入场理论是能够为文学作品的翻译提供强有力的理论支撑的,也期望能够为今后的文学作品研究提供新的视角。     

认知语法与系统功能语法对比研究

本文从时态、情态、语态、体态、归一性及小句等结构维度，探讨认知语法和系统功能语法的系统观与功能观。从系统维度讲，系统功能语法重点研究不同结构系统之间的体现关系，而认知语法侧重于分析这些结构系统之间的层次关系。从功能维度讲，系统功能语法认为语言结构实现概念功能、人际功能和语篇功能等三大元功能，而认知语法认为语言结构的主要功能是陈述事件或情状、描写和协商命题的效度。