Search results for "Theoretical Computer Science"

showing 10 items of 1151 documents

Effective state estimation of stochastic systems

2003

In the present paper, for constructing the minimum risk estimators of state of stochastic systems, a new technique of invariant embedding of sample statistics in a loss function is proposed. This technique represents a simple and computationally attractive statistical method based on the constructive use of the invariance principle in mathematical statistics. Unlike the Bayesian approach, an invariant embedding technique is independent of the choice of priors. It allows one to eliminate unknown parameters from the problem and to find the best invariant estimator, which has smaller risk than any of the well‐known estimators. There exists a class of control systems where observations are not …

Mathematical optimizationMinimum mean square errorMathematical statisticsEstimatorTheoretical Computer ScienceMinimum-variance unbiased estimatorEfficient estimatorBias of an estimatorControl and Systems EngineeringPrior probabilityComputer Science (miscellaneous)Applied mathematicsEngineering (miscellaneous)Social Sciences (miscellaneous)Invariant estimatorMathematicsKybernetes
researchProduct

model reduction for continuous-time Markovian jump systems with incomplete statistics of mode information

2013

This paper investigates the problem of model reduction for a class of continuous-time Markovian jump linear systems with incomplete statistics of mode information, which simultaneously considers the exactly known, partially unknown and uncertain transition rates. By fully utilising the properties of transition rate matrices, together with the convexification of uncertain domains, a new sufficient condition for performance analysis is first derived, and then two approaches, namely, the convex linearisation approach and the iterative approach, are developed to solve the model reduction problem. It is shown that the desired reduced-order models can be obtained by solving a set of strict linear…

Mathematical optimizationModel reductionbusiness.industryMarkovian jump systemsRegular polygonLinear matrix inequalityComputer Science Applications1707 Computer Vision and Pattern RecognitionLinear matrixLinear matrix inequalityTransition rate matrixIncomplete statistics of mode informationComputer Science ApplicationsTheoretical Computer ScienceMarkovian jump linear systemsMarkovian jumpSoftwareControl and Systems EngineeringStatisticsIncomplete statistics of mode information; Linear matrix inequality; Markovian jump systems; Model reduction; Control and Systems Engineering; Theoretical Computer Science; Computer Science Applications1707 Computer Vision and Pattern RecognitionDesign methodsbusinessMathematicsInternational Journal of Systems Science
researchProduct

Developing Domain-Knowledge Evolutionary Algorithms for Network-on-Chip Application Mapping

2013

This paper addresses the Network-on-Chip (NoC) application mapping problem. This is an NP-hard problem that deals with the optimal topological placement of Intellectual Property cores onto the NoC tiles. Network-on-Chip application mapping Evolutionary Algorithms are developed, evaluated and optimized for minimizing the NoC communication energy. Two crossover and one mutation operators are proposed. It is analyzed how each optimization algorithm performs with every genetic operator, in terms of solution quality and convergence speed. Our proposed operators are compared with state-of-the-art genetic operators for permutation problems. Finally, the problem is approached in a multi-objective w…

Mathematical optimizationMutation operatorTheoretical computer scienceComputer Networks and CommunicationsComputer scienceQuality control and genetic algorithmsCrossoverEvolutionary algorithmGenetic operatorMulti-objective optimizationNetwork on a chipArtificial IntelligenceHardware and ArchitectureSimulated annealingGenetic algorithmGenetic representationSoftwareMicroprocessors and Microsystems
researchProduct

A Multiple Surrogate Assisted Decomposition-Based Evolutionary Algorithm for Expensive Multi/Many-Objective Optimization

2019

Many-objective optimization problems (MaOPs) contain four or more conflicting objectives to be optimized. A number of efficient decomposition-based evolutionary algorithms have been developed in the recent years to solve them. However, computationally expensive MaOPs have been scarcely investigated. Typically, surrogate-assisted methods have been used in the literature to tackle computationally expensive problems, but such studies have largely focused on problems with 1–3 objectives. In this paper, we present an approach called hybrid surrogate-assisted many-objective evolutionary algorithm to solve computationally expensive MaOPs. The key features of the approach include: 1) the use of mul…

Mathematical optimizationOptimization problemComputer scienceEvolutionary algorithmPareto principle02 engineering and technologyEvolutionary computationTheoretical Computer ScienceConstraint (information theory)Set (abstract data type)Range (mathematics)Computational Theory and Mathematics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingHeuristicsSoftwareIEEE Transactions on Evolutionary Computation
researchProduct

Fixed domain approaches in shape optimization problems

2012

This work is a review of results in the approximation of optimal design problems, defined in variable/unknown domains, based on associated optimization problems defined in a fixed ?hold-all? domain, including the family of all admissible open sets. The literature in this respect is very rich and we concentrate on three main approaches: penalization?regularization, finite element discretization on a fixed grid, controllability and control properties of elliptic systems. Comparison with other fixed domain approaches or, in general, with other methods in shape optimization is performed as well and several numerical examples are included.

