单调区间列的极限(英文)

将单调集合列极限的形式运用于单调区间列,并结合单调数列极限的性质得出了单调区间列的极限表达式。

基于Henstock积分在区间子列上的可和性研究

在δ(x)精细分法的基础上,对非绝对型Henstock积分理论进行了研究.引进区间[a,b]上的非绝对型Henstock积分的有限可和性等性质定理,进而在Henstock引理等有关理论基础上,给出Henstock积分在区间子列上的可和性的定理,并给予详细证明.

关于闭区间套定理

对闭区间套定理的条件作一些变动或增加,可以得到相同的结论。

区间值序列与区间值函数列的收敛性

借助区间值空间上的Hausdorff度量(距离),引入了区间值序列及其收敛性概念、区间值函数列及其收敛性概念,并给出一些相关性质。

基于区间套理论的克隆选择算法的收敛性研究

克隆选择算法是基于免疫学中的克隆选择学说而产生的一种免疫优化算法。它通过克隆算子进行操作。本文首先介绍了标准的克隆选择算法;其次引入了克隆算子并对标准的克隆选择算法进行改进;然后以数列知识为基础,以抗体群的克隆选择过程为对象,对克隆选择算法的收敛性进行分析;最后应用区间套定理证明了算法的全局收敛性。

用区间套定理研究Abel收敛域的存在性与唯一性

关于幂级数sum from n=0 to ∞(a_nx^n)收敛域的存在性与唯一性问题一般教科书都未给出详细的证明,给出证明的版本利用了确界定理使初学者感到困难,本文构造出一个闭区间列,利用闭区间套定理证明了收敛域的唯一性。形如sum from n=0 to ∞(a_nx^n)=a_0+a_1x_1+a2x^2+a_3x^3+…a_nx^n+……的函数项级数称为幂级数,为了研究其收敛域问题,我们重述一面的重要定理。

三角函数多项式的实根分离

本文探索非多项式型实函数的实根分离问题,实现了分离三角函数多项式实根的"完备算法",即可以找出一个互不相交的区间列,每一个区间包含函数一个实根,整个列表包含函数的全部实根,且每个区间长度可以小于任意指定精度.

指数函数多项式的实根分离算法

针对超越函数多项式的实根分离问题,提出了一种指数函数多项式的区间分离算法exRoot,将非多项式型实函数的实根分离问题转化为多项式正负性判定问题进而对其求解。首先,利用泰勒替换法构造目标函数的多项式区间套;然后,将指数函数的求根问题转化为多项式在区间内正负性的判定问题;最后,给出综合算法,并且试探性地应用于实特征值线性系统的可达性判定问题。所提算法在Maple中实现,输出的结果可读,且高效易行。区别于HSOLVER和数值计算方法fsolve,exRoot回避了直接讨论根的存在性问题,理论上具有终止性和完备性,且可达到任意精度,应用于最优化问题时可避免数值解带来的系统误差。

Identification of Stellaria media by PCR

Aim To provide a rapid and reliable method for identifying the fork medicine Stellaria media （Linn. ） Cyr. （Herba Stellariae mediae） （Caryophyllaceae） from its adulterant Myosoton aquaticure （L.） Fries （Herba Myosoti aquatici） （Caryophyllaceae） by polymerase chain reaction （PCR） technology. Methods A molecular genetic approach has been developed to identify S. media for the first time. 5S-rRNA spacer domain was amplified by PCR from the isolated genomic DNA, and the PCR products were then sequenced. Results The nucleotide sequences of S. media and M. aquaticum were measured to determine their identity. Furthermore, the nucleotide sequences of three Stellaria species, S. vestita, S. longifolia and S. radians, were also measured for the sake of providing the evidence of the biological phylogeny of SteUaria. Diversity between DNA sequence and restriction enzyme mapping among a variety of the species was found in their 5S-rRNA spacer domains. Conclusion The 5S-rRNA spacer domains can be used as a molecular marker for differentiating S. media from M. aquaticum and in phylogenetie studies of Stellaria.

ITS1 SEQUENCES OF NUCLEAR RIBOSOMAL DNA IN WILD RICES AND CULTIVATED RICES OF CHINA AND THEIR PHYLOGENETIC IMPLICATIONS

The first internal transcribed spacer(ITS1) of nuclear ribosomal DNA of three wild rice species and two subspecies of cultivated rice, which are distributed in China, was amplified using PCR technique and sequenced with automated fluorescent sequencing. The sequences of ITS1 ranged from 193 bp to 218 bp in size and G/C content varied from 69.3% to 72.7%. In pairwise comparisons among the five taxa, sequence site divergence ranged from 1.5% to 10.6%. Phylogenetic analysis of ITS1 sequences using Wagner parsimony generated a single well resolved tree, which revealed that Oryza rufipogon was much more closely related to cultivated rice species than to the other two wild species. Oryza granulata was less closely related to either cultivated rice species or the other two wild species, and might be a unique and isolated taxon in the genus Oryza. The phylogenetic relationships of the three wild rice species and two cultivated rice subspecies inferred from ITS1 sequences is highly concordant with those based on the molecular evidence from isozyme, chloroplast DNA (cpDNA), mitochondrial DNA(mtDNA) and nuclear DNA (nDNA) of the genus Oryza .

