With the development of human society,the social hub enlarges beyond one community to the extent that the world is deemed as a community as a whole.Communication,therefore,plays an increasingly important role in our d...With the development of human society,the social hub enlarges beyond one community to the extent that the world is deemed as a community as a whole.Communication,therefore,plays an increasingly important role in our daily life.As a consequence,communication model or the definition of which is not so much a definition as a guide in communication.However,some existed communication models are not as practical as it was.This paper tries to make an overall contrast among three communication models——Coded Model,Gable's Communication Model and Ostensive Inferential Model,to see how they assist people to comprehend verbal and non-verbal communication.展开更多
Short residence time of the sorbent in the gas stream and formation of a dense layer of reaction product surrounding its surface influence the sulfur removal efficiency. A practical means of improving the process perf...Short residence time of the sorbent in the gas stream and formation of a dense layer of reaction product surrounding its surface influence the sulfur removal efficiency. A practical means of improving the process performance is to employ fluidized bed reaction in replacement of entrained bed reaction on normally used in cool side desulfurizaiton. This paper describes cold modeling study of a circulating fluidized bed reactor. Several aspects of the problem are discussed: fluidization behavior of CaO, attrition of the sorbent and solids entrainment from the fluidized bed. Mechanisms and key controlling parameters are identified, and an integral model based on rate of attrition and mass balance is developed for predicting steady state mass flows and particle size distributions of the system. A process flow scheme is finally presented for conducting desulfurization tests in the second stage of the study.展开更多
Our previous work has introduced the newly generated program using the code transformation model GPT-2,verifying the generated programming codes through simhash(SH)and longest common subsequence(LCS)algo-rithms.Howeve...Our previous work has introduced the newly generated program using the code transformation model GPT-2,verifying the generated programming codes through simhash(SH)and longest common subsequence(LCS)algo-rithms.However,the entire code transformation process has encountered a time-consuming problem.Therefore,the objective of this study is to speed up the code transformation process signicantly.This paper has proposed deep learning approaches for modifying SH using a variational simhash(VSH)algorithm and replacing LCS with a piecewise longest common subsequence(PLCS)algorithm to faster the verication process in the test phase.Besides the code transformation model GPT-2,this study has also introduced MicrosoMASS and Facebook BART for a comparative analysis of their performance.Meanwhile,the explainable AI technique using local interpretable model-agnostic explanations(LIME)can also interpret the decision-making ofAImodels.The experimental results show that VSH can reduce the number of qualied programs by 22.11%,and PLCS can reduce the execution time of selected pocket programs by 32.39%.As a result,the proposed approaches can signicantly speed up the entire code transformation process by 1.38 times on average compared with our previous work.展开更多
This paper deals with dynamic airspace sectorization (DAS) problem by an improved genetic algorithm (iGA). A graph model is first constructed that represents the airspace static structure. Then the DAS problem is ...This paper deals with dynamic airspace sectorization (DAS) problem by an improved genetic algorithm (iGA). A graph model is first constructed that represents the airspace static structure. Then the DAS problem is formulated as a graph-partitioning problem to balance the sector workload under the premise of ensuring safety. In the iGA, multiple populations and hybrid coding are applied to determine the optimal sector number and airspace sectorization. The sector constraints are well satisfied by the improved genetic operators and protect zones. This method is validated by being applied to the airspace of North China in terms of three indexes, which are sector balancing index, coordination workload index and sector average flight time index. The improvement is obvious, as the sector balancing index is reduced by 16.5 %, the coordination workload index is reduced by 11.2 %, and the sector average flight time index is increased by 11.4 % during the peak-hour traffic.展开更多
The plasma focus experiment in Belgrade, Serbia started in the late eighties of the last century. The historical overview of the research activity on the Belgrade plasma focus device (BPFD) will be presented in this w...The plasma focus experiment in Belgrade, Serbia started in the late eighties of the last century. The historical overview of the research activity on the Belgrade plasma focus device (BPFD) will be presented in this work. The special attention has been made to the present status and the future plans for the fundamental and applied research as a part of the project of the studies of rare nuclear and particle processes in nature. BPFD is intended to operate as optimized neutron source or hard X-ray source. Using Lee model code as a reference, several upgrades of BPFD must be made: better shielding against EMI pulse, rearrangement of capacitors bank so that higher repetition rate can be achieved and also faster digital acquisition system. BPFD can be used for neutron activation or production of short-living radioisotopes. These radioisotopes will have very low activity which can be analyzed in the underground Low-Background Laboratory for Nuclear Physics, Zemun. Also, we compared the obtained experimental data (neutron yield, total current waveform, working gas pressure) with the numerical simulation code (The Lee model code) to test our plasma focus machine. Comparison between neutron yield from our experimental data and neutron scaling laws and neutron yields derived from computation using the Lee Model code shows good matching, but for better verification of the code, more experimental data are needed.展开更多
Smart contracts,which automatically execute on decentralized platforms like Ethereum,require high security and low gas consumption.As a result,developers have a strong demand for semantic code search tools that utiliz...Smart contracts,which automatically execute on decentralized platforms like Ethereum,require high security and low gas consumption.As a result,developers have a strong demand for semantic code search tools that utilize natural language queries to efficiently search for existing code snippets.However,existing code search models face a semantic gap between code and queries,which requires a large amount of training data.In this paper,we propose a fine-tuning approach to bridge the semantic gap in code search and improve the search accuracy.We collect 80723 different pairs of<comment,code snippet>from Etherscan.io and use these pairs to fine-tune,validate,and test the pre-trained CodeBERT model.Using the fine-tuned model,we develop a code search engine specifically for smart contracts.We evaluate the Recall@k and Mean Reciprocal Rank(MRR)of the fine-tuned CodeBERT model using different proportions of the finetuned data.It is encouraging that even a small amount of fine-tuned data can produce satisfactory results.In addition,we perform a comparative analysis between the fine-tuned CodeBERT model and the two state-of-the-art models.The experimental results show that the finetuned CodeBERT model has superior performance in terms of Recall@k and MRR.These findings highlight the effectiveness of our finetuning approach and its potential to significantly improve the code search accuracy.展开更多
To improve the management of discharge pollutants loads in the reservoirs' watershed, an approach of the allowable pollutants loads calculation and its allocation, based on the water environment model, was proposed. ...To improve the management of discharge pollutants loads in the reservoirs' watershed, an approach of the allowable pollutants loads calculation and its allocation, based on the water environment model, was proposed. Establishment of the approach framework was described at first. Under the guidance of this framework, two major steps were as follows: modeling and scenario analysis were involved and should be applied to support the decision of discharge loads management; Environ- mental Fluid Dynamic Code (EFDC) model was selected as the kernel model in this framework. In modeling step, spatial discretization for establishing cell map in model, data preprocessing, parameter calibration and uncertainty analysis (which is considered as the significantly relevant factor of the margin of safety (MOS)), were conducted. As a result of the research, the model-based approach presented as a combination of estimation and precise calculation, which contributed to scenario analysis step. Some integrated modules, such as scenario simulation, result analysis and plan optimization were implemented as cycles in the scenario analysis. Finally, allowable pollutant loads under various conditions were calculated. The Chaihe Reservoir in Liaoning Province, China was used as a case study for an application of the approach described above. Results of the Chaihe reservoir water quality simulation, show good agreement with field data and demonstrated that the approach used in the present study provide an efficient and appropriate methodology for pollutant load allocation.展开更多
The sense of taste plays a crucial role in herbivorous insects by discriminating nutrients from complex plant metabolic compounds.The peripheral coding of taste has been thoroughly studied in many insect species,but t...The sense of taste plays a crucial role in herbivorous insects by discriminating nutrients from complex plant metabolic compounds.The peripheral coding of taste has been thoroughly studied in many insect species,but the central gustatory pathways are poorly described.In the present study,we characterized single neurons in the gnathal ganglion of Helicoverpa armigera larvae using the intracellular recording/staining technique.We identified different types of neurons,including sensory neurons,interneurons,and motor neurons.The morphologies of these neurons were largely diverse and their arborizations seemingly covered the whole gnathal ganglion.The representation of the single neurons responding to the relevant stimuli of sweet and bitter cues showed no distinct patterns in the gnathal ganglion.We postulate that taste signals may be processed in a manner consistent with the principle of population coding in the gnathal ganglion of H.armigera larvae.展开更多
An innovative composite deck system has recently been proposed for improved structural performance.To study the fatigue behavior of a steel-concrete composite bridge deck,we took a newly-constructed rail-cum-road stee...An innovative composite deck system has recently been proposed for improved structural performance.To study the fatigue behavior of a steel-concrete composite bridge deck,we took a newly-constructed rail-cum-road steel truss bridge as a case study.The transverse stress history of the bridge deck near the main truss under the action of a standard fatigue vehicle was calculated using finite element analysis.Due to the fact that fatigue provision remains unavailable in the governing code of highway concrete bridges in China,a preliminary fatigue evaluation was conducted according to the fib Model Code.The results indicate that flexural failure of the bridge deck in the transverse negative bending moment region is the controlling fatigue failure mode.The fatigue life associated with the fatigue fracture of steel reinforcement is 56 years.However,while the top surface of the bridge deck concrete near the truss cracks after just six years,the bridge deck performs with fatigue cracks during most of its design service life.Although fatigue capacity is acceptable under design situations,overloading or understrength may increase its risk of failure.The method presented in this work can be applied to similar bridges for preliminary fatigue assessment.展开更多
文摘With the development of human society,the social hub enlarges beyond one community to the extent that the world is deemed as a community as a whole.Communication,therefore,plays an increasingly important role in our daily life.As a consequence,communication model or the definition of which is not so much a definition as a guide in communication.However,some existed communication models are not as practical as it was.This paper tries to make an overall contrast among three communication models——Coded Model,Gable's Communication Model and Ostensive Inferential Model,to see how they assist people to comprehend verbal and non-verbal communication.
文摘Short residence time of the sorbent in the gas stream and formation of a dense layer of reaction product surrounding its surface influence the sulfur removal efficiency. A practical means of improving the process performance is to employ fluidized bed reaction in replacement of entrained bed reaction on normally used in cool side desulfurizaiton. This paper describes cold modeling study of a circulating fluidized bed reactor. Several aspects of the problem are discussed: fluidization behavior of CaO, attrition of the sorbent and solids entrainment from the fluidized bed. Mechanisms and key controlling parameters are identified, and an integral model based on rate of attrition and mass balance is developed for predicting steady state mass flows and particle size distributions of the system. A process flow scheme is finally presented for conducting desulfurization tests in the second stage of the study.
基金supported by the Ministry of Science and Technology,Taiwan,under Grant Nos.MOST 111-2221-E-390-012 and MOST 111-2622-E-390-001.
文摘Our previous work has introduced the newly generated program using the code transformation model GPT-2,verifying the generated programming codes through simhash(SH)and longest common subsequence(LCS)algo-rithms.However,the entire code transformation process has encountered a time-consuming problem.Therefore,the objective of this study is to speed up the code transformation process signicantly.This paper has proposed deep learning approaches for modifying SH using a variational simhash(VSH)algorithm and replacing LCS with a piecewise longest common subsequence(PLCS)algorithm to faster the verication process in the test phase.Besides the code transformation model GPT-2,this study has also introduced MicrosoMASS and Facebook BART for a comparative analysis of their performance.Meanwhile,the explainable AI technique using local interpretable model-agnostic explanations(LIME)can also interpret the decision-making ofAImodels.The experimental results show that VSH can reduce the number of qualied programs by 22.11%,and PLCS can reduce the execution time of selected pocket programs by 32.39%.As a result,the proposed approaches can signicantly speed up the entire code transformation process by 1.38 times on average compared with our previous work.
基金funded by the Joint Funds of the National Natural Science Foundation of China (61079001)
文摘This paper deals with dynamic airspace sectorization (DAS) problem by an improved genetic algorithm (iGA). A graph model is first constructed that represents the airspace static structure. Then the DAS problem is formulated as a graph-partitioning problem to balance the sector workload under the premise of ensuring safety. In the iGA, multiple populations and hybrid coding are applied to determine the optimal sector number and airspace sectorization. The sector constraints are well satisfied by the improved genetic operators and protect zones. This method is validated by being applied to the airspace of North China in terms of three indexes, which are sector balancing index, coordination workload index and sector average flight time index. The improvement is obvious, as the sector balancing index is reduced by 16.5 %, the coordination workload index is reduced by 11.2 %, and the sector average flight time index is increased by 11.4 % during the peak-hour traffic.
基金supported by the Ministry of Education,Science and Technological Development of Republic of Serbia under project OI171002.
文摘The plasma focus experiment in Belgrade, Serbia started in the late eighties of the last century. The historical overview of the research activity on the Belgrade plasma focus device (BPFD) will be presented in this work. The special attention has been made to the present status and the future plans for the fundamental and applied research as a part of the project of the studies of rare nuclear and particle processes in nature. BPFD is intended to operate as optimized neutron source or hard X-ray source. Using Lee model code as a reference, several upgrades of BPFD must be made: better shielding against EMI pulse, rearrangement of capacitors bank so that higher repetition rate can be achieved and also faster digital acquisition system. BPFD can be used for neutron activation or production of short-living radioisotopes. These radioisotopes will have very low activity which can be analyzed in the underground Low-Background Laboratory for Nuclear Physics, Zemun. Also, we compared the obtained experimental data (neutron yield, total current waveform, working gas pressure) with the numerical simulation code (The Lee model code) to test our plasma focus machine. Comparison between neutron yield from our experimental data and neutron scaling laws and neutron yields derived from computation using the Lee Model code shows good matching, but for better verification of the code, more experimental data are needed.
基金Supported by Jiangxi Higher Education and Teaching Reform Project(JXJG-20-24-2)Science and Technology Project of Jiangxi Education Department(GJJ212023)Jiangxi University of Technology Education and Teaching Reform Project(JY2104)
文摘Smart contracts,which automatically execute on decentralized platforms like Ethereum,require high security and low gas consumption.As a result,developers have a strong demand for semantic code search tools that utilize natural language queries to efficiently search for existing code snippets.However,existing code search models face a semantic gap between code and queries,which requires a large amount of training data.In this paper,we propose a fine-tuning approach to bridge the semantic gap in code search and improve the search accuracy.We collect 80723 different pairs of<comment,code snippet>from Etherscan.io and use these pairs to fine-tune,validate,and test the pre-trained CodeBERT model.Using the fine-tuned model,we develop a code search engine specifically for smart contracts.We evaluate the Recall@k and Mean Reciprocal Rank(MRR)of the fine-tuned CodeBERT model using different proportions of the finetuned data.It is encouraging that even a small amount of fine-tuned data can produce satisfactory results.In addition,we perform a comparative analysis between the fine-tuned CodeBERT model and the two state-of-the-art models.The experimental results show that the finetuned CodeBERT model has superior performance in terms of Recall@k and MRR.These findings highlight the effectiveness of our finetuning approach and its potential to significantly improve the code search accuracy.
文摘To improve the management of discharge pollutants loads in the reservoirs' watershed, an approach of the allowable pollutants loads calculation and its allocation, based on the water environment model, was proposed. Establishment of the approach framework was described at first. Under the guidance of this framework, two major steps were as follows: modeling and scenario analysis were involved and should be applied to support the decision of discharge loads management; Environ- mental Fluid Dynamic Code (EFDC) model was selected as the kernel model in this framework. In modeling step, spatial discretization for establishing cell map in model, data preprocessing, parameter calibration and uncertainty analysis (which is considered as the significantly relevant factor of the margin of safety (MOS)), were conducted. As a result of the research, the model-based approach presented as a combination of estimation and precise calculation, which contributed to scenario analysis step. Some integrated modules, such as scenario simulation, result analysis and plan optimization were implemented as cycles in the scenario analysis. Finally, allowable pollutant loads under various conditions were calculated. The Chaihe Reservoir in Liaoning Province, China was used as a case study for an application of the approach described above. Results of the Chaihe reservoir water quality simulation, show good agreement with field data and demonstrated that the approach used in the present study provide an efficient and appropriate methodology for pollutant load allocation.
基金This work was supported by the National Natural Science Foundation of China(31861133019,31672367)the Program for Science and Technology Innovation Talents in University of Henan Province(19HASTIT011)the Key Scientific and Technological Project of Henan Province of China(202102110072).
文摘The sense of taste plays a crucial role in herbivorous insects by discriminating nutrients from complex plant metabolic compounds.The peripheral coding of taste has been thoroughly studied in many insect species,but the central gustatory pathways are poorly described.In the present study,we characterized single neurons in the gnathal ganglion of Helicoverpa armigera larvae using the intracellular recording/staining technique.We identified different types of neurons,including sensory neurons,interneurons,and motor neurons.The morphologies of these neurons were largely diverse and their arborizations seemingly covered the whole gnathal ganglion.The representation of the single neurons responding to the relevant stimuli of sweet and bitter cues showed no distinct patterns in the gnathal ganglion.We postulate that taste signals may be processed in a manner consistent with the principle of population coding in the gnathal ganglion of H.armigera larvae.
基金This research was funded by the National Natural Science Foundation of China(Grant No.51008006)the China Railway No.18 Engineering Group(No.40004015201911).
文摘An innovative composite deck system has recently been proposed for improved structural performance.To study the fatigue behavior of a steel-concrete composite bridge deck,we took a newly-constructed rail-cum-road steel truss bridge as a case study.The transverse stress history of the bridge deck near the main truss under the action of a standard fatigue vehicle was calculated using finite element analysis.Due to the fact that fatigue provision remains unavailable in the governing code of highway concrete bridges in China,a preliminary fatigue evaluation was conducted according to the fib Model Code.The results indicate that flexural failure of the bridge deck in the transverse negative bending moment region is the controlling fatigue failure mode.The fatigue life associated with the fatigue fracture of steel reinforcement is 56 years.However,while the top surface of the bridge deck concrete near the truss cracks after just six years,the bridge deck performs with fatigue cracks during most of its design service life.Although fatigue capacity is acceptable under design situations,overloading or understrength may increase its risk of failure.The method presented in this work can be applied to similar bridges for preliminary fatigue assessment.