UNLOCKING of PREDICATE: APPLICATION to CONSTRUCTING A NON-ANTICIPATING SELECTION

Research output: Contribution to journalArticleResearchpeer-review

Abstract

В работе разрабатывается метод, именуемый «размыкание предиката», сводящий задачу поиска множества истинности предиката к задаче поиска множества неподвижных точек некоторого (вообще говоря, многозначного) отображения. Предлагаемая техника дает дополнительные возможности анализа задач и построения решений путем систематического привлечения результатов теории неподвижных точек. Даны формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. В случае когда область определения предиката частично упорядочена, указаны способы построения размыкающих функций, обладающих свойством сужаемости. Это позволило получить представления интересующих элементов решения в виде итерационных пределов. Предлагаемый подход в силу абстрактности имеет широкую сферу применения. Вместе с тем эффективность полученного решения зависит от специфики рассматриваемой задачи и выбранного варианта реализации метода. В качестве иллюстрации в работе рассмотрена процедура построения размыкающего отображения для предиката «быть неупреждающим селектором». На основе этого отображения получено выражение для наибольшего неупреждающего селектора заданной мультифункции.
Translated title of the contributionРазмыкание предиката: приложение к задаче построения неупреждающего селектора
Original languageEnglish
Pages (from-to)283-291
Number of pages9
JournalVestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki
Volume27
Issue number2
DOIs
Publication statusPublished - 2017

Fingerprint

Predicate
Multivalued Mapping
Control theory
Control Theory
Fixed point
Uncertainty
Truth

Keywords

  • Fixed points
  • Nonanticipating mappings
  • Predicate unlocking

ASJC Scopus subject areas

  • Fluid Flow and Transfer Processes
  • Computer Science(all)
  • Mathematics(all)

WoS ResearchAreas Categories

  • Mathematics

GRNTI

  • 27.00.00 MATHEMATICS

Level of Research Output

  • VAK List

Cite this

@article{ade9327bbad7430aa7a4a5128e75643e,
title = "UNLOCKING of PREDICATE: APPLICATION to CONSTRUCTING A NON-ANTICIPATING SELECTION",
abstract = "В работе разрабатывается метод, именуемый «размыкание предиката», сводящий задачу поиска множества истинности предиката к задаче поиска множества неподвижных точек некоторого (вообще говоря, многозначного) отображения. Предлагаемая техника дает дополнительные возможности анализа задач и построения решений путем систематического привлечения результатов теории неподвижных точек. Даны формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. В случае когда область определения предиката частично упорядочена, указаны способы построения размыкающих функций, обладающих свойством сужаемости. Это позволило получить представления интересующих элементов решения в виде итерационных пределов. Предлагаемый подход в силу абстрактности имеет широкую сферу применения. Вместе с тем эффективность полученного решения зависит от специфики рассматриваемой задачи и выбранного варианта реализации метода. В качестве иллюстрации в работе рассмотрена процедура построения размыкающего отображения для предиката «быть неупреждающим селектором». На основе этого отображения получено выражение для наибольшего неупреждающего селектора заданной мультифункции.",
keywords = "Fixed points, Nonanticipating mappings, Predicate unlocking",
author = "Serkov, {D. A.}",
year = "2017",
doi = "10.20537/vm170211",
language = "English",
volume = "27",
pages = "283--291",
journal = "Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki",
issn = "1994-9197",
publisher = "Удмуртский государственный университет",
number = "2",

}

UNLOCKING of PREDICATE: APPLICATION to CONSTRUCTING A NON-ANTICIPATING SELECTION. / Serkov, D. A.

In: Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki , Vol. 27, No. 2, 2017, p. 283-291.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - UNLOCKING of PREDICATE: APPLICATION to CONSTRUCTING A NON-ANTICIPATING SELECTION

AU - Serkov, D. A.

PY - 2017

Y1 - 2017

N2 - В работе разрабатывается метод, именуемый «размыкание предиката», сводящий задачу поиска множества истинности предиката к задаче поиска множества неподвижных точек некоторого (вообще говоря, многозначного) отображения. Предлагаемая техника дает дополнительные возможности анализа задач и построения решений путем систематического привлечения результатов теории неподвижных точек. Даны формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. В случае когда область определения предиката частично упорядочена, указаны способы построения размыкающих функций, обладающих свойством сужаемости. Это позволило получить представления интересующих элементов решения в виде итерационных пределов. Предлагаемый подход в силу абстрактности имеет широкую сферу применения. Вместе с тем эффективность полученного решения зависит от специфики рассматриваемой задачи и выбранного варианта реализации метода. В качестве иллюстрации в работе рассмотрена процедура построения размыкающего отображения для предиката «быть неупреждающим селектором». На основе этого отображения получено выражение для наибольшего неупреждающего селектора заданной мультифункции.

AB - В работе разрабатывается метод, именуемый «размыкание предиката», сводящий задачу поиска множества истинности предиката к задаче поиска множества неподвижных точек некоторого (вообще говоря, многозначного) отображения. Предлагаемая техника дает дополнительные возможности анализа задач и построения решений путем систематического привлечения результатов теории неподвижных точек. Даны формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. В случае когда область определения предиката частично упорядочена, указаны способы построения размыкающих функций, обладающих свойством сужаемости. Это позволило получить представления интересующих элементов решения в виде итерационных пределов. Предлагаемый подход в силу абстрактности имеет широкую сферу применения. Вместе с тем эффективность полученного решения зависит от специфики рассматриваемой задачи и выбранного варианта реализации метода. В качестве иллюстрации в работе рассмотрена процедура построения размыкающего отображения для предиката «быть неупреждающим селектором». На основе этого отображения получено выражение для наибольшего неупреждающего селектора заданной мультифункции.

KW - Fixed points

KW - Nonanticipating mappings

KW - Predicate unlocking

UR - http://www.scopus.com/inward/record.url?scp=85022074533&partnerID=8YFLogxK

UR - http://elibrary.ru/item.asp?id=29410199

UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000467759800011

U2 - 10.20537/vm170211

DO - 10.20537/vm170211

M3 - Article

VL - 27

SP - 283

EP - 291

JO - Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki

JF - Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki

SN - 1994-9197

IS - 2

ER -