Pentatomomorpha is one of the most biodiverse infraorders among the true bugs（Hemiptera： Heteroptera）. Phylogenetic relationships among the superfamilies within this infraorder have been uncertain, especially for t...Pentatomomorpha is one of the most biodiverse infraorders among the true bugs（Hemiptera： Heteroptera）. Phylogenetic relationships among the superfamilies within this infraorder have been uncertain, especially for the Eutrichophora. The previous studies were based on morphological characters, or just mitochondrial or nuclear genes, or only partial 18 S rDNA and COI. In this study, we used maximum likelihood（ML） and Bayesian inference（BI） based on massive molecular datasets（18S rDNA, 28 S rDNA, Hox and mitochondrial genes totaling 21 loci and 12,538 characters） to infer a robust phylogeny for this terrestrial group. Results strongly support the monophyly of all superfamilies; the superfamily status of Aradoidea and the following relationships：（Aradoidea ＋（Pentatomoidea ＋（Coreoidea ＋（Lygaeoidea ＋ Pyrrhocoroidea）））） in Pentatomomorpha, and（Coreoidea ＋（Lygaeoidea ＋ Pyrrhocoroidea）） in Eutrichophora. Our results suggest that sampling greater numbers of genes is an effective tool for resolving phylogenetic problems.展开更多
UWB signal digitization depends, to a large extent, on the accuracy of sampling time. A highaccuracy programmable timer is therefore the key to implementing UWB signal data acquisition. A high-accuracy programmable ti...UWB signal digitization depends, to a large extent, on the accuracy of sampling time. A highaccuracy programmable timer is therefore the key to implementing UWB signal data acquisition. A high-accuracy programmable timer based on the principle of ramp generators is described in this paper. The counting range of the timer is up to 16 bits, the timing precision is 8 ps, and the equivalent sampling rate is up to 50G Hz. No other identical product has been reported so far. This timer was successfully used in the data acquisition system for geological radar signals developed by us.展开更多
Data acquisition, analysis and calibrating system affiliated with the vehicle is developed for the research on the automatic shift system (ASS). Considering the vehicle’s hard environment such as vibration, high and ...Data acquisition, analysis and calibrating system affiliated with the vehicle is developed for the research on the automatic shift system (ASS). Considering the vehicle’s hard environment such as vibration, high and low temperature, electromagnetic disturbance and so on, the most suitable project is selected. PC104 transfers data with ECU by serial communication and a solid state disk is used as a FLASH ROM. Some techniques including frequency division of data is adopted in the software design in order to ensure the sampling frequency. The analysis and debug software is also contrived according to the characteristic of the ASS. The system plays an important role in the development of the ASS because of the good reliability and practicability in the application.展开更多
Based on MATRIXx, a universal real-time visual distributed simulation system is developed. The system can receive different input data from network or local terminal. Application models in the simulation modules can a...Based on MATRIXx, a universal real-time visual distributed simulation system is developed. The system can receive different input data from network or local terminal. Application models in the simulation modules can automatically get such data to be analyzed and calculated, and then produce real-time simulation control information. Meanwhile, this paper designs relevant simulation components to implement the input and output data, which can guarantee the real-time and universal of the data transmission. Result of the experimental system shows that the real-time performance of the simulation is perfect.展开更多
To improve question answering （QA） performance based on real-world web data sets,a new set of question classes and a general answer re-ranking model are defined.With pre-defined dictionary and grammatical analysis,t...To improve question answering （QA） performance based on real-world web data sets,a new set of question classes and a general answer re-ranking model are defined.With pre-defined dictionary and grammatical analysis,the question classifier draws both semantic and grammatical information into information retrieval and machine learning methods in the form of various training features,including the question word,the main verb of the question,the dependency structure,the position of the main auxiliary verb,the main noun of the question,the top hypernym of the main noun,etc.Then the QA query results are re-ranked by question class information.Experiments show that the questions in real-world web data sets can be accurately classified by the classifier,and the QA results after re-ranking can be obviously improved.It is proved that with both semantic and grammatical information,applications such as QA, built upon real-world web data sets, can be improved,thus showing better performance.展开更多
This paper discusses the progress of computer integrated processing （CIPS） of coal-preparation and then preserits an intelligence controlled production-process, device-maintenance and production-management system of...This paper discusses the progress of computer integrated processing （CIPS） of coal-preparation and then preserits an intelligence controlled production-process, device-maintenance and production-management system of coal- preparation based on multi-agents （IICMMS-CP）. The construction of the IICMMS-CP, the distributed network control system based on live intelligence control stations and the strategy of implementing distributed intelligence control system are studied in order to overcome the disadvantages brought about by the wide use of the PLC system by coaipreparation plants. The software frame, based on a Multi-Agent Intelligence Control and Maintenance Management integrated system, is studied and the implemention methods of IICMMS-CP are discussed. The characteristics of distributed architecture, cooperation and parallel computing meet the needs of integrated control of coal-preparation plants with large-scale spatial production distribution, densely-related processes and complex systems. Its application further improves the reliability and precision of process control, accuracy of fault identification and intelligence of production adjustment, establishes a technical basis for system integration and flexible production. The main function of the system has been tested in a coal-preparation plant to good effect in stabilizing product quality, improving efficiency and reducing consumption.展开更多
By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain sy...By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.展开更多
基金supported by the National Natural Science Foundation of China (31372240, 31501840, 31440078)the Postdoctoral Science Foundation of China (134845)the Taiyuan Normal University Training Program of Innovation and Entrepreneurship for Undergraduates (CXCY1610)
文摘Pentatomomorpha is one of the most biodiverse infraorders among the true bugs（Hemiptera： Heteroptera）. Phylogenetic relationships among the superfamilies within this infraorder have been uncertain, especially for the Eutrichophora. The previous studies were based on morphological characters, or just mitochondrial or nuclear genes, or only partial 18 S rDNA and COI. In this study, we used maximum likelihood（ML） and Bayesian inference（BI） based on massive molecular datasets（18S rDNA, 28 S rDNA, Hox and mitochondrial genes totaling 21 loci and 12,538 characters） to infer a robust phylogeny for this terrestrial group. Results strongly support the monophyly of all superfamilies; the superfamily status of Aradoidea and the following relationships：（Aradoidea ＋（Pentatomoidea ＋（Coreoidea ＋（Lygaeoidea ＋ Pyrrhocoroidea）））） in Pentatomomorpha, and（Coreoidea ＋（Lygaeoidea ＋ Pyrrhocoroidea）） in Eutrichophora. Our results suggest that sampling greater numbers of genes is an effective tool for resolving phylogenetic problems.
基金This research is sponsored by National Natural Science Foundation of China,Special Fund of Scientific Instruments:The studyand development of flameproof ground penetrating radar (50127402).
文摘UWB signal digitization depends, to a large extent, on the accuracy of sampling time. A highaccuracy programmable timer is therefore the key to implementing UWB signal data acquisition. A high-accuracy programmable timer based on the principle of ramp generators is described in this paper. The counting range of the timer is up to 16 bits, the timing precision is 8 ps, and the equivalent sampling rate is up to 50G Hz. No other identical product has been reported so far. This timer was successfully used in the data acquisition system for geological radar signals developed by us.
文摘Data acquisition, analysis and calibrating system affiliated with the vehicle is developed for the research on the automatic shift system (ASS). Considering the vehicle’s hard environment such as vibration, high and low temperature, electromagnetic disturbance and so on, the most suitable project is selected. PC104 transfers data with ECU by serial communication and a solid state disk is used as a FLASH ROM. Some techniques including frequency division of data is adopted in the software design in order to ensure the sampling frequency. The analysis and debug software is also contrived according to the characteristic of the ASS. The system plays an important role in the development of the ASS because of the good reliability and practicability in the application.
文摘Based on MATRIXx, a universal real-time visual distributed simulation system is developed. The system can receive different input data from network or local terminal. Application models in the simulation modules can automatically get such data to be analyzed and calculated, and then produce real-time simulation control information. Meanwhile, this paper designs relevant simulation components to implement the input and output data, which can guarantee the real-time and universal of the data transmission. Result of the experimental system shows that the real-time performance of the simulation is perfect.
基金Microsoft Research Asia Internet Services in Academic Research Fund(No.FY07-RES-OPP-116)the Science and Technology Development Program of Tianjin(No.06YFGZGX05900)
文摘To improve question answering （QA） performance based on real-world web data sets,a new set of question classes and a general answer re-ranking model are defined.With pre-defined dictionary and grammatical analysis,the question classifier draws both semantic and grammatical information into information retrieval and machine learning methods in the form of various training features,including the question word,the main verb of the question,the dependency structure,the position of the main auxiliary verb,the main noun of the question,the top hypernym of the main noun,etc.Then the QA query results are re-ranked by question class information.Experiments show that the questions in real-world web data sets can be accurately classified by the classifier,and the QA results after re-ranking can be obviously improved.It is proved that with both semantic and grammatical information,applications such as QA, built upon real-world web data sets, can be improved,thus showing better performance.
文摘This paper discusses the progress of computer integrated processing （CIPS） of coal-preparation and then preserits an intelligence controlled production-process, device-maintenance and production-management system of coal- preparation based on multi-agents （IICMMS-CP）. The construction of the IICMMS-CP, the distributed network control system based on live intelligence control stations and the strategy of implementing distributed intelligence control system are studied in order to overcome the disadvantages brought about by the wide use of the PLC system by coaipreparation plants. The software frame, based on a Multi-Agent Intelligence Control and Maintenance Management integrated system, is studied and the implemention methods of IICMMS-CP are discussed. The characteristics of distributed architecture, cooperation and parallel computing meet the needs of integrated control of coal-preparation plants with large-scale spatial production distribution, densely-related processes and complex systems. Its application further improves the reliability and precision of process control, accuracy of fault identification and intelligence of production adjustment, establishes a technical basis for system integration and flexible production. The main function of the system has been tested in a coal-preparation plant to good effect in stabilizing product quality, improving efficiency and reducing consumption.
文摘By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.
