Nonlinear programming problems (NLP) solvers require some level of flexibility. This flexibility must be supported on the method choice, on the parameters specification and on the problem modelling. Few of the tools c...
详细信息
ISBN:
(纸本)9789639799455
Nonlinear programming problems (NLP) solvers require some level of flexibility. This flexibility must be supported on the method choice, on the parameters specification and on the problem modelling. Few of the tools currently available can address this level of flexibility. This paper presents an open-source, complete and easy tool, named NLPToolbox, to achieve this purpose. Given its open-source characteritics, it offers the opportunity to study nonlinear programming in an iterative way: by showing how the methods works and allowing all kinds of specifications: methods and parameters. Altough being a work continually in progress, it is already usable. It is currently used in teaching nonlinear programming and solving some kinds of NLP problems, like clustering and Support Vector Machine classification. Its future lies on the optimization of the tool itself, improving the precision of the numeric algorithms and integrating new methods.
Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, but have not been properly reflected in model tra...
详细信息
ISBN:
(纸本)9783642024078
Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, but have not been properly reflected in model transformation. This paper introduces constraint programming in model transformation, shows how constraint programming integrates with QVT Relations - as a pathway to wide spread use of our approach - and describes the corresponding model transformation engine. In particular, the paper will illustrate the use of constraint programming for the specification of attribute values in target models, and provide a qualitative evaluation of the benefit drawn from constraints integrated with QVT Relations.
This paper briefly introduces and compares two methods of external display of the internal clock in Programmable Logic Controller(PLC), it focuses on the hardware connection and communication protocol between computer...
详细信息
After analyzing the characteristic of engineering drawing design and experiment education model, new teaching methods of using SolidWorks and ObjectARX are put forward. Using SolidWorks to create 3D objects has to be ...
详细信息
ISBN:
(纸本)9781424445189
After analyzing the characteristic of engineering drawing design and experiment education model, new teaching methods of using SolidWorks and ObjectARX are put forward. Using SolidWorks to create 3D objects has to be applied. The reasons for improved teaching quality compared to CAI courseware are investigated. ObjectARX programming is studied using special samples of the safety valve. The quality advantages of using ObjectARX programming in AutoCAD are assumed to result from different teaching strategy and contents. It seems that using these teaching methods are satisfied.
With the increasing speed and capacity of answer set solvers and showcase applications in a variety of fields, Answer Set programming (ASP) is maturing as a programming paradigm for declarative problem solving. Compre...
详细信息
With the increasing speed and capacity of answer set solvers and showcase applications in a variety of fields, Answer Set programming (ASP) is maturing as a programming paradigm for declarative problem solving. Comprehensive programming methodologies have been developed for procedural and object-oriented paradigms to assist programmers in developing their programs from the problem specification. In many cases, however it is not clear how, or even if, such methodologies can be applied to answer set programming. In this paper, we present a first and rather pragmatic methodology for ASP and illustrate our approach through the encoding of graphical puzzle.
Java applets are used in e-learning, mainly for creating animations. Many leading educational and professional organizations have large repositories of animations, created using Java applets which are mostly for deskt...
详细信息
ISBN:
(纸本)9781424452507
Java applets are used in e-learning, mainly for creating animations. Many leading educational and professional organizations have large repositories of animations, created using Java applets which are mostly for desktops. Use of mobile phones is increasing especially amongst students, and creating new eLearning content for mobile phones is resource intensive. It is desirable to have a methodology to adapt existing Java animations on mobile phones. This paper presents a methodology (APP2MID) which converts the Java applet into Java MIDIet that can run on mobile phones. The conversion methodology is divided in three logical phases and will help the user to create MIDIets from the available Java applets, maintaining the original programming logic. We illustrate this methodology using a case study.
The Crew Scheduling Problem (CSP) is an important problem for the transportation enterprises, especially when crew's cost is increasing. This justifies the researcher's effort in order to create algorithms whi...
详细信息
This paper presents a novel method on coloring the grayscale images. For this purpose, a combination of artificial neural networks and some image processing algorithms was developed to transfer colors from a user-sele...
详细信息
Providing support for reversible transformations as a basis for round-trip engineering is a significant challenge in model transformation research. While there are a number of current approaches, they require the unde...
详细信息
ISBN:
(纸本)9783642024078
Providing support for reversible transformations as a basis for round-trip engineering is a significant challenge in model transformation research. While there are a number of current approaches, they require the underlying transformation to exhibit an injective behaviour when reversing changes. This however, does not serve all practical transformations well. In this paper, we present a novel approach to round-trip engineering that does not place restrictions on the nature of the underlying transformation. Based on abductive logic programming, it allows us to compute a set of legitimate source changes that equate to a given change to the target model. Encouraging results are derived from an initial prototype that supports most concepts of the Tefkat transformation language.
A stereo matching technique is presented in this paper, which is based on orthogonal dynamic programming (DP) and edge information. First, a global energy function considering the discontinuity of disparity and occlus...
详细信息
暂无评论