考虑设施失效及客户重指派的网络选址模型及求解

基于无容量约束且固定费用的设施选址模型,综合考虑系统运作成本及其可靠性,提出了考虑失效概率及对客户多层级重指派的非线性混合整数规划模型,并用优化的拉格朗日松弛算法对线性处理后的模型进行求解.结果表明:拉格朗日松弛算法适用于中等规模的选址问题;相对于客户的多层级重指派,其设施失效概率对网络选址的影响较大.     

关于丢番图方程x(x+1)(x+2)=2p~ky~n的解

设p是奇素数,利用初等方法证明了:当k≥2,n2,且都是整数,则丢番图方程x(x+1)(x+2)=2pKyn没有正整数解(p,x,y).     

0-1整数规划模型中逻辑表达式的一些注记

从建立0-1整数规划模型的实际出发,对该模型中若干逻辑表达式线性表示、互斥和乘积表达式转化,以及具体的指派问题中能力限制约束的表示问题进行了研究,利用真值表等工具给出了相应的结果.     

Fragile audio watermarking with perfect restoration capacity based on an adapted integer transform

We propose a novel audio watermarking scheme which can recover the original audio carrier perfectly if the watermarked audio is modified. Besides, we can adjust the maximum tampered rate allowed and the quality of watermarked audio flexibly as required. In the scheme, an efficient generalized integer transform is improved to embed watermark data which are composed of least significant bits（LSBs） of averages in each patch, reference-bits and check-bits. LSBs are needed in the inverse transform. Then, by comparing the extracted check-bits and calculated ones, the modified area can be localized. Finally, reliable reference-bits and samples data help us reconstruct the original audio without errors. The efficiency of the proposed method is theoretically and experimentally verified.     

一种改进的CIR法用于单历元模糊度解算

针对级联整周模糊度解算（CIR）法在载波相位和伪距观测噪声很大的场合,模糊度固定成功率很低这一问题,提出了一种改进的CIR法,该算法以CIR法为基础,利用排序和连续（逆）乔里斯基降相关法对每步最小二乘法求得的模糊度浮点解和协方差矩阵进行降相关,最后采用改进的最近点搜索（MAEVZ）法固定整周模糊度.仿真实验表明,在伪距观测噪声为2.0 m,载波相位观测噪声为0.03周的短基线环境下,CIR法单历元整周模糊度解算成功率已经低于5%,无法正确固定整周模糊度,而改进的CIR法单历元整周模糊度解算成功率仍能达到90%以上.      

一类Euler函数方程的解的上界

设φ(n)为正整数n的Euler函数,讨论了Euler函数方程φ(x1…xn-1xn)=m(φ(x1)+…+φ(xn-1)+φ(xn))的求解问题,给出了该方程的所有正整数解的较为精确的上界.作为应用,对于一些给定的正整数m和n,求出了此时方程的全部正整数解.     

北斗高精度相对定位选星方法研究

针对北斗系统中高轨卫星会带来较全球定位系统（global positioning system ,GPS）更为严重的法方程病态性这一问题,分析了双差载波相位观测方程系数矩阵对整周模糊度浮点解解算的影响,结合北斗系统三轨道星座混合的特点,研究了区域北斗高精度相对定位选星方法,以仰角最高的地球同步轨道（geostationary earth orbit, GEO）卫星作为参考星,优先选取仰角高于10°的中地球轨道（medium earth orbit,MEO）卫星,然后按照均匀分布的原则选取倾斜地球同步轨道（inclined geosynchronous satellite orbit,IGSO）卫星。通过对实测数据进行试验和分析,证明了该方法的正确性和合理性,在进行区域北斗高精度相对定位时,能在一定程度上改善法方程的病态性,使模糊度浮点解较快收敛至真值附近,有利于模糊度的快速正确固定。     

一类不定方程x3±(22k+1)3=3Dy2解的讨论

本文用初等数论的方法研究了一类不定方程x3±(22k+1)3=3dy2,并给出它们无非平凡整数解的一些充分条件.     

基于提升小波技术的阈值量化图像压缩方案

结合多级树集合分裂算法（SPIHT）能产生完全的嵌入式码流的特性,设计了一种新的阈值量化方莹的彩色图像压缩算法。通过建立彩色空间的可逆分量变换,减小三含彩色分量之闽的相关性,并对变换后的三分量进行提升的整教小波变换。将定义的自然数的平方作为门限值,完成对三分量小波系数矩庠的量化和联合编码。实验结果表明,本方案与传统量化方案下的SPIHT算法相比,大多数重要系数的编码长度至少减少1个比特数,当比特率非常低对,压缩效果更明显。     

从线性整数规划谈一维下料问题

一维下料问题是运筹学的一个经典NP-hard问题,在生产中普遍存在．优化下料可以提高原材料的利用率, 是企业增加经济效益的途径之一．从线性整数规划开始讨论了下料问题的各种模型,提出了一些需要改进的问题, 介绍了目前该问题研究的热点．