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

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



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

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

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

АНАЛИЗ И МОДЕЛИРОВАНИЕ РАСПРЕДЕЛЕНИЙ В ЭРЕДИТАРНЫХ СТОХАСТИЧЕСКИХ СИСТЕМАХ.

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

Литература

  1. Колмановский В. Б., Ноcов В. Р. Устойчивость и периодические режимы регулируемых систем с последействием. —М.: Наука, 1981. 386 с.
  2. Синицын И.Н. Stochastic hereditary control systems // Проблемы управления и теории информатики, 1986. Т. 15.№4. С. 287–298.
  3. Синицын И.Н. Конечномерные распределения процессов в стохастических интегральных и интегродифференциальных системах // 2nd Symposium (International) IFAC on Stochastic Control: Preprints. — Vilnius, 1986; Pergamon Press, 1987. Pt. 1. P. 144–153.
  4. Пугачев В. С., Синицын И.Н. Стохастические дифференциальные системы. Анализ и фильтрация. — М.: Наука, 1990. 632 с. [Англ. пер.: Stochastic differential systems. Analysis and filtering. — Chichester, New York: Jonh Wiley, 1987. 549 p.]
  5. Пугачев В. С., Синицын И.Н. Теория стохастических систем. — М.: Логос, 2000; 2004. 1000 с. [Англ. пер.: Stochastic systems. Theory and applications. —Singapore: World Scientific, 2001. 908 p.]
  6. Синицын И.Н. Канонические представления случайных функций и их применение в задачах компьютерной поддержки научных исследований. — М.: ТОРУС ПРЕСС, 2009. 768 с.
  7. Синицын И. Н. Параметрическое статистическоеи аналитическое моделирование распределений в нелинейных стохастических системах намногообразиях //Информатика и её применения, 2013.Т. 7.Вып. 2.С. 4–16.
  8. Синицын И.Н., Синицын В.И. Лекции по нормальной и эллипсоидальной аппроксимации распределений в стохастических системах. —М.: ТОРУС ПРЕСС, 2013. 480 с.
  9. Синицын И.Н. Аналитическое моделирование распределений с инвариантной мерой в стохастических системах с разрывными характеристиками // Информатика и её применения, 2013. Т. 7. Вып. 1. С. 3–11.

АНАЛИЗ ЗАДЕРЖЕК ПРИ ДИСПЕТЧЕРИЗАЦИИ ОДНОРОДНЫХ ЗАДАНИЙ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ.

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

Литература

  1. Купалов-Ярополк И.К., Малашенко Ю. Е., Назарова И. А., Ронжин А.Ф. Методы оценки эффективности и директивных сроков выполнения ресурсоемких вычислительных заданий // Информатика и её применения, 2013. Т. 7. Вып. 2. С. 4–12.
  2. Малашенко Ю. Е., Назарова И. А. Модель управления разнородными вычислительными заданиями на основе гарантированных оценок времени выполнения // Изв. РАН. ТиСУ, 2012.№4. С. 29–38.
  3. Купалов-Ярополк И. К., Малашенко Ю.Е., Назарова И. А., Ронжин А.Ф. Модели и программы для системы управления ресурсоемкими вычислениями. — М.: ВЦ РАН, 2013. 72 с. http://www.ccas.ru/depart/ malashen/papper/ronzhin 2012 preprint.pdf.
  4. Гермейер Ю. Б. Введение в теорию исследования операций. — М.: Наука, 1971. 384 с.
  5. Сухарев А. Г., Тимохов А. В., Федоров В. В. Курс методов оптимизации. — М.: Наука, 1986. 368 с.
  6. Голосов П. С., Козлов М. В., Малашенко Ю. Е., Назарова И. А., Ронжин А.Ф. Модель системы управления специализированным вычислительным комплексом. — М.: ВЦ РАН, 2010. 48 c. http://www.ccas.ru/ depart/malashen/papper/golosov 2010 preprint.pdf.
  7. Козлов М.В., Малашенко Ю. Е., Назарова И. А.,Ронжин А.Ф. Анализ режимов управления вычислительным комплексом в условиях неопределенности. — М.: ВЦ РАН, 2011. 60 с. http://www. ccas.ru/depart/malashen/papper/ronzhin 2011 preprint.pdf.
  8. Голосов П. Е., Козлов М. В., Малашенко Ю. Е., Назарова И. А., Ронжин А.Ф. Анализ управления специализированными вычислительными заданиями в условиях неопределенности // Изв. РАН. ТиСУ, 2012. №1. С. 50–66.
  9. Данциг Дж. Б. Линейное программирование, его применения и обобщения / Пер. с англ. — М.: Прогресс, 1966. 600 c. (Dantzig, G. 1963. Linear programming and extensions. New Jersey: Princeton University Press. 589 p.)

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

  • И.В. Павлов  Московский государственный технический университет им. Н.Э. Баумана, ipavlov@bmstu.ru

Литература

  1. Гнеденко Б. В., Беляев Ю.К. Соловьев А. Д. Математические методы в теории надежности. — М.: Наука, 1965. 524 с.
  2. Барлоу Р., Прошан Ф. Математическая теория надежности / Пер. с англ. — М.: Радио и связь, 1969. 488 с. (Barlow, R., Proschan F.Mathematical theory of reliability. — N.Y.: John Wiley, 1965. 497 p.)
  3. Васильев Н. С. Об одной модели развития сети связи // Известия Российской академии наук. Теория и системы управления, 1985.№6. С. 227–234.
  4. Павлов И. В. Приближенно оптимальные доверительные границы для показателей надежности систем с восстановлением // Известия Российской академии наук. Теория и системы управления, 1988. №3. С. 109–116.
  5. Павлов И. В., Ушаков И. А. Вычисление показателей надежности для сложных систем с восстанавливаемыми элементами // Известия Российской академии наук. Теория и системы управления, 1989. №6. С. 170–176.
  6. Gnedenko B. V., Pavlov I. V., Ushakov I. A. Statistical reliability engineering.— N.Y.: John Wiley, 1999. 517 p.
  7. Коновалов М. Г. Организация работы вычислительного комплекса с помощью имитационной модели и адаптивных алгоритмов // Информатика и её применения, 2012. Т. 6. Вып. 1. С. 37–48.
  8. Павлов И. В. Расчет и оптимизация некоторых характеристик для модели вычислительного комплекса // Информатика и её применения, 2012. Т. 6. Вып. 2. С. 59–62.
  9. Barlow R., Proschan F. Tolerance and confidence limits for classes of distributions based on failure rate // Ann. Math. Stat., 1966. Vol. 37. No. 6. P. 1184–1195.
  10. Павлов И. В. Доверительные границы в классе распределений с возрастающей функцией интенсивности отказов // Известия Российской академии наук. Теория и системы управления, 1977. №6. С. 72–84.
  11. Ллойд Д., Липов М. Надежность / Пер. с англ. — М.: Сов. радио, 1964. 668 с. (LloydD., LipowM. Reliability management, methods and mathematics. — Englewood Cliffs, N.J.: Prentice-Hall, 1962. 684 p.)
  12. Беляев Ю.К. Доверительные интервалы для функций от многих неизвестных параметров // Докл. АН СССР, 1967. Т. 196.№4. С. 755–758.
  13. Беляев Ю.К., Дугина Т.Н., Чепурин Е. В. Вычисление нижней доверительной оценки для вероятности безотказной работы сложных систем // Известия Российской академии наук. Теория и системы управления, 1967.№2. С. 52–59.
  14. Павлов И. В. О корректности фидуциального подхода при построении доверительных границ для показателей надежности сложных систем//Известия Российской академии наук. Теория и системы управления, 1981.№5. С. 46–52.
  15. Павлов И. В. О фидуциальном подходе при вычислении доверительных границ для функций многих неизвестных параметров // Докл. РАН, 1981. Т. 258. №6. С. 1314–1317.

