Statechart描述的测试语义和测试用例自动生成

研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集.     

基于统计的蒙汉机器翻译系统研究

本文综述了基于信源信道思想,及其在蒙古语与汉语统计机器翻译中的应用.基于统计的方法是语言信息处理及机器翻译领域的研究热点.本文介绍了1个蒙古语与汉语基于统计的机器翻译的实验系统.该实验系统在蒙古语语料预处理和蒙古语与汉语的翻译模型的建立方面做了有益的尝试.实验结果表明,与基于统计的蒙汉机器翻译相关的模型设计是合理的.该实验系统为今后的工作奠定了基础.     

从三个平面分析汉语句式“小心(别)P”

现代汉语中有一种特殊句式——"小心P",一般情况下,"小心P"和"小心别P"语义相同,而此时的"别"是一个相对的冗余否定成分。本文主要探讨相对冗余否定句式"小心(别)P",试图从句法、语义、语用三个平面来对其进行考察,并分析这一句式所带来的歧义现象。     

从语义关系看"AのはBだ"句式的成立

分裂句"AのはBだ"能否成立、以何种形式成立,都与该句式中被焦点化的成分B跟A部分中的谓语动词在语义关系上相结合的紧密程度有关.当被焦点化的成分B与原谓语动词的语义关系紧密时,该句式就容易成立,而且在焦点化位置一般不出现相应的格助词;当被焦点化的成分B与原谓语动词的语义关系松散时,焦点化位置一般出现相应的格助词,用以明确语义关系,更加松散时甚至难以构成"AのはBだ"句式.     

融合注意力机制和BiLSTM+CRF的渔业标准命名实体识别

为了解决渔业标准文本中专有命名实体具有上下文敏感性、长序列存在语义稀释等问题,提出了基于E-BIO标注法和融合注意力机制的BiLSTM+CRF (BiLSTM+Attention+CRF)命名实体识别模型,E-BIO标注法引入渔业标准文本中的结构化信息,可以使模型有效学习上下文结构特征,而注意力机制输出不断变化的语义向量,可有效解决长序列语义稀释问题。为验证所提出方法的有效性,在采用E-BIO方法标注的语料上进行对比试验,结果显示,BiLSTM+Attention+CRF模型对不同类别的渔业标准命名实体识别的准确率均能达到90%以上,召回率均能达到85%以上。研究表明,本研究中提出的BiLSTM+Attention+CRF命名实体识别模型可以有效利用上下文结构特征,避免了语义稀释问题,对于渔业标准命名实体识别具有较好的识别性能。     

国外机器翻译研究简述

概述了国外机器翻译研究的现状、展望和存在的问题。围绕机器翻译的理论和方法论进行讨论 ,认为机器翻译、机助翻译、术语数据库翻译 3种方法是目前机器翻译常用方法。指出了机器翻译研究中的突破口问题 ,旨在帮助国内读者和研究者对于国外机器翻译研究有所了解并提供一些参考。     

隐含语义索引在吉林省农业知识问答系统中的应用

为了解决现有农业知识问答系统功能及业务流程中存在的一些问题,将隐含语义索引技术应用于吉林省农业知识问答系统中。该技术可以增强或消减词语在文档中语义的影响力,使文档之间的语义关系更为明晰,在一定程度上实现了自然语言检索,消除了词语同义性和多义性所造成的影响,从而取得更好的检索效果。     

基于语义分割的棉花垄间实时道路识别

为解决棉花垄间道路识别准确性和实时性差的问题,建立用于棉花垄间道路实时识别的Quarter-Unet模型,深度学习语义分割模型FCN和Unet对棉花垄间道路识别的适应性,选择适应性更好的Unet模型,对其VGG16主干进行剪枝,得到Half-Unet和Quarter-Unet,采用640幅图像组成的训练集和160幅图像组成的验证集进行研究,结果表明,与Unet模型相比,在识别的MIoU基本不变的情况下,Quarter-Unet的内存占用量降至19.5%,而处理速度提高至155%,为后续研发棉花田间智能农机导航设备提供了技术基础。     

论语境因素在机器翻译中的重要作用

语境在机器翻译中扮演非常重要的角色.本文章结合目前机器翻译的现状,运用计算机辅助英语翻译理论,探讨了语境因素在机器翻译中的重要性,并指出了对源语言进行句子和篇章语境分析有助于计算机进行准确的翻译,从而提高机器翻译质量.     

两个不同品种肉兔TLR4基因多态性研究

TLR4能识别内毒素脂多糖(LPS),在介导革兰氏阴性菌及其LPS的宿主反应中发挥重要作用,是研究肉兔抗病力的重要候选基因。为了研究TLR4在不同肉兔品种的突变情况,设计引物对2个不同肉兔品种的12个个体的TLR4部分编码区进行序列扩增,并比较其序列。结果表明,共检测到3个SNP位点,均为非同义突变。2个非同义位点(G628T和C653A)位于预测蛋白的亮氨酸富集区(LRR)区域。LRR区域发生的非同义突变,尤其是亮氨酸的改变和氨基酸极性的改变可能会影响TLR4对病原的识别,这些SNP位点将有助于肉兔抗病分子标记的研究。     

英语短语动词的特点分析

英语动词与小品词的结合程度对短语动词语义的形成和语义的理解有着很大的影响。短语动词中的动词通常为表示简单动作的动作动词,而小品词则表明动作方向,二者的结合易于短语动词形成新的语义。短语动词虽然由两个单词构成,但都是单音节词汇,发音十分容易,而且与同义的单词动词相比,短语动词表现生动且具有多义性。     

