It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre hav...It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.展开更多
High pressure and water-bearing caverns ahead of a karst tunnel face tend to cause geological disasters, such as water and mud bursts. So, the determination of safe thickness of the reserved rock plug is a key technic...High pressure and water-bearing caverns ahead of a karst tunnel face tend to cause geological disasters, such as water and mud bursts. So, the determination of safe thickness of the reserved rock plug is a key technical problem to be solved for karst tunnel construction. Based on the Hoek-Brown nonlinear failure criterion, the minimum safe thickness of rock plug was investigated in the light of the limit analysis theory. On the basis of the proposed failure mode, the expression of the minimum thickness for rock plug was obtained by means of upper bound theorem in combination with variational principle. The calculation results show the influence of each parameter on safe thickness and reveal the damage range of rock plug. The proposed method is verified by comparing the results with those of the drain cavern of Maluqing Tunnel. The research shows that with the increase of compressive strength and tensile strength as well as constant A of Hoek-Brown criterion, the safe thickness decreases, whereas with the increase of cavern pressure, tunnel diameter, and constant B from Hoek-Brown criterion, the safe thickness increases. Besides, the tensile strength, or constants A and B affect the shear failure angle of rock plug structure, but other parameters do not. In conclusion, the proposed method can predict the minimum safe thickness of rock plug, and is useful for water burst study and prevention measures of tunnels constructed in high-risk karst regions.展开更多
Inspired by the traditional Wold's nonlinear PLS algorithm comprises of NIPALS approach and a spline inner function model,a novel nonlinear partial least squares algorithm based on spline kernel(named SK-PLS)is pr...Inspired by the traditional Wold's nonlinear PLS algorithm comprises of NIPALS approach and a spline inner function model,a novel nonlinear partial least squares algorithm based on spline kernel(named SK-PLS)is proposed for nonlinear modeling in the presence of multicollinearity.Based on the inner-product kernel spanned by the spline basis functions with infinite number of nodes,this method firstly maps the input data into a high-dimensional feature space,and then calculates a linear PLS model with reformed NIPALS procedure in the feature space and gives a unified framework of traditional PLS "kernel" algorithms in consequence.The linear PLS in the feature space corresponds to a nonlinear PLS in the original input(primal)space.The good approximating property of spline kernel function enhances the generalization ability of the novel model,and two numerical experiments are given to illustrate the feasibility of the proposed method.展开更多
Constructed rhizofiltration is a relatively new technology and has potential in agricultural wastewater treatment. It has been reported to reduce heavy metals in wastewater but no substantive work has been reported ab...Constructed rhizofiltration is a relatively new technology and has potential in agricultural wastewater treatment. It has been reported to reduce heavy metals in wastewater but no substantive work has been reported about its ability to remove nitrogen and phosphorus, particularly in agricultural wastewater. If this technology＇s worth in nutrient removal from wastewater can be proved, it can save time as well as reducing wastewater treatment cost. Influent and effluent nitrogen and phosphate concentrations in the constructed rhizofiltration were measured and it was found that there was a significant difference between the two water samples （P = 0.01）. It was also found that more nitrogen and phosphate were retained by planted region （P = 0.01） compared to unplanted （P = 0.02）, demonstrating high removal efficiency in the planted region than in the unplanted region. Eighty six percent （86%） removal efficiency of phosphorus was achieved at some points in the planted region while 71% was achieved for nitrogen. These results indicate that constructed rhizofiltration systems, if properly constructed and planted with macrophytes and maintained, can be used for nitrogen and phosphorus removal in wastewater and thus could be used as an alternative technology for agricultural wastewater treatment.展开更多
A new class of support vector machine, nil-support vector machine, isdiscussed which can handle both classification and regression. We focus on nu-support vector machineregression and use it for phase space prediction...A new class of support vector machine, nil-support vector machine, isdiscussed which can handle both classification and regression. We focus on nu-support vector machineregression and use it for phase space prediction of chaotic time series. The effectiveness of themethod is demonstrated by applying it to the Henon map. This study also compares nu-support vectormachine with back propagation (BP) networks in order to better evaluate the performance of theproposed methods. The experimental results show that the nu-support vector machine regressionobtains lower root mean squared error than the BP networks and provides an accurate chaotic timeseries prediction. These results can be attributable to the fact that nu-support vector machineimplements the structural risk minimization principle and this leads to better generalization thanthe BP networks.展开更多
As a result of longer term exploitation, exposure to severe weather conditions or influence of chemical conditions, concrete walls of concrete structures get damaged internally as well as externally. This study includ...As a result of longer term exploitation, exposure to severe weather conditions or influence of chemical conditions, concrete walls of concrete structures get damaged internally as well as externally. This study includes a preliminary analysis of chemically treated water in existing concrete structures, and another after the application of the method and using materials for the structures in future. One of the priorities was to examine the existing concrete structures by using nondestructive and destructive methods. After that, based on the results of the analysis, adequate new materials are proposed for the repairs, most commonly new technology polymer carbonated materials, in order to achieve durability of structure elements in using technological processes. Behavior of the repairing structures was tested using the in situ methods, and especially pull-of test, to verify the adhesion force between the old concrete structures and new applied layer. After the repairing, the concrete structures will be monitored to record the behavior under the chemical treated water.展开更多
The DDA-Ⅱ process aimed at manufacture of diesel fuel meeting the Euro-Ⅳ emission standard from inferior diesel feedstock has been developed and tested in pilot scale. This technology adopts non-noble metal catalyst...The DDA-Ⅱ process aimed at manufacture of diesel fuel meeting the Euro-Ⅳ emission standard from inferior diesel feedstock has been developed and tested in pilot scale. This technology adopts non-noble metal catalysts and a highly integrated two-stage process scheme featuring low investment and operating cost and convenience in operation. Under an appropriate process regime the DDA-Ⅱ technology can process FCC LCO, a blend of straight-run diesel and FCC LCO, or the SR diesel to yield the diesel product streams meeting the Euro-Ⅳ or even higher emission standards.展开更多
Initially, Osgood used the integral ∫dr/f（r）for an unicity crite, rion to the differential equation y＇ = f（y）, f （0） = 0. The trivial solution is unique iff this integral goes to the infinite at the origin. Th...Initially, Osgood used the integral ∫dr/f（r）for an unicity crite, rion to the differential equation y＇ = f（y）, f （0） = 0. The trivial solution is unique iff this integral goes to the infinite at the origin. Then he can prove the unicity of the trivial solution of y＇ = y Ln｜Y｜, although the second member is not lipschitzian. Later, Bernfeld [1] shows that all the solutions of y＇ = f（y） do not explose iffthe same integral goes to the infinite at the infinite. Finally, we can adapt a result from the Cauchy works as follows： the trivial solution is a singular solution iffthe same integral vanishes at the origin. Using non standard analysis, we present the proofs of the different criterions and show that the Osgood integral was used by Cauchy before in the similar purpose.展开更多
文摘It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.
基金Project(2013CB036004)supported by the National Basic Research Program of ChinaProject(51378510)supported by the National Natural Science Foundation of ChinaProject(CX2014B069)supported by Hunan Provincial Innovation Foundation for Postgraduate,China
文摘High pressure and water-bearing caverns ahead of a karst tunnel face tend to cause geological disasters, such as water and mud bursts. So, the determination of safe thickness of the reserved rock plug is a key technical problem to be solved for karst tunnel construction. Based on the Hoek-Brown nonlinear failure criterion, the minimum safe thickness of rock plug was investigated in the light of the limit analysis theory. On the basis of the proposed failure mode, the expression of the minimum thickness for rock plug was obtained by means of upper bound theorem in combination with variational principle. The calculation results show the influence of each parameter on safe thickness and reveal the damage range of rock plug. The proposed method is verified by comparing the results with those of the drain cavern of Maluqing Tunnel. The research shows that with the increase of compressive strength and tensile strength as well as constant A of Hoek-Brown criterion, the safe thickness decreases, whereas with the increase of cavern pressure, tunnel diameter, and constant B from Hoek-Brown criterion, the safe thickness increases. Besides, the tensile strength, or constants A and B affect the shear failure angle of rock plug structure, but other parameters do not. In conclusion, the proposed method can predict the minimum safe thickness of rock plug, and is useful for water burst study and prevention measures of tunnels constructed in high-risk karst regions.
文摘Inspired by the traditional Wold's nonlinear PLS algorithm comprises of NIPALS approach and a spline inner function model,a novel nonlinear partial least squares algorithm based on spline kernel(named SK-PLS)is proposed for nonlinear modeling in the presence of multicollinearity.Based on the inner-product kernel spanned by the spline basis functions with infinite number of nodes,this method firstly maps the input data into a high-dimensional feature space,and then calculates a linear PLS model with reformed NIPALS procedure in the feature space and gives a unified framework of traditional PLS "kernel" algorithms in consequence.The linear PLS in the feature space corresponds to a nonlinear PLS in the original input(primal)space.The good approximating property of spline kernel function enhances the generalization ability of the novel model,and two numerical experiments are given to illustrate the feasibility of the proposed method.
文摘Constructed rhizofiltration is a relatively new technology and has potential in agricultural wastewater treatment. It has been reported to reduce heavy metals in wastewater but no substantive work has been reported about its ability to remove nitrogen and phosphorus, particularly in agricultural wastewater. If this technology＇s worth in nutrient removal from wastewater can be proved, it can save time as well as reducing wastewater treatment cost. Influent and effluent nitrogen and phosphate concentrations in the constructed rhizofiltration were measured and it was found that there was a significant difference between the two water samples （P = 0.01）. It was also found that more nitrogen and phosphate were retained by planted region （P = 0.01） compared to unplanted （P = 0.02）, demonstrating high removal efficiency in the planted region than in the unplanted region. Eighty six percent （86%） removal efficiency of phosphorus was achieved at some points in the planted region while 71% was achieved for nitrogen. These results indicate that constructed rhizofiltration systems, if properly constructed and planted with macrophytes and maintained, can be used for nitrogen and phosphorus removal in wastewater and thus could be used as an alternative technology for agricultural wastewater treatment.
文摘A new class of support vector machine, nil-support vector machine, isdiscussed which can handle both classification and regression. We focus on nu-support vector machineregression and use it for phase space prediction of chaotic time series. The effectiveness of themethod is demonstrated by applying it to the Henon map. This study also compares nu-support vectormachine with back propagation (BP) networks in order to better evaluate the performance of theproposed methods. The experimental results show that the nu-support vector machine regressionobtains lower root mean squared error than the BP networks and provides an accurate chaotic timeseries prediction. These results can be attributable to the fact that nu-support vector machineimplements the structural risk minimization principle and this leads to better generalization thanthe BP networks.
文摘As a result of longer term exploitation, exposure to severe weather conditions or influence of chemical conditions, concrete walls of concrete structures get damaged internally as well as externally. This study includes a preliminary analysis of chemically treated water in existing concrete structures, and another after the application of the method and using materials for the structures in future. One of the priorities was to examine the existing concrete structures by using nondestructive and destructive methods. After that, based on the results of the analysis, adequate new materials are proposed for the repairs, most commonly new technology polymer carbonated materials, in order to achieve durability of structure elements in using technological processes. Behavior of the repairing structures was tested using the in situ methods, and especially pull-of test, to verify the adhesion force between the old concrete structures and new applied layer. After the repairing, the concrete structures will be monitored to record the behavior under the chemical treated water.
文摘The DDA-Ⅱ process aimed at manufacture of diesel fuel meeting the Euro-Ⅳ emission standard from inferior diesel feedstock has been developed and tested in pilot scale. This technology adopts non-noble metal catalysts and a highly integrated two-stage process scheme featuring low investment and operating cost and convenience in operation. Under an appropriate process regime the DDA-Ⅱ technology can process FCC LCO, a blend of straight-run diesel and FCC LCO, or the SR diesel to yield the diesel product streams meeting the Euro-Ⅳ or even higher emission standards.
文摘Initially, Osgood used the integral ∫dr/f（r）for an unicity crite, rion to the differential equation y＇ = f（y）, f （0） = 0. The trivial solution is unique iff this integral goes to the infinite at the origin. Then he can prove the unicity of the trivial solution of y＇ = y Ln｜Y｜, although the second member is not lipschitzian. Later, Bernfeld [1] shows that all the solutions of y＇ = f（y） do not explose iffthe same integral goes to the infinite at the infinite. Finally, we can adapt a result from the Cauchy works as follows： the trivial solution is a singular solution iffthe same integral vanishes at the origin. Using non standard analysis, we present the proofs of the different criterions and show that the Osgood integral was used by Cauchy before in the similar purpose.
