检索结果-内蒙古大学图书馆

A constraint-driven approach to food supply chain management

INDUSTRIAL MANAGEMENT & DATA SYSTEMS 2017年第9期117卷 2115-2138页

作者： Sitek, Pawel Wikarek, Jaroslaw Nielsen, Peter Kielce Univ Technol Dept Informat Syst Kielce Poland Aalborg Univ Dept Mech & Mfg Engn Aalborg Denmark

Purpose - The purpose of this paper is the need to build a novel approach that would allow flexible modeling and solving of food supply chain management (FSCM) problems. The models developed would use the data (data-driven modeling) as early as possible at the modeling phase, which would lead to a better and more realistic representation of the problems being modeled. Design/methodology/approach - An essential feature of the presented approach is its declarativeness. The use of a declarative approach that additionally includes constraint satisfaction problems and provides an opportunity of fast and easy modeling of constrains different in type and character. Implementation of the proposed approach was performed with the use of an original hybrid method in which constraint logic programming (CLP) and mathematical programming (MP) are integrated and transformation of a model is used as a presolving technique. Findings - The proposed constraint-driven approach has proved to be extremely flexible and efficient. The findings obtained during part of experiments dedicated to efficiency were very interesting. The use of the constraint-driven approach has enabled finding a solution depending on the instance data up to 1,000 times faster than using the MP. Research limitations/implications - Due to the limited use of exact methods for NP-hard problems, the future study should be to integrate the CLP with environments other than the MP. It is also possible, e.g., with metaheuristics like genetic algorithms, ant colony optimization, etc. Practical implications - There is a possibility of using the approach as a basis to build a decision support system for FSCM, simple integration with databases, enterprise resource planning systems, management information systems, etc. Originality/value - The new constraint-driven approach to FSCM has been proposed. The proposed approach is an extension of the hybrid approach. Also, a new decision-making model of distribution and logistics for

关键词： Mathematical programming Decision support Food supply chain management constraint logic programming constraint satisfaction problem Data-driven computing

来源：评论

学校读者我要写书评

暂无评论

Autonomous agents coordination: Action languages meet CLP(FD) and Linda

引用

THEORY AND PRACTICE OF logic programming 2013年第02期13卷 149-173页

作者： Dovier, Agostino Formisano, Andrea Pontelli, Enrico Univ Udine Dipartimento Matemat & Informat I-33100 Udine Italy Univ Perugia Dipartimento Matemat & Informat I-06100 Perugia Italy New Mexico State Univ Dept Comp Sci University Pk NM USA

The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL) for multi-agent systems, where autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository. In their interactions through shared portions of the world, the agents deal with problems of synchronization and concurrency;the action language allows the description of strategies to ensure a consistent global execution of the agents' autonomously derived plans. A distributed planning problem is formalized by providing the declarative specifications of the portion of the problem pertaining to a single agent. Each of these specifications is executable by a stand-alone CLP-based planner. The coordination among agents exploits a Linda infrastructure. The proposal is validated in a prototype implementation developed in SICStus Prolog.

关键词： Action languages Multi-agent systems constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Metaheuristics: A bibliography

引用

ANNALS OF OPERATIONS RESEARCH 1996年第5期63卷 513-623页

作者： Osman, IH Laporte, G UNIV KENT INST MATH & STATCANTERBURY CT2 7NFKENTENGLAND UNIV MONTREAL CTR RECH TRANSPORTSMONTREALPQ H3C 3J7CANADA

Metaheuristics are the most exciting development in approximate optimization techniques of the last two decades. They have had widespread successes in attacking a variety of difficult combinatorial optimization problems that arise in many, practical areas. This bibliography provides a classification of a comprehensive list of 1380 references on the theory and application of metaheuristics. Metaheuristics include but are not limited to constraint logic programming;greedy random adaptive search procedures;natural evolutionary computation;neural networks;non-monotonic search strategies;space-search methods;simulated annealing;tabu search;threshold algorithms and their hybrids. References are presented in alphabetical order under a number of subheadings.

关键词： artificial intelligence bibliography combinatorial optimization constraint logic programming evolutionary computation genetic algorithms greedy random adaptive search procedure heuristics hybrids local search metaheuristics neural networks non-monotonic search strategies problem-space method simulated annealing tabu search threshold algorithms

来源：评论

学校读者我要写书评

暂无评论

Improving Reachability Analysis of Infinite State Systems by Specialization

引用

FUNDAMENTA INFORMATICAE 2012年第3-4期119卷 281-300页

