3D Motion Estimation and Motion Fusion by Affine Region Matching

In this paper,a new method is presented for 3D motion estimation by image region correspondences using stereo cameras.Under the weak perspectivity assumption.we first employ the moment tensor theory (Cyganski and Orr^[11]) to compute the monocular affine transformations relating images taken by the same camera at different time instants and the binocular affine transformations relating images taken by different cameras at the same time instant.We then show that 3D motion can be recovered from these 2D transformations.A space-time fusion strategy is proposed to aim at robust results.No knowledge of point correspondences if requred in the above processes and the computations involved are linear.To find corresponding image regions,new affine invariants,which show stronger invariance,are derived in term of tensor contraction theory.Experiments on real motion images are conducted to verify the proposed method.     

On assertion-based encapsulation for object invariants and simulations

In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. It also compares this technique with encapsulation in the forms provided by separation logic. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.     

Prediction of the twisting moment and axial force in a circular rubber cylinder for combined extension and torsion based on the logarithmic strain approach

The scope of the present work is the application of a particular class of strain energy function, based on the logarithmic strain, for the prediction of the twisting moment and axial force of a rubber circular cylinder under combined extension and torsion. The strain energy function involves four material parameters three of which are determined by fitting published experimental data from simple tensile and compression tests of natural rubber. One of the parameters of the proposed model has physical meaning, and it is equal to one ninth of the initial modulus of elasticity of the material. Hence, the number of unknown parameters is reduced to three. The logarithmic strain energy function is then applied to a combined extension and torsion problem of a rubber circular cylinder to check its performance for more complicated deformations. The results are compared with corresponding experimental and theoretical solutions available in the literature to validate the proposed model. It is found that the proposed strain energy function apart from predicting the common modes of deformations is also capable to determine more complicated types of deformation. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

逆向工程中的一种编号点及其识别方法

对机械逆向工程中运用到的一种点的编码方式进行了简单的阐述和特征化，并详细介绍了运用区域搜索进行目标分割以及运用查找特性表并结合矩不变量的一种识别的算法。     

Interaction of a shock pulse with a contact discontinuity

Passing of a triangular moderate-intensity pulse through a constant discontinuity is considered. Decay of the shock wave that passed into the second gas is analyzed. Damping of the detonation wave after burnout of the combustible mixture is discussed. __________ Translated from Fizika Goreniya i Vzryva, Vol. 43, No. 4, pp. 102–107, July–August, 2007.     

基于不变量的程序修复进化扩展模型*

为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型（extended repair evolutionary model,EREM）,利用程序不变量约束对搜索空间进行划分和约简以降低消耗,通过使用表达程序正常功能的正测试用例学习的不变量约束（称为正不变量约束）来保证程序不牺牲正常的功能,在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数,对于破坏正不变量约束的个体适应度给予一定的惩罚值。最后通过实验对模型进行了验证,结果表明了     

Method to compute the reachability set of S3PR

This paper proposes a novel approach to computing the reachability set by using place invariants and strict minimal siphons for S³PR with specific resource places. First, the set of invariant markings is enumerated. Then a necessary and sufficient condition is developed to decide whether a marking is spurious by analyzing the relationship between the number of tokens in the corresponding places of any strict minimal siphon and their bounds. In addition, the spurious markings are calculated. Finally, the reachability set of the net is generated by removing all the spurious markings from the set of invariant markings. Experimental results show the efficiency of the proposed method.     

基于人工鱼群优化BPNN的AUV目标识别方法

为了削弱复杂恶劣的环境对水下成像造成的不利影响及满足水下机器人目标识别任务实时性的需求,提出了基于人工鱼群算法(AFSA)优化BP神经网络的水下目标识别算法,通过构造组合不变矩对水下目标进行特征提取,提高了目标的聚类性能.引入具有全局寻优能力的AFSA,其在增加单纯神经网络收敛速度的同时避免算法陷入局部最优,进而建立了完整的基于人工鱼群神经网络的水下目标识别系统.在不同的水下目标中对该系统进行实验,通过比较提取的不同的目标图像,结果表明所建立系统具有较优的聚类性能和较高的识别精度.该方法用于水下目标识别是可行的、有效的.