期刊文献+
共找到47,334篇文章
< 1 2 250 >
每页显示 20 50 100
Stability and accuracy of central difference method for real-time dynamic substructure testing considering mass participation coefficient
1
作者 Zheng Lichang Xu Guoshan +3 位作者 Yang Ge Wang Zhen Yang Kaibo Zheng Zhenyun 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2024年第3期625-636,共12页
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. 展开更多
关键词 real-time dynamic substructure testing central difference method STABILITY mass participation coefficient tuned liquid damper
下载PDF
Testing method of rock structural plane using digital drilling
2
作者 Qi Wang Yuncai Wang +4 位作者 Bei Jiang Hongke Gao Fenglin Ma Dahu Zhai Songlin Cai 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2024年第7期2563-2578,共16页
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. 展开更多
关键词 Structural planes in the rock mass Digital drilling Drilling parameters Equivalent compressive strength testing method
下载PDF
Joint 3D traveltime calculation based on fast marching method and wavefront construction 被引量:5
3
作者 孙辉 孙建国 +5 位作者 孙章庆 韩复兴 刘明忱 刘志强 高正辉 石秀林 《Applied Geophysics》 SCIE CSCD 2017年第1期56-63,189,共9页
3D traveltime calculation is widely used in seismic exploration technologies such as seismic migration and tomography. The fast marching method (FMM) is useful for calculating 3D traveltime and has proven to be effi... 3D traveltime calculation is widely used in seismic exploration technologies such as seismic migration and tomography. The fast marching method (FMM) is useful for calculating 3D traveltime and has proven to be efficient and stable. However, it has low calculation accuracy near the source, which thus gives it low overall accuracy. This paper proposes a joint traveltime calculation method to solve this problem. The method firstly employs the wavefront construction method (WFC), which has a higher calculation accuracy than FMM in calculating traveltime in the small area near the source, and secondly adopts FMM to calculate traveltime for the remaining grid nodes. Due to the increase in calculation precision of grid nodes near the source, this new algorithm is shown to have good calculation precision while maintaining the high calculation efficiency of FMM, which is employed in most of the computational area. Results are verified using various numerical models. 展开更多
关键词 Seismic wave propagation 3D traveltime computation fast marching method wavefront construction method
下载PDF
Construction Method for Performance Management Curriculum Content System Based on Knowledge Graph
4
作者 Miaomiao Ma Xia Mu 《教育研究前沿(中英文版)》 2024年第3期8-12,共5页
Performance Management is the core course of human resource management major,but its knowledge points lack multi-dimensional correlations.There are problems such as scattered content and unclear system,and it is urgen... Performance Management is the core course of human resource management major,but its knowledge points lack multi-dimensional correlations.There are problems such as scattered content and unclear system,and it is urgent to reconstruct the content system of the course.Knowledge graph technology can integrate massive and scattered information into an organic structure through semantic correlation and reasoning.The application of knowledge graph to education and teaching can promote scientific and personalized teaching evaluation and better realize individualized teaching.This paper systematically combs the knowledge points of Performance Management course and forms a comprehensive knowledge graph.The knowledge point is associated with specific questions to form the problem map of the course,and then the knowledge point is further associated with the ability target to form the ability map of the course.Then,the knowledge point is associated with teaching materials,question bank and expansion resources to form a systematic teaching database,thereby giving the method of building the content system of Performance Management course based on the knowledge map.This research can be further extended to other core management courses to realize the deep integration of knowledge graph and teaching. 展开更多
关键词 Knowledge Graph construction method Curriculum Content System Performance Management Course
下载PDF
A Discussion on Innovative Methods for Green Engineering Management in Construction Engineering
5
作者 Jing Gu 《Journal of Architectural Research and Development》 2024年第6期92-97,共6页
With the rapid development of society,the construction industry has made significant progress.However,as environmental issues intensify,many construction projects contribute to pollution.In this context,applying green... With the rapid development of society,the construction industry has made significant progress.However,as environmental issues intensify,many construction projects contribute to pollution.In this context,applying green project management methods in construction can enhance energy conservation and environmental protection,reduce energy consumption and costs,and minimize environmental damage,promoting balanced development between the environment and the economy.Therefore,integrating green construction concepts into current construction projects is essential.Based on project requirements and construction activities,effective green project management strategies should be developed to improve management standards and promote more efficient green construction.This paper analyzes green project management in construction engineering and offers recommendations for reference. 展开更多
关键词 construction engineering Green engineering management Management methods
下载PDF
A review of welding residual stress test methods 被引量:8
6
作者 Gan Shiming Liu Huaying +1 位作者 Zhai Zhiping Han Yongquan 《China Welding》 CAS 2022年第2期45-55,共11页
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. 展开更多
关键词 welding residual stress mechanical measurement method physical measurement method modal test method
下载PDF
Virtual rutting test of asphalt mixture using discrete element method 被引量:6
7
作者 张德育 黄晓明 高英 《Journal of Southeast University(English Edition)》 EI CAS 2012年第2期215-220,共6页
In order to investigate the permanent deformation behavior of asphalt mixtures from discontinuity, the virtual rutting test of asphalt mixtures is developed by the discrete element method (DEM). A digital specimen g... In order to investigate the permanent deformation behavior of asphalt mixtures from discontinuity, the virtual rutting test of asphalt mixtures is developed by the discrete element method (DEM). A digital specimen generation procedure considering aggregate gradation and irregular shape is developed based on the probability theory and the Monte Carlo method. The virtual rutting test is then conducted based on the generated digital specimen. In addition, on the basis of the time-temperature superposition (TTS) principle, a calculation method is used to reduce the computation time of the virtual rutting test. The simulation results are compared with the laboratory measurements. The results show that the calculation method based on the TFS principle in the discrete element (DE) viscoelastic model can significantly reduce the computation time. The deformation law of asphalt mixtures in the virtual rutting test is similar to the laboratory measurements, and the deformation and the dynamic stability of the virtual rutting test are slightly greater than the laboratory measurements. The two-dimensional virtual rutting test can predict the permanent deformation performance of asphalt mixtures. 展开更多
关键词 asphalt mixture permanent deformation discrete element method virtual rutting test
下载PDF
Virtual fracture test of asphalt mixture based on discrete element method 被引量:6
8
作者 陈俊 黄晓明 《Journal of Southeast University(English Edition)》 EI CAS 2009年第4期518-522,共5页
In order to study fracture behaviors of asphalt mixtures, virtual tests of the two-dimensional(2D) microstructure based on the discrete element method( DEM) are designed. The virtual structure of the 2D digital sp... In order to study fracture behaviors of asphalt mixtures, virtual tests of the two-dimensional(2D) microstructure based on the discrete element method( DEM) are designed. The virtual structure of the 2D digital specimen of asphalt mixture is generated based on a particle generation program, in which the gradation and the irregular shapes of aggregates are considered. With the 2D digital specimens, a DEM-based mixture model is established and center-point beam fracture simulation tests are conducted by the DEM. Meanwhile, a series of calibration tests are carried out in laboratory to evaluate the DEM model and validate the methods of virtual fracture tests. The test results indicate that the fracture intensity of asphalt mixtures predicted by the DEM matches very well with the intensity obtained in laboratory. It is concluded that the microstructural virtual tests can be used as a supplemental tool to evaluate fracture properties of asphalt mixtures. 展开更多
关键词 asphalt mixture FRACTURE discrete element method virtual test
下载PDF
Research on the Testing Methods of Instrumental System in the Marine Magnetic Survey 被引量:1
9
作者 边刚 刘雁春 +2 位作者 于波 肖付民 卞光浪 《Marine Science Bulletin》 CAS 2007年第2期1-11,共11页
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. 展开更多
关键词 Marine magnetic survey instrumental system testing method
下载PDF
New Fatigue Test and Statistical Method for Metallic Materials Used in Vehicle Transmissions 被引量:1
10
作者 陈欣 项昌乐 《Journal of Beijing Institute of Technology》 EI CAS 1999年第2期39-42,共4页
Aim To improve the efficiency of fatigue material tests and relevant statistical treatment of test data. Methods\ Least square approach and other special treatments were used. Results and Conclusion\ The concepts... Aim To improve the efficiency of fatigue material tests and relevant statistical treatment of test data. Methods\ Least square approach and other special treatments were used. Results and Conclusion\ The concepts of each phase in fatigue tests and statistical treatment are clarified. The method proposed leads to three important properties. Reduced number of specimens brings to the advantage of lowering test expenditures. The whole test procedure has more flexibility for there is no need to conduct many tests at the same stress level as in traditional cases. 展开更多
关键词 fatigue test statistical method test specimens
下载PDF
Nondestructive testing method of wood moisture content based on a planar capacitance sensor model 被引量:3
11
作者 WANG Jue LUO Yue-sheng LIU Shao-gang 《Forestry Studies in China》 CAS 2010年第3期142-146,共5页
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. 展开更多
关键词 planar capacitance sensor nondestructive testing wood moisture content boundary element method least squares fitring method
下载PDF
Microstructure modeling and virtual test of asphalt mixture based on three-dimensional discrete element method 被引量:3
12
作者 马涛 张德育 +2 位作者 张垚 赵永利 黄晓明 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第6期1525-1534,共10页
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. 展开更多
关键词 asphalt mixture microstructure modeling virtual test discrete element method three-dimensional method
下载PDF
Conversion factor analysis of self-balanced loading test of cast-in-situ piles based on analogue test method 被引量:3
13
作者 Li Jianhang Li Xiaojuan +2 位作者 Gao Luchao Dai Guoliang Wu Weiguo 《Journal of Southeast University(English Edition)》 EI CAS 2019年第2期185-190,共6页
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. 展开更多
关键词 cast-in-situ piles self-balanced method analogue test method Mohr-Coulomb strength theory conversion factor
下载PDF
Simulation of unconventional well tests with the finite volume method 被引量:1
14
作者 CANCELLIERE Michel VERGA Francesca 《Petroleum Science》 SCIE CAS CSCD 2012年第3期317-329,共13页
The finite volume method has been successfully applied in several engineering fields and has shown outstanding performance in fluid dynamics simulation. In this paper, the general framework for the simulation ofnear-w... The finite volume method has been successfully applied in several engineering fields and has shown outstanding performance in fluid dynamics simulation. In this paper, the general framework for the simulation ofnear-wellbore systems using the finite volume method is described. The mathematical model and the numerical model developed by the authors are presented and discussed. A radial geometry in the vertical plane was implemented so as to thoroughly describe near-wellbore phenomena. The model was then used to simulate injection tests in an oil reservoir through a horizontal well and proved very powerful to correctly reproduce the transient pressure behavior. The reason for this is the robustness of the method, which is independent of the gridding options because the discretization is performed in the physical space. The model is able to describe the phenomena taking place in the reservoir even in complex situations, i.e. in the presence of heterogeneities and permeability barriers, demonstrating the flexibility of the finite volume method when simulating non-conventional tests. The results are presented in comparison with those obtained with the finite difference numerical approach and with analytical methods, if possible. 展开更多
关键词 Finite volume method numerical methods horizontal well modeling injection testing GRIDDING
下载PDF
The Testing Strength Curves of Lightweight Aggregate Concrete by Rebound Method and Ultrasonic-rebound Combined Method 被引量:3
15
作者 荣辉 《Journal of Wuhan University of Technology(Materials Science)》 SCIE EI CAS 2011年第5期1010-1017,共8页
The strength curves of lightweight aggregate concrete (LWAC) were tested based on detecting LWAC with density of 1 400-1 900 kg/m3 and LWAC with strength grade of LC15-LC50 by rebound method and ultrasonic-rebound c... The strength curves of lightweight aggregate concrete (LWAC) were tested based on detecting LWAC with density of 1 400-1 900 kg/m3 and LWAC with strength grade of LC15-LC50 by rebound method and ultrasonic-rebound combined method.The results show that the common measured strength curves tested by above two methods can not satisfy the required accuracy of LWAC strength test.In addition,specified compressive strength curves of testing LWAC by rebound method and ultrasonic-rebound combined method are obtained,respectively. 展开更多
关键词 lightweight aggregate concrete compressive strength rebound method testing-strength curve ultrasonic-rebound combined method
下载PDF
Validation of Microbial Limit Test Methods of Tongmai Tangyanming Capsule
16
作者 Renhui YANG Yali YAO Xunrong ZHOU 《Agricultural Biotechnology》 CAS 2018年第1期104-108,共5页
[ Objectives] This study was conducted to establish a method for microbial limit test of Tongmai Tangyanming Capsule. [ Methods] According to the Chinese Pharmacopoei 2015 edition of the four general rules, the microb... [ Objectives] This study was conducted to establish a method for microbial limit test of Tongmai Tangyanming Capsule. [ Methods] According to the Chinese Pharmacopoei 2015 edition of the four general rules, the microbiological limits of non-sterile products were verified. [ Results] Tongmai Tangyanming Capsule has a strong inhibitory effect on Bacillus subtilis and Candida albicans. The antimicrobial activity was significantly eliminated after increasing the diluent ( 1 : 20) ; and the recoveries were in the range of 0.5 -2 when the total quantities of aerobic microbes were determined by dilution method (1:20). When the total quantities of mould and yeast were determined by dilution method (1:20), the recoveries were from 0.5 to 2, and Escherichia coli, cholate-tolerant Gram-negative bacteria and Salmonella can be detected by the test solution dilution method. [ Condusions] With the plate method, the total quantities of aerobic bacteria and the quantities of mould and yeast were examined by increasing diluent, and conventional method was used for examination of control bacteria including E. coli, cholatetolerant Gram-negative bacteria and Salmonella. This method has been proved effective for microbial limit test of Tongmai Tangyanming Capsule, and can effectively control the quality of the preparation. The method is accurate and reliable. 展开更多
关键词 Tongmai Tangyanming Capsule Microbial limit test method Dilution method
下载PDF
The Methodology of Risk Assessment in the Planning of Construction Projects
17
作者 Elzbieta Szafranko 《Management Studies》 2017年第4期312-320,共9页
Any investment project bears some burden of risk. An investor who plans to carry out a building investment must be aware of the hazards that can be encountered while pursuing the project. Risk analysis can be supporte... Any investment project bears some burden of risk. An investor who plans to carry out a building investment must be aware of the hazards that can be encountered while pursuing the project. Risk analysis can be supported by multi-criteria methods, which allow the user to assess the risk level while taking into account various risk-affecting factors. The aim of this article is to present and compare methods for estimating the level of risk. The article shows an example of risk assessment using methods Preliminary Hazard Assessment, Hazard Matrix and the method not used to this type of calculation Indicator method. Conducted in Article calculations show the possibility of using methods from the group of multi-criteria analysis and the results show the usefulness of the methodology developed by the author. This analysis involves a construction development designed for the tourism business. This is an interesting example due to the specific nature of the object and its location. The calculations take into account the difficult implementation conditions and the results show what you should pay attention to when planning investment. 展开更多
关键词 construction activities risk management risk estimation matrix method indicator method
下载PDF
Progress billing method of accounting for long-term construction contracts
18
作者 Mathew Alappatt Junaid M. Sheikh Anbalagan Krishnan 《Journal of Modern Accounting and Auditing》 2010年第11期41-47,共7页
This article questions the reliability of the amount of revenue recognized in the percentage of completion (POC) method of revenue recognition in construction industry and recommends a new method based on the progre... This article questions the reliability of the amount of revenue recognized in the percentage of completion (POC) method of revenue recognition in construction industry and recommends a new method based on the progress billing which is more reliable. The most commonly used method of revenue recognition in the construction industry is the percentage of completion method (POC), where the revenue is recognized on the basis of the percentage of work completed. The calculation of percentage of work completed is made on the basis of the cost incurred for the contract work during the financial period and the cost required for completion of the work as estimated by the contractor. Here, the acceptance of the product by the buyer (contractee) is not involved in recognizing the revenue. The reliability of the amount of revenue and its collectability can be assured only when the buyer accepts the product. The approval of the progress bill by the contractee is needed to assure the reliability and collectability and it must be the event that triggers the recognition of revenue. 展开更多
关键词 long-term construction contracts completed contract method percentage of completion method and progress bill
下载PDF
Analysis of the integrated test and evaluation methods of tidal current energy generating devices in the offshore testing site
19
作者 郭文瑞 朱永强 +3 位作者 叶青 李雪临 王鑫 段春明 《Marine Science Bulletin》 CAS 2014年第2期60-71,共12页
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. 展开更多
关键词 testing ground tidal current energy generating device integrated test evaluation method
下载PDF
Real-time embedded software testing method based on extended finite state machine 被引量:6
20
作者 Yongfeng Yin Bin Liu Hongying Ni 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第2期276-285,共10页
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. 展开更多
关键词 real-time system real-time embedded software for- mal method extended finite state machine (EFSM) testing se- quence test case.
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部