Anatoly Shalyto - Anatoly Shalyto

Anatoly Shalyto
Shalyto 200px.jpg
narozený (1948-05-28) 28. května 1948 (věk 72)
Leningrad, SSSR
Národnost ruština
Alma materSPb ETU "LETI"
Známý jakoTechnologie Programování na základě automatů pojmenovaný Přepínací technologie, Otevřete iniciativu projektové dokumentace, „Zachraňte to nejlepší na ruských univerzitách“
OceněníCena ruské státní vlády ve školství, 2008
Vědecká kariéra
PolePočítačová věda, Softwarové inženýrství
InstituceUniverzita ITMO

Anatoly Abramovich Shalyto (ruština: Анато́лий Абрамович Шалыто, 28. května 1948 v Leningrad, Sovětský svaz ) je ruský vědec, doktor věd a profesor. V roce 2008 byl ruskou vládou oceněn za úspěchy ve vzdělávání a za rozvoj technologie pro Programování na základě automatů volala "Přepínací technologie "Je také iniciátorem Otevřete iniciativu projektové dokumentace.

Moje úspěchy

Doklady

  • Artyukhov V. L., Kopeikin G. A., Shalyto A. A. Odhad logické účinnosti integrované mikroobvody // Automatické řízení a počítačové vědy. 1981. sv. 22. č. 1, s. 32–34.
  • Artyukhov V. L., Kopeikin G. A., Shalyto A. A. Hranice realizační složitosti booleovských vzorců pomocí stromových obvodů laditelných modulů // Automatizace a dálkové ovládání. 1981. sv. 42. Ne 11. Část 2, s. 1532–1537.
  • Artyukhov V. L., Shalyto A. A., Kuznetsova O. S. Vyhodnocení funkčních schopností programovatelných logických polí // Automatické řízení a počítačové vědy. 1985. sv. 26. č. 2, s. 69–73.
  • Sagalovič Yu. L., Shalyto A. A. Binární programy a jejich realizace asynchronními automaty // Problémy přenosu informací. 1987. Vol. 23, č. 1, s. 89–96.
  • Artyukhov V., Kondrat`ev V., Shalyto A. Generování booleovských funkcí pomocí aritmetických polinomiálů // automatizace a dálkové ovládání. 1988. sv. 49. č. 4, s. 508–515.
  • Kondrat`ev V. N., Shalyto A. A. Realizace systémů booleovských funkcí liniovými aritmetickými polinomály // automatizace a dálkové ovládání. 1993. Vol. 54. č. 3, s. 472–488.
  • Kondrat`ev V. N., Shalyto A. A. Realizace booleovských funkcí pomocí jednoho lineárního aritmetického polynomu s maskováním // automatizace a dálkové ovládání. 1996. sv. 57, č. 1, s. 127–137.
  • Kondrat`ev V. N., Shalyto A. A. Realizace systému booleovských funkcí lineárními aritmetickými polynomy // Automatizace a dálkové ovládání. 1997. sv. 58. Č. 3, str. 492–503.
  • Kuznetsov B., Shalyto A. Realizace booleovských vzorců lineárními binárními grafy. I. Syntéza a analýza // Journal of Computer and Systems Sciences International. 1994. Sv. 33. Č. 5.
  • Kuznetsov B., Shalyto A. Realizace booleovských vzorců lineárními binárními grafy. II. Odhady počtu a celkové délky cest // Journal of Computer and Systems Sciences International. 1995. sv. 34, č. 3.
  • Kuznetsov B., Shalyto A. Realizace booleovských vzorců lineárními binárními grafy. III. Optimalizace počtu a celkové délky cest // Journal of Computer and Systems Sciences International. 1995. sv. 34. Č. 5.
  • Shalyto A. Algoritmická grafická schémata a přechodové grafy: jejich použití při softwarové realizaci logických řídicích algoritmů. I // Automatizace a dálkové ovládání. 1996. sv. 57. No. 6, pp. 890–897.
  • Shalyto A. Algoritmické grafické schémata a přechodové grafy: jejich použití v softwarové realizaci logických řídicích algoritmů. II // Automation and Remote Control, 1996, Vol. 57, č. 7, str. 1027–1045.
  • Artyukhov V. L., Shalyto A. A. Realizace booleovských vzorců jednotným multiplexorem a většinovými kaskádami // Journal of Computer and Systems Sciences International. 1996. sv. 35. č. 5, s. 805–815.
  • Shalyto A. A. Moduly s Paraphase vstupní proměnné, které jsou univerzální ve třídě všech booleovských funkcí // Journal of Computer and Systems Sciences International. 1997. sv. 36. No 5, str. 794–801.
  • Kuznetsov B., Shalyto A. Metoda nezávislých fragmentů pro konstrukci linearizovaných strukturovaných grafů grafů algoritmů, které implementují systémy booleovských vzorců // automatizace a dálkové ovládání. 1998. sv. 59. č. 9, s. 1317–1326.
  • Shalyto A. A. SWITCH-technologie. Algoritmické a programovací metody při řešení problémů logického řízení. Petrohrad: Nauka (věda), 1998. - 628 s. V Rusku.http://is.ifmo.ru/books/switch/1
  • Kiselev V., Shalyto A. Study of Transidents in One-Contour Logical Circuits // Journal of Computer and Systems Sciences International. 1999. sv. 38. č. 5, str. 693–697.
  • Shalyto A., Software Automation Design: Algorithmization and Programming of the Problems of Logical Control // Journal of Computer and Systems Sciences International. 2000. sv. 39. Č. 6, s. 899–916.
  • Shalyto A. A. Logické ovládání. Implementace hardwarového a softwarového algoritmu. Petrohrad: Nauka (věda), 2000. - 780 s. V Rusku.http://is.ifmo.ru/books/log_upr/1
  • Shalyto A. Logické řízení a „reaktivní“ systémy: Algoritmizace a programování // Automatizace a dálkové ovládání. 2001. Vol. 62. Č. 1, s. 1–29. online verze.
  • Shalyto A., Tukkel N. SWITCH-Technology: Automatizovaný přístup k vývoji softwaru pro reaktivní systémy // Programovací a počítačový software. 2001. Vol. 27. Č. 5, str. 260–276.
  • Shalyto A. A. Moduly, které jsou univerzální ve třídě sebe-duálních funkcí a v blízkých třídách // Journal of Computer and Systems Sciences International. 2001. Vol. 40. No 5, str. 782–792.
  • Shalyto A., Tukkel N. Převádění iterativních algoritmů do automatizačních // programování a počítačový software. 2002.

