Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук



«Информатика и ее применения» (Том 12, Выпуск 1, 2018)

Оглавление | Аннотации | Об авторах

Библиография

ОНТОЛОГИЯ ЦИФРОВОЙ СЕМАНТИЧЕСКОЙ БИБЛИОТЕКИ LibMeta

  • О. М. Атаева  Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра "Информатика и управление" Российской академии наук, oli@ultimeta.ru
  • В. А. Серебряков  Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра "Информатика и управление" Российской академии наук, serebr@ultimeta.ru

Литература

  1. Серебряков В. А., Атаева О. М. Персональная цифровая библиотека LibMeta как среда интеграции связанных открытых данных // Электронные библиотеки: пер-спективные методы и технологии, электронные кол-лекции: Тр. XVI Всеросс. науч. конф. RCDL'2014. - Дубна: ОИЯИ, 2014. С. 66-71.
  2. Серебряков В. А., Атаева О. М. Основные понятия формальной модели семантических библиотек и формализация процессов интеграции в ней // Программные продукты и системы, 2015. № 4. С. 180-187.
  3. Серебряков В. А., Атаева О. М. Информационная мо-дель открытой персональной семантической библиотеки LibMeta // Научный сервис в сети Интернет: Тр. XVIII Всеросс. науч. конф. - М.: ИПМ им. М. В. Келдыша, 2016. С. 304-313.
  4. Нгуен М.Х., Аджиев А. С. Описание и использование тезаурусов в информационных системах, подходы и реализация // Электронные библиотеки, 2004. Т. 7. №1.С. 16-45.
  5. Gruber T. R. A translation approach to portable ontologies // Knowl. Acquis., 1993. Vol. 5. No. 2. P. 199-220.
  6. Bizer C., Heath T., Berners-Lee T. Linked data - the story so far // Int. J. Semantic Web Inf., 2009. Vol. 5. No. 3. P. 1-22.
  7. Моисеев Е. И., Муромский А. А., Тучкова Н. П. Тезаурус информационно-поисковый по предметной области "обыкновенные дифференциальные уравнения". - М.: МАКС Пресс, 2005. 116 с.
  8. Математическая энциклопедия: В 5 т. / Гл. ред. И. М. Виноградов. - М.: Советская энциклопедия, 1977.

ДИАГРАММЫ УЯЗВИМОСТИ ПОТОКОВЫХ СЕТЕВЫХ СИСТЕМ

  • Ю. Е. Малашенко  Вычислительный центр им. А.А. Дородницына Федерального исследовательского центра «Информатика и управление» Российскойакадемиинаук,malash09@ccas.ru
  • И. А. Назарова  Вычислительный центр им. А.А. Дородницына Федерального исследовательского центра «Информатика и управление» Российскойакадемиинаук,irina-nazar@yandex.ru
  • Н. М. Новикова   Вычислительный центр им. А.А. Дородницына Федерального исследовательского центра «Информатика и управление» Российскойакадемиинаук,n_novikova@umail.ru

Литература

  1. Murray A. T. An overview of network vulnerability modeling approaches // GeoJ., 2013. Vol. 78. P. 209-221.
  2. Назарова И. А. Лексикографическая задача анализа уязвимости многопродуктовой сети // Изв. РАН. ТиСУ, 2003. № 5. С. 123-134.
  3. Назарова И. А. Модели и методы решения задачи анализа уязвимости сетей // Изв. РАН. ТиСУ, 2006. № 4. С. 61-72.
  4. Козлов М. В., Малашенко Ю. Е., Назарова И. А., Новикова Н. М. Управление топливно-энергетической системой при крупномасштабных повреждениях. I. Сетевая модель и программная реализация // Изв. РАН. ТиСУ 2017. №6. С. 50-73.
  5. Малашенко Ю. Е., Назарова И. А., Новикова Н. М. Метод анализа функциональной уязвимости потоковых сетевых систем // Информатика и её применения, 2017. Т 11. Вып. 4. С. 47-54.
  6. Форд Л., Фалкерсон Д. Потоки в сетях / Пер. с англ. - М.: Мир, 1966. 277 с. (Ford L.R., Fulkerson D.R. Flows in networks. - Princeton, NJ, USA: Princeton University Press, 1962. 332 p.)
  7. Малашенко Ю. Е., Новикова Н. М. Модели неопределенности в многопользовательских сетях. - М: Эди- ториалУРСС, 1999. 160 с.
  8. Йенсен П., Барнес Д. Потоковое программирование / Пер. с англ. - М.: Радио и связь, 1984. 392 с. (Jensen P. A., Barnes J. W. Network flow programming. - New York, NY, USA: Wiley, 1980. 408 p.)

