41 resultados para Automated Test Data Generation
Resumo:
纳米硬度计,又称深度测量压入仪.该仪器在刚性压针上施加特定载荷,同时记录压入试样深度.此技术广泛应用于微纳米尺度力学性能的研究.以MTS Nano Indenter○ RXP为测试手段,参考试样熔融硅为研究对象,进行了不同压入深度的测试.结果显示,硬度和模量有随压入深度减小而增大的趋势.分析了接触零点的确定、压针尖端缺陷、试样表面的吸湿和粗糙度、弹塑性转变等因素对测试结果的影响.在压入深度为微米和亚微米量级时,上述因素对测试结果无显著影响;而在纳米量级时,有显著影响.所以,当压入深度为几十纳米时,纳米压入测试结果的可靠性值得注意.
Resumo:
To investigate the low temperature fatigue crack propagation behavior of offshore structural steel A131 under random ice loading, three ice failure modes that are commonly present in the Bohai Gulf are simulated according to the vibration stress responses induced by real ice loading. The test data are processed by a universal software FCPUSL developed on the basis of the theory of fatigue crack propagation and statistics. The fundamental parameter controlling the fatigue crack propagation induced by random ice loading is determined to be the amplitude root mean square stress intensity factor K-arm. The test results are presented on the crack propagation diagram where the crack growth rate da/dN is described as the function of K-arm. It is evident that the ice failure modes have great influence on the fatigue crack propagation behavior of the steel in ice-induced vibration. However, some of the experimental phenomena and test results are hard to be physically explained at present. The work in this paper is an initial attempt to investigate the cause of collapse of offshore structures due to ice loading.
Resumo:
Classical fracture mechanics is based on the premise that small scale features could be averaged to give a larger scale property such that the assumption of material homogeneity would hold. Involvement of the material microstructure, however, necessitates different characteristic lengths for describing different geometric features. Macroscopic parameters could not be freely exchanged with those at the microscopic scale level. Such a practice could cause misinterpretation of test data. Ambiguities arising from the lack of a more precise range of limitations for the definitions of physical parameters are discussed in connection with material length scales. Physical events overlooked between the macroscopic and microscopic scale could be the link that is needed to bridge the gap. The classical models for the creation of free surface for a liquid and solid are oversimplified. They consider only the translational motion of individual atoms. Movements of groups or clusters of molecules deserve attention. Multiscale cracking behavior also requires the distinction of material damage involving at least two different scales in a single simulation. In this connection, special attention should be given to the use of asymptotic solution in contrast to the full field solution when applying fracture criteria. The former may leave out detail features that would have otherwise been included by the latter. Illustrations are provided for predicting the crack initiation sites of piezoceramics. No definite conclusions can be drawn from the atomistic simulation models such as those used in molecular dynamics until the non-equilibrium boundary conditions can be better understood. The specification of strain rates and temperatures should be synchronized as the specimen size is reduced to microns. Many of the results obtained at the atomic scale should be first identified with those at the mesoscale before they are assumed to be connected with macroscopic observations. Hopefully, "mesofracture mechanics" could serve as the link to bring macrofracture mechanics closer to microfracture mechanics.
Resumo:
The measurement of void fraction is of importance to the oil industry and chemical industry. In this article, the principle and mathematical method of determining the void fraction of horizontal gas-liquid flow by using a single-energy gamma-ray system is described. The gamma-ray source is the radioactive isotope of Am-241 with gamma-ray energy of 59.5 keV. The time-averaged value of the void fraction in a 50.0-mm i.d. transparent horizontal pipeline is measured under various combinations of the liquid flow and gas flow. It is found that increasing the gas flow rate at a fixed liquid flow rate would increase the void fraction. Test data are compared with the predictions of the correlations and a good agreement is found. The result shows that the designed gamma-ray system can be used for measuring the void fraction in a horizontal gas-liquid two-phase flow with high accuracy.
Resumo:
The piezoelastodynamic field equations are solved to determine the crack velocity at bifurcation for poled ferroelectric materials where the applied electrical field and mechanical stress can be varied. The underlying physical mechanism, however, may not correspond to that assumed in the analytical model. Bifurcation has been related to the occurrence of a pair of maximum circumferential stress oriented symmetrically about the moving crack path. The velocity at which this behavior prevails has been referred to as the limiting crack speed. Unlike the classical approach, bifurcation will be identified with finite distances ahead of a moving crack. Nucleation of microcracks can thus be modelled in a single formulation. This can be accomplished by using the energy density function where fracture initiation is identified with dominance of dilatation in relation to distortion. Poled ferroelectric materials are selected for this study because the microstructure effects for this class of materials can be readily reflected by the elastic, piezoelectic and dielectric permittivity constants at the macroscopic scale. Existing test data could also shed light on the trend of the analytical predictions. Numerical results are thus computed for PZT-4 and compared with those for PZT-6B in an effort to show whether the branching behavior would be affected by the difference in the material microstructures. A range of crack bifurcation speed upsilon(b) is found for different r/a and E/sigma ratios. Here, r and a stand for the radial distance and half crack length, respectively, while E and a for the electric field and mechanical stress. For PZT-6B with upsilon(b) in the range 100-1700 m/s, the bifurcation angles varied from +/-6degrees to +/-39degrees. This corresponds to E/sigma of -0.072 to 0.024 V m/N. At the same distance r/a = 0.1, PZT-4 gives upsilon(b) values of 1100-2100 m/s; bifurcation angles of +/-15degrees to +/-49degrees; and E/sigma of -0.056 to 0.059 V m/N. In general, the bifurcation angles +/-theta(0) are found to decrease with decreasing crack velocity as the distance r/a is increased. Relatively speaking, the speed upsilon(b) and angles +/-theta(0) for PZT-4 are much greater than those for PZT-6B. This may be attributed to the high electromechanical coupling effect of PZT-4. Using upsilon(b)(0) as a base reference, an equality relation upsilon(b)(-) < upsilon(b)(0) < upsilon(b)(+) can be established. The superscripts -, 0 and + refer, respectively, to negative, zero and positive electric field. This is reminiscent of the enhancement and retardation of crack growth behavior due to change in poling direction. Bifurcation characteristics are found to be somewhat erratic when r/a approaches the range 10(-2)-10(-1) where the kinetic energy densities would fluctuate and then rise as the distance from the moving crack is increased. This is an artifact introduced by the far away condition of non-vanishing particle velocity. A finite kinetic energy density prevails at infinity unless it is made to vanish in the boundary value problem. Future works are recommended to further clarify the physical mechanism(s) associated with bifurcation by means of analysis and experiment. Damage at the microscopic level needs to be addressed since it has been known to affect the macrocrack speeds and bifurcation characteristics. (C) 2002 Published by Elsevier Science Ltd.
Resumo:
A new mathematical model for the transient flow in the composite low permeability is established. It is solved by FEM with different boundary conditions such as infinite, circular closed and constant pressure boundary conditions. The typical curves for transient wellbore pressure have been presented. It is shown that the pressure and pressure derivative curves with composite start-up pressure gradients have different slopes which are depended on the start-up pressure gradients and the mobility radios in different regions. The boundary effects are the same as the normal reservoirs without start-up pressure gradients. The study provides a new tool to analyze the transient pressure test data in the low permeability reservoir.
Resumo:
Numerous microcracks propagation in one metal matrix composite, Al/SiCp under impact loading was investigated. The test data was got with a specially designed impact experimental approach. The analysis to the density, nucleating locations and distributions of the microcracks as well as microstructure effects of the original composite was received particular emphasis. The types of microcracks or debonding nucleated in the tested composite were dependent on the stress level and its duration. Distributions of the microcracks were depended on that of microstructures of the tested composite while total number of microcracks in unit area and unit duration, was controlled by the stress levels. Also, why the velocity was much lower than theoretical estimations for elastic solids and why the microcracks propagating velocities increased with the stress levels' increasing in current experiments were analysed and explained.
Resumo:
提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性.
Resumo:
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.
Resumo:
编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度.
Resumo:
提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率
Resumo:
为提高喷灌水量分布均匀性评价的准确性,当雨量筒径向布置时,为考虑所有测点数据对插值点降水深的影响,采用径向和周向两次的三次样条插值计算出未知点的降水深,从而计算喷灌均匀系数。以美国雨鸟30PSH型喷头雨量筒间隔为1m和2m的喷洒试验数据,计算网格点取1m和0.25m,分别采用三次样条两次插值法和邻近四点距离线性插值法计算了克里斯琴森均匀系数。结果表明,均匀系数由高至低的顺序依次为采样间隔为2m的线性插值、采样间隔为2m的三次样条两次插值、采样间隔为1m的线性插值和采样间隔为1m的三次样条两次插值。采样间隔2m比1m计算出的均匀系数总体高3~4个百分点,三次样条两次插值法比邻近点距离线性插值法略低1个百分点,2种计算网格点间距下的均匀系数差值小于1个百分点。结果证明,采样间距、插值方法、计算网格间距对均匀系数的影响依次降低,三次样条两次插值法可以用来评价喷灌组合均匀系数。
Resumo:
A design and optimization procedure developed and used for a propeller installed on a twin-semitunnel-hull ship navigating in very shallow and icy water under heavy load conditions is presented. The base propeller for this vessel was first determined using classic design routines under open-water condition with existing model test data. In the optimization process, a panel method code (PROPELLA) was used to vary the pitch values and distributions and take into account the inflow wake distribution, tunnel gap, and cavitation effects. The optimized propeller was able to improve a ship speed of 0.02 knots higher than the desired speed and 0.06 knots higher than the classic B-series propeller. The analysis of the effect of inflow wake, hull tunnel, cavitation, and blade rake angle on propulsive performance is the focus of this paper.
Resumo:
探讨了不同供水条件下土壤水分与作物产量的关系。[方法]以冬小麦品种长旱58为试材,设肥力和水分2因子高、中、低3水平9个处理组合,通过试验资料分析了不同养分和水分条件下作物的产量响应。利用2006年9月~2007年7月的气象资料研究了冬小麦不同生育期耗水量。[结果]各生育期耗水量占全生育期总耗水量的百分比以孕穗灌浆期最大,达45.6%,其次为拔节期,约21.5%,越冬期最小,约8.4%。底墒对旱作作物产量具有重要影响,施肥量过量会影响农田水分循环过程,使得高产农田的产量随降水量的变化而波动。[结论]提高作物土壤耗水量和土壤底墒利用率是黄土高原旱地农业实现高产稳产的关键。
Resumo:
在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简.