Search results for "computer.software_genre"

showing 10 items of 3858 documents

Scatter Search and Local NLP Solvers: A Multistart Framework for Global Optimization

2007

The algorithm described here, called OptQuest/NLP or OQNLP, is a heuristic designed to find global optima for pure and mixed integer nonlinear problems with many constraints and variables, where all problem functions are differentiable with respect to the continuous variables. It uses OptQuest, a commercial implementation of scatter search developed by OptTek Systems, Inc., to provide starting points for any gradient-based local solver for nonlinear programming (NLP) problems. This solver seeks a local solution from a subset of these points, holding discrete variables fixed. The procedure is motivated by our desire to combine the superior accuracy and feasibility-seeking behavior of gradie…

Mathematical optimizationComputer scienceModeling languageHeuristic (computer science)business.industrySmall numberGeneral EngineeringSolvercomputer.software_genreNonlinear programmingNonlinear systemArtificial intelligenceDifferentiable functionbusinessGlobal optimizationcomputerNatural language processingInteger (computer science)MathematicsINFORMS Journal on Computing
researchProduct

Statistical criteria for early-stopping of support vector machines

2007

This paper proposes the use of statistical criteria for early-stopping support vector machines, both for regression and classification problems. The method basically stops the minimization of the primal functional when moments of the error signal (up to fourth order) become stationary, rather than according to a tolerance threshold of primal convergence itself. This simple strategy induces lower computational efforts and no significant differences are observed in terms of performance and sparsity.

Mathematical optimizationEarly stoppingStructured support vector machinebusiness.industryCognitive NeuroscienceMachine learningcomputer.software_genreRegressionProbability vectorComputer Science ApplicationsSupport vector machineRelevance vector machineArtificial IntelligenceConvergence (routing)MinificationArtificial intelligencebusinesscomputerMathematicsNeurocomputing
researchProduct

Implementing some Evolutionary Computing Methods for Determining the Optimal Parameters in the Turning Process

2015

In this paper, we comparatively present two heuristics search methods – Simulated Annealing and Weighted Sum Genetic Algorithm, in order to find optimal cutting parameters in turning operation. We consider five different constraints aiming to achieve minimum total cost of machining. We developed a customizable software application in Microsoft Visual Studio with C# source code, flexible and extensible that implements the optimization methods. The experiments are based on real data gathered from S.C. “Compa” S.A Sibiu, a company that manufactures automotive components and targets improving of product quality and reducing cost and production time. The obtained results show that, although the …

Mathematical optimizationEngineeringSource codebusiness.industrymedia_common.quotation_subjectGeneral MedicineMachine learningcomputer.software_genreAdaptive simulated annealingEvolutionary computationMicrosoft Visual StudioSoftwareSimulated annealingGenetic algorithmArtificial intelligenceHeuristicsbusinesscomputermedia_commonApplied Mechanics and Materials
researchProduct

A Multistart Scatter Search Heuristic for Smooth NLP and MINLP Problems

2005

The algorithm described here, called OptQuest/NLP or OQNLP, is a heuristic designed to find global optima for pure and mixed integer nonlinear problems with many constraints and variables, where all problem functions are differentiable with respect to the continuous variables. It uses OptQuest, a commercial implementation of scatter search developed by OptTek Systems, Inc., to provide starting points for a gradient-based local NLP solver. This solver seeks a local solution from a subset of these points, holding discrete variables fixed. The procedure is motivated by our desire to combine the superior accuracy and feasibility-seeking behavior of gradient-based local NLP solvers with the glob…

Mathematical optimizationHeuristic (computer science)Modeling languagebusiness.industrySmall numberSolvercomputer.software_genreNonlinear systemDifferentiable functionArtificial intelligencebusinessGlobal optimizationcomputerNatural language processingMathematicsInteger (computer science)
researchProduct

Using box indices in supporting comparison in multiobjective optimization

2009

Because of the conflicting nature of criteria or objectives, solving a multiobjective optimization problem typically requires interaction with a decision maker who can specify preference information related to the objectives in the problem in question. Due to the difficulties of dealing with multiple objectives, the way information is presented plays a very important role. Questions posed to the decision maker must be simple enough and information shown must be easy to understand. For this purpose, visualization and graphical representations can be useful and constitute one of the main tools used in the literature. In this paper, we propose to use box indices to represent information relate…

Mathematical optimizationInformation Systems and ManagementGeneral Computer Sciencebusiness.industryScale (chemistry)Information and Computer ScienceManagement Science and Operations ResearchMachine learningcomputer.software_genreMultiple-criteria decision analysisMulti-objective optimizationIndustrial and Manufacturing EngineeringPreferenceVisualizationSimple (abstract algebra)Modeling and SimulationArtificial intelligenceGraphicsbusinesscomputerMathematicsEuropean Journal of Operational Research
researchProduct

