In complete metric spaces, the common fixed point theorems for sequences of φ-type contraction set-valued mappings are established, and the corresponding random com- mon fixed point theorems for set-valued mappings a...In complete metric spaces, the common fixed point theorems for sequences of φ-type contraction set-valued mappings are established, and the corresponding random com- mon fixed point theorems for set-valued mappings are also obtained.展开更多
The Longmenshan area is located at the western margin of Yangtze platform, where the Devonian is composed of clastic rocks, mixed clastic-carbonate rocks and carbonate rocks in ascending order, and was formed in the m...The Longmenshan area is located at the western margin of Yangtze platform, where the Devonian is composed of clastic rocks, mixed clastic-carbonate rocks and carbonate rocks in ascending order, and was formed in the marine environment from nearshore to outer shelf. Based on a study of six sections the Devonian in Longemenshan area is divided into 18 sequences and 5 sequence sets. The maximum transgressive high in the Devonian of this area occurred in Early Frasnian, corresponding to asymmetricus zone. The boundaries among the sequence sets are roughly corresponding to the bottom boundaries of Ⅰa',Ⅰc',Ⅱa, and Ⅱd in the Devonian of West Europe and North America, respectively. The frequencies of the relative sea level changes in this area vary in different periods, but can be correlated with those in the other regions of the world.展开更多
In order to understand the development of stem cells into specialized mature cells it is necessary to study the growth of cells in culture. For this purpose it is very useful to have an efficient computerized cell tra...In order to understand the development of stem cells into specialized mature cells it is necessary to study the growth of cells in culture. For this purpose it is very useful to have an efficient computerized cell tracking system. In this paper a prototype system for tracking neural stem cells in a sequence of images is described. In order to get reliable tracking results it is important to have good and robust segmentation of the cells. To achieve this we have implemented three levels of segmentation. The primary level, applied to all frames, is based on fuzzy threshold and watershed segmentation of a fuzzy gray weighted distance transformed image. The second level, applied to difficult frames where the first algorithm seems to have failed, is based on a fast geometric active contour model based on the level set algorithm. Finally, the automatic segmentation result on the crucial first frame can be interactively inspected and corrected. Visual inspection and correction can also be applied to other frames but this is generally not needed. For the tracking all cells are classified into inactive, active, dividing and clustered cells. Different algorithms are used to deal with the different cell categories. A special backtracking step is used to automatically correct for some common errors that appear in the initial forward tracking process.展开更多
In this paper, a multiplicity-preserving triangular set decomposition algorithm is proposed for a system of two polynomials, which involves only computing the primitive polynomial remainder sequence of two polynomials...In this paper, a multiplicity-preserving triangular set decomposition algorithm is proposed for a system of two polynomials, which involves only computing the primitive polynomial remainder sequence of two polynomials once and certain GCD computations. The algorithm decomposes the unmixed variety defined by two polynomials into square free and disjoint （for non-vertical components, see Definition 4） algebraic cycles represented by triangular sets which may have negative multiplicities. Thus, the authors can count the multiplicities of the non-vertical components. In the bivariate case, the amthors give a complete algorithm to decompose tile system into zeros represented by triangular sets with multiplicities. The authors also analyze the complexity of the algorithm in the bivariate ease. The authors implement the algorithm and show the effectiveness of the method with extensive experiments.展开更多
In order to study the recurrence of sequences of integers, we investigate their L2-exactness and Θ-Hartman property (Θ being a set of rational numbers). Two classes of sequences of integers are well studied, which a...In order to study the recurrence of sequences of integers, we investigate their L2-exactness and Θ-Hartman property (Θ being a set of rational numbers). Two classes of sequences of integers are well studied, which are return times relative to a weakly mixing system and Bernoulli random sequences.展开更多
基金Foundation item： Supported by the Science Foundation from the Ministry of Education of Jiangsu Province（04KJD110168, 06KJBll0107）
文摘In complete metric spaces, the common fixed point theorems for sequences of φ-type contraction set-valued mappings are established, and the corresponding random com- mon fixed point theorems for set-valued mappings are also obtained.
文摘The Longmenshan area is located at the western margin of Yangtze platform, where the Devonian is composed of clastic rocks, mixed clastic-carbonate rocks and carbonate rocks in ascending order, and was formed in the marine environment from nearshore to outer shelf. Based on a study of six sections the Devonian in Longemenshan area is divided into 18 sequences and 5 sequence sets. The maximum transgressive high in the Devonian of this area occurred in Early Frasnian, corresponding to asymmetricus zone. The boundaries among the sequence sets are roughly corresponding to the bottom boundaries of Ⅰa',Ⅰc',Ⅱa, and Ⅱd in the Devonian of West Europe and North America, respectively. The frequencies of the relative sea level changes in this area vary in different periods, but can be correlated with those in the other regions of the world.
文摘In order to understand the development of stem cells into specialized mature cells it is necessary to study the growth of cells in culture. For this purpose it is very useful to have an efficient computerized cell tracking system. In this paper a prototype system for tracking neural stem cells in a sequence of images is described. In order to get reliable tracking results it is important to have good and robust segmentation of the cells. To achieve this we have implemented three levels of segmentation. The primary level, applied to all frames, is based on fuzzy threshold and watershed segmentation of a fuzzy gray weighted distance transformed image. The second level, applied to difficult frames where the first algorithm seems to have failed, is based on a fast geometric active contour model based on the level set algorithm. Finally, the automatic segmentation result on the crucial first frame can be interactively inspected and corrected. Visual inspection and correction can also be applied to other frames but this is generally not needed. For the tracking all cells are classified into inactive, active, dividing and clustered cells. Different algorithms are used to deal with the different cell categories. A special backtracking step is used to automatically correct for some common errors that appear in the initial forward tracking process.
基金partially supported by NKBRPC under Grant No.2011CB302400the National Natural Science Foundation of China under Grant Nos.11001258,60821002,91118001+1 种基金SRF for ROCS,SEMChina-France cooperation project EXACTA under Grant No.60911130369
文摘In this paper, a multiplicity-preserving triangular set decomposition algorithm is proposed for a system of two polynomials, which involves only computing the primitive polynomial remainder sequence of two polynomials once and certain GCD computations. The algorithm decomposes the unmixed variety defined by two polynomials into square free and disjoint （for non-vertical components, see Definition 4） algebraic cycles represented by triangular sets which may have negative multiplicities. Thus, the authors can count the multiplicities of the non-vertical components. In the bivariate case, the amthors give a complete algorithm to decompose tile system into zeros represented by triangular sets with multiplicities. The authors also analyze the complexity of the algorithm in the bivariate ease. The authors implement the algorithm and show the effectiveness of the method with extensive experiments.
文摘In order to study the recurrence of sequences of integers, we investigate their L2-exactness and Θ-Hartman property (Θ being a set of rational numbers). Two classes of sequences of integers are well studied, which are return times relative to a weakly mixing system and Bernoulli random sequences.
