In this paper, Kirchhoff formula has been transformed from surface integral form into a line integral form. The new form of the formula can be applied to separate geometrical optical field from diffraction field, and ...In this paper, Kirchhoff formula has been transformed from surface integral form into a line integral form. The new form of the formula can be applied to separate geometrical optical field from diffraction field, and reduce the time of numerical computation greatly. Based on the new form, an analytical formula of diffraction field in the far zone has been presented for the polygonal aperture illuminated by a uniform plane wave.展开更多
Cubic equations of state(EOSs) are simple and easy at calculation. One way of improving the accuracy of a cubic EOS is through the modification of temperature-dependent energy parameter by using alpha-function.The ind...Cubic equations of state(EOSs) are simple and easy at calculation. One way of improving the accuracy of a cubic EOS is through the modification of temperature-dependent energy parameter by using alpha-function.The industrial applications of natural gas are very wide and as a result, prediction of thermodynamic properties and phase behavior of natural gas is an important part of design for such processes. In this work we develop a newα-function for the Peng-Robinson(PR) EOS with the parameters optimized especially for natural gas components.The parameters are generalized as a linear function of acentric factor. The results are compared to the predictions from original PR EOS and other α-functions in literature. It is shown that the new α-function presents a good accuracy with the average deviation of 1.42% for natural gas components.展开更多
The combined selection index used in the breeding of new Yorkshire dam line with high prolificacy according to breeding objects was formulated as /：2.272E- BVNB-0.056EBVDAYS. After 5 generations breeding, the two mai...The combined selection index used in the breeding of new Yorkshire dam line with high prolificacy according to breeding objects was formulated as /：2.272E- BVNB-0.056EBVDAYS. After 5 generations breeding, the two main selected traits such as total number of born and age at 100 kg weight was 12.17 piglets/litter and 165.18 d, respectively. The genetic improvements per generates was 0.156 and -2.198, respec- tively. The breeding objects of the new Yorkshire dam line with high prolificacy were basically reached. It indicated that the methods and index could be used in pig breeding.展开更多
To locate and quantify local damage in a simply supported bridge, in this study, we derived a rotational-angle influence line equation of a simply supported beam model with local damage. Using the diagram multiplicati...To locate and quantify local damage in a simply supported bridge, in this study, we derived a rotational-angle influence line equation of a simply supported beam model with local damage. Using the diagram multiplication method, we introduce an analytical formula for a novel damage-identification indicator, namely the diff erence of rotational-angle influence linescurvature(DRAIL-C). If the initial stiff ness of the simply supported beam is known, the analytical formula can be effectively used to determine the extent of damage under certain circumstances. We determined the effectiveness and anti-noise performance of this new damage-identification method using numerical examples of a simply supported beam, a simply supported hollow-slab bridge, and a simply supported truss bridge. The results show that the DRAIL-C is directly proportional to the moving concentrated load and inversely proportional to the distance between the bridge support and the concentrated load and the distance between the damaged truss girder and the angle measuring points. The DRAIL-C indicator is more sensitive to the damage in a steel-truss-bridge bottom chord than it is to the other elements.展开更多
Exact formulas for the power spectrum and signal-to-noise ratio (SNR) with periodic additive signal arecalculated in the linear system.Then the phenomenon of resonance is studied in detail.We show that resonancepeak a...Exact formulas for the power spectrum and signal-to-noise ratio (SNR) with periodic additive signal arecalculated in the linear system.Then the phenomenon of resonance is studied in detail.We show that resonancepeak and suppressed valley exist in the curves of the SNR versus the coefficient of self-saturation, the net gain and thecross-coupling coefficient of the laser system.展开更多
To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic （PLTL） model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata （NA...To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic （PLTL） model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata （NA） in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms （NFs）, next constructs Normal Form Graphs （NFGs） for NF formulas, and it fi- nally transforms NFGs into the NA which ac- cepts both finite words and int-mite words. The experimental data show that the new algorithm re- duces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indi- cate that the PLTL model checking technique em- ploying the new algorithm generates a smaller state space in verification of concurrent systems.展开更多
文摘In this paper, Kirchhoff formula has been transformed from surface integral form into a line integral form. The new form of the formula can be applied to separate geometrical optical field from diffraction field, and reduce the time of numerical computation greatly. Based on the new form, an analytical formula of diffraction field in the far zone has been presented for the polygonal aperture illuminated by a uniform plane wave.
文摘Cubic equations of state(EOSs) are simple and easy at calculation. One way of improving the accuracy of a cubic EOS is through the modification of temperature-dependent energy parameter by using alpha-function.The industrial applications of natural gas are very wide and as a result, prediction of thermodynamic properties and phase behavior of natural gas is an important part of design for such processes. In this work we develop a newα-function for the Peng-Robinson(PR) EOS with the parameters optimized especially for natural gas components.The parameters are generalized as a linear function of acentric factor. The results are compared to the predictions from original PR EOS and other α-functions in literature. It is shown that the new α-function presents a good accuracy with the average deviation of 1.42% for natural gas components.
基金Supported by National Science and Technology Support Plan during the Eleventh Five-year Plan(2006BAD01A08-02)Hubei Agricultural Innovation Program(2007-620-004-003)Special Fund for Modern Pig Production Technology Construction(NYCYTX-009)~~
文摘The combined selection index used in the breeding of new Yorkshire dam line with high prolificacy according to breeding objects was formulated as /：2.272E- BVNB-0.056EBVDAYS. After 5 generations breeding, the two main selected traits such as total number of born and age at 100 kg weight was 12.17 piglets/litter and 165.18 d, respectively. The genetic improvements per generates was 0.156 and -2.198, respec- tively. The breeding objects of the new Yorkshire dam line with high prolificacy were basically reached. It indicated that the methods and index could be used in pig breeding.
基金supported by the National Natural Science Foundation of China(Nos.51608245 and 51568041)Natural Science Foundation of Gansu Province(Nos.148RJZA026 and 2014GS02269)
文摘To locate and quantify local damage in a simply supported bridge, in this study, we derived a rotational-angle influence line equation of a simply supported beam model with local damage. Using the diagram multiplication method, we introduce an analytical formula for a novel damage-identification indicator, namely the diff erence of rotational-angle influence linescurvature(DRAIL-C). If the initial stiff ness of the simply supported beam is known, the analytical formula can be effectively used to determine the extent of damage under certain circumstances. We determined the effectiveness and anti-noise performance of this new damage-identification method using numerical examples of a simply supported beam, a simply supported hollow-slab bridge, and a simply supported truss bridge. The results show that the DRAIL-C is directly proportional to the moving concentrated load and inversely proportional to the distance between the bridge support and the concentrated load and the distance between the damaged truss girder and the angle measuring points. The DRAIL-C indicator is more sensitive to the damage in a steel-truss-bridge bottom chord than it is to the other elements.
基金Supported by the National Natural Science Foundation of China under Grant No.10275025 the Natural Science Foundation of Hubei Province of China under Grant No.2005ABA051
文摘Exact formulas for the power spectrum and signal-to-noise ratio (SNR) with periodic additive signal arecalculated in the linear system.Then the phenomenon of resonance is studied in detail.We show that resonancepeak and suppressed valley exist in the curves of the SNR versus the coefficient of self-saturation, the net gain and thecross-coupling coefficient of the laser system.
基金The first author of this paper would like to thank the follow- ing scholars, Prof. Joseph Sifakis, 2007 Turing Award Winner, for his invaluable help with my research and Dr. Kevin Lu at Brunel University, UK for his excellent suggestions on this paper. This work was supported by the National Natural Sci- ence Foundation of China under Grant No.61003079 the Chi- na Postdoctoral Science Foundation under Grant No. 2012M511588.
文摘To combat the well-known state-space explosion problem in Prop ositional Linear T emp o- ral Logic （PLTL） model checking, a novel algo- rithm capable of translating PLTL formulas into Nondeterministic Automata （NA） in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms （NFs）, next constructs Normal Form Graphs （NFGs） for NF formulas, and it fi- nally transforms NFGs into the NA which ac- cepts both finite words and int-mite words. The experimental data show that the new algorithm re- duces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indi- cate that the PLTL model checking technique em- ploying the new algorithm generates a smaller state space in verification of concurrent systems.
