The basic way and method to apply the equipment s CAD data to a geometry description system(GDS) are presented,and its interface to GDS is set up.The basic function,flow and implementation technique of the interface a...The basic way and method to apply the equipment s CAD data to a geometry description system(GDS) are presented,and its interface to GDS is set up.The basic function,flow and implementation technique of the interface are analyzed.Special computer software is programmed,and an application example is given also.The research results indicate that this interface can assist to derive desired data from the CAD data,and provide powerful technical support for the development of a practical data transferring interface.展开更多
Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic ...Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic obstacles are considered as the dominant inhibition for attaining satisfactory energy-conversion efficiency.The complexity in light absorption and carrier transfer behaviors has remained to be further clearly illuminated.It is challenging to trace the fast evolution of charge carriers involved in transfer migration and interfacial reactions within a micro–nano-single-particle photocatalyst,which requires spatiotemporal high resolution.In this review,comprehensive dynamic descriptions including irradiation field,carrier separation and transfer,and interfacial reaction processes have been elucidated and discussed.The corresponding mechanisms for revealing dynamic behaviors have been explained.In addition,numerical simulation and modeling methods have been illustrated for the description of the irradiation field.Experimental measurements and spatiotemporal characterizations have been clarified for the reflection of carrier behavior and probing detection of interfacial reactions.The representative applications have been introduced according to the reported advanced research works,and the relationships between mechanistic conclusions from variable spatiotemporal measurements and photocatalytic performance results in the specific photocatalytic reactions have been concluded.This review provides a collective perspective for the full understanding and thorough evaluation of the primary dynamic processes,which would be inspired for the improvement in designing solar-driven energy-conversion systems based on nanoscale particulate photocatalysts.展开更多
By determining the state variables of a fuze safety system,some mathematical models——the system of ordinary differential and functional differential equations about the system's arming process are founded in a s...By determining the state variables of a fuze safety system,some mathematical models——the system of ordinary differential and functional differential equations about the system's arming process are founded in a state space.Also,the arming states and restricted relations of the safety factors are described and some demonstrations are presented.展开更多
In this paper,we discuss the interfacial internal waves with a rigid boundary in a three-layer fluid system,where the density of the upper layer fluid is smaller than that of the lower layer.With the Lagrangian matchi...In this paper,we discuss the interfacial internal waves with a rigid boundary in a three-layer fluid system,where the density of the upper layer fluid is smaller than that of the lower layer.With the Lagrangian matching conditions at the interfaces,the first-order solutions,the second-order solutions and the third-order asymptotic solutions for the interfacial internal waves are obtained in the Lagrangian description using the perturbation method,and the mass transport velocity,the wave frequency,the mean level and the particle trajectory are also given.The results show that the discontinuities across the interfaces appear for the mass transport velocity,wave frequency and mean level,but we find that these discontinuities may disappear if the water depth ratio and the density ratio of the three layer fluids satisfy certain conditions.展开更多
How to organize crossing social network resources on a higher level of integration and address them to users＇ desktops is an important difficult problem. Especially, there is a lack of efficient approaches to softwar...How to organize crossing social network resources on a higher level of integration and address them to users＇ desktops is an important difficult problem. Especially, there is a lack of efficient approaches to software architecture to build reusable system over the crossing social network, From the viewpoint of temporal logic XYZ/E, this paper proposes a kind of Architecture Descrip- tion Language about the Crossing Social Network system （CSN_ADL）, which can be used to depict the main key processes over the cross-social network system, and formally defines some key concepts, such as relation component, corelation component, override corelation connector, interaction connector, corelation network-oriented architecture, as well as system correctness, system activity, and system safety. Furthermore, some properties of correctness, activity, and safety under the flame CSN_ADL is discussed and depicted formally, which provides a formally theo- retical instruction for architecture reuses.展开更多
A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.（ Hardware Description Language ）, and the validity of the system has been proved by logi...A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.（ Hardware Description Language ）, and the validity of the system has been proved by logic simulation. It has advantage for real-time applications and overheadsaving for operating .system, so it is profitable for the controller in the embedded system. The relationship among RTOS （Real-Time Operating System）, SoC（System on Chip）, VIA （Virtual Interface Architecture） and hardware logic task is also discussed in the paper.展开更多
A thermodynamic description of the Ni-Co-Gd system is developed by means of the computer programs THERMO CALC, using models for the Gibbs energy of individual phases. Previous assessments of the three binary systems ...A thermodynamic description of the Ni-Co-Gd system is developed by means of the computer programs THERMO CALC, using models for the Gibbs energy of individual phases. Previous assessments of the three binary systems were incorporated. The system contains ten different compounds and they are all treated as line compounds. Good agreement is obtained between the calculation and experimental results in the ternary system.展开更多
Within the framework of nuclear molecular orbital model,the semi-micro-scopic description of the gross resonant structure of <sup>16</sup>O+<sup>16</sup>O system is given.The pre-sent result is...Within the framework of nuclear molecular orbital model,the semi-micro-scopic description of the gross resonant structure of <sup>16</sup>O+<sup>16</sup>O system is given.The pre-sent result is comparable to other theoretical results which are in agreement with the ex-isting experimental data.展开更多
In order to improve the quality of the judgment documents, the state and government have introduced laws and regulations. However, the current status of trials in our country is that the number of cases is very large....In order to improve the quality of the judgment documents, the state and government have introduced laws and regulations. However, the current status of trials in our country is that the number of cases is very large. Using system to verify the documents can reduce the burden on the judges and ensure the accuracy of the judgment. This paper describes an evaluation system for reasoning description of judgment documents. The main evaluation steps include: segmenting the front and back of the law;extracting the key information in the document by using XML parsing technology;constructing the legal exclusive stop word library and preprocessing inputting text;entering the text input into the model to get the text matching result;using the “match keyword, compare sentencing degree” idea to judge whether the logic is consistent if it is the evaluation of “law and conclusion”;integrating the calculation results of each evaluation subject and feeding clear and concise results back to the system user. Simulation of real application scenarios was conducted to test whether the reasoning lacks key links or is insufficient or the judgment result is unreasonable. The result show that evaluation speed of each document is relatively fast and the accuracy of the evaluation of the common nine criminal cases is high.展开更多
The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once compri...The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once comprised only one genus,Oxyporus Fabricius,1775,then a new genus was separated from the nominated genus (Nakane&Sawade,1956),namely Pseudoxyporus.Although the taxonomic validity of Pseudoxyporus was controversial and was treated as a subgenus of Oxyporus (Campbell,1969;Hanley&Goodrich,1995;Herman,2001;Zheng&Song,2010;Tokareva et al.,2021),rencent catalogues and online checklist usually treated it as a valid genus (Shibata,1997;Ito,1999;Schülke&Smetana,2015;Kim et al.,2016;Newton,2022).Based on the structural differences in parameres of aedeagus,and the more cylindrical antennomeres,here we followed the 2-genera-system.展开更多
In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasib...In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasible owing to limited resources.In this paper,a physical layer authentication scheme is pro-posed to detect whether there is anomalous access by the attackers disguised as legitimate users.Explicitly,channel state information(CSI)is used as a form of fingerprint to exploit spatial discrimination among de-vices in the wireless network and machine learning(ML)technology is employed to promote the improve-ment of authentication accuracy.Considering that the falsified messages are not accessible for authenticator during the training phase,deep support vector data de-scription(Deep SVDD)is selected to solve the one-class classification(OCC)problem.Simulation results show that Deep SVDD based scheme can tackle the challenges of physical layer authentication in wireless communication environments.展开更多
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi...To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising...In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising data based on a semantic description in coal mines is studied.First,the semantic and numerical-based hybrid description method of security supervising data in coal mines is described.Secondly,the similarity measurement method of semantic and numerical data are separately given and a weight-based hybrid similarity measurement method for the security supervising data based on a semantic description in coal mines is presented.Thirdly,taking the hybrid similarity measurement method as the distance criteria and using a grid methodology for reference,an improved CURE clustering algorithm based on the grid is presented.Finally,the simulation results of a security supervising data set in coal mines validate the efficiency of the algorithm.展开更多
The last-stage larval external morphologies of Pleuroptya rulalis （Scopoli）, Pleuroptya harutai （Inoue） and Botyodes diniasalis （Walker） of Pyraustinae are described and illustrated. All specimens are deposited ...The last-stage larval external morphologies of Pleuroptya rulalis （Scopoli）, Pleuroptya harutai （Inoue） and Botyodes diniasalis （Walker） of Pyraustinae are described and illustrated. All specimens are deposited in the Insect Collection of Department of Forest Resources Protection, Kangwon National University, Korea.展开更多
To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is present...To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ...To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.展开更多
The investigation result of grassland predators Carabidae in southwest of Guizhou was reported. Taxonomic status, morphological characteristics of 5 genera and 13 species of insect predators were described, their livi...The investigation result of grassland predators Carabidae in southwest of Guizhou was reported. Taxonomic status, morphological characteristics of 5 genera and 13 species of insect predators were described, their living habits and incidence were outlined.展开更多
文摘The basic way and method to apply the equipment s CAD data to a geometry description system(GDS) are presented,and its interface to GDS is set up.The basic function,flow and implementation technique of the interface are analyzed.Special computer software is programmed,and an application example is given also.The research results indicate that this interface can assist to derive desired data from the CAD data,and provide powerful technical support for the development of a practical data transferring interface.
基金supported by the Project of National Natural Science Foundation of China(22102095,21773153)the National Key Basic Research and Development Program(2018YFB1502001)financial support from the program of China Scholarships Council(No.202306230242).
文摘Particulate photocatalytic systems using nanoscale photocatalysts have been developed as an attractive promising route for solar energy utilization to achieve resource sustainability and environmental harmony.Dynamic obstacles are considered as the dominant inhibition for attaining satisfactory energy-conversion efficiency.The complexity in light absorption and carrier transfer behaviors has remained to be further clearly illuminated.It is challenging to trace the fast evolution of charge carriers involved in transfer migration and interfacial reactions within a micro–nano-single-particle photocatalyst,which requires spatiotemporal high resolution.In this review,comprehensive dynamic descriptions including irradiation field,carrier separation and transfer,and interfacial reaction processes have been elucidated and discussed.The corresponding mechanisms for revealing dynamic behaviors have been explained.In addition,numerical simulation and modeling methods have been illustrated for the description of the irradiation field.Experimental measurements and spatiotemporal characterizations have been clarified for the reflection of carrier behavior and probing detection of interfacial reactions.The representative applications have been introduced according to the reported advanced research works,and the relationships between mechanistic conclusions from variable spatiotemporal measurements and photocatalytic performance results in the specific photocatalytic reactions have been concluded.This review provides a collective perspective for the full understanding and thorough evaluation of the primary dynamic processes,which would be inspired for the improvement in designing solar-driven energy-conversion systems based on nanoscale particulate photocatalysts.
文摘By determining the state variables of a fuze safety system,some mathematical models——the system of ordinary differential and functional differential equations about the system's arming process are founded in a state space.Also,the arming states and restricted relations of the safety factors are described and some demonstrations are presented.
基金The Science Research Project of Inner Mongolia University of Technology under contract No.ZD201613
文摘In this paper,we discuss the interfacial internal waves with a rigid boundary in a three-layer fluid system,where the density of the upper layer fluid is smaller than that of the lower layer.With the Lagrangian matching conditions at the interfaces,the first-order solutions,the second-order solutions and the third-order asymptotic solutions for the interfacial internal waves are obtained in the Lagrangian description using the perturbation method,and the mass transport velocity,the wave frequency,the mean level and the particle trajectory are also given.The results show that the discontinuities across the interfaces appear for the mass transport velocity,wave frequency and mean level,but we find that these discontinuities may disappear if the water depth ratio and the density ratio of the three layer fluids satisfy certain conditions.
基金Supported by the Fujian Province Science Research Foundation Grant (2009J01272)the Research Fund (type A) (JA09038) from the Education Department of Fujian Provincethe Humanities and Social Science Research Projects of the Ministry of Education (11YJA860028)
文摘How to organize crossing social network resources on a higher level of integration and address them to users＇ desktops is an important difficult problem. Especially, there is a lack of efficient approaches to software architecture to build reusable system over the crossing social network, From the viewpoint of temporal logic XYZ/E, this paper proposes a kind of Architecture Descrip- tion Language about the Crossing Social Network system （CSN_ADL）, which can be used to depict the main key processes over the cross-social network system, and formally defines some key concepts, such as relation component, corelation component, override corelation connector, interaction connector, corelation network-oriented architecture, as well as system correctness, system activity, and system safety. Furthermore, some properties of correctness, activity, and safety under the flame CSN_ADL is discussed and depicted formally, which provides a formally theo- retical instruction for architecture reuses.
基金Supported bythe National Basic Research Programof China (973 Program2004CB318201) the National Natural Sci-ence Foundation of China (60273074)
文摘A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.（ Hardware Description Language ）, and the validity of the system has been proved by logic simulation. It has advantage for real-time applications and overheadsaving for operating .system, so it is profitable for the controller in the embedded system. The relationship among RTOS （Real-Time Operating System）, SoC（System on Chip）, VIA （Virtual Interface Architecture） and hardware logic task is also discussed in the paper.
文摘A thermodynamic description of the Ni-Co-Gd system is developed by means of the computer programs THERMO CALC, using models for the Gibbs energy of individual phases. Previous assessments of the three binary systems were incorporated. The system contains ten different compounds and they are all treated as line compounds. Good agreement is obtained between the calculation and experimental results in the ternary system.
基金The project supported by National Natural Science Foundation of China.
文摘Within the framework of nuclear molecular orbital model,the semi-micro-scopic description of the gross resonant structure of <sup>16</sup>O+<sup>16</sup>O system is given.The pre-sent result is comparable to other theoretical results which are in agreement with the ex-isting experimental data.
文摘In order to improve the quality of the judgment documents, the state and government have introduced laws and regulations. However, the current status of trials in our country is that the number of cases is very large. Using system to verify the documents can reduce the burden on the judges and ensure the accuracy of the judgment. This paper describes an evaluation system for reasoning description of judgment documents. The main evaluation steps include: segmenting the front and back of the law;extracting the key information in the document by using XML parsing technology;constructing the legal exclusive stop word library and preprocessing inputting text;entering the text input into the model to get the text matching result;using the “match keyword, compare sentencing degree” idea to judge whether the logic is consistent if it is the evaluation of “law and conclusion”;integrating the calculation results of each evaluation subject and feeding clear and concise results back to the system user. Simulation of real application scenarios was conducted to test whether the reasoning lacks key links or is insufficient or the judgment result is unreasonable. The result show that evaluation speed of each document is relatively fast and the accuracy of the evaluation of the common nine criminal cases is high.
基金supported by China West Normal University (17YC352)。
文摘The subfamily Oxyporinae is easily distinguished from the other subfamilies of the family Staphylinidae by its large,colourful body,elongate mandibles and large crescent-shaped terminal labial palpi.It was once comprised only one genus,Oxyporus Fabricius,1775,then a new genus was separated from the nominated genus (Nakane&Sawade,1956),namely Pseudoxyporus.Although the taxonomic validity of Pseudoxyporus was controversial and was treated as a subgenus of Oxyporus (Campbell,1969;Hanley&Goodrich,1995;Herman,2001;Zheng&Song,2010;Tokareva et al.,2021),rencent catalogues and online checklist usually treated it as a valid genus (Shibata,1997;Ito,1999;Schülke&Smetana,2015;Kim et al.,2016;Newton,2022).Based on the structural differences in parameres of aedeagus,and the more cylindrical antennomeres,here we followed the 2-genera-system.
基金partially supported by the National Key Research and Development Project under Grant2020YFB1806805Social Development Projects of Jiangsu Science and Technology Department under Grant No.BE2018704
文摘In wireless communication,the problem of authenticating the transmitter’s identity is challeng-ing,especially for those terminal devices in which the security schemes based on cryptography are approxi-mately unfeasible owing to limited resources.In this paper,a physical layer authentication scheme is pro-posed to detect whether there is anomalous access by the attackers disguised as legitimate users.Explicitly,channel state information(CSI)is used as a form of fingerprint to exploit spatial discrimination among de-vices in the wireless network and machine learning(ML)technology is employed to promote the improve-ment of authentication accuracy.Considering that the falsified messages are not accessible for authenticator during the training phase,deep support vector data de-scription(Deep SVDD)is selected to solve the one-class classification(OCC)problem.Simulation results show that Deep SVDD based scheme can tackle the challenges of physical layer authentication in wireless communication environments.
基金The National Natural Science Foundation of China(No.60373066,60425206,90412003),the National Basic Research Pro-gram of China (973Program)(No.2002CB312000),the Innovation Plan for Jiangsu High School Graduate Student, the High TechnologyResearch Project of Jiangsu Province (No.BG2005032), and the Weap-onry Equipment Foundation of PLA Equipment Ministry ( No.51406020105JB8103).
文摘To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金The National Natural Science Foundation of China(No.50674086)Specialized Research Fund for the Doctoral Program of Higher Education(No.20060290508)the Postdoctoral Scientific Program of Jiangsu Province(No.0701045B)
文摘In order to mine production and security information from security supervising data and to ensure security and safety involved in production and decision-making,a clustering analysis algorithm for security supervising data based on a semantic description in coal mines is studied.First,the semantic and numerical-based hybrid description method of security supervising data in coal mines is described.Secondly,the similarity measurement method of semantic and numerical data are separately given and a weight-based hybrid similarity measurement method for the security supervising data based on a semantic description in coal mines is presented.Thirdly,taking the hybrid similarity measurement method as the distance criteria and using a grid methodology for reference,an improved CURE clustering algorithm based on the grid is presented.Finally,the simulation results of a security supervising data set in coal mines validate the efficiency of the algorithm.
文摘The last-stage larval external morphologies of Pleuroptya rulalis （Scopoli）, Pleuroptya harutai （Inoue） and Botyodes diniasalis （Walker） of Pyraustinae are described and illustrated. All specimens are deposited in the Insect Collection of Department of Forest Resources Protection, Kangwon National University, Korea.
基金Program for New Century Excellent Talents in Uni-versity (NoNCET-05-0288)
文摘To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented. The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined. The forms of axioms and assertions in the vague ALC knowledge bases are specified. Finally, the tableau algorithm is developed for the reasoning in the vague ALC. The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership. The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them. Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金The National Natural Science Foundation of China(No60403016)the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.
基金supported by the Fund of the National Natural Science Foundation of China (30570196)the International Cooperation Project of Hubei Provincial Department of Education (G200612001)
文摘The female of Sinodorcadion punctulatum is reported for the first time, and the photographs of adult are presented.
基金Supported by Science and Technology Department of Guizhou Province(LKS[2009]No.2085)GSW Technology Project(Agriculture2009-20)~~
文摘The investigation result of grassland predators Carabidae in southwest of Guizhou was reported. Taxonomic status, morphological characteristics of 5 genera and 13 species of insect predators were described, their living habits and incidence were outlined.
