• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 3 129 публикаций
Сортировка:
по названию
по году
Статья
Podinovski V.V., Podinovskaya O. V. Automatic Documentation and Mathematical Linguistics. 2014. Vol. 48. P. 1-6.

A new hierarchical model of decision making under multiple criteria that form a multilevel system is proposed. With this model, one can use approaches and methods of the criteria importance theory to collect information about the importance of criteria and use it to analyze practical multicriterial decision making problems in a correct way.

Добавлено: 29 апреля 2014
Статья
Ayzatullova Renata, Lyadova Lyudmila, Shalyaeva Irina. International Journal "Information Models and Analyses". 2015. Vol. 4. No. 2. P. 122-141.
Добавлено: 23 января 2016
Статья
Belenky A., Fedin G., Kornhauser A. L. International Journal of Public Administration. 2020.

Regional authorities consider the expediency of developing a new cargo transportation hub in the region in which it would provide transshipment services. It is considered that each transportation operator working in the region will use these services only if they are competitive with the currently existing ones. This competitiveness for a particular cargo means that the total transportation tariff for moving this cargo does not exceed (substantially or in principle) the (minimal) currently existing one as a result of including a transshipment via the hub in the transportation scheme for the cargo. A verifiable sufficient condition for the transshipment service competitiveness is proposed. Its verification consists of establishing the solvability of a system of linear inequalities being part of the system of constraints in the problem of finding optimal competitive transshipment tariffs for a set of cargoes expected to be moved via the hub. The latter problem is formulated as a quadratic programming one.

Добавлено: 21 декабря 2020
Статья
Nesterov Roman, Lyadova Lyudmila. International Journal "Information Models and Analyses". 2015. Vol. 4. No. 3. P. 222-242.
Добавлено: 23 января 2016
Статья
Vetrov D., Voronin P. Pattern Recognition and Image Analysis. 2013. Vol. 23. No. 2. P. 335-339.
Добавлено: 12 июля 2014
Статья
Tatarnikov A., Kamkin A., Проценко А. С. Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 3. P. 125-138.

Подсистема памяти является одним из ключевых компонентов микропроцессора. Она включает в себя набор запоминающих устройств различного назначения, объединенных в сложную иерархическую структуру. При этом количество возможных состояний подсистемы крайне велико. По этой причине верификация ее функциональной корректности представляет собой нетривиальную задачу. В настоящее время наиболее часто применяемым на практике подходом к функциональной верификации микропроцессоров является генерация и симуляция тестовых программ. Для достижения должного уровня тестового покрытия применяемые методы генерации тестовых программ должны обеспечивать высокий уровень автоматизации и систематичность тестирования. В данной работе предложен метод генерации тестовых программ для функциональной верификации блока управления памятью микропроцессора. В основе метода лежат формальные спецификации инструкций доступа к памяти, а именно инструкций чтения и записи, и устройств памяти, таких как блоки кэш-памяти и буферы трансляции адресов. Использование формальных спецификаций помогает автоматизировать разработку генераторов тестовых программ и обеспечивает систематичность верификации благодаря четкому определению целей тестирования. В предложенном подходе тестовые программы составляются при помощи комбинаторных методов. Т.е. тестовые воздействия (последовательности инструкций чтения и записи) создаются путем перечисления всех возможных комбинаций инструкций, ситуаций (путей выполнения инструкций) и зависимостей (множеств конфликтов между инструкциями). Важно отметить, что тестовые ситуации и зависимости автоматически извлекаются из спецификаций. Данный подход применялся в нескольких промышленных проектах и позволил выявить критические ошибки в механизмах управления памятью.

Добавлено: 10 декабря 2017
Статья
Sergey S. Ketkov, Oleg A. P., Evgenii P. Burashnikov. Computers & Operations Research. 2021. Vol. 130.
Добавлено: 20 октября 2019
Статья
Pavel V. Malyzhenkov, Marina I. Ivanova. Business Informatics. 2017. No. 3 (41). P. 56-64.

Информационные технологии (ИТ) прошли путь развития от своей традиционной вспомогательной роли до стратегического ресурса, способного не только поддерживать, но и формировать бизнес-стратегии. Тем не менее, различные аналитические источники указывают на то, что лишь небольшое количество проектов завершается в срок и с выполнением бюджетных ограничений, достигая поставленных целей и запланированных результатов. Таким образом, основная проблема, которая уже свыше десяти лет является высшим приоритетом топ-менеджеров и широко обсуждается в теоретической литературе, заключается в создании и формализации механизма выравнивания ИТ и бизнеса. Однако, основной вклад в решение этой задачи носит концептуальный характер, и лишь небольшая часть исследований представлена практическими разработками. Кроме того, большая часть исследований направлена на решение этой проблемы с использованием методов анкетирования, основанных на субъективных суждениях ИТ- и бизнес-менеджеров. С этой точки зрения, построение архитектуры предприятия, как методологический подход к проектированию взаимно выровненных бизнес- и ИТ-архитектур, является подходящим инструментом для решения данной проблемы. Однако, большинство существующих подходов к проектированию архитектуры предприятия не учитывает различные перспективы выравнивания ИТ и бизнеса. Таким образом, целью данной работы является разработка практического руководства к выравниванию ИТ и бизнеса и стратегического руководства для разработки архитектуры предприятия посредством интеграции традиционной модели стратегического выравнивания и рамочной модели TOGAF.

