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

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

乙酸乙酯-乙苯二元混合溶液的折射研究

计算混合溶液折射率的新方法:n=1 ∑wiρMDMi,对于无机混合溶液、乙醇水溶液和丙三醇水溶液等有着很好的适用性,但对含有羰基和苯环官能团复杂物质是否适用还不清楚.本文对含有羰基和苯环官能团的、不同浓度乙酸乙酯-乙苯溶液折射率进行计算,计算结果与实验测量值吻合的非常好,进一步证实了该方法对酯类、芳香族溶液的适用性,并给出了该溶液浓度、密度和折射率计算所需的重要参数值.这些结果也支持了该方法的理论基础,证明了该方法的电子云导体理论模型的合理性.还用Lorentz-Lorenz公式计算了这些混合溶液的折射率,并对2种计算方法的偏差进行了比较.     

基于可信第三方的Android应用完整性验证模型

提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.     

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

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

林果业生产机械化水平评价与实证研究

为掌握多年生作物林果业的生产机械化发展现状,十分有必要建立一套指标体系来评价其生产机械化水平.从统计具有可操作性角度出发,对林果业概念界定、指标及权重设置、评价方法建立等方面进行了深入探讨.通过典型调查与专家咨询、定性与定量研究相结合等方法,从林果业全程生产的15项作业中重点考虑作业频次高、用工量大、作业费用多、机械化需求迫切的重点作业项目,选取了中耕、施肥、植保、修剪、采收、田间转运等6项,设置了相应评价指标,用德尔菲法确定了指标权重,构建了评价指标体系,采用线性加权综合评价法进行计算和评价.最后进行了应用验证,结果表明该指标体系能一定程度反映生产实况,且具有可操作性,为分区分类指导我国林果业生产机械化发展提供了科学依据.     

基于MVC的GNSS验证系统授时指标软件设计与实现

为了方便分析GNSS验证系统授时指标,设计并实现了授时指标软件。该软件具有数据解析、授时载波频率准确性分析、载波频率稳定性分析、码载一致性分析、数据拟合、频域分析等功能。采用MVC(model-view-controller)模式对软件的系统架构进行设计,描述了Qt的信号与槽机制和核心模块的设计及其交互,并用C++语言在Qt平台完成了软件的开发。实验表明,该软件可方便地实现GNSS验证系统授时指标的定量分析,GNSS验证系统频率准确度为10~(-10)、码载一致性为10~(-10)。     

基于疲劳强度分布的复合材料疲劳验证载荷放大系数

传统的载荷放大系数(LFE)法是在复合材料静强度和疲劳寿命的Weibull分布基础上推导得出的。为了保证复合材料疲劳试验验证的可靠性和疲劳载荷放大系数的分散性较小,利用疲劳可靠性理论,提出一种基于复合材料疲劳强度和疲劳寿命Weibull分布的载荷系数法——疲劳强度载荷放大系数(FLEF)法。将LEF和FLEF方法应用于疲劳试验数据分析,结果表明:在无批量数据的前提下,采用LEF法获得的疲劳载荷放大系数无法保证复合材料疲劳试验验证的可靠性,FLEF法确定的载荷系数具有更小的分散性,更高的可靠性。可见,与LEF法相比,FLEF法在理论和实践上更适合复合材料疲劳试验载荷放大系数的确定。     

制定我国节水法的必要性和可行性研究

节水法,顾名思义是为节约用水提供保障的法律,新中国成立以来,我国也进行了关于水资源保护的立法,对水资源的保护起到了必要的促进作用。但是,随着我国工业化进程的加快及一些不可预知的自然灾害,致使水资源紧缺状况加剧,现有法律制度在水资源保护方面已显得力不从心。为顺应我国全面建设节水型社会的内在要求,对建立节水法的必要性和可行性进行研究就显得十分必要。     

平菇原种培养中木屑替代玉米芯的可行性研究

为寻找平菇原种制作中可用于替代玉米芯的材料,以减轻因玉米芯供应稀缺而造成的生产压力,进行了木屑替代玉米芯的试验。结果:平菇菌丝在木屑含量不同的培养基中长速和长势存在差异,与对照相比,木屑有促进平菇菌丝生长的作用,在木屑含量在25～30%时效果最好,木屑量达40～45%时,菌丝生长情况下降,但与对照持平,木屑量再增加,达到50～60%,即几乎全部替代原种培养基中的玉米芯时,菌丝早期长势差,后期长势向好,但满瓶时间稍长。结论:一定比例的木屑代替玉米芯是可行的,亦可通过培养基中不同比例的木屑来调整原种生理成熟时间,以方便实际应用。     

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.