木材识别方法研究综述

介绍了人工知识、对分检索和穿孔卡片检索等3种传统木材识别方法和数据库检索识别方法。指出基于计算机视觉的木材识别方法的优点,它将成为木材识别的一种趋势。根据识别过程将该方法按照给定木材的类型、识别的特征和分类器等3种方式进行分类．并给出了每种类型详细的分类和当前研究的进展。最后,对今后木材识别研究在语义特征提取、语义特征与纹理特征的结合、树种指纹挖掘、无切片识别和设备研制等5个方面提出了自己的看法。     

基于卷积评价及对抗网络的花粉、孢子图像增广算法

针对花粉、孢子图像特征复杂,样本稀缺及种类繁多制约图像检测识别效果的问题,建立基于自适应阈值分割的pix2pix图像增广模型.首先基于卷积评价改进自适应阈值分割算法,择优选取语义分割图像;其次构建pix2pix图像增广模型,将语义分割图像和原始图像建立标签映射用于模型训练,根据语义分割图像生成仿真图像,扩充样本数据集.结果表明,以149种花粉、孢子图像为样本,通过图像增广模型生成的花粉、孢子图像整体相似度达到85.40％;图像增广前Faster RCNN、YOLOv3检测模型的检测精准率分别为86.18％、85.64％,使用增广后的样本训练模型,检测精准率分别达到92.16％、90.57％,提升5.98个百分点和4.93个百分点.     

主题词间后显关系分析

后显关系是在后组式检索系统中,主题词轮排后产生的诸语句与被标引文献主题之间的关系。其性质有三:(1)同义关系;(2)主题转换;(3)歧义关系。歧义的产生多在主动句向被动句转变的过程中,语义的变化不是语法变化引起的而是违背了语法规则导致的。后显关系反映的是语法关系的不同变化。为保证同义关系功能词的采用是必要的。     

机器翻译发展概况

本文论述机器翻译的发展历程，分析机器翻译理论与方法和国内外机器翻译的研制现状、其主要软件组成和相关产品，阐明了机器翻译系统的发展前景。     

机器翻译的困境、前景和出路

文章总结机器翻译的发展现状,阐述机器翻译目前遇到的难于突破的瓶颈,揭示传统的机器翻译的局限性和遇到的困境,最后指出机器翻译的前景和出路在于:(1)加强语言研究成果的计算机语言转换,更好服务机器翻译;(2)语料库的应用。应用翻译平行语料库,结合大数据,云计算,实现云翻译,在云翻译平台上资源共享,探讨交流,达到翻译效率倍增的效果。     

基于图像特征库的动物行为识别技术

针对传统接触感应式动物行为识别方法的局限性,根据特定观察视角下动物轮廓、颜色和空间相对位置等物理特征不变以及不同行为下动物产生不同声音的特点,通过建立基于颜色、线条、位置、声音等信息的特征元素库,并利用正则表达式语义规则对这些基础特征元素进行先验知识的有序组织,赋予它们描述不同动物行为特征的能力,进而快速构建出动物行为的匹配模板,缩短动物行为识别过程中特征模板的生成时间,提高动物行为自动识别效率。结果表明,基于图像特征库的动物行为识别技术能够快速、准确地识别不同类别动物行为,在固定视角下其识别率为87. 5%,平均识别时间为60. 3 ms,与背景差分法及光流法相比,本方法在固定视角下的识别精度和识别效率均有所提高。     

基于共现“互斥互信”原理的同义词识别

在分析关键词、主题词间共现关系的基础上,提出了同义关键词间存在“互斥互信”的理论,并根据这一理论设计了相应的统计模型,从复杂的词间共现关系网中,识别出同义关键词。实验结果表明这种识别方法能有效识别出词形不同的同义词,并具有较高的准确率和可操作性。     

基于UG的麻花钻螺旋槽曲面数控仿真加工研究

根据标准麻花钻螺旋槽曲面前刀面螺旋槽和前刀面切面的数学模型,推导出了螺旋槽曲面磨削加工的刀轴矢量方程,给出了碟形砂轮半径确定方法和麻花钻螺旋槽曲面数控磨削虚拟加工流程图.以30标准麻花钻为例,在UG中对其螺旋槽曲面进行了数控磨削仿真加工.所得到的刀具路径及虚拟加工结果验证了本研究结果的正确性.介绍了UG中对麻花钻螺旋槽加工的后置处理方法,自动生成了后置处理后的NC代码.     

面向作物表型分析的大豆植株叶片语义重建

为解决三维扫描仪、多视图数据获取的三维点云因缺少语义信息导致难以从点云上判别植株器官部位问题,提出一种二维先验语义嵌入的大豆植株叶片三维语义建模方法：首先,基于Mask R-CNN模型对大豆叶片进行语义分割;然后,对分割结果和多视图数据进行立体重建融合学习,实现大豆植株叶片二维语义到三维叶片点云迁移,获得植株叶片点云语义信息,进而建立植株叶片三维语义模型。通过多组盆栽大豆植株试验对该模型进行验证,提取叶长和叶宽与人工实测数据进行对比分析,叶长和叶宽均方误差分别为2.53和1.52 mm,决定系数分别为0.97和0.89。结果表明,该方法能够便捷、精准地构建植株叶片三维语义模型。