• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 3 142 публикации
Сортировка:
по названию
по году
Статья
Struminsky K., Vetrov D. Lecture Notes in Computer Science. 2019. Vol. 11832. P. 81-93.
Добавлено: 23 апреля 2020
Статья
Borrero J., Gillen C., Prokopyev O. Operations Research Letters. 2016. Vol. 44. No. 4. P. 479-486.

We consider reformulations of fractional (hyperbolic) 0-1 programming problems as equivalent mixed-integer linear programs (MILP). The key idea of the proposed technique is to exploit binary representations of certain linear combinations of the 0-1 decision variables. Consequently, under some mild conditions, the number of product terms that need to be linearized can be greatly decreased. We perform numerical experiments comparing the proposed approach against the previous MILP reformulations used in the literature. 

Добавлено: 17 сентября 2016
Статья
Gorbunov A. A., Isaev E. A., Morgunov A. F. Business Informatics. 2017. No. 2 (40). P. 57-67.

В вузах и втузах с профильными ИТ-специальностями в одном семестре могут обучаться работе с программными продуктами сразу несколько потоков, курсов, специальностей. Поэтому перед ИТслужбами учебных заведений возникает задача создания инфраструктуры учебных приложений, которая сможет обеспечить поддержку учебного процесса. Следует учитывать, что число специальностей, на которых изучаются информационные технологии, с каждым годом растет (например, в НИУ ВШЭ преподаются дисциплины-майноры, куда может записаться студент с любой специальности). Также в последнее время популярностью стали пользоваться дистанционные курсы. Если не планировать нагрузку, то с учетом будущих трендов, мощности даже самой высокотехнологичной инфраструктуры будут недостаточны. Расчет соответствующей нагрузки на инфраструктуру необходимо производить в процессе планирования учебных дисциплин, что позволит выполнять резервирование соответствующих мощностей и тем самым организовать эффективный учебный процесс.

Разработчики программного обеспечения используют различные бенчмаркинговые инструменты, которые сложны и не предоставляют необходимой информации для участников планирования учебного процесса. 

В статье рассматривается построение имитационной модели поддержки планирования учебного процесса. Моделирование осуществляется с использованием возможностей инструмента AnyLogic 7. Целью данной работы является разработка имитационной модели, предназначенной для оценки нагрузки на информационные системы, используемые в ходе учебного процесса. Помимо описания модели, в статье приведены результаты расчетов с ее использованием для различных вариантов размещения информационной системы (в частном облаке или на сервере в университете). Результаты моделирования подтверждены данными, полученными в ходе проведения практических занятий в вузе. Данная модель дает возможность планировать учебный процесс с целью добиться равномерности нагрузки на сервисы. В случае необходимости модель позволяет принять решение о месте размещения учебной информационной системы: на серверах университета или в частном облаке

Добавлено: 13 июля 2017
Статья
A V Vishnekov, E M Ivanova, N A Stepanov et al. Journal of Physics: Conference Series. 2021. Vol. 1740. No. 012053. P. 1-5.

The article discusses the features of modern processor’s microarchitecture, the method of instruction’s and micro-operation’s accelerated execution. The research focuses on the organization of the decoding stage in the CPU core pipeline and Macro- and Micro-fusion algorithms. The Macro- and Micro-fusion mechanisms are defined. A computer simulator has been developed to explore these mechanisms. The developed software has a user-friendly interface, is easy to use, and combines training and research options. The computer simulator demonstrates the sequence of mechanism’s implementation; the resulting macro- or microoperations set after Macro- and Micro-fusion, and also reflects each algorithm features for different processor’s families. The software allows you to use either a pre-prepared file with Assembler (x86) code fragments as source data, or enter/change the source code fragments at your request. The main combinations of machine instructions that can be fused into a single macro-operation are considered, as well as instructions that can be decoded into fused microoperations. The simulator can be useful both for in Computer Science & Engineering students, especially for on-line education and for researchers and General-purpose CPU cores developers.

Добавлено: 26 января 2021
Статья
Nurk S., Bankevich A., Antipov D. et al. Journal of Computational Biology. 2013. Vol. 20. No. 10. P. 714-737.
Добавлено: 21 марта 2014
Статья
Galinina O., Pyattaev A., Johnsson K. et al. IEEE Journal on Selected Areas in Communications. 2016. Vol. 34. No. 4. P. 923-937.
Добавлено: 14 марта 2018
Статья
Maron A.I. Business Informatics. 2016. No. 4. P. 47-51.
Добавлено: 12 февраля 2017
Статья
Laskin M., Rusakov O. AIP Conference Proceedings. 2017. Vol. 1836.
Добавлено: 5 февраля 2019
Статья
Egorova E., Chepovskiy A., Lavrentiev A. Journal of Mathematical Sciences. 2016. Vol. 214. No. 6. P. 802-813.
Добавлено: 9 марта 2018
Статья
Leokhin, Y., Panfilov, P. Procedia Engineering. 2015. Vol. 100. P. 1696-1705.

