Often when modelling systems, physical constraints on the resources available are needed. For example, we might say that at most N processes can access a particular resource at any moment or exactly M participants are needed for an agreement. Such situations are concisely modelled where propositions are constrained such that at most N , or exactly M , can hold at any moment in time. This paper ...

The scheduling method of shiplock has a strong influence on the improvement of shiplock capacity. On the condition that the number of the ships waiting for the lock was relatively stable, the paper constructed an optimization model for joint scheduling of double line shiplock based on the nonlinear goal programming. The hard constraints included that the number of ships arranged in the shiplock...

Abstract Via correspondence theorems, rational log Gromov–Witten invariants of the plane can be computed in terms tropical geometry. For many cases, there exists a range algorithms to compute tropically: for instance, are (generalised) lattice path counts and floor diagram techniques. So far, cases which exist do not extend non‐stationary descendant invariants, that is, those where Psi‐conditio...