For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study prop...For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study proposes to investigate the stability and accuracy of the central difference method(CDM)for RTDST considering the specimen mass participation coefficient.First,the theory of the CDM for RTDST is presented.Next,the stability and accuracy of the CDM for RTDST considering the specimen mass participation coefficient are investigated.Finally,numerical simulations and experimental tests are conducted for verifying the effectiveness of the method.The study indicates that the stability of the algorithm is affected by the mass participation coefficient of the specimen,and the stability limit first increases and then decreases as the mass participation coefficient increases.In most cases,the mass participation coefficient will increase the stability limit of the algorithm,but in specific circumstances,the algorithm may lose its stability.The stability and accuracy of the CDM considering the mass participation coefficient are verified by numerical simulations and experimental tests on a three-story frame structure with a tuned liquid damper.展开更多
Non-destructive testing (NDT) of structures is one of the most important tasksof the proper maintenance and diagnosis of machines and constructions structuralcondition. NDT methods contribute to the damage tolerance p...Non-destructive testing (NDT) of structures is one of the most important tasksof the proper maintenance and diagnosis of machines and constructions structuralcondition. NDT methods contribute to the damage tolerance philosophy used in theaircraft design methodology as well as many other operation and maintenance programsof machinery and constructions. The following study is focusing on overviewing animportant group of NDT methods: the optical and other ones, which found broadapplicability in scientific and industrial studies nowadays. The paper discusses theselected most widely applicable methods, namely, visual testing, ultrasonic testing,radiographic testing, infrared thermography as well as electronic speckle patterninterferometry and shearographic testing. Besides the basic principles of testing usingthese methods, their potential applications in various industrial and technologicalbranches are broadly discussed. The analysis as categorization of the NDT methodsprovided in this paper may help in selection of such methods in diagnosis of varioustypes of structures and defects and damage occurring in these structures.展开更多
Gemstones have fascinated mankind forever,and people traveled far to find them.The Silk Road is one of the most traditional trade routes in the middle ages that was used to bring the precious stones to the European ma...Gemstones have fascinated mankind forever,and people traveled far to find them.The Silk Road is one of the most traditional trade routes in the middle ages that was used to bring the precious stones to the European market.Later,emeralds from Colombia were shipped via the ocean to the Old World.展开更多
A class of pseudo distances is used to derive test statistics using transformed data or spacings for testing goodness-of-fit for parametric models. These statistics can be considered as density based statistics and ex...A class of pseudo distances is used to derive test statistics using transformed data or spacings for testing goodness-of-fit for parametric models. These statistics can be considered as density based statistics and expressible as simple functions of spacings. It is known that when the null hypothesis is simple, the statistics follow asymptotic normal distributions without unknown parameters. In this paper we emphasize results for the null composite hypothesis: the parameters can be estimated by a generalized spacing method (GSP) first which is equivalent to minimize a pseudo distance from the class which is considered;subsequently the estimated parameters are used to replace the parameters in the pseudo distance used for estimation;goodness-of-fit statistics for the composite hypothesis can be constructed and shown to have again an asymptotic normal distribution without unknown parameters. Since these statistics are related to a discrepancy measure, these tests can be shown to be consistent in general. Furthermore, due to the simplicity of these statistics and they come a no extra cost after fitting the model, they can be considered as alternative statistics to chi-square statistics which require a choice of intervals and statistics based on empirical distribution (EDF) using the original data with a complicated null distribution which might depend on the parametric family being considered and also might depend on the vector of true parameters but EDF tests might be more powerful against some specific models which are specified by the alternative hypothesis.展开更多
Compressive strength and compressive resilience modulus are two important parameters to measure the mechanical properties of semi-rigid base.The test methods of semi-rigid base cores are different from those of the la...Compressive strength and compressive resilience modulus are two important parameters to measure the mechanical properties of semi-rigid base.The test methods of semi-rigid base cores are different from those of the laboratory samples in terms of sample acquisition,sample selection and humidity requirements.Core-drilling location,size of core sample,smoothness and humidity conditions were analyzed.The test methods of compressive strength and compressive resilience modulus were proposed.The research results show that compressive strength of lime fly-ash stabilized gravels base has a tendency of increasing during a long period.The compressive resilience modulus increases significantly with compressive strength of semi-rigid base.The compressive resilience modulus generally is 3-4 times than the recommended range of asphalt pavement design specifications.The fluctuation range of compressive resilience modulus is obviously higher than the compressive strength.The compressive resilience modulus is more sensitive to the construction variability.The overall trend between the compressive resilience modulus and the back-calculation modulus is consistent.FWD(falling weight deflectometer)back-calculation modulus can reflect the stiffness and bearing capacity of asphalt pavement.展开更多
Testing methods of instrumental system in the marine magnetic survey have been studied in this paper, and the feasibility of each method has been testified by the observed data. The conclusion shows that the method br...Testing methods of instrumental system in the marine magnetic survey have been studied in this paper, and the feasibility of each method has been testified by the observed data. The conclusion shows that the method brought out can effectively eliminate the systematic error caused by the instrumental system, and greatly improve the surveying precision and the reliability of the survey results.展开更多
Practical English Test for Colleges (PRETCO) examination is very important to higher vocational college students. Reading comprehension section, moreover, is the key part in the examination because it, in some degree,...Practical English Test for Colleges (PRETCO) examination is very important to higher vocational college students. Reading comprehension section, moreover, is the key part in the examination because it, in some degree, influences the total score of the examination. In this passage, the author is to illustrate some reading methods to help the students master the spirit of reading comprehension and grasp the methods and strategy of then so that they could get high score in this part.展开更多
Actual sea condition testing and inspection and evaluation method research are carried out for tidal energy devices to provide scientific and effective technical support for the ocean high-tech achievement transformat...Actual sea condition testing and inspection and evaluation method research are carried out for tidal energy devices to provide scientific and effective technical support for the ocean high-tech achievement transformation and marine renewable energy development. By analyzing three core indicators, including the power output characteristics of the tidal current device, the generating capacity, energy conversion efficiency, proposed the test contents and evaluation methods of indicators are proposed in this paper; and based on the research of wind farms, power quality testing and assessment methods of offshore tidal energy device are proposed; given the security access to the test contents of tidal current energy device, tidal current energy device running conditions in the testing ground are comprehensively assessed.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
It is important to quantify the effect of the root diameter, the embedment length of the root and load speed on the soil-root interface mechanical properties for studying the root anchorage. The soilroot interface mec...It is important to quantify the effect of the root diameter, the embedment length of the root and load speed on the soil-root interface mechanical properties for studying the root anchorage. The soilroot interface mechanical properties can be obtained through the pullout force and root slippage curve(F-S curve). About 120 Pinus tabulaeformis single roots whose diameters ranged from 1 mm to 10 mm divided into 6 groups based on different root embedment length(50 mm, 100 mm and 150 mm) and different load velocity(10 mm·min^(-1), 50 mm·min^(-1), 100 mm·min^(-1) and 300 mm·min^(-1)) were investigated using the pullout method. This study aims to explore the mechanical properties of the soil-root interface in the real conditions using the pullout test method. The results showed two kinds of pullout test failure modes during the experimental process: breakage failure and pullout failure. The results showed that the roots were easier to be broken when the root diameter was smaller or the loading speed was larger. The relationship between the maximum anchorage force and root diameter was linear and the linearly dependent coefficient(R^2) was larger than 0.85. The anchorage force increased with the root embedment length. An increase of 10%^(-1)5% for the maximumanchorage force was found when load speed increased from 10 to 300 mm.min^(-1). The mean peak slippage of the root was from 13.81 to 35.79 mm when the load velocity varied from 10 to 300 mm.min^(-1). The study will be helpful for the design of slopes reinforced by vegetation and in predicting risk of uprooting of trees, and will have practical benefits for understanding the mechanism of landslide.展开更多
The blind-hole method is the most widely used approach to experimentally determine the distribution of residual stress. This paper aims to improve test accuracy of welding residual stress and conducts an experimental ...The blind-hole method is the most widely used approach to experimentally determine the distribution of residual stress. This paper aims to improve test accuracy of welding residual stress and conducts an experimental study on the strain release factors involved when using the blind-hole method for Q235 and Q345, two steels commonly used in building structures. The ranges of strain release factors A and B in the elastic stage, the effects of strain release factors on residual stress calculated values, and the plastic corrected strain release factors are analyzed considering of the effect of plastic deformation around the blind hole on measurement accuracy. Finally, a simplified calculation formula to determine strain release factors is proposed for use with the blind-hole method. Results show that in the elastic stage, strain release factor A for Q235 and Q345 ranges from-0.399 to-0.525 and strain release factor B from-0.791 to-0.960. Changing the strain release factors A and B shows that calculated residual tensile stress varies in relation to a decrease in both factor values. However, there is a increase in calculated residual compressive stress with a decrease in the strain release factor A value, but there is an decrease with a decrease in strain release factor B value. Calculated residual stress applied to elastic strain release factors is compared with that applied to amended plastic strain release factors for Q235 steel. The maximum deviation between calculated residual stress and test stress is reduced from 21.1 to 1.0%,and for Q345 steel from 26.5 to 1.2%. It is thus evident that the plastic correction formula proposed in this paper can be used in calculations when conducting a residual stress test.展开更多
Due to local uneven heating during the welding process,the residual stress of the structure after welding affects the reliability of it.In order to ensure the reliability,it is of great significance to test the residu...Due to local uneven heating during the welding process,the residual stress of the structure after welding affects the reliability of it.In order to ensure the reliability,it is of great significance to test the residual stress distribution of the welded joint.It has always been the focus to find a simple and feasible method for residual stress testing to quickly and accurately obtain the residual stress distribution of welded joints.The mechanical measurement method has high measurement accuracy,convenient and easy operation,but it will cause certain damage to the components.Physical measurement method can avoid damage to components,but its test cost is usually high,and its measurement accuracy can also be affected by the material microstructure characteristics of welded components.Based on the advantages and disadvantages of these two residual stress test methods,a modal test method is proposed.This method is a non-destructive measurement method.Based on the mathematical relationship between the residual stress of the welded structure and the natural frequency(mathematical model),the natural frequency is measured through the modal test to calculate the residual stress quickly.However,it is difficult to establish a mathematical model with this method,and it is not suitable for realization.展开更多
The objective of this work is to model the microstructure of asphalt mixture and build virtual test for asphalt mixture by using Particle Flow Code in three dimensions(PFC^(3D))based on three-dimensional discrete elem...The objective of this work is to model the microstructure of asphalt mixture and build virtual test for asphalt mixture by using Particle Flow Code in three dimensions(PFC^(3D))based on three-dimensional discrete element method.A randomly generating algorithm was proposed to capture the three-dimensional irregular shape of coarse aggregate.And then,modeling algorithm and method for graded aggregates were built.Based on the combination of modeling of coarse aggregates,asphalt mastic and air voids,three-dimensional virtual sample of asphalt mixture was modeled by using PFC^(3D).Virtual tests for penetration test of aggregate and uniaxial creep test of asphalt mixture were built and conducted by using PFC^(3D).By comparison of the testing results between virtual tests and actual laboratory tests,the validity of the microstructure modeling and virtual test built in this study was verified.Additionally,compared with laboratory test,the virtual test is easier to conduct and has less variability.It is proved that microstructure modeling and virtual test based on three-dimensional discrete element method is a promising way to conduct research of asphalt mixture.展开更多
Against the background of the sand-flow foundation treatment engineering of Guangzhou Zhoutouzui variable cross-section immersed tunnel, a kind of sand deposit-detecting method was devised on the basis of full-scale m...Against the background of the sand-flow foundation treatment engineering of Guangzhou Zhoutouzui variable cross-section immersed tunnel, a kind of sand deposit-detecting method was devised on the basis of full-scale model test of sand-flow method. The real-time data of sand-deposit height and radius were obtained by the self-developed sand-deposit detectors. The test results show that the detecting method is simple and has high precision. In the use of sand-flow method, the sand-carrying capability of fluid is limited, and sand particles are all transported to the sand-deposit periphery through crater, gap and chutes after the sand deposit formed. The diffusion range of the particles outside the sand-deposit does not exceed 2.0 m. Severe sorting of sand particles is not observed because of the unique oblique-layered depositing process. The temporal and spatial distributions of gap and chutes directly affect the sand-deposit expansion, and the expansion trend of the average sand-deposit radius accords with quadratic time-history curve.展开更多
Based on the characteristics of pile-soil interaction and the Mohr-Coulomb strength theory,a new method of determining the side friction at a pile-soil interaction is proposed.Combined with the actual engineering case...Based on the characteristics of pile-soil interaction and the Mohr-Coulomb strength theory,a new method of determining the side friction at a pile-soil interaction is proposed.Combined with the actual engineering cases,the effectiveness of the analogue test method is verified by comparing it with the traditional anchor pile method and self-balanced method.Taking the self-balanced test of the bridge pile foundation in the Songhua River as an example,the conversion factor of sandy soil and weathered mudstone are confirmed by the analogue test method.The results show that the conversion factor of sandy soil and weathered mudstone in the Songhua River area should consider the geological conditions and the construction technology,etc.The standard values are relatively conservative.It is suggested that the engineering application should be properly revised.The recommended range of the conversion factor of sandy soil in this area is 0.65 to 0.85,and that of weathered mudstone is 1.0.展开更多
Two modeling methods of the root insert for wind turbine blade are presented,i.e.,the local mesh optimization method(LMOM)and the global modeling method(GMM).Based on the optimized mesh of the local model for the meta...Two modeling methods of the root insert for wind turbine blade are presented,i.e.,the local mesh optimization method(LMOM)and the global modeling method(GMM).Based on the optimized mesh of the local model for the metal contact interface,LMOM is proposed to analyze the load path and stress distribution characteristics,while GMM is used to calculate and analyze the stress distribution characteristics of the resin layer established between the bushing and composite layers of root insert.To validate the GMM,a tension test is carried out.The result successfully shows that the shear strain expresses a similar strain distribution tendency with the GMM′s results.展开更多
Experimental studies on the compressive behavior of composite laminates after low velocity impact was carried out with two test methods.One is SACMA Standard,and the other is a small dimensional specimen test method.I...Experimental studies on the compressive behavior of composite laminates after low velocity impact was carried out with two test methods.One is SACMA Standard,and the other is a small dimensional specimen test method.Impact damage distributions,compressive failure process after impact,quasi static indentation and compression of laminates with a hole were brought into comparison between these two test methods.The results showed that there is a great difference between these two test methods.Compressive behavior of laminates after impact varies with different test methods.Residual compressive strength of laminates after low velocity impact measured with SACMA Standard can reflect stiffness properties of composite resins more wholely than that measured with the other method can do.Small dimensional specimen test method should be improved on as an experimental standard of compressive strength after impact.展开更多
The rock mass consists of rock blocks and structural planes,which can reduce its integrity and strength.Therefore,accurately obtaining the characteristics of the rock mass structural plane is a prerequisite for evalua...The rock mass consists of rock blocks and structural planes,which can reduce its integrity and strength.Therefore,accurately obtaining the characteristics of the rock mass structural plane is a prerequisite for evaluating stability and designing supports in underground engineering.Currently,there are no effective testing methods for the characteristic parameters of the rock mass structural plane in underground engineering.The paper presents the digital drilling technology as a new testing method of rock mass structural planes.Flawed rock specimens with cracks of varying widths and angles were used to simulate the rock mass structural planes,and the multifunctional rock mass digital drilling test system was employed to carry out the digital drilling tests.The analysis focuses on the variation laws of drilling parameters,such as drilling pressure and drilling torque,affected by the characteristics of prefabricated cracks,and clarifies the degradation mechanism of rock equivalent compressive strength.Additionally,an identification model for the characteristic parameters of rock mass structural planes during drilling is established.The test results indicate that the average difference of the characteristics of prefabricated cracks identified by the equivalent compressive strength is 2.45°and 0.82 mm,respectively.The identification model while drilling is verified to be correct due to the high identification accuracy.Based on this,a method for testing the characteristic parameters of the surrounding rock structural plane while drilling is proposed.The research offers a theoretical and methodological foundation for precise in situ identification of structural planes of the surrounding rock in underground engineering.展开更多
Double packer equipment for hydraulic test can be used to measure pressure of test zone directly, and it is frequently used to perform many kinds of hydraulic tests and take groundwater sample from borehole. The test ...Double packer equipment for hydraulic test can be used to measure pressure of test zone directly, and it is frequently used to perform many kinds of hydraulic tests and take groundwater sample from borehole. The test method of this equipment mainly includes the test design, implementation, interpretation and synthetic analysis. By adopting the double packer equipment for hydraulic test, the parameter distribution of rock permeability along borehole can be acquired, as well as the connectivity, water conductivity and water bearing capacity of the disclosed structure and the chemical characteristics of the deep groundwater. It is a necessary method for the research and evaluation of the complex hypotonicity terrace site selection under geological conditions. This method is not only suitable for the geological disposal of high level radioactive waste, but also can be used in the site selection of underground facilities such as storage of petroleum and carbon dioxide. Meanwhile, it has a good application prospect in other hydrogeological investigation fields.展开更多
According to the valve port features of high speed on-off valve and its actions, the valve port can be simplified into an a-type half bridge construction. A method that tests the dynamic characteristics of the high sp...According to the valve port features of high speed on-off valve and its actions, the valve port can be simplified into an a-type half bridge construction. A method that tests the dynamic characteristics of the high speed on-off valve by the output pressure signal of the a-type half bridge is proposed. Having analyzed the factors related to the dynamic characteristics of an a-type half bridge, a rule for designing the outlet chamber's volume is worked out. According to the rule, a test stand is built to test the self-developed high-speed on-off valve. From the test results, it can be seen that with the outlet chamber's volume controlled by the rule the rise time of the pressure signals driven by signals with different frequencies changes very little. The test results conform to the simulation results, which nroves the correctness of the method.展开更多
基金National Natural Science Foundation of China under Grant Nos.51978213 and 51778190the National Key Research and Development Program of China under Grant Nos.2017YFC0703605 and 2016YFC0701106。
文摘For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study proposes to investigate the stability and accuracy of the central difference method(CDM)for RTDST considering the specimen mass participation coefficient.First,the theory of the CDM for RTDST is presented.Next,the stability and accuracy of the CDM for RTDST considering the specimen mass participation coefficient are investigated.Finally,numerical simulations and experimental tests are conducted for verifying the effectiveness of the method.The study indicates that the stability of the algorithm is affected by the mass participation coefficient of the specimen,and the stability limit first increases and then decreases as the mass participation coefficient increases.In most cases,the mass participation coefficient will increase the stability limit of the algorithm,but in specific circumstances,the algorithm may lose its stability.The stability and accuracy of the CDM considering the mass participation coefficient are verified by numerical simulations and experimental tests on a three-story frame structure with a tuned liquid damper.
文摘Non-destructive testing (NDT) of structures is one of the most important tasksof the proper maintenance and diagnosis of machines and constructions structuralcondition. NDT methods contribute to the damage tolerance philosophy used in theaircraft design methodology as well as many other operation and maintenance programsof machinery and constructions. The following study is focusing on overviewing animportant group of NDT methods: the optical and other ones, which found broadapplicability in scientific and industrial studies nowadays. The paper discusses theselected most widely applicable methods, namely, visual testing, ultrasonic testing,radiographic testing, infrared thermography as well as electronic speckle patterninterferometry and shearographic testing. Besides the basic principles of testing usingthese methods, their potential applications in various industrial and technologicalbranches are broadly discussed. The analysis as categorization of the NDT methodsprovided in this paper may help in selection of such methods in diagnosis of varioustypes of structures and defects and damage occurring in these structures.
文摘Gemstones have fascinated mankind forever,and people traveled far to find them.The Silk Road is one of the most traditional trade routes in the middle ages that was used to bring the precious stones to the European market.Later,emeralds from Colombia were shipped via the ocean to the Old World.
文摘A class of pseudo distances is used to derive test statistics using transformed data or spacings for testing goodness-of-fit for parametric models. These statistics can be considered as density based statistics and expressible as simple functions of spacings. It is known that when the null hypothesis is simple, the statistics follow asymptotic normal distributions without unknown parameters. In this paper we emphasize results for the null composite hypothesis: the parameters can be estimated by a generalized spacing method (GSP) first which is equivalent to minimize a pseudo distance from the class which is considered;subsequently the estimated parameters are used to replace the parameters in the pseudo distance used for estimation;goodness-of-fit statistics for the composite hypothesis can be constructed and shown to have again an asymptotic normal distribution without unknown parameters. Since these statistics are related to a discrepancy measure, these tests can be shown to be consistent in general. Furthermore, due to the simplicity of these statistics and they come a no extra cost after fitting the model, they can be considered as alternative statistics to chi-square statistics which require a choice of intervals and statistics based on empirical distribution (EDF) using the original data with a complicated null distribution which might depend on the parametric family being considered and also might depend on the vector of true parameters but EDF tests might be more powerful against some specific models which are specified by the alternative hypothesis.
文摘Compressive strength and compressive resilience modulus are two important parameters to measure the mechanical properties of semi-rigid base.The test methods of semi-rigid base cores are different from those of the laboratory samples in terms of sample acquisition,sample selection and humidity requirements.Core-drilling location,size of core sample,smoothness and humidity conditions were analyzed.The test methods of compressive strength and compressive resilience modulus were proposed.The research results show that compressive strength of lime fly-ash stabilized gravels base has a tendency of increasing during a long period.The compressive resilience modulus increases significantly with compressive strength of semi-rigid base.The compressive resilience modulus generally is 3-4 times than the recommended range of asphalt pavement design specifications.The fluctuation range of compressive resilience modulus is obviously higher than the compressive strength.The compressive resilience modulus is more sensitive to the construction variability.The overall trend between the compressive resilience modulus and the back-calculation modulus is consistent.FWD(falling weight deflectometer)back-calculation modulus can reflect the stiffness and bearing capacity of asphalt pavement.
文摘Testing methods of instrumental system in the marine magnetic survey have been studied in this paper, and the feasibility of each method has been testified by the observed data. The conclusion shows that the method brought out can effectively eliminate the systematic error caused by the instrumental system, and greatly improve the surveying precision and the reliability of the survey results.
文摘Practical English Test for Colleges (PRETCO) examination is very important to higher vocational college students. Reading comprehension section, moreover, is the key part in the examination because it, in some degree, influences the total score of the examination. In this passage, the author is to illustrate some reading methods to help the students master the spirit of reading comprehension and grasp the methods and strategy of then so that they could get high score in this part.
基金supported by the Implementation Programs for Marine Renewable Energy Special Funds (GHME2012ZC02)
文摘Actual sea condition testing and inspection and evaluation method research are carried out for tidal energy devices to provide scientific and effective technical support for the ocean high-tech achievement transformation and marine renewable energy development. By analyzing three core indicators, including the power output characteristics of the tidal current device, the generating capacity, energy conversion efficiency, proposed the test contents and evaluation methods of indicators are proposed in this paper; and based on the research of wind farms, power quality testing and assessment methods of offshore tidal energy device are proposed; given the security access to the test contents of tidal current energy device, tidal current energy device running conditions in the testing ground are comprehensively assessed.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金supported by the Fundamental Research Funds for the Central Universities(No.YX2010-20)the Open Projects Foundation of Key Laboratory of Soil and Water Conservation & Desertification Combat (Beijing ForestryUniversity), Ministry of Education of P.R. China (No.201002) the National Natural Science Foundation of China (No. 31570708, No.30901162)
文摘It is important to quantify the effect of the root diameter, the embedment length of the root and load speed on the soil-root interface mechanical properties for studying the root anchorage. The soilroot interface mechanical properties can be obtained through the pullout force and root slippage curve(F-S curve). About 120 Pinus tabulaeformis single roots whose diameters ranged from 1 mm to 10 mm divided into 6 groups based on different root embedment length(50 mm, 100 mm and 150 mm) and different load velocity(10 mm·min^(-1), 50 mm·min^(-1), 100 mm·min^(-1) and 300 mm·min^(-1)) were investigated using the pullout method. This study aims to explore the mechanical properties of the soil-root interface in the real conditions using the pullout test method. The results showed two kinds of pullout test failure modes during the experimental process: breakage failure and pullout failure. The results showed that the roots were easier to be broken when the root diameter was smaller or the loading speed was larger. The relationship between the maximum anchorage force and root diameter was linear and the linearly dependent coefficient(R^2) was larger than 0.85. The anchorage force increased with the root embedment length. An increase of 10%^(-1)5% for the maximumanchorage force was found when load speed increased from 10 to 300 mm.min^(-1). The mean peak slippage of the root was from 13.81 to 35.79 mm when the load velocity varied from 10 to 300 mm.min^(-1). The study will be helpful for the design of slopes reinforced by vegetation and in predicting risk of uprooting of trees, and will have practical benefits for understanding the mechanism of landslide.
基金supported by the National Natural Science Foundation of China (no. 51478120)
文摘The blind-hole method is the most widely used approach to experimentally determine the distribution of residual stress. This paper aims to improve test accuracy of welding residual stress and conducts an experimental study on the strain release factors involved when using the blind-hole method for Q235 and Q345, two steels commonly used in building structures. The ranges of strain release factors A and B in the elastic stage, the effects of strain release factors on residual stress calculated values, and the plastic corrected strain release factors are analyzed considering of the effect of plastic deformation around the blind hole on measurement accuracy. Finally, a simplified calculation formula to determine strain release factors is proposed for use with the blind-hole method. Results show that in the elastic stage, strain release factor A for Q235 and Q345 ranges from-0.399 to-0.525 and strain release factor B from-0.791 to-0.960. Changing the strain release factors A and B shows that calculated residual tensile stress varies in relation to a decrease in both factor values. However, there is a increase in calculated residual compressive stress with a decrease in the strain release factor A value, but there is an decrease with a decrease in strain release factor B value. Calculated residual stress applied to elastic strain release factors is compared with that applied to amended plastic strain release factors for Q235 steel. The maximum deviation between calculated residual stress and test stress is reduced from 21.1 to 1.0%,and for Q345 steel from 26.5 to 1.2%. It is thus evident that the plastic correction formula proposed in this paper can be used in calculations when conducting a residual stress test.
基金Project was supported by the National Natural Science Foundation of China(Grant No.52165034)Science and Technology Programs of Inner Mongolia(Grant No.2020GG0301)+1 种基金Natural Science Foundation of Inner Mongolia Autonomous Region(Grant No.2019MS05061)Scientific Research Projects of Higher Education of Inner Mongolia Autonomous Region Institutions(Grant No.NJZY20066).
文摘Due to local uneven heating during the welding process,the residual stress of the structure after welding affects the reliability of it.In order to ensure the reliability,it is of great significance to test the residual stress distribution of the welded joint.It has always been the focus to find a simple and feasible method for residual stress testing to quickly and accurately obtain the residual stress distribution of welded joints.The mechanical measurement method has high measurement accuracy,convenient and easy operation,but it will cause certain damage to the components.Physical measurement method can avoid damage to components,but its test cost is usually high,and its measurement accuracy can also be affected by the material microstructure characteristics of welded components.Based on the advantages and disadvantages of these two residual stress test methods,a modal test method is proposed.This method is a non-destructive measurement method.Based on the mathematical relationship between the residual stress of the welded structure and the natural frequency(mathematical model),the natural frequency is measured through the modal test to calculate the residual stress quickly.However,it is difficult to establish a mathematical model with this method,and it is not suitable for realization.
基金Project(51378006) supported by National Natural Science Foundation of ChinaProject(141076) supported by Huoyingdong Foundation of the Ministry of Education of China+1 种基金Project(2242015R30027) supported by Excellent Young Teacher Program of Southeast University,ChinaProject(BK20140109) supported by the Natural Science Foundation of Jiangsu Province,China
文摘The objective of this work is to model the microstructure of asphalt mixture and build virtual test for asphalt mixture by using Particle Flow Code in three dimensions(PFC^(3D))based on three-dimensional discrete element method.A randomly generating algorithm was proposed to capture the three-dimensional irregular shape of coarse aggregate.And then,modeling algorithm and method for graded aggregates were built.Based on the combination of modeling of coarse aggregates,asphalt mastic and air voids,three-dimensional virtual sample of asphalt mixture was modeled by using PFC^(3D).Virtual tests for penetration test of aggregate and uniaxial creep test of asphalt mixture were built and conducted by using PFC^(3D).By comparison of the testing results between virtual tests and actual laboratory tests,the validity of the microstructure modeling and virtual test built in this study was verified.Additionally,compared with laboratory test,the virtual test is easier to conduct and has less variability.It is proved that microstructure modeling and virtual test based on three-dimensional discrete element method is a promising way to conduct research of asphalt mixture.
基金Project(51108190) supported by the National Natural Science Foundation of ChinaProject(2012ZC27) supported by the Independence Research Subject from State Key Laboratory of Subtropical Building Science,ChinaProject(GTCC 2008-253) supported by the Research Subject from Guangzhou City,China
文摘Against the background of the sand-flow foundation treatment engineering of Guangzhou Zhoutouzui variable cross-section immersed tunnel, a kind of sand deposit-detecting method was devised on the basis of full-scale model test of sand-flow method. The real-time data of sand-deposit height and radius were obtained by the self-developed sand-deposit detectors. The test results show that the detecting method is simple and has high precision. In the use of sand-flow method, the sand-carrying capability of fluid is limited, and sand particles are all transported to the sand-deposit periphery through crater, gap and chutes after the sand deposit formed. The diffusion range of the particles outside the sand-deposit does not exceed 2.0 m. Severe sorting of sand particles is not observed because of the unique oblique-layered depositing process. The temporal and spatial distributions of gap and chutes directly affect the sand-deposit expansion, and the expansion trend of the average sand-deposit radius accords with quadratic time-history curve.
基金The National Key Research and Development Program(No.2017YFC0703408)the National Natural Science Foundation of China(No.51478109,51678145,51878160)
文摘Based on the characteristics of pile-soil interaction and the Mohr-Coulomb strength theory,a new method of determining the side friction at a pile-soil interaction is proposed.Combined with the actual engineering cases,the effectiveness of the analogue test method is verified by comparing it with the traditional anchor pile method and self-balanced method.Taking the self-balanced test of the bridge pile foundation in the Songhua River as an example,the conversion factor of sandy soil and weathered mudstone are confirmed by the analogue test method.The results show that the conversion factor of sandy soil and weathered mudstone in the Songhua River area should consider the geological conditions and the construction technology,etc.The standard values are relatively conservative.It is suggested that the engineering application should be properly revised.The recommended range of the conversion factor of sandy soil in this area is 0.65 to 0.85,and that of weathered mudstone is 1.0.
基金supported jointly by the National Basic Research Program of China("973"Program)(No2014CB046200)the National Science Foundation of Jiangsu Province(No.BK2014059)+1 种基金the Priority Academic Program Development of Jiangsu Higher Education Institutionsthe National Natural Science Foundation of China(No.11172135)
文摘Two modeling methods of the root insert for wind turbine blade are presented,i.e.,the local mesh optimization method(LMOM)and the global modeling method(GMM).Based on the optimized mesh of the local model for the metal contact interface,LMOM is proposed to analyze the load path and stress distribution characteristics,while GMM is used to calculate and analyze the stress distribution characteristics of the resin layer established between the bushing and composite layers of root insert.To validate the GMM,a tension test is carried out.The result successfully shows that the shear strain expresses a similar strain distribution tendency with the GMM′s results.
文摘Experimental studies on the compressive behavior of composite laminates after low velocity impact was carried out with two test methods.One is SACMA Standard,and the other is a small dimensional specimen test method.Impact damage distributions,compressive failure process after impact,quasi static indentation and compression of laminates with a hole were brought into comparison between these two test methods.The results showed that there is a great difference between these two test methods.Compressive behavior of laminates after impact varies with different test methods.Residual compressive strength of laminates after low velocity impact measured with SACMA Standard can reflect stiffness properties of composite resins more wholely than that measured with the other method can do.Small dimensional specimen test method should be improved on as an experimental standard of compressive strength after impact.
基金supported by the National Key Research and Development Program of China(Grant No.2023YFC2907600)the National Natural Science Foundation of China(Grant Nos.42277174 and 52204260).
文摘The rock mass consists of rock blocks and structural planes,which can reduce its integrity and strength.Therefore,accurately obtaining the characteristics of the rock mass structural plane is a prerequisite for evaluating stability and designing supports in underground engineering.Currently,there are no effective testing methods for the characteristic parameters of the rock mass structural plane in underground engineering.The paper presents the digital drilling technology as a new testing method of rock mass structural planes.Flawed rock specimens with cracks of varying widths and angles were used to simulate the rock mass structural planes,and the multifunctional rock mass digital drilling test system was employed to carry out the digital drilling tests.The analysis focuses on the variation laws of drilling parameters,such as drilling pressure and drilling torque,affected by the characteristics of prefabricated cracks,and clarifies the degradation mechanism of rock equivalent compressive strength.Additionally,an identification model for the characteristic parameters of rock mass structural planes during drilling is established.The test results indicate that the average difference of the characteristics of prefabricated cracks identified by the equivalent compressive strength is 2.45°and 0.82 mm,respectively.The identification model while drilling is verified to be correct due to the high identification accuracy.Based on this,a method for testing the characteristic parameters of the surrounding rock structural plane while drilling is proposed.The research offers a theoretical and methodological foundation for precise in situ identification of structural planes of the surrounding rock in underground engineering.
文摘Double packer equipment for hydraulic test can be used to measure pressure of test zone directly, and it is frequently used to perform many kinds of hydraulic tests and take groundwater sample from borehole. The test method of this equipment mainly includes the test design, implementation, interpretation and synthetic analysis. By adopting the double packer equipment for hydraulic test, the parameter distribution of rock permeability along borehole can be acquired, as well as the connectivity, water conductivity and water bearing capacity of the disclosed structure and the chemical characteristics of the deep groundwater. It is a necessary method for the research and evaluation of the complex hypotonicity terrace site selection under geological conditions. This method is not only suitable for the geological disposal of high level radioactive waste, but also can be used in the site selection of underground facilities such as storage of petroleum and carbon dioxide. Meanwhile, it has a good application prospect in other hydrogeological investigation fields.
文摘According to the valve port features of high speed on-off valve and its actions, the valve port can be simplified into an a-type half bridge construction. A method that tests the dynamic characteristics of the high speed on-off valve by the output pressure signal of the a-type half bridge is proposed. Having analyzed the factors related to the dynamic characteristics of an a-type half bridge, a rule for designing the outlet chamber's volume is worked out. According to the rule, a test stand is built to test the self-developed high-speed on-off valve. From the test results, it can be seen that with the outlet chamber's volume controlled by the rule the rise time of the pressure signals driven by signals with different frequencies changes very little. The test results conform to the simulation results, which nroves the correctness of the method.