Models and observations of fcc/bcc interfaces

Whereas models of the structure and periodicity of CSL or near CSL high angle grain boundaries are relatively well developed and have been to some extent verified by experiment, the nature of more general (e.g. fcc/bcc) interfaces is very imperfectly understood. One of the major differences between homo- and heterophase boundaries is the occurrence, in the latter case, of reproducible orientation relationships due to the crystallographic requirements of phase transformation (e.g. a glissile interface for martensitic growth, low energy interfaces for classical nucleation). A review is given of the relationships commonly observed to obtain between fcc and bcc crystals (as well as ordered phases based upon these structures). Within a given relationship, it is possible to use models of the available interfaces to predict their dislocation content; the success of the various approaches is considered. It is shown that the dislocation arrays identified on fcc/bcc boundaries are consistent with the occurrence of a primary structural relaxation, but that the latter does not appear to be complete. Possible reasons for this are discussed, together with the extent to which secondary structural models may be applicable. Attempts to rationalize the observed orientation relationships and morphologies are discussed, and it is pointed out that these all rely on searches for situations of minimum primary misfit, but that the way in which the latter is quantified determines the results of the analyses. Nevertheless, the implication is that the primary misfit does appear to determine the actual behaviour, though no structural or mechanistic conclusions can safely be drawn from this observation.     

随机有限元及其进展──Ⅰ．随机场的离散和反应矩的计算

本文讨论了随机有限元方法近二十年的进展。全文分为独立的两篇，本文为第一篇，其中讨论了随机场的离散，改进的模拟法，随机有限元方程的建立及随机反应各阶矩的计算．     

基于SIFT特征的遥感图像配准方法研究与实现

讨论了基于SIFT特征的遥感图像配准方法,重点介绍了基于特征点提取的算法描述以及针对基于特征点的遥感图像配准算法流程,并通过实验进行了验证。     

Examining joint loading and self-reported exertion and discomfort during ladder handling

Ladder handling by telecommunications technicians represents an indispensable part of their daily work, but may generate musculoskeletal injury risk. These workers have a high prevalence of shoulder and back injuries, motivating research to quantify postures and loading using different ladders during common handling tasks. Twenty-five participants completed carry, raise (against a wall or free standing), and simulated removal from a van roof tasks using three ladders (8.5m 2-piece wood; 8.5m 2-piece fibreglass, 9.2m 3-piece wood). Data collection included kinematics and kinetics during these ladder handling tasks, as well as perceived discomfort, perceived exertion and post-collection ladder and task preferences. Significant effects depended on task and ladder. Dominant arm (the arm completing the primary action) elevation was higher while extending the ladder (114.7 ± 3.4°) than the carry task (53.5 ± 3.5°) (p < 0.05). Joint moments in the dominant shoulder and trunk were highest for the 2-piece wood ladder (59.0 ± 2.2 Nm and 254.8 ± 8.8 Nm) averaged across all tasks. Joint forces were increased when using the 2-piece wood ladder compared to the 3-piece wood ladder (p < 0.05), while the greatest discomfort in the shoulders occurred using the 2-piece wood ladder in the carry task. Many tasks approached or exceeded strength capability of a 50th percentile male's predicted strength. While no ladder universally mitigated physical demands while lowering perceptual difficulty, construction differences yielded trends toward preferring the 2-piece fibreglass or 3-piece wood ladders over the 2-piece wood ladder. This work has direct relevance to workplaces with ladder handling and provides recommendations for ladder selection and strength requirements across tasks.     

基于不变式生成的循环停机性验证

循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。     

基于图像仿射不变特征点的零水印算法

本文提出了一种基于图像提升小波变换和仿射不变特征点的零水印算法。首先对图像进行3级提升小波变换,然后在低频部分,利用Harris-Affine算子提取出图像的仿射不变特征点和仿射协变特征区域,利用这些特征区域来构造零水印信息。实验证明,该算法不仅对常规信号处理攻击和简单的几何攻击具有很强的鲁棒性,对于剪切、纵横比改变、行列去除,局部扭曲等较复杂的几何攻击也具有较强的抵抗能力。     

基于鲁棒一步集的Tube不变集鲁棒模型预测控制

针对一类干扰有界的输入和状态受约束线性离散系统,提出了一种基于鲁棒一步集的Tube不 变集鲁棒模型预测控制方法.首先采用多面体不变集离线设计方法得到基于多面体不变集序列的扩 展终端约束集;然后为了扩大鲁棒模型预测控制的初始状态允许区域,并提高系统的鲁棒性,在扩展终端约束集的基础上,通过引入鲁棒一步集并借助Tube不变集控制策略,设计了基于鲁棒一步集的鲁棒模型预测控制方法,并给出了算法的存在性和稳定性证明. 该方法不仅极大地扩大了初始状态允许区域,而且对有界干扰具有有效的抑制作用,使得受扰系统收敛到以原点为中心的最小鲁棒正不变集内.最后仿真验证了算法的有效性.     

基于Gabor能量空间的尺度不变兴趣点检测方法

兴趣点检测是中层视觉感知过程的关键步骤,也是众多机器视觉系统的重要组成部分.此前的大多数兴趣点检测子都是针对特殊的二维图像结构设计的,比如角点、交叉点、端点等,所以对与其差别较大的特征不能检测.采用在Gabor能量空间中迭代搜索的方法,本文提出了一种尺度不变兴趣点检测子.基于结构不同的二维图像特征在相频域中表现相似的特点,该检测子能检测大多数特征.首先,基于Gabor滤波器响应获得一系列能量图像,通过极值点检测得到候选兴趣点;其次,使用一种迭代方法同时选择特征尺度与精确定位特征点位置;最后为了提高算法的实时性,采用了一种递推方法加速能量图像的计算过程.实验结果表明相对于其它检测子,本文提出的方法具有更广泛的适应性,并且在旋转、尺度、光照等变化下具有良好的稳定性.     

HIGHER ORDER MOMENTS OF SAMPLE AUTOCOVARIANCES AND SAMPLE AUTOCORRELATIONS FROM AN INDEPENDENT TIME SERIES

Abstract. Given length- n sampled time series, generated by an independent distributed process, in this paper we treat the problem of determining the greatest order, in n , that moments of the sample autocovariances and sample autocorrelations can attain. For the sample autocovariance moments, we achieve quite general results; but, for the autocorrelation moments, we restrict study to Gaussian white noise (normal, independent and identically distributed). Our main theorem relates to the cross-moments of the non-centred sample autocovariances, but we also establish a relation between these and the corresponding moments for the centred sample autocovariances.     

基于N步不变集的时滞切换系统的饱和控制

构造离散时滞切换系统的不变集,提出基于N步不变集的切换控制器设计方法,估计执行器饱和非线性的吸引域范围。首先,考虑时滞的影响,选取依赖于时滞的Lyapunov函数,构造时滞切换系统的不变集,并将其表达为若干个椭球集的凸组合,椭球集的个数与时滞常数相关。其次,在系统的前N个采样时刻,分别施加不同的饱和约束,求解得到一组椭球集,椭球集的个数与常数N相关,而每一步计算得到的椭球集均为时滞切换系统的不变集。再将N个不变集用一组凸包系数拟合,即可获取较大的吸引域估计。最后,在满足平均驻留时间约束的条件下设计切换律,并设计状态反馈控制器,保证闭环系统渐近稳定。控制器的求解转化为线性矩阵不等式的可行性问题。仿真结果验证了所提方法的可行性和有效性。