计算命题公式的极小模型在人工智能推理系统中是一项必不可少的任务.然而,即使是正CNF(conjunctive normal form)公式,其极小模型的计算和验证都不是易处理的.当前,计算CNF公式极小模型的主要方法之一是将其转换为析取逻辑程序后用回答...计算命题公式的极小模型在人工智能推理系统中是一项必不可少的任务.然而,即使是正CNF(conjunctive normal form)公式,其极小模型的计算和验证都不是易处理的.当前,计算CNF公式极小模型的主要方法之一是将其转换为析取逻辑程序后用回答集程序(answer set programming,ASP)求解器计算其稳定模型回答集.针对计算CNF公式的极小模型的问题,提出一种基于可满足性问题(satisfiability problem,SAT)求解器的计算极小模型的方法MMSAT;然后结合最近基于极小归约的极小模型验证算法CheckMinMR,提出了基于极小模型分解的计算极小模型方法MRSAT;最后对随机生成的大量的3CNF公式和SAT国际竞赛上的部分工业基准测试用例进行测试.实验结果表明:MMSAT和MRSAT对随机3CNF公式和SAT工业测试用例都是有效的,且计算极小模型的速度都明显快于最新版的clingo,并且在SAT工业实例上发现了clingo有计算出错的情况,而MMSAT和MRSAT则更稳定.展开更多
Negative Poisson ratio(NPR)steel is a new material with high strength and toughness.This study conducted tensile tests at elevated temperatures to investigate the mechanical properties of NPR steel at high temperature...Negative Poisson ratio(NPR)steel is a new material with high strength and toughness.This study conducted tensile tests at elevated temperatures to investigate the mechanical properties of NPR steel at high temperatures.The stress−strain curve,ultimate strength,yield strength,modulus of elasticity,elongation after fracture,and percentage reduction of area of NPR steel bars were measured at 9 different temperatures ranging from 20 to 800℃.The experimental results indicate that high-temperature environments significantly affect the mechanical properties of NPR steel.However,compared to other types of steel,NPR steel exhibits better resistance to deformation.When the test temperature is below 700℃,NPR steel exhibits a ductile fracture characteristic,while at 800℃,it exhibits a brittle fracture characteristic.Finally,based on the experimental findings,a constitutive model suitable for NPR steel at high temperatures is proposed.展开更多
Aiming at the problem that infrared small target detection faces low contrast between the background and the target and insufficient noise suppression ability under the complex cloud background,an infrared small targe...Aiming at the problem that infrared small target detection faces low contrast between the background and the target and insufficient noise suppression ability under the complex cloud background,an infrared small target detection method based on the tensor nuclear norm and direction residual weighting was proposed.Based on converting the infrared image into an infrared patch tensor model,from the perspective of the low-rank nature of the background tensor,and taking advantage of the difference in contrast between the background and the target in different directions,we designed a double-neighborhood local contrast based on direction residual weighting method(DNLCDRW)combined with the partial sum of tensor nuclear norm(PSTNN)to achieve effective background suppression and recovery of infrared small targets.Experiments show that the algorithm is effective in suppressing the background and improving the detection ability of the target.展开更多
The macro modeling and the solution of traffic flow with road width were investigated.Firstly,a new macro model with the consideration of road width was proposed.Secondly,the effects of road width on uniform flow and ...The macro modeling and the solution of traffic flow with road width were investigated.Firstly,a new macro model with the consideration of road width was proposed.Secondly,the effects of road width on uniform flow and small perturbation were studied.The analytical and numerical results show that widening (shrinking) road can enhance (reduce) the equilibrium speed and flow,and the increments (decrements) will increase with the absolute value of road width gradient.In addition,the numerical results illustrate that the new model can describe the effects of road width on the evolutions of uniform flow and small perturbation.展开更多
To keep the tunnel face stable is very important for tunnel construction.In this paper,the tunnel face stability under the advanced pipe was analyzed using the Winkler foundation model and rigid limit equilibrium.The ...To keep the tunnel face stable is very important for tunnel construction.In this paper,the tunnel face stability under the advanced pipe was analyzed using the Winkler foundation model and rigid limit equilibrium.The tunnel face deformation characteristics were also analyzed using the numerical simulation.The influence of parameters on the deflection of the pipe roof and the stability of the tunnel face were discussed.The results show that the tunnel face stability can be improved through increasing the pipe diameter,decreasing the initial displacement at the beginning of the pipe seat,and adopting the short round length and small excavation height.With the increase of tunnel burial depth,the safety factor of tunnel face stability first decreases,then increases,and then remains unchanged.The deformation at the center of the tunnel face is larger than the deformation at the surround sides and at the corner.The horizontal displacement varies little with the increasing of the pipe length.The horizontal displacement at the center of the tunnel face increases with the increase of the pipe ring spacing and the pipe longitudinal spacing.There is an optimum external angle.展开更多
To protect trains against strong cross-wind along Qinghai-Tibet railway, a strong wind speed monitoring and warning system was developed. And to obtain high-precision wind speed short-term forecasting values for the s...To protect trains against strong cross-wind along Qinghai-Tibet railway, a strong wind speed monitoring and warning system was developed. And to obtain high-precision wind speed short-term forecasting values for the system to make more accurate scheduling decision, two optimization algorithms were proposed. Using them to make calculative examples for actual wind speed time series from the 18th meteorological station, the results show that: the optimization algorithm based on wavelet analysis method and improved time series analysis method can attain high-precision multi-step forecasting values, the mean relative errors of one-step, three-step, five-step and ten-step forecasting are only 0.30%, 0.75%, 1.15% and 1.65%, respectively. The optimization algorithm based on wavelet analysis method and Kalman time series analysis method can obtain high-precision one-step forecasting values, the mean relative error of one-step forecasting is reduced by 61.67% to 0.115%. The two optimization algorithms both maintain the modeling simple character, and can attain prediction explicit equations after modeling calculation.展开更多
Leakage is one of the most important reasons for failure of hydraulic systems.The accurate positioning of leakage is of great significance to ensure the safe and reliable operation of hydraulic systems.For early stage...Leakage is one of the most important reasons for failure of hydraulic systems.The accurate positioning of leakage is of great significance to ensure the safe and reliable operation of hydraulic systems.For early stage of leakage,the pressure of the hydraulic circuit does not change obviously and therefore cannot be monitored by pressure sensors.Meanwhile,the pressure of the hydraulic circuit changes frequently due to the influence of load and state of the switch,which further reduces the accuracy of leakage localization.In the work,a novel Bayesian networks(BNs)-based data-driven early leakage localization approach for multi-valve systems is proposed.Wavelet transform is used for signal noise reduction and BNs-based leak localization model is used to identify the location of leakage.A normalization model is developed to improve the robustness of the leakage localization model.A hydraulic system with eight valves is used to demonstrate the application of the proposed early micro-leakage detection and localization approach.展开更多
Although multi-stage incremental sheet forming has always been adopted instead of single-stage forming to form parts with a steep wall angle or to achieve a high forming performance, it is largely dependent on empiric...Although multi-stage incremental sheet forming has always been adopted instead of single-stage forming to form parts with a steep wall angle or to achieve a high forming performance, it is largely dependent on empirical designs. In order to research multi-stage forming further, the effect of forming stages(n) and angle interval between the two adjacent stages(Δα) on thickness distribution was investigated. Firstly, a finite element method(FEM) model of multi-stage incremental forming was established and experimentally verified. Then, based on the proposed simulation model, different strategies were adopted to form a frustum of cone with wall angle of 30° to research the thickness distribution of multi-pass forming. It is proved that the minimum thickness increases largely and the variance of sheet thickness decreases significantly as the value of n grows. Further, with the increase of Δα, the minimum thickness increases initially and then decreases, and the optimal thickness distribution is achieved with Δα of 10°.Additionally, a formula is deduced to estimate the sheet thickness after multi-stage forming and proved to be effective. And the simulation results fit well with the experimental results.展开更多
The center cutter of a hard rock tunnel boring machine(TBM) is installed on the cutterhead at a small radius and thus bears complex side force.Given this fact,the formation mechanism and change law of the side force s...The center cutter of a hard rock tunnel boring machine(TBM) is installed on the cutterhead at a small radius and thus bears complex side force.Given this fact,the formation mechanism and change law of the side force suffered by the center cutter were studied.Based on the rock shear failure criterion in combination with the lateral rolling width,a model for predicting the average side force was set up.Besides,a numerical analysis model of the rock fragmentation of the center cutter was established,and the instantaneous load changing features were investigated.Results shows that the inner side of the center cutter can form lateral rolling annulus in rock during the rotary cutting process.The smaller the installation radius is,the greater the cutter side force will be.In a working condition,the side force of the innermost center cutter is 11.66 k N,while it decreases sharply when installation radius increases.Variation tends to be gentle when installation radius is larger than 500 mm,and the side force of the outermost center cutter is reduced to 0.74 k N.展开更多
文摘计算命题公式的极小模型在人工智能推理系统中是一项必不可少的任务.然而,即使是正CNF(conjunctive normal form)公式,其极小模型的计算和验证都不是易处理的.当前,计算CNF公式极小模型的主要方法之一是将其转换为析取逻辑程序后用回答集程序(answer set programming,ASP)求解器计算其稳定模型回答集.针对计算CNF公式的极小模型的问题,提出一种基于可满足性问题(satisfiability problem,SAT)求解器的计算极小模型的方法MMSAT;然后结合最近基于极小归约的极小模型验证算法CheckMinMR,提出了基于极小模型分解的计算极小模型方法MRSAT;最后对随机生成的大量的3CNF公式和SAT国际竞赛上的部分工业基准测试用例进行测试.实验结果表明:MMSAT和MRSAT对随机3CNF公式和SAT工业测试用例都是有效的,且计算极小模型的速度都明显快于最新版的clingo,并且在SAT工业实例上发现了clingo有计算出错的情况,而MMSAT和MRSAT则更稳定.
基金Projects(41702320,52104125)supported by the National Natural Science Foundation of ChinaProject(ZR2021MD005)+2 种基金supported by the Natural Science Foundation of Shandong Province,ChinaProject(TMduracon2022002)supported by the Engineering Research Center of Marine Environmental Concrete Technology,Ministry of Education,China。
文摘Negative Poisson ratio(NPR)steel is a new material with high strength and toughness.This study conducted tensile tests at elevated temperatures to investigate the mechanical properties of NPR steel at high temperatures.The stress−strain curve,ultimate strength,yield strength,modulus of elasticity,elongation after fracture,and percentage reduction of area of NPR steel bars were measured at 9 different temperatures ranging from 20 to 800℃.The experimental results indicate that high-temperature environments significantly affect the mechanical properties of NPR steel.However,compared to other types of steel,NPR steel exhibits better resistance to deformation.When the test temperature is below 700℃,NPR steel exhibits a ductile fracture characteristic,while at 800℃,it exhibits a brittle fracture characteristic.Finally,based on the experimental findings,a constitutive model suitable for NPR steel at high temperatures is proposed.
基金Supported by the Key Laboratory Fund for Equipment Pre-Research(6142207210202)。
文摘Aiming at the problem that infrared small target detection faces low contrast between the background and the target and insufficient noise suppression ability under the complex cloud background,an infrared small target detection method based on the tensor nuclear norm and direction residual weighting was proposed.Based on converting the infrared image into an infrared patch tensor model,from the perspective of the low-rank nature of the background tensor,and taking advantage of the difference in contrast between the background and the target in different directions,we designed a double-neighborhood local contrast based on direction residual weighting method(DNLCDRW)combined with the partial sum of tensor nuclear norm(PSTNN)to achieve effective background suppression and recovery of infrared small targets.Experiments show that the algorithm is effective in suppressing the background and improving the detection ability of the target.
基金Project(NCET-08-0038) supported by the Program for New Century Excellent Talents in Chinese UniversityProjects(70701002,70971007 and 70521001) supported by the National Natural Science Foundation of ChinaProject(2006CB705503) supported by the National Basic Research Program of China
文摘The macro modeling and the solution of traffic flow with road width were investigated.Firstly,a new macro model with the consideration of road width was proposed.Secondly,the effects of road width on uniform flow and small perturbation were studied.The analytical and numerical results show that widening (shrinking) road can enhance (reduce) the equilibrium speed and flow,and the increments (decrements) will increase with the absolute value of road width gradient.In addition,the numerical results illustrate that the new model can describe the effects of road width on the evolutions of uniform flow and small perturbation.
基金Project(20A187)supported by the Hunan Provincial Department of Education,ChinaProjects(51408216,51308209)supported by the National Natural Science Foundation of China。
文摘To keep the tunnel face stable is very important for tunnel construction.In this paper,the tunnel face stability under the advanced pipe was analyzed using the Winkler foundation model and rigid limit equilibrium.The tunnel face deformation characteristics were also analyzed using the numerical simulation.The influence of parameters on the deflection of the pipe roof and the stability of the tunnel face were discussed.The results show that the tunnel face stability can be improved through increasing the pipe diameter,decreasing the initial displacement at the beginning of the pipe seat,and adopting the short round length and small excavation height.With the increase of tunnel burial depth,the safety factor of tunnel face stability first decreases,then increases,and then remains unchanged.The deformation at the center of the tunnel face is larger than the deformation at the surround sides and at the corner.The horizontal displacement varies little with the increasing of the pipe length.The horizontal displacement at the center of the tunnel face increases with the increase of the pipe ring spacing and the pipe longitudinal spacing.There is an optimum external angle.
基金Project(2006BAC07B03) supported by the National Key Technology R & D Program of ChinaProject(2006G040-A) supported by the Foundation of the Science and Technology Section of Ministry of RailwayProject(2008yb044) supported by the Foundation of Excellent Doctoral Dissertation of Central South University
文摘To protect trains against strong cross-wind along Qinghai-Tibet railway, a strong wind speed monitoring and warning system was developed. And to obtain high-precision wind speed short-term forecasting values for the system to make more accurate scheduling decision, two optimization algorithms were proposed. Using them to make calculative examples for actual wind speed time series from the 18th meteorological station, the results show that: the optimization algorithm based on wavelet analysis method and improved time series analysis method can attain high-precision multi-step forecasting values, the mean relative errors of one-step, three-step, five-step and ten-step forecasting are only 0.30%, 0.75%, 1.15% and 1.65%, respectively. The optimization algorithm based on wavelet analysis method and Kalman time series analysis method can obtain high-precision one-step forecasting values, the mean relative error of one-step forecasting is reduced by 61.67% to 0.115%. The two optimization algorithms both maintain the modeling simple character, and can attain prediction explicit equations after modeling calculation.
基金Project(51779267)supported by the National Natural Science Foundation of ChinaProject(2019YFE0105100)supported by the National Key Research and Development Program of China+2 种基金Project(tsqn201909063)supported by the Taishan Scholars Project,ChinaProject(20CX02301A)supported by the Fundamental Research Funds for the Central Universities,ChinaProject(2019KJB016)supported by the Science and Technology Support Plan for Youth Innovation of Universities in Shandong Province,China。
文摘Leakage is one of the most important reasons for failure of hydraulic systems.The accurate positioning of leakage is of great significance to ensure the safe and reliable operation of hydraulic systems.For early stage of leakage,the pressure of the hydraulic circuit does not change obviously and therefore cannot be monitored by pressure sensors.Meanwhile,the pressure of the hydraulic circuit changes frequently due to the influence of load and state of the switch,which further reduces the accuracy of leakage localization.In the work,a novel Bayesian networks(BNs)-based data-driven early leakage localization approach for multi-valve systems is proposed.Wavelet transform is used for signal noise reduction and BNs-based leak localization model is used to identify the location of leakage.A normalization model is developed to improve the robustness of the leakage localization model.A hydraulic system with eight valves is used to demonstrate the application of the proposed early micro-leakage detection and localization approach.
基金Project(51005258) supported by the National Natural Science Foundation of ChinaProject(CDJZR12130065) supported by the Fundamental Research Funds for the Central Universities,China
文摘Although multi-stage incremental sheet forming has always been adopted instead of single-stage forming to form parts with a steep wall angle or to achieve a high forming performance, it is largely dependent on empirical designs. In order to research multi-stage forming further, the effect of forming stages(n) and angle interval between the two adjacent stages(Δα) on thickness distribution was investigated. Firstly, a finite element method(FEM) model of multi-stage incremental forming was established and experimentally verified. Then, based on the proposed simulation model, different strategies were adopted to form a frustum of cone with wall angle of 30° to research the thickness distribution of multi-pass forming. It is proved that the minimum thickness increases largely and the variance of sheet thickness decreases significantly as the value of n grows. Further, with the increase of Δα, the minimum thickness increases initially and then decreases, and the optimal thickness distribution is achieved with Δα of 10°.Additionally, a formula is deduced to estimate the sheet thickness after multi-stage forming and proved to be effective. And the simulation results fit well with the experimental results.
基金Project (2013CB035401) supported by the National Basic Research Program of ChinaProject (51475478) supported by the National Natural Science Foundation of ChinaProject (2012AA041803) supported by the High-Tech Research and Development Program of China
文摘The center cutter of a hard rock tunnel boring machine(TBM) is installed on the cutterhead at a small radius and thus bears complex side force.Given this fact,the formation mechanism and change law of the side force suffered by the center cutter were studied.Based on the rock shear failure criterion in combination with the lateral rolling width,a model for predicting the average side force was set up.Besides,a numerical analysis model of the rock fragmentation of the center cutter was established,and the instantaneous load changing features were investigated.Results shows that the inner side of the center cutter can form lateral rolling annulus in rock during the rotary cutting process.The smaller the installation radius is,the greater the cutter side force will be.In a working condition,the side force of the innermost center cutter is 11.66 k N,while it decreases sharply when installation radius increases.Variation tends to be gentle when installation radius is larger than 500 mm,and the side force of the outermost center cutter is reduced to 0.74 k N.
