摘要：儿童绘本是一种特殊的文学形式,它通过图文之间的多模态互动实现故事的生动叙述,有极强的表现力和艺术性,具有典型的多模态特征.目前的儿童绘本翻译研究多集中在绘本的文字层面,缺乏多模态视角关照.本文从绘本多模态特征入手,回顾儿童绘本的范畴及定义,分析儿童绘本互文性和互视性特征,运用SaraDicerto(2018)的跨模态译文生成框架,以Madeline’s Christmas为例,比较三版本译文的优劣,分析绘本的多模态互动关系和逻辑语义关系,讨论其译文生成过程,以期对儿童绘本的翻译实践产生一定的借鉴作用.

摘要：Levente Buttyan等人提出了一种认证协议设计的简单逻辑,协议设计者可以使用该逻辑,用一种系统的方法来构造认证协议。该文把简单逻辑和串空间(Strand Space)模型结合起来,给出了简单逻辑的串空间语义,然后运用该语义证明了简单逻辑的推理规则是正确的。

摘要：一、隐喻与判断词“是” 现代汉语典型的隐喻句式核心在于判断词“是”。试比较: (1)共产党象太阳。 (2)共产党是太阳。 (2)把本来只是“象太阳”而不“是太阳”的共产党硬说成“是太阳”,本质上是一种艺术的夸张。“是”的这种夸张用法,在非比喻句中也许看得更清楚。试比较: (3)这孩子活象他爹。 (4)这孩子,活是他爹！ (4)是(3)是夸张式,同理,(2)是(1)的夸张式.“是”的夸张用法与寻常用法相比,在语法性质上有很大的差别,这从下例也可看得清楚: (5)马克思是社会主义的始祖.也是燕妮的爱人。 陈望道先生批评这句话把一个比喻的“始祖”和一个平语的“爱人”混合起来用是不伦不类。其实,这句话的错误同时也在于把“是”的两种不同用法不加区别地加以并列,如果改为:

摘要：文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.

摘要：图像标题生成与描述的任务是通过计算机将图像自动翻译成自然语言的形式重新表达出来,该研究在人类视觉辅助、智能人机环境开发等领域具有广阔的应用前景,同时也为图像检索、高层视觉语义推理和个性化描述等任务的研究提供支撑。图像数据具有高度非线性和繁杂性,而人类自然语言较为抽象且逻辑严谨,因此让计算机自动地对图像内容进行抽象和总结,具有很大的挑战性。本文对图像简单标题生成与描述任务进行了阐述,分析了基于手工特征的图像简单描述生成方法,并对包括基于全局视觉特征、视觉特征选择与优化以及面向优化策略等基于深度特征的图像简单描述生成方法进行了梳理与总结。针对图像的精细化描述任务,分析了当前主要的图像"密集描述"与结构化描述模型与方法。此外,本文还分析了融合情感信息与个性化表达的图像描述方法。在分析与总结的过程中,指出了当前各类图像标题生成与描述方法存在的不足,提出了下一步可能的研究趋势与解决思路。对该领域常用的MS COCO2014(Microsoft common objects in context)、Flickr30K等数据集进行了详细介绍,对图像简单描述、图像密集描述与段落描述和图像情感描述等代表性模型在数据集上的性能进行了对比分析。由于视觉数据的复杂性与自然语言的抽象性,尤其是融合情感与个性化表达的图像描述任务,在相关特征提取与表征、语义词汇的选择与嵌入、数据集构建及描述评价等方面尚存在大量问题亟待解决。

摘要：“不是所有X都叫Y”的语表形态较为丰富,句中X和Y在成分、音节等多个方面存在差异;二者的逻辑关系只能是包含或交叉关系,是交叉关系时可以相互易位而不影响句义。从逻辑上的等价形式来看,该句式的解读路径有两条:常规解读路径和潜藏解读路径。常规解读路径通向客观指异功能;被流行语激活的潜藏解读路径通向主观凸显功能。言者的主观视点是解读其句义的关键,视点变化会影响对解读路径的选择,进而导致语用功能的转移。

摘要：本文的理论基础是系统功能语言学,它从衔接、逻辑语义关系和主位结构三个方面对李之仪的《卜算子》以及其英译文进行了尝试性的比较。希望此比较能给汉古诗词英译带来帮助。