连续求解样本协方差矩阵迹的快速递推算法

为解决当样本数据不断增加时,利用传统方法反复计算样本协方差迹耗时多的缺点,提出了一种快速递推算法。理论分析和仿真试验都表明,算法的时间复杂度比传统的方法降低了一个数量级,从而大大减少了计算时间。     

一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。     

基于Grobner基与合冲模方法的M－带对称正交小波设计

通过引入计算代数中Grobner基以及合冲模的相关算法,提出对多相位矩阵进行正交化,从而得到了同时具有对称性和任意正则阶的M-带正交小波的高效设计方法。与现有方法相比,克服了构造过程复杂以及不能保持线性相位的缺陷。     

基层传真

中航工业直升机所高性能计算中心投入使用>>中航工业直升机所高性能计算中心于近期建成并正式投入使用。计算中心主要由刀片集群、对称多处理(SMP)节点、InfinBand高速网络以及并行存储系统等组成,中央处理器(CPU)整体峰值性能达到10万亿次。该项目成功填补了国内直升机型号研制高性能计算能力的空白,大大促进了型号研制工作。昌飞"民用直升机国际合作研发项目"通过科技部验收>>2012年10月16日,中航工业昌飞"一吨级先进民用直升机国际合作研发"项目顺利通过国家科技部验收。     

基于最优刚性编队分布式生成算法

为了描述一类特殊的刚性图,给出最优刚性图的概念。在保持队形时,最优刚性图可以减少拓扑图的复杂性。为了最大可能地减少队形通信的复杂性,研究了最优刚性编队的生成理论。首先,提出了4个命题,用以论证基于分布式的最优刚性生成方算法的可行性;其次,基于这些命题,提出了一种多智能体系统的编队算法;最后,通过仿真来验证所提算法的有效性。     

部分服务台同步多重休假的GI/M/c稳态队长

在经典GI/M/c排队中引入部分服务台同步多重休假策略,利用拟单生过程和矩阵几何解的方法,求解系统的稳态队长分布及其条件随机分解。     

基于循环移位和异或运算的对合线性变换研究

在对称密码算法的设计中,为达到良好的扩散作用,设计者一般均选择分支数较大的线性变换.基于循环移位和异或运算的线性变换由于其实现效率较高,已经在很多密码算法中被采用,比如分组密码SMS4、HIGHT,Hash函数SHA -2、MD6等.此外,如果线性变换是对合的,还为解密带来了方便.研究了基于循环移位和异或运算设计的对合线性变换,给出了这类线性变换的计数公式,指出它们的分支数上界为4,并讨论了循环移位的参数与分支数之间的关系,从而为基于这类运算设计的线性变换提供了理论依据.     

用克罗内克积形式构成模糊推理中关系矩阵的新方法

通过对模糊推理的典型形式、推理方法以及推理关系的表达方式进行研究与讨论,提出了一种用克罗内克积形式表达模糊推理中关系矩阵的新方法.该方法以统一的形式成功地表达了单模糊变量与多模糊变量情况下关系矩阵的构成方法,为模糊推理的理论研究和应用提供了方便.     

军产住房价格的综合评估

依据模糊数学的模式识别方法以及房屋质量评价标准,建立了军产旧住房估价中关键的新旧程度系数(折旧率),从而综合评估军队住房价格.     

广义逆阵的Jordan标准形求法

本文给出Ｊｏｒｄａｎ阵加号逆的计算公式,并借助地此建立了求任一方阵Ａ∈Ｃ＾ｎ×ｎ的减号逆的方法。