基于近似距离序的重复模式图像匹配算法

由于重复模式图像局部信息的歧义性,即使在视角变化很小的情况下,仅通过比较局部描述子之间的相似性得到的匹配结果往往并不可靠。为了解决这个问题,该文根据特征点空间的分布特性,给出了一种新颖的几何相容性表示方法近似距离序;结合利用局部描述子获得的匹配代价,定义了一种混合形式的目标函数,将匹配问题转化为一对一约束下的优化问题;最后,通过概率松弛法求解目标函数的极大值,获得特征点之间的对应关系。在不同类型图像上的比较实验表明,所提出的方法能够有效地解决重复模式图像匹配问题。     

自动武器协同设计中模型结构一致性保持及映射技术研究

针对目前大型CAD软件的协同支持工具协作功能有限,分发模型数据量过大,无法实现高效响应设计问题,结合自动武器快速协同设计的实时性需求,在可配置可复用的模块参数化设计方法的基础上,建立了基于网络协同的自动武器三维模型数据结构一致性保持及映射机制.利用与平台无关的结构化信息描述手段描述特征模型和三维建模参数化造型数据及相关...     

弹道一致性试验判据的分析和建议

介绍了国家军用标准（简称国军标）弹道一致性试验判据,运用数理统计和射击理论知识,分析了弹道一致性试验判据的不完善之处,从判据的统一性和稳健性等方面给出了建议。     

一种自适应多核处理器I/O一致性处理方法

 I/O引发的数据一致性问题是多处理器系统数据一致性问题不容忽视的重要因素.多核使得处理器中的I/O一致性问题变得更加突出.另一方面,I/O访问模式的多样性使得单一的I/O一致性处理方法很难满足多样的I/O应用需求.本文首先分析了I/O应用访问模式,提出了I/O数据访问的七种特性;并根据I/O数据的访问特性提出了一种新型的自适应多核处理器I/O一致性处理方法,使得I/O一致性处理可以自适应地根据I/O应用进行动态调整,从而满足不同应用需求;最后,我们对自适应的I/O一致性处理方法进行了性能评测,评测结果表明该方法对不同的I/O应用均能获得很好性能.     

确保时态一致性的实时并发控制协议

实时控制系统通常需要维护大量的时态数据对象,这些时态数据对象是现实世界不断变化的物理环境的逻辑表示.应用事务通过对时态数据对象的访问来产生最终的控制活动.在实际应用中,实时控制系统不仅需要确保事务能在规定的期限内完成,也需要保证事务存取的是时态一致性的数据对象.传统的实时并发控制协议强调事务截止期的满足,而忽略了事务对其所存取数据对象有时态一致性需求.本文首先给出了数据和事务时态一致性的形式化定义,在此基础上,提出了一种新的能确保时态一致性的实时并发控制协议:时态一致性高优先级两段锁协议(TCHP-2PL).为了实现更好的实时性能,我们对TCHP-2PL进行了改进,通过引入相似性概念,提出了TCHP-2PL的改进版本:STCHP-2PL.性能测试结果显示,STCHP-2PL在确保时态一致性的同时仍能保证很好的实时性能.     

文件系统的快速启动机制研究

文章提供一种文件系统的快速启动方法,通过设计一种合理的文件系统一致性方案以减少文件系统的完整性检查,且只在合适的时机扫描磁盘以减少磁盘扫描开销有效缩短文件系统启动时间。     

基于本体的高校知识分析和推理

以高校知识为研究和应用背景,研究基于本体理论的高校知识本体结构化表示和描述,并采用protege 4.0建立了高校知识本体。同时从高校知识中提取出基本公理、类内公理和类间公理,建立公理库,并采用protege的PAL推理引擎对高校知识进行一致性分析和推理。解决了高校知识语义层次上的信息共享和交互的问题,为高校知识的管理提供语义支撑。     

对比度、颜色一致性和灰度像素保持的消色算法

目的 为了解决目前消色算法中不能同时保持原始图像的对比度,颜色一致性和灰度像素特征的问题,提出一种新的优化算法,最大限度地同时保留这些视觉特性。方法 为了保持原始图像的结构和局部对比度信息,用双高斯模型构建像素对之间的误差能量项;为了保持颜色一致性,采用局部线性嵌入模型构建能量项,确保原始图像中颜色一致的像素在结果图像中也拥有一样的灰度级;为了保持灰度像素特征,先标记出原始图像中的灰度像素,并强制规定这些像素的灰度值是已知的且在消色变换的过程中始终不变,然后用双高斯模型构建出灰度像素与其他像素之间的误差能量项。线性结合这3个能量项,得到目标能量函数,再通过迭代法求解出使总能量值达到最小的灰度值,从而得到了最终的消色结果。结果 实验结果表明,本文算法能够同时较好地保持原始图像中的对比度、颜色一致性和灰度像素特征。结论 本文算法基本符合人类对图像对比度变化的感知程度,而且能够很好地保持细节信息和全局结构,可应用于数字打印、模式识别等方面,具有很大的应用价值。     

基于扩展层次自动机的UML状态图完备性和一致性检验

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。