采用基本块规约的控制流检测性能优化方法

控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文使用基本块规约的技术, 在原基本块的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 与8个常见算法的性能比较表明, 该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.

基于基本块的控制流检错方法优化研究

系统的高可靠性是研究航空航天领域的一个重要指标. 由于太空环境的特殊性, 辐射和高能粒子会造成计算机系统的出现瞬时性错误, 这种错误被称作软错误, 它对航空航天器件造成了很大的影响, 严重降低系统的可靠性. 检测和防护这种软错误是航空航天系统中的重要研究方向之一. 软错误的检测和防护包括硬件防护与检错, 软硬件混合检错以及纯软件检错等. 随着商用器件的广泛使用, 与之相配合的各种软错误软件检错方法开始得到深入的研究, 在各种软件检错方法中, 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文从总结控制流检测技术的共同点出发, 分析该技术导致效率低下的原因：由于基本块定义的约束导致程序中基本块过多, 进而在代码注入过程中引入过多的判断及跳转指令, 导致程序效率低下. 本文针对这种情况, 提出了一种基于源代码分析的基本块规约的方法. 该方法通过修改基本块定义的约束, 使在新的基本块定义下每个基本块能够容纳更多的指令, 减少检测指令的注入, 提高效率；并且在新的基本块定义下, 原来的控制流检错方法仍可以不加修改的直接应用于新的基本块定义上. 该方法能在不修改benchmark源代码以及控制流检测方法的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 本文中使用该方法以ECCA, CFCSS和RSCFC三个控制流检错方法作为验证对象, 使用这3种控制流检错方法, 在不同的约束量作用下, 对8个常见算法的benchmark进行了软错误覆盖率测试和效率测试. 多次实验数据表明, 该方法在提高检错算法效率的同时, 能够保持软错误检错的覆盖率基本不变. 在对控制流检错算法进行优化的同时, 本文还完成了相应的控制流分析工具, 基于模拟器的错误注入和代码片段执行时间检测工具等. 有效的对优化算法进行了评估和测试.

A block SPP algorithm for multidimensional tridiagonal equations with optimal message vector length

A parallel strategy for solving multidimensional tridiagonal equations is investigated in this paper. We present in detail an improved version of single parallel partition (SPP) algorithm in conjunction with message vectorization, which aggregates several communication messages into one to reduce the communication cost. We show the resulting block SPP can achieve good speedup for a wide range of message vector length (MVL), especially when the number of grid points in the divided direction is large. Instead of only using the largest possible MVL, we adopt numerical tests and modeling analysis to determine an optimal MVL so that significant improvement in speedup can be obtained.

On optimal message vector length for block single parallel partition algorithm in a three-dimensional ADI solver

It has long been recognized that many direct parallel tridiagonal solvers are only efficient for solving a single tridiagonal equation of large sizes, and they become inefficient when naively used in a three-dimensional ADI solver. In order to improve the parallel efficiency of an ADI solver using a direct parallel solver, we implement the single parallel partition (SPP) algorithm in conjunction with message vectorization, which aggregates several communication messages into one to reduce the communication costs. The measured performances show that the longest allowable message vector length (MVL) is not necessarily the best choice. To understand this observation and optimize the performance, we propose an improved model that takes the cache effect into consideration. The optimal MVL for achieving the best performance is shown to depend on number of processors and grid sizes. Similar dependence of the optimal MVL is also found for the popular block pipelined method.

Defect evolution and hydrodynamic effects in lamellar ordering process of two-dimensional quenched block copolymers

The effects of hydrodynamic interactions on the lamellar ordering process for two-dimensional quenched block copolymers in the presence of extended defects and the topological defect evolutions in lamellar ordering process are numerically investigated by means of a model based on lattice Boltzmann method and self-consistent field theory. By observing the evolution of the average size of domains, it is found that the domain growth is faster with stronger hydrodynamic effects. The morphological patterns formed also appear different. To study the defect evolution, a defect density is defined and is used to explore the defect evolutions in lamellar ordering process. Our simulation results show that the hydrodynamics effects can reduce the density of defects. With our model, the relations between the Flory-Huggins interaction parameter chi, the length of the polymer chains N, and the defect evolutions are studied.