ИСПОЛЬЗОВАНИЕ ПРИНЦИПА РАВНОВЕСИЯ ДЛЯ УПРАВЛЕНИЯ МАРШРУТИЗАЦИЕЙ В ТРАНСПОРТНЫХ СЕТЯХ.

  • Н.С. Васильев  Московский государственный технический университет им. Н.Э. Баумана, nik8519@yandex.ru

Литература

  1. 1. Бертсекас Д., Галлагер Р. Сети передачи данных /Пер. с англ. — М.: Наука, 1989. (Bertsecas D. P., Gallager R. Data networks. — Englewood Cliffs: Prentice Hall, 1987. 544 p.) 2. Васильев Н. С., Федоров В. В. О равновесной маршрутизации в сетях передачи данных // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн., 1996. №4. С. 39–47. 3. Korilis Y. A., Lazar A. A., Orda A. Capacity allocation under noncooperative routing // IEEE Trans. Automat. Contr., 1997. Vol. 42. No. 3. P. 309–325. 4. Vasilyev N. S. Nash equilibrium routing in ring networks // Int. J. Math. Game Theory Algebra, 1998. Vol. 7. No. 4. P. 221–234. 5. Васильев Н. С. О свойствах решений задачи маршрутизации сети с виртуальными каналами //Ж. вычисл. матем. и матем. физ., 1997. Т. 37. №7. С. 785–793. 6. Васильев Н. С. О свойствах решений задачи динамической маршрутизации сети // Ж. вычисл. матем. и матем. физ., 1998. Т. 38. №1. С. 42–52. 7. Соколов И. А., Шоргин С. Я. Модель и математические методы расчета характеристик сети, использующей технологии X.25 и Frame relay // Системы и средства информатики. Спец. вып. Математические методы информатики. — М.: Наука, 2001. С. 43–66. 8. Васильев Н. С., Федоров В. В. О построении алгоритмов маршрутизации пакетных сетей на основе векторных критериев // Известия РАН. Теория и системы управления, 2005.№3. С. 36–47. 9. Васильев Н. С. Задача о кратчайших маршрутах в сетях с переменной метрикой // Вестник МГТУ им. Н.Э. Баумана. Сер. Естеств. науки, 2008.№1. С. 70– 75. 10. Коновалов М. Г. Оптимизация работы вычислительного комплекса с помощью имитационной модели и адаптивных алгоритмов // Информатика и её применения, 2012. Т. 6. Вып. 1. С. 37–48. 11. Васильев Ф.П. Численные методы решения экстремальных задач. — М.: Наука, 1980. 12. Иоффе А. Д., Тихомиров В.М. Теория экстремальных задач. — М.: Наука, 1974. 481 c. 13. Подиновкий В. В., Ногин В. Д. Парето-оптимальные решения многокритериальных задач. — М.: Наука, 1982. 256 с. 14. Кристофидес Н. Теория графов. Алгоритмический подход / Пер с англ. — М.: Мир, 1978. (Cristofides N. Graph theory: An algorithmic approach.—London:Academic, 1975. 430 p.) 15. Федоров В. В. Численные методы максимина. — М.: Наука, 1979. 280 с.

АСИМПТОТИЧЕСКИЕ СВОЙСТВА ОЦЕНКИ РИСКА ПРИ ПОРОГОВОЙ ОБРАБОТКЕ ВЕЙВЛЕТ-КОЭФФИЦИЕНТОВ В МОДЕЛИ С КОРРЕЛИРОВАННЫМ ШУМОМ.

  • А.А. Ерошенко  Московский государственный университет им. М.В. Ломоносова, кафедра математической статистики факультета вычисли- тельной математики и кибернетики, aeroshik@gmail.com
  • О.В. Шестаков  Московский государственный университет им. М.В. Ломоносова, кафедра математической статистики факультета вычисли- тельной математики и кибернетики; Институт проблем информатики Российской академии наук, oshestakov@cs.msu.su

Литература

  1. Donoho D., Johnstone I.M. Ideal spatial adaptation via wavelet shrinkage // Biometrika, 1994. Vol. 81. No. 3. P. 425–455.
  2. Donoho D., Johnstone I.M. Adapting to unknown smoothness via wavelet shrinkag
  3. Donoho D. L., Johnstone I.M., Kerkyacharian G., Picard D. Wavelet shrinkage: Asymptopia? // J. R. Statist. Soc. Ser. B., 1995. Vol. 57. No. 2. P. 301–369.
  4. Marron J. S., Adak S., Johnstone I.M., Neumann M.H., Patil P. Exact risk analysis of wavelet regression // J. Comput. Graph. Stat., 1998. Vol. 7. P. 278–309.
  5. Antoniadis A., Fan J. Regularization of wavelet approximations // J. Amer. Statist. Assoc., 2001. Vol. 96. No. 455. P. 939–967.
  6. Маркин А.В. Предельное распределение оценки риска при пороговой обработке вейвлет-коэффициентов // Информатика и её применения, 2009. Т. 3. Вып. 4. С. 57–63.
  7. Маркин А. В., Шестаков О. В. О состоятельности оценки риска при пороговой обработке вейвлет-коэффициентов // Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и киберн., 2010.№1. C. 26–34.
  8. Шестаков О. В. Аппроксимация распределения оценки риска пороговой обработки вейвлет-коэффициентов нормальным распределением при использовании выборочной дисперсии // Информатика и её применения, 2010. Т. 4. Вып. 4. С. 73–81.
  9. Шестаков О. В. О точности приближения распределения оценки риска пороговой обработки вейвлет- коэффициентов сигнала нормальным законом при неизвестном уровне шума // Системы и средства информатики, 2012. Т. 22.№1. С. 142–152.
  10. Шестаков О. В. Асимптотическая нормальность оценки риска пороговой обработки вейвлет-коэффициентов при выборе адаптивного порога // Доклады РАН, 2012. Т. 445.№5. С. 513–515.
  11. Шестаков О. В. Зависимость предельного распределения оценки риска пороговой обработки вейвлет- коэффициентов сигнала от вида оценки дисперсии шума при выборе адаптивного порога // T-Comm — Телекоммуникации и транспорт, 2012.№1. С. 46–51.
  12. Шестаков О. В. Центральная предельная теорема для функции обобщенной кросс-валидации при пороговой обработке вейвлет-коэффициентов // Информатика и её применения, 2013. Т. 7. Вып. 2. С. 40–49.
  13. Добеши И. Десять лекций по вейвлетам. — Ижевск: НИЦ Регулярная и хаотическая динамика, 2001. 357 с.
  14. Mallat S. A wavelet tour of signal processing. — Academic Press, 1999. 851 с.
  15. Boggess A., Narkowich F. A first course in wavelets with Fourier analysis. — Prentice Hall, 2001. 283 с.
  16. Johnstone I.M., Silverman B.W. Wavelet threshold estimates for data with correlated noise // J. Roy. Statist. Soc. Ser. B, 1997. Vol. 59. P. 319–351.
  17. Johnstone I.M. Wavelet shrinkage for correlated data and inverse problems: Adaptivity results // Statistica Sinica, 1999. Vol. 9. No. 1. P. 51–83.
  18. Taqqu M. S. Weak convergence to fractional Brownian motion and to the Rosenblatt process // Z. Wahrscheinlichkeitsth. verw. Geb., 1975. Vol. 31. P. 287–302.
  19. Bradley R. C. Basic properties of strong mixing conditions. A survey and some open questions // Probab. Surveys, 2005. Vol. 2. P. 107–144.
  20. Peligrad M. On the asymptotic normality of sequences of weak dependent random variables // J. Theoret. Prob., 1996. Vol. 9. No. 3. P. 703–715.

БАЗИС РЕАЛИЗАЦИИ СУПЕР-ЭВМ ЭКСАФЛОПСНОГО КЛАССА.

  • И.А. Соколов  Институт проблем информатики Российской академии наук, ISokolov@ipiran.ru
  • Ю.А. Степченков  Институт проблем информатики Российской академии наук, YStepchenkov@ipiran.ru
  • С.Г. Бобков  Научно-исследовательский институт системных исследований Российской академии наук, bobkov@cs.niisi.ras.ru
  • В.Н. Захаров  Институт проблем информатики Российской академии наук, VZakharov@ipiran.ru
  • Ю.Г. Дьяченко  Институт проблем информатики Российской академии наук, diaura@mail.ru
  • Ю.В. Рождественский  Институт проблем информатики Российской академии наук, YRogdest@ipiran.ru
  • А.В. Сурков   Научно-исследовательский институт системных исследований Российской академии наук, surkov@cs.niisi.ras.ru

