Search results for "OPTIMA"

showing 10 items of 735 documents

Optimal paths in weighted timed automata

2004

AbstractWe consider the optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this optimization problem consists of reducing it to computing (parametric) shortest paths in a finite weighted directed graph. We call this graph a parametric sub-region graph. It refines the region graph, a standard tool for the analysis of timed automata, by adding the information which is relevant to solving the optimal-reachability problem. We present an algorithm to solve the optimal-reachability problem for weighted timed automata that takes time exponential in O(n(|δ(A)|+|wmax|)), where n is the number of clock…

Discrete mathematicsModel checkingHybrid systemsOptimization problemGeneral Computer ScienceComputer scienceOptimal reachabilityTimed automatonBüchi automatonDirected graphTheoretical Computer ScienceAutomatonCombinatoricsDeterministic automatonReachabilityShortest path problemState spaceAutomata theoryGraph (abstract data type)Two-way deterministic finite automatonTimed automataAlgorithmComputer Science::Formal Languages and Automata TheoryComputer Science(all)Mathematics
researchProduct

Best proximity point theorems for rational proximal contractions

2013

Abstract We provide sufficient conditions which warrant the existence and uniqueness of the best proximity point for two new types of contractions in the setting of metric spaces. The presented results extend, generalize and improve some known results from best proximity point theory and fixed-point theory. We also give some examples to illustrate and validate our definitions and results. MSC:41A65, 46B20, 47H10.

Discrete mathematicsPure mathematicsMetric spaceDifferential geometrySettore MAT/05 - Analisi MatematicaApplied MathematicsProximity problemsUniquenessGeometry and TopologyFixed pointPoint theorybest proximity point contraction fixed point generalized proximal contraction optimal approximate solutionMathematicsFixed Point Theory and Applications
researchProduct

Real-space grids and the Octopus code as tools for the development of new simulation approaches for electronic systems.

2015

This Open Access Article is licensed under a Creative Commons Attribution 3.0 Unported Licence.

DiscretizationComputer sciencephysics.chem-phGeneral Physics and AstronomyFOS: Physical sciencesPhysics and Astronomy(all)Settore FIS/03 - Fisica Della MateriaDevelopment (topology)EngineeringTDDFT/dk/atira/pure/subjectarea/asjc/3100Physics - Chemical Physicsoctopus (software)Code (cryptography)Physical and Theoretical ChemistryQuantumFlexibility (engineering)/dk/atira/pure/subjectarea/asjc/1600/1606Chemical Physics (physics.chem-ph)Chemical PhysicsComputational Physics (physics.comp-ph)GridOptimal controlCondensed Matter - Other Condensed MatterComputer engineeringcond-mat.otherphysics.comp-phddc:540Physical SciencesChemical SciencesPhysics - Computational PhysicsOther Condensed Matter (cond-mat.other)Physical chemistry chemical physics : PCCP
researchProduct

Guided local search for the optimal communication spanning tree problem

2011

This paper considers the optimal communication spanning tree (OCST) problem. Previous work analyzed features of high-quality solutions. Consequently, integrating this knowledge into a metaheuristic increases its performance for the OCST problem. In this paper, we present a guided local search (GLS) approach which dynamically changes the objective function to guide the search process into promising areas. In contrast to traditional approaches which reward promising solution features by favoring edges with low weights pointing towards the tree's center, GLS penalizes low-quality edges with large weights that do not point towards the tree's center.

Distributed minimum spanning treeTree (data structure)Tree traversalMathematical optimizationSpanning treeOptimal binary search treeGuided Local SearchMinimum spanning treeMetaheuristicMathematicsProceedings of the 13th annual conference companion on Genetic and evolutionary computation
researchProduct

Targeted steel frames by means of innovative moment resisting connections

2021

Abstract The present paper proposes the use of stepped cross section devices on steel frames aiming at reproducing a pre-established target push-over curve. To this aim a Limited Resistance Plastic Device (LRPD) to be inserted along selected structural members is proposed. The following two main specific features for LRPD are required: any elastic flexural stiffness variation of the original selected member must be avoided; an ultimate plastic bending moment value equal to an assigned percentage of the original limit resistance value must be ensured. Steel frames equipped with LRPD are modeled by means of an extension of a recently proposed Fibre Smart Displacement Based (FSDB) beam element…

Distributed plasticityOptimal designComputer science020101 civil engineeringSteel frames02 engineering and technology0915 Interdisciplinary EngineeringCivil Engineering0905 Civil Engineering0201 civil engineeringCross section (physics)Distributed plasticity FSDB model Innovative RBS connections Minimum volume design Steel frames0203 mechanical engineeringmedicineCivil and Structural Engineeringbusiness.industryFSDB modelMetals and AlloysStiffnessFlexural rigidity1202 BuildingBuilding and ConstructionStructural engineeringFinite element methodMoment (mathematics)020303 mechanical engineering & transportsMinimum volume designMechanics of MaterialsPlastic bendingmedicine.symptombusinessSettore ICAR/08 - Scienza Delle CostruzioniBeam (structure)Innovative RBS connections
researchProduct