Determining the Difficulty of Landscapes by PageRank Centrality in Local Optima Networks

2016

The contribution of this study is twofold: First, we show that we can predict the performance of Iterated Local Search (ILS) in different landscapes with the help of Local Optima Networks (LONs) with escape edges. As a predictor, we use the PageRank Centrality of the global optimum. Escape edges can be extracted with lower effort than the edges used in a previous study. Second, we show that the PageRank vector of a LON can be used to predict the solution quality (average fitness) achievable by ILS in different landscapes.

Mathematical optimizationIterated local searchbusiness.industrymedia_common.quotation_subject02 engineering and technologyMachine learningcomputer.software_genreLocal optima networkslaw.inventionGlobal optimumPageRanklaw020204 information systems0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingQuality (business)Artificial intelligencebusinessCentralitycomputerMathematicsmedia_common
researchProduct

Unbiased Branches: An Open Problem

2007

The majority of currently available dynamic branch predictors base their prediction accuracy on the previous k branch outcomes. Such predictors sustain high prediction accuracy but they do not consider the impact of unbiased branches, which are difficult-to-predict. In this paper, we evaluate the impact of unbiased branches in terms of prediction accuracy on a range of branch difference predictors using prediction by partial matching, multiple Markov prediction and neural-based prediction. Since our focus is on the impact that unbiased branches have on processor performance, timing issues and hardware costs are out of scope of this investigation. Our simulation results, with the SPEC2000 in…

Mathematical optimizationMarkov chainComputer sciencebusiness.industryOpen problemPrediction by partial matchingBest linear unbiased predictionMachine learningcomputer.software_genreBranch predictorBenchmark (computing)Range (statistics)Artificial intelligenceHardware_CONTROLSTRUCTURESANDMICROPROGRAMMINGbusinesscomputerInteger (computer science)
researchProduct

Error Estimates and Automatic Adaptive Mesh Refinement for the Metal Forming FEM Analysis

1988

The Authors propose a new technique which enables a estimation of the error inherent with the FEM analysis of metal forming processes. The aim is to evaluate the zones where the error is higher in order to proceed to a refinement of the mesh in such zones, and to obtain a smaller value of the global error. Moreover, to simplify the analyst work in the progressive refinement of the mesh, it has been prepared a software able to read the drawing created by a CAD program and to generate, automatically, all the geometrical and topological data necessary to perform the analysis on Personal Computer. The automatic renumbering of the elements in the refined mesh has been performed with the aim to r…

Mathematical optimizationMetal formingbusiness.industryAdaptive mesh refinementComputer scienceBandwidth (signal processing)computer.software_genreFinite element methodProgressive refinementSoftwarePersonal computerComputer Aided DesignbusinessAlgorithmcomputer
researchProduct

Feasibility of finite and infinite paths in data dependent programs

2005

This paper considers the feasibility of finite and infinite paths in programs in two simple programming languages. The language LBASE allows to express the dependencies of real time systems on integer data, the language LTIM can model quantitative timing constraints in r.t.s. specifications. It is proven that the problem of whether a given LBASE or LTIM program has an infinite feasible path (i.e. whether it can exhibit an infinite behaviour) is decidable. The possibilities to characterise the sets of all feasible finite and infinite paths in LBASE and LTIM programs are also discussed. The infinite feasible path existence problem is proven decidable also for the language LTIBA which has both…

Mathematical optimizationProgramming languageReachability problemSimple (abstract algebra)Computer sciencePath (graph theory)Computer Science::Programming Languagescomputer.software_genrecomputerData dependentInteger (computer science)Decidability
researchProduct

Revenue-based adaptive deficit round robin

2005

This paper presents an adaptive resource allocation model that is based on the DRR queuing policy. The model ensures QoS requirements and tries to maximize a service provider's revenue by manipulating quantum values of the DRR scheduler. To calculate quantum values, it is proposed to use the revenue criterion that controls the allocation of free resources. The simulation considers a single node with the implemented model that serves several service classes with different QoS requirements and traffic characteristics. It is shown that the total revenue can be increased due to the allocation of unused resources to more expensive service classes. At the same time, bandwidth and delay guarantees…

Mathematical optimizationService qualityQueueing theoryComputer scienceresource allocation modelQuality of serviceTotal revenueQoSDeficit round robinService providerComputer securitycomputer.software_genreScheduling (computing)DRR queuingRevenueResource allocationcomputerQueue
researchProduct