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

7th International Symposium on Process Systems Engineering

作者： Harjunkoski, I Jain, V Grossman, IE Carnegie Mellon Univ Dept Chem Engn Pittsburgh PA 15213 USA

In this paper, we present two methods to overcome the combinatorial complexity when solving large discrete optimization problems. The basic idea relies on combining mixed integer programming (MIP) and constraint logic programming (CLP) to exploit their complementary strengths. These strategies are illustrated in the area of job-shop scheduling and trim-loss problems. Comparisons of the strategies are presented with direct solutions on MIP and CLP problems. (C) 2000 Elsevier Science Ltd. All rights reserved.

关键词： mixed integer programming constraint logic programming hybrid MIP/CLP

来源：评论

学校读者我要写书评

暂无评论

Reasoning about clinical guidelines based on algebraic data types and constraint logic programming

引用

JOURNAL OF BIOMEDICAL INFORMATICS 2019年 92卷 103134-000页

作者： Perez, Beatriz Univ La Rioja Dept Math & Comp Sci C Madre de Dios 53Edificio Cient Tecnol E-26006 La Rioja Spain

Previously, the authors presented an overall framework aimed at improving the representation, quality and application of clinical guidelines in daily clinical practice. Regarding the quality improvement of guidelines, we developed a proposal to verify specific requirements in guidelines, using the SPIN model checker as verification tool. Additionally, we established a pattern-based approach for defining commonly occurring types of requirements in guidelines, in order to help non experts in their formal specification. In particular, among such patterns, we identified several which could not be verified by using such a proposal, thus leaving their verification as future work. In this paper, we provide a revised and extended version of that work by providing an overall proposal which mainly addresses previous shortcomings, while providing additional verification functionalities. More specifically, we have defined a complementary proposal to the previous one regarding the verification of guidelines. This proposal uses Formula, a model finding and design space exploration tool that is based on Algebraic Data Types (ADT) and constraint logic programming (CLP). The main contributions of this paper are twofold: (1) providing a more complete set of patterns for defining commonly occurring types of requirements in guidelines, and (2) supporting the verification of a wider range of patterns by combining the use of our previous proposal, based on the SPIN model checker, with our Formula-based method. More specifically, our Formula-based proposal provides us with a solution to the verification of those patterns we were not able to verify previously. Additionally, our proposal has been implemented as an Eclipse plug-in developed based on Model Driven Development (MDD) techniques, which enables us to automatically generate the Formula specification of a guideline, making the process faster and less error-prone than a manual translation. This Formula specification, together with th

关键词： Clinical guidelines Formal verification constraint logic programming Model driven development Model transformation

来源：评论

学校读者我要写书评

暂无评论

ATTRIBUTE GRAMMAR BASED MODELING OF CONCURRENT constraint logic programming

引用

International Journal on Artificial Intelligence Tools 1995年第3期4卷 383-411页

作者： C. VOLIOTIS N.M. SGOUROS G. PAPAKONSTANTINOU Department of Electrical and Computer Engineering National Technical University of Athens Zografou Campus 15780 Athens Greece

The development of more powerful Concurrent constraint logic programming (CCLP) languages depends largely on the development of environments that facilitate the specification and integration of constraints in the semantics of a logic program and automatically extract the inherent parallelism of logic programming. This paper presents a novel method for automating the parallel AND/OR execution of CCLP applications. This method consists of two stages. The first stage translates a logic program into an equivalent Attribute Grammar providing a common language in which the specifications of constraints and the semantics of a logic program can be expressed. The second stage evaluates this Attribute Grammar using MPAGE, a Multipass Parallel Attribute Grammar Evaluation algorithm. Support for the processing of constraints in the logic program is provided with the creation of a dependency graph between the variables of a logic rule during the first stage. Using this dependency graph MPAGE delays, if necessary, the evaluation of variables in a constraint until they become bound at some later point in processing. As a result our method supports rule representations in CLP languages with no restrictions on the ordering of subgoals. Furthermore, during execution MPAGE allows single rules in a CLP program to deal with multiple assignments of bindings, thus generating a minimal number of processes. Finally, this method is independent from the underlying hardware and its memory organization, therefore it can be implemented on both shared and distributed memory systems.

