含钪Al-Cu合金的显微组织

采用硬度测试、金相观察、扫描电镜和透射电镜测试及能谱分析的方法,研究了稀土元素Sc含量对Al-4Cu合金组织的影响.结果表明:Sc可显著细化Al-Cu合金的网胞组织,减小枝晶间距,细化合金的晶粒组织,提高合金的显微硬度,提高幅度最约70%;将Sc添加到Al-4Cu合金中,当w(Sc)≈0.3%时,Sc除部分固溶于基体外,大部分与Al形成Al3Sc相,其与基体的共格或半共格界面促进了θ′(CuAl2)的析出;当w(Sc)＞0.3%时,Sc除部分固溶和形成Al3Sc外,还与Al、Cu元素作用形成W(AlCuSc)相,降低Cu在α(Al)中的固溶度,减少Al2Cu(θ′)相的生成,从而降低了合金的性能.     

镁合金材料的发展与研究

比较系统地介绍了镁合金的发展历史和变形镁合金的发展，分析了镁合金组织的细化方法和发展状况、镁合金所面临的问题及解决措施。     

Crystal and magnetic structures of Laves phase compound NdCo2 in the temperature range between 9 and 300 K

The crystal and magnetic structures of the Laves phase compound NdCo₂ in the temperature range from 9 to 300 K are determined by Rietveld refinement technique, using high-resolution neutron powder diffraction data. The compound crystallizes in space group above the magnetic ordering temperature T_C (≈100 K), in space group I4₁/amd below T_C and in space group Imma below the tetragonal–orthorhombic structural/magnetic transitions at T_M ≈ 42 K. The assignment of the space groups to the crystal structures of NdCo₂ in different temperature ranges complies with the reported Mössbauer studies. Detailed information of the crystal and magnetic structures of NdCo₂ at different temperatures are reported.     

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.     

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

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

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.