Effect of block sequence and block length on the stimuli-responsive behavior of polyampholyte brushes: hydrogen bonding and electrostatic interaction as the driving force for surface rearrangement

Diblock polyampholyte brushes with different block sequences (Si/SiO2/poly(acrylic acid)-b-poly (2-vinylpyridine) (PAA-b-P2VP) brushes and Si/SiO2/P2VP-b-PAA brushes) and different block lengths were synthesized by sequent surface-initiated atom transfer radical polymerization (ATRP). The PAA block was obtained through hydrolysis from the corresponding poly(tert-butyl acrylate). The polyampholyte brushes demonstrated unique pH-responsive behavior. In the intermediate pH region, the brushes exhibited a less hydrophilic wetting behavior and a rougher surface morphology due to the formation of polyelectrolyte complex through electrostatic interaction between oppositely charged blocks. In the low pH and high pH regions, the rearrangement of polyampholyte brushes showed great dependence on the block sequence and block length. The polyampholyte brushes with P2VP-b-PAA sequence underwent rearrangement during alternative treatment by acidic aqueous solution (low pH value) and basic aqueous solution (high pH value).

Effects of La2O3 on Microstructure and Wear Properties of Laser Clad gamma/Cr7C3/TiC Composite Coatings on TiAl Intermatallic Alloy

The effects of La2O3 addition on the microstructure and wear properties of laser clad gamma/C(r)7C(3)/TiC composite coatings on gamma-TiAl intermetallic alloy substrates with NiCr-Cr3C2 precursor mixed powders have been investigated by optical microscopy (OM), scanning electron microscopy (SEM), X-ray diffraction (XRD) and energy-dispersive spectrometer (EDS) and block-on-ring wear tests. The responding wear mechanisms are discussed in detail. The results are compared with that for composite coating without La2O3. The comparison indicates that no evident new crystallographic phases are formed except a rapidly solidified microstructure consisting of the primary hard Cr7C3 and TiC carbides and the gamma/Cr7C3 eutectics distributed in the tough gamma nickel solid solution matrix. Good finishing coatings can be achieved under a proper amount of La2O3-addition and a suitable laser processing parameters. The additions of rare-earth oxide La,03 can refine and purify the microstructure of coatings, relatively decrease the volume fraction of primary blocky Cr7C3 to Cr7C3/gamma eutectics, reduce the dilution of clad material from base alloy and increase the microhardness of the coatings. When the addition of La2O3 is approximately 4 wt.%, the laser clad composite coating possesses the highest hardness and toughness. The composite coating with 4 wt.%La2O3 addition can result the best enhancement of wear resistance of about 30%. However, too less or excessive addition amount of La2O3 have no better influence on wear resistance of the composite coating.

Effect of Rock Mass Structure and Block Size on the Slope Stability-Physical Modeling and Discrete Element Simulation

This paper studies the stability of jointed rock slopes by using our improved three-dimensional discrete element methods (DEM) and physical modeling. Results show that the DEM can simulate all failure modes of rock slopes with different joint configurations. The stress in each rock block is not homogeneous and blocks rotate in failure development. Failure modes depend on the configuration of joints. Toppling failure is observed for the slope with straight joints and sliding failure is observed for the slope with staged joints. The DEM results are also compared with those of limit equilibrium method (LEM). Without considering the joints in rock masses, the LEM predicts much higher factor of safety than physical modeling and DEM. The failure mode and factor of safety predicted by the DEM are in good agreement with laboratory tests for any jointed rock slope.

A further discussion on basic equations for two-phase flow: On collision stress of solid phase

The following points are argued: (i) there are two independent kinds of interaction on interfaces, i.e. the interaction between phases and the collision interaction, and the jump relations on interfaces can accordingly be resolved; (ii) the stress in a particle can also be divided into background stress and collision stress corresponding to the two kinds of interaction on interfaces respectively; (iii) the collision stress, in fact, has no jump on interface, so the averaged value of its derivative is equal to the derivative of its averaged value; (iv) the stress of solid phase in the basic equations for two\|phase flow should include the collision stress, while the stress in the expression of the inter\|phase force contains the background one only. Based on the arguments, the strict method for deriving the equations for two\|phase flow developed by Drew, Ishii et al. is generalized to the dense two\|phase flow, which involves the effect of collision stress.

