In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
1 Introduction Lunar mare basalts represent the products of partial remelting of deep mantle sources and provide windows into the compositions of lunar interior.Nine Apollo andLuna missions returned large amounts of m...1 Introduction Lunar mare basalts represent the products of partial remelting of deep mantle sources and provide windows into the compositions of lunar interior.Nine Apollo andLuna missions returned large amounts of mare basaltic samples,while remote sensing suggests that sampled basalts may cover only a small number of the lunar basalt展开更多
ZnO/graphene/polyaniline(PANI) composite is synthesized and used for photoelectrocatalytic oxidation of methane under simulated sun light illumination with ambient conditions. The photoelectrochemical(PEC) performance...ZnO/graphene/polyaniline(PANI) composite is synthesized and used for photoelectrocatalytic oxidation of methane under simulated sun light illumination with ambient conditions. The photoelectrochemical(PEC) performance of pure ZnO, ZnO/graphene, ZnO/PANI, and ZnO/graphene/PANI photoanodes is investigated by cyclic voltammetry(CV),chronoamerometry(J–t) and electrochemical impedance spectroscopy(EIS). The yields of methane oxidation products,mainly methanol(CH_3OH) and formic acid(HCOOH), catalysed by the synthesized ZnO/graphene/PANI composite are 2.76 and 3.20 times those of pure ZnO, respectively. The mechanism of the photoelectrocatalytic process converting methane into methanol and formic acid is proposed on the basis of the experimental results. The enhanced photoelectrocatalytic activity of the ZnO/graphene/PANI composite can be attributed to the fact that graphene can efficiently transfer photo-generated electrons from the inner region to the surface reaction to form free radicals due to its superior electrical conductivity as an inter-media layer. Meanwhile, the introduction of PANI promotes solar energy harvesting by extending the visible light absorption and enhances charge separation efficiency due to its conducting polymer characteristics.In addition, the PANI can create a favorable π-conjunction structure together with graphene layers, which can achieve a more effective charge separation. This research demonstrates that the fabricated ZnO/graphene/PANI composite promises to implement the visible-light photoelectrocatalytic methane oxidation.展开更多
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
基金supported by the National Natural Science Foundation of China (41473065, 41373068)Natural Science Foundation of Shandong Province (JQ201511)Qilu Young Scholar (TANG SCHOLAR) Program of Shandong University,Weihai (2015WHWLJH14)
文摘1 Introduction Lunar mare basalts represent the products of partial remelting of deep mantle sources and provide windows into the compositions of lunar interior.Nine Apollo andLuna missions returned large amounts of mare basaltic samples,while remote sensing suggests that sampled basalts may cover only a small number of the lunar basalt
基金Project supported by the National Natural Science Foundation of China(Grant Nos.51602021 and 51474017)the Fundamental Research Funds for the Central Universities(Grant No.FRF-TP-15-107A1)
文摘ZnO/graphene/polyaniline(PANI) composite is synthesized and used for photoelectrocatalytic oxidation of methane under simulated sun light illumination with ambient conditions. The photoelectrochemical(PEC) performance of pure ZnO, ZnO/graphene, ZnO/PANI, and ZnO/graphene/PANI photoanodes is investigated by cyclic voltammetry(CV),chronoamerometry(J–t) and electrochemical impedance spectroscopy(EIS). The yields of methane oxidation products,mainly methanol(CH_3OH) and formic acid(HCOOH), catalysed by the synthesized ZnO/graphene/PANI composite are 2.76 and 3.20 times those of pure ZnO, respectively. The mechanism of the photoelectrocatalytic process converting methane into methanol and formic acid is proposed on the basis of the experimental results. The enhanced photoelectrocatalytic activity of the ZnO/graphene/PANI composite can be attributed to the fact that graphene can efficiently transfer photo-generated electrons from the inner region to the surface reaction to form free radicals due to its superior electrical conductivity as an inter-media layer. Meanwhile, the introduction of PANI promotes solar energy harvesting by extending the visible light absorption and enhances charge separation efficiency due to its conducting polymer characteristics.In addition, the PANI can create a favorable π-conjunction structure together with graphene layers, which can achieve a more effective charge separation. This research demonstrates that the fabricated ZnO/graphene/PANI composite promises to implement the visible-light photoelectrocatalytic methane oxidation.