Литература

  1. Varshavsky V. Time, timing and clock in massively parallel computing systems // Conference (International) on Massively Parallel Computing Systems Proceedings. — Colorado Springs, 1998. P. 100–106.
  2. Beerel P., Cortadella J., Kondratyev A. Bridging the gap between asynchronous design and designers (Tutorial) // VLSI Design Conference Proceedings.—Mumbai, 2004. P. 18–20.
  3. Muller D., Bartky W. A theory of asynchronous circuits // Annals ofComputation Laboratory ofHarvardUniversity, 1959. Vol. 29. P. 204–243.
  4. Muller D. E. Asynchronous logics and application to information processing // Switching theory in space technology.— Stanford, CA: Stanford University Press, 1963. P. 289–297.
  5. Seitz C. L. System timing // Introduction to VLSI Systems.— Reading,MA:Addison-Wesley, 1980.P. 218–262.
  6. Singh N. P. A design methodology for self-timed systems. Master’s Thesis. MIT/LCS/TR-258.—MIT, Laboratory for Computer Science, 1981. 98 p.
  7. Martin A. J. Compiling communicating processes into delay-insensitive VLSI circuits //Distrib. Comput., 1986. Vol. 1. No. 4. P. 226–234.
  8. Anantharaman T. S. A delay insensitive regular expression recognizer // IEEE VLSI Techn. Bull., 1986. Vol. 1.No. 2. P. 4.
  9. Martin A. J. Programming in VLSI //Development inconcurrency and communication. — Reading, MA: Addison- Wesley, 1990. P. 1–64.
  10. Van Berkel K. Beware the isochronic fork // Integration, VLSI J., 1992. Vol. 13. No. 2. P. 103–128.
  11. David I., Ginosar R., Yoeli M. An efficient implementation of Boolean functions as self-timed circuits // IEEE Trans. Comput., 1992. Vol. 41. No. 1. P. 2–10.
  12. Sparso J., Staunstrup J., Dantzer-Sorensen M. Design of delay insensitive circuits using multi-ring structures // European Design Automation Conference Proceedings, 1992. P. 15–20.
  13. Hauck S. Asynchronous design methodologies: An overview // Proc. IEEE, 1995. Vol. 83. No. 1. P. 69–93.
  14. Fant K.M., Brandt S. A. NULL convention logic: A complete and consistent logic for asynchronous digital circuit synthesis // Conference (International) on Application Specific Systems, Architectures, and Processors Proceedings, 1996. P. 261–273.
  15. Paver N. C., Day P., Farnsworth C., Jackson D.L., Lien W. A., Liu J. A low-power, low-noise, configurable self-timed DSP // ASYNC’98: 4th Symposium (International) on Advanced Research in Asynchronous Circuits and Systems Proceedings, 1998. P. 32–42.
  16. Laiho M., Vianio O. A full-custom self-timed DSP processor implementation // European Solid-State Circuits Conference Proceedings, 1997. http://www.imec.be/ esscirc/papers-97/172.pdf.
  17. Matsubara G., Ide N., Tago H., Suzuki S., Goto N. 30-m 55-b shared Radix 2 Division and square root using a selftimed circuit // ARITH’95: 12th Symposium on Computer Arithmetic Proceedings, 1995. P. 98–105.
  18. Garside J.D., Bainbridge W. J., Bardsley A., et al. AMULET3i — an asynchronous system-on-chip // ASYNC-2000 Proceedings. — Eilat, Israil, 2000. P. 162– 175.
  19. Bink A., York R. ARM996HS: The first licensable, clockless 32-bit processor core // IEEE Micro, 2007. Vol. 27. No. 2. P. 58–68.
  20. Martin A. J., Nystrom M., Wong C. G. Three generations of asynchronous microprocessors // IEEE Des. Test Comput., 2003. Vol. 20. No. 6. P. 9–17.
  21. Handshake Solutions HT80C51 User Manual. http:// www.keil.com/dd/docs/datashts/handshake/ht80c51 um.pdf.
  22. TIMA Laboratory Annual Report 2006. 2007. http:// tima.imag.fr/publications/¦les reports/ann-rep-06.pdf.
  23. Gang J., Lei W., Zhiying W. The design of asynchronous microprocessor based onoptimizedNCL Xdesign-flow// IEEE Conference (International) on Networking, Architecture and Storage Proceedings, 2009. P. 357–364.
  24. Ramaswamy S., Rockett L., Patel D., Danziger S., Manohar R., Kelly C.W., Holt J.L., Ekanayake V., Elftmann D. A radiation hardened reconfigurable FPGA // IEEE Aerospace Conference Proceedings, 2009. P. 1–10.
  25. Апериодические автоматы / Под ред. В.И. Варшавского. — М.: Наука, 1976. 424 c.
  26. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах / Под ред. В.И. Варшавского. — М.: Наука, 1986. 400 с.
  27. Varshavsky V., Kishinevsky M., Marakhovsky V., et al. Selftimed control of concurrent processes.— Dordrecht, The Netherlands: Kluwer Acad. Publs., 1990. 245 p.
  28. Kishinevsky M., Kondratyev A., Taubin A., Varshavsky V. Concurrent hardware: The theory and practice of selftimed design. — N.Y.: John Wiley&Sons, 1994. 368 p.
  29. Филин А. В., Степченков Ю. А. Компьютеры без синхронизации // Системы и средства информатики, 1999. Вып. 9. C. 247–261.
  30. Степченков Ю. А., Дьяченко Ю. Г., Петрухин В. С., Филин А. В. Цена реализации уникальных свойств самосинхронных схем // Системы и средства информатики, 1999. Вып. 9. C. 261–292.
  31. Степченков Ю. А., Дьяченко Ю. Г., Петрухин В. С., Филин А. В. Самосинхронная схемотехника — альтернатива синхронной // Электронный сборник научных трудов сотрудников ОИВТА РАН. Разд. Элементная база, 1999. 10 с. http://samosinhron.ru/ ¦les/articles/native/sss alternative 1999.DOC.
  32. Плеханов Л.П., Степченков Ю. А. Экспериментальная проверка некоторых свойств строго самосинхронных электронных схем // Системы и средства информатики, 2006. Вып. 16. С. 476–485.
  33. Степченков Ю. А., Петрухин В. С., Дьяченко Ю. Г. Опыт разработки самосинхронного ядра микроконтроллера на базовом матричном кристалле // Нано- и микросистемная техника, 2006.№5. С. 29–36.
  34. Степченков Ю. А., Дьяченко Ю. Г., Петрухин В. С. Самосинхронные последовательностные схемы: опыт разработки и рекомендации по проектированию // Системы и средства информатики, 2007. Вып. 17. С. 503–529.
  35. Соколов И. А., Степченков Ю. А., Петрухин В. С., Дьяченко Ю. Г., Захаров В.Н. Самосинхронная схемо- техника — перспективный путь реализации аппаратуры // Системы высокой доступности, 2007. Т. 3. №1-2. С. 61–72.
  36. Степченков Ю. А., Дьяченко Ю. Г., Петрухин В. С., Плеханов Л.П. Самосинхронные схемы — ключ к построению эффективной и надежной аппаратуры долговременного действия // Системы высокой доступности, 2007. Т. 3.№1-2. С. 73–88.
  37. Дьяченко Ю. Г., Степченков Ю. А., Бобков С. Г. Квазисамосинхронный вычислитель: методологические и алгоритмические аспекты // Проблемы разработки перспективных микро- и наноэлектронных систем: Мат-лы конф.—М.: ИППМРАН, 2008. С. 441–446.
  38. Stepchenkov Y., Diachenko Y., Zakharov V., Rogdestvenski Y., Morozov N., Stepchenkov D. Quasi-delay-insensitive computing device: Methodological aspects and practical implementation // PATMOS’2009: Workshop (International) on Power and TimingModeling,Optimization and Simulation Proceedings.—Delft, The Netherlands, 2009. P. 276–285.
  39. Степченков Ю. А., Дьяченко Ю. Г., Плеханов Л.П., Гринфельд Ф.И., Степченков Д.Ю. Самосинхронный двухтактный D-триггер с высоким активным уров- нем сигнала управления: Патент РФ №2365031 // Офиц. бюлл. «Изобретения (заявки и патенты)». — М.: ВНИИПИ, 2009.№23. 9 с.
  40. Степченков Ю. А., Дьяченко Ю. Г., Рождественскене А. В., Морозов Н.В., Петрухин В. С. Самосинхронный двухтактный D-триггер с низким активным уровнем сигнала управления: Патент на изобретение №2366080 // Офиц. бюлл. «Изобретения (заявки и патенты)». —М.: ВНИИПИ, 2009.№24. 9 с.
  41. Дьяченко Ю. Г., Степченков Ю. А., Гринфельд Ф.И. Г-триггер с парафазными входами с нулевым спейсером: Патент на изобретение №2366081 // Офиц. бюлл. «Изобретения (заявки и патенты)». — М.: ВНИИПИ, 2009.№24. 7 с.
  42. Степченков Ю. А., Дьяченко Ю. Г., Плеханов Л.П., Денисов А.Н., Филимоненко О.П. Самосинхронный триггер для связи с удаленным приемником: Патент РФ№2382487 // Офиц. бюлл. «Изобретения (заявки и патенты)».—М.: ВНИИПИ, 2010.№5. 7 с.
  43. Степченков Ю. А., Дьяченко Ю. Г., Рождественский Ю. Г., Петрухин В. С. Однотактный самосинхронный RS-триггер с предустановкой: Патент №2390092 // Офиц. бюлл. «Изобретения (заявки и патенты)». —М.: ВНИИПИ, 2010.№14. 18 с.
  44. Степченков Ю. А., Дьяченко Ю. Г., Захаров В.Н., Гринфельд Ф.И. Двухтактный самосинхронный RS-триггер с предустановкой и входом управления: Патент РФ№2390093 // Офиц. бюлл. «Изобретения (заявки и патенты)».—М.: ВНИИПИ, 2010.№14. 20 с.
  45. Степченков Ю. А., Дьяченко Ю. Г., Степченков Д.Ю., Плеханов Л.П. Двухтактный самосинхронный RS- триггер с предустановкой: Патент РФ №2390923 // Офиц. бюлл. «Изобретения (заявки и патенты)». — М.: ВНИИПИ, 2010.№15. 20 с.
  46. Степченков Ю. А., Дьяченко Ю. Г., Морозов Н. В., Филин А. В. Однотактный самосинхронный RS-триггер с предустановкой и входом управления: Патент РФ №2391772 // Офиц. бюлл. «Изобретения (заявки и патенты)». —М.: ВНИИПИ, 2010.№16. 18 с.
  47. Степченков Ю. А., Дьяченко Ю. Г.,Плеханов Л.П. Двоичный самосинхронный счетчик с предустановкой: Патент РФ№2392735 // Офиц. бюлл. «Изобретения (заявки и патенты)». — М.: ВНИИПИ, 2010. №17. 11 с.
  48. Соколов И. А., Степченков Ю. А., Дьяченко Ю. Г. Самосинхронный триггер с однофазным информационным входом: Патент №2405246 // Офиц. бюлл. «Изобретения (заявки и патенты)».—М.: ВНИИПИ, 2010.№33. 32 с.
  49. Степченков Ю. А., Дьяченко Ю. Г., Рождественский Ю. В., Морозов Н.В., Степченков Д.Ю. Разработка вычислителя, не зависящего от задержек элементов // Системы и средства информатики, 2010. Вып. 20.№1. С. 5–23.
  50. Рождественский Ю. В., Морозов Н.В., Рождественскене А. В. АСПЕКТ: Подсистема событийного анализа самосинхронных схем // Проблемы разработки перспективных микро- и наноэлектронных систем: IV Всеросс. науч.-технич. конф. (МЭС-2010): Сб. науч. тр.—М.: ИППМРАН, 2010. С. 26–31.
  51. Степченков Ю. А., Дьяченко Ю. Г., Рождественский Ю. В., Морозов Н.В., Степченков Д.Ю. Самосинхронный вычислитель для высоконадежных применений // Проблемы разработки перспективных микро- и наноэлектронных систем: IV Всеросс. науч.-технич. конф. (МЭС-2010): Сб. науч. тр. —М.: ИППМРАН, 2010. С. 418–423.
  52. Плеханов Л.П. Разработка самосинхронных схем: функциональный подход // Проблемы разработки перспективных микро- и наноэлектронных систем: IV Всеросс. науч.-технич. конф. (МЭС-2010): Сб. на- уч. тр. —М.: ИППМРАН, 2010. С. 424–429.
  53. Соколов И. А., Степченков Ю. А., Дьяченко Ю. Г. Самосинхронный RS-триггер с повышенной помехоустойчивостью (варианты): Патент РФ№2427955 // Офиц. бюлл. «Изобретения (заявки и патенты)». — М.: ВНИИПИ, 2011.№24. 42 с.
  54. Степченков Ю. А., Дьяченко Ю. Г., Плеханов Л.П., Петрухин В. С., Степченков Д.Ю. Комбинированный Г-триггер с единичным спейсером: Патент РФ №2434318 // Офиц. бюлл. «Изобретения (заявки и патенты)».—М.: ВНИИПИ, 2011.№32. 10 с.
  55. Степченков Ю. А., Дьяченко Ю. Г., Горелкин Г. А. Самосинхронные схемы — будущее микроэлектроники // Вопросы радиоэлектроники, 2011. Вып. 2. С. 153– 184.
  56. Степченков Ю. А., Дьяченко Ю. Г., Рождественский Ю.В., Морозов Н.В. Анализ на самосинхронность некоторых типов цифровых устройств // Системы и средства информатики, 2011. Вып. 21. №1. С. 74–83.
  57. Плеханов Л.П. Основы самосинхронных электронных схем. —М.: Бином, 2013. 208 с.
  58. IEEE Computer Society. IEEE Standard for Floating- Point Arithmetic IEEE Std 754-2008. doi:10.1109/ IEEESTD.2008.4610935.
  59. Karthik S., de Souza I., Rahmeh J., Abraham J. Interlock schemes for micropipelines: Application to a self-timed rebound sorter //Conference (International) onComputer Design Proceedings.— Cambridge, 1991. P. 393–396.
  60. Liebchen A., Gopalakrishnan G. Dynamic reordering of high latency transactions using a modified micropipeline // Conference (International) on Computer Design Proceedings.— Cambridge, 1992. P. 336–340.
  61. Payne R. Self-timed FPGA systems // 5th Workshop (International) on Field Programmable Logic and Applications Proceedings. — Berlin/Heidelberg: Springer, 1995. P. 21–35.
  62. Sobelman G. E., Fant K. CMOS circuit design of threshold gates with hysteresis // Symposium(International) on Circuits and Systems Proceedings, 1998. P. 61–64.
  63. Weng N., Yuan J. S., DeMara R. F., Ferguson D., Hagedorn M. Glitch power reduction for low power IC design // 9th Annual NASA Symposium on VLSI Design Proceedings.— Albuquerque, 2000. P. 7.5.1–7.5.7.
  64. Smith S. C. Completion-completeness for NULL convention digital circuits utilizing the bit-wise completion strategy // Conference (International) on VLSI Proceedings.— Las Vegas, 2003. P. 143–149.
  65. Smith S. C., DeMara R. F., Yuan J. S., Ferguson D., Lamb D. Optimization of NULL convention self-timed circuits // Integration, VLSI J., 2004. Vol. 37. No. 3. P. 135–165.
  66. Fant K.M. Logically determined design: Clockless system design with NULL convention logic. - N.Y.: John Wiley&Sons, 2005. 292 p.
  67. Smith S. C. Development of a large word-width high-speed asynchronous multiply and accumulate unit // Integration, VLSI J., 2005. Vol. 39. No. 1. P. 12-28.
  68. Smith S. C., Jia Di. Designing asynchronous circuits using NULL Convention Logic (NCL) // Synthesis Lectures Digital Circuits Syst., 2009. Vol. 4. No. 1. P. 61-73.
  69. Степченков Ю. А., Денисов А.Н., Дьяченко Ю. Г., Гринфельд Ф.И., Филимоненко О.П., Фомин Ю.П. Библиотека элементов БМК для критических областей применения // Системы и средства информатики, 2004. Вып. 14. С. 318-361.
  70. Степченков Ю. А., Денисов А.Н., Дьяченко Ю. Г. и др. Библиотека самосинхронных элементов для технологии БМК // Проблемы разработки перспективных микроэлектронных систем - 2006. - М.: ИППМ РАН, 2006. С. 259-264.
  71. Морозов Н. В., Степченков Ю. А., Дьяченко Ю. Г., Степченков Д.Ю. Функциональная полузаказная библиотека самосинхронных элементов ML03: Свид. №2010611908 от 12.03.10.
  72. Sokolov I. A., Stepchenkov Y. A., Dyachenko Y. G. Selftimed RS-trigger with the enhanced noise immunity: U.S. Patent No. 8232825. 31 p.
  73. Artisan Components. Chartered Semiconductor 0.18 ìm IB Process 1.8-Volt SAGE-XTM Standard Cell Library Databook. Release 1.0. 2003. 313 p.
  74. Дьяченко Ю. Г., Морозов Н.В., Степченков Д.Ю. Характеризация псевдодинамических элементов // Проблемы разработки перспективных микро- и наноэлектронных систем: IV Всеросс. науч.-технич. конф. (МЭС-2010): Сб. науч. тр. -М.: ИППМРАН, 2010. С. 32-35.
  75. Gate and throughput optimizations for null convention self timed digital circuits. http://citeseerx.ist.psu.edu/ viewdoc/download?doi=10.1.1.118.7825&rep=rep1& type= pdf.
  76. Edwards D., Bardsley A., Jani L., Plana L., Toms W. Balsa: A tutorial guide. Version V3.5 - Manchester, 19/5/06. 157 p. ftp://ftp.cs.man.ac.uk/pub/apt/ balsa/3.5/BalsaManual3.5.pdf.
  77. Reese R. B. UNCLE (Unified NCL Environment): Technical Report MSU-ECE-10-001. http://www.ece. msstate.edu/?reese/uncle/UNCLE.pdf.
  78. Рождественский Ю. В., Морозов Н.В., Степченков Ю. А., Рождественскене А. В. Универсальная подсистема анализа самосинхронных схем // Системы и средства информатики. - М.: Наука, 2006. Вып. 16. С. 463-475.