有界性定理的新证法

本文利用区间套和连续函数的局部有界性给出了闭区间上连续函数的有界性定理的一种全新的证明方法.

sum from i=1 to n(|a_ix-b_i|)的最小值问题及其应用

定理 设函数f(x)=sum from i=1 to n(|x-c_i|)(C_i∈R,且C_i【C_i+1) (Ⅰ)当n为奇数时,不妨设c_k为这n个数中居中间的一个,则当且仅当x=c_k时,

关于基本连续及基本一致收敛性

本文给出函数基本连续及函数列基本一致收敛的概念,并给出一些性质。

A Comparative Study of Methods for Delineating Sphere of Urban Influence: A Case Study on Central China

A number of urban and regional plans have been developed with the advancement of urbanization and regional integration, among which the delineation of sphere of urban influence and improvement of integration between the city and its hinterland have be- come vital important for guiding practices. In terms of delineating sphere of urban influence, existing studies have been focused on static study by using single year data or single method, resulting in a lack of time-series longitudinal analysis or comprehensive analysis based on multiple methods This study emphasizes on comparing two methods from both the theoretical and empirical perspective. Both gravity model and improwd field model are applied to the selected study area for measurements and comparison, to explore their strengths and weaknesses. A research framework for comprehensive analysis on delineating sphere of urban influence is proposed. In the end, the differences of deli：aeating methods are illustrated and the feasibility of comprehensive analysis is discussed. Recommendations are provided for selecting appropriate methods for delineating sphere of urban influence or developing regional hierarchy system plans and urban spatial structure schemes.

Chemical and molecular characterization of Hong Dangshen,a unique medicinal material for diarrhea in Hong Kong

Aim To investigate the plant origin and the identity of the red substance on the surface of Hong Dangshen, a unique medicinal material for diarrhea in Hong Kong. Methods The HPLC fingerprints and 5S rRNA gene spacer sequences of Hong Dangshen were obtained and compared with those of genuine species of Radix Codonopsis. The X-ray diffraction spectrum of the red substance was analyzed and compared with that of Halloysitum fingerprints to the Codonopsis species and the highest similarity to Rubrum. Results Hong Dangshen showed very similar HPLC Codonopsis pilosula var. modesta in terms of 5S rRNA gene spacer sequences. The X-ray diffraction spectrum of the red substance was consistent with that of Halloysitum Rubrum. Conclusion The source plant of Hong Dangshen was suggested to be Codonopsis pilosula var. modesta, one of the genuine original plants of Radix Codonopsis （Dangshen） in the China Pharmacopoeia （2005 edition）. The red substance on the surface of Hong Dangshen was indicated to be Halloysitum Rubrum, a traditional medicinal mineral for chronic diarrhea. Our data suggest that Hong Dangshen is derived from the roots of Codonopsis pilosula var. modesta which has been processed with Halloysitum Rubrum, and the name is suggested to be Radix Codonopsis Praeparata Halloysita Rubra.

Molecular identification based on ITS sequences for Kappaphycus and Eucheuma cultivated in China

The systematic classification of the Eucheumatoideae is difficult because of their variable morphology and interpretation of reproductive structures. Kappaphycus and Eucheuma specimens cultivated on the Hainan and Fujian coast of China were introduced from Vietnam, the Philippines and Indonesia. Combined with morphological characteristics, all Kappaphycus and Eucheuma cultivated strains were identified by internal transcribed spacer (ITS) sequences. The phylogenetic tree was constructed using neighbor-joining and maximum likelihood methods. The results indicate that different ITS sequence lengths occurred in the different genera and species. An obvious difference in morphology could be found in the protuberance shape between Kappaphycus and Eucheuma. The protuberance in Eucheuma was thorn-like and in Kappaphycus was wartlike or papillate. Their ITS sequence lengths differed significantly in nucleotide variation rates up to 58.55%-63.90%. All nucleotide variations occurred in the ITS1 and ITS2 regions except for five nucleotide transversions in the 5.8S rDNA region. In addition, the difference was at the branches among congeneric species. Kappaphycus sp. had branches with small buds, while K. alvarezii did not have such a feature. The nucleotide variation rates varied from 7.02% to 7.48% among species; within the same species of the clades it was <1.20%. Eucheumatoideae algae cultivated in China consisted of three clades, K. alvarezii, Kappaphycus sp., and E. denticulatum. The results indicate that ITS sequence analysis was an effective way for identification of interspecies and intraspecies phylogenetic relationships and might provide a clue for molecular identification of algal Eucheumatoideae.

Construction of Porphyra yezoensis Pure Line from Protoplasts and Its 18S rDNA Sequence Determination

