• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 3 129 публикаций
Сортировка:
по названию
по году
Статья
Evsyutin O., Kokurina A., Мещеряков Р. В. Journal of Decision Systems. 2018. Vol. 27. No. sup1. P. 256-264.
Добавлено: 3 сентября 2019
Статья
Mirkin B. Lecture Notes in Computer Science. 2011. Vol. 6743. P. 248-256.
Добавлено: 1 февраля 2012
Статья
Malkov Y., Ponomarenko Alexander, Krylov V. et al. Information Systems . 2014. Vol. 45. No. DOI 10.1016/j.is.2013.10.006. P. 61-68.
Добавлено: 24 января 2014
Статья
Yuri Evtushenko, Mikhail Posypkin, Turkin A. et al. Journal of Global Optimization. 2018. Vol. 71. No. 1. P. 129-145.
Добавлено: 31 октября 2018
Статья
Cinar D., Oliveira J. A., Topcu Y. I. et al. Journal of Industrial and Management Optimization. 2016. Vol. 12. No. 4. P. 1391-1415.

In this study, a genetic algorithm (GA) with priority-based representation is proposed for a flexible job shop scheduling problem (FJSP) which is one of the hardest operations research problems. Investigating the effect of the proposed representation schema on FJSP is the main contribution to the literature. The priority of each operation is represented by a gene on the chromosome which is used by a constructive algorithm performed for decoding. All active schedules, which constitute a subset of feasible schedules including the optimal, can be generated by the constructive algorithm. To obtain improved solutions, iterated local search (ILS) is applied to the chromosomes at the end of each reproduction process. The most widely used FJSP data sets generated in the literature are used for benchmarking and evaluating the performance of the proposed GA methodology. The computational results show that the proposed GA performed at the same level or better with respect to the makespan for some data sets when compared to the results from the literature.

Добавлено: 16 января 2016
Статья
Zhuk D. Journal of the ACM. 2020. Vol. 67. No. 5. P. 1-78.
Добавлено: 30 августа 2020
Статья
Boros E., Elbassioni K. M., Gurvich V. et al. Information and Computation. 2019. Vol. 267. P. 74-95.
Добавлено: 9 декабря 2019
Статья
Rodomanov A., Kropotov D. SIAM Journal on Optimization. 2020. Vol. 30. No. 3. P. 1878-1904.
Добавлено: 29 июля 2020
Статья
Khorov E., Krasilov A., Kak A. et al. Computer Networks. 2018. Vol. 147. P. 262-279.
Добавлено: 25 ноября 2020
Статья
Haken H., Knyazeva H. Journal for General Philosophy of Science. 2000. Vol. 31. No. 1. P. 57-73.
Добавлено: 22 января 2014
Статья
Serova E. The Wissenschaftszeitschrift Journal. 2015. Vol. 1. No. 1. P. 27-42.

The theory of the information society considers the information and media as the primary source of social development. At present the use of the latest achievements in the field of Information Communication Technologies (ICT) in economy and management, including the contemporary methods and tools of computer modelling is one of the key factors in improving organizational performance and increasing its competitiveness. This paper focuses on the various modelling methods and techniques that are employed in the design of management information systems (MIS) architecture. Its goal is to evaluate the role of modelling for spatiotemporal analysis of marketing information system in the context of spatial economics paradigm development. Interdisciplinarity of spatial marketing researches consists not only in expanding the subject of research (joint study of the spaces of different types), but in the synthesis of notions, concepts and methodologies of the social, humanitarian, sociological and engineering sciences, modelling and prediction of interaction and mutual influence of different kinds spaces, a generalization of the theoretical results and creating of the interdisciplinary databases.The paper also considers the main features of soft computing (neural network and fuzzy logic) and discusses its implementation for design of sustainable adaptive architecture of spatial information system. It does so from a research base that draws from theoretical underpinnings as well as international and domestic industry practices.

Добавлено: 30 декабря 2016
Статья
Kanovich M., Kirigin T. B., Nigam V. et al. Mathematical Structures in Computer Science. 2017. Vol. 27. No. 3. P. 332-375.

Activities such as clinical investigations (CIs) or financial processes are subject to regulations to ensure quality of results and avoid negative consequences. Regulations may be imposed by multiple governmental agencies as well as by institutional policies and protocols. Due to the complexity of both regulations and activities, there is great potential for violation due to human error, misunderstanding, or even intent. Executable formal models of regulations, protocols and activities can form the foundation for automated assistants to aid planning, monitoring and compliance checking. We propose a model based on multiset rewriting where time is discrete and is specified by timestamps attached to facts. Actions, as well as initial, goal and critical states may be constrained by means of relative time constraints. Moreover, actions may have non-deterministic effects, i.e. they may have different outcomes whenever applied. We present a formal semantics of our model based on focused proofs of linear logic with definitions. We also determine the computational complexity of various planning problems. Plan compliance problem, for example, is the problem of finding a plan that leads from an initial state to a desired goal state without reaching any undesired critical state. We consider all actions to be balanced, i.e. their pre- and post-conditions have the same number of facts. Under this assumption on actions, we show that the plan compliance problem is PSPACE-complete when all actions have only deterministic effects and is EXPTIME-complete when actions may have non-deterministic effects. Finally, we show that the restrictions on the form of actions and time constraints taken in the specification of our model are necessary for decidability of the planning problems.

Добавлено: 14 сентября 2017
Статья
Volkova Liliya, Kotov A., Klyshinsky Edward et al. Communications in Computer and Information Science. 2017. No. 754. P. 256-266.
Добавлено: 6 октября 2017
Статья
Semenov D., Koldanov A. P., Koldanov P. et al. IMA Journal Management Mathematics. 2021. P. 1-15.

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

Добавлено: 7 декабря 2020
Статья
Pavlov V., Novikov B. Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 1. P. 137-160.

After huge amount of big scientific data, which needed to be stored and processed, has emerged, the problem of large multidimensional arrays support gained close attention in the database world. Devising special database engines with support of array data model became an issue. Development of a well-organized database management system which stands on completely uncommon data model required performing the following tasks: formally defining a data model, building a formal algebra operating on objects from the data model, devising optimization rules on logical level and then on the physical one. Those tasks has already been completed by creators of different array databases. In this paper array formalization, core algebra and optimization techniques are revised using examples of AML, RasDaMan, SciDB – developed array database management systems with different algebras and optimization approaches.

Добавлено: 15 марта 2019
Статья
Rodriges Zalipynis R. A. PROCEEDINGS OF THE VLDB ENDOWMENT. 2021. Vol. 14. No. 12. P. 3186-3189.
Добавлено: 4 июня 2021
Статья
Yasnitsky L. Current Hypertension Reviews. 2020. Vol. 16. No. 3. P. 210-215.
Добавлено: 28 ноября 2020
Статья
Zelenkov Y. International Journal of Web Engineering and Technology. 2019. Vol. 14. No. 1. P. 56-79.
Добавлено: 30 июня 2019
Статья
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