ИНФОРМАЦИОННАЯ МОДЕЛЬ ТЕХНОЛОГИИ ПРЕДСТАВЛЕНИЯ НАТУРНОГО ОБЪЕКТА И ИЗМЕНЕНИЯ ЕГО ПРОСТРАНСТВЕННОГО ПОЛОЖЕНИЯ.

  • О.П. Архипов  Орловский филиал Института проблем информатики Российской академии наук, arkhipov12@yandex.ru
  • Ю.А. Маньяков  Орловский филиал Института проблем информатики Российской академии наук, maniakov_yuri@mail.ru
  • Д.О. Сиротинин  Орловский филиал Института проблем информатики Российской академии наук, vespert@mail.ru

Литература

  1. Грузман И. С., Киричук В. С., Косых В.П., Перетягин Г.И., Спектор А. А. Цифровая обработка изображений в информационных системах. — Новосибирск: НГТУ, 2000.
  2. Маньяков Ю. А. Технология регистрации поведения объектов в трехмерном пространстве // Информационные технологии в науке, образовании и производстве (ИТНОП): Мат-лы Междунар. науч.-технич. конф.— Орел: ОрелГТУ, 2010. Т. 3. С. 182–186.

ДИНАМИЧЕСКИЕ КОНТЕКСТЫ БАЗЫ ДАННЫХ РЕЛЯЦИОННОГО ТИПА.

  • С.В. Зыкин  Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, szykin@mail.ru

