一种新的量化Markov跳变网络化系统的分析与设计

为了研究一类具有信号量化的随机网络化控制系统,采用时变量化器建立该系统的随机动态数学模型.利用Lyapunov稳定性理论,结合线性矩阵不等式(LMI)技术对随机系统进行稳定性分析和控制器设计,最终给出了指数稳定性判据,并进一步设计相应的时变量化状态反馈控制器.分析和处理过程中,通过引入新的Lyapunov函数,利用矩阵...     

应用Hermit插值方法修正Dome-A自动气象站记录的雪层温度

随着冰盖表面雪的积累或消融,自动气象站(AWS)上所携带的传感器相对于地表的高度/深度不断变化,给观测数据带来误差.本文利用分段三次Hermit插值的方法对Dome A地区的AWS历史雪层温度数据进行修正.结果表明,雪层的修正量随着雪的积累率的增加而增大,在夏半年为正,在冬半年为负.该方法对于浅层雪温的修正有较好的效果.     

具有分段线性水平截线的双参数Copula函数簇

构造了一类具有分段线性水平截线的双参数Copula函数簇,并讨论了这类Copula函数簇的绝对连续性和极限性质.     

分片泛函多延迟微分方程Runge-Kutta方法的稳定性分析

将Runge-Kutta方法用于求解一类分片泛函多延迟微分方程,研究其数值解的稳定性.给出了其解析解的渐近稳定区域包含在其数值解的渐近稳定区域的充分必要条件.最后,用一些数值算例验证了理论结果.     

一类二阶中立型微分方程的概周期解的新证法

给出了一类有逐段常变量的二阶中立型时滞微分方程的概周期解的存在性和唯一性的一种新证法。     

两类确为初等函数的分段函数

先证明两类分段函数是初等函数，然后举例说明将这两类分段函数转化为用一个解析式表示的方法。     

阻尼测量的数据处理和精度分析

本文提出了一种用曲线拟合的方法来处理由自由衰减振动阻尼测量得到的数据,并与对数减缩法作了比较,为了确定二种方法的精度和影响估计值误差的因素,在不同阻尼和噪声条件下进行了计算机模拟计算和给出了估计结果。结果表明,大多数条件下曲线拟合法比对数减缩法精确得多,以及对实际中最常遇见的阻尼值和信噪比,最佳估计的数据最优点数为20。     

分片代数曲面的绘制

提出了一种基于多边形化的分片代数曲面的绘制方法．首先，计算每一个单元所处的片的序号，接着计算它们和曲面的所有的交点形成一个多边形，然后将这个多边形分解成若干个三角形使得每一个三角形都落在同一片曲面上．在该方法中，每一片被染上不同的颜色以便对它们进行局部的控制．最后给出了一些例子以说明这个方法的有效．     

方程u′(t)=au(t)+a_2u([t+2])的线性θ-方法数值稳定性

分析了方程u′(t)=au(t) a2u([t 2])的线性θ-方法的稳定性,给出了稳定区域,并得到了θ-方法稳定区域包含解析解稳定区域的条件.