共查询到10条相似文献,搜索用时 15 毫秒
1.
本文讨论一般非线性系统的标准分解问题.线性系统的Kalman分解给出了系统的能控
状态、能观状态和系统的最小实现.本文首先给出非线性系统的局部第一类Kalman分解形
式,从而解决了系统的局部能控状态和局部能观状态的分解.然后,再给出第二类Kalmall分
解形式,它提供了非线性系统的局部最小实现. 相似文献
2.
形式化功能分解是软件形式化设计的基本手段。文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则的正确性。分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分。 相似文献
3.
4.
奇异值分解是将一矩阵分解为一个对角矩阵和两个正交矩阵,奇异值分解有着非常好的性质。但在其部分应用中,如秩亏损的最小二乘问题,线性方程组的最小范数解中,并没有充分利用它的所有性质。提出了半奇异值分解A=USR,其中U为正交矩阵,S为对角矩阵,R为上三角矩阵。在经过文中所述的后期数学处理后,它能够非常好地利用在各个方面,比如最小二乘问题和线性方程组中。这种分解不仅保留了奇异值分解后所应有的性质,更大大地降低了计算复杂度。因为该算法有求极值的能力,所以它将在应用领域中发挥更大的作用。 相似文献
5.
6.
7.
机场噪声影响已成为阻碍机场发展的重要问题,而机场噪声实时预测是机场噪声研究的一个重要方面,对机场噪声监测及机场噪声影响规律的研究有着重要意义。由于机场噪声实时预测问题可以形式化为矩阵填充问题,论文首先使用协同过滤算法中的矩阵分解模型进行求解,然后根据机场噪声的影响因素的数据特征,提出了一种基于立方分解模型的机场噪声预测方法。通过实验表明,与矩阵分解模型相比,基于立方分解模型的机场噪声预测方法预测精度有了很大提高。 相似文献
8.
9.
量子色动力学(Quantrm ChromoDynamics,QCD)研究是一个典型的高性能科学计算问题,它补美国著名的高性能计算与通信计划(HPCC)列为世界级重大挑战课题之一。由于Fermion矩阵处理等对时空性能指标的超级要求,必须寻找新的计算机求解技术才能推动研究的进展。文章提出并分析了域分解和函数分解方法、方法导致的MIMD模式和并行程序设计技术。在Exemplar SPP1200/XA( 相似文献
10.