A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamica...A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF languages is not decidable, a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked. Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.展开更多
In this article a new approach for checking the adequacy of GARCH-type models in time series was proposed. The resulted tests involve weight functions, which provide them with the flexibility in choosing scores to enh...In this article a new approach for checking the adequacy of GARCH-type models in time series was proposed. The resulted tests involve weight functions, which provide them with the flexibility in choosing scores to enhance power performance. The choice of weight functions and the power properties of the tests are studied. For a large number of alternatives, asymptotically distribution-free maximin test is constructed. The tests are asymptotically chi-squared under the null hypothesis and easy to implement. Simulation results indicate that the tests perform well.展开更多
The method of characteristic(MOC) was adopted to analyze the check valve-induced water hammer behaviors for a Parallel Pumps Feedwater System(PPFS) during the alternate startup process.The motion of check valve disc w...The method of characteristic(MOC) was adopted to analyze the check valve-induced water hammer behaviors for a Parallel Pumps Feedwater System(PPFS) during the alternate startup process.The motion of check valve disc was simulated using inertial valve model.Transient parameters including the pressure oscillation,local flow velocity and slamming of the check valve disc etc.have been obtained.The results showed that severe slamming between the valve disc and valve seat occurred during the alternate startup of parallel pumps.The induced maximum pressure vibration amplitude is up to 5.0 MPa.The scheme of appending a damping torque to slow down the check valve closing speed was also performed to mitigate of water hammer.It has been numerically approved to be an effective approach.展开更多
文摘A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF languages is not decidable, a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked. Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.
基金supported by a grant from the Research Grants Council of Hong Kong.Jianhong Wu was also supported by a grant from Humanities & Social Sciences in Chinese University (07JJD790154)the Youth Talent Foundation of Zhejiang GongShang University (Q09-12)
文摘In this article a new approach for checking the adequacy of GARCH-type models in time series was proposed. The resulted tests involve weight functions, which provide them with the flexibility in choosing scores to enhance power performance. The choice of weight functions and the power properties of the tests are studied. For a large number of alternatives, asymptotically distribution-free maximin test is constructed. The tests are asymptotically chi-squared under the null hypothesis and easy to implement. Simulation results indicate that the tests perform well.
基金Supported by the national key laboratory on Bubble Physics and Natural Circulation (BNPC)the Program for New Century Excellent Talents in University (NCET-06-0837)
文摘The method of characteristic(MOC) was adopted to analyze the check valve-induced water hammer behaviors for a Parallel Pumps Feedwater System(PPFS) during the alternate startup process.The motion of check valve disc was simulated using inertial valve model.Transient parameters including the pressure oscillation,local flow velocity and slamming of the check valve disc etc.have been obtained.The results showed that severe slamming between the valve disc and valve seat occurred during the alternate startup of parallel pumps.The induced maximum pressure vibration amplitude is up to 5.0 MPa.The scheme of appending a damping torque to slow down the check valve closing speed was also performed to mitigate of water hammer.It has been numerically approved to be an effective approach.