Exponential growth in data production and a prominent trend in data center design architecture – a shift from expensive hardware towards a multitude of simple servers – pose new tasks and demand the use of different strategies for data center architects. In this work, a new solutions to distributed systems design are discussed, which are based on Plan9 operating system model. We first overview application and research projects including project of porting Plan9 to the IBM Blue Gene/L supercomputer, project of the Plan9 use in data centers and cloud systems, and projects aimed at distributed embedded systems. Then we introduce a Cloud/IX operating system for the ARM-based server platforms that also follows the Plan9 model and is implemented on top of one of Plan 9 derivatives called 9front - a free software distributed operating system. We also present the experimental testbed setup and results of experimental study of the Cloud/IX on multi-computer server farm in actual data center environment.

Добавлено: 6 марта 2015
Статья
Malyshev D. Journal of Applied and Industrial Mathematics. 2013. Vol. 7. No. 2. P. 221-228.
Добавлено: 23 июня 2013
Статья
Wang X., Pardalos P. M. Annals of Data Science. 2014. Vol. 1. No. 3-4. P. 293-309.

Support Vector Machines (SVM) is one of the well known supervised classes of learning algorithms. SVM have wide applications to many fields in recent years and also many algorithmic and modeling variations. Basic SVM models are dealing with the situation where the exact values of the data points are known. This paper presents a survey of SVM when the data points are uncertain. When a direct model cannot guarantee a generally good performance on the uncertainty set, robust optimization is introduced to deal with the worst case scenario and still guarantee an optimal performance. The data uncertainty could be an additive noise which is bounded by norm, where some efficient linear programming models are presented under certain conditions; or could be intervals with support and extremum values; or a more general case of polyhedral uncertainties with formulations presented. Another field of the uncertainty analysis is chance constrained SVM which is used to ensure the small probability of misclassification for the uncertain data. The multivariate Chebyshev inequality and Bernstein bounding schemes have been used to transform the chance constraints through robust optimization. The Chebyshev based model employs moment information of the uncertain training points. The Bernstein bounds can be less conservative than the Chebyshev bounds since it employs both support and moment information, but it also makes a strong assumption that all the elements in the data set are independent.

Добавлено: 10 февраля 2015
Статья
Rybin P., Zyablov V. Problems of Information Transmission. 2015. Vol. 51. No. 3. P. 205-216.
Добавлено: 11 декабря 2017
Статья
Mikhailovich A.V., Kochergin V.V. Siberian Electronic Mathematical Reports. 2017. Vol. 14. P. 1100-1107.
Добавлено: 28 сентября 2017
Статья
Maslov V., Шафаревич А. И. Mathematical notes. 2012. Vol. 91. No. 2. P. 207-216.

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

Добавлено: 17 января 2013
Статья
Maslov V. P. Russian Journal of Mathematical Physics. 2012. Vol. 19. No. 2. P. 163-170.

Подход, указанный еще Пуанкаре в одной из его философских работ о физике, использован для установления связи между теорией вероятностей с одной стороны и арифметикой и термодинамикой с другой стороны. Получено некоторое обобщение теории вероятностей.

Добавлено: 17 января 2013
Статья
Panov A. I., Shvets A. V., Volkova G. D. Scientific and Technical Information Processing. 2015. Vol. 42. No. 6. P. 420-425.
Добавлено: 26 января 2016
Статья
Tsareva O., Dubinin E., Malova H. V. et al. Annals of Geophysics. 2020. Vol. 63. No. 2. P. 1-12.
Добавлено: 27 августа 2020
Статья
Goldengorin B., Malyshev D., Pardalos P. M. et al. Journal of Combinatorial Optimization. 2015. Vol. 29. No. 2. P. 433-450.

The notion of a tolerance is a helpful tool for designing approximation and exact algorithms for solving combinatorial optimization problems. In this paper we suggest a tolerance-based polynomial heuristic algorithm for the weighted independent set problem. Several computational experiments show that our heuristics works very well on graphs of a small density

Добавлено: 3 октября 2013
Статья
Babash A. V. Automatic Control and Computer Sciences. 2016. Vol. 50. No. 8. P. 749-758.
Добавлено: 26 февраля 2017
Статья
Li Y., Sawada T., Latecki L. J. et al. Journal of Mathematical Psychology. 2012. Vol. 56. No. 4. P. 217-231.
Добавлено: 23 сентября 2014