Let X be a metric space with an ordering structure,A: X→X is a operator and x≤Ax for any x∈X. In this paper we prove a new fixed point theorem, which generalizes famous caristi fixed point theorem.
This letter proposes a novel and simple construction of regular Low-Density Parity-Check (LDPC) codes using sparse binary sequences. It utilizes the cyclic cross correlation function of sparse sequences to generate co...This letter proposes a novel and simple construction of regular Low-Density Parity-Check (LDPC) codes using sparse binary sequences. It utilizes the cyclic cross correlation function of sparse sequences to generate codes with girth8. The new codes perform well using the sumproduct decoding. Low encodingcomplexity can also be achieved due to the inherent quasi-cyclic structure of the codes.展开更多
This paper presents some insights on the state-of-the-art practice that has been utilized recently in the inplace structural strength and fatigue analysis for topsides on deepwater floating platforms such as tension l...This paper presents some insights on the state-of-the-art practice that has been utilized recently in the inplace structural strength and fatigue analysis for topsides on deepwater floating platforms such as tension leg plat-form (TLP) and semi-submersibles. Emphases are put on analysis software,geometric and mass modeling,hydro-dynamic loading and its mapping,and analysis procedures. In addition,for the in-place analysis using structure analysis computer system (SACS),the procedure of Visual Basic for Application (VBA) is developed to map AQWA-LINE hydrodynamic loading to the SACS integrated hull/topsides model;for the in-place analysis using structure engineering system analysis model (SESAM),many computer aided applications are made to aid the post-processing. These applications have been used in structural analyses for a few TLP and semi-submersible plat-form topsides,and are briefly introduced in this paper.展开更多
文摘Let X be a metric space with an ordering structure,A: X→X is a operator and x≤Ax for any x∈X. In this paper we prove a new fixed point theorem, which generalizes famous caristi fixed point theorem.
基金Supported by Key Project of the National Natural Science Foundation of China (No.60496311).
文摘This letter proposes a novel and simple construction of regular Low-Density Parity-Check (LDPC) codes using sparse binary sequences. It utilizes the cyclic cross correlation function of sparse sequences to generate codes with girth8. The new codes perform well using the sumproduct decoding. Low encodingcomplexity can also be achieved due to the inherent quasi-cyclic structure of the codes.
文摘This paper presents some insights on the state-of-the-art practice that has been utilized recently in the inplace structural strength and fatigue analysis for topsides on deepwater floating platforms such as tension leg plat-form (TLP) and semi-submersibles. Emphases are put on analysis software,geometric and mass modeling,hydro-dynamic loading and its mapping,and analysis procedures. In addition,for the in-place analysis using structure analysis computer system (SACS),the procedure of Visual Basic for Application (VBA) is developed to map AQWA-LINE hydrodynamic loading to the SACS integrated hull/topsides model;for the in-place analysis using structure engineering system analysis model (SESAM),many computer aided applications are made to aid the post-processing. These applications have been used in structural analyses for a few TLP and semi-submersible plat-form topsides,and are briefly introduced in this paper.
