基于Petri网的铁路车站安全防护系统建模及可靠性分析

采用单一的随机Petri网对车站线路结构、列车运行过程及车站防护系统建模,基于欧洲电工标准委员会定义的安全目标,确定车站安全防护系统的可靠性需求。对无防护系统的列车入站进行建模和分析,然后基于防护系统功能及可靠性特性,结合列车入站动态特性,对防护系统的功能和可靠性进行建模,并根据安全目标与车站事故率之间的数学关系进行系统的安全分析和可用性分析。其结果表明,车站防护系统的可靠性与乘客的个人风险存在着定量的关系,从而可以依据个人风险的标准来确定防护系统可靠性需求。     

Evaluating anthropogenic N inputs to diverse lake basins: A case study of three Chinese lakes

The environmental degradation of lakes in China has become increasingly serious over the last 30 years and eutrophication resulting from enhanced nutrient inputs is considered a top threat. In this study, a quasi-mass balance method, net anthropogenic N inputs (NANI), was introduced to assess the human influence on N input into three typical Chinese lake basins. The resultant NANI exceeded 10 000 kg N km⁻² year⁻¹ for all three basins, and mineral fertilizers were generally the largest sources. However, rapid urbanization and shrinking agricultural production capability may significantly increase N inputs from food and feed imports. Higher percentages of NANI were observed to be exported at urban river outlets, suggesting the acceleration of NANI transfer to rivers by urbanization. Over the last decade, the N inputs have declined in the basins dominated by the fertilizer use but have increased in the basins dominated by the food and feed import. In the foreseeable future, urban areas may arise as new hotspots for nitrogen in China while fertilizer use may decline in importance in areas of high population density.

Electronic supplementary material

The online version of this article (doi:10.1007/s13280-015-0638-8) contains supplementary material, which is available to authorized users.     

Projecting Climate Change Effects on Forest Net Primary Productivity in Subtropical Louisiana,USA

This study projected responses of forest net primary productivity (NPP) to three climate change scenarios at a resolution of 5 km × 5 km across the state of Louisiana, USA. In addition, we assessed uncertainties associated with the NPP projection at the grid and state levels. Climate data of the scenarios were derived from Community Climate System Model outputs. Changes in annual NPP between 2000 and 2050 were projected with the forest ecosystem model PnET-II. Results showed that forest productivity would increase under climate change scenarios A1B and A2, but with scenario B1, it would peak during 2011–2020 and then decline. The projected average NPP under B1 over the years from 2000 to 2050 was significantly different from those under A1B and A2. Forest NPP appeared to be primarily a function of temperature, not precipitation. Uncertainties of the NPP projection were due to large spatial resolution of the climate variables. Overall, this study suggested that in order to project effects of climate change on forest ecosystem at regional level, modeling uncertainties could be reduced by increasing the spatial resolution of the climate projections.     

基于模糊颜色Petri网的表决DVP安全软件模型初探

把模糊计算理论和有色Petri网有机地结合起来 ,提出了一种模糊颜色Petri网诊断表决算法 ,把该算法应用于DVP的软件模型 ,使之具有故障容忍和表决的能力。笔者对以模糊颜色Petri网为核心的DVP软件模型表决算法进行了较为深入的探讨 ,该模型对提高软件系统的安全性和可靠性具有实际意义。     

Ecological tax reforms and environmental benefits in Italy and Sweden

The paper calculates the implications of including monetary measurements of environmental emission changes for the welfare impacts of ecological tax reforms in Italy and Sweden. Taxes on emissions of SO₂, NO_x and CO₂ are investigated. Country-specific computable equilibrium models are used for estimating net welfare changes of the introduction of these taxes, the incomes of which are used for reducing distorting labour taxes. The results indicate that the inclusion of environmental benefits reduces the costs of ecological tax reforms considerably for both countries, and may even turn into net welfare gains.     

Net Present Biodiversity Value and the Design of Biodiversity Offsets

There is an urgent need to develop sound theory and practice for biodiversity offsets to provide a better basis for offset multipliers, to improve accounting for time delays in offset repayments, and to develop a common framework for evaluating in-kind and out-of-kind offsets. Here, we apply concepts and measures from systematic conservation planning and financial accounting to provide a basis for determining equity across type (of biodiversity), space, and time. We introduce net present biodiversity value (NPBV) as a theoretical and practical measure for defining the offset required to achieve no-net-loss. For evaluating equity in type and space we use measures of biodiversity value from systematic conservation planning. Time discount rates are used to address risk of non-repayment, and loss of utility. We illustrate these concepts and measures with two examples of biodiversity impact–offset transactions. Considerable further work is required to understand the characteristics of these approaches.     

地铁运营突发事件应急响应模式的马尔科夫链分析

为研究城市轨道交通网络化运营线路的风险传导规律和耦合关系,构建基于随机Petri网的同构马尔科夫链模型。通过模型分析突发事件应急响应模式中线路之间的相互影响,以及各线路启动突发事件应急响应模式对整个系统稳态的影响。结果表明,用该模型可从数学上研究城市轨道交通运营线路之间的传导规律和耦合关系,找出影响整个应急指挥系统效率的关键因素,最终提高地铁应对突发事件的能力。     

考虑保护层响应的炼化过程系统风险动态转移模型

为适时、有效地控制炼化过程系统风险,以模糊Petri网(FPN)为基础,针对炼化系统动态退化性和系统中保护层对风险转移的干预性,建立考虑保护层响应的炼化过程系统风险动态转移模型。描述基于FPN的保护层作用动态机制,分析炼化系统在保护层干预下,从非正常干扰触发开始至炼化系统退化过程的风险变化趋势。最后通过正己烷缓冲罐案例分析验证模型。结果表明:正己烷缓冲罐在开始运行的30 000 h内,系统风险等级呈阶段性变化,在工作的前16 800 h,风险为Ⅰ级;第16 800~27 600 h,风险为Ⅱ级;第27 600~30 000 h,风险为Ⅲ级。     

考虑逆向物流的应急物资配置流程SPN建模分析

应急物资的高效快速配置是降低灾害损失和顺利实施应急救援的有力保障。应急逆向物流包括废旧物资的回收利用以及可重复利用物资的回收再利用,能起到缓解应急物资匮乏,减少环境污染的作用。本文根据随机Petri网理论,构建考虑逆向物流的应急物资配置模型,通过对同构于该模型的马尔可夫链进行仿真,求得各种状态的稳态概率,结合马尔可夫链性质对关键因素进行静态分析和动态分析;通过“雅安地震”的案例应用表明,当地震灾害发生时,此模型可以反映各因素对应急物资配置整体流程的影响,并通过数值变化趋势反映不同条件下应急物资配置的关键环节,可以为灾后救援和应急物资的利用提供理论支持。     

基于模糊Petri网的城市突发性燃气短缺应急能力评估

为了有效地降低在城市突发性燃气短缺应急能力评估过程中应急能力影响因素的不确定性和模糊性对评估结果的影响,提出基于模糊Petri网的城市突发性燃气短缺应急能力评估方法。通过分析城市突发性燃气短缺应急事前-事中-事后过程的影响因素,根据评估准则构建出1个包括5个二级指标和26个三级指标的应急能力评估指标体系;针对评估指标体系复杂且变迁的权重值缺乏客观性等问题,引入模糊推理算子与层次分析法,采取定性与定量相结合的方法对评估体系进行应急能力评估。实例仿真结果表明,与传统的评估方法相比,利用模糊Petri网对应急能力评估的结果更加准确和科学。