АВТОМАТИЗИРОВАННАЯ СИСТЕМА ВЕСОВОГО ПРОЕКТИРОВАНИЯ САМОЛЕТОВ

  • Л. Л. Вышинский  Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра "Информатика и управление" Российской академии наук, Wysh@ccas.ru
  • Ю. А. Флеров  Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра "Информатика и управление" Российской академии наук, fler@ccas.ru
  • Н. И. Широков  Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра "Информатика и управление" Российской академии наук, Wysh@ccas.ru

Литература

  1. Шейнин В. М., Козловский В. И. Весовое проектирование и эффективность пассажирских самолетов. - М.: Машиностроение, 1977. Т. 1. 343 с.
  2. Скобелев С. И., Широков Н. И. Весовой анализ и контроль в САПР ЛА // Задачи и методы автоматизиро-ванного проектирования. - М.: ВЦ РАН, 1991. С. 92- 100.
  3. Широков Н.И. Автоматизированная система весовых расчетов в САПР ЛА // Автоматизация проектирования инженерных и финансовых информационных систем средствами Генератора проектов / Отв. ред. Ю. А. Флеров. - М.: ВЦ РАН, 2010. С. 55-66.
  4. Вышинский Л.Л., Широков Н.И. Система автоматизации расчетов массово-инерционных характеристик ЛА с переменной массой // Развитие и применение инструментального комплекса Генератор проектов / Отв. ред. Ю.А. Флеров. - М.: ВЦ РАН, 2014. С. 2031.
  5. Вышинский Л. Л., Гринев И. Л., Флеров Ю.А., Широков А. Н., Широков Н. И. Генератор проектов - инструментальный комплекс для разработки "клиент- серверных" систем // Информационные технологии и вычислительные системы, 2003. № 1-2. С. 6-25.

КОНТИНУАЛЬНЫЙ КРИТЕРИЙ VaR НА СЦЕНАРНЫХ РЫНКАХ

  • Г. А. Агасандян  Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра "Информатика и управление" Российской академии наук, agasand17@yandex.ru

Литература

  1. MarkowitzH. Portfolio selection//J. Financ., 1952. Vol. 7. Iss. 1. P. 77-91.
  2. Касимов Ю. Ф. Основы теории оптимального портфеля ценных бумаг. - М.: Филинъ, 1998. 140 с.
  3. Artzner P., Delbaen F., Eber J.-M., Heath D. Coherent measures of risk // Math. Financ., 1999. Vol. 9. Iss. 3. P. 203-228.
  4. Agasandian G.A. Optimal behavior of an investor in option market // Joint Conference (International) on Neural Networks. IEEE World Congress on Computational Intel-ligence. - Honolulu, Hawaii, 2002. P. 1859-1864.
  5. Агасандян Г. А. Применение континуального критерия VaR на финансовых рынках. - М.: ВЦ РАН, 2011. 299 с.
  6. Крамер Г. Математические методы статистики / Пер. с англ. - М.: Мир, 1975. 750 с. (CramerH. Mathematical methods of statistics. - Princeton, NJ, USA: Princeton University Press, 1946. 575 p.)

О ФОРМАЛЬНОЙ ПОСТАНОВКЕ ЗАДАЧ ПОИСКА СГУЩЕНИЙ В РАЗРЕЖЕННЫХ БУЛЕВЫХ МАТРИЦАХ

  • И. С. Алешин  Факультет вычислительной математики и кибернетики Московского госудаственного университета им. М.В.Ломоносова, iiyaaln@yandex.ru

Литература

  1. Журавлев Ю. И. Корректные алгебры над множествами некорректных (эвристических) алгоритмов. Часть I // Кибернетика, 1977. № 4. С. 5-17.
  2. Журавлев Ю. И. Корректные алгебры над множествами некорректных (эвристических) алгоритмов. Часть II // Кибернетика, 1977. № 6. С. 21-27.
  3. Журавлев Ю.И. Корректные алгебры над множе-ствами некорректных (эвристических) алгоритмов. Часть III // Кибернетика, 1978. № 2. С. 35-43.
  4. Mirkin B. Mathematical classification and clustering. - Kluwer Academic Publs., 1996. 439 p.
  5. Hartigan J. A. Direct clustering of a data matrix // J. Am. Stat. Assoc., 1972. Vol. 67. No. 337. P. 123-129.
  6. Cheng Y., Church G.M. Biclustering of expression data // Conference (International) on Intelligent Systems for Molecular Biology. - AAAI Press, 2000. P. 93-103.
  7. Tanay A., Sharan R., Shamir R. Discovering statistically significant biclusters in gene expression data // Bioinformatics, 2002. Vol. 18 (Suppl. 1). P. 136-144.
  8. Рудаков К. В. О некоторых универсальных ограничениях для алгоритмов классификации // ЖВМ МФ, 1986. Т. 26. № 11. С. 1719-1730.
  9. Рудаков К. В. Универсальные и локальные ограничения в проблеме коррекции эвристических алгоритмов // Кибернетика, 1987. № 2. C. 30-35.
  10. Рудаков К. В. О применении универсальных ограничений при исследовании алгоритмов классифика- ции//Кибернетика, 1988. № 1. C. 1-5.
  11. Рудаков К. В. Об алгебраической теории универсальных и локальных ограничений для задач классификации // Распознавание, классификация, прогноз. - М.: Наука, 1989. С. 176-201.
  12. Рудаков К. В., Чехович Ю. В. О проблеме синтеза обучаемых алгоритмов выделения трендов (алгебраический подход) // Прикладная математика и информатика, 2001. № 8. С. 97-113.

