基于改进HRNetV2的高寒区隧道衬砌冻害检测方法

针对修建在高寒区的隧道衬砌存在的所处环境恶劣、冻害频发、衬砌图像干扰因素多、冻害目标尺度不一致及传统人工目视检测方法效率低下且成本昂贵等问题,提出了基于HRNetV2的高寒区隧道衬砌冻害检测方法。首先以HRNetV2为基础模型,提出改进模型,在主干特征提取网络结合迁移学习的知识,在结构中引入注意力机制以加强模型对于冻害特征的学习能力,并使用Focalloss作为损失函数以解决类别不平衡问题。为验证改进后模型的性能,使用高清摄像头采集高寒区隧道衬砌冻害图像,经过裁剪及数据增强等手段,建立一个包含2800张图像的冻害数据集。实验结果表明,改进后的模型在冻害数据集上的平均交并比(mean intersection over union,mIoU)可达到89.05%,相比原始模型提升了5.41%,在面对复杂形态冻害时展现出较好的鲁棒性,可直接应用于高分辨率原图;且在综合性能上优于DeeplabV3+、U-Net、PSPNet三种模型。所提方法可准确、安全地实现衬砌冻害智能检测,可为高寒区隧道智能化运维提供一定技术支持。

面向函数计算的信息论和编码

在云计算、大数据、物联网和人工智能的共同刺激下,数据量在不断膨胀。经典的香农信息论仅着眼于“语法”层次,即传输信息符号的准确程度如何,且各类信息的编码均面向人类,如文本、图像、语音、视频等。数据和智能时代各类信息的编码或面向智能体,目的为某种任务的达成或功能的实现,其注重“语义”和“语用”层次,这些均可看作信息的运算、量化等函数计算。因此,提出并讨论了面向函数计算的信息论和编码。主要论述三个方面的内容,首先是分布式函数压缩,考虑相关信源下的算术和函数压缩系统,基于图染色的方法,完全刻画了模型的压缩容量;其次是网络函数计算,考虑在任意的网络上计算任意目标函数,使用割集强划分的方法,得到了一个新的基于割集的“普适”上界,这是目前最好的“普适”上界;最后是信息论安全网络函数计算,考虑任意网络上计算任意目标函数,并且满足任意给定的安全性限制,采用信息论和图论等知识,刻画了安全计算容量的一个上界,并提出了一个线性的函数计算安全网络编码的构造方案,从而得到了安全计算容量的一个下界。

副词在跨文化创新表达中的比较研究

该文旨在探讨副词在不同文化中的使用特点及其在跨文化创新表达中的创新用法。在概述了副词的基本理论后,以汉语及英语为代表分析了不同文化中副词使用特点,其中涵盖了句法成分、重叠使用、与其他词类的交叉纠葛,以及使用频率和语境表达情感方面的差异。然后又以日语为例探讨了副词在表达情感方面的独特方式,以及这种表达方式背后的文化原因。最后进一步讨论了汉语、日语及西班牙语在跨文化创新表达中的创新用法,如强化情感表达,精确描述时间、程度及状态等,充分展示了副词在丰富语言表达、增强语言感染力方面的重要作用。

义符研究20年:理论探讨、实验证据和加工模型

义符研究是汉字研究中最具特色的领域之一。作为汉字的重要构字部件,义符吸引了众多的研究者关注。语言学对于义符的研究具有悠久的历史。当代语言学家多从质的角度和计算层面来探讨义符的种类、表义性、表义度和构字频率。认知心理学家多从亚词汇加工的角度探究义符对汉字词的识别、语义提取、语法分类和知觉加工的影响,探讨义符的主观熟悉性、位置、家族大小和一致性的作用。在研究的基础上,相继出现了数个义符参与汉字认知加工的模型——"两个网络系统模型"、"汉字词与图片命名与分类的综合模型"、"义符在词汇通达中表征和加工的综合模型"和"义符影响形声字加工的调节模型"。模型统合了已有的研究成果,为形声字认知理论注入了新的内容,为后续的研究奠定了良好的基础。在未来,义符研究中还有许多问题需要探讨。