Добавлено: 20 ноября 2017
Статья
Alexander S. Belenky, Bolkunov D. S. Energy Systems. 2016. Vol. 7. No. 4. P. 663-698.
Добавлено: 1 марта 2016
Статья
Boros E., Elbassioni K., Gurvich V. et al. International Journal of Game Theory. 2017. Vol. 46. No. 1. P. 263-293.

We consider Gillette’s two-person zero-sum stochastic games with perfect information. For each k∈N={0,1,…}k∈N={0,1,…} we introduce an effective reward function, called k-total. For k=0k=0 and 1 this function is known as mean payoff and total reward, respectively. We restrict our attention to the deterministic case. For all k, we prove the existence of a saddle point which can be realized by uniformly optimal pure stationary strategies. We also demonstrate that k-total reward games can be embedded into (k+1)(k+1)-total reward games.

Добавлено: 4 июня 2016
Статья
Ustyuzhanin A., Likhomanenko T., Derkach D. et al. Journal of Instrumentation. 2016. Vol. 11.

A new algorithm for the determination of the initial flavour of B0 s mesons is presented. The algorithm is based on two neural networks and exploits the b hadron production mechanism at a hadron collider. The first network is trained to select charged kaons produced in association with the B0 s meson. The second network combines the kaon charges to assign the B0 s flavour and estimates the probability of a wrong assignment. The algorithm is calibrated using data corresponding to an integrated luminosity of 3 fb−1 collected by the LHCb experiment in proton-proton collisions at 7 and 8 TeV centre-of-mass energies. The calibration is performed in two ways: by resolving the B0 s -B0 s flavour oscillations in B0 s → D− s π + decays, and by analysing flavour-specific B∗ s2 (5840)0→ B+K− decays. The tagging power measured in B0 s → D− s π + decays is found to be (1.80 ± 0.19 (stat) ± 0.18 (syst))%, which is an improvement of about 50% compared to a similar algorithm previously used in the LHCb experiment.

Добавлено: 23 октября 2016
Статья
Belov A., Andrianova O. IFAC-PapersOnLine. 2015. Vol. 48. No. 11. P. 372-377.
Добавлено: 20 октября 2017
Статья
Salibekyan, S., Panfilov, P. Procedia Engineering. 2015. Vol. 100C. P. 977-986.

Historically, a typical embedded system has been designed as a control-dominated system using only a state-oriented model, such as FSMs. However, the trend in embedded systems design in recent years has been towards highly distributed architectures with support for concurrency, data and control flow, and scalable distributed computations. This implies that a different approach is necessary. We propose to use some dataflow computational model views to specify embedded systems, because it is a notation that covers the most relevant aspects of distributed computing. In this paper, we introduce a new computational model, known as OAA (Object-Attribute Architecture) and present the general characteristics of an OA-methodology to support the design and simulation of distributed computing systems. The matrix multiplication algorithm in the object-attribute distributed computing environment has been used to validate our methodology. The preliminary evaluation results show the feasibility of the OA approach.

Добавлено: 28 декабря 2014
Статья
Desova A. A., Guchuk V. V., Dorofeyuk A. A. International Journal of Biomedical Engineering and Technology. 2014. Vol. 14. No. 2. P. 148-158.

A new approach to investigate a radial artery pulse signal rhythmic structure is considered based on a simultaneous analysis of a set of oscillatory components determined by parameters of various elements of unit oscillations. Based on a comparative analysis of the spectral density types defined by different parameters of a pulse signal, an essential distinction between them has been revealed. An opportunity of increasing the number of informative features by means of simultaneous analysis of pulse signal rhythmic structure oscillatory component set is shown. The study has been carried out using experimental material obtained during children’s clinical examinations focused on detecting the initial stage arterial hypertension in infancy and adolescence. The informativeness of the pulse signal rhythmic structure parameters was estimated as applied to this task, showing that maximum informativeness is inherent to indicators defined by oscillatory components of the pulse signal dicrotic wave temporal parameter.   

Добавлено: 17 марта 2014
Статья
Ivanov F., Krouk E., Kabatiansky G. A. et al. Lecture Notes in Computer Science. 2020. Vol. 12087. P. 41-49.
Добавлено: 17 сентября 2020
Статья
Brinkhuis J., Protasov V. Operations Research Letters. 2016. Vol. 44. No. 3. P. 400-402.

We present an elementary self-contained proof for the Lagrange multiplier rule. It does not refer to any preliminary material and it is only based on the observation that a certain limit is positive. At the end of this note, the power of the Lagrange multiplier rule is analyzed.

 
Добавлено: 4 июня 2016
Статья
Sukhoroslov O. V., Nazarenko A., Aleksandrov R. The Journal of Supercomputing. 2019. Vol. 75. No. 12. P. 7857-7871.
Добавлено: 27 августа 2018
Статья
Nazarenko A., Sukhoroslov O. V. Lecture Notes in Computer Science. 2017. Vol. 10421. P. 327-341.
Добавлено: 30 августа 2018
Статья
Stegailov V., Dlinnova E., Ismagilov T. et al. International Journal of High Performance Computing Applications. 2019. Vol. 33. No. 3. P. 507-521.
Добавлено: 11 ноября 2018
Статья
Kourie D. G., Obiedkov S., Watson B. W. et al. Science of Computer Programming. 2009. Vol. 74. No. 3. P. 128-142.
Добавлено: 25 января 2013
Статья
Zakharov V., Коннов И. В. Journal of symbolic computation. 2010. Vol. 45. No. 11. P. 1144-1162.
Добавлено: 12 октября 2015