Concurrent programs written in a machine level language are being used in many areas but verification of such programs brings new challenges to the programming language community. Most of the studies in the literature...Concurrent programs written in a machine level language are being used in many areas but verification of such programs brings new challenges to the programming language community. Most of the studies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The concurrency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.展开更多
Understanding the causes and solutions of road traffic accidents is important for developing road and action plans in a country. In Vietnam, awareness of traffic participants is the main cause of serious traffic accid...Understanding the causes and solutions of road traffic accidents is important for developing road and action plans in a country. In Vietnam, awareness of traffic participants is the main cause of serious traffic accidents. In recent years, the number of road traffic accidents in Tuyen Quang province with deaths has decreased, but the number of accidents has increased significantly. The article uses data on traffic accidents in Tuyen Quang over the (2016-2023) has been analytically reviewed. From there, analyze accident characteristics and causes of traffic accidents in Tuyen Quang province, and propose solutions to improve traffic safety in Tuyen Quang, Vietnam. The findings can be information for managers and researchers interested in studying the province of Tuyen Quang, Vietnam road traffic safety. Additionally, the findings have led the government to achieve national targets in reducing the number of accidents and serious injuries.展开更多
Although there has been a slight decrease in road traffic crashes, fatalities, and injuries in recent years, HCMC (Ho Chi Minh City) will continue to encounter challenges in mitigating and preventing road crashes. Thi...Although there has been a slight decrease in road traffic crashes, fatalities, and injuries in recent years, HCMC (Ho Chi Minh City) will continue to encounter challenges in mitigating and preventing road crashes. This study analyzes road crash data from the past five years, obtained from the Road-Railway Police Bureau (PC08) and TSB (Traffic Safety Board) in HCMC. This analysis gives us valuable insights into road crash patterns, characteristics, and underlying causes. This comprehensive understanding serves as a scientific foundation for developing cohesive strategies and implementing targeted solutions to address road traffic safety issues more effectively in the future.展开更多
This study evaluated the impacts of food safety policies on Japan's Simultaneous Buy and Sell rice imports through measuring tariff equivalents of food safety policies.In order to construct an estimated model,a Ja...This study evaluated the impacts of food safety policies on Japan's Simultaneous Buy and Sell rice imports through measuring tariff equivalents of food safety policies.In order to construct an estimated model,a Japanese consumer's utility function is introduced and developed with consumer's preference parameters and elasticity of substitution.In the empirical study part,Japan's positive list system and rice traceability were analyzed and assessed as critical food safety policies.Results showed that after the implementation of the positive list system,consumers'preference for foreign rice and the substitution elasticity diminished.This decreasing tendency was quite similar to the results after the enforcement of rice traceability.The tariff equivalents of food safety policies on imported rice fluctuated around ¥50 yen/kg from fiscal year 2000 to 2005 and decreased because of the global grain price hike after 2006.The tariff equivalents soared in 2010,which was induced by the traceability regulation,and then dulled during Japan's earthquake and tsunami in 2011.Subsequently,after the recovery from natural disasters,the tariff equivalents of food safety policies became higher.Therefore,food safety policies had made imported rice less attractive,weakened the competitive power of rice exporting countries,and had statistically significant impacts on Japan's rice importation.展开更多
Although the number of road traffic accidents,fatalities,injuries has been slightly reduced in recent years,HCMC(Ho Chi Minh City)would still face challenges in reducing and restraining road traffic accidents in the f...Although the number of road traffic accidents,fatalities,injuries has been slightly reduced in recent years,HCMC(Ho Chi Minh City)would still face challenges in reducing and restraining road traffic accidents in the future.This paper presents the results of road traffic accident data analysis over the past 3 years that we collected from the Road-Railway Police Bureau in HCMC.Based on the results,we could be able to deeply understand trends,characteristics,and causes of road traffic accidents.Such a deep understanding is a scientific basis to study and formulate synchronous strategy along with specific solutions to solve road traffic accident problems more effectively in the future.展开更多
基金Supported by the Basic Research Foundation of Tsinghua National Laboratory for Information Science and Technology (TNList)the National Natural Science Foundation of China (No. 60573017)the National High-Tech Research and Development (863) Program of China (No. 2006AA01Z198)
文摘Concurrent programs written in a machine level language are being used in many areas but verification of such programs brings new challenges to the programming language community. Most of the studies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The concurrency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.
文摘Understanding the causes and solutions of road traffic accidents is important for developing road and action plans in a country. In Vietnam, awareness of traffic participants is the main cause of serious traffic accidents. In recent years, the number of road traffic accidents in Tuyen Quang province with deaths has decreased, but the number of accidents has increased significantly. The article uses data on traffic accidents in Tuyen Quang over the (2016-2023) has been analytically reviewed. From there, analyze accident characteristics and causes of traffic accidents in Tuyen Quang province, and propose solutions to improve traffic safety in Tuyen Quang, Vietnam. The findings can be information for managers and researchers interested in studying the province of Tuyen Quang, Vietnam road traffic safety. Additionally, the findings have led the government to achieve national targets in reducing the number of accidents and serious injuries.
文摘Although there has been a slight decrease in road traffic crashes, fatalities, and injuries in recent years, HCMC (Ho Chi Minh City) will continue to encounter challenges in mitigating and preventing road crashes. This study analyzes road crash data from the past five years, obtained from the Road-Railway Police Bureau (PC08) and TSB (Traffic Safety Board) in HCMC. This analysis gives us valuable insights into road crash patterns, characteristics, and underlying causes. This comprehensive understanding serves as a scientific foundation for developing cohesive strategies and implementing targeted solutions to address road traffic safety issues more effectively in the future.
基金This work was supported in part by the Fundamental Research Funds for the Central Universities,CUMT(Project No.2017WA02).
文摘This study evaluated the impacts of food safety policies on Japan's Simultaneous Buy and Sell rice imports through measuring tariff equivalents of food safety policies.In order to construct an estimated model,a Japanese consumer's utility function is introduced and developed with consumer's preference parameters and elasticity of substitution.In the empirical study part,Japan's positive list system and rice traceability were analyzed and assessed as critical food safety policies.Results showed that after the implementation of the positive list system,consumers'preference for foreign rice and the substitution elasticity diminished.This decreasing tendency was quite similar to the results after the enforcement of rice traceability.The tariff equivalents of food safety policies on imported rice fluctuated around ¥50 yen/kg from fiscal year 2000 to 2005 and decreased because of the global grain price hike after 2006.The tariff equivalents soared in 2010,which was induced by the traceability regulation,and then dulled during Japan's earthquake and tsunami in 2011.Subsequently,after the recovery from natural disasters,the tariff equivalents of food safety policies became higher.Therefore,food safety policies had made imported rice less attractive,weakened the competitive power of rice exporting countries,and had statistically significant impacts on Japan's rice importation.
文摘Although the number of road traffic accidents,fatalities,injuries has been slightly reduced in recent years,HCMC(Ho Chi Minh City)would still face challenges in reducing and restraining road traffic accidents in the future.This paper presents the results of road traffic accident data analysis over the past 3 years that we collected from the Road-Railway Police Bureau in HCMC.Based on the results,we could be able to deeply understand trends,characteristics,and causes of road traffic accidents.Such a deep understanding is a scientific basis to study and formulate synchronous strategy along with specific solutions to solve road traffic accident problems more effectively in the future.
