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

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

参数化弧相容约束传播

为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。该算法在“明月1.0”架构下实现。实验结果表明,约束传播程度是影响算法求解效率的一个重要因素,通过调整控制参数可以使算法效率提高3~4倍。     

素特征域上osp(1,4)在广义Witt李超代数中的中心化子

在素特征域上研究了一类一般线性李超代数的子代数osp(1,4)在广义Witt李超代数中的中心化子.首先找出osp(1,4)的在W上的一组基,然后利用中心化子的定义和解线性方程组的方法分别计算osp(1,4)到广义Witt李超代数W每个子模的中心化子,最终确定osp(1,4)在广义Witt型李超代数中的中心化子.     

相容双有限Domain的几个性质

在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论：相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等.     

考虑激励相容的含风电电力市场价格机制研究

节点边际价格机制作为电力市场广泛采用的出清方式,其市场效率只有在完全竞争的假设下才能得到保证。然而,由于边际价格机制下市场成员不能做到完全真实报价,导致电力市场存在信息不对称。本研究在电力市场Vickrey-Clarke-Groves(VCG)理论的基础上提出一种适应电力日前市场的改进VCG价格机制。首先,构建计及风电不确定性的日前市场出清模型,并证明所提机制满足激励相容、个体理性及系统综合成本最小化;其次,针对VCG价格机制不能保证收支平衡的缺点,在不同风电渗透率下提出一种不平衡资金分配策略,达到解决系统资金赤字的目的;最后,通过IEEE 24节点测试系统验证了该机制的有效性,从电力市场角度为提升新能源消纳水平提供了理论依据。     

论克拉维乌斯的二重双假设法求解公式的一致性

意大利数学家斐波那契(Fibonacci,C. 1170-C. 1250)在《计算之书》(Liber Abaci,1202)中首次利用多重双假设法求解多元线性方程组问题,成为之后三百多年欧洲数学家处理此类问题的标准算法。德国数学家克拉维乌斯(Clavius,1538-1612)在《算术实践概要》(Epitome Arithmeticae Practicae,1583)中运用二重双假设法求解三元线性方程组问题时,发现了求解公式的一致性,开始对斐波那契的方法做出重要简化。该文通过对比二者求解的异同,对克拉维乌斯的方法如何简化运算给出了量化分析,解释了克拉维乌斯双假设法求解公式一致性的数学原理,并进一步提出,他可能是基于对4个特殊三元线性方程组问题的计算结果进行分析和归纳,从而发现了求解公式的一致性。     

一类线性方程组弱解的C^,1—正则性

应用Morrey空间以及Campanato空间法,得到了线性方程组-Dα（Aij^αβ（x）Dαfi^α=0(i=1,...,N）,的弱解的局部C1,μ-正则性以及对应的齐次方程组弱解的局部C^1,1-正则性,从而将文献[1]中相应结果推广到λ≥n 2的情形,并且得出了μ（λ）的函数关系式。     

关于分块三对角矩阵的计算

讨论了分块三对角矩阵为系数矩阵的线性方程组的解法。有限元计算中所遇到的带状矩阵就可看成是分块三对角矩阵     

非对称AOR迭代法的收敛性

介绍了求解非奇异线性方程组Ax=b的非对称AOR迭代法，并给出了系数矩阵A为正定阵时该迭代法收敛的充分条件。     

线性方程组迭代求解的近似逆方法收敛性

利用近似逆矩阵定义，构造一类双对称矩阵，讨论解线性方程组迭代求解近似逆方法的收敛性。