铁路路基填筑土地基系数K30与承载力关系研究

地基系数K30作为判断铁路路基压实程度的基本指标,其与承载力的关系一直没有明确的结论。通过某铁路现场实测获得地基系数K30与地基承载力数据,将原始数据进行拟合得到二者的关系曲线,同时采用数值模拟方法对现场平板载荷试验过程进行模拟,得到数值计算的地基系数与承载力的关系。将现场试验数据与数值模拟得到的结论相互对比验证,总结出铁路路基填筑土地基系数与承载力之间存在的多项式关系。研究对路基填筑土承载力的估算有一定的实用价值。

关于多项式的可约性及有理根的求法

本文先探讨多项式的可约性与根的关系;然后给出一种求整系数多项式的有理根的简捷方法.

压电陶瓷驱动器的迟滞非线性规律

探究压电陶瓷的迟滞非线性规律,为进一步修正迟滞非线性提供参考依据和理论基础。通过实验测量得到迟滞模型并对实验数据分析,拟合出上升轨迹的修正直线,求出其在相同位移下与上升、下降轨迹的电压差作为补偿电压,发现两条轨迹采样点上的输入电压与补偿电压满足近似多项式关系;分别选定5,10和15 V不同步长进行驱动实验。实验结果:上升轨迹(下降轨迹)多项式参数R-square=0.999 2(0.999 9),RMSE=0.083(0.080 86);R-square=0.999 7(0.999 9),RMSE=0.057 39(0.094 99);R-square=0.995 2(0.999 8),RMSE=0.291 6(0.165 5)。实验结论:两条轨迹的R-square近似为1,RMSE较接近0,重复性误差在1.13%~2.63%,输入电压与补偿电压满足近似多项式关系,拟合程度和匹配性较高,且重复性较好,具有可预测性,从而为进一步修正压电陶瓷驱动器的迟滞非线性提供了参考依据和理论基础。

基于抽象解释的函数不变量正确性验证

函数不变量检测是提高软件质量的一种有效方法.针对检测方法可能带来无效的函数不变量的缺陷,提出一种以抽象解释理论为基础的函数不变量的正确性验证方法.首先将函数不变量转化成多项式关系;其次结合多项式程序与最弱前置条件抽象解释分析多项式关系正确性的判断依据;最后构造多项式关系算法,凭借得到的结果验证函数不变量正确与否.同时通过一个C程序中的函数不变量为例对该验证方法进行说明.

周期为2n的二元序列的err2（S）值

k-错误线性复杂度是反映序列线性复杂度稳定性的重要指标。设S为周期序列，记LC（S）和LCk（S）分别为SN线性复杂度和k-错误线性复杂度。记err1（S）为最小的非负整数k使得LCk（S）〈LC（S），同理记err2（S）为最小的t使得LCt（S）〈LCr（S），且r=err1（S）。对r周期为2^n的二元序列S，本文利用多项式的权重关系研究了err2（S）。