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.展开更多
The uniaxial compressive strength(UCS)of rocks is a vital geomechanical parameter widely used for rock mass classification,stability analysis,and engineering design in rock engineering.Various UCS testing methods and ...The uniaxial compressive strength(UCS)of rocks is a vital geomechanical parameter widely used for rock mass classification,stability analysis,and engineering design in rock engineering.Various UCS testing methods and apparatuses have been proposed over the past few decades.The objective of the present study is to summarize the status and development in theories,test apparatuses,data processing of the existing testing methods for UCS measurement.It starts with elaborating the theories of these test methods.Then the test apparatus and development trends for UCS measurement are summarized,followed by a discussion on rock specimens for test apparatus,and data processing methods.Next,the method selection for UCS measurement is recommended.It reveals that the rock failure mechanism in the UCS testing methods can be divided into compression-shear,compression-tension,composite failure mode,and no obvious failure mode.The trends of these apparatuses are towards automation,digitization,precision,and multi-modal test.Two size correction methods are commonly used.One is to develop empirical correlation between the measured indices and the specimen size.The other is to use a standard specimen to calculate the size correction factor.Three to five input parameters are commonly utilized in soft computation models to predict the UCS of rocks.The selection of the test methods for the UCS measurement can be carried out according to the testing scenario and the specimen size.The engineers can gain a comprehensive understanding of the UCS testing methods and its potential developments in various rock engineering endeavors.展开更多
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.展开更多
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.展开更多
This paper is a review of the past research of mechanical testing methods for natural fibre honeycomb sandwich structure as well as failure modes analysis at a microscopic level by using Scanning Electron Microscope (...This paper is a review of the past research of mechanical testing methods for natural fibre honeycomb sandwich structure as well as failure modes analysis at a microscopic level by using Scanning Electron Microscope (SEM). As the world is garnering attention towards renewable resources for environmental purposes, studies of natural fibre have been increasing as well as the application of natural fibre throughout various industries such as aerospace, automobiles, and construction sectors. This paper is started with brief information regarding the honeycomb sandwich structure, introduction to natural fibre, its applications as well as the factors affecting the performances of the structure. Next, the mechanical testing methods are listed out as well as the expected outcomes obtained from the respective testing. The mechanical properties are also identified by conducting lab tests according to the ASTM standard for sandwich and core structures. The microstructure of the deformed samples is then examined under Scanning Electron Microscope (SEM) by using different magnifications to study the failure mechanisms of the samples. The images obtained from the SEM test are analyzed by using fractography which will show the failure modes of the samples. This article is based on past research conducted by professional on the related topic.展开更多
1 Development of UHVDC transmission capabilities The economical development of China is closely connected with safe and reliable power supply.Load centers e.g.in central and eastern China need huge amounts of electric...1 Development of UHVDC transmission capabilities The economical development of China is closely connected with safe and reliable power supply.Load centers e.g.in central and eastern China need huge amounts of electrical power.Available energy resources and consumption areas are often distributed inverse.As a consequence it is necessary to import electrical power to load center areas in an economic and efficient way.展开更多
Low-tempemture stress is a major abiotic stress influencing plant growth, economic yield and quality worldwide. Precise and reliable identification and test of plant cold resistance is a foundation for exploring low-t...Low-tempemture stress is a major abiotic stress influencing plant growth, economic yield and quality worldwide. Precise and reliable identification and test of plant cold resistance is a foundation for exploring low-temperature damages, cold resistance mechanism of plants, cultivating and innovating quality cold-re- sistant germplasm resources, which is rather important for woody plants because their perennial and large-sized characteristics. Generally, most researches on plant cold-resistant physiology focused on identification and utilization of cold resistance worldwide, and a few on test methods of cold resistance, but cold resistance mechanism has been less reported. Therefore, researches on methods of identifying and testing plant resistance have achieved considerable progress, accumulated much experience and formed characteristics gradually in terms of methodology. Current methods of identifying plant cold resistance include open field/outdoor culti- vation evaluation, cold and frost damage investigation, simulated cold weather, and mathematical model forecast. And the methods of testing plant cold resistance include growth condition test, frozen index investigation, electrolyte leakage, bioelectrical impedance mapping and so on. Synthesizing the methods of identifying and testing plant cold resistance should be a key matter in the present and future researches and application of plant cold resistance physiology, improvement and in- novation of the identification and test will be an important direction of the future researches. Identification and test of plant cold resistance based on genomies, meta- bonomics and proteomics should be the new trend of the researches on physiology and ecology of plant cold resistance.展开更多
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.展开更多
The?mine geostress measurement is the indispensable key to safe and efficient production of the mine. Currently, stress relief method, hydraulic fracturing method and acoustic emission method are widely used in mine g...The?mine geostress measurement is the indispensable key to safe and efficient production of the mine. Currently, stress relief method, hydraulic fracturing method and acoustic emission method are widely used in mine geostress test fields. As deficiencies of the above several methods, the author designed a detailed borehole acoustic program for the tectonic fault conditions of a mine in Huainan, and got geostress parameter values according to the combination of site measured velocity values and laboratory tests.展开更多
This research uses Japan facsimile data in May-September of 2011-2015 in Fumeng and Zhangwu County of Fuxin, Liaoning, China as the site selection for high altitude NECV circulation background, using statistical and s...This research uses Japan facsimile data in May-September of 2011-2015 in Fumeng and Zhangwu County of Fuxin, Liaoning, China as the site selection for high altitude NECV circulation background, using statistical and synoptic methods testing the combination of test and Analysis on Japanese numerical precipitation prediction and error. The prediction equation of cold vortex precipitation in the region is established by SPSS software. It is predicted whether the product predicts precipitation, water vapor condition and vertical velocity according to the Japanese numerical forecast. The results show that the fitting rate is 88% in the past 5 years, and the rate of cold vortex precipitation in the summer of 2016 is 89%.展开更多
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.展开更多
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.展开更多
For our research, a new hybrid experimental-computational method is presented. We applied a least squares fitting method （LSFM） to reconstruct the wood moisture content （WMC） from the data measured with a planar c...For our research, a new hybrid experimental-computational method is presented. We applied a least squares fitting method （LSFM） to reconstruct the wood moisture content （WMC） from the data measured with a planar capacitance sensor. A boundary element method （BEM） was used to compute the relationship between capacitance and the dielectric constant. A functional relationship between MC and the dielectric constant was identified by LSFM. The agreement of this final computation result with the experimental data indicates that this method can be used to estimate the WMC quickly and effectively with engineering analysis. Compared with popular statistical methods, a large number of experiments are avoided, some costs of testing are reduced and the efficiency of testing is enhanced.展开更多
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 difficulties associated with performing direct compression strength tests on rocks lead to the development of indirect test methods for the rock strength assessment. Indirect test methods are simple, more economic...The difficulties associated with performing direct compression strength tests on rocks lead to the development of indirect test methods for the rock strength assessment. Indirect test methods are simple, more economical, less time-consuming, and easily adaptable to the field. The main aim of this study was to derive correlations between direct and indirect test methods for basalt and rhyolite rock types from Carlin trend deposits in Nevada. In the destructive methods, point load index, block punch index, and splitting tensile strength tests are performed. In the non-destructive methods, Schmidt hammer and ultrasonic pulse velocity tests are performed. Correlations between the direct and indirect compression strength tests are developed using linear and nonlinear regression analysis methods. The results show that the splitting tensile strength has the best correlation with the uniaxial compression strength.Furthermore, the Poisson's ratio has no correlation with any of the direct and indirect test results.展开更多
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.展开更多
Hydropower projects are rapidly developing in China at present, and a number of high daras and large reservoirs are currently under construction or will soon be built. These large projects are mainly located on the gr...Hydropower projects are rapidly developing in China at present, and a number of high daras and large reservoirs are currently under construction or will soon be built. These large projects are mainly located on the great rivers in West China with complicated topographical and geological conditions. Evaluation of stability and safety of these high dam projects is an important topic. Geomechanical model test is one of the main methods to study the global stability of high dam and foundation. In this paper, a comprehensive testing method that combines overloading and strength reduction in a model is proposed. In this method, both the influence of excessive flooding and the effects of strength reduction of rock masses and weak structural planes on dam stability are considered. Thus, the comprehensive testing method can accurately incorporate multiple factors that affect the global stability of high dam and its foundation. Based on the failure testing principle and model similarity theory, a similarity relation formula for safety evaluation through comprehensive test is established. A new model material, temperature-dependent analogous material, is also developed. By rising the temperature and reducing the strength of the mod,~l material, the mechanical behaviors resulting from gradual strength reduction can be simulated. Thus, the comprehensive testing method is realized in a single model. For case studies, the comprehensive geomechanical model test is conducted for Jinpinlg I and Xiaowan high arch dam projects.展开更多
For a homogeneous,continuous,and isotropic material whose constitutive relationships meets with the Ramberg-Osgood law(R-O law),the energy in the elastoplastic indentation with a ball indenter was theoretically analyz...For a homogeneous,continuous,and isotropic material whose constitutive relationships meets with the Ramberg-Osgood law(R-O law),the energy in the elastoplastic indentation with a ball indenter was theoretically analyzed,and the proportional superposition of energy in pure elasticity and pure plasticity during indentation was considered based on the equivalence of energy density.Subsequently,a Proportional Superposition-based Elasto Plastic Model(PS-EPM)was developed to describe the relationships between the displacement and the load during the ball indentation.Furthermore,a new test method of Ball Indentation based on Elastoplastic Proportional Superposition(BI-EPS)was developed to obtain the constitutive relationships of R-O law materials.The load–displacement curves predicted using the PS-EPM model were found to agree closely with the Finite Element Analysis(FEA)results.Moreover,the stress vs.strain curves predicted using the BI-EPS method were in better agreement with those obtained by FEA.Additionally,ball indentation was performed on eleven types of metal materials including five types of aluminum alloys and six types of steel.The test results showed that the stress vs.strain relationships and the tensile strength values predicted using the proposed BI-EPS method agreed well with the results obtained using conventional uniaxial tensile tests.展开更多
The factors influencing the permeability coefficient of gravelly soils used for the development of embankment dams(core wall)are analyzed.Such factors include(but are not limited to)soil size,anisotropy,density and bo...The factors influencing the permeability coefficient of gravelly soils used for the development of embankment dams(core wall)are analyzed.Such factors include(but are not limited to)soil size,anisotropy,density and boundary effects.A review of the literature is conducted and new directions of research are proposed.In such a framework,it is shown that gravelly soil with controlled density and vertical stress should be used to optimize the measurement of the vertical and horizontal permeability coefficients,respectively.展开更多
文摘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.
基金the National Natural Science Foundation of China(Grant Nos.52308403 and 52079068)the Yunlong Lake Laboratory of Deep Underground Science and Engineering(No.104023005)the China Postdoctoral Science Foundation(Grant No.2023M731998)for funding provided to this work.
文摘The uniaxial compressive strength(UCS)of rocks is a vital geomechanical parameter widely used for rock mass classification,stability analysis,and engineering design in rock engineering.Various UCS testing methods and apparatuses have been proposed over the past few decades.The objective of the present study is to summarize the status and development in theories,test apparatuses,data processing of the existing testing methods for UCS measurement.It starts with elaborating the theories of these test methods.Then the test apparatus and development trends for UCS measurement are summarized,followed by a discussion on rock specimens for test apparatus,and data processing methods.Next,the method selection for UCS measurement is recommended.It reveals that the rock failure mechanism in the UCS testing methods can be divided into compression-shear,compression-tension,composite failure mode,and no obvious failure mode.The trends of these apparatuses are towards automation,digitization,precision,and multi-modal test.Two size correction methods are commonly used.One is to develop empirical correlation between the measured indices and the specimen size.The other is to use a standard specimen to calculate the size correction factor.Three to five input parameters are commonly utilized in soft computation models to predict the UCS of rocks.The selection of the test methods for the UCS measurement can be carried out according to the testing scenario and the specimen size.The engineers can gain a comprehensive understanding of the UCS testing methods and its potential developments in various rock engineering endeavors.
基金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.
文摘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.
文摘This paper is a review of the past research of mechanical testing methods for natural fibre honeycomb sandwich structure as well as failure modes analysis at a microscopic level by using Scanning Electron Microscope (SEM). As the world is garnering attention towards renewable resources for environmental purposes, studies of natural fibre have been increasing as well as the application of natural fibre throughout various industries such as aerospace, automobiles, and construction sectors. This paper is started with brief information regarding the honeycomb sandwich structure, introduction to natural fibre, its applications as well as the factors affecting the performances of the structure. Next, the mechanical testing methods are listed out as well as the expected outcomes obtained from the respective testing. The mechanical properties are also identified by conducting lab tests according to the ASTM standard for sandwich and core structures. The microstructure of the deformed samples is then examined under Scanning Electron Microscope (SEM) by using different magnifications to study the failure mechanisms of the samples. The images obtained from the SEM test are analyzed by using fractography which will show the failure modes of the samples. This article is based on past research conducted by professional on the related topic.
文摘1 Development of UHVDC transmission capabilities The economical development of China is closely connected with safe and reliable power supply.Load centers e.g.in central and eastern China need huge amounts of electrical power.Available energy resources and consumption areas are often distributed inverse.As a consequence it is necessary to import electrical power to load center areas in an economic and efficient way.
基金Supported by the National Natural Science Fundation of China(No.31270674)
文摘Low-tempemture stress is a major abiotic stress influencing plant growth, economic yield and quality worldwide. Precise and reliable identification and test of plant cold resistance is a foundation for exploring low-temperature damages, cold resistance mechanism of plants, cultivating and innovating quality cold-re- sistant germplasm resources, which is rather important for woody plants because their perennial and large-sized characteristics. Generally, most researches on plant cold-resistant physiology focused on identification and utilization of cold resistance worldwide, and a few on test methods of cold resistance, but cold resistance mechanism has been less reported. Therefore, researches on methods of identifying and testing plant resistance have achieved considerable progress, accumulated much experience and formed characteristics gradually in terms of methodology. Current methods of identifying plant cold resistance include open field/outdoor culti- vation evaluation, cold and frost damage investigation, simulated cold weather, and mathematical model forecast. And the methods of testing plant cold resistance include growth condition test, frozen index investigation, electrolyte leakage, bioelectrical impedance mapping and so on. Synthesizing the methods of identifying and testing plant cold resistance should be a key matter in the present and future researches and application of plant cold resistance physiology, improvement and in- novation of the identification and test will be an important direction of the future researches. Identification and test of plant cold resistance based on genomies, meta- bonomics and proteomics should be the new trend of the researches on physiology and ecology of plant cold resistance.
文摘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.
文摘The?mine geostress measurement is the indispensable key to safe and efficient production of the mine. Currently, stress relief method, hydraulic fracturing method and acoustic emission method are widely used in mine geostress test fields. As deficiencies of the above several methods, the author designed a detailed borehole acoustic program for the tectonic fault conditions of a mine in Huainan, and got geostress parameter values according to the combination of site measured velocity values and laboratory tests.
文摘This research uses Japan facsimile data in May-September of 2011-2015 in Fumeng and Zhangwu County of Fuxin, Liaoning, China as the site selection for high altitude NECV circulation background, using statistical and synoptic methods testing the combination of test and Analysis on Japanese numerical precipitation prediction and error. The prediction equation of cold vortex precipitation in the region is established by SPSS software. It is predicted whether the product predicts precipitation, water vapor condition and vertical velocity according to the Japanese numerical forecast. The results show that the fitting rate is 88% in the past 5 years, and the rate of cold vortex precipitation in the summer of 2016 is 89%.
基金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.
基金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.
基金supported by the Central University Basic Research Professional Expenses Special Foundation of Harbin Engineering University (Grant No. HEUCFL10101109)
文摘For our research, a new hybrid experimental-computational method is presented. We applied a least squares fitting method （LSFM） to reconstruct the wood moisture content （WMC） from the data measured with a planar capacitance sensor. A boundary element method （BEM） was used to compute the relationship between capacitance and the dielectric constant. A functional relationship between MC and the dielectric constant was identified by LSFM. The agreement of this final computation result with the experimental data indicates that this method can be used to estimate the WMC quickly and effectively with engineering analysis. Compared with popular statistical methods, a large number of experiments are avoided, some costs of testing are reduced and the efficiency of testing is enhanced.
基金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.
基金CDC/NIOSH for their partial funding of this work
文摘The difficulties associated with performing direct compression strength tests on rocks lead to the development of indirect test methods for the rock strength assessment. Indirect test methods are simple, more economical, less time-consuming, and easily adaptable to the field. The main aim of this study was to derive correlations between direct and indirect test methods for basalt and rhyolite rock types from Carlin trend deposits in Nevada. In the destructive methods, point load index, block punch index, and splitting tensile strength tests are performed. In the non-destructive methods, Schmidt hammer and ultrasonic pulse velocity tests are performed. Correlations between the direct and indirect compression strength tests are developed using linear and nonlinear regression analysis methods. The results show that the splitting tensile strength has the best correlation with the uniaxial compression strength.Furthermore, the Poisson's ratio has no correlation with any of the direct and indirect test results.
基金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.
基金Supported by the National Natural Science Foundation of China (51109152)the National Basic Research Program of China (973 Program) (2010CB226802)the Doctoral Programs Foundation of the Ministry of Education of China (20100181110077)
文摘Hydropower projects are rapidly developing in China at present, and a number of high daras and large reservoirs are currently under construction or will soon be built. These large projects are mainly located on the great rivers in West China with complicated topographical and geological conditions. Evaluation of stability and safety of these high dam projects is an important topic. Geomechanical model test is one of the main methods to study the global stability of high dam and foundation. In this paper, a comprehensive testing method that combines overloading and strength reduction in a model is proposed. In this method, both the influence of excessive flooding and the effects of strength reduction of rock masses and weak structural planes on dam stability are considered. Thus, the comprehensive testing method can accurately incorporate multiple factors that affect the global stability of high dam and its foundation. Based on the failure testing principle and model similarity theory, a similarity relation formula for safety evaluation through comprehensive test is established. A new model material, temperature-dependent analogous material, is also developed. By rising the temperature and reducing the strength of the mod,~l material, the mechanical behaviors resulting from gradual strength reduction can be simulated. Thus, the comprehensive testing method is realized in a single model. For case studies, the comprehensive geomechanical model test is conducted for Jinpinlg I and Xiaowan high arch dam projects.
基金co-supported by the National Natural Science Foundation of China(Nos.11872320 and 12072294)。
文摘For a homogeneous,continuous,and isotropic material whose constitutive relationships meets with the Ramberg-Osgood law(R-O law),the energy in the elastoplastic indentation with a ball indenter was theoretically analyzed,and the proportional superposition of energy in pure elasticity and pure plasticity during indentation was considered based on the equivalence of energy density.Subsequently,a Proportional Superposition-based Elasto Plastic Model(PS-EPM)was developed to describe the relationships between the displacement and the load during the ball indentation.Furthermore,a new test method of Ball Indentation based on Elastoplastic Proportional Superposition(BI-EPS)was developed to obtain the constitutive relationships of R-O law materials.The load–displacement curves predicted using the PS-EPM model were found to agree closely with the Finite Element Analysis(FEA)results.Moreover,the stress vs.strain curves predicted using the BI-EPS method were in better agreement with those obtained by FEA.Additionally,ball indentation was performed on eleven types of metal materials including five types of aluminum alloys and six types of steel.The test results showed that the stress vs.strain relationships and the tensile strength values predicted using the proposed BI-EPS method agreed well with the results obtained using conventional uniaxial tensile tests.
基金The work is supported by National Key Research and Development Program of China(No.2017YFC0404803)Guizhou High-Level Innovative Talents Project[2018](No.5630)+2 种基金Guizhou Science and Support[2019](No.2869)State Key Laboratory of Simulation and Regulation of Water Cycle in River Basin(No.SKL2020ZY09)Science and Technology Project of Huaneng Group Headquarters(HNKJ17-H18).
文摘The factors influencing the permeability coefficient of gravelly soils used for the development of embankment dams(core wall)are analyzed.Such factors include(but are not limited to)soil size,anisotropy,density and boundary effects.A review of the literature is conducted and new directions of research are proposed.In such a framework,it is shown that gravelly soil with controlled density and vertical stress should be used to optimize the measurement of the vertical and horizontal permeability coefficients,respectively.
