一种新颖的编辑距离限制下的相似性确认算法

针对相似性确认步骤中编辑距离计算的高复杂性问题,提出了一种在编辑距离限制下的基于鸽笼原理的字符串相似性确认算法.首先找到满足编辑距离片段映射的片段,以此片段为基准,将长度为500bp的read分段.然后对满足编辑距离片段映射的左右部分递归地进行编辑距离计算,将各段得到的编辑距离相加即为最后结果.最后根据最长公共子串的下限将需要验证的片段数目降到最低,得到优化方案.实验结果表明,基于鸽笼原理的分段递归计算编辑距离的确认算法减少了验证步骤的时间,并能保证假阳率和假阴率都为零.     

在机检测中STL格式自然二次曲面特征参数的提取

根据工件的几何特征及其参数进行测量轨迹规划是在机检测系统中重要的环节之一.为了从STL(stereo lithographic)文件中提取出其所描述的工件模型的几何特征及参数,给出了一种针对其数据文件格式特点的自然二次曲面特征参数提取新方法.该方法首先根据三角面片法向量在高斯球面的映射图像判定自然二次曲面几何特征,然后将快速聚类法和Gauss-Newton法相结合,对STL文件中坐标点进行几何特征参数的计算.计算实例表明,该算法能够稳定、准确地提取出自然二次曲面的几何特征参数.     

基于单片机的多点定时温度采集与图形显示

本系统是基于STC单片机和单总线温度传感器DS18B20组成的多点定时温度采集系统,并将采集的温度数据以图形和表格相结合的方式显示在液晶屏上。该系统结构简单、性能可靠、操作简便,是主要针对需要定时采集温度数据与观察温度变化曲线的热学实验而设计的。     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

基于滑动窗口的动态手写签名局部相关性研究

为了解决直接序列匹配中签名序列存在随机波动和时间轴方向非均匀伸缩,导致相关分析给出的匹配度不高的问题,提出了采用滑动窗口对真实签名进行局部相关性分析的方法.将手写签名按压力划分成若干笔段,研究笔段匹配算法;对分段后的数据序列用滑动窗口算法进行局部相关分析.算例显示,对不同的签名个体而言,总有一些笔段的相关性极高,最小相关系数都达到0.8甚至0.9以上,这些笔段,正是签名者的稳定的签名特征,无论是相关分析法还是特征矢量分类法,滑动窗口局部相关分析都是一种有效的算法.     

用于IC版图运算的O(N)排序算法

扫描线算法是集成电路版图运算的主流算法,排序在其中占有相当大的工作量．针对集成电路版图的特点,提出一种线性的排序算法,其时间复杂度为Ｏ（Ｎ）,比通常的快速排序算法时间复杂度（Ｏ（ＮｌｏｇＮ）低,适用于基于扫描线算法的集成电路版图运算．对于层次式设计的版图,该算法更具优越性     

平纹编织复合材料层板维修的挖补角度优化分析与试验验证

鉴于平纹编织复合材料的广泛应用与该类型层板维修研究的缺失性,研究针对一系列不同修补角度的平纹编织复合材料层板维修工况,进行了三维有限元模型分析计算与试验验证,得到结论如下:修补角度的选取对于恢复强度的影响极为明显。研究使用的平纹编织复合材料层板结构最佳修补角度为4°,最大强度修复率达到了66.98%;分析采用的三维有限元修补模型得到的强度计算值与试验数据基本吻合,说明该计算模型能够满足维修设计的需求,为实际修理提供较好的维修指导。     

面向图形处理器重叠通信与计算的数据划分方法

针对"主核心+协处理器"式异构并行系统采用数据平均划分再分批执行的方法来解决主协式处理架构的额外通信开销时未能充分利用系统资源的问题,提出了一种新的数据比例划分方法.结合系统通信带宽和图形处理器(GPU)的计算能力,将应用数据按比例划分为大小不同的数据块后分批提交给GPU处理,使系统的传输资源PCI-E总线和计算资源GPU在一段时间内并行工作,从而实现了应用通信与计算的重叠.在处理按照比例划分的数据块过程中,尽可能充分利用系统的传输资源和计算资源,以减少数据传输和计算的相互等待时间.实验结果表明,采用数据比例划分方法后的应用性能明显提高,可以有效地重叠通信与计算时间,矩阵相乘和快速傅里叶变换总执行时间比未划分时分别减少了5%和30%左右,比平均划分时分别减少了3%和6%左右.     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

层间干扰实质与再认识

受各储层段岩性、物性以及开采过程中各层段地层压力与流体物性差异等因素影响,多层油藏在采用合注合采开发时,始终存在层与层之间相互制约和干扰的问题。不恰当的注水开发模式会导致各层吸水能力、出油状况及水淹程度差异加剧,生产动态上表现出较大的层间矛盾,从而影响各层段和油藏整体的均衡动用及最终采收率。目前定义的多种层间干扰系数能定量表征层间干扰现象,但其物理内涵与实际注水开发渗流过程不符。针对前期层间干扰研究存在的不足,以海上某油田典型多层油藏X为例,结合室内实验方法、油藏工程方法和数值模拟方法,剖析了多层合采早期实验测试及理论研究中存在层间干扰的根源和实质,确定了分段测试与整体测试之间表现出的层间干扰实质是油藏压力场与渗流场的非均衡性所致,并基于层间干扰实质研究成果,建立了考虑层间干扰的油井产能计算新方法。实例应用结果表明,基于层间干扰实质的层间矛盾定量评价及油井产能计算新方法更符合油藏实际情况,为多层油藏合注合采产能的预测及降低层间干扰对实际生产效果影响的策略制定提供了理论依据。