Effect of hot plastic deformation on microstructure and mechanical property of Mg-Mn-Ce magnesium alloy

Hot plastic deformation was conducted using a new solid die on a Mg-Mn-Ce magnesium alloy. The results of microstructural examination through OM and TEM show that the grain size is greatly refined from 45 μ to 1.1 μm with uniform distribution due to the occurrence of dynamic recrystallization. The grain refinement and high angle grain boundary formation improve the mechanical properties through tensile testing with the strain rate of 1.0× 10^-4 S^-1 at room temperature and Vickers microhardness testing. The maximum values of tensile strength, elongation and Vickers microhardness are increased to 256.37 MPa, 17.69% and HV57.60, which are 21.36%, 133.80% and 20.50% more than those of the as-received Mg-Mn-Ce magnesium alloy, respectively. The SEM morphologies of tensile fractured surface indicate that the density and size of ductile dimples rise with accumulative strain increasing. The mechanism of microstructural evolution and the relationship between microstructure and mechanical property of Mg-Mn-Ce magnesium alloy processed by this solid die were also analyzed.     

GRAIN REFINEMENT IN BULK UNDERCOOLED Ni-BASED ALLOY

Fluxing of 5 g bulk melt Ni77Si13B10 permits high undercoolings to be attained prior to nu-cleation onset.Investigations of grain refinement in the bulk undercooled alloy as a function ofundercooling,recalescence behavior and cooling rate have been reported.A significant inhomo-geneity of reduction in grain size of a bulk sample is observed,which is caused by the different so-lidification conditions:(1)recalescence process,and(2)the followed plateau in which the heatrelease and extraction rates are equal.It is concluded that the homogeneous refined microstructurecan be achieved if the initial undercooling prior to nucleation,or cooling rate after recalescence isfurther increased.     

Microstructure development of steel during severe plastic deformation

The microstructure development during plastic deformation was reviewed for iron and steel which were subjected to cold rolling or mechanical milling (MM) treatment, and the change in strengthening mechanism caused by the severe plastic deformation (SPD) was also discussed in terms of ultra grain refinement behavior. The microstructure of cold-rolled iron is characterized by a typical dislocation cell structure, where the strength can be explained by dislocation strengthening. It was confirmed that the increase in dislocation density by cold working is limited at 10¹⁶m⁻², which means the maximum hardness obtained by dislocation strengthening is HV3.7 GPa. However, the iron is abnormally work-hardened over the maximum dislocation strengthening by SPD of MM because of the ultra grain refinement caused by the SPD. In addition, impurity of carbon plays an important role in such grain refinement: the carbon addition leads to the formation of nano-crystallized structure in iron.     

金属塑性成形有限元模拟中的六面体单元再划分技术研究进展

系统分析比较了各种六面体单元网格再划分方法的具体技术思路和优缺点 ,及其在模拟三维金属体积成形过程中的应用。结论指出 ,基于在任意几何形状的三维实体上实现全自动生成满足要求的六面体网格的通用算法非常复杂和困难 ,涉及许多具体的特殊问题的处理 ,而且基于畸变后边界节点生成满足拟合精度的几何实体也是如此。本文提出基于畸变网格的质量优化和局部网格加密 /稀释是最佳的解决方法 ,既可以保持初始网格的拓扑结构 ,还可以有效地避开网格再划分问题     

Compressed sensing of superimposed chirps with adaptive dictionary refinement

The compressed sensing （CS） theory shows that accurate signal reconstruction depends on presetting an appropriate signal sparsifying dictionary. For CS of superimposed chirps, this dictionary is typically taken to be a waveform-matched dictionary formed by blindly diseretizing the frequency-chirp rate plane. However, since practical target parameters do not lie exactly on gridding points of the assumed dictionary, there is always mismatch between the assumed and the actual sparsifying dictionaries, which will cause the performance of conventional CS reconstruction methods to degrade considerably. To address this, we model the waveform- matched sparsifying dictionary as a parameterized one by treating its sampled frequency-chirp rate grid points as the underlying parameters. As a consequence, the sparsifying dictionary becomes refinable and its refinement can be achieved by optimizing the underlying parameters. Based on this, we develop a novel reconstruction algorithm for CS of superimposed chirps by utilizing the variational expectation-maximization （EM） algorithm. By alternating between steps of sparse coefficients estimation and dictionary parameters optimization, the algorithm integrates the process for dictionary refinement into that of signal reconstruction, and thus can achieve sparse reconstruction and dictionary optimization simultaneously. Experimental results demonstrate that the algorithm effectively deals with the performance degradation incurred by dictionary mismatch, and also outperforms the state-of-the-art CS reconstruction methods both in compressing the signal measurements and in suppressing the measurement noise.     

基于图像处理技术的离线手写签名鉴别方法

由于手写签名具有高度的唯一性、不遗忘性、自然性与可靠性已成为身份识别的研究热点。文中对手写签名识别技术主要是离线手写签名识别技术进行了详细分析,在研究手写签名的特点和在身份认证中实用性的基础上,提出了一种基于图像处理技术的手写签名鉴别方案,该方案利用了图像的缩放和膨胀细化技术对图像进行处理,然后利用均方差和峰值信噪比来评价签名图像的相似度。试验数据表明该鉴别方法简单可行且高效,能获得较好的验证率和鉴别率。     

Numerical approximation of solution of nonhomogeneous backward heat conduction problem in bounded region

In this paper we consider a numerical approximation of solution of nonhomogeneous backward heat conduction problem (BHCP) in bounded region based on Tikhonov regularization method. Error estimate at t=0$t=0$ for this method is provided. According to the error estimate, a selection of regularization parameter is given. Meanwhile, a numerical implementation is described and the numerical results show that our algorithm is effective.     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

一种改进的数据求精证明规则

提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。     

一种改进的降尺寸视频转码算法

在Diversity &; Importance架构的基础上提出一种改进的空间降尺度视频转码算法,利用方差作为转码目标宏块的运动矢量测度因子,并通过自适应阈值的分类方法对不同视频序列选择合适的重编码模式。该算法比传统的运动矢量合成方法提高了约1dB的PSNR,在保持较高转码图像质量的同时有效地控制了编码长度,其转码后码流长度只相当于AMVR-DIM方法产生码流的40%~95%。