Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions assume the knowledge of the underlying platform architecture and the dependencies it induces on the usage of the various resources. In this paper, we bridge this gap by introducing constraint-flow nets (cfNets). A cfNet is defined by a set of resources and dependencies between them, each dependency having an associated constraint schema. The model is inspired by Petri nets, with resources corresponding to places and dependencies—to transitions. Given an architecture of dependent resources, an initial resource request is propagated through the dependencies. The generated constraints are then conjuncted into the global allocation constraint. We study the notion of conflicts in cfNets and prove that for conflict-free cfNets the global allocation constraint can be constructed unambiguously. Furthermore, we provide an SMT-based algorithm for conflict detection and discuss the use of priorities to dynamically resolve conflicts at run-time. Finally, we illustrate the use of cfNets on a case study inspired by the Kalray MPPA architecture

Population estimate of Chinese mystery snail (\u3ci\u3eBellamya chinensis\u3c/i\u3e) in a Nebraska reservoir

The Chinese mystery snail (Bellamya chinensis) is an aquatic invasive species in North America. Little is known regarding this species’ impacts on freshwater ecosystems. It is believed that population densities can be high, yet no population estimates have been reported. We utilized a mark-recapture approach to generate a population estimate for Chinese mystery snail in Wild Plum Lake, a 6.47-ha reservoir in southeast Nebraska. We calculated, using bias-adjusted Lincoln-Petersen estimation, that there were approximately 664 adult snails within a 127 m2 transect (5.2 snails/m2). If this density was consistent throughout the littoral zone (depth) of the reservoir, then the total adult population in this impoundment is estimated to be 253,570 snails, and the total Chinese mystery snail wet biomass is estimated to be 3,119 kg (643 kg/ha). If this density is confined to the depth sampled in this study (1.46 m), then the adult population is estimated to be 169,400 snails, and wet biomass is estimated to be 2,084 kg (643 kg/ha). Additional research is warranted to further test the utility of mark-recapture methods for aquatic snails and to better understand Chinese mystery snail distributions within reservoirs

Fecundity of the Chinese mystery snail in a Nebraska reservoir

The Chinese mystery snail (Bellamya chinensis) is a non-indigenous, invasive species in freshwater ecosystems of North America. We provide fecundity estimates for a population of these snails in a Nebraska reservoir. We dissected 70 snails, of which 29 were females. Nearly all female snails contained developing young, with an average of 25 young per female. Annual fecundity was estimated at between 27.2 and 33.3 young per female per year. Based on an estimated adult population and the calculated fecundity, the annual production for this reservoir was between 2.2 and 3.7 million young