Toolkit of global constraints in Z
نویسنده
چکیده
This toolkit contains Z specifications for most known global constraints. The specifications are parameterised in order to remain as generic as possible, while providing a precise definition of the global constraint at hand.
منابع مشابه
Investigation of the direct DNA damages irradiated by protons of different energies using geant4-DNA toolkit
Background: The total yields of direct Single-Strand Breaks (SSBs) and Double-Strand Breaks (DSBs) in proton energies varying from 0.1 to 40 MeV were calculated. While other studies in this field have not used protons with energy less than 0.5 MeV, our results show interesting and complicated behavior of these protons. Materials and Methods: The simulation has been done using the Geant4-DNA too...
متن کاملSufficient global optimality conditions for general mixed integer nonlinear programming problems
In this paper, some KKT type sufficient global optimality conditions for general mixed integer nonlinear programming problems with equality and inequality constraints (MINPP) are established. We achieve this by employing a Lagrange function for MINPP. In addition, verifiable sufficient global optimality conditions for general mixed integer quadratic programming problems are der...
متن کاملGlobal Grammar Constraints
Global constraints are an important tool in the constraint toolkit. Unfortunately, whilst it is usually easy to specify when a global constraint holds, it is often difficult to build a good propagator. One promising direction is to specify global constraints via grammars or automata. For example, the Regular constraint [1] permits us to specify a wide range of global constraints by means of a D...
متن کاملMaximum Entropy Modeling Toolkit
The Maximum Entropy Modeling Toolkit supports parameter estimation and prediction for statistical language models in the maximum entropy framework. The maximum entropy framework provides a constructive method for obtaining the unique conditional distribution p*(y|x) that satisfies a set of linear constraints and maximizes the conditional entropy H(p|f) with respect to the empirical distribution...
متن کاملAssessment of a cluster of gold nanoparticles effect on cell absorbed dose using the Geant4 toolkit
Introduction: Radiotherapy plays a vital role in cancer treatment. To establish a new potency in radiosensitize tumor cells, delivery of High-Z materials is offered. To date, several simulation geometries have been applied to define simulation sets. The clustering of nanoparticles (NPs) within the cells is a prominent parameter usually ignored in simulation studies. <stro...
متن کامل