区间线性关系线性系统的量词解之无量词描述
最优化与控制
2018-02-27 v1
摘要
我们研究形如 的关系系统，其中 是一个二元关系向量，其分量为“”、“”和“”，且参数（矩阵 和右端向量 的元素）可取自给定区间。其解集的界定取决于每个区间值参数关联何种逻辑量词，以及某些参数的量词前缀顺序。对于对应于一般形式量词前缀的解集，我们给出了经典区间算术、Kaucher完全区间算术和通常实数算术中等价的无量词描述。
引用
@article{arxiv.1802.09199,
title = {Quantifier-free descriptions for quantifier solutions to interval linear systems of relations},
author = {Irene A. Sharaya},
journal= {arXiv preprint arXiv:1802.09199},
year = {2018}
}
备注
The work is a revised and extended English translation of the original Russian work - Sharaya, I.A. Quantifier-free descriptions of interval-quantifier linear systems // Trudy Instituta Matematiki i Mekhaniki UrO RAN (Proceedings of the Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences), Vol. 20 (2014), No. 2, pp. 311-323