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”字)，一口井注水溶解盐／芒硝矿，另一口井采出卤水，这是盐化工业对钻井提出的要求。针对水平对接盐井井身轨迹设计、着陆段、水平段的轨迹控制和连通技术，介绍了水平段侧钻时的钻井液技术。     

Modelling and analysis of 3-D arrangements of particles by point processes with examples of application to biological data obtained by confocal scanning light microscopy

Within the concept of point processes, a review is presented of quantities which can be used in studies of three-dimensional (3-D) aggregates of particles. Suitable characteristics and estimators are given for both unmarked and marked point processes. To demonstrate the feasibility of such quantitative approaches, an application in histology, dealing with 3-D arrangements of cell nuclei in rat liver, is described. Using a confocal scanning light microscope, 3-D images are recorded and image analysis used to obtain the coordinates of the centroid, together with the volume and DNA content, of each cell nucleus. Examples of results are given, using both unmarked and marked point processes. In the latter case, cell type, nuclear volume and ploidy group are suitable marks.     

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

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

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

GPS接收机多径误差及窄相关性能分析

减少GPS接收机多径干扰的办法是采用特殊天线和在接收机中采取一定的措施。文中针对窄相关技术展开分析。重点分析影响接收机多径误差的因素及窄相关的性能，并给出仿真及分析结果。     

星间激光通信技术进展与趋势

较详细地评述了目前国外卫星间光通信技术研究的现状．根据关键单元技术的进展情况，总结了未来星间光通信系统的发展趋势。