The optimization of micro milling electrical discharge machining（EDM） process parameters of Inconel 718 alloy to achieve multiple performance characteristics such as low electrode wear,high material removal rate and...The optimization of micro milling electrical discharge machining（EDM） process parameters of Inconel 718 alloy to achieve multiple performance characteristics such as low electrode wear,high material removal rate and low working gap was investigated by the Grey-Taguchi method.The influences of peak current,pulse on-time,pulse off-time and spark gap on electrode wear（EW）,material removal rate（MRR） and working gap（WG） in the micro milling electrical discharge machining of Inconel 718 were analyzed.The experimental results show that the electrode wear decreases from 5.6×10-9 to 5.2×10-9 mm3/min,the material removal rate increases from 0.47×10-8 to 1.68×10-8 mm3/min,and the working gap decreases from 1.27 to 1.19 μm under optimal micro milling electrical discharge machining process parameters.Hence,it is clearly shown that multiple performance characteristics can be improved by using the Grey-Taguchi method.展开更多
Deleterious chlorine fluorescence was found to occur at the same frequency as the Raman scattering of 02 （1 A） and 02 （3 E）, seriously affecting the 02 （1 A） yield measurement in the reaction of chlorine with ba...Deleterious chlorine fluorescence was found to occur at the same frequency as the Raman scattering of 02 （1 A） and 02 （3 E）, seriously affecting the 02 （1 A） yield measurement in the reaction of chlorine with basic hydrogen peroxide by use of the Raman spectroscopy technique. To solve this problem we have taken advantage of the fact that Raman radiation is always strongly polarized while fluorescence is essentially non-polarized in a gaseous medium. When chlorine utilization of a singlet oxygen generator is 88%, 02（1A） yield reaches （42.4±7.4）% with the effect of chlorine fluorescence completely eliminated.展开更多
An adaptive interference cancler algorithm based on fourth-order cumulant is proposed to overcome the fault of conventional autocorrelation-based Least Mean Square (LMS)algorithm which cannot suppress the correlated G...An adaptive interference cancler algorithm based on fourth-order cumulant is proposed to overcome the fault of conventional autocorrelation-based Least Mean Square (LMS)algorithm which cannot suppress the correlated Gaussian noises. The recursive formulation of the proposed algorithm is given to reduce its computational complexity. The simulation results are presented to demonstrate the effectiveness of this novel approach.展开更多
To solve the complicated feature extraction and long distance dependency problem in Word Segmentation Disambiguation （WSD）, this paper proposes to apply rough sets ill WSD based on the Maximum Entropy model. Firstly...To solve the complicated feature extraction and long distance dependency problem in Word Segmentation Disambiguation （WSD）, this paper proposes to apply rough sets ill WSD based on the Maximum Entropy model. Firstly, rough set theory is applied to extract the complicated features and long distance features, even frnm noise or inconsistent corpus. Secondly, these features are added into the Maximum Entropy model, and consequently, the feature weights can be assigned according to the performance of the whole disambiguation mnltel. Finally, tile semantic lexicou is adopted to build class-hased rough set teatures to overcome data spareness. The experiment indicated that our method performed better than previous models, which got top rank in WSD in 863 Evaluation in 2003. This system ranked first and second respcetively in MSR and PKU open test in the Second International Chinese Word Segmentation Bankeoff held in 2005.展开更多
A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions. Given a program, inductive assertions, hypothesized as parameterized formulas in a theory, are as...A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions. Given a program, inductive assertions, hypothesized as parameterized formulas in a theory, are associated with program locations. Parameters in inductive assertions are discovered by generating constraints on parameters by ensuring that an inductive assertion is indeed preserved by all execution paths leading to the associated location of the program. The method can be used to discover loop invariants-properties of variables that remain invariant at the entry of a loop. The parameterized formula can be successively refined by considering execution paths one by one; heuristics can be developed for determining the order in which the paths are considered. Initialization of program variables as well as the precondition and postcondition, if available, can also be used to further refine the hypothesized invariant. The method does not depend on the availability of the precondition and postcondition of a program. Constraints on parameters generated in this way are solved for possible values of parameters. If no solution is possible, this means that an invariant of the hypothesized form is not likely to exist for the loop under the assumptions/approximations made to generate the associated verification condition. Otherwise, if the parametric constraints are solvable, then under certain conditions on methods for generating these constraints, the strongest possible invariant of the hypothesized form can be generated from most general solutions of the parametric constraints. The approach is illustrated using the logical languages of conjunction of polynomial equations as well as Presburger arithmetic for expressing assertions.展开更多
This paper proposes a robust auto-focus(AF) measure based on inner energy. In general, the inner energy of noise pixels is close to zero because the magnitude of gradient and the direction of the noise pixels are rand...This paper proposes a robust auto-focus(AF) measure based on inner energy. In general, the inner energy of noise pixels is close to zero because the magnitude of gradient and the direction of the noise pixels are random. Therefore, the inner energy can effectively eliminate the influence of noise on image quality assessment. But the gradients of near edge points are consistent with those of edge points, so the inner energy of edge pixels is relatively large, and the detail information of the image can be highlighted. Experimental results indicate that compared with traditional methods, the proposed method has higher accuracy, fewer local peaks, stronger robustness and better practicability. In particular, the evaluation results are close to the subjective evaluation of the human eyes. These results illustrate that the proposed method can be applied in automatic focusing.展开更多
文摘The optimization of micro milling electrical discharge machining（EDM） process parameters of Inconel 718 alloy to achieve multiple performance characteristics such as low electrode wear,high material removal rate and low working gap was investigated by the Grey-Taguchi method.The influences of peak current,pulse on-time,pulse off-time and spark gap on electrode wear（EW）,material removal rate（MRR） and working gap（WG） in the micro milling electrical discharge machining of Inconel 718 were analyzed.The experimental results show that the electrode wear decreases from 5.6×10-9 to 5.2×10-9 mm3/min,the material removal rate increases from 0.47×10-8 to 1.68×10-8 mm3/min,and the working gap decreases from 1.27 to 1.19 μm under optimal micro milling electrical discharge machining process parameters.Hence,it is clearly shown that multiple performance characteristics can be improved by using the Grey-Taguchi method.
基金This work was supported by the Knowledge Innovation Program of the Chinese Academy of Sciences （No.K2009F02） and the National Natural Science Foundation of China-Youth Science Foundation （No.20603039）. The authors thank Dr. Jing Leng, Shn-yan Du, Wen-ming Tian, and Jun-hui Wang for their helpful discussions in the experiment.
文摘Deleterious chlorine fluorescence was found to occur at the same frequency as the Raman scattering of 02 （1 A） and 02 （3 E）, seriously affecting the 02 （1 A） yield measurement in the reaction of chlorine with basic hydrogen peroxide by use of the Raman spectroscopy technique. To solve this problem we have taken advantage of the fact that Raman radiation is always strongly polarized while fluorescence is essentially non-polarized in a gaseous medium. When chlorine utilization of a singlet oxygen generator is 88%, 02（1A） yield reaches （42.4±7.4）% with the effect of chlorine fluorescence completely eliminated.
基金Supported by the National Natural Science Foundation of China(No.60232010) the Teaching and Research Award Program for Outstanding Young Teachers in Higher Educa- tion Institutions of Ministry of Education, P.R.C.
文摘An adaptive interference cancler algorithm based on fourth-order cumulant is proposed to overcome the fault of conventional autocorrelation-based Least Mean Square (LMS)algorithm which cannot suppress the correlated Gaussian noises. The recursive formulation of the proposed algorithm is given to reduce its computational complexity. The simulation results are presented to demonstrate the effectiveness of this novel approach.
文摘To solve the complicated feature extraction and long distance dependency problem in Word Segmentation Disambiguation （WSD）, this paper proposes to apply rough sets ill WSD based on the Maximum Entropy model. Firstly, rough set theory is applied to extract the complicated features and long distance features, even frnm noise or inconsistent corpus. Secondly, these features are added into the Maximum Entropy model, and consequently, the feature weights can be assigned according to the performance of the whole disambiguation mnltel. Finally, tile semantic lexicou is adopted to build class-hased rough set teatures to overcome data spareness. The experiment indicated that our method performed better than previous models, which got top rank in WSD in 863 Evaluation in 2003. This system ranked first and second respcetively in MSR and PKU open test in the Second International Chinese Word Segmentation Bankeoff held in 2005.
基金This research was partially supported by an National Science Foundation(NSF)Information Technology Research(ITR)award CCR-0113611an NSF award CCR-0203051.
文摘A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions. Given a program, inductive assertions, hypothesized as parameterized formulas in a theory, are associated with program locations. Parameters in inductive assertions are discovered by generating constraints on parameters by ensuring that an inductive assertion is indeed preserved by all execution paths leading to the associated location of the program. The method can be used to discover loop invariants-properties of variables that remain invariant at the entry of a loop. The parameterized formula can be successively refined by considering execution paths one by one; heuristics can be developed for determining the order in which the paths are considered. Initialization of program variables as well as the precondition and postcondition, if available, can also be used to further refine the hypothesized invariant. The method does not depend on the availability of the precondition and postcondition of a program. Constraints on parameters generated in this way are solved for possible values of parameters. If no solution is possible, this means that an invariant of the hypothesized form is not likely to exist for the loop under the assumptions/approximations made to generate the associated verification condition. Otherwise, if the parametric constraints are solvable, then under certain conditions on methods for generating these constraints, the strongest possible invariant of the hypothesized form can be generated from most general solutions of the parametric constraints. The approach is illustrated using the logical languages of conjunction of polynomial equations as well as Presburger arithmetic for expressing assertions.
基金supported by the National Natural Science Foundation of China(Nos.U1509207 and 61325019)
文摘This paper proposes a robust auto-focus(AF) measure based on inner energy. In general, the inner energy of noise pixels is close to zero because the magnitude of gradient and the direction of the noise pixels are random. Therefore, the inner energy can effectively eliminate the influence of noise on image quality assessment. But the gradients of near edge points are consistent with those of edge points, so the inner energy of edge pixels is relatively large, and the detail information of the image can be highlighted. Experimental results indicate that compared with traditional methods, the proposed method has higher accuracy, fewer local peaks, stronger robustness and better practicability. In particular, the evaluation results are close to the subjective evaluation of the human eyes. These results illustrate that the proposed method can be applied in automatic focusing.