关键词： logic programming constraint logic programming Attribute Grammars Parallel programming

来源：评论

学校读者我要写书评

暂无评论

constraint functional logic programming over finite domains

引用

THEORY AND PRACTICE OF logic programming 2007年第5期7卷 537-582页

作者： Fernandez, Antonio J. Univ Malaga Dpto Lenguajes & Ciencias Computac E-29071 Malaga Spain Univ Complutense Madrid Dpto Sistemas Informat & Programac E-28040 Madrid Spain

In this paper, we present our proposal to constraint Functional logic programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly embodies finite domain (FD) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains (CLP(FD)) by combining functional and relational notation, curried expressions, higher-order functions, patterns, partial applications, non-determinism, lazy evaluation, logical variables, types, domain variables, constraint composition, and finite domain constraints. We describe the syntax of the language, its type discipline, and its declarative and operational semantics. We also describe TOY(FD), an implementation for CFLP(FD), and a comparison of our approach with respect to CLP(FD) from a programming point of view, showing the new features we introduce. And, finally, we show a performance analysis which demonstrates that our implementation is competitive with respect to existing CLP(FD) systems and that clearly outperforms the closer approach to CFLP(FD).

关键词： constraint logic programming functional logic programming finite domains

来源：评论

学校读者我要写书评

暂无评论

A functorial framework for constraint normal logic programming

引用

APPLIED CATEGORICAL STRUCTURES 2008年第3期16卷 421-450页

作者： Lucio, P. Orejas, F. Pasarella, E. Pino, E. Univ Politecn Cataluna Dept LSI ES-08034 Barcelona Spain Univ Basque Country Dept LSI San Sebastian Spain

The semantic constructions and results for definite programs do not extend when dealing with negation. The main problem is related to a well-known problem in the area of algebraic specification: if we fix a constraint domain as a given model, its free extension by means of a set of Horn clauses defining a set of new predicates is semicomputable. However, if the language of the extension is richer than Horn clauses its free extension (if it exists) is not necessarily semicomputable. In this paper we present a framework that allows us to deal with these problems in a novel way. This framework is based on two main ideas: a reformulation of the notion of constraint domain and a functorial presentation of our semantics. In particular, the semantics of a logic program P is defined in terms of three functors: (OPP, ALG(P), LOG(P)) that apply to constraint domains and provide the operational, the least fixpoint and the logical semantics of P, respectively. To be more concrete, the idea is that the application of OPP to a specific constraint solver provides the operational semantics of P that uses this solver;the application of ALG(P) to a specific domain provides the least fixpoint of P over this domain;and, the application of LOG(P) to a theory of constraints provides the logic theory associated to P. In this context, we prove that these three functors are in some sense equivalent.

关键词： constraint logic programming constructive negation semantics

来源：评论

学校读者我要写书评

暂无评论

A constraint logic programming approach to 3D structure determination of large protein complexes 06

A constraint logic programming approach to 3D structure dete...

引用

Proceedings of the 2006 ACM symposium on Applied computing

作者： A. Dal Palù E. Pontelli J. He Y. Lu Univ. of Udine New Mexico State Univ.

ISBN: (纸本)9781595931085

The paper describes a novel framework, constructed using constraint logic programming and parallelism, to determine the association between parts of the primary sequence of a protein and α-helices extracted from 3-dimensional low-resolution descriptions of large protein complexes. The association is determined by extracting constraints from the 3D information, regarding length, relative position, and connectivity of helices, and solving these constraints with the guidance of a secondary structure prediction algorithm. Parallelism is employed to enhance performance on large proteins. The framework provides a fast, inexpensive alternative to determine the exact tertiary structure of unknown proteins.

关键词： constraint logic programming protein structure

来源：评论

学校读者我要写书评

暂无评论

Selective Unification in (constraint) logic programming

引用

FUNDAMENTA INFORMATICAE 2020年第3-4期177卷 359-383页

作者： Mesnard, Fred Payet, Etienne Vidal, German Univ Reunion LIM 2 Rue Joseph Wetzell F-97490 St Clotilde Reunion France Univ Politecn Valencia VRAIN MiST Valencia Spain

