Researchers utilize information from the geoscience literature to deduce the regional or global geological evolution.Traditionally this process has relied on the labor of researchers.As the number of papers continues ...Researchers utilize information from the geoscience literature to deduce the regional or global geological evolution.Traditionally this process has relied on the labor of researchers.As the number of papers continues to increase,acquiring domain-specific knowledge becomes a heavy burden.Knowledge Graph(KG)is proposed as a new knowledge representation technology to change this situation.However,the super relation is not considered in the previous KG,which bridges the geological phenomenon(fact)and its precondition(condition).For instance,in the statement(“the late Archean was a crucial transition period in the history of global geodynamics”),the condition statement(“crucial transition for global geodynamics”)works as the complementary fact statement(“the late Archean was a crucial transition period”),which defines the scale of crucial transition accurately in the late Archean.In this study,fact-condition statement extraction is introduced to construct a geological knowledge graph.A rule-based multi-input multi-output model(R-MIMO)is proposed for information extraction.In the R-MIMO,fact-condition statements and their super relation are considered and extracted for the first time.To verify its performances,a GeothCF dataset with 1455 fact tuples and 789 condition tuples is constructed.In experiments,the R-MIMO model achieves the best performance by using BERT as encoder and LSTM-d as decoder,achieving F180.24%in tuple extraction and F170.03%in tag prediction task.Furthermore,the geothermic KG with super relation is automatically constructed for the first time by trained R-MIMO,which can provide structured data for further geothermic research.展开更多
This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control...This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control flow, generating control flow graph of nondeterministic programs, investigating the applicability of sequential testing criteria to parallel program testing etc. For solving these issues, some existing techniques are discussed in this study. Various researchers use an intermediate graph called Event Inter Actions Graph (EIAG) to solve the problem of generating the control flow graph of nondeterministic programs. Some researches propose an intermediate graph called Interaction Sequence Testing Criteria (ISTC) approach based on sequence of interactions to solve the problem of test coverage criteria based on control and data flow. Another method to solve the problem of generating test coverage based on control flow graph of nondeterministic programs is constraint based approach. It needs constrained elements to generate test case which includes structural element and constraint. The selection of good test cases has been addressed by test data generation technique. The technique of concurrent path analysis approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It reduces the number of combined concurrent test paths. The sequential test paths are combined to form concurrent test path. The Integration and System Test Automation (ISTA) approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It is used for automated test case generation and execution by using high-level Petri net is a finite state test model.展开更多
基金supported in part by the National Natural Science Foundation of China(NSFC)(No.61972365,42071382)in part by the CCF-NSFOCUS Kun-Peng Scientific Research Fund(CCFNSFOCUS 2021002)+1 种基金in part by the Natural Science Foundation of Hubei Province,China(No.2020CFB752)in part by the Open Research Project of the Hubei Key Laboratory of Intelligent GeoInformation Processing(No.KLIGIP-2021B01,KLIGIP-2018B02).
文摘Researchers utilize information from the geoscience literature to deduce the regional or global geological evolution.Traditionally this process has relied on the labor of researchers.As the number of papers continues to increase,acquiring domain-specific knowledge becomes a heavy burden.Knowledge Graph(KG)is proposed as a new knowledge representation technology to change this situation.However,the super relation is not considered in the previous KG,which bridges the geological phenomenon(fact)and its precondition(condition).For instance,in the statement(“the late Archean was a crucial transition period in the history of global geodynamics”),the condition statement(“crucial transition for global geodynamics”)works as the complementary fact statement(“the late Archean was a crucial transition period”),which defines the scale of crucial transition accurately in the late Archean.In this study,fact-condition statement extraction is introduced to construct a geological knowledge graph.A rule-based multi-input multi-output model(R-MIMO)is proposed for information extraction.In the R-MIMO,fact-condition statements and their super relation are considered and extracted for the first time.To verify its performances,a GeothCF dataset with 1455 fact tuples and 789 condition tuples is constructed.In experiments,the R-MIMO model achieves the best performance by using BERT as encoder and LSTM-d as decoder,achieving F180.24%in tuple extraction and F170.03%in tag prediction task.Furthermore,the geothermic KG with super relation is automatically constructed for the first time by trained R-MIMO,which can provide structured data for further geothermic research.
文摘This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control flow, generating control flow graph of nondeterministic programs, investigating the applicability of sequential testing criteria to parallel program testing etc. For solving these issues, some existing techniques are discussed in this study. Various researchers use an intermediate graph called Event Inter Actions Graph (EIAG) to solve the problem of generating the control flow graph of nondeterministic programs. Some researches propose an intermediate graph called Interaction Sequence Testing Criteria (ISTC) approach based on sequence of interactions to solve the problem of test coverage criteria based on control and data flow. Another method to solve the problem of generating test coverage based on control flow graph of nondeterministic programs is constraint based approach. It needs constrained elements to generate test case which includes structural element and constraint. The selection of good test cases has been addressed by test data generation technique. The technique of concurrent path analysis approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It reduces the number of combined concurrent test paths. The sequential test paths are combined to form concurrent test path. The Integration and System Test Automation (ISTA) approach is used to solve the problem of applicability of sequential testing criteria to parallel program testing. It is used for automated test case generation and execution by using high-level Petri net is a finite state test model.
