The strategy that replacing part of MnS with BN was proposed in order to decrease the sulfur content in sulfur based free-cutting steel. The effects of BN and MnS inclusions on the microstructure and machinability of ...The strategy that replacing part of MnS with BN was proposed in order to decrease the sulfur content in sulfur based free-cutting steel. The effects of BN and MnS inclusions on the microstructure and machinability of the steel were systematically investigated. The results show that most of the BN and MnS inclusions exist individually in the steel and only a small amount of them are in a composite state form- ing either isolated particles or clusters of particles. In the case of multi-phased steel, the theoretical calculation predicts that the volume of large BN particles should be 0.7 times of the volume of large MnS particles. The machinability of this type of BN and MnS alloy steel over a wide range of cutting speeds ranging from a low speed appropriate for drilling to a high speed appropriate for turning is confirmed as being equal to or superior to that of an MnS reference steel, even though the sulfur content in the composite steel is only half that of the MnS steel. The aptitude for cutting effect of 240 ppm nitrogen and 115 ppm boron in the composite steel is demonstrated to be equivalent or even better than 1000 ppm sulfur in MnS free-cutting steel.展开更多
Based on the principles of differential geometry,the basic equations are derived for generating gouging free tool path in 5-axis NC face milling,the influence of surface's local geometry is discussed,and the condi...Based on the principles of differential geometry,the basic equations are derived for generating gouging free tool path in 5-axis NC face milling,the influence of surface's local geometry is discussed,and the conditions of using cutter with reasonable diameter are presented.展开更多
Resolution modulo is an extension of first-order resolution in which rewrite rules are used to rewrite clauses during the search. In the first version of this method, clauses are rewritten to arbitrary propositions. T...Resolution modulo is an extension of first-order resolution in which rewrite rules are used to rewrite clauses during the search. In the first version of this method, clauses are rewritten to arbitrary propositions. These propositions are needed to be dynamically transformed into clauses. This unpleasant feature can be eliminated when the rewrite system is clausal, i.e., when it rewrites clauses to clauses. We show in this paper how to transform any rewrite system into a clausal one, preserving the existence of cut free proofs of any sequent.展开更多
基金financially supported by the National Natural Science Foundation of China(No.51274029)the China Postdoctoral Science Foundation(No.2012M 510319)the State Key Laboratory of Advanced Metallurgy Foundation(No.41602014)
文摘The strategy that replacing part of MnS with BN was proposed in order to decrease the sulfur content in sulfur based free-cutting steel. The effects of BN and MnS inclusions on the microstructure and machinability of the steel were systematically investigated. The results show that most of the BN and MnS inclusions exist individually in the steel and only a small amount of them are in a composite state form- ing either isolated particles or clusters of particles. In the case of multi-phased steel, the theoretical calculation predicts that the volume of large BN particles should be 0.7 times of the volume of large MnS particles. The machinability of this type of BN and MnS alloy steel over a wide range of cutting speeds ranging from a low speed appropriate for drilling to a high speed appropriate for turning is confirmed as being equal to or superior to that of an MnS reference steel, even though the sulfur content in the composite steel is only half that of the MnS steel. The aptitude for cutting effect of 240 ppm nitrogen and 115 ppm boron in the composite steel is demonstrated to be equivalent or even better than 1000 ppm sulfur in MnS free-cutting steel.
文摘Based on the principles of differential geometry,the basic equations are derived for generating gouging free tool path in 5-axis NC face milling,the influence of surface's local geometry is discussed,and the conditions of using cutter with reasonable diameter are presented.
基金Supported by the French National Research Agency–National Natural Science Foundation of China under Grant No.61161130530National Natural Science Foundation of China under Grant No.60833001
文摘Resolution modulo is an extension of first-order resolution in which rewrite rules are used to rewrite clauses during the search. In the first version of this method, clauses are rewritten to arbitrary propositions. These propositions are needed to be dynamically transformed into clauses. This unpleasant feature can be eliminated when the rewrite system is clausal, i.e., when it rewrites clauses to clauses. We show in this paper how to transform any rewrite system into a clausal one, preserving the existence of cut free proofs of any sequent.