УЧЕТ ПРЕДВАРИТЕЛЬНЫХ ОЦЕНОК СКОРОСТИ ПОРОЖДЕНИЯ СХОДСТВ СПАРИВАЮЩЕЙ ЦЕПЬЮ МАРКОВА

  • Д. В. Виноградов  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, krrguest@yandex.ru

Литература

  1. Финн В. К. Об интеллектуальном анализе данных // Новости искусственного интеллекта, 2004. № 3. C. 3-18.
  2. Ganter B., Wille R. Formal concept analysis. - Berlin: Springer-Verlag, 1999. 284 p.
  3. Кузнецов С. О. Быстрый алгоритм построения всех пересечений объектов из нижней полурешетки // Научная и техническая информация. Сер. 2, 1993. № 1. C. 17-20.
  4. Скворцов Д. П. О некоторых способах построения логических языков с кванторами по кортежам // Семиотика и информатика, 1983. Вып. 20. C. 102-126.
  5. Виноградов Д. В. Формализация правдоподобных рассуждений в логике предикатов // Научная и техническая информация. Сер. 2, 2000. № 11. C. 17-20.
  6. Виноградов Д. В. Вероятность порождения случайного ДСМ-сходства при наличии контр-примеров //Научная и техническая информация. Сер. 2, 2015. №3. C. 1-5.
  7. Vinogradov D. V. VKF-method of hypotheses generation// Comm. Com. Inf. Sc., 2014. Vol. 436. P. 237-248.
  8. Davey B. A., Priestley H. A. Introduction to lattices and order. - 2nd ed. - Cambridge: Cambridge University Press, 2002. 298 p.
  9. Кузнецов С. О. Интерпретация на графах и сложностные характеристики задач поиска закономерностей определенного вида // Научная и техническая информация. Сер. 2, 1989. № 1. C. 23-28.
  10. Виноградов Д. В. Вероятностное порождение гипотез в ДСМ-методе с помощью простейших цепей Маркова // Научная и техническая информация. Сер. 2, 2012. №9. C. 20-27.
  11. Кемени Дж.,Снелл Дж.,Кнэпп А.Счетные цепи Маркова / Пер. с англ. — М.: Наука, 1987. 416 c. (Kemeny J.G., Snell J.L., Knapp A.W. Denumerable Markov chains. — Princeton, NJ, USA: Van Nostrand, 1966. 439p

МЕТОД ИНТЕРПОЛЯЦИОННОГО АНАЛИТИЧЕСКОГО МОДЕЛИРОВАНИЯ ОДНОМЕРНЫХ РАСПРЕДЕЛЕНИЙ В СТОХАСТИЧЕСКИХ СИСТЕМАХ

  • И. Н. Синицын  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, smitsm@dol.ru

Литература

  1. Пугачёв В. С., Синицын И.Н. Теория стохастических систем. - М.: Логос, 2000; 2004. 1000 с.
  2. Мальчиков С. В. Приближенный метод определения законов распределения фазовых координат нелинейных автоматических систем //Автоматика и телемеханика, 1970. №5. С. 43-50.
  3. Казаков И. Е., Мальчиков С. В. Анализ стохастических систем в пространстве состояний. - М.: Наука, 1983. 348 с.
  4. Котельников В. А. Теория потенциальной помехо-устойчивости. - М.: Госэнергоиздат, 1956. 412 с.
  5. Справочник по теории вероятностей и математической статистике / Под ред. В. С. Королюка, Н. И. Портенко, А. В. Скорохода, А. Ф. Турбина. - М.: Наука, 1985. 640 с.
  6. Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров) / Пер с англ. - М.: Наука, 1974. 832 с. (Korn G., Korn T. Mathematical handbook for scientists and engineers. - New York - San Francisco - Toronto - London - Sydney: McGrawHill Book Co., 1968. 1147 p.)
  7. Евланов Л. Г., Константинов В. М. Системы со случайными параметрами. - М.: Наука, 1976. 585 с.

О НЕКОТОРЫХ ВОЗМОЖНОСТЯХ УПРАВЛЕНИЯ РЕСУРСАМИ ПРИ ОРГАНИЗАЦИИ ПРОАКТИВНОГО ПРОТИВОДЕЙСТВИЯ КОМПЬЮТЕРНЫМ АТАКАМ

  • А. А. Грушо  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, grusho@yandex.ru
  • М. И. Забежайло  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, m.zabezhailo@yandex.ru
  • А. А. Зацаринный  Институт проблем информатики Федерального исследовательского центра "Информатика и управление " Российской академии наук, alex250451@mail.ru
  • Е. Е. Тимонина  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, eltimon@yandex.ru

