渐近半压缩映象具混合型误差的迭代收敛性

在较弱条件下于实赋范线性空间中研究了一致Lipschitz渐近半压缩映象不动点的具混合误差的Ishikawa迭代序列的逼近问题,改进和推广了相关结果 .     

分数阶Birkhoff系统的积分因子与守恒量

基于Riemann-Liouville导数的分数阶Birkhoff系统,提出了用积分因子理论寻找分数阶Birkhoff系统的守恒量的一种新思路.先由分数阶Birkhoff系统方程,给出了其积分因子的定义;其次,建立了由该系统积分因子理论得到的该系统守恒定理.为了进一步得到该系统的守恒量,给出了分数阶Birkhoff系统的广义Killing方程.分数阶Hamilton系统的守恒定理为本文特例.最后,举例说明结果的应用.     

混合随机序列部分和的强收敛性

讨论了混合序列部分和强收敛性，所得结果推广和改进了文献（１，２），并推广了Ｍａｒｃｉｎｋｉｅｗｉｃｚ强大数律。     

关于不定方程｛sum from (i=1) to k(1/x_i)-(1/x_i…x_k)｝=1

讨论一类不定方程∑ｋｉ＝１１ｘｉ－１ｘｉ…ｘｋ＝１（ｋ≥３），给出了这类方程的两个重要性质，即方程的解序列的递归性和求解的一个充要条件，这就得出了一个对任意ｋ通用的求解方法，同时具体给出了ｋ＝７时方程的全部解     

基于混合策略的de novo序列拼接算法构造

在对3种de novo(从头)序列拼接的基本策略进行分析的基础上,该文研究了混合策略序列拼接算法的构造过程,从而整合多个单一策略优点; 再利用形式化方法和形式化平台方面的优势,结合领域分析建模和产生式编程的方法,构造了2个基于OLC策略的算法(OLC_assembly_1,OLC_assembly_2)及1个基于DBG策略的算法(DBG_assembly),进一步组装出在(OLC+DBG)→OLC混合模式下的算法(简称ODO算法); 最后,从GenBank中选取了3个实验样本,从N50、Contigs number、Coverage等角度,比较了在3个单一策略下的算法和ODO构造算法的拼接结果,分析了coverage depth和k值的变化对拼接结果的影响.实验结果表明:该文实现的ODO算法比单一策略在序列拼接时所产生的结果在N50和Coverage等参数上均有一定的优势.