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.展开更多
A highway was constructed in Jiangxi Province, China, through mountainous area. Some sections of the highway went through valleys where a soft clay layer of 6,8.5 m deep was encountered. A new explosive method was dev...A highway was constructed in Jiangxi Province, China, through mountainous area. Some sections of the highway went through valleys where a soft clay layer of 6,8.5 m deep was encountered. A new explosive method was developed and adopted for this project. In this method, blasting is used to remove and replace soft clay with crushed stones. Explosive charges are placed in the soil to be improved according to a certain pattern. Crushed stones are piled up behind the area where charges are installed. The explosion removes most of the soil in the exploded area and causes the pile of crushed stones to slide into the area where the soil is removed by blasting. A formular was suggested to calculate the charge weight used for improving a certain type of soil. The effectiveness of the method is evaluated using borehole exploration, plate load tests,and ground-probing radar tests.展开更多
文摘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.
文摘A highway was constructed in Jiangxi Province, China, through mountainous area. Some sections of the highway went through valleys where a soft clay layer of 6,8.5 m deep was encountered. A new explosive method was developed and adopted for this project. In this method, blasting is used to remove and replace soft clay with crushed stones. Explosive charges are placed in the soil to be improved according to a certain pattern. Crushed stones are piled up behind the area where charges are installed. The explosion removes most of the soil in the exploded area and causes the pile of crushed stones to slide into the area where the soil is removed by blasting. A formular was suggested to calculate the charge weight used for improving a certain type of soil. The effectiveness of the method is evaluated using borehole exploration, plate load tests,and ground-probing radar tests.