Литература

  1. Grusho A., Levykin M., Timonina E., Piskovski V., Timonina A. Architecture of consecutive identification of attack to information resources // 7th Congress (International) on Ultra Modern Telecommunications and Control Systems Proceedings. - Piscataway, NJ, USA: IEEE, 2015. P. 265-268.
  2. Финн В. К. Синтез познавательных процедур и проблема индукции // Научно-техническая информация. Сер. 2, 2009. № 6. С. 1-37.
  3. Финн В. К. Об интеллектуальном анализе данных // Новости искусственного интеллекта, 2014. № 3. С. 3-18.
  4. Шрейдер Ю.А. Равенство, сходство, порядок. - М.: Наука, 1971.255 с.
  5. Гусакова С. М., Финн В. К. Сходства и правдоподоб-ный вывод // Известия АН СССР. Сер. Техническая кибернетика, 1987. № 5. С. 42-63.
  6. Финн В. К. Индуктивные методы Д. С. Милля в сис-темах искусственного интеллекта // Искусственный интеллект и принятие решений, 2010. Ч. I. № 3. С. 321; Ч. II. №4. С. 14-40.
  7. Забежайло М. И. О некоторых оценках сложности вычислений в ДСМ-рассуждениях // Искусственный интеллект и принятие решений, 2015. Ч. I. № 1. С. 317; Ч. II. №2. С. 3-17.
  8. Simon J. On the difference between one and many (preliminary version) //Automata, languages and programming/ Eds. A. Salomaa, M. Steinby. - Lecture notes in computer science ser. - Berlin-Heidelberg: Springer, 1977. Vol. 52. P 480-491.
  9. Valiant L. G. The complexity of enumeration and reliability problems // SIAM J. Comput., 1979. Vol. 8. P. 410-421.
  10. Valiant L. G. The complexity of computing the permanent//Theor. Comput. Sci., 1979. Vol. 8. P. 189-201.
  11. Гэри М., Джонсон Д. С. Вычислительные машины и трудно-решаемые задачи / Пер. с англ. - М.: Мир, 1982.416 с. (GareyM. R., Johnson D. S. Computers and intractability: A guide to the theory of NP-completeness. - San Francisco, CA, USA: W. H. Freeman and Co., 1979. 338 p.)
  12. Забежайло М. И. О некоторых возможностях управления перебором в ДСМ-методе // Искусственный интеллект и принятие решений, 2014. Ч. I. № 1. С. 95110; Ч. II. №3. С. 3-21.
  13. Everitt B. S. Cambridge dictionary of statistics. - Cambridge: Cambridge University Press, 2002. 410 p.
  14. Финн В. К., Шестерникова О. П. О новом варианте обобщенного ДСМ-метода // Искусственный интеллект и принятие решений, 2016. № 1. С. 57-63.
  15. Забежайло М. И. Приближенный ДСМ-метод на примерах // Научно-техническая информация. Сер. 2, 2014. №10. С. 1-12.

РЕКОНСТРУКЦИЯ ОСЕЙ ГЛАВНЫХ КОМПОНЕНТ

  • М. П. Кривенко  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, mkrivenko@ipijran.ru

Литература

  1. Jolliffe I. T. Principal component analysis. - New York, NY, USA: Springer, 2002. 487 p.
  2. Gabriel K. R. Least squares approximation of matrices by additive and multiplicative models // J. Roy. Stat. Soc. B, 1978. Vol. 40. No. 2. P. 186-196.
  3. Tipping M. E., Bishop C. M. Mixtures of probabilistic principal component analyzers//Neural Comput., 1999. Vol. 11. No. 2. P. 443-482.
  4. Rubin D. B., Thayer D. T. EM algorithms for ML factor analysis// Psychometrika, 1982. Vol. 47. No. 1. P. 69-76.
  5. Roweis S. EM algorithm for PCA and SPCA // Advances in neural information processing systems / Eds. M. I. Jordan, M. J. Kearns, S. A. Solla. - MIT Press, 1997. Vol. 10. P 626-632.
  6. Ahn J. H., Oh J. H. A constrained EM algorithm for principal component//Neural Comput., 2003. Vol. 15. P. 57-65.
  7. Wang H., Hu Z. An unified EM algorithm for PCA and KPCA// Neurocomputing, 2007. Vol. 71. P 459-462.
  8. Choi S., Ahn J. H., CichockiA. Constrained projection approximation algorithms for principal component analysis // Neural Process. Lett., 2006. Vol. 24. P. 53-65.

