含参变量的变上限函数的导数公式

给出含参变量的变上限函数的导数公式,指出了该公式在求解常微分方程和偏微分方程等众多领域的广泛运用.     

PBNA： An Improved Probabilistic Biological Network Alignment Method

Biological network alignment is an important research topic in the field of bioinformatics. Nowadays almost every existing alignment method is designed to solve the deterministic biological network alignment problem.However, it is worth noting that interactions in biological networks, like many other processes in the biological realm,are probabilistic events. Therefore, more accurate and better results can be obtained if biological networks are characterized by probabilistic graphs. This probabilistic information, however, increases difficulties in analyzing networks and only few methods can handle the probabilistic information. Therefore, in this paper, an improved Probabilistic Biological Network Alignment（PBNA） is proposed. Based on Iso Rank, PBNA is able to use the probabilistic information. Furthermore, PBNA takes advantages of Contributor and Probability Generating Function（PGF） to improve the accuracy of node similarity value and reduce the computational complexity of random variables in similarity matrix. Experimental results on dataset of the Protein-Protein Interaction（PPI） networks provided by Todor demonstrate that PBNA can produce some alignment results that ignored by the deterministic methods, and produce more biologically meaningful alignment results than Iso Rank does in most of the cases based on the Gene Ontology Consistency（GOC） measure. Compared with Prob method, which is designed exactly to solve the probabilistic alignment problem, PBNA can obtain more biologically meaningful mappings in less time.     

具有单调功能反应函数的随机恒化器模型的动力学行为

考虑到环境噪声对微生物连续培养的影响,研究了一类流出率受环境噪声扰动的具有单调功能反应函数的恒化器模型.利用随机微分方程比较定理得到了全局正解的存在唯一性定理;通过构造Lyapunov函数,证明了绝灭平衡点是随机全局渐近稳定的;证明了当噪声强度较小时,系统的解将围绕相应确定性模型的正平衡点振荡;当噪声强度较大时,噪声会引起微生物的整体溢出.所得模型及结论将现有结果推广至单调功能反应函数情形.     

无阻尼弱耗散抽象发展方程的强全局吸引子

运用半群理论、收缩函数理论和定义泛函的方法,当非线性项满足较弱的耗散型条件时,在空间V_(2θ)×V_θ×L_μ~2(R~+;V_(2θ))中得到了无阻尼弱耗散抽象发展方程的强全局吸引子的存在性.     

2-度量空间上具有隐式收缩条件的映射族的重合点和公共不动点

引进满足特定性质的二元、四元和六元函数类,建立2-度量空间上的四个映射的隐式收缩条件,讨论并证明四个映射的唯一重合的点和唯一公共不动点的存在定理;给出关于两个和三个映射的相应的结果和Banach不动点定理在2-度量空间上的表现形式,推广并改进了现有的一些结果。     

关于分段函数求导数的教学思考

通过分析分段函数求导数中常见的错误及其原因,探讨了如何进行分段函数求导数的教学,并提出了几点建议.     

微分中值定理的证明及应用中的辅助函数构造

微分中值定理是微分学的基础内容,也是用来研究函数性态的重要手段.因此,对微分中值定理的研究和再证明长期以来都是经久不衰的话题.通过对微分中值定理的再证明,不仅有利于初学者对定理的理解和掌握,也有利于其对定理的灵活运用,同时通过对微分中值定理的推广,还可以得到更加一般的情形.     

多线性极大函数在加权Morrey空间中的有界性

本文证明了多线性极大函数在加权Morrey空间中的有界性,其中权函数为Lerner等人于2009年定义的多线性矢量权。     

基于深度卷积神经网络的RNA三维结构打分函数

非编码RNA的三维结构对于人们理解和干预其生物功能具有重要的意义，从计算的角度发展RNA结构预测方法可以加速结构获取过程，对三维结构进行评分是进行结构预测的关键步骤.近年来，基于机器学习的方法，如AlphaFold2，已在分子结构预测领域取得了革命性的进展.基于深度卷积神经网络，建立了一个对RNA三维结构进行评估的方法 .为了训练这一网络，建立了一个非冗余的含有422个RNA以及126600个decoys结构的数据集.训练得到的模型在RNA-Puzzles数据集上进行了测试，结果表明，在28个RNA中，网络从众多decoys中挑选出实验结构的正确率约为71.4%，这一结果比之前有所提高.另外，还对网络的工作机制进行了分析，发现神经网络对结构评分的倾向性和已知的物理化学知识相一致.     

7次Z_7-等变平面多项式干扰向量场的极限环分支

研究一个7次Z_7-等变平面多项式干扰系统.利用平面动力系统的分支方法和判定函数方法,通过选择恰当的扰动系统参数以获得尽可能多的极限环个数.借助于数值计算,获得了35个极限环,并给出了这些极限环的复眼分布模式.