To ensure that limited resources are allocated more effectively to reduce marine risks, formal safety assessment (FSA), a proactive method, is introduced in planning a vessel traffic system (VTS). Based on the data of...To ensure that limited resources are allocated more effectively to reduce marine risks, formal safety assessment (FSA), a proactive method, is introduced in planning a vessel traffic system (VTS). Based on the data of Wuhan port, some new solutions based on risk-indices are put forward. The weighted number of traffic accidents is predicted after the future weighted vessel traffic volume is estimated by analyzing the trend of trade development. To analyze risk acceptability, the as-low-as-reasonably-practicable (ALARP) matrix is transformed into a new model containing two parameters: the future weighted vessel traffic volume and the future weighted number of traffic accidents. The new risk control options (RCOs)can be identified by a revised Domino model with several feedback loops from all system levels to close a limited window of accident opportunity. The results indicate that the four most beneficial RCOs are a wider sub-area 1 channel, a VTS bridges area, a dredging sub-area 2 main route, and a VTS QSX anchorage to the 3rd bridge. The FSA is a method that is effective in evaluating the rationality, necessity and cost-effectiveness of VTS projects.展开更多
The purpose of this paper is to investigate reasonable cost benefit criteria within the framework of environmental formal safety assessment （FSA）. In this study a statistical analysis of oil spill data was carried o...The purpose of this paper is to investigate reasonable cost benefit criteria within the framework of environmental formal safety assessment （FSA）. In this study a statistical analysis of oil spill data was carried out based on the report of International Oil Pollution Compensation Funds. According to the statistical study of actual oil spill from tankers, it is found that collisions and groundings are the most probable causes of the oil spills from tankers. Probability distributions of costs of oil spill and oil spill amount are investigated, and a non-linear regression formula between costs of oil spills and oil spill weight are derived. Using the regression formula, an oil spill weight dependent CATStm （Cost of Averting a Ton of oil Spilt） is proposed. Moreover in order to apply the weight dependent CATSthr to cost benefit analysis （CBA）, a new cost-effective criterion is newly proposed with considering its concrete application to environmental FSA.展开更多
The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2...The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.展开更多
基金Shanghai Pujiang Program,the Program of Shanghai Municipal Education Commission (No.07ZZ103)
文摘To ensure that limited resources are allocated more effectively to reduce marine risks, formal safety assessment (FSA), a proactive method, is introduced in planning a vessel traffic system (VTS). Based on the data of Wuhan port, some new solutions based on risk-indices are put forward. The weighted number of traffic accidents is predicted after the future weighted vessel traffic volume is estimated by analyzing the trend of trade development. To analyze risk acceptability, the as-low-as-reasonably-practicable (ALARP) matrix is transformed into a new model containing two parameters: the future weighted vessel traffic volume and the future weighted number of traffic accidents. The new risk control options (RCOs)can be identified by a revised Domino model with several feedback loops from all system levels to close a limited window of accident opportunity. The results indicate that the four most beneficial RCOs are a wider sub-area 1 channel, a VTS bridges area, a dredging sub-area 2 main route, and a VTS QSX anchorage to the 3rd bridge. The FSA is a method that is effective in evaluating the rationality, necessity and cost-effectiveness of VTS projects.
文摘The purpose of this paper is to investigate reasonable cost benefit criteria within the framework of environmental formal safety assessment （FSA）. In this study a statistical analysis of oil spill data was carried out based on the report of International Oil Pollution Compensation Funds. According to the statistical study of actual oil spill from tankers, it is found that collisions and groundings are the most probable causes of the oil spills from tankers. Probability distributions of costs of oil spill and oil spill amount are investigated, and a non-linear regression formula between costs of oil spills and oil spill weight are derived. Using the regression formula, an oil spill weight dependent CATStm （Cost of Averting a Ton of oil Spilt） is proposed. Moreover in order to apply the weight dependent CATSthr to cost benefit analysis （CBA）, a new cost-effective criterion is newly proposed with considering its concrete application to environmental FSA.
基金National Natural Science Foundation of China(No.61963023)。
文摘The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.
