云制造资源服务化封装与服务发现研究

为屏蔽制造资源的复杂性和异构性,实现异地、异构的制造资源整合与共享,向用户提供统一资源服务调用接口,分析云制造资源池业务流程和云制造资源组织模式,并提出以模块化的方式描述资源管理信息.在此基础上,构建制造资源的本体语义模型,使用OWL(Contology Web Language for Services),进行形式化描述;使用描述模版库和资源—服务映射器,实现资源服务化封装操作的简单化、自动化和规范化;使用OWL-S对制造云服务进行形式化描述,提供简便的服务注册、发布操作.采用基于语义相似度的服务搜索和匹配方法,并将云制造服务语义细分为功能语义、服务质量语义、数据语义和执行语义,使服务匹配快速、准确.     

基于案例推理的机场应急预案管理

为提高机场应急处置能力,提出一种新的基于案例推理方法的机场应急救援模型。利用XML技术来表示案例和构造预案库,给出机场应急预案库的分类方法,构建预案特征属性的层次结构。采用两两比较打分法确定航空器紧急事件预案特征属性的权重．运用最邻近算法对已有救援案例进行检索与匹配。实例证明该方法能有效提高机场应急救援效率,检索结果客观合理。     

基于知识工程的飞机装配过程故障智能诊断技术

针对飞机装配过程中故障产生原因复杂,描述文本较长的特点,结合深度学习理论,提出了基于知识工程的故障智能诊断方法.首先对飞机质量故障表单进行属性约简,利用基于词库与全模式分词相结合的分词算法约简长文本属性.通过深度学习算法将长文本属性向量化表示,然后利用最相邻(KNN)算法与余弦相似度算法,从历史故障表单中检索出与新表单...     

基于趋势分析的发动机振动故障识别

总结十种航空发动机整机故障的振动特征发现,单纯从频率角度分析几乎所有故障模式都表现为转子基频,但是不同故障的振动幅值发展趋势却有所不同.基于此提出了基于趋势模型的发动机振动故障识别方法.讨论了发动机整机振动趋势的数学描述及不同故障模式的趋势发展特征;建立了平稳波动模型、周期摆动模型、线性发展模型和阶跃突起模型分别描述发动机振动正常状态和三种典型故障模式;为了有效识别上述四种模型,提出了模型识别准则并实现了识别算法.最后以四组发动机实测趋势数据作为案例进行验证,结果表明该方法可以有效地区分故障模式,验证了该方法的正确性和工程实用性.     

基于云映射的多粒度语义决策属性识别

异类多传感器多属性目标识别中的描述性语义和决策属性信息无法直接进行识别判定,为此基于粒层转化的思想,提出了一种语义和决策属性识别方法。首先构造云映射函数,将语义和决策属性粒层统一到区间粒层,再根据灰色关联的思想计算区间化后的语义和决策属性信息与数据库之间的区间关联度,实现了不等粒层属性的粒度计算,最后采用证据推理进行了识别判定。结合语义和决策属性识别算例及对比分析,验证了所提出方法在异类数据模糊转化处理和识别上的有效性。     

顺序图的形式化方法描述

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.     

模糊匹配和CBR技术在航空发动机维护中的研究

结合模糊匹配方法和案例推理技术(CBR)建立飞机故障诊断的数学模型。该模型能够快速准确地诊断故障原因、进行故障案例匹配。诊断实例表明,模糊匹配方法和 CBR 技术的结合,可以有效地解决飞机发动机故障诊断中的问题。     

一种基于语义信息辅助的无人机视觉/惯性融合定位方法CSCD

视觉传感器在无人机室内定位中发挥着重要作用。传统基于特征点的视觉里程计算法通过底层亮度关系进行描述匹配,抗干扰能力不足,会出现匹配错误甚至失败的情况,导航系统的精度及鲁棒性有待提升。由于室内环境存在丰富的语义信息,提出了一种基于语义信息辅助的无人机视觉/惯性融合定位方法。首先,将室内语义信息进行因子建模,并与传统的视觉里程计方法进行融合;然后,基于惯性预积分方法,在因子图优化中添加惯性约束,以进一步提高无人机在动态复杂环境下的定位精度和鲁棒性;最后,通过无人机室内飞行试验对算法的定位精度进行了分析。试验结果表明,相较于传统的视觉里程计算法,该方法具有更高的精度和鲁棒性。     

基于实例推理的工艺规划

在研究基于实例推理(CBR)基本原理和实例特征属性权重的确定方法的基础上,建立了CBR的工艺规划模型,提出了CBR工艺规划算法.根据这种算法,描述了BITCAPP中CBR技术应用的过程,并分析了基于分层递阶思想的实例组织和匹配模型等关键技术.最后以箱体类零件为例对CBR技术在工艺规划中的应用进行了验证.     

基于NuSMV的AADL模型形式化验证技术

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言，在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性，提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先，覆盖AADL模型的所有软件构件和行为特征，提出了AADL模型到NuSMV模型的映射规则和转换算法；其次，采用图同构方法分析了转换算法的正确性；然后，在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述，以验证AADL模型中安全性、活性和嵌套模态配置的正确性；最后，以飞行控制系统为例，详细阐释了基于NuSMV的AADL模型形式化验证方法，并给出验证属性的统计信息。     

A novel strategy for fine-grained semantic verification of civil aviation radiotelephony read-backs

