C余弦函数的生成定理

借助于拉普拉斯变换,给出了C余弦函数的一个生成定理.证明了:一个强连续的算子{T(t)}_(t≥0)是C余弦函数当且仅当T(-t)=T(t)且∫t+s 0 T(τ)Cdτ=T(t)∫s 0 T(τ)dτ+)∫ t 0T(τ)dτT(s)t,s≥0     

拟五对角Toeplitz矩阵行列式的一种快速算法

采用置换矩阵行列和矩阵分块,提出了一个求拟五对角Toeplitz矩阵行列式的快速计算方法:先右乘于适当的置换矩阵,然后进行矩阵分块,再利用Schur定理计算。同时给出其算法的实现步骤设计,并对算法的运算量进行了分析。算法的运算量为(7n+93),比相关文献所给的算法运算量(15n+184)还少。数值算例计算表明,该算法有效可行且结果较为精确。     

拉丁方与置换群

为了解决正交拉丁方完备组问题,利用代数方法讨论了拉丁方与正则群的关系。我们得到的结论是一个正则群可确定一个拉丁方,反之,一个拉丁满足一定条件也可确定一个正则群。同时我们还讨论了n阶正交拉丁方组与置换之间的联系。     

元的阶之集与群的性质

设G 是一个有限群,记ω(G)为G 的每个元素的阶的集合,称为谱.记τ为自然数集N的子集,满足1∈τ,且 若m ∈τ,则m 的正因子s ∈τ,称τ 为合理子集.得到了当ω(G)的任意一个合理子集τ 都满足h(τ)≥1时群G 的 性质,其中h(τ)为满足ω(H)=τ 的群H 的同构类的个数.     

对称矩阵的特征值逆问题研究

给出一类可逆矩阵的特殊性质,进而证明对于一类n阶对称矩阵的特征值逆问题,只需找到n个具有部分正交关系的特征向量即可,并且证明了满足条件的对称矩阵是唯一的。     

希尔伯特空间中分裂等式不动点问题的强收敛性

介绍和研究了无穷维希尔伯特空间中分裂等式公共不动点的一个新的迭代方法.在适当的条件下,证明了由新算法生成的序列强收敛于分裂等式公共不动点问题的一个解.最后,将结论应用到分裂等式问题和变分问题中.     

由Laplaeian谱确定的单圈图

利用同Laplacian谱图的线图及有相同生成树数目的特点证明了2类特殊的单圈图,即C(n2,2n)(n=4k,kN)和C(r,n-r 1)(nN),由它们的Laplacian谱确定.     

广义混合似变分不等式的近似点-投影算法

引入了求解广义混合似变分不等式的近似点-投影算法,证明了由算法所生成迭代序列强收敛于非扩张映射不动点集合与广义混合似变分不等式解集合的公共元素.     

一种新的变分问题直接解法

基于Ritz法的思路建立了一个优化模型,将粒子群优化算法运用到变分问题的求解中,提出了一种新的变分问题直接解法.数值实验的结果证明了该模型的可行性,同时也拓展了粒子群优化算法的应用领域.     

广义混合似变分不等式的近似点-投影算法

引入了求解广义混合似变分不等式的近似点-投影算法,证明了由算法所生成遮代序列强收敛于非扩张映射不动点集合与广义混合似变分不等式解集合的公共元素.     

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

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

由Laplacian谱确定的单圈图

利用同Laplacian谱图的线图及有相同生成树数目的特点证明了2类特殊的单圈图,即C（n/2,n/2）（n=4k,k∈N）和C（r,n-r＋1）（n∈N）,由它们的Laplacian谱确定．     

变分不等式的3步迭代法

引入了求解变分不等式的3步迭代方法,证明了由算法所生成的迭代序列强收敛于非扩张映射不动点集合与变分不等式解集合的公共元素.     

变分不等式的3步迭代法

引入了求解变分不等式的3步迭代方法,证明了由算法所生成的迭代序列强收敛于非扩张映射不动点集合与变分不等式解集合的公共元素.     

用初等变换求矩阵的特征值问题

依据矩阵初等变换的定理及其性质,证明了任意1个n级复矩阵A,都存在1个n级可逆矩阵p,使得p-1 AP=Λ为1个上三角矩阵.从而把求任意1个n级矩阵的特征值的问题通过初等变换转化为求上三角形矩阵的特征值的问题,并给出了求解的具体步骤.     

交错群An(5≤n≤15)的一个新刻画

设G 为有限群,K1(G)为G 的最高阶元的阶.证明了:每一个交错群An(5≤n ≤15)均可被An 的阶和 K1(An)唯一刻画.     

逻辑控制可逆系统的安全换向与静态参数设置

本文分析了逻辑无环流可逆系统在空载运行时逻辑控制器误动作的原因，得出了某些静态参数设置与正反两组晶闸管整流器安全换向的关系，并在某厂龙门创床晶闸管可逆系统调试中得到了证实。     

关于一类集值拟变分不等式的广义投影算法

引入并研究了一类新的广义非线性集值强隐拟变分不等式，通过用投影方法，证明了这类变分不等式的解等价于一类不动点问题的解．基于这类不动点问题，我们构造了一个迭代算法，在没有紧性的条件下，证明了这类变分不等式解的存在性；同时，还证明了由迭代算法所产生的迭代序列收敛于这类变分不等式的解．     

多元模态逻辑中的范本特姆—罗森定理

证明了在多元模态逻辑中范本特姆— 罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深 度为n 的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n 的多元模态公式.     

降序有限部分变换半群的幂等元秩

设Xn是包含n个元素的全序集,Pn是Xn上的所有部分变换构成的半群,Sn是n次对称群,SPn-={a ∈Pn\Sn:(A)x∈dom a,xa≤x}.证明了:SPn-是幂等元生成的,并且是由顶端Jn-1*的n(n+1)/2个幂等元生成.