From 2000 to 2019,11,895 new names or new additions to the Chinese vascular flora were proposed by 4226 individuals(4086 articles and 140 books),as documented in the Chinese Plant Names Index(CPNI).During those 20 yea...From 2000 to 2019,11,895 new names or new additions to the Chinese vascular flora were proposed by 4226 individuals(4086 articles and 140 books),as documented in the Chinese Plant Names Index(CPNI).During those 20 years,4407 new taxa of vascular plants were described from China,including 7 new families,132 new genera,3543 new species,68 new subspecies,497 new varieties and 160 new forms.Additionally,3562 new combinations and names at new rank and 306 new replacement names were also proposed.Among these various new names were 150 invalid names and 108 illegitimate names,including some that have not been resolved.Six hundred and forty three vascular plants were reported as new to China,while 2349 names were reduced to synonyms of 1406 taxa.The data show that the Chinese flora increased in size at the rate of about 200 taxa annually during those years.Despite the increased attention given to biodiversity in recent years,the evidence indicates that a large number of species in China have yet to be discovered.Further basic investigation of the Chinese flora is needed.Additionally,in the past two decades only 8.5%of the newly published species have been based on molecular evidence,but in the past five years such data have increased significantly,reaching about 20%.Molecular data will undoubtedly become increasingly significant in the discovery of new species in the coming years.Yunnan,Guangxi,Sichuan,Xizang and Taiwan were important sources of new discoveries,with more than 3300 new taxa and records from these five provinces.By area,Taiwan and Hainan,two islands in southern China,have the highest density of newly discovered species.Regional plant surveys are still needed,especially in areas in the southwest and on the southern islands.展开更多
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone...分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.展开更多
基金This study was supported by the Special Fund for Scientific Research of Shanghai Landscaping&City Appearance Administrative Bureau,China(G182415)the National Specimen Information Infrastructure(2018 Special Funds),China and Shanghai Sailing Program,China(14YF1413800).
文摘From 2000 to 2019,11,895 new names or new additions to the Chinese vascular flora were proposed by 4226 individuals(4086 articles and 140 books),as documented in the Chinese Plant Names Index(CPNI).During those 20 years,4407 new taxa of vascular plants were described from China,including 7 new families,132 new genera,3543 new species,68 new subspecies,497 new varieties and 160 new forms.Additionally,3562 new combinations and names at new rank and 306 new replacement names were also proposed.Among these various new names were 150 invalid names and 108 illegitimate names,including some that have not been resolved.Six hundred and forty three vascular plants were reported as new to China,while 2349 names were reduced to synonyms of 1406 taxa.The data show that the Chinese flora increased in size at the rate of about 200 taxa annually during those years.Despite the increased attention given to biodiversity in recent years,the evidence indicates that a large number of species in China have yet to be discovered.Further basic investigation of the Chinese flora is needed.Additionally,in the past two decades only 8.5%of the newly published species have been based on molecular evidence,but in the past five years such data have increased significantly,reaching about 20%.Molecular data will undoubtedly become increasingly significant in the discovery of new species in the coming years.Yunnan,Guangxi,Sichuan,Xizang and Taiwan were important sources of new discoveries,with more than 3300 new taxa and records from these five provinces.By area,Taiwan and Hainan,two islands in southern China,have the highest density of newly discovered species.Regional plant surveys are still needed,especially in areas in the southwest and on the southern islands.
文摘分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.
