基于SIFT,K-Means和LDA的图像检索算法

图像检索一直是信息检索领域的难题。提出了一种基于尺度不变特征变换（SIFT,Scale Invariant Feature Transform）,K-Means和潜在狄利克雷分布（LDA,Latent Dirichlet Allocation）的图像检索算法。算法主要分为两个阶段。预备工作得到分类完成的图库、概率分配参数表和基本词库;实现检索是在预备工作的基础上归类测试图片,然后在该类下搜索最相似图片。对比传统的基于文本或内容的检索方法,该算法在检索之前将图片库中所有图片按其本身特征进行自动分类,取代人工标注图像信息的过程,同时由于整个算法完全基于图像特征,故此方法不会引入人工因素的干扰。实验结果表明,该算法能够较为准确地将要检索的图片归为图片库对应的类别中,有效地提高图像检索效率。     

基于关键字的海报自动合成系统

智能化的普及对图像编辑提出了新需求,海报作为一种以图像形式传递信息的方式,在日常生活和工作管理中起着重要的作用。海报的制作需要多元素图像进行合成,目前缺少一种交互式的、一键式的图像合成系统,因此,结合当前流行的图像处理技术,设计并实现了一款海报自动合成系统。提出了一种基于关键字的图像检索方案,构建基于文本和内容的双重过滤方案,为用户提供精准快捷的图像检索手段;通过对大量精心设计的海报图像统计构图规律并引入美学常识的构图规则,提出了一种基于双向规则的人像布局推荐方案;在双向规则的共同作用下辅助用户进行人像布局设计。实验结果表明:所提方案能够稳定高效地运行,用户能够通过简单的交互操作实现图像合成,最终图像合成的效果真实有效。      

民用飞机地面支援设备和工具验证的研究

民用飞机的维护、修理、改装、抢救等工作离不开地面支援设备和工具的支持。地面支援设备和工具的验证是其研制工作的关键环节之一。在地面支援设备和工具交付客户之前,民机制造商应当选择部分地面支援设备和工具进行充分、有效地验证以确保这些设备和工具能够满足客户使用需求。给出了地面支援设备和工具的四维验证评价标准。总结出了民机制造商可采用的三种地面支援设备和工具的验证方式,并分析了这三种验证方式的主要特点以及选用流程。操作验证是民机制造商最普遍采用的、最重要的验证方式。针对操作验证,具体分析了操作验证实施的五大关键因素,介绍了操作验证的四个工作环节以及各环节的主要工作内容。最后,提出了若干与地面支援设备和工具验证相关的工作建议。     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

公务机飞行前风险评估工具研究

近年来,公务航空发展迅速,但在运行过程中也面临多种风险,国内暂时没有一套针对公务机全面、系统的飞行前风险评估工具,因此,有必要对公务机飞行前风险评估进行研究。本文首先根据公务机实际运行,通过分析公务机飞行安全影响因素,建立一份飞行排班人员风险评估指标体系,以及一份飞行员风险评估指标体系,在两份指标体系共88个三级指标的基础上,对每个三级指标划分出低、中、高三种检查标准,相应制订出两份检查单,通过层次分析法确定各检查项权重,并设计一套风险值计算方法。最后,对于风险评估工具的应用给出建议。     

在PB应用中创建和调用多条件动态检索窗口

本文探讨了如何在以PB为开发环境的基础上创建和调用多条件动态检索窗口。并根据理论和自己的实际工作经验提出了解决方案。     

应用磁力研磨法去毛刺保锐边

精密液压伺服阀阀芯棱边去毛刺的难点在于去毛刺后的棱边不得倒圆。传统工艺方法的共同的缺点是效率低、废品率高。应用磁力研磨法去除阀芯棱边毛刺可得到半径不超过5μm的圆角,研磨时间约10S/件。磁力研磨法系将工件(必需由导磁材料制成)放入特定磁场、加入磁性磨料,使工件在磁场内旋转同时作轴向振动,选择合适的工艺参数,即可去毛刺而且保持棱边不倒圆。     

FORTRAN程序调用关系分析工具的研制报告

本文提出了分析 FORTRAN 程序调用关系的方法,实现了分析 FORTRAN 程序调用和被调用关系的工具 FCA。