Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor
An automated approach to the synthesis of Boolean control functions is proposed; this approach makes it possible to obtain the table of states and their analytical expressions for an arbitrary commutation method for switch elements with subsequent transmission of results to simulation and automated...
Gespeichert in:
| Veröffentlicht in: | Journal of computer & systems sciences international 2010-04, Vol.49 (2), p.318-328 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 328 |
|---|---|
| container_issue | 2 |
| container_start_page | 318 |
| container_title | Journal of computer & systems sciences international |
| container_volume | 49 |
| creator | Krivilev, A. V. |
| description | An automated approach to the synthesis of Boolean control functions is proposed; this approach makes it possible to obtain the table of states and their analytical expressions for an arbitrary commutation method for switch elements with subsequent transmission of results to simulation and automated design systems. The program realization of the method is performed using Mathematica. |
| doi_str_mv | 10.1134/S1064230710020176 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_753688663</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2375505741</sourcerecordid><originalsourceid>FETCH-LOGICAL-c299t-c98c9c599d0348c0b30cab236cf6db9a9770c255695a024901caea70026c97873</originalsourceid><addsrcrecordid>eNp1kE1LxDAQhoMo-PkDvAUvnqqTpkma47r4BQse1HPJpqnt2iZrkq7svze7KwiKpxl4nneYGYTOCVwRQovrZwK8yCkIApADEXwPHRHGWMYZhf3UJ5xt-CE6DmEBQCWH4gi9T8boBhVNjcPaxtaELmDX4BvneqMs1s5G73rcjFbHztktHIxulXUJ2E7j2ncrgwdXj73Bn11scWy9MdmyVcHgleq3NDp_ig4a1Qdz9l1P0Ovd7cv0IZs93T9OJ7NM51LGTMtSS82krIEWpYY5Ba3mOeW64fVcKikE6JwxLpmCvJBAtDJKpLu5lqIU9ARd7uYuvfsYTYjV0AVt-l5Z48ZQCUZ5WXJOk3nxy1y40du0XFUKIgkHKJJEdpL2LgRvmmrpu0H5dUWg2jy_-vP8lMl3mZBc-2b8z-D_Q19iL4ar</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>871916004</pqid></control><display><type>article</type><title>Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor</title><source>SpringerLink Journals - AutoHoldings</source><creator>Krivilev, A. V.</creator><creatorcontrib>Krivilev, A. V.</creatorcontrib><description>An automated approach to the synthesis of Boolean control functions is proposed; this approach makes it possible to obtain the table of states and their analytical expressions for an arbitrary commutation method for switch elements with subsequent transmission of results to simulation and automated design systems. The program realization of the method is performed using Mathematica.</description><identifier>ISSN: 1064-2307</identifier><identifier>EISSN: 1555-6530</identifier><identifier>DOI: 10.1134/S1064230710020176</identifier><language>eng</language><publisher>Dordrecht: SP MAIK Nauka/Interperiodica</publisher><subject>Automated ; Automation ; Boolean ; Boolean algebra ; Computer science ; Control ; Control algorithms ; Control theory ; Control valves ; Engineering ; Mathematical analysis ; Mathematical models ; Mechatronics ; Methods ; Motors ; Robotics ; Simulation ; Studies ; Synthesis ; Valves</subject><ispartof>Journal of computer & systems sciences international, 2010-04, Vol.49 (2), p.318-328</ispartof><rights>Pleiades Publishing, Ltd. 2010</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c299t-c98c9c599d0348c0b30cab236cf6db9a9770c255695a024901caea70026c97873</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1134/S1064230710020176$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1134/S1064230710020176$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,780,784,27922,27923,41486,42555,51317</link.rule.ids></links><search><creatorcontrib>Krivilev, A. V.</creatorcontrib><title>Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor</title><title>Journal of computer & systems sciences international</title><addtitle>J. Comput. Syst. Sci. Int</addtitle><description>An automated approach to the synthesis of Boolean control functions is proposed; this approach makes it possible to obtain the table of states and their analytical expressions for an arbitrary commutation method for switch elements with subsequent transmission of results to simulation and automated design systems. The program realization of the method is performed using Mathematica.</description><subject>Automated</subject><subject>Automation</subject><subject>Boolean</subject><subject>Boolean algebra</subject><subject>Computer science</subject><subject>Control</subject><subject>Control algorithms</subject><subject>Control theory</subject><subject>Control valves</subject><subject>Engineering</subject><subject>Mathematical analysis</subject><subject>Mathematical models</subject><subject>Mechatronics</subject><subject>Methods</subject><subject>Motors</subject><subject>Robotics</subject><subject>Simulation</subject><subject>Studies</subject><subject>Synthesis</subject><subject>Valves</subject><issn>1064-2307</issn><issn>1555-6530</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2010</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNp1kE1LxDAQhoMo-PkDvAUvnqqTpkma47r4BQse1HPJpqnt2iZrkq7svze7KwiKpxl4nneYGYTOCVwRQovrZwK8yCkIApADEXwPHRHGWMYZhf3UJ5xt-CE6DmEBQCWH4gi9T8boBhVNjcPaxtaELmDX4BvneqMs1s5G73rcjFbHztktHIxulXUJ2E7j2ncrgwdXj73Bn11scWy9MdmyVcHgleq3NDp_ig4a1Qdz9l1P0Ovd7cv0IZs93T9OJ7NM51LGTMtSS82krIEWpYY5Ba3mOeW64fVcKikE6JwxLpmCvJBAtDJKpLu5lqIU9ARd7uYuvfsYTYjV0AVt-l5Z48ZQCUZ5WXJOk3nxy1y40du0XFUKIgkHKJJEdpL2LgRvmmrpu0H5dUWg2jy_-vP8lMl3mZBc-2b8z-D_Q19iL4ar</recordid><startdate>20100401</startdate><enddate>20100401</enddate><creator>Krivilev, A. V.</creator><general>SP MAIK Nauka/Interperiodica</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7SP</scope><scope>7WY</scope><scope>7WZ</scope><scope>7XB</scope><scope>87Z</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>8FL</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>F~G</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>L.-</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0C</scope><scope>M0N</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PYYUZ</scope><scope>Q9U</scope></search><sort><creationdate>20100401</creationdate><title>Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor</title><author>Krivilev, A. V.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c299t-c98c9c599d0348c0b30cab236cf6db9a9770c255695a024901caea70026c97873</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Automated</topic><topic>Automation</topic><topic>Boolean</topic><topic>Boolean algebra</topic><topic>Computer science</topic><topic>Control</topic><topic>Control algorithms</topic><topic>Control theory</topic><topic>Control valves</topic><topic>Engineering</topic><topic>Mathematical analysis</topic><topic>Mathematical models</topic><topic>Mechatronics</topic><topic>Methods</topic><topic>Motors</topic><topic>Robotics</topic><topic>Simulation</topic><topic>Studies</topic><topic>Synthesis</topic><topic>Valves</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Krivilev, A. V.</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Business Premium Collection (Alumni)</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer Science Database</collection><collection>ABI/INFORM Professional Advanced</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Business</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ABI/INFORM Collection China</collection><collection>ProQuest Central Basic</collection><jtitle>Journal of computer & systems sciences international</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Krivilev, A. V.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor</atitle><jtitle>Journal of computer & systems sciences international</jtitle><stitle>J. Comput. Syst. Sci. Int</stitle><date>2010-04-01</date><risdate>2010</risdate><volume>49</volume><issue>2</issue><spage>318</spage><epage>328</epage><pages>318-328</pages><issn>1064-2307</issn><eissn>1555-6530</eissn><abstract>An automated approach to the synthesis of Boolean control functions is proposed; this approach makes it possible to obtain the table of states and their analytical expressions for an arbitrary commutation method for switch elements with subsequent transmission of results to simulation and automated design systems. The program realization of the method is performed using Mathematica.</abstract><cop>Dordrecht</cop><pub>SP MAIK Nauka/Interperiodica</pub><doi>10.1134/S1064230710020176</doi><tpages>11</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1064-2307 |
| ispartof | Journal of computer & systems sciences international, 2010-04, Vol.49 (2), p.318-328 |
| issn | 1064-2307 1555-6530 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_753688663 |
| source | SpringerLink Journals - AutoHoldings |
| subjects | Automated Automation Boolean Boolean algebra Computer science Control Control algorithms Control theory Control valves Engineering Mathematical analysis Mathematical models Mechatronics Methods Motors Robotics Simulation Studies Synthesis Valves |
| title | Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T19%3A12%3A29IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Automated%20synthesis%20of%20Boolean%20control%20functions%20of%20mechanotronic%20drive%20module%20with%20three-phase%20valve%20motor&rft.jtitle=Journal%20of%20computer%20&%20systems%20sciences%20international&rft.au=Krivilev,%20A.%20V.&rft.date=2010-04-01&rft.volume=49&rft.issue=2&rft.spage=318&rft.epage=328&rft.pages=318-328&rft.issn=1064-2307&rft.eissn=1555-6530&rft_id=info:doi/10.1134/S1064230710020176&rft_dat=%3Cproquest_cross%3E2375505741%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=871916004&rft_id=info:pmid/&rfr_iscdi=true |