Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped...Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions（TEFs）, i.e.,delayed S-shaped TEF（DS-TEF） and inflected S-shaped TEF（IS-TEF）, are proposed. Then these two TEFs are incorporated into various types（exponential-type, delayed S-shaped and inflected S-shaped） of non-homogeneous Poisson process（NHPP）SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new SRGMs.The experimental results show that：（i） the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;（ii） incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;（iii） the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs.展开更多
分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,lis...分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.展开更多
The anchor stress extent of a prestress anchor cable project has a direct relation with the project safety and performance. Prestressed tensioning method is a kind of nondestructive testing method, by which a reverse ...The anchor stress extent of a prestress anchor cable project has a direct relation with the project safety and performance. Prestressed tensioning method is a kind of nondestructive testing method, by which a reverse stretching load is applied on the external exposure section of anchor cable under construction or in service, and then the elongation variation of stress bars is measured to determine the anchor stress. We elaborated the theory and testing mechanism of prestressed tensioning method, and systematically studied key issues during the prestressed tensioning process of anchor cable by using physical model test, including the composition of tension stress-elongation curve, the variation of anchor stress, the compensation of locked anchor stress, and the judgment of anchor stress, and verified the theory feasibility of prestressed tensioning method. A case study on slope anchor cable of one highway project was conducted to further discuss on the test method, operation procedures and judgment of prestressed tensioning method on obtaining anchor stress, and then the test data of three situations were analyzed. The result provides a theoretical basis and technical base for the application of prestressed tensioning method to the evaluation of construction quality and operation conditions of anchor cable project.展开更多
A large amount of information is frequently encountered when characterizing the sample model in chemical process.A fault diagnosis method based on dynamic modeling of feature engineering is proposed to effectively rem...A large amount of information is frequently encountered when characterizing the sample model in chemical process.A fault diagnosis method based on dynamic modeling of feature engineering is proposed to effectively remove the nonlinear correlation redundancy of chemical process in this paper.From the whole process point of view,the method makes use of the characteristic of mutual information to select the optimal variable subset.It extracts the correlation among variables in the whitening process without limiting to only linear correlations.Further,PCA(Principal Component Analysis)dimension reduction is used to extract feature subset before fault diagnosis.The application results of the TE(Tennessee Eastman)simulation process show that the dynamic modeling process of MIFE(Mutual Information Feature Engineering)can accurately extract the nonlinear correlation relationship among process variables and can effectively reduce the dimension of feature detection in process monitoring.展开更多
Jerome' s Vulgate set the norms for translation aiming at linguistic equivalence between the SLT and the TLT,from which came the Jerome Model,though his views towards translating did not follow the prescribed orde...Jerome' s Vulgate set the norms for translation aiming at linguistic equivalence between the SLT and the TLT,from which came the Jerome Model,though his views towards translating did not follow the prescribed order,as different text-specific factors were involved in his theory building.To the contrary,Horace demonstrated a much more differentiated approach in his awareness of negotiation or sometimes collision between as many roles as can play in translation,such as translator/interpreter,clients,patronage,languages.Hence the Horace model focuses on text-pragmatic equivalence as the context under which translating is to take place is taken into account.展开更多
基金supported by the Pre-research Foundation of CPLA General Equipment Department
文摘Testing-effort（TE） and imperfect debugging（ID） in the reliability modeling process may further improve the fitting and prediction results of software reliability growth models（SRGMs）. For describing the S-shaped varying trend of TE increasing rate more accurately, first, two S-shaped testing-effort functions（TEFs）, i.e.,delayed S-shaped TEF（DS-TEF） and inflected S-shaped TEF（IS-TEF）, are proposed. Then these two TEFs are incorporated into various types（exponential-type, delayed S-shaped and inflected S-shaped） of non-homogeneous Poisson process（NHPP）SRGMs with two forms of ID respectively for obtaining a series of new NHPP SRGMs which consider S-shaped TEFs as well as ID. Finally these new SRGMs and several comparison NHPP SRGMs are applied into four real failure data-sets respectively for investigating the fitting and prediction power of these new SRGMs.The experimental results show that：（i） the proposed IS-TEF is more suitable and flexible for describing the consumption of TE than the previous TEFs;（ii） incorporating TEFs into the inflected S-shaped NHPP SRGM may be more effective and appropriate compared with the exponential-type and the delayed S-shaped NHPP SRGMs;（iii） the inflected S-shaped NHPP SRGM considering both IS-TEF and ID yields the most accurate fitting and prediction results than the other comparison NHPP SRGMs.
文摘分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.
基金Funded by the Science and Technolog Program of Ministry of Transport of P.R.China(No.2012318352100)
文摘The anchor stress extent of a prestress anchor cable project has a direct relation with the project safety and performance. Prestressed tensioning method is a kind of nondestructive testing method, by which a reverse stretching load is applied on the external exposure section of anchor cable under construction or in service, and then the elongation variation of stress bars is measured to determine the anchor stress. We elaborated the theory and testing mechanism of prestressed tensioning method, and systematically studied key issues during the prestressed tensioning process of anchor cable by using physical model test, including the composition of tension stress-elongation curve, the variation of anchor stress, the compensation of locked anchor stress, and the judgment of anchor stress, and verified the theory feasibility of prestressed tensioning method. A case study on slope anchor cable of one highway project was conducted to further discuss on the test method, operation procedures and judgment of prestressed tensioning method on obtaining anchor stress, and then the test data of three situations were analyzed. The result provides a theoretical basis and technical base for the application of prestressed tensioning method to the evaluation of construction quality and operation conditions of anchor cable project.
基金Supported by the National Natural Science Foundation of China(21576143).
文摘A large amount of information is frequently encountered when characterizing the sample model in chemical process.A fault diagnosis method based on dynamic modeling of feature engineering is proposed to effectively remove the nonlinear correlation redundancy of chemical process in this paper.From the whole process point of view,the method makes use of the characteristic of mutual information to select the optimal variable subset.It extracts the correlation among variables in the whitening process without limiting to only linear correlations.Further,PCA(Principal Component Analysis)dimension reduction is used to extract feature subset before fault diagnosis.The application results of the TE(Tennessee Eastman)simulation process show that the dynamic modeling process of MIFE(Mutual Information Feature Engineering)can accurately extract the nonlinear correlation relationship among process variables and can effectively reduce the dimension of feature detection in process monitoring.
文摘Jerome' s Vulgate set the norms for translation aiming at linguistic equivalence between the SLT and the TLT,from which came the Jerome Model,though his views towards translating did not follow the prescribed order,as different text-specific factors were involved in his theory building.To the contrary,Horace demonstrated a much more differentiated approach in his awareness of negotiation or sometimes collision between as many roles as can play in translation,such as translator/interpreter,clients,patronage,languages.Hence the Horace model focuses on text-pragmatic equivalence as the context under which translating is to take place is taken into account.
