非有限型混沌子移位的构造

本文构造了两个新的非有限型子移位；讨论了它们在Ｗｉｇｇｉｎｓ，Ｄｅｖａｎｅｙｇ与Ｌｉ－Ｙｏｒｋｅ意义下的混沌性；并证明了具有相等的正的拓扑熵。

非线性Sobolev方程的经济型差分-流线扩散非协调有限元法

研究了·类对流占优非线性Sobolev方程的经济型差分-流线扩散非协调有限元方法.分别给出了Euler-EFDSD和Crank-Nicolson-EFDSD格式的最优误差估计,从而发展和完善了以往文献的结果.

三维非分离型有限长冲击响应滤波器组的设计

提出了一种新的三维非分离线性相位二通道并具有完全重构的有限长冲击响应滤波器组的设计方法，与McClellan变换采用频率变换不同的是该方法是利用变量代换方法。通过调整一维窗函数的参数和传递函数可以灵活地控制三维滤波器的频率特性。最后给出了几个设计实例。

非确定型模糊有限自动机的一种新的极小确定化方法

非确定型模糊有限自动机的极小确定化是自动机理论中的一个重要问题。在格序幺半群下,本文给出一种非确定型模糊有限自动机的新的极小确定化方法,称为内部构造法。为此,首先给出了模糊状态的内部的定义及其相关性质,进一步证明任给一个非确定型模糊有限自动机,利用模糊状态的内部的性质得到一个极小的确定型模糊有限自动机与之等价,最后通过例子验证该方法的正确性。

有限识别器的最小化方法

给出确定型有限识别器最小化的一种方法,并给出一类非确定型有限识别器最小化的方法。

美国非公司型有限责任企业初探

本文以美国企业中不具备公司法人形态而又享受有限责任保护者为研究对象,分析了美国非公司型有限责任企业的主要形式、历史沿革、发展现状和法律规制,旨在为理解和讨论美国复杂多样的非公司企业组织体系搭建一个初步的平台。鉴于目前国内文献对美国的非公司型有限企业尤其是“有限责任公司”(LLC)在理解上存在的偏颇,本文从对“公司”(corpora-tion)概念的辨正入手,以较多篇幅作了专门澄清。

Uniform asymptotics for finite-time ruin probability in some dependent compound risk models with constant interest rate

Consider two dependent renewal risk models with constant interest rate. By using some methods in the risk theory, uniform asymptotics for finite-time ruin probability is derived in a non-compound risk model, where claim sizes are upper tail asymptotically independent random variables with dominatedly varying tails, claim inter-arrival times follow the widely lower orthant dependent structure, and the total amount of premiums is a nonnegative stochastic process. Based on the obtained result, using the method of analysis for the tail probability of random sums, a similar result in a more complex and reasonable compound risk model is also obtained, where individual claim sizes are specialized to be extended negatively dependent and accident inter-arrival times are still widely lower orthant dependent, and both the claim sizes and the claim number have dominatedly varying tails.

入侵检测系统中模式匹配自动机的构造研究

本文提出了一种新的用于构造入侵检测模式匹配自动机的方法。该方法从构造判定单个模式的NFA自动机入手,通过集成单个的NFA而得到全集的NFA,并将全集NFA转换为与之等价的DFA并化简,从而可得到全集的确定型模式匹配有限自动机。由于该方法可以完全自动完成,从而可以方便地为入侵检测系统构造模式匹配自动机。

一种构造入侵检测系统模式匹配自动机的方法

介绍了一种新的用于构造入侵检测系统模式匹配自动机的方法,该方法的基本出发点在于NFA与DFA能力的等价性、构造NFA的方便性和DFA运行的高效性。它从构造判定单个模式的NFA自动机入手,通过集成单个的NFA而得到全集的NFA,并将全集NFA转换为与之等价的DFA并化简,从而可得到全集的确定型模式匹配有限自动机。由于该方法可以完全自动完成,从而可方便地为入侵检测系统构造模式匹配自动机。

Violent Transient Sloshing-Wave Interaction with a Baffle in a Three-Dimensional Numerical Tank

