Adding Search to Zinc
نویسندگان
چکیده
We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies.
منابع مشابه
Zinc proteomics and the annotation of the human zinc proteome*
Sequence databases can be searched for homologies of zinc coordination motifs with characteristic ligand signatures. Ensuing predictions that 3–10 % of the human genes encodes zinc proteins are most remarkable. But they seem conservative when considering that database mining cannot discover new signatures or coordination environments that employ nonsequential binding of ligands and sulfur-ligan...
متن کاملAdding Search to a Declarative Modelling Language
Modellers would like to automatically translate a declarative conceptual model of a constrained combinatorial problem into an efficient design model. However, for efficiency, most solving techniques require a model-specific search strategy, which is inherently procedural and, thus, difficult to integrate with the declarative conceptual model. This paper describes a small, non-intrusive extensio...
متن کاملAcrylic resin derivatives as modifier for potassium silicate binder in zinc-rich coatings: electrochemical studies
Water based inorganic alkali silicate binder of zinc rich primer was modified by adding acrylic resin derivatives. Several series of primer coatings were formulated by adding 5, 10 and 15 wt of acrylic and acrylic/styrene copolymer to potassium silicate binder and used as binder in zinc rich coatings. The formulated primers were applied on low carbon steel plates and the corrosion protection pr...
متن کاملZinc based bioalloys processed by severe plastic deformation – A review
Zinc based alloys have recently attracted great attention as promising biodegradable metals. Zinc exhibits moderate degradation rates in biological fluid and the zinc releases during the degradation process is considered safe to human systems. However, these materials exhibit critical limitations in terms of mechanical properties for medical applications. Adding alloying elements as well as gra...
متن کاملمیزان گیر پستهای ریختگی سمان شده توسط سمان زینک فسفات: مرور نظاممند مقالات
Background and Aims: Loss of retention is one of the main reasons of failure in teeth restored with post and core. Several factors, including the type of cement can influence the retention of the posts. As zinc phosphate cement is considered as the standard for comparison this study performed to review articles evaluating the retention of cast posts cemented with zinc phosphate. Materials and ...
متن کامل