Simultaneous spatial constraint problems can be approached algebraically, geometrically, or constructively. We examine how each approach performs, using several example problems, especially constraint problems involvi...
详细信息
The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation,...
详细信息
The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation, it is possible to step-by-step reformulate an (infinite dimensional) dynamic optimization problem into a (finite dimensional) non-linear program (NLP) by parametrizing the state and control trajectories. We introduce CasADi, a minimalistic computer algebra system written in completely self-contained C++. The aim of the tool is to offer the benifits of a computer algebra to developers of C++ code, without the overhead usually associated with such systems. In particular, we use the tool to implement automatic differentiation, AD. For maximum efficiency, CasADi works with two different graph representations interchangeably: One supporting only scalar-valued, built-in unary and binary operations and no branching, similar to the representation used by today's tools for automatic differentiation by operator overloading. Secondly, a representation supporting matrixvalued operations, branchings such as if-statements as well as function calls to arbitrary functions (e.g. ODE/DAE integrators). We show that the tool performs favorably compared to CppAD and ADOL-C, two state-of-the-art tools for AD by operator overloading. We also show how the tool can be used to solve a simple optimal control problem, minimal fuel rocket flight, by implementing a simple ODE integrator with sensitivity capabilities and solving the problem with the NLP solver IPOPT. In the last example, we show how we can use the tool to couple the modelling tool JModelica with the optimal control software ACADO Toolkit.
This paper investigates techniques for formalizing and implementing types in the temporal logicprogramming language MSVL, which is an executable subset of Projection Temporal logic. To this end, the data domain of MS...
详细信息
The proceedings contain 66 papers. The special focus in this conference is on Intelligent Content, Semantics, knowledge Management, Business Intelligence and Innovation. The topics include: News article classification...
ISBN:
(纸本)9783642231629
The proceedings contain 66 papers. The special focus in this conference is on Intelligent Content, Semantics, knowledge Management, Business Intelligence and Innovation. The topics include: News article classification based on a vector representation including words’ collocations;classification of online reviews by computational semantic lexicons;reason-able view of linked data for cultural heritage;semantic retrieval approach to factoid question answering for bulgarian;using semantic relations for representing long-term user interests;integrating internet protocol television and social networking;clustering and visualization of ecg signals;visualizing and presenting story maps in TM4Book;a fuzzy bat clustering method for ergonomic screening of office workplaces;the influence of global constraints on DTW and LCS similarity measures for time-series databases;social network analysis in professional e-recruitment;a system integrating agent services with jms for shared battlefield situation awareness;a model for fuzzy logic assessment of real estate investment risks;towards the foundation for read-write governance of civilizations;an analysis and forecast of software and services research in bulgaria;a fuzzy system model for task implementation in extreme programming process;integration of natural language processing chains in content management systems;supporting interactive IPTV apps with an enterprise resource bus and service oriented architecture applied to provide inter-operability between macedonian MoD and NATO.
These are the proceedings of the First international Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspec...
详细信息
ISBN:
(数字)9783540449577
ISBN:
(纸本)9783540677970
These are the proceedings of the First international Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th international Conference on Rules and Objects in Databases (DOOD 2000) { 10th internationalworkshop on logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th international Conference on Inductive logicprogramming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { logicprogramming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { knowledgerepresentation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { logicprogramming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.
Modal logic can be regarded as a unifying framework in which different logical languages with blocks and modules can be expressed. In particular, a modal characterization can be given to different languages which are ...
详细信息
In this article, a web-based application, that allows creation of datasets and sets of rules to build a fuzzy logic-based decision support system (DSS), is proposed. The web application allows creating and deploying m...
详细信息
P. Van Hentenryck et al. have designed an efficient interval constraint solver combining box consistency and Gauss-Seidel iterations, that is the core of Numerics. F. Benhamou et al. have shown that hull consistency m...
详细信息
ISBN:
(纸本)3540672818
P. Van Hentenryck et al. have designed an efficient interval constraint solver combining box consistency and Gauss-Seidel iterations, that is the core of Numerics. F. Benhamou et al. have shown that hull consistency may be faster and more accurate than box consistency. Their algorithm merges both consistency techniques taking care of the constraints' expressions. This paper presents a new algorithm BC5 enforcing hull consistency, box consistency and the interval Gauss-Seidel method. The main idea is to weaken the local contractions and to let the propagation operate between all elementary solvers in order to accelerate the computation while preserving the same precision. Algorithm BC5 is finally compared with the constraint solving algorithm of Numerica.
In this work a stand-alone preprocessor for SAT is presented that is able to perform most of the known preprocessing techniques. Preprocessing a formula in SAT is important for performance since redundancy can be remo...
详细信息
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of in-memory structures and are therefor...
详细信息
ISBN:
(纸本)9783540768890
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of in-memory structures and are therefore not suitable to deal with large ABoxes directly. We propose an approach that, informally speaking, works on a composite representation of the role-part of a SHIQ knowledge base. With respect to conjunctive queries, this helps us to provide a kind of proxy that restricts the set of possible bindings for a variable in advance. Furthermore we can use this proxy to reject several queries with no answer substitution immediately. Most notably our approach is query independent.
暂无评论