Mathematical optimizationOptimization problemDiscretizationApplied MathematicsOpen setGridRegularization (mathematics)Finite element methodComputer Science ApplicationsTheoretical Computer ScienceControllabilitySignal ProcessingShape optimizationMathematical PhysicsMathematicsInverse Problems
researchProduct

A genetic algorithm for discrete tomography reconstruction

2007

The aim of this paper is the description of an experiment carried out to verify the robustness of two different approaches for the reconstruction of convex polyominoes in discrete tomography. This is a new field of research, because it differs from classic computerized tomography, and several problems are still open. In particular, the stability problem is tackled by using both a modified version of a known algorithm and a new genetic approach. The effect of both, instrumental and quantization noises has been considered too. © 2007 Springer Science+Business Media, LLC.

Mathematical optimizationPolyominoComputer scienceQuantization (signal processing)Physics::Medical PhysicsComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONRegular polygonDiscrete tomographyStability problemComputer Science ApplicationsTheoretical Computer ScienceGenetic algorithmArtificial IntelligenceHardware and ArchitectureTomographyAlgorithmDiscrete tomographySoftwareGenetic Programming and Evolvable Machines
researchProduct

A Visualizable Test Problem Generator for Many-Objective Optimization

2022

Visualizing the search behavior of a series of points or populations in their native domain is critical in understanding biases and attractors in an optimization process. Distancebased many-objective optimization test problems have been developed to facilitate visualization of search behavior in a two-dimensional design space with arbitrarily many objective functions. Previous works have proposed a few commonly seen problem characteristics into this problem framework, such as the definition of disconnected Pareto sets and dominance resistant regions of the design space. The authors’ previous work has advanced this research further by providing a problem generator to automatically create use…

Mathematical optimizationProcess (engineering)Computer sciencevisualisointimulti-objective test problemsPareto principleevolutionary optimizationmonitavoiteoptimointiMulti-objective optimizationTheoretical Computer ScienceDomain (software engineering)Visualizationtest suiteRange (mathematics)avoin lähdekoodioptimointiComputational Theory and MathematicsTest suitebenchmarkingongelmanratkaisuvisualizationSoftwareGenerator (mathematics)IEEE Transactions on Evolutionary Computation
researchProduct

Efficient Redundancy Reduced Subgroup Discovery via Quadratic Programming

2012

Subgroup discovery is a task at the intersection of predictive and descriptive induction, aiming at identifying subgroups that have the most unusual statistical (distributional) characteristics with respect to a property of interest. Although a great deal of work has been devoted to the topic, one remaining problem concerns the redundancy of subgroup descriptions, which often effectively convey very similar information. In this paper, we propose a quadratic programming based approach to reduce the amount of redundancy in the subgroup rules. Experimental results on 12 datasets show that the resulting subgroups are in fact less redundant compared to standard methods. In addition, our experime…

Mathematical optimizationRedundancy (information theory)Theoretical computer scienceQuadratic programmingStandard methodsMathematics
researchProduct

Adjoint-based sampling methods for electromagnetic scattering

2010

In this paper we investigate the efficient realization of sampling methods based on solutions of certain adjoint problems. This adjoint approach does not require the explicit knowledge of the Green's function for the background medium, and allows us to sample for all points and all dipole directions simultaneously; thus, several limitations of standard sampling methods are relieved. A detailed derivation of the adjoint approach is presented for two electromagnetic model problems, but the framework can be applied to a much wider class of problems. We also discuss a relation of the adjoint sampling method to standard backprojection algorithms, and present numerical tests that illustrate the e…

Mathematical optimizationRelation (database)ScatteringApplied MathematicsSample (statistics)Function (mathematics)Inverse problemComputer Science ApplicationsTheoretical Computer ScienceAdjoint equationSignal ProcessingApplied mathematicsExplicit knowledgeRealization (systems)Mathematical PhysicsMathematicsInverse Problems
researchProduct

Edge Orientation and the Design of Problem-Specific Crossover Operators for the OCST Problem

2012

In the Euclidean optimal communication spanning tree problem, the edges in optimal trees not only have small weights but also point with high probability toward the center of the graph. These characteristics of optimal solutions can be used for the design of problem-specific evolutionary algorithms (EAs). Recombination operators of direct encodings like edge-set and NetDir can be extended such that they prefer not only edges with small distance weights but also edges that point toward the center of the graph. Experimental results show higher performance and robustness in comparison to EAs using existing crossover strategies.

Mathematical optimizationSpanning treeCrossoverEvolutionary algorithmApproximation algorithmEvolutionary computationTheoretical Computer ScienceMathematical OperatorsComputational Theory and MathematicsRobustness (computer science)Multiple edgesAlgorithmSoftwareMathematicsofComputing_DISCRETEMATHEMATICSMathematicsIEEE Transactions on Evolutionary Computation
researchProduct