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

Nonlinear model predictive control with polytopic invariant sets

Ellipsoidal invariant sets have been widely used as target sets in model predictive control (MPC). These sets can be computed by constructing appropriate linear difference inclusions together with additional constraints to ensure that the ellipsoid lies within a given inclusion polytope. The choice of inclusion polytope has a significant effect on the size of the target ellipsoid, but the optimal inclusion polytope cannot in general be computed systematically. This paper shows that use of polytopic invariant sets overcomes this difficulty, allowing larger stabilizable sets without loss of performance. In the interests of online efficiency, consideration is focused on interpolation-based MPC.     

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.     

Design of pole-assignment controller for systems with algebraic-equation constraint

In this paper we have studied the control of linear systems with algebraic-equation constraint. A pole-assignment controller with two-layer structure for such constrained systems has been presented. The objective of the controller is to assign the desired poles to constrained system and simultaneously force the corresponding closed-loop system to satisfy the constraint. The conditions for the existence of pole-assignment controller are discussed in different cases. The implementation algorithm of pole-assignment controller is also presented. An example is given to illustrate the validity of the method in this paper.     

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

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

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