A finite difference model for solving Navier Stokes viscous liquid sloshing-wave interaction with baffles in a tank. equations with turbulence taken into accotmt is used to investigate The volume-of-fluid and virtual boundary force methods are employed to simulate free surface flow interaction with structures. A liquid sloshing experimental apparatus was established to evaluate the accuracy of the proposed model, as well as to study nonlinear sloshing in a prismatic tank with the baffles. Damping effects of sloshing in a rectangular tank with bottom-mounted vertical baffles and vertical baffles touching the free surface are studied numerically and experimentally. Good agreement is obtained between the present numerical results and experimental data. The numerical results match well with the current experimental data for strong nonlinear sloshing with large free surface slopes. The reduction in sloshing-wave elevation and impact pressure induced by the bottom-mounted vertical baffle and the vertical baffle touching the free surface is estimated by varying the external excitation frequency and the location and height of the vertical baffle under horizontal excitation.

Finite element simulation of aluminum alloy cross valve forming by multi-way loading

Deformation behavior,temperature evolution and coupled effects have a significant influence on forming process and quality of component formed,which are very complex in forming process of aluminum alloy 7075 cross valve under multi-way loading due to the complexity of loading path and the multiplicity of associated processing parameters.A model of the process was developed under DFEORM-3D environment based on the coupled thermo-mechanical finite element method.The comparison between two process models,the conventional isothermal process model and the non-isothermal process model developed in this study,was carried out,and the results indicate that the thermal events play an important role in the aluminum alloy forming process under multi-way loading.The distributions and evolutions of the temperature field and strain filed are obtained by non-isothermal process simulation.The plastic zone and its extension in forming process of cross valve were analyzed.The results may provide guidelines for the determination of multi-way loading forming scheme and loading conditions of the forming cross valve components.

Failure mechanism of large-diameter shield tunnels and its effects on ground surface settlements

A new technique for the analysis of the three-dimensional collapse failure mechanism and the ground surface settlements for the large-diameter shield tunnels were presented.The technique is based on a velocity field model using more different truncated solid conical blocks to clarify the multiblock failure mechanism.Furthermore,the shape of blocks between the failure surface and the tunnel face was considered as an entire circle,and the supporting pressure was assumed as non-uniform distribution on the tunnel face and increased with the tunnel embedded depth.The ground surface settlements and failure mechanism above large-diameter shield tunnels were also investigated under different supporting pressures by the finite difference method.

Dynamic analysis and nonlinear identification of space deployable structure

The dynamic equivalent continuum modeling method of the mast which is based on energy equivalency principle was investigated. And three kinds of mast dynamic model were established, which were equivalent continuum model, finite element model and simulation model, respectively. The mast frequencies and mode shapes were calculated by these models and compared with each other. The error between the equivalent continuum model and the finite element model is less than 5% when the mast length is longer. Dynamic responses of the mast with different lengths are tested, the mode frequencies and mode shapes are compared with finite element model. The mode shapes match well with each other, while the frequencies tested by experiments are lower than the results of the finite element model, which reflects the joints lower the mast stiffness. The nonlinear dynamic characteristics are presented in the dynamic responses of the mast under different excitation force levels. The joint nonlinearities in the deployable mast are identified as nonlinear hysteresis contributed by the coulomb friction which soften the mast stiffness and lower the mast frequencies.

Study on Collision Between Two Ships Using Selected Parameters in Collision Simulation

In the present analysis, several parameters used in a numerical simulation are investigated in an integrated study to obtain their influence on the process and results of this simulation. The parameters studied are element formulation, friction coefficient, and material model. Numerical simulations using the non-linear finite element method are conducted to produce virtual experimental data for several collision scenarios. Pattern and size damages caused by collision in a real accident case are assumed as real experimental data, and these are used to validate the method. The element model study performed indicates that the Belytschko-Tsay element formulation should be recommended for use in virtual experiments. It is recommended that the real value of the friction coefficient for materials involved is applied in simulations. For the study of the material model, the application of materials with high yield strength is recommended for use in the side hull structure.

Dynamics analysis of planar armored cable motion in deep-sea ROV system

The armored cable used in a deep-sea remotely operated vehicle(ROV) may undergo large displacement motion when subjected to dynamic actions of ship heave motion and ocean current. A novel geometrically exact finite element model for two-dimensional dynamic analysis of armored cable is presented. This model accounts for the geometric nonlinearities of large displacement of the armored cable, and effects of axial load and bending stiffness. The governing equations are derived by consistent linearization and finite element discretization of the total weak form of the armored cable system, and solved by the Newmark time integration method. To make the solution procedure avoid falling into the local extreme points, a simple adaptive stepping strategy is proposed. The presented model is validated via actual measured data. Results for dynamic configurations, motion and tension of both ends of the armored cable, and resonance-zone are presented for two numerical cases, including the dynamic analysis under the case of only ship heave motion and the case of joint action of ship heave motion and ocean current. The dynamics analysis can provide important reference for the design or product selection of the armored cable in a deep-sea ROV system so as to improve the safety of its marine operation under the sea state of 4 or above.

