When the Transformer proposed by Google in 2017,it was first used for machine translation tasks and achieved the state of the art at that time.Although the current neural machine translation model can generate high qu...When the Transformer proposed by Google in 2017,it was first used for machine translation tasks and achieved the state of the art at that time.Although the current neural machine translation model can generate high quality translation results,there are still mistranslations and omissions in the translation of key information of long sentences.On the other hand,the most important part in traditional translation tasks is the translation of key information.In the translation results,as long as the key information is translated accurately and completely,even if other parts of the results are translated incorrect,the final translation results’quality can still be guaranteed.In order to solve the problem of mistranslation and missed translation effectively,and improve the accuracy and completeness of long sentence translation in machine translation,this paper proposes a key information fused neural machine translation model based on Transformer.The model proposed in this paper extracts the keywords of the source language text separately as the input of the encoder.After the same encoding as the source language text,it is fused with the output of the source language text encoded by the encoder,then the key information is processed and input into the decoder.With incorporating keyword information from the source language sentence,the model’s performance in the task of translating long sentences is very reliable.In order to verify the effectiveness of the method of fusion of key information proposed in this paper,a series of experiments were carried out on the verification set.The experimental results show that the Bilingual Evaluation Understudy(BLEU)score of the model proposed in this paper on theWorkshop on Machine Translation(WMT)2017 test dataset is higher than the BLEU score of Transformer proposed by Google on the WMT2017 test dataset.The experimental results show the advantages of the model proposed in this paper.展开更多
In order to realize a general-purpose automatic formal verification platform based on WebAssembly technology as a web service(FVPS),which aims to provide an automated report of vulnerability detections,this work build...In order to realize a general-purpose automatic formal verification platform based on WebAssembly technology as a web service(FVPS),which aims to provide an automated report of vulnerability detections,this work builds a Hyperledger Fabric blockchain runtime model.It proposes an optimized methodology of the functional equivalent translation from source program languages to formal languages.This methodology utilizes an external application programming interface(API)table to replace the source codes in compilation,thereby pruning the part of housekeeping codes to ease code inflation.Code inflation is a significant metric in formal language translation.Namely,minor code inflation enhances verification scale and performance efficiency.It determines the efficiency of formal verification,involving launching,running,and memory usage.For instance,path explosion increases exponentially,resulting in out-of-memory.The experimental results conclude that program languages like golang severely impact code inflation.FVPS reduces the wasm code size by over 90%,achieving two orders of optimization magnitude,from 2000 kilobyte(KB)to 90 KB.That means we can cope with golang applications up to 20 times larger than the original in scale.This work eliminates the gap between Hyperledger Fabric smart contracts and WebAssembly.Our approach is pragmatic,adaptable,extendable,and flexible.Nowadays,FVPS is successfully applied in a Railway-Port-Aviation blockchain transportation system.展开更多
Hyperparameters are important for machine learning algorithms since they directly control the behaviors of training algorithms and have a significant effect on the performance of machine learning models. Several techn...Hyperparameters are important for machine learning algorithms since they directly control the behaviors of training algorithms and have a significant effect on the performance of machine learning models. Several techniques have been developed and successfully applied for certain application domains. However, this work demands professional knowledge and expert experience. And sometimes it has to resort to the brute-force search.Therefore, if an efficient hyperparameter optimization algorithm can be developed to optimize any given machine learning method, it will greatly improve the efficiency of machine learning. In this paper, we consider building the relationship between the performance of the machine learning models and their hyperparameters by Gaussian processes. In this way, the hyperparameter tuning problem can be abstracted as an optimization problem and Bayesian optimization is used to solve the problem. Bayesian optimization is based on the Bayesian theorem. It sets a prior over the optimization function and gathers the information from the previous sample to update the posterior of the optimization function. A utility function selects the next sample point to maximize the optimization function.Several experiments were conducted on standard test datasets. Experiment results show that the proposed method can find the best hyperparameters for the widely used machine learning models, such as the random forest algorithm and the neural networks, even multi-grained cascade forest under the consideration of time cost.展开更多
Wind erosion is a major cause of land desertification and sandstorm formation in arid and semi-arid areas.The objective of this study was to evaluate the potential of soybeans crude extract induced calcium carbonate p...Wind erosion is a major cause of land desertification and sandstorm formation in arid and semi-arid areas.The objective of this study was to evaluate the potential of soybeans crude extract induced calcium carbonate precipitation(SICP)on reducing wind erosion risk of sandy soil.Field tests were carried out in Ulan Buh Desert,Ningxia Hui Autonomous Region,China.Results showed that the SICP method could significantly enhance the surface strength and wind erosion resistance of the topsoil.The optimal cementation solution(urea-CaCl2)concentration and spraying volume,according to experiments conducted on sandy land,were 0.2 mol/L and 4 L/m^2,respectively.Under this condition,the CaCO3 content was approximately 0.45%,the surface strength of sandy soil could reach 306.2 kPa,and the depth of wind erosion was approximately zero,after 30 d completion of SICP treatment.Soil surface strength declined with the increase of time,and long-term sand fixation effects of SICP treatment varied depending on topography.Whereas wind erosion in the top area of the windward slope was remarkable,sandy soils on the bottom area of the windward slope still maintained a relatively high level of surface strength and a low degree of wind erosion 12 month after SICP treatment.Scanning electron microscopy(SEM)tests with energy dispersive X-ray(EDX)confirmed the precipitation of CaCO3 and its bridge effect.These findings suggested that the SICP method is a promising candidate to protect sandy soil from wind erosion in desert areas.展开更多
Metal organic frameworks(MOFs) have been considered as compelling precursor for miscellaneous applications. However, their unsatisfied electrocatalytic performance limits their direct application as electrocatalyst. H...Metal organic frameworks(MOFs) have been considered as compelling precursor for miscellaneous applications. However, their unsatisfied electrocatalytic performance limits their direct application as electrocatalyst. Herein, by incorporating the cobalt-oxide bonds and polyaniline(PANI) with two-dimension zeolitic imidazolate frameworks(ZIFs), a novel bifunctional catalyst(Co-O-ZIF/PANI) for Zn-air battery was designed based on a facile and eco-friendly method. This Co-O-ZIF/PANI with optimized surface adsorption effect and suitable Co^(3+)/Co^(2+)ratio, exhibits eminent electrocatalytic activity toward both oxygen reduction and evolution reaction. The as-assembled liquid ZABs based on Co-O-ZIF/PANI achieves a remarkable maximum power density of 123.1 m W cm^(-2) and low discharge-charge voltage gap of 0.81 V at 5 m A cm^(-2) for over 300 cycles. Operando Raman spectroscopy reveals that the excellent performance origins from the optimized surface chemisorption property of O_(2) and H_(2)O brought by Co–O bonds and PANI. This work provides a novel prospect to develop efficient MOF derived bifunctional electrocatalysts by optimizing surface chemisorption properties.展开更多
Currently,Na-ion battery(NIB) has become one of the most potential alternatives for Li-ion batteries due to the safety and low cost.As a promising anode for Na-ion storage,expanded graphite has attracted considerable ...Currently,Na-ion battery(NIB) has become one of the most potential alternatives for Li-ion batteries due to the safety and low cost.As a promising anode for Na-ion storage,expanded graphite has attracted considerable attention.However,the sodiation-desodiation process is still unclear.In our work,we obtain expanded graphite through slight modified Hummer's method and subsequent thermal treatment,which exhibits excellent cycling stability.Even at a high current density of 1 A g^(-1),our expanded graphite still remains a high reversible capacity of 100 mA h g^(-1) after 2600 cycles.Furthermore,we also investigate the electrochemical mechanism of our expanded graphite for Na-ion storage by operando Raman technique,which illuminate the electrochemical reaction during different sodiation-desodiation processes.展开更多
Graphic processing units (GPUs) have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due ...Graphic processing units (GPUs) have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due to the lack in framework for real-time analysis. In order to guarantee real-time requirements while maintaining system utilization ~in modern heterogeneous systems, such as multicore multi-GPU systems, a novel suspension-based k-exclusion real-time locking protocol and the associated suspension-aware schedulability analysis are proposed. The proposed protocol provides a synchronization framework that enables multiple GPUs to be efficiently integrated in multicore real-time systems. Comparative evaluations show that the proposed methods improve upon the existing work in terms of schedulability.展开更多
In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of t...In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of the major methods to compare the performance of such analyses.However,since many sophisticated techniques have been adopted to improve the analytical accuracy,the implementation of such analyses and experiments is often time-consuming.This paper proposes a schedulability experiment toolkit for multiprocessor real-time systems(SET-MRTS),which provides a framework with infrastructures to implement the schedulability and synchronization analyses and the deployment of empirical synthesis experiments.Besides,with well-designed peripheral components for the input and output,experiments can be conducted easily and flexibly on SET-MRTS.This demonstration further proves the effectiveness of SET-MRTS in both functionality and availability.展开更多
Three-dimensional(3D)shape registration is a challenging problem,especially for shapes under non-rigid transformations.In this paper,a 3D non-rigid shape registration method is proposed,called balanced functional maps...Three-dimensional(3D)shape registration is a challenging problem,especially for shapes under non-rigid transformations.In this paper,a 3D non-rigid shape registration method is proposed,called balanced functional maps(BFM).The BFM algorithm generalizes the point-based correspondence to functions.By choosing the Laplace-Beltrami eigenfunctions as the function basis,the transformations between shapes can be represented by the functional map(FM)matrix.In addition,many constraints on shape registration,such as the feature descriptor,keypoint,and salient region correspondence,can be formulated linearly using the matrix.By bi-directionally searching for the nearest neighbors of points’indicator functions in the function space,the point-based correspondence can be derived from FMs.We conducted several experiments on the Topology and Orchestration Specification for Cloud Applications(TOSCA)dataset and the Shape Completion and Animation of People(SCAPE)dataset.Experimental results show that the proposed BFM algorithm is effective and has superior performance than the state-of-the-art methods on both datasets.展开更多
基金Major Science and Technology Project of Sichuan Province[No.2022YFG0315,2022YFG0174]Sichuan Gas Turbine Research Institute stability support project of China Aero Engine Group Co.,Ltd.[No.GJCZ-2019-71].
文摘When the Transformer proposed by Google in 2017,it was first used for machine translation tasks and achieved the state of the art at that time.Although the current neural machine translation model can generate high quality translation results,there are still mistranslations and omissions in the translation of key information of long sentences.On the other hand,the most important part in traditional translation tasks is the translation of key information.In the translation results,as long as the key information is translated accurately and completely,even if other parts of the results are translated incorrect,the final translation results’quality can still be guaranteed.In order to solve the problem of mistranslation and missed translation effectively,and improve the accuracy and completeness of long sentence translation in machine translation,this paper proposes a key information fused neural machine translation model based on Transformer.The model proposed in this paper extracts the keywords of the source language text separately as the input of the encoder.After the same encoding as the source language text,it is fused with the output of the source language text encoded by the encoder,then the key information is processed and input into the decoder.With incorporating keyword information from the source language sentence,the model’s performance in the task of translating long sentences is very reliable.In order to verify the effectiveness of the method of fusion of key information proposed in this paper,a series of experiments were carried out on the verification set.The experimental results show that the Bilingual Evaluation Understudy(BLEU)score of the model proposed in this paper on theWorkshop on Machine Translation(WMT)2017 test dataset is higher than the BLEU score of Transformer proposed by Google on the WMT2017 test dataset.The experimental results show the advantages of the model proposed in this paper.
基金This work was supported by the National Key R&D Program of China,Grant No.2018YFA0306703.
文摘In order to realize a general-purpose automatic formal verification platform based on WebAssembly technology as a web service(FVPS),which aims to provide an automated report of vulnerability detections,this work builds a Hyperledger Fabric blockchain runtime model.It proposes an optimized methodology of the functional equivalent translation from source program languages to formal languages.This methodology utilizes an external application programming interface(API)table to replace the source codes in compilation,thereby pruning the part of housekeeping codes to ease code inflation.Code inflation is a significant metric in formal language translation.Namely,minor code inflation enhances verification scale and performance efficiency.It determines the efficiency of formal verification,involving launching,running,and memory usage.For instance,path explosion increases exponentially,resulting in out-of-memory.The experimental results conclude that program languages like golang severely impact code inflation.FVPS reduces the wasm code size by over 90%,achieving two orders of optimization magnitude,from 2000 kilobyte(KB)to 90 KB.That means we can cope with golang applications up to 20 times larger than the original in scale.This work eliminates the gap between Hyperledger Fabric smart contracts and WebAssembly.Our approach is pragmatic,adaptable,extendable,and flexible.Nowadays,FVPS is successfully applied in a Railway-Port-Aviation blockchain transportation system.
基金supported in part by the National Natural Science Foundation of China under Grant No.61503059
文摘Hyperparameters are important for machine learning algorithms since they directly control the behaviors of training algorithms and have a significant effect on the performance of machine learning models. Several techniques have been developed and successfully applied for certain application domains. However, this work demands professional knowledge and expert experience. And sometimes it has to resort to the brute-force search.Therefore, if an efficient hyperparameter optimization algorithm can be developed to optimize any given machine learning method, it will greatly improve the efficiency of machine learning. In this paper, we consider building the relationship between the performance of the machine learning models and their hyperparameters by Gaussian processes. In this way, the hyperparameter tuning problem can be abstracted as an optimization problem and Bayesian optimization is used to solve the problem. Bayesian optimization is based on the Bayesian theorem. It sets a prior over the optimization function and gathers the information from the previous sample to update the posterior of the optimization function. A utility function selects the next sample point to maximize the optimization function.Several experiments were conducted on standard test datasets. Experiment results show that the proposed method can find the best hyperparameters for the widely used machine learning models, such as the random forest algorithm and the neural networks, even multi-grained cascade forest under the consideration of time cost.
基金Projects(51978244,51979088,51608169)supported by the National Natural Science Foundation of China。
文摘Wind erosion is a major cause of land desertification and sandstorm formation in arid and semi-arid areas.The objective of this study was to evaluate the potential of soybeans crude extract induced calcium carbonate precipitation(SICP)on reducing wind erosion risk of sandy soil.Field tests were carried out in Ulan Buh Desert,Ningxia Hui Autonomous Region,China.Results showed that the SICP method could significantly enhance the surface strength and wind erosion resistance of the topsoil.The optimal cementation solution(urea-CaCl2)concentration and spraying volume,according to experiments conducted on sandy land,were 0.2 mol/L and 4 L/m^2,respectively.Under this condition,the CaCO3 content was approximately 0.45%,the surface strength of sandy soil could reach 306.2 kPa,and the depth of wind erosion was approximately zero,after 30 d completion of SICP treatment.Soil surface strength declined with the increase of time,and long-term sand fixation effects of SICP treatment varied depending on topography.Whereas wind erosion in the top area of the windward slope was remarkable,sandy soils on the bottom area of the windward slope still maintained a relatively high level of surface strength and a low degree of wind erosion 12 month after SICP treatment.Scanning electron microscopy(SEM)tests with energy dispersive X-ray(EDX)confirmed the precipitation of CaCO3 and its bridge effect.These findings suggested that the SICP method is a promising candidate to protect sandy soil from wind erosion in desert areas.
基金financially supported by the National Natural Science Foundation of China (51772135 and 51872124)the Ministry of Education of China (6141A02022516)+6 种基金the Natural Science Foundation of Guangdong Province (2014A030306010)the Natural Science Foundation of Guangdong Province (2021A1515010504)the Natural Science Key Foundation of Guangdong Province (2019B1515120056)the Natural Science Foundation of Guangzhou (201904010049)the Jinan University (88016105)the Innovation Team Project of Foshan City (FS0AA-KJ919-4402-0086)the Fundamental Research Foundation for the Central Universities(21617326 and 11619103)。
文摘Metal organic frameworks(MOFs) have been considered as compelling precursor for miscellaneous applications. However, their unsatisfied electrocatalytic performance limits their direct application as electrocatalyst. Herein, by incorporating the cobalt-oxide bonds and polyaniline(PANI) with two-dimension zeolitic imidazolate frameworks(ZIFs), a novel bifunctional catalyst(Co-O-ZIF/PANI) for Zn-air battery was designed based on a facile and eco-friendly method. This Co-O-ZIF/PANI with optimized surface adsorption effect and suitable Co^(3+)/Co^(2+)ratio, exhibits eminent electrocatalytic activity toward both oxygen reduction and evolution reaction. The as-assembled liquid ZABs based on Co-O-ZIF/PANI achieves a remarkable maximum power density of 123.1 m W cm^(-2) and low discharge-charge voltage gap of 0.81 V at 5 m A cm^(-2) for over 300 cycles. Operando Raman spectroscopy reveals that the excellent performance origins from the optimized surface chemisorption property of O_(2) and H_(2)O brought by Co–O bonds and PANI. This work provides a novel prospect to develop efficient MOF derived bifunctional electrocatalysts by optimizing surface chemisorption properties.
基金financial supports from the National Natural Science Foundation of China (51702056, 51772135)the Ministry of Education of China (6141A02022516)+2 种基金the Fundamental Research Funds for the Central Universities (21617330)the China Postdoctoral Science Foundation (2017M622902, 2019T120790)GDHVPS (2017)。
文摘Currently,Na-ion battery(NIB) has become one of the most potential alternatives for Li-ion batteries due to the safety and low cost.As a promising anode for Na-ion storage,expanded graphite has attracted considerable attention.However,the sodiation-desodiation process is still unclear.In our work,we obtain expanded graphite through slight modified Hummer's method and subsequent thermal treatment,which exhibits excellent cycling stability.Even at a high current density of 1 A g^(-1),our expanded graphite still remains a high reversible capacity of 100 mA h g^(-1) after 2600 cycles.Furthermore,we also investigate the electrochemical mechanism of our expanded graphite for Na-ion storage by operando Raman technique,which illuminate the electrochemical reaction during different sodiation-desodiation processes.
基金supported by the National Natural Science Foundation of China under Grant No.61003032/F020207
文摘Graphic processing units (GPUs) have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due to the lack in framework for real-time analysis. In order to guarantee real-time requirements while maintaining system utilization ~in modern heterogeneous systems, such as multicore multi-GPU systems, a novel suspension-based k-exclusion real-time locking protocol and the associated suspension-aware schedulability analysis are proposed. The proposed protocol provides a synchronization framework that enables multiple GPUs to be efficiently integrated in multicore real-time systems. Comparative evaluations show that the proposed methods improve upon the existing work in terms of schedulability.
基金supported by the National Natural Science Foundation of China under Grant No.61802052the Fundamental Research Funds for the Central Universities under Grant No.A030202063008085the China Postdoctoral Science Foundation Funded Project under Grant No.2017M612947。
文摘In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of the major methods to compare the performance of such analyses.However,since many sophisticated techniques have been adopted to improve the analytical accuracy,the implementation of such analyses and experiments is often time-consuming.This paper proposes a schedulability experiment toolkit for multiprocessor real-time systems(SET-MRTS),which provides a framework with infrastructures to implement the schedulability and synchronization analyses and the deployment of empirical synthesis experiments.Besides,with well-designed peripheral components for the input and output,experiments can be conducted easily and flexibly on SET-MRTS.This demonstration further proves the effectiveness of SET-MRTS in both functionality and availability.
基金the China Scholarship Council under Grant No.201406070059.
文摘Three-dimensional(3D)shape registration is a challenging problem,especially for shapes under non-rigid transformations.In this paper,a 3D non-rigid shape registration method is proposed,called balanced functional maps(BFM).The BFM algorithm generalizes the point-based correspondence to functions.By choosing the Laplace-Beltrami eigenfunctions as the function basis,the transformations between shapes can be represented by the functional map(FM)matrix.In addition,many constraints on shape registration,such as the feature descriptor,keypoint,and salient region correspondence,can be formulated linearly using the matrix.By bi-directionally searching for the nearest neighbors of points’indicator functions in the function space,the point-based correspondence can be derived from FMs.We conducted several experiments on the Topology and Orchestration Specification for Cloud Applications(TOSCA)dataset and the Shape Completion and Animation of People(SCAPE)dataset.Experimental results show that the proposed BFM algorithm is effective and has superior performance than the state-of-the-art methods on both datasets.