生成任意位π值的算法

讨论了π计算的展历史,分析了最佳计算公式的特点,并给出了一个采用了矩阵扩大和矩阵分段方法生成任意位π值的算法,该算法用保存运行参数的方法使处理能够多次中断和继续。描述了程序设计的关键技术。     

矩阵和的Drazin逆表示的一些结果

研究两个矩阵和的Drazin逆的表示.对于n阶矩阵P,Q,在P~DQ=0,PQ~D=0,Q~πPQPP~π=0,Q~πPQ~2PP~π=0,Q~πPQ~3P~π=0的条件下,利用矩阵的核心幂零分解给出了P+Q的Drazin逆的表达式.     

基于多智能体的多变量DMC研究

结合递阶动态矩阵预测控制和多智能体技术 ,提出了一种多智能体多变量动态矩阵控制算法。在该算法中 ,控制对象的每个输出变量作为一个智能体 (Agent) ,使用CORBA将各个Agent集成为多智能体系统 ,并用π演算对多智能体系统的协调过程进行了描述。最后将该算法应用在制浆生产蒸煮过程 ,得到了较好的控制效果     

关于(σ,π)-矩阵的特征值和对角化

该文给出了（σ，π）-矩阵的定义，它是循环矩阵的一种推广，介绍了（σ，π）-矩阵的结构特征和基本性质，并且研究了它的特征值和对角化问题。     

D~0→π~-e~+ν分支比,形状因子和V_(ub)的测量（英文）

利用在质心能量10.6GeV附近获取的500兆cc事例,在BaBar实验中对衰变D~0→π~-e~+ν进行了研究.利用这些数据,测量了D~0→π~-e~+ν的分支比,同时测量了强子形状因子fπ+,D和CKM矩阵元V_(cd).应用衰变D~0→π~-e~+ν和B0→π-e+ν之间的关系,计算了矩阵元V_(ub),一旦出现新的理论计算,其精度将可以和其他实验测量相媲美.     

一类反三角矩阵的群逆和Drazin逆