作者： Fioravanti, Fabio Proietti, Maurizio Pettorossi, Alberto Senni, Valerio Univ G dAnnunzio Dept Sci I-65127 Pescara Italy IASI CNR I-00185 Rome Italy Univ Roma Tor Vergata I-00133 Rome Italy

We consider infinite state reactive systems specified by using linear constraints over the integers, and we address the problem of verifying safety properties of these systems by applying reachability analysis techniques. We propose a method based on program specialization, which improves the effectiveness of the backward and forward reachability analyses. For backward reachability our method consists in: (i) specializing the reactive system with respect to the initial states, and then (ii) applying to the specialized system the reachability analysis that works backwards from the unsafe states. For reasons of efficiency, during specialization we make use of a relaxation from integers to mats. In particular, we test the satisfiability or entailment of constraints over the real numbers, while preserving the reachability properties of the reactive systems when constraints are interpreted over the integers. For forward reachability our method works as for backward reachability, except that the role of the initial states and the unsafe states are interchanged. We have implemented our method using the MAP transformation system and the ALV verification system. Through various experiments performed on several infinite state systems, we have shown that our specialization-based verification technique considerably increases the number of successful verifications without a significant degradation of the time performance.

关键词： Reachability analysis automatic verification program transformation constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Formal analysis of PIN block attacks

引用

THEORETICAL COMPUTER SCIENCE 2006年第1-2期367卷 257-270页

作者： Steel, Graham Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland

Personal identification number (PIN) blocks are 64-bit strings that encode a PIN ready for encryption and secure transmission in banking networks. These networks employ tamper-proof hardware security modules (HSMs) to perform sensitive cryptographic operations. such as checking the correctness of a PIN typed by a customer. The use of these HSMs is controlled by an API designed to enforce security. PIN block attacks are unanticipated sequences of API commands which allow an attacker to determine the value of a PIN in an encrypted PIN block. This paper describes a framework for formal analysis of such attacks. Our analysis is probabilistic, and is automated using constraint logic programming and probabilistic model checking. (c) 2006 Elsevier B.V. All rights reserved.

关键词： security API analysis PIN blocks constraint logic programming probabilistic model checking

来源：评论

学校读者我要写书评

暂无评论

An Investigation of Multi-Agent Planning in CLP

引用

FUNDAMENTA INFORMATICAE 2010年第1-2期105卷 79-103页

作者： Dovier, Agostino Formisano, Andrea Pontelli, Enrico Univ Udine Dipartimento Matemat & Informat I-33100 Udine Italy Univ Perugia I-06100 Perugia Italy New Mexico State Univ Las Cruces NM 88003 USA

This paper explores the use of constraint logic programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper develops a novel constraint-based action language, B-MAP, that enables the declarative description of large classes of multi-agent and multi-valued domains. B-MAP supports several complex features, including combined effects of concurrent and interacting actions, concurrency control, and delayed effects. The paper presents a mapping of B-MAP theories to CLP and it demonstrates the effectiveness of an implementation in SICStus Prolog on several benchmark problems. The effort is an evolution of previous research on using CLP for single-agent domains, demonstrating the flexibility of CLP technology to handle the more complex issues of multi-agency and concurrency.

关键词： Action Description Languages Multi Agent Planning constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

A model-integrated authoring environment for privacy policies

引用

SCIENCE OF COMPUTER programming 2014年第Partb期89卷 105-125页

作者： Nadas, Andras Levendovszky, Tihamer Jackson, Ethan K. Madari, Istvan Sztipanovits, Janos Vanderbilt Univ Nashville TN 37235 USA Microsoft Res Seattle WA USA

Privacy policies are rules designed to ensure that individuals' health data are properly protected. Health Information Systems (HIS) are legally required to adhere to these policies. Since privacy policies are imposed on complex software systems, it is extremely hard to reason about their conformance and consistency. In order to address this problem, we have created a model-driven authoring environment to formally specify privacy policies originally defined in legal terms. In our observation, appropriate formalization of our policy language enabled formal analysis of its policies;these features were key to a successful model-driven engineering process. In this paper we present our modeling language and show its semantic anchoring to analyzable logic programs. We report on several projects where our approach is being applied and validated. (C) 2013 Elsevier B.V. All rights reserved.

关键词： Privacy policies Model-integrated computing constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Program Verification using constraint Handling Rules and Array constraint Generalizations

引用

FUNDAMENTA INFORMATICAE 2017年第1期150卷 73-117页

