语域三变量的教学模式在大学英语精读教学中的运用

将韩礼德的语域理论应用于大学英语精读教学的三变量分析法教学模式,可以弥补外语教学中过分关注语言形式的正确性而忽略交际语言的得体性这一缺陷,帮助培养学生运用得体语言进行交际的能力,即根据场合正确选择语域的能力.     

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函数,证明了绝灭平衡点是随机全局渐近稳定的;证明了当噪声强度较小时,系统的解将围绕相应确定性模型的正平衡点振荡;当噪声强度较大时,噪声会引起微生物的整体溢出.所得模型及结论将现有结果推广至单调功能反应函数情形.     

一种基于切削稳定性分析的高能效铣削参数优化方法

在保证加工质量的基础上实现高能效加工是机械加工追求的目标,而无颤振切削是保证加工质量的必要条件。本文首先分析机床的能耗特性,提出高速无颤振铣削参数优化模型,使机床的能量利用率最大化。然后提出一种基于切削稳定域上的切削参数优化快速求解方法。结果表明,能量利用率提高了154.5%,总能耗降低了61.5%,加工时间缩短了74.8%。     

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

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

有界平衡域上一类螺旋映射的增长定理

给出有界平衡域上一类螺旋映射的参数表示,作为应用建立了其增长定理,进一步给出了这类映射即星形映射的一个刻画.所讨论的域是非常广泛的,包括了复椭球和四类典型域,这些结果涵盖了先前已知的结果.     

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

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

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

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

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

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

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.