Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware
The problem of partitioning a set of vectors with integer coordinates is considered with respect to the coordinate-wise and lexicographic order on vectors using automaton interpretation. An FPGA-based hardware implementation of three-valued logic operations is proposed to check the satisfiability of...
Gespeichert in:
| Veröffentlicht in: | Cybernetics and systems analysis 2019-05, Vol.55 (3), p.462-473 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 473 |
|---|---|
| container_issue | 3 |
| container_start_page | 462 |
| container_title | Cybernetics and systems analysis |
| container_volume | 55 |
| creator | Kryvyi, S. L. Opanasenko, V. M. Zavyalov, S. B. |
| description | The problem of partitioning a set of vectors with integer coordinates is considered with respect to the coordinate-wise and lexicographic order on vectors using automaton interpretation. An FPGA-based hardware implementation of three-valued logic operations is proposed to check the satisfiability of formulas of this logic. |
| doi_str_mv | 10.1007/s10559-019-00154-3 |
| format | Article |
| fullrecord | <record><control><sourceid>gale_proqu</sourceid><recordid>TN_cdi_proquest_journals_2231982576</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><galeid>A596818712</galeid><sourcerecordid>A596818712</sourcerecordid><originalsourceid>FETCH-LOGICAL-c392t-ccb1c936ae6376ed6cc31b6815f4572a7e5ecc260cf64d61007b161ba3ac8ccf3</originalsourceid><addsrcrecordid>eNp9kV1LBCEUhoco6PMPdCV01cWUjqvOXMbSx8JG0Va34pw5MxmblrpU_z63CaKbEFHkeTxH36I4ZPSEUapOI6NCNCVleVImJiXfKHaYULysOVebeU8lLSlv5HaxG-MzpZRTVe8Ui1sTkk3WO-sGYsgCE_E9eURIPkTybtMTmbmEAwYy9T501pmEkbSf5BqNi2t47gcLZkmuTOjeTcD9Yqs3y4gHP-te8XBxfj-9Kuc3l7Pp2bwE3lSpBGgZNFwalFxJ7CQAZ62smegnQlVGoUCASlLo5aST63e2TLLWcAM1QM_3iqPx3tfg31YYk372q-BySV1VnDV1JZTM1MlIDWaJ2rrep2Agjw5fLHiHvc3nZ6LJlWvFqiwc_xEyk_AjDWYVo54t7v6y1chC8DEG7PVrsC8mfGpG9bpjPSajczL6OxnNs8RHKWbY5Z_97fsf6wsmmo-I</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2231982576</pqid></control><display><type>article</type><title>Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware</title><source>SpringerLink Journals - AutoHoldings</source><creator>Kryvyi, S. L. ; Opanasenko, V. M. ; Zavyalov, S. B.</creator><creatorcontrib>Kryvyi, S. L. ; Opanasenko, V. M. ; Zavyalov, S. B.</creatorcontrib><description>The problem of partitioning a set of vectors with integer coordinates is considered with respect to the coordinate-wise and lexicographic order on vectors using automaton interpretation. An FPGA-based hardware implementation of three-valued logic operations is proposed to check the satisfiability of formulas of this logic.</description><identifier>ISSN: 1060-0396</identifier><identifier>EISSN: 1573-8337</identifier><identifier>DOI: 10.1007/s10559-019-00154-3</identifier><language>eng</language><publisher>New York: Springer US</publisher><subject>Algorithms ; Artificial Intelligence ; Computer Engineering ; Control ; Hardware ; Informatics ; Integrated circuits ; Mathematics ; Mathematics and Statistics ; New Means of Cybernetics ; Partitioning ; Processor Architectures ; Programmable logic arrays ; Robots ; Software Engineering/Programming and Operating Systems ; Systems Analysis ; Systems Theory ; Technology</subject><ispartof>Cybernetics and systems analysis, 2019-05, Vol.55 (3), p.462-473</ispartof><rights>Springer Science+Business Media, LLC, part of Springer Nature 2019</rights><rights>COPYRIGHT 2019 Springer</rights><rights>Copyright Springer Nature B.V. 2019</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c392t-ccb1c936ae6376ed6cc31b6815f4572a7e5ecc260cf64d61007b161ba3ac8ccf3</citedby><cites>FETCH-LOGICAL-c392t-ccb1c936ae6376ed6cc31b6815f4572a7e5ecc260cf64d61007b161ba3ac8ccf3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s10559-019-00154-3$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s10559-019-00154-3$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,776,780,27903,27904,41467,42536,51297</link.rule.ids></links><search><creatorcontrib>Kryvyi, S. L.</creatorcontrib><creatorcontrib>Opanasenko, V. M.</creatorcontrib><creatorcontrib>Zavyalov, S. B.</creatorcontrib><title>Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware</title><title>Cybernetics and systems analysis</title><addtitle>Cybern Syst Anal</addtitle><description>The problem of partitioning a set of vectors with integer coordinates is considered with respect to the coordinate-wise and lexicographic order on vectors using automaton interpretation. An FPGA-based hardware implementation of three-valued logic operations is proposed to check the satisfiability of formulas of this logic.</description><subject>Algorithms</subject><subject>Artificial Intelligence</subject><subject>Computer Engineering</subject><subject>Control</subject><subject>Hardware</subject><subject>Informatics</subject><subject>Integrated circuits</subject><subject>Mathematics</subject><subject>Mathematics and Statistics</subject><subject>New Means of Cybernetics</subject><subject>Partitioning</subject><subject>Processor Architectures</subject><subject>Programmable logic arrays</subject><subject>Robots</subject><subject>Software Engineering/Programming and Operating Systems</subject><subject>Systems Analysis</subject><subject>Systems Theory</subject><subject>Technology</subject><issn>1060-0396</issn><issn>1573-8337</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2019</creationdate><recordtype>article</recordtype><recordid>eNp9kV1LBCEUhoco6PMPdCV01cWUjqvOXMbSx8JG0Va34pw5MxmblrpU_z63CaKbEFHkeTxH36I4ZPSEUapOI6NCNCVleVImJiXfKHaYULysOVebeU8lLSlv5HaxG-MzpZRTVe8Ui1sTkk3WO-sGYsgCE_E9eURIPkTybtMTmbmEAwYy9T501pmEkbSf5BqNi2t47gcLZkmuTOjeTcD9Yqs3y4gHP-te8XBxfj-9Kuc3l7Pp2bwE3lSpBGgZNFwalFxJ7CQAZ62smegnQlVGoUCASlLo5aST63e2TLLWcAM1QM_3iqPx3tfg31YYk372q-BySV1VnDV1JZTM1MlIDWaJ2rrep2Agjw5fLHiHvc3nZ6LJlWvFqiwc_xEyk_AjDWYVo54t7v6y1chC8DEG7PVrsC8mfGpG9bpjPSajczL6OxnNs8RHKWbY5Z_97fsf6wsmmo-I</recordid><startdate>20190501</startdate><enddate>20190501</enddate><creator>Kryvyi, S. L.</creator><creator>Opanasenko, V. M.</creator><creator>Zavyalov, S. B.</creator><general>Springer US</general><general>Springer</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>ISR</scope><scope>JQ2</scope></search><sort><creationdate>20190501</creationdate><title>Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware</title><author>Kryvyi, S. L. ; Opanasenko, V. M. ; Zavyalov, S. B.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c392t-ccb1c936ae6376ed6cc31b6815f4572a7e5ecc260cf64d61007b161ba3ac8ccf3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2019</creationdate><topic>Algorithms</topic><topic>Artificial Intelligence</topic><topic>Computer Engineering</topic><topic>Control</topic><topic>Hardware</topic><topic>Informatics</topic><topic>Integrated circuits</topic><topic>Mathematics</topic><topic>Mathematics and Statistics</topic><topic>New Means of Cybernetics</topic><topic>Partitioning</topic><topic>Processor Architectures</topic><topic>Programmable logic arrays</topic><topic>Robots</topic><topic>Software Engineering/Programming and Operating Systems</topic><topic>Systems Analysis</topic><topic>Systems Theory</topic><topic>Technology</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Kryvyi, S. L.</creatorcontrib><creatorcontrib>Opanasenko, V. M.</creatorcontrib><creatorcontrib>Zavyalov, S. B.</creatorcontrib><collection>CrossRef</collection><collection>Gale In Context: Science</collection><collection>ProQuest Computer Science Collection</collection><jtitle>Cybernetics and systems analysis</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Kryvyi, S. L.</au><au>Opanasenko, V. M.</au><au>Zavyalov, S. B.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware</atitle><jtitle>Cybernetics and systems analysis</jtitle><stitle>Cybern Syst Anal</stitle><date>2019-05-01</date><risdate>2019</risdate><volume>55</volume><issue>3</issue><spage>462</spage><epage>473</epage><pages>462-473</pages><issn>1060-0396</issn><eissn>1573-8337</eissn><abstract>The problem of partitioning a set of vectors with integer coordinates is considered with respect to the coordinate-wise and lexicographic order on vectors using automaton interpretation. An FPGA-based hardware implementation of three-valued logic operations is proposed to check the satisfiability of formulas of this logic.</abstract><cop>New York</cop><pub>Springer US</pub><doi>10.1007/s10559-019-00154-3</doi><tpages>12</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1060-0396 |
| ispartof | Cybernetics and systems analysis, 2019-05, Vol.55 (3), p.462-473 |
| issn | 1060-0396 1573-8337 |
| language | eng |
| recordid | cdi_proquest_journals_2231982576 |
| source | SpringerLink Journals - AutoHoldings |
| subjects | Algorithms Artificial Intelligence Computer Engineering Control Hardware Informatics Integrated circuits Mathematics Mathematics and Statistics New Means of Cybernetics Partitioning Processor Architectures Programmable logic arrays Robots Software Engineering/Programming and Operating Systems Systems Analysis Systems Theory Technology |
| title | Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T23%3A29%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-gale_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Partitioning%20a%20Set%20of%20Vectors%20with%20Integer%20Coordinates%20by%20Means%20of%20Logical%20Hardware&rft.jtitle=Cybernetics%20and%20systems%20analysis&rft.au=Kryvyi,%20S.%20L.&rft.date=2019-05-01&rft.volume=55&rft.issue=3&rft.spage=462&rft.epage=473&rft.pages=462-473&rft.issn=1060-0396&rft.eissn=1573-8337&rft_id=info:doi/10.1007/s10559-019-00154-3&rft_dat=%3Cgale_proqu%3EA596818712%3C/gale_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2231982576&rft_id=info:pmid/&rft_galeid=A596818712&rfr_iscdi=true |