• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 3 129 публикаций
Сортировка:
по названию
по году
Статья
W. M. P. van der Aalst. Software and Systems Modeling. 2014. P. 1-7.

Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a solid foundation for Business Process Management (BPM) research. The BPM discipline develops methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Mainstream business process modeling notations and workflow management systems are using token-based semantics borrowed from Petri nets. Moreover, state-of-the-art BPM analysis techniques are using Petri nets as an internal representation. Users of BPM methods and tools are often not aware of this. This paper aims to unveil the seminal role of Petri nets in BPM.

Добавлено: 17 октября 2014
Статья
Баканов В. М. Автоматизация и современные технологии. 2010. № 4. С. 31-34.

Обсуждается  технология и соответствующее программное обеспечение для авто-матизации разработки параллельных программ в технологиях MPI и DVM с использо-ванием интерактивной среды языка сверхвысокого уровня НОРМА. Рассматриваемая  технология исключает ручной ввод исходного текста и обеспечивает полную синтак-сическую корректность исходных текстов.

Добавлено: 29 апреля 2013
Статья
Kondratyuk N., Pisarev V. Fluid Phase Equilibria. 2019. Vol. 498. P. 151-159.
Добавлено: 21 октября 2019
Статья
Ignatov D. I., Kuznetsov S., Zhukov L. E. et al. International Journal of General Systems. 2013. Vol. 42. No. 6. P. 572-593.

Two novel approaches to triclustering of three-way binary data are proposed. Tricluster is defined as a dense subset of a ternary relation Y defined on sets of objects, attributes, and conditions, or, equivalently, as a dense submatrix of the adjacency matrix of the ternary relation Y. This definition is a scalable relaxation of the notion of triconcept in Triadic Concept Analysis, whereas each triconcept of the initial data-set is contained in a certain tricluster. This approach generalizes the one previously introduced for concept-based biclustering. We also propose a hierarchical spectral triclustering algorithm for mining dense submatrices of the adjacency matrix of the initial ternary relation Y. Finally, we describe some applications of the proposed techniques, compare proposed approaches and study their performance in a series of experiments with real data-sets.

Добавлено: 16 октября 2013
Статья
N. Nikitina, A. Mitsyuk. Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 3. P. 219-236.

Модели процессов и графы широко используются для моделирования и визуализации процессов в информационных системах. Модели используются для представления связей между объектами или событиями в рамках процесса. Следовательно, необходимы программы для создания и редактирования моделей.  Данная работа описывает редактор моделей, который позволяет работать с классическими графами, сетями Петри, конечными автоматами и системами взаимодействующих конечных автоматов. Кроме этого программа позволяет выполнять симуляцию сетей Петри, импорт и экспорт моделей в различных форматах хранения. Модульная архитектура Carassius позволяет расширять его различными способами, например, добавляя новые формализмы и нотации. Предложены два алгоритма размещения сетей Петри и графов на плоскости, реализованные в Carassius.  Представленное программное обеспечение предназначено для использования в образовательных и исследовательских целях. Поэтому, при проектировании и разработке особое внимание уделялось простоте использования и расширяемости. 

Добавлено: 18 августа 2015
Статья
Zhuk D. Journal of Mathematical Sciences. 2010. Vol. 169. No. 4. P. 430-434.
Добавлено: 12 июня 2020
Статья
Babenko M. A., Kolesnichenko I., Smirnov I. Theory of Computing Systems. 2019. Vol. 63. No. 4. P. 637-646.

Heaps are well-studied fundamental data structures, having myriads of applications, both theoretical and practical. We consider the problem of designing a heap with an “optimal” extract-min operation. Assuming an arbitrary linear ordering of keys, a heap with n elements typically takes O(log n) time to extract the minimum. Extracting all elements faster is impossible as this would violate the Ω (nlog n) bound for comparison-based sorting. It is known, however, that is takes only O(n+ klog k) time to sort just k smallest elements out of n given, which prompts that there might be a faster heap, whose extract-min performance depends on the number of elements extracted so far. In this paper we show that this is indeed the case. We present a version of heap that performs insert in O(1) time and takes only O(log ∗ n+ log k) time to carry out the k-th extraction (where log ∗ denotes the iterated logarithm). All the above bounds are worst-case. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