间接回指的分类及其解释模式的研究

任何语篇都不能离开语篇使用者而存在,含有间接回指现象的语篇也不例外。因此,对于间接回指的现象不能仅从文本本身加以研究,更要从语篇接受者处理语篇的策略及其心理表征等角度进行深层次的研究,以探究语篇连贯的根源性因素。

语义记忆的组织方式——来自语义范畴特异性现象的证据

本文综述了人们通过语义范畴特异性(senmantic category-specific)现象研究语义记忆组织方式的最新进展。语义范畴特异性现象的脑机制研究证明语义记忆表征存在多个相对独立的子系统中。这些子系统很可能是按照语义领域和(或)感觉、运动加工通道组织的,并可能与感觉、运动、心理理论等认知系统存在特定的结构和功能联系。

面向语义的网络信息资源整合的指示数据库案例研究

本文基于概念体系（ontology）的思想，用关系数据库（SQL）方法模拟地实现了具有语义信息资源整合的“理论情报学”指示数据库，探索了在网络环境下开发面向语义的二次性信息检索工具的必要性及其应用前景。

阿普列相及其语义理论

阿普列相是俄罗斯莫斯科语义学派的代表人物,其理论语义学思想十分丰富,他在俄语动词的语义研究、语言整合描写、词汇单位的系统描写、元语言理论、句子语义结构的多层次性描写、语义配价和句法题元理论等几个方面均有所建树。

带否定的DATALOG的语义的不动点特性

带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ）是ＤＡＴＡＬＯＧ的一种扩充。本文研究ＤＡＴＡＬＯＧ语义的良基模型的不动点特性。首先，重新考察了稳定性变换，定义了新算子及其不动点。在此基础上，定义了振荡不动点模型论语义，然后，本文证明了振荡不动点模型和良基模型是等同的，说明前者可以看和是后者的构造性定义。

语义表达的多维性与语义指向分析

自上世纪八十年代初以来,语义指向分析便一直是汉语学界讨论的热门话题之一。本文在考察国内外语言学界对相关问题的讨论的基础上认为:语义指向反映的是句法成分在语义平面的动态指归性,它体现为由指向成分和被指成分一起构成的语义指向结构体,其实质是词语的线形排列反映的语言结构的层次性和语义表达的多维性的矛盾,以及成分间语义关系的连续性与非连续性的对立统一;对语义指向的进一步的探索有其自身的理论意义和实践价值。

框架语义学在中国:评介、应用与展望

框架语义学自1982年正式提出以来已经走过了30多年的发展历程,它在语言学、翻译研究、外语教学、词典学等领域展示出了普遍的指导作用。本文从理论和应用两个方面对国内框架语义学的研究作了全面的考察,对该理论在国内的研究现状、研究焦点、存在的问题等进行了梳理,并对框架语义学未来的发展作了展望。

俄语理论语义学的研究原则、对象及其方法——阿普列祥观点评述

20世纪 5 0、 6 0年代的传统俄语语义学 ,经过 4 0多年的发展 ,已经演变成了现代俄语理论语义学。根据俄罗斯著名的语义学家阿普列祥的观点 ,与传统俄语语义学相比 ,现代俄语理论语义学具有以下一些主要特点 :遵循一体化和系统性的研究原则 ,运用统一的元语言来描写语义 ,研究对象范围呈扩大趋势 ,语义描写任务不断增加 ,注重语义结构的多层性特点 。

试论21世纪现代汉语语法研究的内涵构成与发展选择

