A New Method for Determining the Equation of State of Aluminized Explosive

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.

Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes

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.

Deadlock detection using abstraction refinement

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.

A network security situation awareness method based on layered attack graph

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.