Optimal Shape Design in Contact Problems

1989

From the mathematical point of view, optimal shape design (or optimum design, optimization of the domain, structural optimization) is a branch of the calculus of variations and especially of optimal control where study is devoted to the problem of finding the optimal shape for an object. In an optimal shape design process the objective is to optimize certain criteria involving the solution of a partial differential equation with respect to its domain of definition, [2, 3, 5].

Domain of a functionMathematical optimizationPartial differential equationComputer scienceProcess (computing)Point (geometry)Shape optimizationOptimal controlObject (computer science)Domain (software engineering)
researchProduct

Optimal power flow for technically feasible energy management systems in islanded microgrids

2016

This paper presents a combined optimal energy and power flow management for islanded microgrids. The highest control level in this case will provide a feasible and optimized operating point around the economic optimum. In order to account for both unbalanced and balanced loads, the optimal power flow is carried out using a Glow-worm Swarm Optimizer. The control level is organized into two different sub-levels, the highest of which accounts for minimum cost operation and the lowest one solving the optimal power flow and devising the set points of inverter interfaced generation units and rotating machines with a minimum power loss. A test has been carried out for 6 bus islanded microgrids to …

Droop controldroop controlEngineeringMicrogridEnergy management020209 energyGlow-worm swarm optimizationglow-worm swarm optimizationEnergy Engineering and Power Technology02 engineering and technologySet (abstract data type)Control theory0202 electrical engineering electronic engineering information engineeringoptimal power flowElectrical and Electronic EngineeringOperating pointRenewable Energy Sustainability and the Environmentbusiness.industrySwarm behaviourSettore ING-IND/33 - Sistemi Elettrici Per L'EnergiamicrogridInverterMicrogridbusinessOptimal power flowEnergy (signal processing)Power control2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC)
researchProduct

Parameter Matching Analysis of Hydraulic Hybrid Excavators Based on Dynamic Programming Algorithm

2013

Published version of an article in the journal: Journal of Applied Mathematics. Also available from the publisher at: http://dx.doi.org/10.1155/2013/615608 Open Access In order to meet the energy saving requirement of the excavator, hybrid excavators are becoming the hot spot for researchers. The initial problem is to match the parameter of each component, because the system is tending to be more complicated due to the introduction of the accumulator. In this paper, firstly, a new architecture is presented which is hydraulic hybrid excavator based on common pressure rail combined switched function (HHES). Secondly, the general principle of dynamic programming algorithm (DPA) is explained. T…

Dynamic programmingAccumulator (energy)ExcavatorOptimal matchingArticle SubjectControl theoryComputer scienceApplied Mathematicslcsh:Mathematicslcsh:QA1-939VDP::Teknologi: 500::Maskinfag: 570::Maskinteknisk energi- og miljøteknologi: 573Algorithm
researchProduct

Dynamic programming for 2-D discrete linear systems

1989

The authors calculate the optimal control of 2-D discrete linear systems using a dynamic programming method. It is assumed that the system is described with Roesser's state-space equations for which a 2-D sequence of inputs minimizing the given performance criterion is calculated. The method is particularly suitable for problems with bounded states and controls, although it can also be applied for unbounded cases. One numerical example is given. >

Dynamic programmingDiscrete systemSequenceControl and Systems EngineeringControl theoryBounded functionLinear systemState spaceElectrical and Electronic EngineeringMultidimensional systemsOptimal controlComputer Science ApplicationsMathematicsIEEE Transactions on Automatic Control
researchProduct

Optimal Control Under Fuzzy Conditions for Dynamical Systems Associated with the Second Order Linear Differential Equations

2020

This paper is devoted to an optimal trajectory planning problem with uncertainty in location conditions considered as a problem of constrained optimal control for dynamical systems. Fuzzy numbers are used to incorporate uncertainty of constraints into the classical setting of the problem under consideration. The proposed approach applied to dynamical systems associated with the second order linear differential equations allows to find an optimal control law at each \(\alpha \)-level using spline-based methods developed in the framework of the theory of splines in convex sets. The solution technique is illustrated by numerical examples.

Dynamical systems theoryRegular polygon010103 numerical & computational mathematicsOptimal trajectory planningOptimal control01 natural sciencesFuzzy logic010101 applied mathematicsSpline (mathematics)Linear differential equationFuzzy numberApplied mathematics0101 mathematicsMathematics
researchProduct