在反思 2 0世纪语法研究总体特征与取向的基础上 ,从学科内涵构成的角度 ,展望2 1世纪现代汉语语法研究的发展和选择 ,应是 :继续拓展研究主体 ,加强理论研究和应用研究两翼。拓展主体 ,是在继续加强组形语法研究的同时 ,分离释义语法、重视释义语法研究 ,界定传息语法、展开传息语法研究 ,最终形成组形、释义、传息鼎立的三维语法世界。加强两翼 ,是要加强语法的理论研究和应用研究 ,在注重语言应用属性与规律揭示的同时 ,加强创新性理论研究和语法应用内容、应用理论、应用方向、应用途径、应用成果及应用领域的研究。

确定切词单位的某些非语法因素

本文提出了“形式词”概念 ,并在形式词的基础上 ,进一步研究了确定切词单位的非语法因素 ,包括语义因素、语音因素。在语义因素方面 ,研究了意义单纯性测定法、意义紧密性测定法、引申意义测定法、常用性测定法 ;在语音因素方面 ,研究了停顿判定法、双音节化判定法。最后 ,提出了视读原则、多元化原则。

论亨迪卡对问句逻辑的贡献

随着逻辑研究的实践转向和日趋多元化,问句逻辑逐渐获得了逻辑家族成员资格,初步显示出其理论价值。当代著名哲学家兼逻辑学家雅各·亨迪卡对问句逻辑的发展做出了重要贡献:从历史角度梳理并继承发展了古典问句逻辑思想;在句法层面,他把问句等价于祈使句并对之进行认知分析;在语义方面提出了问句逻辑的博弈论语义学;在语用层面,将所有探究视为一场寻求信息(知识)的动态问答过程,强调提问的策略选择、答案的语境敏感性和信念的可修正性。亨迪卡的问句逻辑简洁自然,具有较强的解释力和深刻的哲学意蕴,其应用前景和发展潜力不可小觑。

原型理论视角下的多义词语义扩展理据分析——以形容词“high”为例

一词多义现象在任何一种语言的词汇中都是极为普遍的现象,是词汇语义学研究的核心内容,同时也是词汇习得和教学中的难点。但多义词的词义扩展并非是任意、毫无规律的,而是有其内在规律和理据可循的。文章从认知语言学角度,运用原型理论,以英语形容词"high"为例来分析多义词的各个义项之间的关联模式和内在联系,探索其词义扩展的理据及内在规律,从而有利于语言学习者更好地理解多义词在不同的具体语境中的具体含义。

AgentSpeak中意图生成过程的可靠性与完整性研究

意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpeak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论——AgentSpeak中的意图执行是可靠而完整的,从而验证了AgentSpeak中软件Agent意图完成目标的正确性。

基于复杂对象的知识库语言

近年来，复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ，描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面，定义了空间、基、解释、满足、模型等概念；利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理、最小模型存在定理以及最小模型的不动点性质，从而重构了其语义理论框架．

名词、形容词转化的理据和数量语义限制

数量特征是词类转化的一个显著特点。本文根据石毓智对数量语义特征的研究,从数量特征中的离散性和连续性两方面着手,归纳出名词、形容词转化必须各自消除掉自身原有的数量特征的规律。原词类数量特征的限制会相应地引起转化后词类语法形态的限制和变化。

诗歌审美的语义诗学构想

传统诗学研究的起点是作品,从而学理就是以客体为对象来揭示其包含的美学属性,而不是主体审美活动,诗歌的研究对象"实体化"了,即使关涉作者,那也仅仅是作为作品结构中的要素,存在"主体缺失",进而不是审美主体实践的"辩证关系"研究,使语言在诗歌审美活动中的中介性未能彰显,不能从中剥离出来和独立分析其在诗歌审美建构的规则并上升为方法。笔者企图克服传统诗学这一不足的前提下,基于诗歌语言规范的语义形态特征化,试图从诗歌的审美建构与语言表达的中介关系来探索诗歌审美的语义逻辑规范的基本原理以及诗歌鉴赏、创作的理论方法等,以期拓展诗学理论的研究。