During the flight of the aircraft, the pilot must repeat the instruction sent by the controller, and the controller must further confirm these read-backs, in this way to further ensure the safety of air transportation. However, fatigue, tension, negligence and other human factors may prevent the controller from realizing read-back errors in time, which is a huge hidden danger for the safety of civil aviation transportation. This paper proposes a novel strategy to implement fine-grained semantic verification of radiotelephony read-backs by introducing interaction layer and attention mechanism at the output of BiLSTM model. Compared with the traditional two-channel verification strategy, the interaction layer is added to obtain fine-grained semantic matching relation representation, rather than connecting the BiLSTM output vectors to obtain the overall semantic representation of the sentence. And by adding attention layer, the new strategy can capture the potential semantic relation between the read-backs and the instructions, which is applicable to non-standard diction and abbreviated read-backs in real radiotelephony communications. Extensive experiments are conducted and the results show that the proposed new strategy is more effective than the traditional method for read-backs checking, and the average test accuracy of the new strategy based on the Chinese ATC radiotelephony read-backs corpus can reach 93.03%.     

一个确定汉语句子主干的递归模型

汉语句子主干识别对于整个句子的语义理解起着重要的作用,汉语语义分析在确定一个多动词句子的句子主干等方面有一定的困难.提出了句子的完整语义性概念,通过对语义完整性在句子中的具体表现形式--语义完整块的介绍,分析了句子的完整语义性的特点,尝试利用语义完整性在汉语的多动词句中找出句子的主干,并提供一个递归算法加以描述,并据此建立了一个基于语义完整性的递归模型.     

新结构主义观点下的词义网络关系

根据词汇的搭配、聚合及其他多种关系,重点讨论了词义的各种特征以及这些语义词汇构成的网络关系.在词义网络关系的基础上,强调词汇间更加深层的语义关系,尤其是纵向分类关系,进而提出把词汇的记忆从直线型（搭配关系）变成从空间几个角度来确定一个词汇的意思.     

俄汉语词汇的民族文化语义

在俄汉语词汇中，由于不同的历史条件，不同的情景而致每个词汇除它的基本词义外都会有独特的语义，带有民族文化特点的语义．本文把俄汉语词汇分为同义型、歧义型、特义型来阐明它们在民族文化语义上的异同．     

多媒体数据库中基于语义检索的研究

提出了一种多媒体数据库语义检索原型MSFRP。介绍了系统原型设计及其多媒体对象分割匹配技术,设计了多媒体对象语义模型,描述了模糊推理检索方法。MSFRP实现从特征层到语义层的多媒体数据检索,有效支持多媒体数据库的复杂查询应用。     

基于总线式集成框架的本体构建及映射研究

通过本体的构建及相应的本体映射策略,可以很好地解决信息集成过程中出现的语义异构问题。是实现异构数据源语义解析的基础。在已有研究成果总线式信息集成框架的基础上,针对目前本体构建过程存在的不足,提出了基于共享词汇表的全局本体构建技术和基于UML的局部本体构建技术,使所构建的本体元素间关系更加准确完备,具有良好的一致性。提出了基于综合相似度的本体映射策略,大大提高了本体映射的精度。     

一种鲁棒的红外与可见光多级景象匹配算法

针对基于特征的景象匹配方法对图像噪声和局部形变适应性差以及对特征质量依赖性强等问题,从提高图像特征描述能力入手,将具有局部光照和对比度不变性的相位一致性变换引入到红外与可见光景象匹配的特征表征中,以获得对噪声和局部形变较强的适应性。在此基础上,首先采用抗旋转的圆投影实现图像粗略匹配,然后基于Zernike矩推导出图像的互相关匹配重构函数并用来剔除错误匹配点,最后基于曲面拟合方法获得亚像素定位,从而实现图像精确与鲁棒匹配。仿真实验验证了所提算法的有效性。     

基于条件随机场的遥感图像语义标注

遥感图像包含的信息丰富,纹理复杂,而遥感图像语义标注又为后续的目标识别、检测、场景分析及高层语义的提取提供了重要信息和线索,这使其成为遥感图像理解领域中一个关键且极具挑战性的任务。首先针对遥感图像语义标注问题,提出采用条件随机场(CRF)框架对遥感图像的底层特征和上下文信息建模的方法,将Texton纹理特征与CRF中的自相关势能结合来捕捉遥感图像中的纹理信息及其上下文分布,采用组合Boosting算法进行Texton纹理特征选择和参数学习;然后将Lab空间中的颜色信息与CRF中的互相关势能结合来描述颜色上下文;最后用Graph Cut算法对CRF进行推导求解,得到图像自动语义标注结果。同时,建立了可见光遥感图像数据库Google-4,并对全部图像进行了人工标注。Google-4上的实验结果表明:采用CRF框架与Texton纹理特征和颜色特征相结合对遥感图像建模的方法与基于支持向量机(SVM)的方法相比较,能够取得更准确的语义标注结果。     

注塑件相似度计算方法

提出一种标准化的塑件相似度计算方法,塑件相似度由规范化的属性距离加权求和构成,并引入灵敏度系数对相似度、区分度进行调整。各权值按塑件各属性项对目标量的影响程度进行分配。所提出的算法可用于基于实例推理的注塑模设计中相似塑件的搜索与匹配。     

面向三维重建的工艺语言理解及工艺语义模型构建

从动态工艺设计过程的视角考察工艺设计意图和二维工序图形的进化进程,以电子工艺卡片为输入对象,将自然语言理解技术和图形理解技术相融合,用具有工艺语义的工序语言指导二维工序图形的三维重建,实现对制造毛坯三维形态演变过程的智能推理,重建出基于特征的零件模型及中间工序模型.研究了工艺语义的定义与表示、机械加工领域概念知识库的构...