• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 3 333 публикации
Сортировка:
по названию
по году
Статья
Meshkov N. A. SSRN Working Papers. 2012.

The concept of an information-analytical Internet-portal of the Russian medical industrial complex as the basis of the intellectual control system of innovative development of the MIC is stated.

Добавлено: 15 мая 2013
Статья
Zelenkov Y. Business Informatics. 2017. No. 2. P. 25-32.
Добавлено: 29 октября 2017
Статья
Skorinkin D.A., Budnikov E., Stepanova M. et al. Компьютерная лингвистика и интеллектуальные технологии. 2016. No. 15. P. 721-733.
Добавлено: 28 августа 2016
Статья
Шелупанов А. А., Evsyutin O., Конев А. А. et al. Symmetry. 2019. Vol. 11. No. 2. P. 1-33.
Добавлено: 3 сентября 2019
Статья
Dumsky D., Isaev E., Samodurov V. et al. Odessa Astronomical Publications. 2013. Vol. 26. No. 2. P. 305-306.
Добавлено: 11 декабря 2013
Статья
Savchenko A., Savchenko V.V. Journal of Communications Technology and Electronics. 2016. Vol. 61. No. 4. P. 430-435.
Добавлено: 11 апреля 2016
Статья
Sokolov B., Potryasaev S., Serova E. et al. Journal of Applied Engineering Science/Istrazivanja i Projektovanja za Privredu. 2019. Vol. 17. No. 1. P. 61-64.

The authors propose the informative and formal description of Structure Dynamics Control Task of Cyber-physical Systems (CPS). The main advantage of proposed poly-model multicriterion approach for the structure dynamics control tasks decision  is that, in comparison with previously developed control models oriented on CPS simulation, proposed models allow to increase the effi ciency, validity and, in general, the quality of the SD control CPS due to the original combination of their static and dynamic models

Добавлено: 20 марта 2019
Статья
San Segundo P., Nikolaev A., Batsyn M. Computers & Operations Research. 2015. Vol. 64. P. 293-303.

Many efficient exact branch and bound maximum clique solvers use approximate coloring to compute an upper bound on the clique number for every subproblem. This technique reasonably promises tight bounds on average, but never tighter than the chromatic number of the graph.

Li and Quan, 2010, AAAI Conference, p. 128–133 describe a way to compute even tighter bounds by reducing each colored subproblem to maximum satisfiability problem (MaxSAT). Moreover they show empirically that the new bounds obtained may be lower than the chromatic number.

Based on this idea this paper shows an efficient way to compute related “infra-chromatic” upper bounds without an explicit MaxSAT encoding. The reported results show some of the best times for a stand-alone computer over a number of instances from standard benchmarks.

Добавлено: 24 августа 2015
Статья
Osipov D. Journal of Physics: Conference Series. 2021. Vol. 1740. P. 1-5.
Добавлено: 16 июня 2021
Статья
Денисенко М. В., Кленов Н. В., Сатанин А. М. Journal of Physics: Conference Series. 2018. Vol. 1124. P. 051027-1-051027-5.
Добавлено: 21 февраля 2019
Статья
Pablo San Segundo ., Alvaro Lopez ., Mikhail Batsyn. Lecture Notes in Computer Science. 2014. Vol. 8426. No. DOI 10.1007/978-3-319-09584-4_12. P. 111-120.
Добавлено: 6 сентября 2014
Статья
Podolskii V. V., Sherstov A. A. ACM Transactions on Computation Theory. 2020. Vol. 12. No. 4. P. 26.
Добавлено: 23 декабря 2020
Статья
Кухаренко В. А., Зиборов К. В., Садыков Р. Ф. и др. Моделирование и анализ информационных систем. 2020. Т. 27. № 4. С. 454-471.

Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена. Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию. Поскольку основной областью применения СРР является автоматизация финансовых транзакций, свойства предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР определяется выбранным протоколом консенсуса, свойства которого нуждаются в строгой спецификации и формальной верификации. Формальная спецификация и верификация протокола консенсуса необходима, но недостаточна. Необходимо удостовериться, что программная реализация узлов СРР соответствует данному протоколу. Верифицированная программная реализация протокола должна запускаться на достаточно надежной операционной системе. Так называемые “умные контракт”, которые являются важной частью прикладных реализаций конкретных бизнес-процессов на основе СРР, также должны быть верифицируемы.В данной работе мы описываем реализующийся в настоящее время индустриальный проект, результатом которого станет СРР, верифицированная по меньшей мере на четырех описанных выше технологических уровнях. Мы также описываем наш опыт формальной спецификации и верификации протокола HotStuff – отказоустойчивого протокола для гарантированного достижения консенсуса в присутствии византийских процессов и лидера.

Добавлено: 31 мая 2021
Статья
Demina M.V., Sinelshchikov D.I. Symmetry. 2019. Vol. 11. No. 11. P. 1-10.
Добавлено: 12 ноября 2019
Статья
Kiselyova N., Dudarev V.A., Stolyarenko A. High Temperature. 2016. Vol. 54. No. 2. P. 1-9.

An integrated system of databases on the properties of inorganic substances and materials has been developed, currently combining the database of the Baikov Institute of Metallurgy and Materials Science, Russian Academy of Sciences, and an AtomWork database on the properties of inorganic substances, developed at the National Institute for Materials Science (Japan). This system is developed as an information service for specialists and for computer-aided design of new inorganic compounds, which was supported by an elaborate information-analytical system. The results of application of this system for compound design that have not yet been synthesized are presented.

Добавлено: 23 февраля 2016
Статья
Lebedev P. A. Journal of Physics: Conference Series. 2016. Vol. 681. No. 1. P. 012048-1-012048-6.
Добавлено: 3 февраля 2016
Статья
Smirnov S., Sukhoroslov O. V., Volkov S. Procedia Computer Science. 2016. Vol. 101. P. 359-368.
Добавлено: 30 августа 2018
Статья
Lanin V. International Journal "Information Technologies & Knowledge". 2015. Vol. 9. No. 4. P. 389-397.
Добавлено: 16 марта 2016
Статья
Armeev G., Panchenko A., Feofanov A. et al. Biophysical Journal. 2020. Vol. 118. No. 3S1.
Добавлено: 14 сентября 2021
Статья
Guimarães R. R., Passos L. A., Filho R. H. et al. IEEE Network. 2019. Vol. 33. No. 2. P. 126-131.
Добавлено: 19 декабря 2018
Статья
Wang L., Ni H., Yang R. et al. Engineering Applications of Artificial Intelligence. 2015. Vol. 46. No. A. P. 1-9.

Virtual Reference Feedback Tuning (VRFT) is a data-driven one-shot control method which is very attractive for engineering applications. However, it cannot design controllers with the optimal control performance based on the standard VRFT approach as performance indices are not explicitly represented in its objective function. To deal with this problem, this paper presents a novel intelligent VRFT (IVRFT) based on adaptive binary ant system harmony search (ABASHS) where the reference model of VRFT, which potentially determines the control performance, is coordinately optimized with the controller by ABASHS to achieve the best control performance. Finally, the proposed ABASHS-based intelligent virtual reference feedback tuning (ABASHS-IVRFT) method is applied to the temperature control of the heat treatment electric furnace. The simulation results demonstrate that ABASHS-IVRFT is valid and can implement the optimal non-overshoot control easily and efficiently. Considering the characteristics such as ease of implementation and no need of the model information of controlled objects, ABASHS-IVRFT is a promising approach for engineering applications.

Добавлено: 28 сентября 2015