In order to improve the overall resilience of the urban infrastructures, it is required to conduct blast resistant design for important building structures in the city. For complex terrain in the city, it is recommend...In order to improve the overall resilience of the urban infrastructures, it is required to conduct blast resistant design for important building structures in the city. For complex terrain in the city, it is recommended to determine the blast load on the structures via numerical simulation. Since the mesh size of the numerical model highly depends on the explosion scenario, there is no generally applicable approach for the mesh size selection. An efficient method to determine the mesh size of the numerical model of near-ground detonation based on explosion scenarios is proposed in this study. The effect of mesh size on the propagation of blast wave under different explosive weights was studied, and the correlations between the mesh size effect and the charge weight or the scaled distance was described. Based on the principle of the finite element method and Hopkinson-Cranz scaling law, a mesh size measurement unit related to the explosive weight was proposed as the criterion for determining the mesh size in the numerical simulation. Finally, the applicability of the method proposed in this paper was verified by comparing the results from numerical simulation and the explosion tests and was verified in AUTODYN.展开更多
This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier e...This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier extracts a transition relation from the state graph (given as a specification) which is expressed using symbolic values, and verifies based on simulation using those symbolic values if the circuit behaves correctly with respect to each transition of the specification. If the verifier terminates with "correct", then we can guarantee that for any applicable input vector sequences, the circuit and the specification behaves identically. We have implemented the proposed method on a Unix workstation and verified some FIFO and LIFO circuits by using it.展开更多
From the viewpoints of environmental conservation and energy efficiency,seawater-source heat pump system(SWHP) to provide district cooling and heating is applied in coastal areas.Based on the system,a heat transfer mo...From the viewpoints of environmental conservation and energy efficiency,seawater-source heat pump system(SWHP) to provide district cooling and heating is applied in coastal areas.Based on the system,a heat transfer model was established for cast heat exchanger(CHE) adopted by SWHP systems.The CHE consists of pipes immersed in the seawater and used for transferring heat between the seawater and the heat exchanger pipes of SWHP system.An experimental study was carried out to test the validity of the model.A program was developed in VB language and the effects of inlet temperature,flow rate of the secondary refrigerant and length of CHE on the results were investigated.The results of the numerical simulation are in consistence with the experiments in both winter and summer conditions.As a result,application of SWHP systems with CHE in coastal areas in China is feasible due to the favorable geographical conditions and environment.展开更多
基金the funding supports of the National Key Research and Development Plan,China(Grant No.2022YFC3801800)National Natural Science Foundation of China(Grant Nos.52038010 and 52078368)。
文摘In order to improve the overall resilience of the urban infrastructures, it is required to conduct blast resistant design for important building structures in the city. For complex terrain in the city, it is recommended to determine the blast load on the structures via numerical simulation. Since the mesh size of the numerical model highly depends on the explosion scenario, there is no generally applicable approach for the mesh size selection. An efficient method to determine the mesh size of the numerical model of near-ground detonation based on explosion scenarios is proposed in this study. The effect of mesh size on the propagation of blast wave under different explosive weights was studied, and the correlations between the mesh size effect and the charge weight or the scaled distance was described. Based on the principle of the finite element method and Hopkinson-Cranz scaling law, a mesh size measurement unit related to the explosive weight was proposed as the criterion for determining the mesh size in the numerical simulation. Finally, the applicability of the method proposed in this paper was verified by comparing the results from numerical simulation and the explosion tests and was verified in AUTODYN.
文摘This paper presents a formal verification method based on logic simulation. In our method, using symbolic values even circuits which include data paths can be verified without abstraction of data paths. Our verifier extracts a transition relation from the state graph (given as a specification) which is expressed using symbolic values, and verifies based on simulation using those symbolic values if the circuit behaves correctly with respect to each transition of the specification. If the verifier terminates with "correct", then we can guarantee that for any applicable input vector sequences, the circuit and the specification behaves identically. We have implemented the proposed method on a Unix workstation and verified some FIFO and LIFO circuits by using it.
基金Project(2006BAJ04A15-03) supported by the National Science and Technology Pillar Program during the Eleventh Five-year Plan Period
文摘From the viewpoints of environmental conservation and energy efficiency,seawater-source heat pump system(SWHP) to provide district cooling and heating is applied in coastal areas.Based on the system,a heat transfer model was established for cast heat exchanger(CHE) adopted by SWHP systems.The CHE consists of pipes immersed in the seawater and used for transferring heat between the seawater and the heat exchanger pipes of SWHP system.An experimental study was carried out to test the validity of the model.A program was developed in VB language and the effects of inlet temperature,flow rate of the secondary refrigerant and length of CHE on the results were investigated.The results of the numerical simulation are in consistence with the experiments in both winter and summer conditions.As a result,application of SWHP systems with CHE in coastal areas in China is feasible due to the favorable geographical conditions and environment.
