In order to perfectly reflect the dynamic corrosion of reinforced concrete (RC) cover in practical engineering,an analytic model of non-uniform corrosion induced cracking was presented based on the elastic-plastic fra...In order to perfectly reflect the dynamic corrosion of reinforced concrete (RC) cover in practical engineering,an analytic model of non-uniform corrosion induced cracking was presented based on the elastic-plastic fracture mechanics theory.Comparisons with the published experimental data show that the predictions given by the present model are in good agreement with the results both for natural exposed experiments and short-time indoor tests (the best difference is about 2.7%).Also it obviously provides much better precision than those models under the assumption of uniform corrosion (the maximal improved precision is about 48%).Therefore,it is pointed out that the so-called uniform corrosion models to describe the cover cracking of RC should be adopted cautiously.Finally,the influences of thickness of local rusty layer around the reinforcing steel bar on the critical corrosion-induced crack indexes were investigated.It is found that the thickness of local rusty layer has great effect on the critical mass loss of reinforcing steel,threshold expansion pressure,and time to cover cracking.For local rusty layer thickness with a size of a=0.5 mm,the time to cover cracking will increase by about one times when a/b (a,semi-minor axis;b,semi-major axis) changes from 0.1 to 1 mm.展开更多
By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain sy...By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.展开更多
基金Project(50925829) supported by the National Science Fund for Distinguished Young Scholars of ChinaProject(50908148) supported by the National Natural Science Foundation of ChinaProjects(2009-K4-23,2010-11-33) supported by the Research of Ministry of Housing and Urban Rural Development of China
文摘In order to perfectly reflect the dynamic corrosion of reinforced concrete (RC) cover in practical engineering,an analytic model of non-uniform corrosion induced cracking was presented based on the elastic-plastic fracture mechanics theory.Comparisons with the published experimental data show that the predictions given by the present model are in good agreement with the results both for natural exposed experiments and short-time indoor tests (the best difference is about 2.7%).Also it obviously provides much better precision than those models under the assumption of uniform corrosion (the maximal improved precision is about 48%).Therefore,it is pointed out that the so-called uniform corrosion models to describe the cover cracking of RC should be adopted cautiously.Finally,the influences of thickness of local rusty layer around the reinforcing steel bar on the critical corrosion-induced crack indexes were investigated.It is found that the thickness of local rusty layer has great effect on the critical mass loss of reinforcing steel,threshold expansion pressure,and time to cover cracking.For local rusty layer thickness with a size of a=0.5 mm,the time to cover cracking will increase by about one times when a/b (a,semi-minor axis;b,semi-major axis) changes from 0.1 to 1 mm.
文摘By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.
