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. 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. First Published Online: 14 Oct 2010 Reikšminiai žodžiai: Būlio kintamieji, netiesinių lygčių sistemos, sprendimo algoritmas, kryptinė numeracija.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Method of solving nonlinear equation systems with Boolean variables


    Beteiligte:


    Erscheinungsdatum :

    2008




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    New method of solving nonlinear equation and its application to flutter analysis

    Yang, L. / Liu, Q. | British Library Online Contents | 1997


    Method for nonlinear optimization with discrete design variables

    Olsen, Gregory R. / Vanderplaats, Garret N. | NTRS | 1989


    Method for nonlinear optimization with discrete design variables

    OLSEN, GREGORY R. / VANDERPLAATS, GARRET N. | AIAA | 1989


    Solving the Zakai equation by ito's Method

    Beneš, V. E. | Springer Verlag | 1982