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).     

盐井水平对接钻井技术

钻一口通过主采盐层的水平井与已完成的直井对接，形成连通井(形如“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.     

部分预应力砼构件按两类极限状态的直接设计

本文提出了部分预应力砼构件基于两类极限状态直接控制的设计方法,并给出了具体的设计公式和设计步骤。同时,还对预应力砼超静定结构中的部分预应力砼构件的设计方法进行了说明。本文方法基本属一次性设计且具有较为经济的特点。     

Unified equation of state based on the lattice fluid theory for phase equilibria of complex mixtures part I. Molecular thermodynamic framework

Consistent calculation of fugacities of fluid mixtures remains as one of the most important subjects in contemporary molecular thermodynamics. In practice, equations of state (EOSs) and g^E-models have been used. However, most EOSs are erroneous for condensed phases at high densities and g^E-models are inapplicable for pressuresensitive systems. Recently to remedy the shortcomings in both approaches, there has been a surge of new g^E-EOS mixing rules. By equating any set of EOS and g^E-models, the limitations in both approaches could be resolved significantly. However, the self-consistency in the underlying concept of those mixing rules remains controversial. During the last several years, the present authors proposed a new lattice-fluid EOS and its simplification relevant to phase equilibrium calculations. Without employing any g^E-EOS mixing rule and with only two parameters for a pure component and one adjustable interaction energy parameter for a binary mixture, results obtained to date demonstrated that the EOSs are quantitatively applicable to a great variety of phase equilibrium properties of mixtures, especially, for complex and/or macromolecular systems. In the present article we summarize the EOSs and extended the applications to liquid-liquid Equilibria. In part I, we discussed briefly the molecular thermodynamic aspects of general derivation of the EOS and a brief discussion of applying the EOSs to pure fluids while the illustrative application to various real mixture systems is discussed in part II.     

Synthesis and Characterization of Nanosized ZSM-5 Zeolite with Mesoporous Carbon Nanotube as Templates

Preparation of nanocrystalline ZSM-5 has been proven possible with carbon matrix by using confined space synthesis. In combination with the hydrothermal method, by the use of a mesoporous carbon nanotube as the inert support material, ZSM-5 with SiO₂/Al₂O₃ ratios of 100 was successfully synthesized with an average crystal size of 27 nm. Their structures were preliminarily characterized by x-ray power diffraction (XRPD) and infrared spectroscopy (IR), and scanning electron microscopy (SEM), respectively. At the same time, we put forward the mechanism about the confined space synthesis in terms of the results.     

计算机辅助施工放样设计与应用

应用数学理论知识和CAD技术对施工图进行建模,从而获得准确的放样参数指导施工,并结合工程实例对计算机辅助施工放样过程进行了具体的介绍。