СИСТЕМА СИТУАЦИОННОГО УПРАВЛЕНИЯ КАК МУЛЬТИСЕРВИСНАЯ ТЕХНОЛОГИЯ В ОБЛАЧНОЙ СРЕДЕ

  • А. А. Зацаринный  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, AZatsarinny@ipijran.ru
  • А. П. Сучков  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, ASuchkov@ipiran.ru

Литература

  1. Зацаринный А. А. О повышении эффективности информационно-аналитической поддержки принятия стратегических решений в органах государственной власти // Межотраслевая информационная служба, 2015. №1(170). С. 11-22.
  2. AWS CloudFormation. https://aws.amazon.com/ru/ cloudformation.
  3. Compute Engine: Scalable, High-Performance Virtual Machines. https://cloud.google.com/compute.
  4. Глобальность. Надежность. Гибридность: Облако на ваших условиях. https://azure.microsoft.com/ru-ru.
  5. Amazon WorkSpaces: Полностью управляемые и защищенные виртуальные облачные рабочие столы на AWS. https://aws.amazon.com/ru/workspaces.
  6. Oracle Virtual Desktop Infrastructure. http://www. oracle.com/technetwork/server-storage/virtualdesktop/ overview/index.html.
  7. Облачная система управления бизнесом. http:// cloud-automation.ru/management_automation.
  8. Сучков А.П. Полнофункциональный процессный подход к реализации систем ситуационного управления // Системы и средства информатики, 2017. Т. 27. № 1. С. 85-99.
  9. Федеральный исследовательский центр "Информатика и управление" Российской академии наук: Основные направления исследований. http://www. frccsc.ru/expertise.
  10. Сучков А. П. Некоторые подходы к интеграции аналитических данных существующих и перспективных систем поддержки принятия решений // Системы и средства информатики, 2015. Т 25. № 3. С. 201-211.
  11. Электронное правительство: Госуслуги. http://smev. gosuslugi.ru/portal.
  12. About NIEM (National Information Exchange Model). https://www.niem.gov/about-niem.
  13. Осипов Г. С. Приобретение знаний интеллектуальными системами. - М.: Наука. 1997. 112 с.
  14. Быстров И. И., Тарасов Б. В., Хорошилов А. А., Радоманов С. И. Основы применения онтологии и компьютерной лингвистики при проектировании перспективных автоматизированных информационных систем // Системы и средства информатики, 2015. Т25. №4. С. 128-149.
  15. Петровский А. Б., Лобанов В. Н. Многокритериальный выбор в пространстве признаков большой размерности: мультиметодная технология ПАКС-М // Искусственный интеллект и принятие решений, 2014. №3. С. 92-104.
  16. Басков О. В. Сужение множества Парето на основе нечеткой информации об отношении предпочтения ЛПР // Искусственный интеллект и принятие решений, 2014. № 1. С. 57-65.
  17. Атаева О. М., Серебряков В. А. Основные понятия формальной модели семантических библиотек и формализация процессов интеграции в ней // Программные продукты и системы, 2015. №4(112). С. 180-187.
  18. Антипин К. В., Фомичев А. В., Гринев М. Н. и др. Оперативная интеграция данных на основе XML: системная архитектура BizQuery // Труды Института системного программирования РАН, 2004. Т. 5. С. 157-174.
  19. Зацаринный А. А., Сучков А. П., Козлов С. В. Особен-ности проектирования и функционирования ситуационных центров // Системы высокой доступности, 2012. Т. 8. №1. С. 12-22.

ЭКСПЛОРАТИВНЫЙ ПАТЕНТНЫЙ ПОИСК

  • И. В. Соченков  Институт системного анализа Федерального исследовательского центра "Информатика и управление" Российской академии наук; Сколковский институт науки и технологий, I.Sochenkov@skoltech.ru
  • Д. В. Зубарев  Институт системного анализа Федерального исследовательского центра "Информатика и управление" Российской академии наук; Российский университет дружбы народов, zubarev@isa.ru
  • И. А. Тихомиров  Институт системного анализа Федерального исследовательского центра "Информатика и управление" Российской академии наук, tih@isa.ru