作者： De Angelis, Emanuele Pettorossi, Alberto Fioravanti, Fabio Proietti, Maurizio Univ G dAnnunzio Viale Pindaro 42 I-65127 Pescara Italy Univ Roma Tor Vergata Via Politecn 1 I-00133 Rome Italy CNR IASI Via Taurini 19 I-00185 Rome Italy

The transformation of constraint logic programs (CLP programs) has been shown to be an effective methodology for verifying properties of imperative programs. By following this methodology, we encode the negation of a partial correctness property of an imperative program progas a predicate incorrect defined by a CLP program T, and we show that prog is correct by transforming T into the empty program (and thus incorrect does not hold) through the application of semantics preserving transformation rules. We can also show that prog is incorrect by transforming T into a program with the fact incorrect (and thus incorrect does hold). Some of the transformation rules perform replacements of constraints that are based on properties of the data structures manipulated by the program prog. In this paper we show that constraint Handling Rules (CHR) are a suitable formalism for representing and applying constraint replacements during the transformation of CLP programs. In particular, we consider programs thatmanipulate integer arrays and we present a CHR encoding of a constraint replacement strategy based on the theory of arrays. We also propose a novel generalization strategy for constraints on integer arrays that combines CHR constraint replacements with various generalization operators on integer constraints, such as widening and convex hull. Generalization is controlled by additional constraints that relate the variable identifiers in the imperative program prog and the CLP representation of their values. The method presented in this paper has been implemented and we have demonstrated its effectiveness on a set of benchmark programs taken from the literature.

关键词： constraint Handling Rules constraint logic programming Program transformation Program verification

来源：评论

学校读者我要写书评

暂无评论

Proving Theorems by Program Transformation

引用

FUNDAMENTA INFORMATICAE 2013年第1-4期127卷 115-134页

作者： Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio Senni, Valerio Univ G dAnnunzio I-65127 Pescara Italy Univ Roma Tor Vergata I-00133 Rome Italy CNR IASI I-00185 Rome Italy Inst Adv Studies IMT Lucca Italy

In this paper we present an overview of the unfold/fold proof method, a method for proving theorems about programs, based on program transformation. As a metalanguage for specifying programs and program properties we adopt constraint logic programming (CLP), and we present a set of transformation rules (including the familiar unfolding and folding rules) which preserve the semantics of CLP programs. Then, we show how program transformation strategies can be used, similarly to theorem proving tactics, for guiding the application of the transformation rules and inferring the properties to be proved. We work out three examples: (i) the proof of predicate equivalences, applied to the verification of equality between CCS processes, (ii) the proof of first order formulas via an extension of the quantifier elimination method, and (iii) the proof of temporal properties of infinite state concurrent systems, by using a transformation strategy that performs program specialization.

关键词： Automated theorem proving program transformation constraint logic programming program specialization bisimilarity quantifier elimination temporal logics

来源：评论

学校读者我要写书评

暂无评论

Cardinal: A finite sets constraint solver

引用

constraintS 2007年第1期12卷 93-129页

作者： Azevedo, Francisco Univ Nova Lisboa FCTCENTRIA Dept Informat Monte De Caparica Portugal

In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECUPSe constraint System, suitable for combinatorial problem solving by exploiting inferences over sets cardinality. In fact, to deal with set variables and set constraints, existing set constraint solvers are not adequate to handle a number of problems, as they do not actively use important information about the cardinality of the sets, a key feature in such problems. Cardinal is formally presented as a set of rewriting rules on a constraint store and we illustrate its efficiency with experimental results. We show the importance of propagating constraints on sets cardinality, by comparing Cardinal with other solvers. Another contribution of this paper is on modelling: we focus essentially on digital circuits problems, for which we present new modelling approaches and prove that sets alone can be used to model these problems in a clean manner and solve them efficiently using Cardinal. Results on a set of diagnostic problems show that Cardinal obtains a speed up of about two orders of magnitude over Conjunto, a previous available set constraint solver, which uses a more limited amount of constraint propagation on cardinalities. Additionally, to further extend modelling capabilities and efficiency, we generalized Cardinal to actively consider constraints over set functions other than cardinality. The Cardinal version just released allows declaring union, minimum and maximum functions on set variables, and easily constraining those functions, letting Cardinal especial inferences efficiently take care of different problems. We describe such extensions and discuss its potentialities, which promise interesting research directions.

关键词： CLP constraint logic programming PI, primary input TG, test generation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：