Литература

  1. Vassiliadis P., Sellis T. A survey of logical models for OLAP databases // SIGMOD Record, 1999. Vol. 28. No. 4. P. 64–69.
  2. Pedersen T.B., Jensen C. S., Dyreson C.E. A foundation for capturing and querying complex multidimensional data // Inform. Syst., 2001. Vol. 26. No. 5. P. 383–423.
  3. Lechtenborger J., Vossen G. Multidimensional normal forms for data warehouse design // Inform. Syst., 2003. Vol. 28. No. 5. P. 415–434.
  4. Li H.-G., Yu H., Agrawal D., Abbadi A. E. Progressive ranking of range aggregates // Data Knowl. Eng., 2007. Vol. 63. No. 1. P. 4–25.
  5. Lehner W., Albrecht J., Wedekind H. Normal forms for multidimensional databases // 10th Conference (International) on Scientific and StatisticalDatabaseManagement Proceedings. — Capri: IEEE Computer Society, 1998. P. 63–72.
  6. Giorgini P., Rizzi S., Garzetti M. Goal-oriented requirement analysis for data warehouse design // DOLAP’05: 8th ACM Workshop (International) on Data Warehousing and OLAP Proceedings. — Bremen: ACM, 2005. P. 47– 56.
  7. Mazon J.-N., Trujillo J., Lechtenborger J. Reconciling requirement-driven data warehouses with data sources via multidimensional normal forms // Data Knowl. Eng., 2007. Vol. 63. No. 3. P. 725–751.
  8. Кукин А. В., Зыкин С. В. Построение математической модели учебного процесса для долгосрочного планирования // Математические структуры и моделирование, 2002. Вып. 10. С. 77–86.
  9. Редреев П. Г. Построение иерархий в многомерных моделях данных //Изв. Саратовского ун-та. Сер. Математика. Механика. Информатика, 2009. Т. 9.Вып. 4. Ч. 1. С. 84–87.
  10. Ульман Дж. Основы систем баз данных /Пер с англ.— М.: Финансы и статистика, 1983. 334 с. (Ullman J. Principles of database systems. — Computer Science Press, 1980. 379 p.)
  11. Мейер Д. Теория реляционных баз данных / Пер с англ. — М.: Мир, 1987. 608 с. (Maier D. The theory of relational databases. — Computer Science Press, 1983. 637 p.)
  12. Casanova M., Fagin R., Papadimitriou C. Inclusion dependencies and their interaction with functional dependencies // J. Comput. Syst. Sci., 1984. Vol. 28. No. 1. P. 29–59.
  13. Missaoui R., Godin R. The implication problem for inclusion dependencies: A graph approach // SIGMOD Record, 1990. Vol. 19. No. 1. P. 36–40.
  14. Levene M., Vincent M.W. Justification for inclusion dependency normal form// IEEE Trans.Knowl.Data Eng., 2000. Vol. 12. No. 2. P. 281–291.
  15. Miller L., Nilakanta S. Data warehouse modeler: A CASE tool for warehouse design // 31st Annual Hawaii Conference (International) on System Sciences. — Kohala Coast: IEEE Computer Society, 1998. Vol. 6. P. 42–48.
  16. Зыкин С.В., Полуянов А.Н. Формирование представлений данных с контекстными ограничениями // Омский научный вестник. Сер. Приборы, машины и технологии, 2008.№1(64). С. 141–144.
  17. Зыкин С.В. Построение отображения реляционной базы данных в списковую модель данных // Управляющие системы и машины, 2001.№3. С. 42–63.
  18. Зыкин С. В. Оценка мощности списка для отображения типа «частичное соединение» // Кибернетика и системный анализ, 1993.№6. С. 142–152.
  19. Зыкин С.В. Формирование гиперкубического пред- ставления данных со списочными компонентами // Информационные технологии и вычислительные системы, 2010.№4. С. 38–46.
  20. Редреев П. Г. Построение табличных приложений со списочными компонентами // Информационные технологии, 2009.№5. С. 7–12.

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

  • Е.Б. Козеренко  Институт проблем информатики Российской академии наук, kozerenko@mail.ru

