Due to the randomness and time dependence of the factors affecting software reliability, most software reliability models are treated as stochastic processes, and the non-homogeneous Poisson process(NHPP) is the most ...Due to the randomness and time dependence of the factors affecting software reliability, most software reliability models are treated as stochastic processes, and the non-homogeneous Poisson process(NHPP) is the most used one.However, the failure behavior of software does not follow the NHPP in a statistically rigorous manner, and the pure random method might be not enough to describe the software failure behavior. To solve these problems, this paper proposes a new integrated approach that combines stochastic process and grey system theory to describe the failure behavior of software. A grey NHPP software reliability model is put forward in a discrete form, and a grey-based approach for estimating software reliability under the NHPP is proposed as a nonlinear multi-objective programming problem. Finally, four grey NHPP software reliability models are applied to four real datasets, the dynamic R-square and predictive relative error are calculated. Comparing with the original single NHPP software reliability model, it is found that the modeling using the integrated approach has a higher prediction accuracy of software reliability. Therefore, there is the characteristics of grey uncertain information in the NHPP software reliability models, and exploiting the latent grey uncertain information might lead to more accurate software reliability estimation.展开更多
Mathematical model of filling disk-shaped mold cavity in steady state was studied.And the mathematical model under vibration field was developed from the model in steady state.According to the model of filling disk-sh...Mathematical model of filling disk-shaped mold cavity in steady state was studied.And the mathematical model under vibration field was developed from the model in steady state.According to the model of filling disk-shaped mold cavity in steady state,the filling time,the distribution of velocity field and the pressure field were obtained.The analysis results from rheological analytic model were compared with the numerical simulation results using Moldflow software in the powder injection molding filling process.Through the comparison,it is found that it is unreasonable to neglect the influence of temperature when calculated the pressure changing with the time at the cavity gate,while it can be neglected in other situations such as calculating the distribution of the velocity fields.This provides a theoretical reference for the establishment of correct model both in steady state and under vibration force field in the future.展开更多
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.展开更多
Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and s...Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.展开更多
电网换相换流器型高压直流输电(line commutated converter-based high voltage direct current,LCC-HVDC)系统若发生后续换相失败,将严重影响交直流混联电网的安全稳定运行。文中首先针对LCC-HVDC系统故障恢复过程中电流偏差控制作用...电网换相换流器型高压直流输电(line commutated converter-based high voltage direct current,LCC-HVDC)系统若发生后续换相失败,将严重影响交直流混联电网的安全稳定运行。文中首先针对LCC-HVDC系统故障恢复过程中电流偏差控制作用阶段易再次发生换相失败的问题,对电流偏差控制参数与换相失败之间的关系进行理论分析,发现此阶段系统若不发生换相失败,逆变侧LCC直流电压和交流换相电压须满足一定的约束关系,且该约束关系受电流偏差控制参数的直接影响。然后,基于理论分析结果,提出一种电流偏差控制参数整定方法,可改善系统故障恢复过程中对直流电压恢复速度和程度的控制要求,使系统更易满足直流电压与交流换相电压稳定运行约束关系,以降低后续换相失败概率。最后,利用PSCAD/EMTDC仿真平台CIGRE标准测试模型验证了理论分析的正确性以及参数整定方法的有效性。展开更多
随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面...随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面无人平台系统安全分析方法。围绕遥控操作地面无人平台系统安全,通过STPA方法识别UGV系统中的不安全控制行为及其潜在风险,并利用Bow-Tie模型分析从损失致因场景到可能事故后果的事件链,得到风险传播路径和风险扩散路径。最终,基于Bow-Tie分析结果确定主被动安全分级控制措施,并通过自主安全控制器实现了系统安全管理。展开更多
基金supported by the National Natural Science Foundation of China (71671090)the Fundamental Research Funds for the Central Universities (NP2020022)the Qinglan Project of Excellent Youth or Middle-Aged Academic Leaders in Jiangsu Province。
文摘Due to the randomness and time dependence of the factors affecting software reliability, most software reliability models are treated as stochastic processes, and the non-homogeneous Poisson process(NHPP) is the most used one.However, the failure behavior of software does not follow the NHPP in a statistically rigorous manner, and the pure random method might be not enough to describe the software failure behavior. To solve these problems, this paper proposes a new integrated approach that combines stochastic process and grey system theory to describe the failure behavior of software. A grey NHPP software reliability model is put forward in a discrete form, and a grey-based approach for estimating software reliability under the NHPP is proposed as a nonlinear multi-objective programming problem. Finally, four grey NHPP software reliability models are applied to four real datasets, the dynamic R-square and predictive relative error are calculated. Comparing with the original single NHPP software reliability model, it is found that the modeling using the integrated approach has a higher prediction accuracy of software reliability. Therefore, there is the characteristics of grey uncertain information in the NHPP software reliability models, and exploiting the latent grey uncertain information might lead to more accurate software reliability estimation.
基金Project(10672197) supported by the National Natural Science Foundation of ChinaProject(07JJ1001) supported by the Natural Science Foundation of Hunan Province for Distinguished Young Scholars,China
文摘Mathematical model of filling disk-shaped mold cavity in steady state was studied.And the mathematical model under vibration field was developed from the model in steady state.According to the model of filling disk-shaped mold cavity in steady state,the filling time,the distribution of velocity field and the pressure field were obtained.The analysis results from rheological analytic model were compared with the numerical simulation results using Moldflow software in the powder injection molding filling process.Through the comparison,it is found that it is unreasonable to neglect the influence of temperature when calculated the pressure changing with the time at the cavity gate,while it can be neglected in other situations such as calculating the distribution of the velocity fields.This provides a theoretical reference for the establishment of correct model both in steady state and under vibration force field in the future.
基金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.
文摘Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.
文摘电网换相换流器型高压直流输电(line commutated converter-based high voltage direct current,LCC-HVDC)系统若发生后续换相失败,将严重影响交直流混联电网的安全稳定运行。文中首先针对LCC-HVDC系统故障恢复过程中电流偏差控制作用阶段易再次发生换相失败的问题,对电流偏差控制参数与换相失败之间的关系进行理论分析,发现此阶段系统若不发生换相失败,逆变侧LCC直流电压和交流换相电压须满足一定的约束关系,且该约束关系受电流偏差控制参数的直接影响。然后,基于理论分析结果,提出一种电流偏差控制参数整定方法,可改善系统故障恢复过程中对直流电压恢复速度和程度的控制要求,使系统更易满足直流电压与交流换相电压稳定运行约束关系,以降低后续换相失败概率。最后,利用PSCAD/EMTDC仿真平台CIGRE标准测试模型验证了理论分析的正确性以及参数整定方法的有效性。
文摘随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面无人平台系统安全分析方法。围绕遥控操作地面无人平台系统安全,通过STPA方法识别UGV系统中的不安全控制行为及其潜在风险,并利用Bow-Tie模型分析从损失致因场景到可能事故后果的事件链,得到风险传播路径和风险扩散路径。最终,基于Bow-Tie分析结果确定主被动安全分级控制措施,并通过自主安全控制器实现了系统安全管理。
