The time-dependent Jones Wilkins-Lee equation products for aluminized explosives. To obtain the of state （JWL-EOS） is applied to describe detonation state time-dependent JWL-EOS parameters, cylinder tests and underw...The time-dependent Jones Wilkins-Lee equation products for aluminized explosives. To obtain the of state （JWL-EOS） is applied to describe detonation state time-dependent JWL-EOS parameters, cylinder tests and underwater explosion experiments are performed. According to the result of the wall radial velocity in cylinder tests and the shock wave pressures in underwater explosion experiments, the time-dependent JWL-EOS parameters are determined by iterating these variables in AUTODYN hydroeode simulations until the experimental values are reproduced. In addition, to verify the reliability of the derived JWL-EOS parameters, the aluminized explosive experiment is conducted in concrete. The shock wave pressures in the affected concrete bodies are measured by using manganin pressure sensors, and the rod velocity is obtained by using a high-speed camera. Simultaneously, the shock wave pressure and the rod velocity are calculated by using the derived time-dependent JWL equation of state. The calculated results are in good agreement with the experimental data.展开更多
This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlock detection. We extend the classical labeled transition system models by qualifying transitions ...This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlock detection. We extend the classical labeled transition system models by qualifying transitions as certain and uncertain to make deadlock-freedom conservative, i.e. if the abstraction of a system is deadlock-free, then the system is deadlock-free. An abstraction refinement approach to deadlock detection is proposed, and the correctness of the approach is proved.展开更多
The real-time of network security situation awareness(NSSA)is always affected by the state explosion problem.To solve this problem,a new NSSA method based on layered attack graph(LAG)is proposed.Firstly,network is div...The real-time of network security situation awareness(NSSA)is always affected by the state explosion problem.To solve this problem,a new NSSA method based on layered attack graph(LAG)is proposed.Firstly,network is divided into several logical subnets by community discovery algorithm.The logical subnets and connections between them constitute the logical network.Then,based on the original and logical networks,the selection of attack path is optimized according to the monotonic principle of attack behavior.The proposed method can sharply reduce the attack path scale and hence tackle the state explosion problem in NSSA.The experiments results show that the generation of attack paths by this method consumes 0.029 s while the counterparts by other methods are more than 56 s.Meanwhile,this method can give the same security strategy with other methods.展开更多
Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is f...Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.展开更多
The state space explosion,a challenge analogous to that encountered in a Petri net(PN),has constrained the extensivestudy of fuzzy Petri nets(FPNs).Current reasoning algorithms employing FPNs,which operate through for...The state space explosion,a challenge analogous to that encountered in a Petri net(PN),has constrained the extensivestudy of fuzzy Petri nets(FPNs).Current reasoning algorithms employing FPNs,which operate through forward,backward,andbidirectional mechanisms,are examined.These algorithms streamline the inference process by eliminating irrelevant componentsof the FPN.However,as the scale of the FPN grows,the complexity of these algorithms escalates sharply,posing a significantchallenge for practical applications.To address the state explosion issue,this work introduces a parallel bidirectional reasoningalgorithm for an FPN that utilizes reverse and decomposition strategies to optimize the implementation process.The algorithminvolves hierarchically dividing a large-scale FPN into two sub-FPNs,followed by a converse operation to generate the reversalsub-FPN for the right-sub-FPN.The detailed mapping between the original and reversed FPNs is thoroughly discussed.Parallelreasoning operations are then conducted on the left-sub-FPN and the resulting reversal right-sub-FPN,with the final resultderived by computing the Euclidean distance between the outcomes from the output places of the two sub-FPNs.A case study ispresented to illustrate the implementation process,demonstrating the algorithm’s significant enhancement of inference efficiencyand substantial reduction in execution time.展开更多
基金Supported by the National Natural Science Foundation of China under Grant No 11172042
文摘The time-dependent Jones Wilkins-Lee equation products for aluminized explosives. To obtain the of state （JWL-EOS） is applied to describe detonation state time-dependent JWL-EOS parameters, cylinder tests and underwater explosion experiments are performed. According to the result of the wall radial velocity in cylinder tests and the shock wave pressures in underwater explosion experiments, the time-dependent JWL-EOS parameters are determined by iterating these variables in AUTODYN hydroeode simulations until the experimental values are reproduced. In addition, to verify the reliability of the derived JWL-EOS parameters, the aluminized explosive experiment is conducted in concrete. The shock wave pressures in the affected concrete bodies are measured by using manganin pressure sensors, and the rod velocity is obtained by using a high-speed camera. Simultaneously, the shock wave pressure and the rod velocity are calculated by using the derived time-dependent JWL equation of state. The calculated results are in good agreement with the experimental data.
基金supported by the Natural Science Foundation of Shanghai (Grant No.09ZR1412100)the National Natural Science Foundation of China (Grant No.60673115)the Shanghai Leading Academic Discipline Project (Grant No.J50103)
文摘This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlock detection. We extend the classical labeled transition system models by qualifying transitions as certain and uncertain to make deadlock-freedom conservative, i.e. if the abstraction of a system is deadlock-free, then the system is deadlock-free. An abstraction refinement approach to deadlock detection is proposed, and the correctness of the approach is proved.
基金National Natural Science Foundation of China(No.61772478)
文摘The real-time of network security situation awareness(NSSA)is always affected by the state explosion problem.To solve this problem,a new NSSA method based on layered attack graph(LAG)is proposed.Firstly,network is divided into several logical subnets by community discovery algorithm.The logical subnets and connections between them constitute the logical network.Then,based on the original and logical networks,the selection of attack path is optimized according to the monotonic principle of attack behavior.The proposed method can sharply reduce the attack path scale and hence tackle the state explosion problem in NSSA.The experiments results show that the generation of attack paths by this method consumes 0.029 s while the counterparts by other methods are more than 56 s.Meanwhile,this method can give the same security strategy with other methods.
文摘Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.
基金supported by the National Natural Science Foundation of China(No.62066016)the Natural Science Foundation of Hunan Province of China(No.2023JJ2279)+3 种基金the Scientific Research Project of Education Department of Hunan Province of China(Nos.22B0549 and 22C0282)the Postgraduate Scientific Research Innovation Project of Hunan Province(No.CX20231088)the Fundamental Research Grant Scheme of Malaysia(No.R.J130000.7809.5F524)the UTMFR Grant Research Management Center(RMC)of Universiti Teknologi Malaysia(UTM)(No.Q.J130000.2551.20H71)。
文摘The state space explosion,a challenge analogous to that encountered in a Petri net(PN),has constrained the extensivestudy of fuzzy Petri nets(FPNs).Current reasoning algorithms employing FPNs,which operate through forward,backward,andbidirectional mechanisms,are examined.These algorithms streamline the inference process by eliminating irrelevant componentsof the FPN.However,as the scale of the FPN grows,the complexity of these algorithms escalates sharply,posing a significantchallenge for practical applications.To address the state explosion issue,this work introduces a parallel bidirectional reasoningalgorithm for an FPN that utilizes reverse and decomposition strategies to optimize the implementation process.The algorithminvolves hierarchically dividing a large-scale FPN into two sub-FPNs,followed by a converse operation to generate the reversalsub-FPN for the right-sub-FPN.The detailed mapping between the original and reversed FPNs is thoroughly discussed.Parallelreasoning operations are then conducted on the left-sub-FPN and the resulting reversal right-sub-FPN,with the final resultderived by computing the Euclidean distance between the outcomes from the output places of the two sub-FPNs.A case study ispresented to illustrate the implementation process,demonstrating the algorithm’s significant enhancement of inference efficiencyand substantial reduction in execution time.