Литература

  1. Kozerenko E. B. Cognitive approach to language structure segmentation for machine translation algorithms // Conference (International) on Machine Learning, Models, Technologies and Applications Proceedings. - Las Vegas, USA: CSREA Press, 2003. P. 49 - 55.
  2. Козеренко Е. Б. Стратегии выравнивания параллельных текстов: семантические аспекты//Информатика и её применения, 2013. Т. 7. Вып. 1. С. 82-89.
  3. Shaumyan S. Categorial grammar and semiotic universal grammar // IC-AI'03: Conference (International) on Artificial Intelligence Proceedings. - Las Vegas, USA: CSREA Press, 2003. P. 623 - 629.
  4. Kuznetsov I P., Kozerenko E. B., Matskevich A. G. Intelligent extraction of knowledge structures from natural language texts // 2011 IEEE/WIC/ACM Joint Conferences (International) on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT 2011 Proceedings. - Washington, DC, USA: IEEE Computer Society, 2011. Vol. 03. P. 269 - 272.
  5. Dempster A. P., Laird N.M., Rubin D.B. Maximum likelihood from incomplete data via the EM algorithm // J. Roy. Stat. Soc. B, 1977. Vol. 39. No. 1. P. 1 - 22.
  6. Lund K., Burgess C. Producing high-dimensional semantic spaces from lexical co-occurrence // Behav. Res. Meth. Instr. Comp., 1996. Vol. 28. No. 2. P. 203 - 208.
  7. Curran J.R. From distributional to semantic similarity. PhD Thesis. - Edinburgh: University of Edinburgh, 2004. 177 p.
  8. McCarthy D., Koeling R., Weeds J., Carroll J. Finding predominant senses in untagged text // 42nd AnnualMeeting of the Association for Computational Linguistics Proceedings. - Barcelona, Spain: ACL, 2004. P. 280 - 287.
  9. Clark S., Pulman S. Combining symbolic and distributional models of meaning // AAAI Spring Symposium on Quantum Interaction Proceedings. - Palo Alto, CA, USA: AAAI Press, 2007. P. 52 - 55. http://www.cl.cam.ac.uk/Ў«sc609/pubs/aaai07.pdf.
  10. Morozova Yu. Method for extracting translation correspondences from a parallel corpus // ICAI'13, WORLDCOMP' 13Proceedings. - LasVegas,USA:CSREAPress, 2013. Vol. II. P. 65 - 69.
  11. Danielson D. A. Vectors and tensors in engineering and physics. - 2nd ed. - Boulder, CO: Westview (Perseus), 2003. 282 p.
  12. Montague R. Universal grammar // Theoria, 1970. Vol. 36. P. 373 - 398. (Reprinted: Formal Philosophy: Selected papers of Richard Montague / Ed. R.H. Thomason. - New Haven - London: Yale University Press, 1974. P. 222 - 246.)
  13. Partee B. Compositionality // Compositionality in Formal Semantics: Selected Papers by Barbara H. Partee. - Oxford: Blackwell, 2004. P. 153 - 181.
  14. Pang B., Knight K., Marcu D. Syntax-based alignment of multiple translations: Extracting paraphrases and generating new sentences // NAACL'03: 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology Proceedings. - Stroudsburg, PA,USA:ACL, 2003. Vol. 1. P. 102 - 109.
  15. Bannard C., Callison-Burch C. Paraphrasing with bilingual parallel corpora // 43rd AnnualMeeting of the ACL Proceedings. - Stroudsburg, PA, USA: ACL, 2005. P. 597 - 604.
  16. Callison-Burch C. Syntactic constraints on paraphrases extracted from parallel corpora // EMNLP-2008 Proceedings. - Stroudsburg, PA, USA: ACL, 2008. P. 196 - 205.
  17. Ganitkevitch Ju., Callison-Burch C., Napoles C., Van Durme B. Learning sentential paraphrases from bilingual parallel corpora for text-to-text generation // 2011 Conference on Empirical Methods in Natural Language Processing Proceedings. - Stroudsburg, PA, USA: ACL, 2011. P. 1168-1179.
  18. Bogatyrev K. In defense of symbolic NLP //MLMTA’06: Conference (International) on Machine Learning,Models, Technologies and Applications Proceedings. — Las Vegas, USA: CSREA Press, 2006. P. 63–68.
  19. Malkov K. V., Tunitsky D. V. On extreme principles of machine learning in anomaly and vulnerability assessment //MLMTA’06: Conference (International) onMachine Learning, Models, Technologies and Applications Proceedings. — Las Vegas, USA: CSREA Press, 2006. P. 24–29.
  20. Ajdukiewicz K. Die Syntaktische Konnexitat // Stud. Philos., 1935. Vol. 1. No. 1. P. 1–27.
  21. Bar-Hillel Y. A quasiarithmetical notation for syntactic description // Language, 1953. Vol. 29. No. 1. P. 47–58.
  22. Lambek J. The mathematics of sentence structure // Am. Math.Mon., 1958. Vol. 65. No. 3. P. 154–170.
  23. Steedman M. Surface structure and interpretation.—Massachusetts: MIT Press, 1996. 140 p.
  24. Lambek J. Fromword to sentence: A computational algebraic approach to grammar. — Monza, Italy: Polimetrica Publ., 2008. 154 p.
  25. Moortgat M. Symmetric categorial grammar // J. Philos. Logic, 2009. Vol. 38. No. 6. P. 681–710.
  26. Gazdar G. Paradigm merger in natural language processing //Computing tomorrow:Future research directions in computer science /Eds.R.Milner, I.Wand.—Cambridge, U.K.: Cambridge University Press, 1996. P. 88–109.
  27. Clark S., Curran J.R. Wide-coverage efficient statistical parsing with CCG and log-linear models // Comput. Linguist., 2007. Vol. 33. No. 4. P. 493–552.
  28. Baroni M., Zamparelli R. Nouns are vectors, adjectives are matrices: Representing adjective–noun constructions in semantic space // 2010Conference onEmpiricalMethods in Natural Language Processing Proceedings.— Stroudsburg, PA, USA: ACL, 2010. P. 1183–1193.
  29. Grefenstette E., Sadrzadeh M. Experimental support for a categorical compositional distributional model of meaning // Conference on EmpiricalMethods inNatural Language Processing Proceedings. — Stroudsburg, PA, USA: ACL, 2011. P. 1394–1404.
  30. Hermann K.M., Blunsom P. The role of syntax in vector space models of compositional semantics // 51st Annual Meeting of the Association for Computational Linguistics Proceedings. — Stroudsburg, PA, USA: ACL, 2013. P. 894–904.
  31. Church K., Hanks P. Word association norms, mutual information, and lexicography // Comput. Linguist., 1996. Vol. 16. No. 1. P. 22–29.

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

  • В.А. Маренко  Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, marenko@ofim.oscsbras.ru
  • О.Н. Лучко  Омский государственный институт сервиса, o luchko@rambler.ru
  • О.С. Лупенцов   Омский государственный институт сервиса, lupentsov@mail.ru

