Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS(B...Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS(Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.展开更多
Electrocatalytic water splitting is limited by kinetics-sluggish oxygen evolution,in which the activity of catalysts depends on their electronic structure.However,the infl uence of electron spin polarization on cataly...Electrocatalytic water splitting is limited by kinetics-sluggish oxygen evolution,in which the activity of catalysts depends on their electronic structure.However,the infl uence of electron spin polarization on catalytic activity is ambiguous.Herein,we successfully regulate the spin polarization of Co_(3)O_(4)catalysts by tuning the concentration of cobalt defects from 0.8 to 14.5%.X-ray absorption spectroscopy spectra and density functional theory calculations confi rm that the spin polarization of Co_(3)O_(4)is positively correlated with the concentration of cobalt defects.Importantly,the enhanced spin polarization can increase hydroxyl group absorption to signifi cantly decrease the Gibbs free energy change value of the OER rate-determining step and regulate the spin polarization of oxygen species through a spin electron-exchange process to easily produce triplet-state O_(2),which can obviously increase electrocatalytic OER activity.In specifi c,Co_(3)O_(4)-50 with 14.5%cobalt defects exhibits the highest spin polarization and shows the best normalized OER activity.This work provides an important strategy to increase the water splitting activity of electrocatalysts via the rational regulation of electron spin polarization.展开更多
In this paper, we study the possibilities for several kinds of topological, locally linear cyclic group actions of non-prime order on some closed, simply connected 4-manifolds with indefinite intersection form. Especi...In this paper, we study the possibilities for several kinds of topological, locally linear cyclic group actions of non-prime order on some closed, simply connected 4-manifolds with indefinite intersection form. Especially, we discuss the existence of locally linear pseudofree C9 action on this kind of 4-manifolds.展开更多
Spinel Li CoMnO4 is prepared by solid-state reaction and its magnetic properties are comprehensively studied by direct current（DC） and alternating current（AC） susceptibilities, isothermal remanent magnetizations, ...Spinel Li CoMnO4 is prepared by solid-state reaction and its magnetic properties are comprehensively studied by direct current（DC） and alternating current（AC） susceptibilities, isothermal remanent magnetizations, and magnetic hysteresis.Fitting to the Curie–Weiss law by using high-temperature zero-field-cooled susceptibility confirms a low-spin state of Co^3＋with S = 0. Both the fitting parameters first increase and then tend to be saturated at high magnetic fields through using isothermal remanent magnetizations, which suggests a spin glass transition at low temperature. AC susceptibility study also supports this conclusion since the frequency dependence of peak position and intensity follows the tendency of a spin glass transition. The origin of the spin-glass transition in Li CoMnO4 might be attributed to a spatial segregation between non-magnetic Co^3＋regions and spin glass ordered regions of Mn^4＋ions.展开更多
In this paper, the 3D elastic-plastic simulation was carried out by using finite element （FE） code according to the phenomena of flange keeping straight, bending towards headstock and bending towards tailstock in th...In this paper, the 3D elastic-plastic simulation was carried out by using finite element （FE） code according to the phenomena of flange keeping straight, bending towards headstock and bending towards tailstock in the shear spinning experiments for TC4 alloy. The simulation results for the three kinds of deformations of the flange agree well with the experimental results. So it is possible to explain the reason of flange bending by analyzing the strain vectors in the flange for the three kinds of deformation, which shows that it is important to apply the FE simulation technology for predicting the defects and optimizing the spinning process of TC4 alloys.展开更多
The low-energy muon facility at PSI provides nearly fully polarized positive muons with tunable energies in the ke V range to carry out muon spin rotation(LE-μSR)experiments with nanometer depth resolution on thin fi...The low-energy muon facility at PSI provides nearly fully polarized positive muons with tunable energies in the ke V range to carry out muon spin rotation(LE-μSR)experiments with nanometer depth resolution on thin films,heterostructures, and near-surface regions. The low-energy muon beam is focused and transported to the sample by electrostatic lenses. In order to achieve a minimum beam spot size at the sample position and to enable the steering of the beam in the horizontal and vertical direction, a special electrostatic device has been implemented close to the sample position. It consists of a cylinder at ground potential followed by four conically shaped electrodes,which can be operated at different electric potential. In LE-μSR experiments, an electric field at the sample along the beam direction can be applied to accelerate/decelerate muons to different energies(0.5–30 keV). Additionally, a horizontal or vertical magnetic field can be superimposed for transverse or longitudinal field μSR experiments. The focusing properties of the conical lens in the presence of these additional electric and magnetic fields have been investigated and optimized by Geant4 simulations. Some experimental tests were also performed and show that the simulation well describes the experimental setup.展开更多
文摘Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS(Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.
基金The authors appreciate the fi nancial support from the National Natural Science Foundation of China(Nos.21978200 and 22161142002)the Haihe Laboratory of Sustainable Chemical Transformations(CYZC202103).
文摘Electrocatalytic water splitting is limited by kinetics-sluggish oxygen evolution,in which the activity of catalysts depends on their electronic structure.However,the infl uence of electron spin polarization on catalytic activity is ambiguous.Herein,we successfully regulate the spin polarization of Co_(3)O_(4)catalysts by tuning the concentration of cobalt defects from 0.8 to 14.5%.X-ray absorption spectroscopy spectra and density functional theory calculations confi rm that the spin polarization of Co_(3)O_(4)is positively correlated with the concentration of cobalt defects.Importantly,the enhanced spin polarization can increase hydroxyl group absorption to signifi cantly decrease the Gibbs free energy change value of the OER rate-determining step and regulate the spin polarization of oxygen species through a spin electron-exchange process to easily produce triplet-state O_(2),which can obviously increase electrocatalytic OER activity.In specifi c,Co_(3)O_(4)-50 with 14.5%cobalt defects exhibits the highest spin polarization and shows the best normalized OER activity.This work provides an important strategy to increase the water splitting activity of electrocatalysts via the rational regulation of electron spin polarization.
基金The Science and Technology Program(20110035) of Shanghai Maritime University
文摘In this paper, we study the possibilities for several kinds of topological, locally linear cyclic group actions of non-prime order on some closed, simply connected 4-manifolds with indefinite intersection form. Especially, we discuss the existence of locally linear pseudofree C9 action on this kind of 4-manifolds.
基金Project supported by the National Key Basic Research Program of China(Grant No.2015CB251103)the Development Program of Science and Technology of Jilin Province+2 种基金China(Grant No.20140101093JC)the Program of Science and Technology of Jilin CityChina(Grant No.201434006)
文摘Spinel Li CoMnO4 is prepared by solid-state reaction and its magnetic properties are comprehensively studied by direct current（DC） and alternating current（AC） susceptibilities, isothermal remanent magnetizations, and magnetic hysteresis.Fitting to the Curie–Weiss law by using high-temperature zero-field-cooled susceptibility confirms a low-spin state of Co^3＋with S = 0. Both the fitting parameters first increase and then tend to be saturated at high magnetic fields through using isothermal remanent magnetizations, which suggests a spin glass transition at low temperature. AC susceptibility study also supports this conclusion since the frequency dependence of peak position and intensity follows the tendency of a spin glass transition. The origin of the spin-glass transition in Li CoMnO4 might be attributed to a spatial segregation between non-magnetic Co^3＋regions and spin glass ordered regions of Mn^4＋ions.
文摘In this paper, the 3D elastic-plastic simulation was carried out by using finite element （FE） code according to the phenomena of flange keeping straight, bending towards headstock and bending towards tailstock in the shear spinning experiments for TC4 alloy. The simulation results for the three kinds of deformations of the flange agree well with the experimental results. So it is possible to explain the reason of flange bending by analyzing the strain vectors in the flange for the three kinds of deformation, which shows that it is important to apply the FE simulation technology for predicting the defects and optimizing the spinning process of TC4 alloys.
基金a scholarship from the China Scholarship Council (CSC)financial support from PSI for her stay at PSI
文摘The low-energy muon facility at PSI provides nearly fully polarized positive muons with tunable energies in the ke V range to carry out muon spin rotation(LE-μSR)experiments with nanometer depth resolution on thin films,heterostructures, and near-surface regions. The low-energy muon beam is focused and transported to the sample by electrostatic lenses. In order to achieve a minimum beam spot size at the sample position and to enable the steering of the beam in the horizontal and vertical direction, a special electrostatic device has been implemented close to the sample position. It consists of a cylinder at ground potential followed by four conically shaped electrodes,which can be operated at different electric potential. In LE-μSR experiments, an electric field at the sample along the beam direction can be applied to accelerate/decelerate muons to different energies(0.5–30 keV). Additionally, a horizontal or vertical magnetic field can be superimposed for transverse or longitudinal field μSR experiments. The focusing properties of the conical lens in the presence of these additional electric and magnetic fields have been investigated and optimized by Geant4 simulations. Some experimental tests were also performed and show that the simulation well describes the experimental setup.
