Reliability enhancement testing(RET) is an accelerated testing which hastens the performance degradation process to surface its inherent defects of design and manufacture. It is an important hypothesis that the degrad...Reliability enhancement testing(RET) is an accelerated testing which hastens the performance degradation process to surface its inherent defects of design and manufacture. It is an important hypothesis that the degradation mechanism of the RET is the same as the one of the normal stress condition. In order to check the consistency of two mechanisms, we conduct two enhancement tests with a missile servo system as an object of the study, and preprocess two sets of test data to establish the accelerated degradation models regarding the temperature change rate that is assumed to be the main applied stress of the servo system during the natural storage. Based on the accelerated degradation models and natural storage profile of the servo system, we provide and demonstrate a procedure to check the consistency of two mechanisms by checking the correlation and difference of two sets of degradation data. The results indicate that the two degradation mechanisms are significantly consistent with each other.展开更多
Phase equilibrium in binary gas + water mixtures over wide ranges of temperatures and pressures are modeled and tested for thermodynamic consistency. For modeling, the Peng-Robinson equation of state was used and the ...Phase equilibrium in binary gas + water mixtures over wide ranges of temperatures and pressures are modeled and tested for thermodynamic consistency. For modeling, the Peng-Robinson equation of state was used and the Wong-Sandler mixing rules were incorporated into the equation of state parameters. In the Wong-Sandler mixing rules the van Laar model for the excess Gibbs energy was applied. In addition, a reasonable and flexible method is applied to test the thermodynamic consistency of pressure-temperature-concentration(P-T-x) data of these binary mixtures.Modeling is found acceptable in all cases, meaning that deviations in correlating the pressure and the gas phase concentration are low. For all cases the thermodynamic consistency method gives a clear conclusion about consistency or inconsistency of a set of experimental P-T-x data.展开更多
This paper focuses on a very important point which consists in evaluating experimental data prior to their use for chemical process designs. Hexafluoropropylene P, ρ, T data measured at 11 temperatures from 263 to 36...This paper focuses on a very important point which consists in evaluating experimental data prior to their use for chemical process designs. Hexafluoropropylene P, ρ, T data measured at 11 temperatures from 263 to 362 K and at pressures up to 10 MPa have been examined through a consistency test presented herein and based on the use of a methodology implying both neural networks and Virial equation. Such a methodology appears as very powerful to identify erroneous data and could be conveniently handled for quick checks of databases previously to modeling through classical thermodynamic models and equations of state. As an application to liquid and vapor phase densities of hexafluoropropylene, a more reliable database is provided after removing out layer data.展开更多
In this paper, we have discussed a random censoring test with incomplete information, and proved that the maximum likelihood estimator(MLE) of the parameter based on the randomly censored data with incomplete informat...In this paper, we have discussed a random censoring test with incomplete information, and proved that the maximum likelihood estimator(MLE) of the parameter based on the randomly censored data with incomplete information in the case of the exponential distribution has the strong consistency.展开更多
Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathem...Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathematical formulation.However,poor performance of existing level set models on noisy images and weak boundary limit its application in image segmentation.In this paper,we present a region consistency constraint term to measure the regional consistency on both sides of the boundary,this term defines the boundary of the image within a range,and hence increases the stability of the level set model.The term can make existing level set models significantly improve the efficiency of the algorithms on segmenting images with noise and weak boundary.Furthermore,this constraint term can make edge-based level set model overcome the defect of sensitivity to the initial contour.The experimental results show that our algorithm is efficient for image segmentation and outperform the existing state-of-art methods regarding images with noise and weak boundary.展开更多
A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagra...A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.展开更多
This paper introduces uncertainty theory to deal with non-deterministic factors in ranking alternatives. The uncertain variable method (UVM) and the definition of consistency for uncertainty comparison matrices are pr...This paper introduces uncertainty theory to deal with non-deterministic factors in ranking alternatives. The uncertain variable method (UVM) and the definition of consistency for uncertainty comparison matrices are proposed. A simple yet pragmatic approach for testing whether or not an uncertainty comparison matrix is consistent is put forward. In cases where an uncertainty comparison matrix is inconsistent, an algorithm is used to generate consistent matrix. And then the consistent uncertainty comparison matrix can derive the uncertainty weights. The final ranking is given by uncertainty weighs if they are acceptable;otherwise we rely on the ranks of expected values of uncertainty weights instead. Three numerical examples including a hierarchical (AHP) decision problem are examined to illustrate the validity and practicality of the proposed methods.展开更多
A fundamental premise of an accelerated testing is that the failure mechanism under elevated and normal stress levels should remain the same. Thus, verification of the consistency of failure mechanisms is essential du...A fundamental premise of an accelerated testing is that the failure mechanism under elevated and normal stress levels should remain the same. Thus, verification of the consistency of failure mechanisms is essential during an accelerated testing. A new consistency analysis method based on the gray theory is pro- posed for complex products. First of all, existing consistency ana- lysis methods are reviewed with a focus on the comparison of the differences among them. Then, the proposed consistency ana- lysis method is introduced. Two effective gray prediction models, gray dynamic model and new information and equal dimensional (NIED) model, are adapted in the proposed method. The process to determine the dimension of NIED model is also discussed, and a decision rule is expanded. Based on that, the procedure of ap- plying the new consistent analysis method is developed. Finally, a case study of the consistency analysis of a reliability enhancement testing is conducted to demonstrate and validate the proposed method.展开更多
目的:研究爱丁堡观察性步态评估量表(Edinburgh visual gait score,EVGS)的信度,并与三维步态分析进行比较,评价其有效性;同时分析EVGS各项内部以及与脑性瘫痪(cerebral palsy,CP)儿童粗大运动功能分级系统(gross motor function classi...目的:研究爱丁堡观察性步态评估量表(Edinburgh visual gait score,EVGS)的信度,并与三维步态分析进行比较,评价其有效性;同时分析EVGS各项内部以及与脑性瘫痪(cerebral palsy,CP)儿童粗大运动功能分级系统(gross motor function classification system,GMFCS)的相关性,为EVGS在临床应用提供客观依据。方法:从2019年至2021年所有在同济大学附属养志康复医院三维步态分析实验室进行三维步态分析的727例痉挛型CP儿童中随机抽取20例CP,分别由4名不同经验背景的评估者采用EVGS对20例CP的步行视频进行评估,并在间隔1个月后再次评估同一视频。采用同类相关系数分析(intragroup correlation coefficient,ICC)检验4名评估者的间信度,以及同一评估者的重测信度;采用Spearman等级相关系数检验EVGS总分及各项与三维步态分析数据和GMFCS之间的相关性。结果:评估者间第一次评估ICC值为0.947(P<0.001),第二次评估ICC值为0.952(P<0.001),两次评定结果均显示不同评估者对同一组视频采用EVGS的一致性结果较好。各评估者前后两次重测结果显示ICC系数均≥0.75(P<0.0010),表明间隔1个月,同一评估者前后两次评估结果具有较高一致性。相关性分析结果发现,EVGS与三维步态分析结果为中等相关,在校学生评估的总分与校标相关性最大。EVGS与GMFCS等级具有相关性。EVGS各项内相关性分析结果表明,足、骨盆及躯干控制的评估分项对EVGS评估整体步态的结果具有影响。结论:EVGS量表的评估者间信度以及同一评估者重测信度均具有较高可信性,未有丰富的临床经验背景下的评估者使用EVGS同样可以达到较高信效度。相关性分析结果表明,EVGS评估结果的准确性仍存在不足,EVGS评估结果与CP儿童运动功能障碍水平具有相关性,在设备有限情况下,EVGS可以作为步态分析的替补工具,是目前较为可靠的观察性步态评估量表之一。展开更多
基金supported by the Natural Science Foundation of Hunan Province(2018JJ2282)
文摘Reliability enhancement testing(RET) is an accelerated testing which hastens the performance degradation process to surface its inherent defects of design and manufacture. It is an important hypothesis that the degradation mechanism of the RET is the same as the one of the normal stress condition. In order to check the consistency of two mechanisms, we conduct two enhancement tests with a missile servo system as an object of the study, and preprocess two sets of test data to establish the accelerated degradation models regarding the temperature change rate that is assumed to be the main applied stress of the servo system during the natural storage. Based on the accelerated degradation models and natural storage profile of the servo system, we provide and demonstrate a procedure to check the consistency of two mechanisms by checking the correlation and difference of two sets of degradation data. The results indicate that the two degradation mechanisms are significantly consistent with each other.
基金the National Council for Scientific and Technological Research,CONICYT,for its grant FONDECYT 3020020the Center for Technological Information (La Serena-Chile) for computer and library support+1 种基金CAF thanks the Direction of Research of the University of Concepción for the support through the research grant DIUC 211.011.054-1.0JOV thanks the University of La Serena for especialsupport
文摘Phase equilibrium in binary gas + water mixtures over wide ranges of temperatures and pressures are modeled and tested for thermodynamic consistency. For modeling, the Peng-Robinson equation of state was used and the Wong-Sandler mixing rules were incorporated into the equation of state parameters. In the Wong-Sandler mixing rules the van Laar model for the excess Gibbs energy was applied. In addition, a reasonable and flexible method is applied to test the thermodynamic consistency of pressure-temperature-concentration(P-T-x) data of these binary mixtures.Modeling is found acceptable in all cases, meaning that deviations in correlating the pressure and the gas phase concentration are low. For all cases the thermodynamic consistency method gives a clear conclusion about consistency or inconsistency of a set of experimental P-T-x data.
文摘This paper focuses on a very important point which consists in evaluating experimental data prior to their use for chemical process designs. Hexafluoropropylene P, ρ, T data measured at 11 temperatures from 263 to 362 K and at pressures up to 10 MPa have been examined through a consistency test presented herein and based on the use of a methodology implying both neural networks and Virial equation. Such a methodology appears as very powerful to identify erroneous data and could be conveniently handled for quick checks of databases previously to modeling through classical thermodynamic models and equations of state. As an application to liquid and vapor phase densities of hexafluoropropylene, a more reliable database is provided after removing out layer data.
文摘In this paper, we have discussed a random censoring test with incomplete information, and proved that the maximum likelihood estimator(MLE) of the parameter based on the randomly censored data with incomplete information in the case of the exponential distribution has the strong consistency.
基金supported in part by the NSFC-Zhejiang Joint Fund of the Integration of Informatization and Industrialization(U1609218)NSFC(61772312,61373078,61772253)+1 种基金the Key Research and Development Project of Shandong Province(2017GGX10110)NSF of Shandong Province(ZR2016FM21,ZR2016FM13)
文摘Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathematical formulation.However,poor performance of existing level set models on noisy images and weak boundary limit its application in image segmentation.In this paper,we present a region consistency constraint term to measure the regional consistency on both sides of the boundary,this term defines the boundary of the image within a range,and hence increases the stability of the level set model.The term can make existing level set models significantly improve the efficiency of the algorithms on segmenting images with noise and weak boundary.Furthermore,this constraint term can make edge-based level set model overcome the defect of sensitivity to the initial contour.The experimental results show that our algorithm is efficient for image segmentation and outperform the existing state-of-art methods regarding images with noise and weak boundary.
基金Supported by the National Natural Science Foundation of China (60673115)the National Basic Research Program of China (973 Program) (2002CB312001)the Open Foundation of State Key Laboratory of Soft-ware Engineering (SKLSE05-13)
文摘A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.
文摘This paper introduces uncertainty theory to deal with non-deterministic factors in ranking alternatives. The uncertain variable method (UVM) and the definition of consistency for uncertainty comparison matrices are proposed. A simple yet pragmatic approach for testing whether or not an uncertainty comparison matrix is consistent is put forward. In cases where an uncertainty comparison matrix is inconsistent, an algorithm is used to generate consistent matrix. And then the consistent uncertainty comparison matrix can derive the uncertainty weights. The final ranking is given by uncertainty weighs if they are acceptable;otherwise we rely on the ranks of expected values of uncertainty weights instead. Three numerical examples including a hierarchical (AHP) decision problem are examined to illustrate the validity and practicality of the proposed methods.
基金supported by the National Natural Science Foundation of China(61104132)
文摘A fundamental premise of an accelerated testing is that the failure mechanism under elevated and normal stress levels should remain the same. Thus, verification of the consistency of failure mechanisms is essential during an accelerated testing. A new consistency analysis method based on the gray theory is pro- posed for complex products. First of all, existing consistency ana- lysis methods are reviewed with a focus on the comparison of the differences among them. Then, the proposed consistency ana- lysis method is introduced. Two effective gray prediction models, gray dynamic model and new information and equal dimensional (NIED) model, are adapted in the proposed method. The process to determine the dimension of NIED model is also discussed, and a decision rule is expanded. Based on that, the procedure of ap- plying the new consistent analysis method is developed. Finally, a case study of the consistency analysis of a reliability enhancement testing is conducted to demonstrate and validate the proposed method.