Литература

  1. Максимов В.И., Тер-Егиазарова Н.В. IV Междунар. конф. «Когнитивный анализ и управление развитием ситуаций» CASC’2004 // Проблемы управления, 2005. №1. С. 83–87.
  2. Новиков Д. А. Теория управления образовательными системами. —М.: Народное образование, 2009. 416 с.
  3. Иванова С. В. Образование в организационно-гуманистическом измерении. —М.: РУДН, 2007. 236 с.
  4. Максимов В.И., Корноушенко Е.К., Качаев С. В. Когни- тивные технологии для поддержки принятия управленческих решений. http://emag.iis.ru/arc/infosoc/ emag.nsf/bpa/092aa276c601a997c32568c0003ab839.
  5. Горелова Г. В., Радченко С. А. Когнитивные технологии поддержки управленческих решений в социально-экономических системах // Известия Южного федерального университета. Технические науки, 2003. Т. 34.№5. С. 95–104.
  6. Лупенцов О. С., Лучко О.Н., Маренко В. А. Применение семантического дифференциала для реализации компетентностного подхода в вузе // Информатизация образования и науки, 2012.№3(15). С. 128–134.
  7. Лефевр В. А. Формула человека: Контуры фундаментальной психологии / Пер. с англ. — М.: Прогресс, 1991. 108 с.

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

  • А.И. Зейфман  Вологодский государственный университет; Институт проблем информатики Российской академии наук, Институт социально-экономического развития территорий Российской академии наук, a_zeifman@mail.ru
  • В.Ю. Королев  Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, vkorolev@cs.msu.su
  • А.В. Коротышева  Вологодский государственный университет, a_korotysheva@mail.ru
  • С.Я. Шоргин  Институт проблем информатики Российской академии наук, SShorgin@ipiran.ru

Литература

  1. Штойян Д. Качественные свойства и оценки стохастических моделей /Пер снем. —М.: Мир, 1979. 272 с. (Stoyan D. Qualitative Eigenschaften und Absch.atzungen stochastischerModelle.—Berlin:Akademie-Verlag, 1977. 198 p.)
  2. Zolotarev V.M. Quantitative estimates for the continuity property of queueing systems of type G/G/. // Theory Probab. Appl., 1977. Vol. 22. P. 679–691.
  3. Калашников В. В. Качественный анализ сложных систем методом пробных функций. — М.: Наука, 1978. 248 с.
  4. Stability problems for stochastic models // Lecture notes in mathematics / Eds. V. V. Kalashnikov, V.M. Zolotarev. — N.Y.: Springer Verlag, 1983. Vol. 982. 295 p.
  5. Stability problems for stochastic models // Lecture notes in mathematics / Eds. V. V. Kalashnikov, B. Penkov, V.M. Zolotarev.—N.Y.: Springer Verlag, 1987. Vol. 1233. 224 p.
  6. Stability problems for stochastic models // Lecture notes in mathematics / Eds. V. V. Kalashnikov, V.M. Zolotarev.— N.Y.: Springer Verlag, 1989. Vol. 1412. 380 p.
  7. Stability problems for stochastic models // Stability problems for stochastic models: 15th Perm Seminar Proceedings / Eds. V.M. Zolotarev, V.M. Kruglov, V. Yu. Korolev. — Perm, Russia, 1992. 312 p.
  8. Stability problems for stochastic models // Lecture notes in mathematics / Eds. V. V. Kalashnikov, V.M. Zolotarev.—N.Y.: Springer Verlag, 1993. Vol. 1546. 229 p.
  9. Gnedenko B. V., Korolev V. Yu. Random summation: Limit theorems and applications. — Boca Raton: CRC Press, 1996. 267 p.
  10. Карташов Н. В. Сильно устойчивые цепи Маркова // Проблемы устойчивости стохастических моделей: Труды семинара. — М.: ВНИИСИ, 1981. С. 54–59.
  11. Карташов Н. В. Неравенства в теоремах эргодичности и устойчивости цепей Маркова с общим фазовым пространством. I // Теория вероятностей и ее применения, 1985. Т. 30. Вып. 2. С. 230–240.
  12. Zeifman A. I. Stability for contionuous-time nonhomogeneous Markov chains // Lecture notes in mathematics / Eds. V. V. Kalashnikov, B. Penkov, V.M. Zolotarev. — N.Y.: Springer Verlag, 1985. Vol. 1233. P. 401–414.
  13. Aldous D. J., Fill J. Reversible Markov chains and random walks on graphs. Ch. 8. http://www.stat.berkeley.edu/ users/aldous/RWG/book.html.
  14. Diaconis P., Stroock D. Geometric bounds for eigenvalues of Markov chains // Ann. Appl. Probab., 1991. Vol. 1. P. 36–61.
  15. Mitrophanov A. Yu. Stability and exponential convergence of continuous-time Markov chains // J. Appl. Probab., 2003. Vol. 40. P. 970–979.
  16. Mitrophanov A. Yu. The spectral gap and perturbation bounds for reversible continuous-time Markov chains // J. Appl. Probab., 2004. Vol. 41. P. 1219–1222.
  17. Mitrophanov A. Yu. Ergodicity coefficient and perturbation bounds for continuous-timeMarkov chains //Math. Inequal. Appl., 2005. Vol. 8. P. 159–168.
  18. Митрофанов А.Ю. Оценки устойчивости для конечных однородных цепей Маркова с непрерывным временем //Теория вероятностей и ее применения, 2005. Т. 50. Вып. 2. С. 371–379.
  19. Kartashov N. V. Strong stable Markov chains. – Utrecht, Kiev: VSP, TBiMC, 1996. 138 p.
  20. Altman E., Avrachenkov K., Nunez-Queija R. Perturbation analysis for denumerable Markov chains with application to queueing models // Adv. Appl. Probab., 2004. Vol. 36. P. 839–853.
  21. Mouhoubi Z., Aissani D. New perturbation bounds for denumerable Markov chains // Linear Algebra and Its Applications, 2010. Vol. 432. P. 1627–1649.
  22. Ferre D., Herve L., Ledoux J. Regular perturbation of V-geometrically ergodic Markov chains // J. Appl. Probab., 2013. Vol. 50. P. 184–194.
  23. Meyn S. P., Tweedie R. L. Computable bounds for geometric convergence rates of Markov chains // Ann. Appl. Probab., 1994. Vol. 4. P. 981–1012.
  24. Yuanyuan L. Perturbation bounds for the stationary distributions ofMarkov chains // SIAM J.Matrix Anal. Appl., 2012. Vol. 33. P. 1057–1074.
  25. Gnedenko D. B. On a generalization of Erlang formulae // Zastosow. Mat., 1972. Vol. 12. P. 239–242.
  26. Gnedenko B., Soloviev A. On the conditions of the existence of final probabilities for a Markov process // Math. Oper. Stat., 1973. Vol. 4. P. 379–390.
  27. Massey W. A., Whitt W. Uniform acceleration expansions for Markov chains with time-varying rates // Ann. Appl. Probab., 1998. Vol. 8. P. 1130–1155.
  28. Гнеденко Б. В., Макаров И.П. Свойства решений задачи с потерями в случае периодических интенсивностей // Дифф. уравнения, 1971. Т. 7. Вып. 9. С. 1696– 1698.
  29. Зейфман А.И. Качественные свойства неоднородных процессов рождения и гибели // Проблемы устойчивости стохастических моделей. — М.: ВНИИСИ, 1988. С. 32–40.
  30. Зейфман А.И. Некоторые свойства системы с потерями в случае переменных интенсивностей // Автоматика и телемеханика, 1989. Вып. 1. С. 107–113.
  31. Zeifman A. I. Some estimates of the rate of convergence for birth and death processes // J. Appl. Probab., 1991. Vol. 28. P. 268–277.
  32. Zeifman A. I. Upper and lower bounds on the rate of convergence for nonhomogeneous birth and death processes // Stoch. Proc. Appl., 1995. Vol. 59. P. 157–173.
  33. Granovsky B. L., Zeifman A. I. Nonstationary queues: Estimation of the rate of convergence // Queueing Syst., 2004. Vol. 46. P. 363–388.
  34. Зейфман А.И., Бенинг В. Е., Соколов И. А. Марковские цепи и модели с непрерывным временем. —М.: Элекс-КМ, 2008. 168 с.
  35. Ван Доорн Э. А., Зейфман А.И., Панфилова Т.Л.Оценки и асимптотика скорости сходимости для процессов рождения и гибели // Теория вероятностей и ее применения, 2009. Т. 54. С. 18–38.
  36. Zeifman A. I., Isaacson D. On strong ergodicity for nonhomogeneous continuous-time Markov chains // Stoch. Proc. Appl., 1994. Vol. 50. P. 263–273.
  37. Zeifman A. I. Stability of birth and death processes // J.Math. Sci., 1998. Vol. 91. P. 3023–3031.
  38. Zeifman A. I., Korotysheva A. Perturbation bounds for Mt/Mt/N queue with catastrophes // StochasticModels, 2012. Vol. 28. P. 49–62.
  39. Zeifman A. I., Korolev V., Korotysheva A., Satin Y., Bening V. Perturbation bounds and truncations for a class of Markovian queues // Queueing Syst., 2014 (in press).
  40. Zeifman A. I., Leorato S., Orsingher E., Satin Ya., Shilova G. Some universal limits for nonhomogeneous birth and death processes // Queueing Syst., 2006. Vol. 52. P. 139–151.
  41. Далецкий Ю.Л., Крейн М. Г. Устойчивость решений дифференциальных уравнений в банаховом пространстве. —М.: Наука, 1970. 386 с.
  42. Zeifman A. I., Satin Ya., Panfilova T. Limiting characteristics for finite birth–death–catastrophe processes //Math. Biosci., 2013. Vol. 245. P. 96–102.
  43. Thorne J. L., Kishino H., Felsenstein J. An evolutionary model for maximum-likelihood alignment of DNA sequences // J.Mol. Evol., 1991. Vol. 33. P. 114–124.
  44. Mitrophanov, A. Yu., Borodovsky M. Convergence rate estimation for the TKF91 model of biological sequence length evolution //Math. Biosci., 2007. Vol. 209. P. 470–485.
  45. Сатин Я. А., Зейфман А.И., Коротышева А. В., Шоргин С. Я. Об одном классе марковских систем обслуживания //Информатика и её применения, 2011. Т. 5. Вып. 4. С. 18–24.
  46. Сатин Я. А., Зейфман А.И., Коротышева А. В. О скорости сходимости и усечениях для одного класса марковских систем обслуживания // Теория вероятностей и ее применения, 2012. Т. 57. Вып. 3. С. 611–621.
  47. Zeifman A. I., Korotysheva A., Satin Ya., Shilova G., Panfilova T. On a queueing model with group services // Lecture notes in communications in computer and information science. 2013. Vol. 356. P. 198–205.
  48. Zeifman A. I., Satin Y., Shilova G., Korolev V., Bening V., Shorgin S. On Mt/Mt/S type queue with group services // ECMS 2013: 27th Conference (European) on Modeling and Simulation Proceedings. — Alesund, Norway, 2013. P. 604–609.
  49. Зейфман А.И., Коротышева А. В., Сатин Я. А., Шоргин С. Я. Оценки в нуль-эргодическом случае для некоторых систем обслуживания // Информатика и её применения, 2012. Т. 6. Вып. 4. С. 27–33.

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

  • В.И. Киреев  Московский государственный горный университет, Vladimir-Kireyev@mail.ru
  • М.М. Гершкович  Институт проблем информатики Российской академии наук, makmg@mail.ru
  • Т.К. Бирюкова   Институт проблем информатики Российской академии наук, yukonta@mail.ru