Basic Mechanical Behaviors And Mechanics Of Shear Banding In Bmgs

In this paper, some basic mechanical behaviors of bulk metallic glasses (BMGs) were discussed. It can be found from the discussions that the mechanical behaviors of BMGs are mainly due to the formation and operation of shear bands in BMGs. Furthermore, the relevant mechanics of shear banding were investigated in the paper. The theoretical analysis of deformation coupling thermal softening and free volume creation softening demonstrates that the free volume creation and thermal softening can jointly promote the formation of shear bands in BMGs, and the observed post mortem. shear band width looks more like that governed by free volume creation. (C) 2007 Elsevier Ltd. All rights reserved.

Influence of 2 secondary effects on shear failure of cantilever with attached mass block under impulsive loading

The influence of two secondary effects, rotatory inertia and presence of a crack, on the dynamic plastic shear failure of a cantilever with an attached mass block at its tip subjected to impulsive loading is investigated. It is illustrated that the consideration of the rotatory inertia of the cantilever and the presence of a crack at the upper root of the beam both increase the initial kinetic energy of the block required to cause shear failure at the interface between the beam tip and the tip mass, where the initial velocity has discontinuity Therefore, the influence of these two secondary effects on the dynamic shear failure is not negligible.

Basic equations for suspension flows with interphase mass-transfer

In the case of suspension flows, the rate of interphase momentum transfer M(k) and that of interphase energy transfer E(k), which were expressed as a sum of infinite discontinuities by Ishii, have been reduced to the sum of several terms which have concise physical significance. M(k) is composed of the following terms: (i) the momentum carried by the interphase mass transfer; (ii) the interphase drag force due to the relative motion between phases; (iii) the interphase force produced by the concentration gradient of the dispersed phase in a pressure field. And E(k) is composed of the following four terms, that is, the energy carried by the interphase mass transfer, the work produced by the interphase forces of the second and third parts above, and the heat transfer between phases. It is concluded from the results that (i) the term, (-alpha-k-nabla-p), which is related to the pressure gradient in the momentum equation, can be derived from the basic conservation laws without introducing the "shared-pressure presumption"; (ii) the mean velocity of the action point of the interphase drag is the mean velocity of the interface displacement, upsilonBAR-i. It is approximately equal to the mean velocity of the dispersed phase, upsilonBAR-d. Hence the work terms produced by the drag forces are f(dc) . upsilonBAR-d, and f(cd) . upsilonBAR-d, respectively, with upsilonBAR-i not being replaced by the mean velocity of the continuous phase, upsilonBAR-c; (iii) by analogy, the terms of the momentum transfer due to phase change are upsilonBAR-d-GAMMA-c, and upsilonBAR-d-GAMMA-d, respectively; (iv) since the transformation between explicit heat and latent heat occurs in the process of phase change, the algebraic sum of the heat transfer between phases is not equal to zero. Q(ic) and Q(id) are composed of the explicit heat and latent heat, so that the sum Q(ic) + Q(id)) is equal to zero.

The dynamical process of a coronal transient associated with an eruptive prominence .1. Basic mechanism

The statistical correlation between an eruptive prominence and the coronal transient associated with this prominence implies that there should be a relationship between these two kinds of dynamical processes. This paper analyzes the dynamical effect of a plasma

Visual Basic在油藏数值模拟中的应用

随着油藏数值模拟技术的发展以及油藏数值模拟软件的不断改进和完善,油藏数值模拟软件在油田开发中的应用越来越广泛。对油藏数值模拟软件计算出的数据进行整理不仅枯燥而且花费了大量时间。本文利用Visual Basic语言编制了处理ECLIPSE软件生成的油气田开发指标数据软件(RSMAN)。该软件方便了油气田开发指标的整理和汇总,软件界面友好,操作简单。

Basic equations for ferroelectrics

A set of new formula of energy functions for ferroelectrics was proposed, and then the new basic equations were derived in this paper. The finite element formulation based on the new basic equations was improved to avoid the equivalent nodal load produced by remnant polarization. With regard to the fundamentals of mathematics and physics, the new energy functions and basic equations are reasonable for the material element of ferroelectrics in finite element analysis.