Numerical simulation of asphalt mixture based on three-dimensional heterogeneous specimen

In order to verify the validity of finite element numerical simulation method for asphalt mixture, which consists of aggregates, mastic （where mastic is a kind of fine mixture composed of asphalt binder mixed with fines and fine aggregates） and air voids, based on three-dimensional （3D） heterogeneous specimen, X-ray computerized tomography （X-ray CT） was used to scan the asphalt specimens to obtain the real internal microstrnctures of asphalt mixture. CT images were reconstructed to build up 3D digital specimen, and the viscoelastic properties of mastic were described with Burgers model The uniaxial creep numerical simulations of three different levels of aggregate gradation were conducted. The simulation results agree well with the experimental results. The numerical simulation of asphalt mixture incorporated with real 3D microstructure based on finite element method is a promising application to conduct research of asphalt concrete. Additionally, this method can increase the mechanistic understanding of global viscoelastic properties of asphalt mixtures by linking the real 3D microstructure.

Combined back-analysis method of ground stress based on refined geological modeling

A new back-analysis method of ground stress is proposed with comprehensive consideration of influence of topography, geology and nonlinear physical mechanical properties of rock on ground stress. This method based on non-uniform rational B-spline (NURBS) technology provides the means to build a refined three-dimensional finite element model with more accurate meshing under complex terrain and geological conditions. Meanwhile, this method is a back-analysis of ground stress with combination of multivariable linear regression model and neural network (ANN) model. Firstly, the regression model is used to fit approximately boundary loads. Regarding the regressed loads as mean value, some sets of boundary loads with the same interval are constructed according to the principle of orthogonal design, to calculate the corresponding ground stress at the observation positions using finite element method. The results (boundary loads and the corresponding ground stress) are added to the samples for ANN training. And on this basis, an ANN model is established to implement higher precise back-analysis of initial ground stress. A practical application case shows that the relative error between the inversed ground stress and observed value is mostly less than 10 %, which can meet the need of engineering design and construction requirements.

Adaptive Neuro-fuzzy Controller Design for Non-affine Nonlinear Systems

An adaptive neuro-fuzzy control is investigated for a class of non-affine nonlinear systems.To do so,rigorous description and quantification of the approximation error of the neuro-fuzzy controller are firstly discussed.Applying this result and Lyapunov stability theory,a novel updating algorithm to adapt the weights,centers,and widths of the neuro-fuzzy controller is presented.Consequently,the proposed design method is able to guarantee the stability of the closed-loop system and the convergence of the tracking error.Simulation results illustrate the effectiveness of the proposed adaptive neuro-fuzzy control scheme.

NONLINEAR ANALYSES OF VOID DIFFUSION MODEL AND ITS APPLICATION TO SUBSIDENCE PREDICTION

The void diffusion model for mining-effected strata can be analyzed by means of a nonlinear finite element method. This paper presents the fundamental principles of the analyses. The key to the analyses is the determination of roof subsidence and the nonlinear relationship between diffusion coefficient and subsidence. This paper discusses these problems and determines the coefficient for Pingdingshan mining district, with which several profiles are predicted. It is found that the predicted profiles are coincident with the corresponding field profiles.

Prying Force Assessment Using Nonlinear Finite Element Model

Steel connection design using pre-tensioned bolts depends significantly on the value of the Prying forces exerted from the end plate. The Egyptian Code ECP （205） suggested a formula that can determine the Prying force value. In this research, the Prying force is numerically computed in a T-Stub connection using nonlinear finite element techniques. The model uses plane stress four node elements with two degrees of freedom per node to simulate the flange of the T-Stub. The bolts are simulated using a truss element with large deformation capability to allow modeling of the pretension force. Surface to surface gap elements are used in order to simulate the contact between the T-Stub and the supporting element. Parametric study on the end plate thickness, bolt size, bolt arrangement and pretension forces is performed in order to calibrate the Code formula. The parametric study covers all the practical ranges of the variables. The study revealed that the Code formula, inaccurately, determines the Prying force in a certain range. Moreover, a new equation for the prying force is developed using regression analysis on the finite element results.