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.     

CMYK图像的TIFF格式

为满足印前和艺术设计过程中的图像处理的需要,介绍一种基于CMYK(青-品红-黄-黑)颜色空间的图像在TIFF文件中的存储,以及对此类图像的通用处理方法。通过对TIFF文件内部结构的解析,了解如何才能准确地对一幅CMYK图像进行描述、存储和处理。另外,文中还给出使用libtiff函数库处理TIFF文件的样例。     

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.     

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技术对施工图进行建模,从而获得准确的放样参数指导施工,并结合工程实例对计算机辅助施工放样过程进行了具体的介绍。     

时空效应规律在软土深基坑工程中的运用

阐述了时空效应规律在软土深基坑工程中的运用情况，实践证明，运用时空效应规律，能可靠而合理地利用土体自身在基坑开挖过程中控制土体位移的潜力而达到保护环境的目的。