Avtomatika i Telemekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Avtomat. i Telemekh.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Avtomatika i Telemekhanika, 2004, Issue 6, Pages 177–187 (Mi at1596)  
Discrete Modeling

Design and verification of logical models

V. D. Malyugin

Institute of Control Sciences, Russian Academy of Sciences
Full-text PDF (168 kB)
References:
PDF
HTML
Abstract: Verification methods for testing the correctness of realization of arithmetical polynomial and generalized logical forms are designed such that the verification complexity is proportional to the complexity of the initial polynomial. Verification speed is increased through multiple computations.
Presented by the member of Editorial Board: O. P. Kuznetsov

Received: 17.12.2003
English version:
Automation and Remote Control, 2004, Volume 65, Issue 6, Pages 997–1006
DOI: https://doi.org/10.1023/B:AURC.0000030909.45643.3a
Bibliographic databases:
Document Type: Article
Language: Russian
Citation: V. D. Malyugin, “Design and verification of logical models”, Avtomat. i Telemekh., 2004, no. 6, 177–187; Autom. Remote Control, 65:6 (2004), 997–1006
Citation in format AMSBIB
\Bibitem{Mal04}
\by V.~D.~Malyugin
\paper Design and verification of logical models
\jour Avtomat. i Telemekh.
\yr 2004
\issue 6
\pages 177--187
\mathnet{http://mi.mathnet.ru/at1596}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2096085}
\zmath{https://zbmath.org/?q=an:1077.94527}
\transl
\jour Autom. Remote Control
\yr 2004
\vol 65
\issue 6
\pages 997--1006
\crossref{https://doi.org/10.1023/B:AURC.0000030909.45643.3a}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000222270600012}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84904240665}
Linking options:
  • https://www.mathnet.ru/eng/at1596
  • https://www.mathnet.ru/eng/at/y2004/i6/p177
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Avtomatika i Telemekhanika
    Statistics & downloads:
    Abstract page:152
    Full-text PDF :65
    References:18
    First page:2
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024