Добавлено: 6 декабря 2019
Статья
Panov A. I., Chudova N. V. Scientific and Technical Information Processing. 2017. Vol. 44. No. 6. P. 424-429.
Добавлено: 3 сентября 2018
Статья
Vladimir A. Bashkin, Lomazova I. A. Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 243-257.

 

Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.

В этой работе вводится новый формализм клеточных RD-автоматов. Клеточные RD-автоматы – это RDA-сети с бесконечной системной сетью, имеющей некоторую регулярную структуру. Мы строим иерархию классов клеточные RD-автоматов на основе тех или иных ограничений на несущую решетку. В работе изучается выразительность нескольких основных классов одноразмерной решетки.

Добавлено: 28 ноября 2012
Статья
Mishra R. K., Kunhi Mohamed A., Geissbühler D. et al. Cement and Concrete Research. 2017. Vol. 102. P. 68-89.

This paper reviews atomistic force field parameterizations for molecular simulations of cementitious minerals, such as tricalcium silicate (C3S), portlandite (CH), tobermorites (model C-S-H). Computational techniques applied to these materials include classical molecular simulations, density functional theory and energy minimization. Such simulations hold promise to capture the nanoscale mechanisms operating in cementitious materials and guide in performance optimization. Many force fields have been developed, such as Born–Mayer–Huggins, InterfaceFF (IFF), ClayFF, CSH-FF, CementFF, GULP, ReaxFF, and UFF. The benefits and limitations of these approaches are discussed and a database is introduced, accessible via a web-link (http://cemff.epfl.ch). The database provides information on the different force fields, energy expressions, and model validations using systematic comparisons of computed data with benchmarks from experiment and from ab-initio calculations. The cemff database aims at helping researchers to evaluate and choose suitable potentials for specific systems. New force fields can be added to the database.

Добавлено: 11 ноября 2017
Статья
Ometov A., Petrov V., Bezzateev S. et al. IEEE Network. 2019. Vol. 33. No. 2. P. 82-88.
Добавлено: 31 октября 2019
Статья
Dronin N., Tel'nova N.O., Kalutskova N. Geography and Natural Resources. 2015. Vol. 36. No. 3. P. 300-304.
Добавлено: 20 июня 2020
Статья
Kazakov A., Korotkov A. G., Levanova T. A. et al. IFAC-PapersOnLine. 2018.
Добавлено: 26 октября 2018
Статья
Gromov V., Shulga A. N. Expert Systems with Applications. 2012. Vol. 39. No. 9. P. 8474-8478.
Добавлено: 27 сентября 2018
Статья
Semkin V., Solomitckii D., Naderpour R. et al. IEEE Transactions on Vehicular Technology. 2017. Vol. 66. No. 6. P. 4647-4656.
Добавлено: 13 марта 2018
Статья
Gurvich V., Vyalyi M. Discrete Applied Mathematics. 2012. Vol. 160. P. 1742-1756.
Добавлено: 18 октября 2014
Статья
V.V. Kochergin, A.V. Mikhailovich. Computational Mathematics and Modeling. 2019. Vol. 30. No. 1. P. 13-25.
Добавлено: 22 апреля 2019
Статья
Хэдин Э., Сатанин А. М., Джо Й. С. Journal of Computational Electronics. 2019. Vol. 18. No. 1. P. 648-659.
Добавлено: 21 февраля 2019
Статья
Parinov S., Antonova V. K. International Journal of Metadata, Semantics and Ontologies. 2020. Vol. 14. No. 2. P. 149-157.
Добавлено: 30 апреля 2020
Статья
Malyshev D. Journal of Applied and Industrial Mathematics. 2014. Vol. 8. No. 2. P. 245-255.
Добавлено: 8 мая 2014
Статья
Malyshev D. Journal of Applied and Industrial Mathematics. 2013. Vol. 7. No. 4. P. 537-548.
Добавлено: 21 января 2014