In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its li...In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its literals.The current WMC solvers work on Conjunctive Normal Form(CNF)formulas.However,CNF is not a natural representation for human-being in many applications.Motivated by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB formulas.Based on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool PBCounter.We compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF formula.The experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.展开更多
To develop and perfect the theory of plate tectonics and regional metallogeny, metal-logenesis during collisional orogenesis should be thoroughly studied and will attract increasing at-tention of more and more scienti...To develop and perfect the theory of plate tectonics and regional metallogeny, metal-logenesis during collisional orogenesis should be thoroughly studied and will attract increasing at-tention of more and more scientists. This paper presents the main aspects of research and discus-sions on metallogenesis during collisional orogenesis after the development of plate tectonics, and accordingly divides the study history into two stages, i.e. the junior stage during 1971-1990 and the senior stage after 1990. Beginning with the negation of mineralization in the collision regime by Guild (1971), the focus of study was put on whether there occurred any mineralization during collisional orogenesis at the junior stage. At the senior stage, which is initiated by the advance of met-allogenic and petrogenic model for collisional orogenesis, scientists begin to pay their attention to the geodynamic mechanism of metallogenesis, spatial and temporal distribution of ore deposits, ore-forming fluidization, relationship展开更多
Graphene is a single atom thick crystal composed of carbon atoms.It is the lightest,thinnest,strongest material that conducts heat and electricity well heretofore.In terms of application,by introducing oxygen-containi...Graphene is a single atom thick crystal composed of carbon atoms.It is the lightest,thinnest,strongest material that conducts heat and electricity well heretofore.In terms of application,by introducing oxygen-containing groups,graphene can be well dispersed in solvents,can be chemically modified and functionalized,or connected with other electroactive substances through covalent bond or non-covalent bond to form composite materials,which is conducive to further processing and promotion.The application of graphene in oilfield chemistry started late,but developed rapidly.Graphene has played an active role in drilling fluid,cementing fluid,fracturing fluid,displacement fluid and other oilfield working fluids.It can enhance the temperature and salt resistance of working fluid and improve the effect of working fluid.In this paper,several directions of graphene applications in oilfield chemistry,such as modified graphene,graphene copolymers and graphene nanoparticles,are reviewed in detail from the synthesis methods,action mechanisms and effects of graphene and its derivatives,and the frontier cases at this stage are given.On the basis of the existing research,suggestions for the development direction of graphene materials in oilfield chemistry are given for a variety of graphene materials,aiming to provide guidance for the application of graphene in oilfield chemistry.展开更多
基金supported by NSFC(Grant Nos.61976050,61972384)the Jilin Province Science and Technology Department project(Nos.20240101378JC,20240602005RC,YDZJ202201ZYTS415)Jilin Education Department Project(No.JJKH20231319KJ)。
文摘In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its literals.The current WMC solvers work on Conjunctive Normal Form(CNF)formulas.However,CNF is not a natural representation for human-being in many applications.Motivated by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB formulas.Based on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool PBCounter.We compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF formula.The experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.
文摘To develop and perfect the theory of plate tectonics and regional metallogeny, metal-logenesis during collisional orogenesis should be thoroughly studied and will attract increasing at-tention of more and more scientists. This paper presents the main aspects of research and discus-sions on metallogenesis during collisional orogenesis after the development of plate tectonics, and accordingly divides the study history into two stages, i.e. the junior stage during 1971-1990 and the senior stage after 1990. Beginning with the negation of mineralization in the collision regime by Guild (1971), the focus of study was put on whether there occurred any mineralization during collisional orogenesis at the junior stage. At the senior stage, which is initiated by the advance of met-allogenic and petrogenic model for collisional orogenesis, scientists begin to pay their attention to the geodynamic mechanism of metallogenesis, spatial and temporal distribution of ore deposits, ore-forming fluidization, relationship
文摘Graphene is a single atom thick crystal composed of carbon atoms.It is the lightest,thinnest,strongest material that conducts heat and electricity well heretofore.In terms of application,by introducing oxygen-containing groups,graphene can be well dispersed in solvents,can be chemically modified and functionalized,or connected with other electroactive substances through covalent bond or non-covalent bond to form composite materials,which is conducive to further processing and promotion.The application of graphene in oilfield chemistry started late,but developed rapidly.Graphene has played an active role in drilling fluid,cementing fluid,fracturing fluid,displacement fluid and other oilfield working fluids.It can enhance the temperature and salt resistance of working fluid and improve the effect of working fluid.In this paper,several directions of graphene applications in oilfield chemistry,such as modified graphene,graphene copolymers and graphene nanoparticles,are reviewed in detail from the synthesis methods,action mechanisms and effects of graphene and its derivatives,and the frontier cases at this stage are given.On the basis of the existing research,suggestions for the development direction of graphene materials in oilfield chemistry are given for a variety of graphene materials,aiming to provide guidance for the application of graphene in oilfield chemistry.