Литература

  1. Гершкович М.М., Бирюкова Т.К., Синицын В.И. Проблемы идентификации и распознавания информационных объектов при создании распределенных информационно-телекоммуникационных систем //Оптико-электронные приборы и устройства в системах распознавания образов, обработки изображений и символьной информации (Распознавание-2012): Сб. мат-лов X Междунар. науч.-технич. конф. — Курск: ЮЗГУ, 2012. С. 24–26.
  2. Завьялов Ю. С., Квасов Б.И. , Мирошниченко В. Л. Методы сплайн-функций. — Новосибирск: Наука, 1980. 350 с.
  3. Завьялов Ю. С., Леус В. А., Скороспелов В. А. Сплайны в инженерной геометрии. — М.: Машиностроение, 1985. 224 с.
  4. Квасов Б.И. Методы изогеометрической аппроксимации сплайнами. —М.: Физматлит, 2006. 360 с.
  5. Стечкин С. Б., Субботин Ю.Н. Сплайны в вычислительной математике. —М.: Наука, 1976. 248 с.
  6. Киреев В.И., Бирюкова Т.К. Интегродифференциальные консервативные сплайны и их применение в интерполяции, численном дифференцировании и интегрировании // Вычислительные технологии, 1995. Т. 4. №16. С. 233–244.
  7. Бирюкова Т.К., Гершкович М.М., Киреев В.И. Интегро-дифференциальные многочлены и сплайны произвольной четной степени в задачах анализа параметров функционирования распределенных информационных систем // Системы компьютерной математики и их приложения (СКМП-2012): Мат-лы XIII Междунар. науч. конф., посвященной 75-летию профессора Э.И. Зверовича. — Смоленск: СмолГУ, 2012. Вып. 13. С. 67–72.
  8. Киреев В.И., Пантелеев А. В. Численные методы в примерах и задачах. —М.: Высшая школа, 2008. 480 с.
  9. Волков Е. А. Численные методы. — М.: Наука, 1982. 254 с.

STABILITY ANALYSIS OF AN OPTICAL SYSTEM WITH RANDOM DELAY LINES LENGTHS.

  • E. Morozov  Institute of Applied Mathematical Research, Karelian Research Center, Russian Academy of Sciences, 11 Pushkinskaya Str., Petrozavodsk 185910, Russian Federation
  • L. Potakhina  Petrozavodsk State University, 33 Lenin Str., Petrozavodsk 185910, Russian Federation
  • K. De Turck   Ghent University, TELIN Department, 41 Sint-Pietersnieuwstraat,Gent B-9000, Belgium
АНАЛИЗ УСТОЙЧИВОСТИ СИСТЕМЫ ПЕРЕДАЧИ ДАННЫХ С ОПТИЧЕСКИМИ ЛИНИЯМИ ЗАДЕРЖКИ СЛУЧАЙНОЙ ДЛИНЫ.
  • Е.В.Морозов  Институт прикладных математических исследований КарНЦ РАН, Россия, Республика Карелия, г. Петрозаводск 185910, ул. Пушкинская 11; Петрозаводский государственный университет, Россия, Республика Карелия, г. Петрозаводск 185910, пр. Ленина 33; emorozov@karelia.ru
  • Л.В. Потахина  Институт прикладных математических исследований КарНЦ РАН, Россия, Республика Карелия, г. Петрозаводск 185910, ул. Пушкинская 11; Петрозаводский государственный университет, Россия, Республика Карелия, г. Петрозаводск 185910, пр. Ленина 33; lpotahina@gmail.com
  • К. Де Турк  Университет Гента, Sint-Pietersnieuwstraat 41, Гент B-9000, Бельгия; kdeturck@telin.ugent.be

Литература

  1. Callegati F. Optical buffers for variable length packets // IEEE Comm. Lett., 2000. Vol. 4. No. 9. P. 292–294.
  2. Rogiest W., Morozov E., Fiems D., Laevens K., Bruneel H. Stability of single-wavelength optical buffers // Eur. Trans. Telecomm., 2010. Vol. 21. No. 3. P. 202–212.
  3. Morozov E., Rogiest W., De Turck K., Fiems D. Stability of multiwavelength optical buffers with delay-oriented scheduling // Trans. Emerging Telecomm. Technol., 2012. Vol. 23. No. 3. P. 217–226.
  4. Asmussen S. Applied probability and queues. — 2nd ed. — NY: Springer-Verlag, 2003. 440 p.
  5. Morozov E., Delgado R. Stability analysis of regenerative queueing systems // Automation Remote Control, 2009. Vol. 70. No. 12. P. 1977–1991.
  6. Feller W. An introduction to probability theory and its applications. Vol. II. — 1971. New York: John Wiley & Sons. 704 p.
  7. Chang J. Inequalities for theovershoot //Ann.Appl.Probab., 1994. Vol. 4. No. 4. P. 1223–1233.
  8. Billingsley, P. Convergence of probability measures. — Wiley, 1968. 296 p.
  9. R Foundation for Statistical Computing. Vienna, Austria. http://www.R-project.org/.