The wild Porphyra yezoensis collected from the Qingdao coast was used to prepare protoplasts by enzyme digestion. The pure line was constructed by cultivating the protoplasts. The 18S rDNA of the P. yezoensis pure line was cloned and sequenced. Sequence analysis was executed for this sequence and other 22 sequences retrieved from GenBank. A phylogenetic tree was constructed using the neighbor joining method. The results revealed a high diversity of 18S rDNA sequences in genus Porphyra and the considerable variation of 18S rDNA sequences in different strains of the same species P. yezoensis and P. tenera. Significant difference of 18S rDNA sequence was observed between P. yezoensis from Qingdao, China, and the two strains of P. yezoensis from Japan, but the three strains of P. yezoensis formed a stable clade in the phylogenetic tree. These results indicate the possibility of interspecies and intraspecies discrimination of Porphyra using the 18S rDNA sequences.

Analysis of Abnormal Characteristics of Regional Crustal Deformation before the Menyuan MS6.4 Earthquake by GPS Continuous Data

In order to study the characteristics of crustal deformation around the epicenter before the 2016 M_S6. 4 Menyuan earthquake,the GPS continuous stations of the period from 2010 to 2016 were selected according to the observation data of the tectonic environment monitoring network in Chinese Mainland. The deformation characteristics of the crust before the earthquake were discussed through inter-station baseline time series analysis and the strain time series analysis in the epicentral region. The results show that a trend turn of the baseline movement state around the epicenter region occurred after 2014,and the movement after 2014 reflects an obvious decreasing trend of compressional deformation.During this period,the stress field energy was in a certain accumulation state. Since the beginning of 2014,the EW-component linear strain and surface strain rate weakened gradually before the earthquake. It shows that there was an obvious deformation deficit at the epicentral area in the past two years,which indicates that the region accumulated a high degree of strain energy before the earthquake. Therefore,there was a significant background change in the area before the earthquake. The results of the study can provide basic research data for understanding the seismogenic process and mechanism of this earthquake.

Sequence analysis of rDNA intergenic spacer region (IGS) as a tool for phylogenetic studies in Trichoderma spp.

Different from ribosomal genes, which contain highly conserved sequences that are detected in all organisms, the intergenic spacer of rDNA (IGS) appears to be the most rapidly-evolving spacer region. For this reason we tested this region for phylogenetic studies. This report focuses on the study of IGS sequences of isolates belonging to Trichoderma section (T. viride, T. koningii, T. hamatum, T. erinaceus, T. asperellum) and Pachybasium section (T. harzianum, T. crassum, T. fasciculatum, T. oblongisporum, T. virens). Using the primer pair 28STD and CNS1, the Fast Start Taq DNA Polymerase (Roche), and a three temperature PCR protocol, products ranging from ca 1900 to 2400 bp were obtained from all tested isolates. The PCR product of 16 Trichoderma spp. isolates was cloned into a pGEM-TEeasy Vector (Promega) and sequenced. Based on a BLAST search we can conclude that the PCR product represents the whole IGS region. Multiple alignments of IGS sequences revealed two portions with different homology level. Portion A (ca 1660 bp) is the portion that contains 3’ end of 28S gene and is the more variable, while portion B (ca 830 bp), that contains the 3’ end of IGS region and the 5’ end of 18S gene, is the less variable. Comparing all sequences in region A 705 identical pairs occur out of 1704 total nucleotides (41.4%), while in region B identical pairs were 723 out of 832 total nucleotides (86.9%) . Sequence comparison of the two regions at intraspecific level (where it was possible) showed higher variability in region A (0.17%-6.8%) than in region B (0.0%-1.0%) . At interspecific level, performing all possible comparisons, the variability of region A (19.5%-52.7%) and B (0.8%- 16.9%). were significantly higher. Comparing sequences of species belonging to Trichoderma section variability of the two regions appears reduced if compared with that obtained from comparisons of species belonging to Pachybasium section. On the basis of sequence alignment, phylogenetic trees were obtained either with entire IGS, with region A, and with region B. Results of this analysis revealed that all isolates belonging to Trichoderma section grouped separately from isolates belonging to Pachybasium section. IGS region allowed us to group species according to their taxonomic position. The topology of the tree did not change substantially, varying in genetic distance only. Performing a GenBank search sequences representing the final portion of the IGS region of other fungal species were found, and we carried out a multiple alignment using also our sequences of Trichoderma spp. and Diaporthe helianthi. The phylogeny inferred from sequence alignment matched the generally accepted morphology-based classification and was identical to other molecular schemes at high taxonomic level. Data analysis was useful in establishing a broad-scale phylogeny of Ascomycota and was also useful in sorting them into statistically-supported clades. The tree showed that Trichoderma occurred in a well-supported terminal subclade of a larger clade that also contained other genera belonging to Hypocreales order. Sequence analysis of the Trichoderma spp. IGS region allowed us to design a specific PCR primer that was successfully used to amplify region A. The new reverse primer LCR2, that recognize all Trichoderma isolates, was identified in region B and confirmed for its specificity on the DNA of fungi belonging to other Ascomycota genera. Results obtained showed that IGS region seems to be an interesting and versatile tool for phylogenetic analysis, for resolving some taxonomic problems and for constructing specific primer useful for different purposes.

A test sequence generation method of zone controller based on timed automata

In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.