Concolic testing is a well-known validation technique for imperative and object oriented programs. In a previous paper, we have introduced an adaptation of this technique to logic programming. At the heart of our framework lies a specific procedure that we call "selective unification". It is used to generate appropriate run-time goals by considering all possible ways an atom can unify with the heads of some program clauses. In this paper, we show that the existing algorithm for selective unification is not complete in the presence of non-linear atoms. We then prove soundness and completeness for a restricted version of the problem where some atoms are required to be linear. We also consider concolic testing in the context of constraint logic programming and extend the notion of selective unification accordingly.

关键词： logic programming constraint logic programming Concolic testing Unification

来源：评论

学校读者我要写书评

暂无评论

IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming 03

IBIS: an Interactive Bytecode Inspection System, using symbo...

引用

Proceedings of the 2nd international conference on Principles and practice of programming in Java

作者： J. Doyle C. Meudec Institute of Technology Carlow Carlow Ireland

ISBN: (纸本)9780954414511

A fundamental area of software engineering that remains a challenge is the delivery of software with the minimum of remaining defects. The principal technique currently used in the software industry for the verification and validation of software is dynamic software testing where the software under consideration is actually executed using test data. The actual generation of test data for the purpose of automated software testing is still however mainly a manual task. This problem is further compounded for Java programmers because testing criteria can be imposed at the Java Bytecode level rather than at the source level. To alleviate these difficulties an Interactive Bytecode Inspection System (IBIS) has been developed that allows examination of the Java Bytecode and the automatic generation and execution of test data.

关键词： automatic tests data generation constraint logic programming Java Bytecode coverage testing logic programming symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem

引用

Software: Practice and Experience 1999年第1期28卷

作者： A. Caprara F. Focacci E. Lamma P. Mello M. Milano P. Toth D. Vigo DEIS Università di Bologna Viale Risorgimento 2 40136 Bologna Italy

In this paper, we investigate the possibility of integrating Artificial Intelligence (AI) and Operations Research (OR) techniques for solving the Crew Rostering Problem (CRP). CRP calls for the optimal sequencing of a given set of duties into rosters satisfying a set of constraints. The optimality criterion requires the minimization of the number of crews needed to cover the duties. This kind of problem has been traditionally solved by OR techniques. In recent years, a new programming paradigm based on logic programming, named constraint logic programming (CLP), has been successfully used for solving hard combinatorial optimization problems. CLP maintains all the advantages of logic programming such as declarativeness, non-determinism and an incremental style of programming, while overcoming its limitations, mainly due to the inefficiency in exploring the search space. CLP achieves good results on hard combinatorial optimization problems which, however, are not comparable with those achieved by OR approaches. Therefore, we integrate both techniques in order to design an effective heuristic algorithm for CRP which fully exploits the advantages of the two methodologies: on the one hand, we maintain the declarativeness of CLP, its ease of representing knowledge and its rapid prototyping; on the other hand, we inherit from OR some efficient procedures based on a mathematical approach to the problem. Finally, we compare the results we achieved by means of the integration with those obtained by a pure OR approach, showing that AI and OR techniques for hard combinatorial optimization problems can be effectively integrated. © 1998 John Wiley & Sons, Ltd.

关键词： constraint logic programming operations research Crew Rostering Problem combinatorial optimization problems artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

constraint-logic Object-Oriented programming for Test Case Generation 22

Constraint-Logic Object-Oriented Programming for Test Case G...

引用

37th Annual ACM Symposium on Applied Computing

作者： Winkelmann, Hendrik Troost, Laura Kuchen, Herbert Univ Munster Munster Germany

ISBN: (纸本)9781450387132

The constraint-logic object-oriented programming (CLOOP) language Muli extends Java 8 by features from constraint-logic programming such as built-in search. We have extended Muli such that it is now ideally suited to implement test case generators based on symbolic execution. More precisely, Muli can symbolically execute Java bytecode as generated from languages such as Java, Scala or Kotlin. The mentioned extension of Muli allows to automatically and systematically generate JUnit tests. We aim at a (nearly) minimal set of test cases achieving data-flow coverage.

关键词： Test case generation constraint logic programming Symbolic execution Imperative programs Virtual machine

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：