对称矩阵行压缩的下标变换定理及在测绘中的应用

证明了整数环误差引理,进一步证明了对称阵行压缩的下标逆变换公式,这将其解压缩算法的时间复杂度从O(n2)降低到O(1).分析了对称阵的行压缩方式下的2种解压缩算法的相对运行效率,分析表明,当采用下标逆变换算法从压缩的对称矩阵中查询元素时,其查询效率比二重循环算法高得多.将这些公式和算法用来管理测绘工作中的大规模对称矩阵,如ITRF2000-ALASKA站群的协方差矩阵,既可进一步节约计算机存储空间和网络资源,还可提高其数据查询效率.

算法到固定规模脉动阵列映射的有效方法

研究了算法到固定规模脉动阵列的映射过程，从提高处理器效率的角度对阵列进行优化，构造了阵列划分的代数表达式和算法，并证明了其正确性．研究表明，根据处理器效率，处理器间的通讯成本硬件开销等来优化处理器的数目，是实现算法到固定大小脉动阵列映射的有效方法．

由两个已知bent序列构造bent序列

文献［１ ～５］ 都讨论了由给定的ｂｅｎｔ 函数（ 或序列） 构造新的ｂｅｎｔ 函数（ 序列） 的方法．本文证明文献［５］ 中的方法实际上可以通过结合文献［１］ 和文献［３］ 的方法而得到，从而对给定的两个ｂｅｎｔ 序列可以得到比文献［５］ 中构造出的序列更多的ｂｅｎｔ