关于水库征地移民设计中如何确定淹没界线的问题

如何科学准确地对不同的淹没对象进行划分并确定淹没界线,是进行征地移民设计的大前提,对开展征地移民工作尤为重要,也为国家节约大量的工程投资。     

关于泰勒级数与幂级数

泰勒级数和幂级数的各项是由结构简单、性质明了的幕函数组成．因此，把一个函数展开成泰勒级数或幂级数，不仅有利于讨论函数的性质，而且还有广泛的应用．这里综述泰勒级数的若干展开方法以及泰勒级数和幂级数在若干领域的应用．     

基于弹性通解的矩形深梁的精化理论

从均匀各向同性梁的二维问题出发, 得到此问题的一维理论. 根据弹性理论, 借助于Papkovich-Neuber通解和Lur’e算子方法, 不作预先假设, 构造了矩形梁的精化理论, 表明梁的位移和应力分量可以由梁的中面挠度和转角表示. 通过梁的精化理论, 得出了自由表面弹性梁的精确方程, 由两个控制微分方程组成: 四阶方程和超越方程. 对于受表面横向载荷的梁, 近似方程可以直接从精化梁理论推出, 并与Timoshenko梁理论的控制方程很相似. 利用两个例子, 对比本文与线弹性理论获得的结果, 表明新精化理论能获得比Levinson的梁理论更好的结果.     

YCΩ2n是易项

证明了如下结果：对任意的ｎ≥１,ＹｃΩ２ｎ是易项,即对任λ项Ｍ,λβ＋ＹｃΩ２ｎ＝Ｍ是协调的。其中Ｙｃ是Ｃｕｒｒｙ不动点组合子,Ω２ｎ＝ω２ｎω２ｎ,ω２ｎ＝λｘ．ｘｘ…ｘ（λｘ之后ｘ有２ｎ次出现）。从而,部分证明了Ｊａｃｏｐｉｎｉ提出的如下问题：对任意的ｎ≥２,ＹｃΩｎ是易项。     

动态软件体系结构建模方法研究

针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）．sAAM以两种互为补充的形式化方法——面向对象Petri网OPN和π演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化．这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析．在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量．利用SAAM对经典实例自动加油站系统进行的建模与分析表明，SAAM直观、易懂，可以有效地刻画系统动态体系结构．     

河道洪水演算的径向基函数神经网络模型

将径向基函数神经网络方法应用于河道洪水演算中，并利用最小二乘法来确定模型参数。结合河道洪水演算的具体方式，分别构建基于马斯京根方法和具有预见期的洪水演算方法的径向基函数神经网络模型。将该模型应用于两条天然河道的洪水演算中，计算结果表明，该模型运算快速，精度较高，具有较大的应用价值。     

系统生物模型转换研究--从SBML到 Stochastic Pi Calculus

分析了系统生物标记语言（SBML）模型和用随机Pi演算对生物建模（BioSPI）的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程,提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想。     

老师为什么总找我麻烦

以前,我在老师眼里一直是个优等生。怎么也没想到,自从开学换了新的数学老师后,现在的我居然成了老师的"眼中钉",经常被老师"扁"来"扁"去。