Литература

  1. Marchionini G. Exploratory search: From finding to understanding // Commun. ACM, 2006. Vol. 49. No. 4. P. 41-46.
  2. White R. W., Roth R.A. Exploratory search: Beyond the query-response paradigm. - Synthesis lectures on information concepts, retrieval, and services ser. - Morgan & Claypool Publs., 2009. Vol. 1. No. 1. 98 p.
  3. Osipov G., Smirnov I., Tikhomirov I., Sochenkov I., Shelmanov A., Shvets A. Information retrieval for R&D support // Professional search in the modern world / Eds. G. Paltoglou, F Loizides, P. Hansen. - Lecture notes in computer science ser. - Springer, 2014. Vol. 8830. P. 45-69.
  4. Воронцов К. В. Аддитивная регуляризация тематических моделей коллекций текстовых документов // Докл. РАН, 2014. Т. 456. № 3. С. 268-271.
  5. Moloshnikov I., Sboev A., Gudovskikh D., Rybka R. An algorithm of finding thematically similar documents with creating context-semantic graph based on probabilistic- entropy approach//ProcediaComput. Sci., 2015. Vol. 66. P. 297-306.
  6. Nokel M., Loukachevitch N. Accounting ngrams and multi-word terms can improve topic models // 54th Annual Meeting of the Association for Computational Linguistics. Proceedings of 12th Workshop on Multiword Expressions. - Stroudsburg, PA, USA: ACL, 2016. P. 4449.
  7. Glauner P. O., Iwaszkiewicz J., Meur J. Y.L., Simko T. Use of Solr and Xapian in the Invenio document repository software // ArXiv, 2013. https://arxiv.org/ pdf/1310.0250.pdf.
  8. Grainger T, Potter T. Solr in action. - New York, NY, USA: Manning Publications, 2014. 664 p.
  9. Ilyinsky S., Kuzmin M., Melkov A., Segalovich I. An efficient method to detect duplicates of Web documents with the use of inverted index // 11th World Wide Web Conference (International) Proceedings. - New York, NY, USA: ACM, 2002. 4 p.
  10. Агеев М. С., Добров Б. В. Метод эффективного расчета матрицы ближайших соседей для полнотекстовых документов // Вестник СПб ун-та. Сер. 10: Прикладная математика. Информатика, 2011. № 3. С. 72-84.
  11. Shvets A., Devyatkin D., Sochenkov I., Tikhomirov I., Popov K., Yarygin K. Detection of current research directions based on full-text clustering // Science and Infor-mation Conference. - London: IEEE, 2015. P. 483-488.
  12. Zubarev D., Sochenkov I. Using sentence similarity measure for plagiarism source retrieval // CEUR Workshop Proceedings, 2014. Vol. 1180: Working Notes for CLEF 2014 Conference. P. 1027-1034. http://ceur-ws.org/Vol- 1180/CLEF2014wn-Pan-ZubarevEt2014.pdf.

ТЕОРИЯ КАТЕГОРИЙ КАК МАТЕМАТИЧЕСКАЯ ПРАГМАТИКА МОДЕЛЬНО-ОРИЕНТИРОВАННОЙ СИСТЕМНОЙ ИНЖЕНЕРИИ

  • С. П. Ковалёв  Институт проблем управления им. В. А. Трапезникова Российской академии наук, kovalyov@nm.ru

Литература

  1. Modeling and simulation-based systems engineering handbook / Eds. D. Gianni, A. D'Ambrogio, A. Tolk. - London: CRC Press, 2014. 513 p.
  2. Selic B. The pragmatics of model-driven development // IEEE Software, 2003. Vol. 20. Iss. 5. P. 19-25.
  3. Левенчук А.И. Системноинженерное мышление. - М.: TechInvestLab, 2015. 305 с.
  4. Ковалёв С. П. Методы теории категорий в модельноориентированной системной инженерии // Информатика и её применения, 2017. Т. 11. Вып. 3. С. 42-50.
  5. IEC 81346-1:2009. Industrial Systems, Installations and Equipment and Industrial Products - Structuring Principles and Reference Designations - Part 1: Basic Rules. - Geneva: ISO, 2009. 168 p.
  6. Ginali S., Goguen J. A categorical approach to general systems // Applied general systems research: Recent development and trends / Ed. G. J. Klir. - NATO conference ser. - Boston, MA, USA: Springer U.S., 1978. Vol. 5. P. 257-270.
  7. Diskin Z., Kokaly S., Maibaum T. Mapping-aware meg-amodeling: Design patterns and laws // Software language engineering: 6th Conference (International) Proceedings / Eds. M. Erwig, R. F Paige, E. Van Wyk. - Lecture notes in computer science ser. - Springer, 2013. Vol. 8225. P. 322-343.
  8. Косяков А., Свит У., Сеймур С., Бимер С. Системная инженерия. Принципы и практика / Пер. с англ. - М.: ДМК-Пресс, 2014.636 с. (KossiakoffA., Sweet W. N., Seymour S., Biemer S. M. Systems engineering principles and practice. - 2nd ed. - New York, NY, USA: John Wiley, 2011. 560 p.)
  9. Bezivin J., Jouault F., Rosenthal P., Valduriez P. Modeling in the large and modeling in the small // Model driven architecture: European MDA Workshops on Foundations and Applications Proceedings / Eds. U. Afimann, M. Ak- sit, A. Rensink. - Lecture notes in computer science ser. - Springer, 2005. Vol. 3599. P 33-46.
  10. Neema S., Sztipanovits J., Karsai G., Butts K. Constraint- based design-space exploration and model synthesis // 3rd Conference (International) on Embedded Software Proceedings / Eds. R. Alur, I. Lee. - Lecture notes in computer science ser. - Springer, 2003. Vol. 2855. P 290305.
  11. Vanherpen K., Denil J., De Meulenaere P., Vangheluwe H. Design-space exploration in MDE: An initial pattern catalogue // 1st Workshop (International) on Combining Modelling with Search- and Example-Based Approaches Proceedings / Eds. R. Paige, M. Kessentini, P Langer, M. Wimmer. - CEUR Workshop Proceedings ser. - Valencia, Spain, 2014. Vol. 1340. P. 42-51.
  12. ГОСТ 14.205-83. Технологичность конструкции изделий. Термины и определения. - М.: Стандартин- форм, 2009. 22 с.
  13. Альтшуллеp Г. С. Творчество как точная наука. - М.: Советское pадио, 1979. 116 с.
  14. Guitart R, van den Bril L. Decompositions et lax- completions // Cah. Topologie Geometrie Differentielle Categoriques, 1977. Vol. 18. No. 4. P 333-407.
  15. Adamek J., Herrlich H., Strecker G. E. Abstract and concrete categories. - New York, NY, USA: John Wiley, 1990. 507 p.
  16. Маклейн С. Категории для работающего математика / Пер. с англ. - М.: Физматлит, 2004. 352 с. (Mac Lane S. Categories for the working mathematician. - New York, NY, USA: Springer, 1978. 317 p.)
  17. Андрюшкевич С. К., Журавлев С. С., Золотухин Е. П., Ковалев С. П., Окольнишников В. В., Рудометов С. В. Разработка системы мониторинга с использованием имитационного моделирования // Проблемы информатики, 2010. № 4. С. 65-75.
  18. Baez J., Stay M. Physics, topology, logic and computa-tion: A Rosetta stone // New structures for physics / Ed. B. Coecke. - Lecture notes in physics ser. - Springer, 2011. Vol. 813. P. 95-172.
  19. Ковалёв С. П. Системный анализ жизненного цикла больших информационно-управляющих систем // Автоматика и телемеханика, 2013. № 9. С. 98-118.
  20. Gross J., ChlipalaA., Spivak D. I. Experience implement-ing a performant category-theory library in Coq // 5th Conference (International) on Interactive Theorem Proving Proceedings / Eds. G. Klein, R. Gamboa. - Lecture notes in computer science ser. - Springer, 2014. Vol. 8558. P. 275-291.

