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.     

系数矩阵含参数分裂形式的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)潮气的穿透力、吸收量及由此产生的失效为参照,确定在加速条件下,组件达到同样的潮气吸收量并产生相类似的失效所需的时间。同时应用有限元分析的方法进行建模和计算,并与实际的测量结果比较验证。     

车削铝镜红外高反射膜镀制

在红外光谱系统中使用的车削铝镜上镀制高反射膜时,由于铝镜镜面较柔软,用常规擦拭 清洗的方法易划伤镜面,可以在镀制前利用有机物熏蒸的方法清洗车削铝镜,既溶解清洗了表面附着的油污和灰尘,又保护了铝镜镜面。用该方法清洗后镀制的金膜反射率在近红外波段达到98%以上,膜层牢固,使用效果较好。     

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

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

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

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

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

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

求解二维对流扩散方程的投影迭代法

鉴于目前流行的求解大型稀疏代数方程组的投影迭代法中,为提高迭代效率,在迭代前通常需要对稀疏矩阵进行预处理,改善迭代矩阵的条件数,从而减少迭代次数,这使得发展稀疏矩阵的存储技术变得尤为关键。基于二维对流扩散方程的四阶紧致差分格式,将其转化为代数方程组,得到其三对角块形式的系数矩阵,利用稀疏矩阵存储技术和预条件迭代法进行求解,并与传统的中心差分格式所得数值解进行比较,充分说明了方法的高效性和可靠性。