About: ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	This paper presents mathematical proofs for a new search algorithm - Self-Organizing Migrating Algorithm (SOMA), which can be classified as a memetic algorithm. The principles of this algorithm are given at [12] where C++ source code for Self-Organizing Migrating Algorithm and Differential Evolution (DE) can also be found. At this address the Self-Organizing Migrating Algorithm is explained and then compared with Differential Evolution on various tested functions (15). During these tests 9500 comparative optimizing simulations have been carried out, representing approximately 22x106 cost function evaluations. Because the simulations have shown that Self-Organizing Migrating Algorithm is a viable algorithm, this contribution is focused on some basic proofs for it This paper presents mathematical proofs for a new search algorithm - Self-Organizing Migrating Algorithm (SOMA), which can be classified as a memetic algorithm. The principles of this algorithm are given at [12] where C++ source code for Self-Organizing Migrating Algorithm and Differential Evolution (DE) can also be found. At this address the Self-Organizing Migrating Algorithm is explained and then compared with Differential Evolution on various tested functions (15). During these tests 9500 comparative optimizing simulations have been carried out, representing approximately 22x106 cost function evaluations. Because the simulations have shown that Self-Organizing Migrating Algorithm is a viable algorithm, this contribution is focused on some basic proofs for it (en)
Title	ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS (en)
skos:prefLabel	ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS (en)
skos:notation	RIV/70883521:28110/01:00000090!RIV/2002/GA0/281102/N
http://linked.open.../vavai/riv/strany	103;110
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/00/0526), P(GA102/99/1292), Z(MSM 265200014)
http://linked.open...vai/riv/dodaniDat	2002
http://linked.open...aciTvurceVysledku	Zelinka, Ivan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Tomáše Bati ve Zlíně / Fakulta technologická
http://linked.open...dnocenehoVysledku	690038
http://linked.open...ai/riv/idVysledku	RIV/70883521:28110/01:00000090
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	SOMA, axiomatic system, proof and proof classification, proof structure (en)
http://linked.open.../riv/klicoveSlovo	SOMA axiomatic system proof and proof classification proof structure
http://linked.open...ontrolniKodProRIV	[DBE80B96C87C]
http://linked.open...v/mistoKonaniAkce	FS, VUT, Brno
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...i/riv/nazevZdroje	Mendel 2001
http://linked.open...in/vavai/riv/obor	BD
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...vavai/riv/projekt	Algorithms and implementation of self-tuning MIMO controllers Adaptive and robust control on non-linear systems
http://linked.open...UplatneniVysledku	2001
http://linked.open...iv/tvurceVysledku	Zelinka, Ivan Lampinen, Jouni Nolle, Lars
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2001-06-06 (xsd:date)
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20265200014
number of pages	8 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoké učení technické v Brně
https://schema.org/isbn	80-214-1894-X
http://localhost/t...ganizacniJednotka	28110

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software