We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems modelling when the exact rates are not known, but are supposed to lie in some intervals. On these (abstract) models we perform probabilistic model checking obtaining lower and upper bounds for the probabilities of reaching states satisfying given properties. These bounds are under- and over-approximations, respectively, of the probabilities one would obtain by verifying the models with exact kinetic rates belonging to the intervals.

Topological relationships between objects in space are of great importance in many disciplines. Due to the lack of local topological information between components, i.e. faces, in the model of topological relationships between complex regions, recently, localized topological relationships have been defined for complex regions based on the relationships between simple regions with holes. However, unlike for simple regions, topological relationships between simple region with holes are not widely implemented. Therefore, in this paper, we propose an approach to derive topological relationships between simple regions with holes based on well known topological relationships between the simple regions as their components. This will allow localized topological predicates between complex regions to be implemented using only topological relationships between simple regions. Furthermore, localized topological predicates between complex regions can be used to implement topological relationships between complex regions. Therefore, this work allows topological relationships between complex regions to be implemented using only topological relationships between simple regions.

To predict the lifespan of Lam Phra Phloeng Reservoir, in which the capacity has been reduced by sedimentation, both sediment inflow volumes generated from upstream areas of the catchment and deposition in the reservoir were calculated. The rating curve of the relationship between discharge and sediment at station M.145 from 1996 to 2000 obtained using water level discharge and a sediment estimation (LQS) showed that the annual sediment volume resulting from inflow to the Lam Phra Phloeng catchment (820 km²) was 0.36553 Mm³ (million cubic meters). The siltation rate and annual sediment volume in the reservoir were obtained for a series of periods. During the first period, from 1970 to 1983, the annual sediment volume was 2.23 Mm³ and the erosion rate was 2.72 mm/year/km². This period coincided with a 73.57% decrease in forest area. The second period, from 1983 to 1991, had a lower annual sediment volume of 1.625 Mm³ and a lower erosion rate of 1.98 mm/year/km². The forest area increased 1.05% during this period. In the recent period, from 1991 to 2000, the annual sediment volume was 0.36553 Mm³ and the erosion rate was 0.445 mm/year/km². These low rates were associated with a 4.95% increase in forest area. Since the 1960s, the agriculture of Thailand has shifted from subsistence farming to a cash crop culture to develop the social economy. This shift has resulted in the conversion of forests to cultivated lands. As a result, rapid deforestation has occurred, and soil erosion in crop fields has become a serious problem with regard to resource degradation. Soil erosion from crop fields has generally been recognized since the old days.

This document is part of the Supplement containing the complete sets of data of Subvolume A ‘Nuclei with Z = 1 - 54’ of Volume 22 ‘Nuclear Binding Energies and Atomic Masses’ of Landolt-Börnstein - Group I ‘Elementary Particles, Nuclei and Atoms’. It provides atomic mass, mass excess, nuclear binding energy, nucleon separation energies, Q-values, and nucleon residual interaction parameters for atomic nuclei of the isotope Ca-60 (Calcium, atomic number Z = 20, mass number A = 60).

Related documents

Landolt-Börnstein Homepage

Introduction

Index

In the third chapter the results from the second chapter are lifted to an intensional setting. It is shown that notions of informational content, information update and speaker support can be defined interchangeably, and independently. The chapter ends with a discussion of the contextualist debate, and the books agrees with (almost of) the contextualist findings, but not the contextualists' conclusions.