Sv. 28. Č. 5, str. 250–260.

  • Shalyto A. A. Realizace booleovských vzorců a booleovských funkcí pomocí homogenních struktur // Journal of Computer and Systems Sciences International. 2002. sv. 41. č. 2, s. 264-273.
  • Shalyto A. A. Multiplexorová metoda pro realizaci booleovských funkcí obvody složenými z libovolných logických prvků // Journal of Computer and Systems Sciences International. 2003. sv. 42. č. 1, s. 101–105.
  • Shalyto A. A. Decomposition of Boolean Functions with Respect to the Right-Most Input Variables of Truth Tables // Journal of Computer and Systems Sciences International. 2003. Vol.42. Č. 4, str. 555–561.
  • Shalyto A. A. Metody pro konstrukci multifunkčních logických modulů // Journal of Computer and Systems Sciences International. 2004. sv. 43. č. 6, s. 923–935.
  • Shalyto A. Technologie programování na základě automatů, 2004.
  • Shalyto A. Nadace pro otevřenou projektovou dokumentaci, 2004.
  • Naumov L. A., Shalyto A. A. Klasifikace struktur generovaných jednorozměrnými binárními celulárními automaty z Point Embryo // Journal of Computer and Systems Sciences International. 2005. sv. 44. Č. 5, s. 800–807.
  • Yartsev B., Korneev G., Kotov V., Shalyto A. Programování reaktivních multiagentních řídicích systémů na základě automatů / Mezinárodní konference 2005 „Integrace znalostně intenzivních multiagentních systémů: modelování, průzkum a inženýrství“. KIMAS-05. Boston: IEEE Boston Oddíl. 2005, s. 449–453.
  • Gurov V., Mazin M., Narvsky A., Shalyto A. UniMod: Metoda a nástroj pro rozvoj reaktivních objektově orientovaných programů s důrazem na explicitní stavy / Proceedings of St. Petersburg IEEE Chapters. 2005. Mezinárodní konference „110 Anniversary of Radio Invention“, SPb ETU „LETI“, 2005, roč. 2, s. 106–110.
  • Shalyto A. A. Multifunkční logické moduly skládající se z prvků s bilaterální vodivostí // Journal of Computer and Systems Sciences International. 2006. sv. 45. č. 1, s. 73–76.
  • Paraschenko D., Shalyto A., Tsarev F. Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming / IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA 2006). 2006, s. 35–41.
  • Shalyto A., Shamgunov N., Korneev G. State Machine Design Pattern / .NET Technologies 2006. Krátké příspěvky. Západočeská univerzita, s. 51–58.
  • Gurov V. S., Mazin M. A., Narvsky A. S., Shalyto A. A. Tools for Support of Automata-Based Programming // Programming and Computer Software. 2007. sv. 33. Č. 6, s. 343–355.
  • Lobanov P.G., Shalyto A.A. Aplikace genetických algoritmů pro automatickou konstrukci automatů konečných stavů v problému Flibs // Journal of Computer and Systems Sciences International. 2007. sv. 46. ​​č. 5, str. 792–801.
  • Bulletin St Petersburg State University of Information Technologies, Mechanics and Optics. 2008. Svazek 53. Programování na základě automatů. V Rusku. https://web.archive.org/web/20110812192228/http://books.ifmo.ru/ntv/ntv/53/ntv_53.pdf
  • Polikarpova N. I., Shalyto A. A. Programování na základě automatů. SPb .: Piter. 2009, 2010, 2011. V ruštině. http://is.ifmo.ru/books/_book.pdf
  • Polikarpova N., Tochilin V., Shalyto A. Metoda redukovaných tabulek pro generování automatů s velkým počtem vstupních proměnných na základě genetického programování // Journal of Computer and Systems Sciences International. 2010. sv. 49. Č. 2, s. 265–282.
  • Zakonov A., Stepanov O., Shalyto A. GA a design by Contract Approach to Test Generation for EFSMs / Proceedings of IEEE East-West Design & Test Symposium (EWDTS’10). Petrohrad. 2010, s. 152–155.
  • Velder S., Lukin M., Shalyto A., Yaminov B. Ověření automatických programů. Petrohrad: Nauka (věda), 2011. 242 s. V Rusku.http://is.ifmo.ru/verification/velder_verification_posobie_nauka.pdf
  • Zakonov A., Shalyto A. Automatická extrakce a ověření stavových modelů pro webové aplikace // Poznámky k přednášce v elektrotechnice. 2012. V.133. Část 1, str. 157–160.
  • Chivilikhin D., Ulyantsev V., Shalyto A. Řešení pěti případů problému umělých mravenců s optimalizací kolonií mravenců / Sborník z konference IFAC 2013 o modelování, řízení a kontrole výroby (MIM'13). SPb., Rusko, 2013. Sv. 7. Část 1, s. 1043–1048.
  • Aleksandrov A., Kazakov S., Sergushichev A., Tsarev F., Shalyto A. Využití evolučního programování založeného na příkladech tréninku pro generování konečných státních strojů pro řízení objektů s komplexním chováním // Journal of Computer and Systems Sciences International . 2013. sv. 52. Č. 3, s. 410–425.
  • Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantiac and Tools / Proceedings of the 12th IEEE International Conference on Industrial Informatics (INDIN'14). 2014, s. 440–445.
  • Chivilikhin D., Ulyantsev V., Shalyto A. Kombinace přesných a metaheuristických technik pro učení rozšířených strojů s konečným stavem ze zkušebních scénářů a časových vlastností / Sborník 13. mezinárodní konference o strojovém učení a aplikacích (ICMLA'14). 2014, s. 350–355.
  • Buzhinsky I., Ulyantsev V., Chivilikhin D., Shalyto A. Indukce konečných stavových strojů z tréninkových vzorků pomocí optimalizace kolonií mravenců // Journal of Computer and Systems Sciences International, 2014. Vol. 53. č. 2, s. 256–266.
  • Chivilikhin D., Ulyantsev V., Shalyto A. Rozšířená odvození stroje s konečným stavem pomocí paralelních algoritmů založených na koloniích mravenců / Proceedings of the International Student Workshop on Bioinspired Optimization Methods and their Applications (BIOMA'14). 2014, s. 117–126.
  • Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A. Modifikace metody generování řídicích konečných stavových strojů s kontinuálními akcemi na základě příkladů školení // Journal of Computer and Systems Sciences International. 2015. Sv. 54. No. 6, pp. 853–865.
  • Chivilikhin D., Shalyto A., Vyatkin V. Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks / Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'15). 2015, s. 307–312.
  • Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming / Proceedings of Genetic and Evolutionary Computation Conference. 2015, s. 1185–1188.
  • Ulyantsev V., Zakirzyanov I., Shalyto A. BFS-based Symetry Breaking Predicates for DFA Identification / Proceedings of the 9. International Conference on Language and Automata Theory and Applications (LATA-2015). 2015, s. 611–622.
  • Chivilikhin D., Shalyto A., Patil S., Vyatkin V. Rekonstrukce logiky funkčních bloků pomocí metaheuristického algoritmu: počáteční průzkumy / sborníky 13. mezinárodní konference IEEE o průmyslové informatice (INDIN'15). 2015, s. 1239–1242.
  • Ulyantsev V., Zakirzyanov I., Shalyto A. Symmery Breaking Predicates for SAT-based DFA Identification. Cornell University Library. 2016. https://arxiv.org/abs/1602.05028
  • Ulyantsev V., Buzhinsky I., Shalyto A. Přesná identifikace stroje s konečným stavem ze scénářů a časových vlastností. Cornell University Library. 2016. https://arxiv.org/abs/1601.06945
  • Chivilikhin D., Ulyantsev V., Shalyto A. Modifikovaný algoritmus kolonie mravenců pro konstrukci strojů s konečným stavem ze scénářů provádění a časových vzorců // Automatizace a dálkové ovládání. Sv. 77. 2016. Č. 3, s. 473–484.
  • Chivilikhin D., Ivanov I., Shalyto A., Vyatkin V. Rekonstrukce řadičů funkčních bloků na základě testovacích scénářů a ověření / sborník 14. mezinárodní konference IEEE o průmyslové informatice (INDIN'16). 2016, s. 646–651.
  • https://code.google.com/p/visio2python/

externí odkazy