With the approval of General Administration of Press and Publication of People＇s Republic of China, CHINESE JOURNAL OF POLAR SCIENCE is to be renamed ADVANCES IN POLAR SCIENCE.
Over the past decade, the Journal of Natural Gas Chemistry has become more and more international and has received large numbers of manuscripts concerning energy chemistry from all over the word. In deed, nowadays ene...Over the past decade, the Journal of Natural Gas Chemistry has become more and more international and has received large numbers of manuscripts concerning energy chemistry from all over the word. In deed, nowadays energy chemistry is becoming one of the hot topics, and many excellent research papers in the field of energy chemistry are emerging in different scientific iournals.展开更多
Over the past decade, the Journal of Natural Gas Chemistry has become more and more international and has received large numbers of manuscripts concerning energy chemistry from all over the word. In deed, nowadays ene...Over the past decade, the Journal of Natural Gas Chemistry has become more and more international and has received large numbers of manuscripts concerning energy chemistry from all over the word. In deed, nowadays energy chemistry is becoming one of the hot topics, and many excellent research papers in the field of energy chemistry are emerging in different scientific journals. To extensively report the most important and latest developments in energy chemistry, we are going to rename the Journal of Natural Gas Chemistry as the Journal of Energy Chemistry starting from January 2013. The main contents of the Journal of Energy Chemistry will include new developments in fields of optimized chemical utilization of both conventional and unconventional fossil energies; research and utilization of hydrogen energy; conversion and storage of electrochemical energy; capturing, storage and chemical utilization of CO2; new materials and nanotechnologies related to energy utilization; chemical conversion of biomasses; and chemical approaches related to photo-catalysis, and so on.展开更多
Non-alcoholic fatty liver disease(NAFLD)has become the world’s largest chronic liver disease in the 21st century,affecting 20%-30%of the world’s population.As the epidemiology,etiology,and pathogenesis of NAFLD have...Non-alcoholic fatty liver disease(NAFLD)has become the world’s largest chronic liver disease in the 21st century,affecting 20%-30%of the world’s population.As the epidemiology,etiology,and pathogenesis of NAFLD have been studied in-depth,it has been gradually recognized that most patients with NAFLD have one or more combined metabolic abnormalities known as metabolic syndrome.In 2020,the international expert group changed the name of NAFLD to metabolic-associated fatty liver disease(MAFLD)and proposed new diagnostic criteria for MAFLD and MAFLD-related liver cirrhosis,as well as the conceptual framework of other cause-related fatty liver diseases to avoid diagnosis based on the exclusion of other causes and better reflect its pathogenesis.However,there are still many ambiguities in the term,and changing the name does not address the unmet key needs in the field.The change from NAFLD to MAFLD was not just a change of definition.The problems and challenges are summarized as follows:epidemiology,children,rationality of"metabolism,"diagnostic criteria,double/multiple causes,drug discovery,clinical trials,and awareness raising.Metabolic-associated fatty liver disease has complex disease characteristics,and there are still some problems that need to be solved.展开更多
A simple abstract model of Eiffel is introduced, and its denotational seman-tics is defined using VDM style. A static analysis approach is presented to treatmultiple inheritance and renaming mechanism. Within the fram...A simple abstract model of Eiffel is introduced, and its denotational seman-tics is defined using VDM style. A static analysis approach is presented to treatmultiple inheritance and renaming mechanism. Within the framework of deno-tational semantics iatroduced in this paper, the key features of Eiffel, such asidentification, classification, multiple inheritance, polymorphism and dynamicbinding, can be adequately characterized.展开更多
Methods in programs must be accurately named to facilitate source code analysis and comprehension.With the evolution of software,method names may be inconsistent with their implemented method bodies,leading to inaccur...Methods in programs must be accurately named to facilitate source code analysis and comprehension.With the evolution of software,method names may be inconsistent with their implemented method bodies,leading to inaccurate or buggy method names.Debugging method names remains an important topic in the literature.Although researchers have proposed several approaches to suggest accurate method names once the method bodies have been modified,two main drawbacks remain to be solved:there is no analysis of method name structure,and the programming context information is not captured efficiently.To resolve these drawbacks and suggest more accurate method names,we propose a novel automated approach based on the analysis of the method name structure and lexical analysis with the programming context information.Our approach first leverages deep feature representation to embed method names and method bodies in vectors.Then,it obtains useful verb-tokens from a large method corpus through structural analysis and noun-tokens from method bodies through lexical analysis.Finally,our approach dynamically combines these tokens to form and recommend high-quality and project-specific method names.Experimental results over 2111 Java testing methods show that the proposed approach can achieve a Hit Ratio,or Hit@5,of 33.62%and outperform the state-of-the-art approach by 14.12%in suggesting accurate method names.We also demonstrate the effectiveness of structural and lexical analyses in our approach.展开更多
Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a ...Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a set of clauses less 'non-Horn' using predicate renaming, the performance of these case-analysis based procedures can be improved significantly. In addition, the paper also investigated the problem of efficiently constructing a predicate renaming that reduces the degree of 'non-Hornness' of a clause set maximally. It is shown that this problem of finding a predicate renaming to achieve minimal 'non-Hornness' is NP-complete.展开更多
文摘With the approval of General Administration of Press and Publication of People＇s Republic of China, CHINESE JOURNAL OF POLAR SCIENCE is to be renamed ADVANCES IN POLAR SCIENCE.
文摘Over the past decade, the Journal of Natural Gas Chemistry has become more and more international and has received large numbers of manuscripts concerning energy chemistry from all over the word. In deed, nowadays energy chemistry is becoming one of the hot topics, and many excellent research papers in the field of energy chemistry are emerging in different scientific iournals.
文摘Over the past decade, the Journal of Natural Gas Chemistry has become more and more international and has received large numbers of manuscripts concerning energy chemistry from all over the word. In deed, nowadays energy chemistry is becoming one of the hot topics, and many excellent research papers in the field of energy chemistry are emerging in different scientific journals. To extensively report the most important and latest developments in energy chemistry, we are going to rename the Journal of Natural Gas Chemistry as the Journal of Energy Chemistry starting from January 2013. The main contents of the Journal of Energy Chemistry will include new developments in fields of optimized chemical utilization of both conventional and unconventional fossil energies; research and utilization of hydrogen energy; conversion and storage of electrochemical energy; capturing, storage and chemical utilization of CO2; new materials and nanotechnologies related to energy utilization; chemical conversion of biomasses; and chemical approaches related to photo-catalysis, and so on.
基金Tianjin Key Medical Discipline(Specialty)Construction Project(TJYXZDXK-059B)Tianjin Health Science and Technology Project key discipline special(TJWJ2022XK034)Research Project of Chinese Traditional Medicine and Chinese Traditional Medicine Combined with Western Medicine of Tianjin Municipal Health and Family Planning Commission(2021022)。
文摘Non-alcoholic fatty liver disease(NAFLD)has become the world’s largest chronic liver disease in the 21st century,affecting 20%-30%of the world’s population.As the epidemiology,etiology,and pathogenesis of NAFLD have been studied in-depth,it has been gradually recognized that most patients with NAFLD have one or more combined metabolic abnormalities known as metabolic syndrome.In 2020,the international expert group changed the name of NAFLD to metabolic-associated fatty liver disease(MAFLD)and proposed new diagnostic criteria for MAFLD and MAFLD-related liver cirrhosis,as well as the conceptual framework of other cause-related fatty liver diseases to avoid diagnosis based on the exclusion of other causes and better reflect its pathogenesis.However,there are still many ambiguities in the term,and changing the name does not address the unmet key needs in the field.The change from NAFLD to MAFLD was not just a change of definition.The problems and challenges are summarized as follows:epidemiology,children,rationality of"metabolism,"diagnostic criteria,double/multiple causes,drug discovery,clinical trials,and awareness raising.Metabolic-associated fatty liver disease has complex disease characteristics,and there are still some problems that need to be solved.
文摘A simple abstract model of Eiffel is introduced, and its denotational seman-tics is defined using VDM style. A static analysis approach is presented to treatmultiple inheritance and renaming mechanism. Within the framework of deno-tational semantics iatroduced in this paper, the key features of Eiffel, such asidentification, classification, multiple inheritance, polymorphism and dynamicbinding, can be adequately characterized.
基金Project supported by the National Natural Science Foundation of China(Nos.61902181 and 62002161)the China Postdoctoral Science Foundation(No.2020M671489)+1 种基金the CCF-Tencent Open Research Fund(No.RAGR20200106)and the Nanjing University of Aeronautics and Astronautics Postgraduate Research and Practice Innovation Program(No.xcxjh20211612)。
文摘Methods in programs must be accurately named to facilitate source code analysis and comprehension.With the evolution of software,method names may be inconsistent with their implemented method bodies,leading to inaccurate or buggy method names.Debugging method names remains an important topic in the literature.Although researchers have proposed several approaches to suggest accurate method names once the method bodies have been modified,two main drawbacks remain to be solved:there is no analysis of method name structure,and the programming context information is not captured efficiently.To resolve these drawbacks and suggest more accurate method names,we propose a novel automated approach based on the analysis of the method name structure and lexical analysis with the programming context information.Our approach first leverages deep feature representation to embed method names and method bodies in vectors.Then,it obtains useful verb-tokens from a large method corpus through structural analysis and noun-tokens from method bodies through lexical analysis.Finally,our approach dynamically combines these tokens to form and recommend high-quality and project-specific method names.Experimental results over 2111 Java testing methods show that the proposed approach can achieve a Hit Ratio,or Hit@5,of 33.62%and outperform the state-of-the-art approach by 14.12%in suggesting accurate method names.We also demonstrate the effectiveness of structural and lexical analyses in our approach.
文摘Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a set of clauses less 'non-Horn' using predicate renaming, the performance of these case-analysis based procedures can be improved significantly. In addition, the paper also investigated the problem of efficiently constructing a predicate renaming that reduces the degree of 'non-Hornness' of a clause set maximally. It is shown that this problem of finding a predicate renaming to achieve minimal 'non-Hornness' is NP-complete.
