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

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

状态约束下完全耦合的正倒向随机控制系统的最大值原理

在一类单调性条件下，运用对偶技巧和Ekeland变分原理，得到了初始和终端状态都有约束情形时，一类完全耦合的正倒向随机控制系统的最大值原理，这里正向系统扩散项中不含控制变量，但控制域允许非凸.     

含有次凸位势的二阶Hamilton系统周期解

研究非自治的二阶Hamilton系统:±u= F(t,u(t)),a.e.t∈[0,T],u(0)-u(T)=u(0)-u(T)=0的周期解.当位势函数是一个(λ,μ)次凸函数与一个次二次函数的和时,利用极小作用原理和鞍点定理得到了非平凡周期解存在的几个充分条件.更全面地讨论了含有(λ,μ)次凸位势的Hamilton系统的周期解,推广和补充了某些已知的结果.     

非线性大挠度矩形板中的分叉

研究了一个非线性大挠度矩形板在简谐激励作用下的动力学行为。利用Galerkin原理和平均法建立了这一非线性系统的双模态模型,讨论了由于内共振导致的分叉行为,最后利用数值分析证实了理论分析得到的结论。     

一种基于综合智能计算的模拟电路故障诊断方法

文章针对目前模拟电路故障诊断中存在的容差和非线性特性所带来的诊断难点,提出了一种基于粗集-主成分分析的模拟电路故障诊断的方法。这种方法利用粗集理论属性约简、数据归一化、主成分分析对输入数据进行预处理,提取主要参数,然后利用神经网络对各种状态下的特征向量进行分类决策,实现模拟电路的故障诊断。对标准电路仿真结果表明:该方法能够实现快速故障检测与定位,具有准确率高的特点。     

“X男／女”的词语模语义建构和语用理据分析

“X男/女”词族近年来涌现出很多新成员,对“X男/女”这一词族进行词语模语义建构分析,指出“X男/女”词语模之所以会流行,除了因为其语义建构符合语言的经济原则和语义的关注原则,外部语用环境也起着重要的作用。     

大规模侵权行为及其归责原则初探

阐述了大规模侵权的概念及其特征,分析了大规模侵权事件的激增对侵权法的挑战,探讨了大规模侵权行为的归责原则,指出应当在明确大规模侵权概念的基础上确立大规模侵权的归责原则,以使大规模侵权事件中的受害主体从法律的渠道得到救济.     

发达国家服务贸易壁垒对我国的影响及对策分析

20世纪90年代以来,国际服务贸易迅猛发展,已成为各国经济竞争力的重要表现。随着经济全球化和贸易自由化进程的加快,各国纷纷加强发展本国的服务贸易,并开始关注服务贸易壁垒的影响。从我国当前服务贸易的现状分析了研究服务贸易壁垒的必要性和紧迫性。对发达国家服务贸易壁垒形成的主要原因、特点及分类做了实证分析,着重分析发达国家服务贸易壁垒对我国产生的影响。并在此基础上,论述了中国为顺利发展服务贸易所采取的对策及遵守的基本原则。     

一个适用于有限变形及率敏感非弹性材料问题的混合变量广义变分原理

本文在现时拉格朗日(UL)描述下推导了适用于有限变形及率敏感非弹性材料问题的混合变量广义变分原理.以位移率和应变率为独立变量使它适于在板壳问题中应用.仔细考虑了非弹性应变率对变分变量的依赖性后,转化率形式泛函为对率敏感非弹性材料计算来讲有高阶收敛性的增量形式,并统一了两种率敏感塑性模型(Bodner和Perzyna)的计算表达形式。     

An improved iterative reconstruction algorithm for traveltime tomography

Traveltime tomography is a technique to reconstruct acoustic, seismic, or electromagnetic wave-speed distributions from first arrival traveltime data. The ray paths that should be used for tomographic techniques strongly depend on the wave-speed distribution. In this paper, a new method is proposed for finding out the ray paths from Fermat's principle, that means the traveltime of the ray path should be a minimum value. The problem of finding out the ray path is actually an optimum problem. Our new method uses the idea to find out the shortest path in a weighted directed graph to solve the problem. The ray paths found out by this method are used in the iterative reconstruction algorithm. Computer simulation result produced by this reconstruction algorithm is better than that by the conventional ones. It also shows that the new algorithm is effective with good convergency and stability. Ma Ning: born in Nov. 1970, Ph. D. graduate student. Current research Interest is in computer signal processing Supported by the National Natural Science Foundation of China