Qualitative representation of spatial knowledge in two-dimensional space

Various relation-based systems, concerned with the qualitative representation and processing of spatial knowledge, have been developed in numerous application domains. In this article, we identify the common concepts underlying qualitative spatial knowledge representation, we compare the representational properties of the different systems, and we outline the computational tasks involved in relation-based spatial information processing. We also describesymbolic spatial indexes, relation-based structures that combine several ideas in spatial knowledge representation. A symbolic spatial index is an array that preserves only a set of spatial relations among distinct objects in an image, called the modeling space; the index array discards information, such as shape and size of objects, and irrelevant spatial relations. The construction of a symbolic spatial index from an input image can be thought of as a transformation that keeps only a set of representative points needed to define the relations of the modeling space. By keeping the relative arrangements of the representative points in symbolic spatial indexes and discarding all other points, we maintain enough information to answer queries regarding the spatial relations of the modeling space without the need to access the initial image or an object database. Symbolic spatial indexes can be used to solve problems involving route planning, composition of spatial relations, and update operations.     

开流形的曲率与拓扑

应用比较几何的方法研究了完备非紧且具有特定曲率条件的黎曼流形，证明了在一定Pinching条件限制下，流形具有有限拓扑型或者微分同胚于R^n。     

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.     

Automating the identification and analysis of protein {beta}-barrels

ßBarrels are widespread and well-studied featuresof a great many protein structures. In this paper an unsuper-visedmethod for the detection of P-barrels is developed based ontechniques from graph theory. The hydrogen bonded connectivityof ß-sheets is derived using standard pattern recognitiontechniques and expressed as a graph. Barrels correspond to topologicalrings in these connectivity graphs and can thus be identifiedusing ring perception algorithms. Following from this, the characteristictopological structure of a barrel can be expressed using a novelform of reduced nomenclature that counts sequence separationsbetween successive members of the ring set These techniquesare tested by applying them to the detection of barrels in anon-redundant subset of the Brookhaven database. Results indicatethat topological rings do seem to correspond uniquely to ß-barrelsand that the technique, as implemented, finds the majority ofbarrels present in the dataset.     

A Novel Topological Index F and Its Correlation With Standard Formaton Enthalpies of AB_n(g) Molecules

The topological index F* is defined and obtained by the method of a non-dimensional unit calculation in which three matrices multiply with each other. These matrices represent the connective cases of atoms in a molecule, the structural features of atoms on top and the bonded cases of the adjacent atoms respectively. The standard formation enthalpies of ABn(g) molecules were correlated with F'* (A = C, Al, Si, Ti, Zr, B = F, Cl, Br, I, H, n=1 -4) and these correlation coefficients are all more than 0.96. Some molecules (e.g CH4, SiH4,etc. )can be preferably handled by F* but can not be dealt with by other topological indices. By contrast to traditional hydrogen suppressed graph, the contribution of hydrogen atoms to structures and properties of molecules is considered.     

模拟电路的模块级故障诊断

本文以多端口元件或子网络为基本单元，提出了一种模块级故障诊断方案，这种方案的故障模型更符合电路的实际情况，因而具有更广泛的实际意义，文中首先推导了模块故障诊断议程，并对模块故障可测性问题进行了一般性讨论。然后，给出了模块故障可测的几个拓扑条件，并通过定义广义独立通路使这些拓扑条件适用于一般的非互易网络。     

光学全交叉网络与SW榕树（F＝S＝2）网络拓扑等价的多样性

本文对有关互连网络拓扑等价的分析方法作了简单评述。并采用互连网络拓扑等价的图分析法分析了自由空间光学互连全交叉网络与ＳＷ榕树网络的拓扑等价及其多样性，拓展了全交叉网络在数字光计算、光子交换及多处理机系统的潜在应用。     

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