БАЙЕСОВСКИЕ МОДЕЛИ ТЕСТИРОВАНИЯ БОЛЬШИХ ГРУПП ОБСЛУЖИВАЮЩИХ ПРИБОРОВ

  • А. А. Кудрявцев  Московский государственный университет им. М. В. Ломоносова, факультет вычислительной математики и кибернетики, nubigena@mail.ru
  • О. В. Шестаков  Московский государственный университет им. М. В. Ломоносова, факультет вычислительной математики и кибернетики; Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, oshestakov@cs.msu.su

Литература

  1. Sutton Ch., Jordan M.I. Bayesian inference for queueing networks and modeling of internet services // Ann. Appl. Stat., 2011. Vol. 5. No. 1. P. 254-282.
  2. Кудрявцев А. А., Шорги нС. Я. Байесовские модели в теории массового обслуживания и надежности. - М.: ФИЦИУРАН, 2015.76 с.
  3. Кудрявцев А. А., Титова А. И. Байесовские модели массового обслуживания и надежности: вырожденно-вей- булловский случай // Информатика и её применения, 2016. Т. 10. Вып. 4. С. 68-71.
  4. Кудрявцев А. А., Шоргин С. Я. Байесовский подход к анализу систем массового обслуживания и показателей надежности // Информатика и её применения, 2007. Т. 1. Вып. 2. С. 76-82.

РАЗРАБОТКА И ПРЕДВАРИТЕЛЬНОЕ ИССЛЕДОВАНИЕ СТОХАСТИЧЕСКОЙ ПОЛУМАРКОВСКОЙ МОДЕЛИ УПРАВЛЕНИЯ ЗАПАСОМ НЕПРЕРЫВНОГО ПРОДУКТА ПРИ ПОСТОЯННО ПРОИСХОДЯЩЕМ ПОТРЕБЛЕНИИ

  • П. В. Шнурков  Национальный исследовательский университет "Высшая школа экономики", pshnurkov@hse.ru
  • А. Ю. Егоров  Национальный исследовательский университет "Высшая школа экономики", ayuegorov@hse.ru

