寻找最大独立集的算法

提出两种基于贪婪思想的局部搜索算法寻找给定图的最大独立集,通过测试第二种算法在图密度小时更优与第一种算法.由于局部搜索算法的缺陷,修改邻域函数与顶点的选择是进一步研究的问题;考虑到算法的有效性,时间复杂度和近似算法的比较也是值得进一步研究的方向.     

逼近紧Chebyshev集的太阳性

设X是局部一致凸空间,G是逼近紧Chebyshev集.证明了G是逼近紧Chebyshev集的充分必要条件是G是太阳集.     

基于水平集的航拍影像阴影检测与去除系统设计

建筑物、树木和山脉等遮挡光线,可能使航拍影像中出现阴影.而阴影区域的存在可能影响图像后续处理,导致重要信息丢失.本系统旨在设计自动检测航拍影像中阴影区域并将其去除的系统,选择并搭建基于水平集航拍影像阴影检测算法的进行系统设计.系统主要功能包括：图像读入、图像去雾、阴影检测、阴影去除.     

含零元的同余自由正则半群的一个注记

设S是一正则半群,E(S)为正则半群S上的幂等元集。通过建立S上的几种集合关系,得到了判断含零元同余自由正则半群的新方法。     

有源电力滤波器指定次谐波补偿技术研究

设计出一种基于比例谐振(proportional resonant,PR)控制和指定次谐波检测的有源电力滤波器(active power filter,APF)控制系统,并论述了PR控制器和指定次谐波检测法的结构和原理.基于PR控制器的有源电力滤波器可直接在静止坐标系αβ下完成谐波电流的检测和跟踪控制,克服了传统PI无法对交流给定信号实现无静差跟踪的缺点.给出了APF用于改善电网中指定次谐波的仿真实验波形,仿真结果表明,基于PR控制的APF能快速准确补偿电网中的指定次谐波,验证了所采用的指定次谐波检测法原理和PR控制器设计的正确性和有效性.     

向量优化中改进集的对偶性质

基于凸锥的一些经典对偶性质,利用凸集分离定理和回收锥等工具研究了改进集的一些对偶性质,获得了改进集与凸锥之和的对偶锥等于改进集的对偶锥与凸锥的对偶锥之交;改进集回收锥的对偶锥等于凸锥的对偶锥和该改进集的对偶锥;改进集之和的对偶锥等于改进集的对偶锥之交;改进集与凸锥之交的对偶锥等于改进集的对偶锥与凸锥的对偶锥之和的闭包;改进集之交的对偶锥等于改进集的对偶锥之和的闭包;改进集之并的对偶锥等于改进集之和的对偶锥,并给出了一些具体例子对主要结果进行了解释。
     

基于组合广义形态滤波的大地电磁资料处理

针对矿集区大地电磁强干扰的特征,构建组合广义形态滤波器,从时间域波形上探讨组合广义形态滤波对实测大地电磁强干扰的噪声压制效果。给出基于组合广义形态滤波的大地电磁资料处理流程,在人烟稀少、基本无电磁干扰的青海柴达木盆地进行试验研究,对包含比较单一的人工广域电磁干扰源的试验点进行组合广义形态滤波处理,横向对比时间域波形和视电阻率-相位曲线的改善情况。研究结果表明:该方法可以更加精确地勾勒出大尺度强干扰的轮廓特征,视电阻率-相位曲线的整体形态更加光滑、平稳,数据质量得到明显改善;由于该算法能有效提取暂态信号中的奇异信号,且只需进行加、减和比较运算,计算速度快,这对于在矿集区开展大地电磁强干扰的压制及资料处理具有一定应用价值。     

向量线性关系的进一步探讨

讨论了数域F向量空间中任意多个向量的线性关系,给出了向量集合线性相关、线性无关以及向量集合等价的一些重要结果,在此基础上讨论了一般向量空间的结构问题.     

基于极性的非循环术语集调试

通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。     

单圈图的k-距离匹配控制数

单圈图是边数等于顶点数的连通图.令G=(V,E)是无孤立顶点的图,若集合DV(G)是G的一个k-距离控制集且导出子图〈D〉有完美匹配,则称D是G的一个k-距离匹配控制集.k-距离匹配控制数γkp(G)是G的最小k-距离匹配控制集的势.主要证明了单圈图k-距离匹配控制数的一个重要引理,由此找到了单圈图k-距离匹配控制数的上界,并构造了极图.