基于地理信息系统的天津房地产管理数据库

从地理信息系统CIS的组成开始．提出该类系统的组织与管理方法，同时重点介绍了在现阶段开发该类系统时所使用的高端技术，最后对GIS系统的发展趋势作出分析与顶测。     

Terminal velocity of non-spherical particles falling through a Carreau model liquid

A procedure has been proposed for the estimation of the terminal falling velocity of non-spherical particles moving in a Carreau model fluid in the transition flow region. The procedure is based on a modification of the relationship formerly developed for the fall of spherical particles including the particle dynamic shape factor. The suitability of the proposed procedure has been confirmed by good agreement between experimental and calculated terminal falling velocity data. In the experiments, the terminal falling velocity of short cylinders and rectangular prisms in polymer solutions of different measure of shear thinning and elasticity has been measured.     

Forced Vertical Vibration of Circular Plate in Multilayered Poroelastic Medium

This paper considers the vertical vibrations of an elastic circular plate in a multilayered poroelastic half space. The plate is subjected to axisymmetric time–harmonic vertical loading and its response is governed by the classical thin-plate theory. The contact surface between the plate and the multilayered half space is assumed to be smooth and either fully permeable or impermeable. The half space under consideration consists of a number of layers with different thicknesses and material properties and is governed by Biot’s poroelastodynamic theory. The vertical displacement of the plate is represented by an admissible function containing a set of generalized coordinates. Contact stress and pore pressure jump are established in terms of generalized coordinates through the solution of flexibility equations based on the influence functions corresponding to vertical and pore pressure loading. Solutions for generalized coordinates are obtained by establishing the equation of motion of the plate through the application of Lagrange’s equations of motion. Selected numerical results are presented to portray the influence of various parameters on dynamic interaction between an elastic plate and a multilayered poroelastic half space.     

Breaking the search space symmetry in partitioning problems: An application to the graph coloring problem

Many problems consist in splitting a set of objects into different groups so that each group verifies some properties. In practice, a partitioning is often encoded by an array mapping each object to its group numbering. In fact, the group number of an object does not really matter, and one can simply rename each group to obtain a new encoding. That is what we call the symmetry of the search space in a partitioning problem. This property may be prejudicial for optimization methods such as evolutionary algorithms (EA) which require some diversity during the search.     

A stochastic realization algorithm via block LQ decomposition in Hilbert space

A stochastic realization problem of a stationary stochastic process is re-visited, and a new stochastically balanced realization algorithm is derived in a Hilbert space generated by second-order stationary processes. The present algorithm computes a stochastically balanced realization by means of the singular value decomposition of a weighted block Hankel matrix derived by a “block LQ decomposition”. Extension to a stochastic subspace identification method explains how the proposed abstract algorithm is implemented in system identification.     

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

The Effect of Structural Defects on the Thermal Conductivity of ZnS, ZnSe, and CdTe Polycrystals

ZnS, ZnSe, and CdTe polycrystals are experimentally investigated. Mechanisms are treated which restrict the thermal conductivity in samples prepared by recrystallization pressing and by deposition from the vapor phase and subjected to additional strain. Anomalies are observed on the temperature dependences of the thermal resistance of investigated samples, which are due to the special features of their phonon spectra and to the variation of the contribution made by longitudinal and transverse phonon branches to the heat transfer in the Debye temperature region and higher.     

盐井水平对接钻井技术

钻一口通过主采盐层的水平井与已完成的直井对接，形成连通井(形如“U”字)，一口井注水溶解盐／芒硝矿，另一口井采出卤水，这是盐化工业对钻井提出的要求。针对水平对接盐井井身轨迹设计、着陆段、水平段的轨迹控制和连通技术，介绍了水平段侧钻时的钻井液技术。     

A CONSTITUTIVE MODEL FOR ELASTIC-PLASTIC DEFORMATION UNDER CYCLIC MULTIAXIAL STRAINING

Abstract— The yield criterion is interpreted as defining the metric of the stress space. Hydrostatic stresses correspond to null geodesies. The plastic strain increment represents a normal projection of the increment undergone by a certain scalar function (hardening function) which depends only on the distance between stress points. This establishes a flow rule formally equivalent to the Prandtl-Reuss equations. Consideration of un-loading processes leads to the analysis of equivalent paths and to the definition of a generalized length or separation which provides a new representation of kinematic hardening.