Литература

  1. Шнурков П. В., Егоров А.Ю. Приложение к статье "Разработка и предварительное исследование стохастической полумарковской модели управления запасом непрерывного продукта при постоянно происходящем потреблении", 2017. 49 с. http://www. ipiran.ru/publicat ions/При ложен Me_upd.pdf.
  2. Королюк В. С., Турбин А. Ф. Полумарковские процессы и их приложения. - Киев: Наукова думка, 1976. 184 с.
  3. Janssen J., Manca R. Applied semi-Markov process. - New York, NY, USA: Springer, 2006. 309 p.
  4. Джевелл В. Управляемые полумарковские процессы // Кибернетический сборник. Новая серия. - М.: Мир, 1967. Вып. 4. С. 97-134.
  5. Майн Х., Осаки С. Марковские процессы принятия решений / Пер. с англ. - М.: Наука, 1977. 176 с. (MineH., OsakiS. Markovian decision processes. - New York, NY, USA: Elsevier, 1970. 142 p.)
  6. Шнурков П. В., Иванов А. В. Анализ дискретной полу- марковской модели управления запасом непрерывного продукта при периодическом прекращении потребления//Дискретная математика, 2014. Т. 26. № 1. С. 143-154.
  7. Шнурков П. В. Стохастическая модель планового технического обслуживания // Стохастические системы и их приложения. - Киев: Институт математики АН УССР, 1990. С. 98-105.
  8. Luque-Vasquez F., Herndndez-Lerma O. Semi-Markov control models with average costs // Appl. Math., 1999. Vol. 26. No. 3. P. 315-331.
  9. Шнурков П. В. О решении проблемы безусловного экстремума для дробно-линейного интегрального функционала на множестве вероятностных мер // Докл. РАН. Сер. Математика, 2016. Т. 470. №4. С. 387-392.
  10. Шнурков П. В., Горшенин А. К., Белоусов В. В. Аналитическое решение задачи оптимального управления полумарковским процессом с конечным множеством состояний // Информатика и её применения, 2016. Т. 10. Вып. 4. С. 72-88.

ФИНАНСИРОВАНИЕ ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ: КОНЦЕПТУАЛЬНЫЙ ОБЛИК СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ НАУКОМЕТРИИ И АНАЛИЗА ДАННЫХ

  • О. В. Сюнтюренко  Всероссийский институт научной и технической информации Российской академии наук, olegasu@mail.ru

Литература

  1. Авдулов А.Н. Кулькин А. М. Финансирование науки в развитых странах мира. - М.: ИНИОН РАН, 2007. 114 с.
  2. Калачихин П. А. Принципы построения государственной наукометрической системы // Научно-техническая информация. Сер. 2, 2016. №7. С. 11-23.
  3. СюнтюренкоО. В., ЧерепановЕ. В. Информатика: анализ данных и эконометрия // Средства связи, 1986. №4. С. 39-44.
  4. Когаловский М. Р., Паринов С. И. Новый источник данных для наукометрических исследований // Тр. XV Всеросс. научной конф. "Электронные библиотеки: перспективные методы и технологии, электронные коллекции". - Ярославль: ЯрГУ им. П. Г. Демидова, 2013. С. 107-117.
  5. Антопольский А. Б. О целесообразности российского национального вебометрического индекса // Научно-техническая информация. Сер. 1, 2014. №2. С. 14-18.
  6. Месропян В. Р., Овсянников М. В. Перспективы использования наукометрических методов в прогнозировании//Научно-техническая информация. Сер. 1, 2014. №2. С. 19-27.
  7. Сюнтюренко О. В., Гиляревский Р. С. Использование методов наукометрии и сопоставительного анализа данных для управления научными исследованиями по тематическим направлениям // Научно-техническая информация. Сер. 2, 2016. № 12. С. 1-12.
  8. Борисова Л. Ф., Сюнтюренко О. В. Реферативный банк данных ВИНИТИ РАН: перспективы постобработки информации с использованием методов анализа данных// Научно-техническая информация. Сер. 1, 2007. №11. С. 6-11.
  9. О внесении изменений в Федеральную целевую программу "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 гг: Постановление Правительства РФ от 25 сентября 2017 г. №1156.
  10. Ладный А. О. Анализ данных в задачах управления научно-техническим потенциалом. 2012. http:// it-claim.ru/Library/Books/ITS/wwwbook/ist6/ladni/ ladni.htm.
  11. Петровский А. Б., Бойченко В. С., Стернин М. Ю., Шепелев Г. И. Выбор приоритетов научно-технического развития: опыт зарубежных стран // Тр. Института системного анализа РАН, 2015. Т 65. № 3. С. 13-26.
  12. Обоснование выбора приоритетов научно-технологического развития. Федеральный портал PROTOWN.RU, 2015. http://www.protown.ru/ information/hide/4500.html.
  13. Биктимиров М. Р., Гиляревский Р. С., Сюнтюренко О. В. Новая концептуальная основа развития информационной деятельности ВИНИТИ РАН // Научно-техническая информация. Сер. 1, 2016. №1. С. 1-8.
  14. Сюнтюренко О. В. Производство информационно-аналитических продуктов и услуг с использованием методов наукометрии и анализа данных// Информация в современном мире: Мат-лы Междунар. конф. к 65-летию ВИНИТИ РАН. - М.: ВИНИТИ, 2017. С. 317-321.