基于SegFormer模型的盾构隧道管片间缝高精度测量

为高效准确地测量盾构隧道管片拼装缝隙，构建基于SegFormer模型的管片间缝分割算法，提取管片间缝的灰度空间分布信息，实现对图像特征从粗到精的编码，在捕捉局部精细特征的同时保留管片间缝的全局分布信息，从而提高算法的鲁棒性和准确性。研究表明，基于SegFormer的管片间缝分割算法测量精度在2～3个像素以内。为了便于管片间缝测量算法的应用推广，提出智能手机结合激光测距和双侧补光的方案，将算法部署到云服务器上，通过APP调用的方式实现现场管片间缝的快速测量。与人工测量结果的对比验证表明，利用具有10倍光学变焦性能的手机拍摄5 m以内的管片间缝，物理精度在0.5 mm以内，满足管片间缝测量规范的要求。     

基于扩展命题模态逻辑的决策信息系统表示

针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了基于扩展命题模态逻辑语义的决策信息系统表示定理,并给出了语义模型中对象的逻辑描述,特别是对基于等价关...     

中国计算机学会全国第五届语义Web与本体论学术研讨会（SWON2010）征文通知

目前在Web信息的表示和获取方式等方面存在着一些瓶颈，而语义Web的核心思想是通过增加一些语义信息，使得计算机能参与到自动处理Web信息的过程，并为实现智能化的Web应用提供必要的技术基础。语义Web吸取了人工智能、信息论、哲学、逻辑和计算复杂性等学科的研究成果，是多学科、多技术融合的产物。     

英汉颜色词中的“黑”“白”之议

颜色词的差异不仅体现在词语的概会意思上，更多的则是表现在语义反映概会时所增添的民族文化色彩上，即形成所谓的国俗语义，这些国俗语义有褒有贬，本文探讨一下不同民族的色彩词所包含的褒贬国俗语义。     

浅议翻译中信息传递的三维性

翻译是语际间、文化间的交际活动,即是信息传递的过程。该文提出三维信息传递模式:语义层信息传递、文体层信息传递和文化内涵层信息传递。由于语言和文化的差异,信息在传递过程中无论在哪一层次都难免会有或多或少的损失。然而作为一名负责任的译者应尽可能保证信息三维传递的完整性,以提高译作的水平。     

OO数据库数据模型的形式化

对以往ＯＯＤＢ中对象概念存在的局限性，非形式化问题，从广义性，形式化和实用性三方面，从静态（结构）角度给出了数据对象的半序格模型。     

好开到离谱 长安福特锐际Escape ST-line

作为一款全新的SUV产品,长安福特锐际演绎了福特最新的设计语言,搭载了智能贴心的全语义识别SYNC+智行信息娱乐系统。最最重要的,全系使用的2.0T+8AT动力系统以及智能四驱系统,让它的驾驶表现太棒了,这是对驾驶者最好的奖励。     

语义场理论与计算机英语词汇教学

随着计算机行业的飞速发展,计算机专业英语成为了计算机专业人员的必修课程。本文主要通过引入语义场理论,探讨计算机专业英语词汇教学的方法,研究语义场理论对专业英语词汇教学的作用,以帮助学生解决专业英语词汇学习问题,扩大学生词汇量,取得较好的教学效果。     

基于深度学习的高铁接触网顶紧螺栓的缺陷检测

针对高铁接触网顶紧螺栓目标小、缺陷检测困难的问题,提出一种基于深度学习的顶紧螺栓缺陷检测方法。根据4C检测车拍摄的高铁接触网图片(大小为6600*4400 pixels),首先对特征信息更多的斜撑套筒进行定位,采用TDM模块与SSD相结合的算法提升算法对小目标的检测精度,并通过改变默认框的尺寸以得到更好的检测精度和速度;然后利用DeepLab v3 plus算法对顶紧螺栓部分进行语义分割;最后提出一种阈值法对顶紧螺栓的缺陷情况进行判别。为满足实际工程的速度需求,对训练好的模型进行优化。实验结果表明:相较于经典的SSD,本文改进的SSD方法对斜撑套筒的定位精度和速度都有提升;对于6600*4400 pixels的原始样本,本文提出的顶紧螺栓缺陷检测方法精度上达到95.9%,速度达到17.9 fps。