基于二阶项重写技术的逻辑自动编程理论

程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序.     

非线性条件平差的一种最小二乘解法

本文将非线性条件方程式按泰勒级数展开 ,并取至二次项 ,通过辅助变量代换 ,将非线性最小二乘平差问题变成一个整体的线性最小二乘平差问题。推导出顾及二阶项的直接平差计算公式 ,分析了平差的计算结果。最后通过算例分析说明该方法的有效性和实用性。     

改进的带二阶项配电网快速潮流算法

在简要分析已有配电网潮流算法的基础上,提出了一种改进的带二阶项的快速潮流算法.该算法应用矩阵分块求逆方法对阶数较高的雅可比阵求逆计算进行了改进,使阶数较高的雅可比阵的求逆变为阶数较低的四个阵的求逆.在充分发挥带二阶项的快速潮流算法收敛性好的基础上,提高了计算速度,适用于各种复杂的配电网络,并基于该算法开发了配电网潮流计算软件.27节点和33节点算例计算结果表明,该方法具有良好的收敛性,能很好地处理配电网重构,具有较高的计算速度.     

GPS电离层延迟误差修正中二阶项角度的分析

提出了一种利用三频观测值修正电离层延迟误差二阶项的方法,可使延迟误差达到毫米级精度.理论分析表明,影响修正结果达到毫米级的主要因素是总电子含量(TEC)和GPS信号传播方向与地磁场方向的临界夹角.取通常情况下TEC的值,在不同频率条件下,通过解算给出了达到毫米级精度所要求的临界夹角值.研究结果对精密定位过程信号的接收提...     

一种无功优化预测校正内点算法

无功优化是一个大规模非线性优化问题,预测校正内点法在求解该问题时表现出优良的性能。在每次迭代中,传统预测校正内点法通过预测步求出仿射方向,并用其估计互补方程泰勒展开式的二阶项,进而求出校正步。本文算法在传统预测校正内点法基础上进行了进一步的改善,采用了直角坐标系中的无功优化新模型,通过处理,所有KKT方程都转化成二次或线性的。通过预测步求出仿射方向后,用其精确地表达出所有二次KKT条件方程泰勒展开式的二阶项,然后再求出修正方向。新算法的速度优于传统预测校正内点法,数值计算结果表明了该方法的有效性。     

一种顾及二次项的非线性条件平差法

本文将线性条件方程式泰勒级数展开，并取至二次项，通过辅助变量代换，将顾及二次项的非线性条件平差问题变成附有未知数的线性条件平差问题的处理方法。推导出平差的计算公式，分析了平差的计算结果。最后通过算例说明该方法的有效性和实用性。     

非线性函数一阶和二阶泰勒展开截留项下的平差效果

顾及非线性函数的二阶泰勒展开项的非线性平差理论是当前理论界研究的一个热点,也是一个疑点。通过对顾及一阶泰勒项及顾及二阶泰项勒两种情形下的平差过程及其效果作了细致地对比,得出了“二阶项对一阶项平差无明显改善”及“顾及二阶项的平差方法的性价比不合理”的结论,指出测量平差的归属是建立非线性函数空间的平差与数据处理理论。图１,表３,参６。