对于反三角矩阵M=(PQI0)的群逆和Drazin逆的研究,总是在块矩阵满足不同条件下进行的。本文在新的条件下获得了一些结论,即:当子块矩阵P可逆或ind(Q)≤1时,研究了M存在群逆的充要条件及群逆的表达式。同时根据这些结论,得到了当ind(P)≤1,PπQP=0和ind(P#QPP#)≤1时M的Drazin逆表达式,以及当PQQπ=0,Q2 QD+QπPQπ可逆时M的Drazin逆表达式。     

一些迹不等式的若干结论

目的如果Si(i=1,…,n)是密度矩阵,π={πi}in=1是一个概率分布,并且A(0)≡∑ni=1πiSi12是可逆的,那么Tr[{∑nj=1πjSj(logSj)2}-A(0)-1{∑nj=1πjH(Sj)}2]≥0,其中H(x)=-xlogx,这是Yanagi证明的不等式的一个推广。方法利用Caushy-Schwarz不等式,Jensen's不等式和迹的一些性质来证明。结果这些涉及矩阵和对数的不等式给出了由Yanagi提出的开放问题的部分解答。结论因为这些结论仅仅是特例,所以在此基础上可做进一步的研究。     

融合Nystrm方法的谱聚类算法(NSDcut)的图像分割

为了克服谱聚类算法SDcut在计算相似度矩阵和拉普拉斯矩阵的特征值和特征向量时,比较耗时的缺点,提出了融合Nystrm方法的SDcut算法NSDcut,并应用于图像分割.该算法采用Nystrm方法构建相似度矩阵和计算相似度矩阵的特征向量,并用这些特征向量通过矩阵运算降低了SDcut算法中的相似度矩阵和拉普拉斯矩阵的阶,从而降低SDcut算法的时间复杂度.实验结果表明:NSDcut算法提高了SDcut算法的运行速度,同时也具有SDcut算法的聚类性能.     

融合Nystr(o)m方法的谱聚类算法(NSDcut)的图像分割

为了克服谱聚类算法SDcut在计算相似度矩阵和拉普拉斯矩阵的特征值和特征向量时,比较耗时的缺点,提出了融合Nystr(o)m方法的SDcut算法NSDcut,并应用于图像分割.该算法采用Nystr(o)m方法构建相似度矩阵和计算相似度矩阵的特征向量,并用这些特征向量通过矩阵运算降低了SDcut算法中的相似度矩阵和拉普拉斯矩阵的阶,从而降低SDcut算法的时间复杂度.实验结果表明:NSDcut算法提高了SDcut算法的运行速度,同时也具有SDcut算法的聚类性能.     

一类双切Nevanlinna-Pick 插值问题的可解条件

用基本矩阵不等式方法给出Cm(T,2π-T)函数类中m×m的矩阵函数双切Nevanlinna-Pick插值问题的可解条件.     

环上矩阵的Drazin逆

本文中，我们利用π－正则环的理论，使用具有一般性的方法，对环上矩阵的Ｄｒａｚｉｎ逆进行了讨论，得到了环上一切矩阵的Ｄｒａｘｉｎ逆存在的若干充分必要条件。     

非微扰方法研究B-→π0K-衰变过程

本文用QCD因子化和光锥QCD求和规则非微扰方法系统地计算了B-→π0K-衰变过程的强子矩阵元和分支比,其计算结果与实验相一致.     

双π相移光纤光栅的设计

研究了在均匀光纤光栅中对称地插入两个π相移时透射谱的特性,通过矩阵法详细计算和分析透射谱双峰的波长间隔、线宽、波谷深与光栅各段长度的关系,获得设计双π相移光纤光栅的准则,即:双π相移光纤光栅的双峰波长间隔主要由两个π相移的距离决定,谱线宽和波谷深主要由光栅π相移两端的长度决定.     

有限维代数的乘法复杂度

本文证明了有限维代数的乘法复杂度等于其结构常数确定的矩阵 CK 的联合秩,并对于四元代数的乘法复杂度πA,由现有的结果7<πA<10,改进为7≤πA≤9.     

非因子化方法研究B^-→π^0π^-衰变过程

本用QCD因子化和光锥QCD求和规则系统地计算了B^-→π^0π^-衰变过程的强子矩阵元和分支比，其计算结果与实验相一致．     

Euler矩阵及其性质

利用Bernoulli数可以得到著名的Euler公式ξ(2k)=∑∞n=11/n2k(-1)k+1(2π)2kB[1,2]2k/2(2k)!.事实上,我们可以利用本文中的Euler矩阵得到两个有趣的公式,即ξ(2k)=detEkπ2k及B2k=(-1)k+1(2k)!det(Ek).这样就避免了众多Bernolulli数的使用和记忆,其中Ek称为Euler矩阵,它是一个特殊的Hessenberg矩阵.进一步地,我们讨论了Euler矩阵的性质,证明了它是本原矩阵,并猜想它是完全非负矩阵和振荡矩阵.     

平面上对射对应的交和连

本文在平面π到π′的对射对应R_1和R_2的基础上,引进了R_1和R_2的交以及R_1~(-1)和R_2(-1)连的概念,结合运用对偶原理,讨论了点坐标和线坐标之间的二次对应及其性质,得出了一系列结果,其中包括π≡π′,A和B均为对称矩阵的特例时所得到的相应结果     

一种有效的分布式构件交互性质验证方法

目的在基于构件的分布式系统开发过程中,更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一种有效的基于π-演算的构件交互协议验证方法——状态约减验证算法,在模型组合之前,将与性质定义无关的状态剥离,然后再进行模型组合。结果用标记转移系统证明了该验证算法的有效性,采用π-演算描述的同步请求/响应交互模型作为例证,证明上述算法比传统算法更有效。结论该算法缩小了组合模型的状态空间,提高了验证效率。     

完全不可分矩阵Ray模式行列式值域的凸性

讨论完全不可分矩阵Ray模式行列式值域的凸性,以一类具有一般性的例子说明其不一定是凸的.给出此类完全不可分矩阵Ray模式行列式值域,并进一步说明其不一定等于矩阵行列式展开基生成锥的相对内点集.同时说明角度大于π小于2π的开扇均可能成为某一完全不可分矩阵的Ray模式行列式值域.     

一种改进CORDIC算法的研究与实现

坐标变换在风力发电变流器的控制系统中应用广泛,随着系统对实时性要求不断提高,传统的方法已难以适应.在介绍基本CORDIC算法原理的基础上,提出了一种改进的CORDIC算法,该算法利用三角函数的对称性,分别对输入角度进行预处理,对迭代结果进行后处理,实现了整个周期（-π~＋π）的三角函数计算,算法采用18级流水线结构实现...