Method of solving nonlinear equation systems with Boolean variables

    Olexander Lytvynenko Info
DOI: https://doi.org/10.3846/1648-7788.2008.12.80-86

Abstract

A method of solving nonlinear equation systems with Boolean variables, which realizes the strategy of variant‐directed enumeration, is related. Necessary and sufficient conditions of feasible plans existence are formalized. A procedure for the formal analysis of subsets of the variants is described. The structure of the algorithm that possesses the completeness property is given. Special cases of systems of equations are considered.

Netiesinių lygčių sistemų sprendimas su būlio kintamaisiais

Santrauka. Netiesinių lygčių sistemos su Būlio kintamaisiais sprendžiamos naudojant variantų kryptinės numeracijos metodą. Formalizuojamos būtinos ir pakankamos galimų schemų sąlygos. Aprašomos variantų poeibių formalios analizės procedūros. Pateikiama struktūra algoritmo, turinčio užbaigtumo savybių. Svarstomos lygčių sistemų atskiri atvejai.

Reikšminiai žodžiai: Būlio kintamieji, netiesinių lygčių sistemos, sprendimo algoritmas, kryptinė numeracija.

First Published Online: 14 Oct 2010

Keywords:

Boolean variables, nonlinear equation systems, solution algorithm, directed enumeration

How to Cite

Lytvynenko, O. (2008). Method of solving nonlinear equation systems with Boolean variables. Aviation, 12(3), 80-86. https://doi.org/10.3846/1648-7788.2008.12.80-86

Share

Published in Issue
September 30, 2008
Abstract Views
594

View article in other formats

CrossMark check

CrossMark logo

Published

2008-09-30

Issue

Section

Articles

How to Cite

Lytvynenko, O. (2008). Method of solving nonlinear equation systems with Boolean variables. Aviation, 12(3), 80-86. https://doi.org/10.3846/1648-7788.2008.12.80-86

Share