Constraint—Preserving Architecture Transformations：A Graph Rewriting Approach

Architecture transformations are frequently performed during software design and maintenance.However this activity is not well supported at a sufficiently abstract level.In this paper,the authors characterize architecture transformations using using graph rewriting rules,where architectures are represented in graph notations,Architectures are usually required to satisfy certain constraints during evolution.Therefore a way is presented to construct the sufficient and necessary condition for a transformatio to preserve a constraint.The condition can be verified before the application of the transformation.Validated transformations are guaranteed not to violate corresponding constraints whenever applied.     

Z规格说明的前置条件的简化

在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据．     

Hanoi塔非递归算法的形式化推导和正确性验证

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.     

系数矩阵含参数分裂形式的SOR迭代法收敛性分析

给出预条件方后线性方程组的系数矩阵的一类含参数的分裂形式,使系数矩阵的分裂更加一般化,同时讨论在该形式下的SOR迭代法的收敛性,并与一般的预条件方法进行比较分析,说明这种方法收敛性更好,最后找到参数的最优选取.     

An Enhanced Jacobi Precoder for Downlink Massive MIMO Systems

Linear precoding methods such as zero-forcing (ZF) are near optimal for downlink massive multi-user multiple input multiple output (MIMO) systems due to their asymptotic channel property. However, as the number of users increases, the computational complexity of obtaining the inverse matrix of the gram matrix increases. For solving the computational complexity problem, this paper proposes an improved Jacobi (JC)-based precoder to improve error performance of the conventional JC in the downlink massive MIMO systems. The conventional JC was studied for solving the high computational complexity of the ZF algorithm and was able to achieve parallel implementation. However, the conventional JC has poor error performance when the number of users increases, which means that the diagonal dominance component of the gram matrix is reduced. In this paper, the preconditioning method is proposed to improve the error performance. Before executing the JC, the condition number of the linear equation and spectrum radius of the iteration matrix are reduced by multiplying the preconditioning matrix of the linear equation. To further reduce the condition number of the linear equation, this paper proposes a polynomial expansion precondition matrix that supplements diagonal components. The results show that the proposed method provides better performance than other iterative methods and has similar performance to the ZF.     

基于稀疏约束贝叶斯估计的相对波阻抗反演

地震道积分是一种利用地震资料进行的无约束反演技术,可以方便地得到地层的相对波阻抗,但采用稀疏反演的反射系数递推反演相对波阻抗,横向连续性差、可用性低。给出了一种基于稀疏约束贝叶斯估计的地震相对波阻抗反演算法,即在反射系数Cauchy概率分布稀疏约束下,基于贝叶斯最大后验概率估计,采用预条件共轭梯度法估计地震子波和反射系数,从而得到高分辨率的反褶积结果,进而得到高分辨率的相对波阻抗剖面。利用理论模型和实际数据对算法进行了验证,结果表明:基于稀疏约束贝叶斯估计的相对波阻抗反演方法可行;与直接法稀疏反演相比,预条件共轭梯度法稀疏反演精度高、收敛快、数值计算稳定。     

加速浸润方法在塑封可靠性分析中的应用

在对塑封集成电路进行封装可靠性评估中,预处理过程(precondition)是必经的步骤。其中的浸润测试(soak)通常在非加速条件下进行,其耗时较长。在市场竞争日趋激烈的环境下,企业迫切需要缩短新产品的可靠性验证时间。文章针对JEDEC(电子器件工程联合委员会)和JEITA(日本电子信息技术协会)标准中涉及到的三种加速浸润条件,以组件在非加速条件下(JEDEC Level 3和JEITA Rank E)潮气的穿透力、吸收量及由此产生的失效为参照,确定在加速条件下,组件达到同样的潮气吸收量并产生相类似的失效所需的时间。同时应用有限元分析的方法进行建模和计算,并与实际的测量结果比较验证。     

塑封组件可靠性测试中加速浸润方法的研究

在对塑封集成电路进行封装可靠性评估中,预处理过程是必经的步骤,其中的浸润测试通常在非加速条件下进行,耗时较长。在市场竞争日趋激烈的环境下,企业迫切需要缩短新产品的可靠性验证时间。针对JEDEC(电子器件工程联合委员会)和JEITA(日本电子信息技术协会)标准中涉及到的三种加速浸润条件,以组件在非加速条件下(JEDECLevel3和JEITARankE)潮气的穿透力、吸收量及由此产生的失效为参照,确定在加速条件下,组件达到同样的潮气吸收量并产生相类似的失效所需的时间;同时应用有限元分析的方法进行建模和计算,并与实际的测量结果比较验证。     

浅谈新形势下的企业标准化工作

本文从培养一支高素质的标准化人员队伍 ,开发和完善标准化领域、适应新形势下对企业标准化工作的需求和为企业标准化工作创造必要的条件等三个方面探讨了新形势下的企业标准化工作。     

简化处理对液压脉动的影响

液压脉动分析计算是液压系统设计和使用中的重要环节。叙述液压系统的组成和系统脉动的研究方法，分析简化处理的类型和原因，通过理论比较简化模型和实际模型的差异，阐述简化处理对系统脉动的负面影响。