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

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

Русский | English     Контакты

Об институтеНаправления деятельностиНаучно-исследовательские работы и проектыОбъекты интеллектуальной собственностиНаучные журналы ИПИ РАНДругие публикацииСеминары и конференции


Поиск:

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

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

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

КОРРЕЛЯЦИОННЫЕ МЕТОДЫ ПОСТРОЕНИЯ АНАЛИТИЧЕСКИХ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ ФЛУКТУАЦИЙ ПОЛЮСА ЗЕМЛИ ПО АПРИОРНЫМ ДАННЫМ

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

Литература

  1. Маннк Н., Макдональд Г. Вращение Земли.-М.:Мир, 1964.
  2. Мориц Г., Мюллер А. Вращение Земли: теория и наблюдения. - Киев: Наук. думка, 1992.
  3. IERS Annual Reports, 2000, 2001,2002 (Frankfurt am Mein: BKG. 2001-2003).
  4. Акуленко Л.Д., Кумакшев С. А., Марков Ю. Г., Рыхлова Л.В. Гравитационно-приливной механизм колебаний полюса Земли // Астрон. журн., 2005. Т. 82.№10. С. 950-960.
  5. Марков Ю. Г., Синицын И.Н. Стохастическая модель движения полюса деформируемой Земли // ДАН, 2002. Т. 385.№2. С. 186-192.
  6. Марков Ю. Г., Синицын И.Н. Флуктуационно-диссипативная модель движения полюса деформируемой Земли // ДАН, 2002. Т. 387.№4. С. 482-486.
  7. Марков Ю. Г., Синицын И.Н. Нелинейные стохастические корреляционные модели движения полюса деформируемой Земли // Астрон. журн., 2003. Т. 80. №2. С. 186-192.
  8. Марков Ю. Г., Синицын И.Н. Распределение флуктуаций движения полюса Земли // ДАН, 2003. Т. 390. №3. С. 343-346.
  9. Марков Ю. Г., Синицын И.Н. Многомерные распределения флуктуаций полюса Земли //ДАН, 2003. Т. 391. №2. С. 194-198.
  10. Марков Ю. Г., Синицын И.Н. Спектрально-корреляционные модели флуктуаций вращательного движения Земли // ДАН, 2003. Т. 393.№5. С. 618-623.
  11. Марков Ю. Г., Синицын И.Н. Спектральнокорреляционные и кинетические модели движения Земли // Астрон. журнал, 2004. Т. 81. №2. С. 184-192.
  12. Марков Ю. Г., Синицын И.Н. Влияние параметрических флуктуационно-диссипативных сил на движение полюса Земли // ДАН, 2004. Т. 395. №1. С. 51-54.
  13. Синицын И.Н. Стохастические модели флуктуаций движения Земли в условиях пуассоновских возмущений // Системы и средства информатики. Спец. вып. Геоинформационные технологии. - М.: ИПИ РАН, 2004. С. 39-55.
  14. Марков Ю. Г., Дасаев Р. Р., Перепелкин В. В., Синицын И.Н., Синицын В.И. Стохастические модели вращения Земли с учетом влияния Луны и планет // Космические исследования, 2005. Т. 43. №1. С. 54-66.
  15. Синицын И.Н. Стохастические информационные модели негауссовских флуктуаций движения полюса Земли // Системы и средства информатики. Спец. вып. "Научно-методические проблемы информатики".-М.: ИПИ РАН, 2006. С. 157-178.
  16. Марков Ю. Г., Синицын И.Н. Чандлеровские колебания движения полюса Земли // ДАН, 2006. Т. 407. С. 485-488.
  17. Марков Ю. Г., Синицын И.Н. Флуктуации чандлеровских колебаний полюса Земли // ДАН, 2006. Т. 409. №1. С. 48-51.
  18. Марков Ю. Г., Синицын И.Н. Чандлеровские колебания полюса Земли при параметрических возмущениях // ДАН, 2006. Т. 410.№4. С. 1-3.
  19. Марков Ю. Г., Синицын И.Н. Спектрально-корреляционная модель флуктуаций чандлеровских колебаний полюса Земли // Астрон. журн., 2006. Т. 83.№10. С. 950-960.
  20. Марков Ю. Г., Перепелкин В. В., Синицын И.Н., Корепанов Э. Р., Хоанг Тхо Ши. Амплитудно-частотный анализ чандлеровских колебаний полюса Земли // Космические исследования, 2007.№6.
  21. Марков Ю. Г., Синицын И.Н. Стохастическая модель колебаний полюса Земли с параметрическими возмущениями // ДАН, 2007. Т. 417.№1. С. 1-4.
  22. Синицын И. Н. Об укороченных моментных уравнениях статистической динамики движения полюса Земли // Системы и средства информатики. Спец. вып. "Математические модели в информационных технологиях". -М.: ИПИ РАН, 2006. С. 24-46.
  23. Пугачев В. С., Синицын И.Н. Теория стохастических систем. 2-е изд. -М.: Логос, 2004.
  24. Синицын И.Н. Фильтры Калмана и Пугачева. 2-е. изд. -М.: Логос, 2007.
  25. Синицын И.Н. Развитие теории фильтров Пугачева для оперативной обработки информации в стохастических системах // Информатика и её применения, 2007. Т. 1. Вып. 1. С. 3-13.

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

  • В. Н. Захаров. Институт проблем информатики Российской академии наук. VZakharov@ipiran.ru
  • Л. А. Калиниченко.  Институт проблем информатики Российской академии наук. leonidk@synth.ipi.ac.ru
  • И. А. Соколов.  Институт проблем информатики Российской академии наук. isokolov@ipiran.ru
  • С. А. Ступников.  Институт проблем информатики Российской академии наук. ssa@ipi.ac.ru

Литература

  1. Denning P. Computing is a Natural Science // Communications of the ACM, 2007. Vol. 50,№7.
  2. Denning P. Great principles of computing // Communications of the ACM, 2003. Vol. 46.№11.
  3. Kroger P. Molecular biology data: Database overview, modelling issues, and perspectives. - Munich: Institute for Informatics, Munich University. 2001.
  4. Bry F., Kroger P. A computational biology database digest: Data, data analysis, and data management // J. of Distributed and Parallel Databases, 2003. Vol. 13. №1. P. 7-42.
  5. Data model for observation, Version 0.23. // IVOA DM WG Internal Draft, 2004.
  6. Cambresy L., Derriere S., Padovani P., Martinez A. P., and Richard A. Ontology of astronomical object types, Version 1.0. // IVOA Technical Note http://www.ivoa.net/ Documents/ cover/AstrObjectOntology-20061031.html, 2006.
  7. Kalinichenko L. A., Briukhov D. O., Martynov D.O., Skvortsov N. A., Stupnikov S. A. Mediation framework for enterprise information system infrastructures // 9th Conference (International) on Enterprise Information Systems (ICEIS), 2007.
  8. Калиниченко Л. А. Методология организации решения задач над множественными распределенными неоднородными источниками информации // Международная конференция "Современные информационные технологии и ИТ- образование".-М.:МГУ, 2005. С. 20-37.
  9. Kalinichenko L. A. Data model transformation method based on axiomatic data model extension // 4th Conference (International) on Very Large Data Bases, 1978.
  10. Калиниченко Л. А. Методы и средства интеграции неоднородных баз данных.-М.: Наука, 1983.
  11. Kalinichenko L. A. Methods and tools for equivalent data model mapping construction // Proc. EDBT'90 Conference. Springer-Verlag, 1990. P. 92-119.
  12. Kalinichenko L. A., Skvortsov N. A. Extensible ontological modeling framework for subject mediation // 4th Russian Scientific Conference "DIGITAL LIBRARIES: Advanced Methods and Technologies, Digital Collections." - Dubna, 2002. v Kalinichenko L. A. Canonical model development techniques aimed at semantic interoperability in the heterogeneous world of information modeling // Knowledge and model driven information systems engineering for networked organizations: Proc. of the CAiSE INTEROP Workshop. - Riga: Riga Technical University, 2004. P. 101-116.
  13. Kalinichenko L. A., Stupnikov S. A., Zemtsov N. A. Extensible canonical process model synthesis applying formal interpretation // East-European Conference ADBIS'05. Springer, 2005.
  14. Калиниченко Л. А., Ступников С. А., Земцов Н. А. Синтез канонических моделей для интеграции неоднородных источников информации. - М.: ИПИ РАН, 2005. 87 с.
  15. Калиниченко Л. А. Синтез канонических моделей, предназначенных для достижения семантической интероперабельности неоднородных источников информации // Системы и средства информатики: Спец. вып. "Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем". -М.: ИПИ РАН, 2005.
  16. Ступников С. А. Формальная семантика ядра канонической объектной информационной модели // Системы и средства информатики: Спец. вып. "Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем". -М.: ИПИ РАН, 2005.
  17. Ступников С. А. Отображение спецификаций, выраженных средствами ядра канонической модели, в Нотацию Абстрактных Машин // Системы и средства информатики: Спец. вып. "Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем".-М.:ИПИ РАН, 2005.
  18. Ступников С. А. Автоматизация верификации уточнения при композиционном проектировании информационных системи посредников //Системыи средства информатики: Спец. вып. "Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем".-М.:ИПИ РАН, 2005.
  19. Ступников С. А., Брюхов Д. О. Представление UML и OCL в канонической информационной модели // Системы и средства информатики: Спец. вып. "Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем". -М.: ИПИ РАН, 2005.
  20. Kalinichenko L. A. Method for data models integration in the common paradigm // Advances in Databases and Information Systems: Proc. of the 1st East-European Conference. - St. Petersburg: Nevsky Dialekt, 1997. P. 275-284.
  21. Butler M. csp2B: A practical approach to combining CSP and B // Formal Aspects of Computing, 2000. Vol. 12.
  22. Treharne H., Schneider S. How to Drive a B machine // Formal Specification and Development in Z and B: First International Conference of Z and B Users, 2000.
  23. Stupnikov S. A., Kalinichenko L. A., Dong J. S. Applying CSP-like workflow process specifications for their refinement in AMN by pre-existing workflows // Advances in Databases and Information Systems: Proc. of the 6thEast-European Conference. - Bratislava: Slovak University of Technology, 2002. P. 206-215.
  24. Abrial J.-R. B#: Toward a synthesis between Z and B // ZB'2003 - Formal Specification and Development in Z and B: International Conference of B and Z Users, 2003. P. 168-177.
  25. Stupnikov S. A., Kalinichenko L. A., Bressan S. Interactive discovery and composition of complexWeb services // East-EuropeanConference onADBIS'06.Springer, 2006.
  26. Abrial J.-R. B-Technology. Technical overview. B-Core (UK) Ltd., 1993.
  27. Abrial J.-R. The B-Book: Assigning programs to meanings. - Cambridge: Cambridge University Press, 1996.
  28. Cansell D.,Mery D. Foudations of the BMethod // Computing and Informatics, 2003. Vol. 22, No. 3-4. P. 221- 256.
  29. The B-Toolkit. http://www.b-core.com/ONLINEDOC/BToolkit.html.
  30. Atelier B: The industrial tool to efficiently deploy the B method. http://www.atelierb.societe.com/indexuk.html.
  31. Kalinichenko L. A., Stupnikov S. A., Martynov D.O. SYNTHESIS: A language for canonical information nmodeling and mediator definition for problem solving in heterogeneous information resource environments. - M.: IPI RAS, 2007. 171 p.
  32. Van den Brand M. G. J., van Deursen A., Heering J., et al. The ASF + SDF meta-environment: A component based language development environment // Compiler Construction 2001 / Ed. by R. Wilhelm. Springer, 2001. P. 365-370.
  33. Van der Aalst W.M. P., ter Hofstede A.H.M., Kiepuszewski B., Barros A. P. Workflow patterns // Distributed and Parallel Databases, 2003. Vol. 14.№3. P. 5-51.
  34. OWL Web ontology language reference. W3C Recommendation. http://www.w3.org/TR/owl-ref/, 2004.
  35. Patel-Schneider P. F., Hayes P., Horrocks I. OWL Web ontology language semantics and abstract syntax // W3C Recommendation. http://www.w3.org/TR/owl-semantics/, 2004.
  36. Atzeni P. Schema and data translation: A personal perspective // 11th East European Conference ADBIS 2007. Springer, 2007.
  37. Atzeni P., Cappellari P., Bernstein P. ModelGen: Model independent schema translation // 21st International Conference on Data Engineering, 2005.
  38. Hull R., King R. Semantic database modeling: Survey, applications and research issues // ACMComputing Surveys, 1987. Vol. 19.№3.
  39. Atzeni P., Cappellari P., Gianforme G. MIDST: Model independent schema and data translation // SIGMOD2007 Conference.
  40. BernsteinP.Applyingmodelmanagement to classicalmeta data problems // 2003 CIDR Conference.
  41. Melnik S., Rahm E., Bernstein P. Rondo: A programming platform for generic model management // SIGMOD 2003 Conference.
  42. Melnik S., Bernstein P., Halevy A., Rahm E. Supporting executable mappings inmodel management // SIGMOD 2005 Conference.
  43. Atzeni P., Cappellari P., Bernstein P. A multilevel dictionary for model management // ER 2005 Conference. Springer-Verlag, 2005.
  44. Bernstein P.,Melnik S., Mork P. Interactive schema translation with instance-level mappings // 31st VLDB Conference, 2005.
  45. Alagic S., Bernstein P. A model theory for generic schema management // DBPL, 2001.
  46. Miller R., Ioannidis Y., Ramakrishnan R. Schema equivalence in heterogeneous systems: Bridging theory and practice // Information Systems, 1994. Vol. 19.№1.
  47. Barsalou T., Gangopadhyay D. M(dm): An open framework for interoperation of multimodel multidatabase systems // ICDE 1992. - Los Alamitos: IEEE Computer Society Press, 1992.
  48. Haas L.M., Hernandez M. A., Ho H., Popa L., and Roth M. Clio, 2005. Grows up: From research prototype to industrial tool // Proc. of the ACM SIGMOD Conference, 2005. Baltimore, Maryland, USA.

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

  • А. В. Печинкин.  Институт проблем информатики Российской академии наук. apechinkin@ipiran.ru
  • И. А. Соколов.  Институт проблем информатики Российской академии наук. isokolov@ipiran.ru
  • В.В. Чаплыгин.  Институт проблем информатики Российской академии наук. vchaplygin@ipiran.ru

Литература

  1. Печинкин А.В., Соколов И. А., Чаплыгин В. В. Многолинейные системы массового обслуживания с независимыми отказами и восстановлениями приборов // Системы и средства информатики. Спец. выпуск "Математическое и алгоритмическое обеспечение информационно-телекоммуникационных систем". - М.: ИПИ РАН, 2006. С. 99-123.
  2. Печинкин А. В., Соколов И. А., Чаплыгин В. В. Многолинейная система массового обслуживания с конечным накопителем и ненадежными приборами // Информатика и её применения, 2007. Т. 1. Вып. 1. С. 27-39.
  3. Печинкин А. В., Чаплыгин В. В. Стационарные характеристики системы массового обслуживания SM/MSP/n/r // Автоматика и телемеханика, 2004. №9. С. 85-100.

ПРОГРАММНАЯ ИНФРАСТРУКТУРА ИНФОРМАЦИОННОГО WEB-ПОРТАЛА

  • А. В. Босов.  Институт проблем информатики Российской академии наук. AVBosov@ipiran.ru
  • А. В. Иванов.  Институт проблем информатики Российской академии наук. AIvanov@ipiran.ru

Литература

  1. Коули С. Конец рынка порталов // Computerworld, 2005. №32. http://www.osp.ru/cw/2005/32/036 1.htm.
  2. Порталы сегодня // Computerworld, 2004. №36. http://www.osp.ru/cw/2004/36/000 39.htm.
  3. Соколов И. А., Босов А. В., Бездушный А.Н. О Информационном Web-портале Российской академии наук //Системыисредстваинформатики, 2003.Вып. 13. С. 119-138.
  4. Босов А. В., Серебряков В. А. Информационный веб-портал Российской академии наук //Материалы конференции "Государство в XXI веке", Москва, 10 апреля 2003 г. http://www.microsoft.com/rus/events/gov2003/schedule.asp.
  5. Босов А. В., Иванов А.В. О реализации системы управления содержанием информационного Web-портала // Информационные технологии и вычислительные системы, 2004.№4. С. 85-103.
  6. Босов А. В., Чавтараев Р. Б. Управление информационными компонентами Web-портала РАН//Системы и средства информатики, 2003. Вып. 13. С. 156-171.
  7. Босов А. В., Полухин А.Н. Технология доступа и интеграции данных в информационном web-портале // Системы и средства информатики, 2006. Вып. 16. С. 355-373.
  8. Bezdushnyi A.N., Zhizhchenko A. B., Kulagin M. V., Serebryakov V. A. Integrated information resource system of the Russian Academy of Sciences and a technology for developing digital libraries // Programming and Computer Software, 2000. Vol. 26. No. 4. P. 177-185.
  9. Рихтер Дж. Программирование на платформе Microsoft .NET Framework. Мастер класс / Пер. с англ. 3-е изд. - М.: Издательско-торговый дом "Русская редакция"; СПб.: Питер, 2005.
  10. Howard M., LeBlank D. Writing secure code. 2nd ed. Microsoft Press, 2003.
  11. Босов А. В.,Полухин А.Н. О реализации сервиса аутентификации web-портала // Информационные технологии и вычислительные системы, 2005.№3. С. 50- 60.
  12. Босов А. В., Чавтараев Р. Б. Организация поиска в Информационном web-портале // Системы и средства информатики. Специальный выпуск "Научнометодологические проблемы информатики", 2006. С. 438-460.
  13. Россия. Веб-портал РАН обеспечивает эффективный доступ научного сообщества к актуальной информации // Информационный бюллетень Microsoft, 2004. Вып. 26. Ноябрь.
  14. Российская академия наук реализует систему управления содержанием своего информационного веб- портала на основе платформы Microsoft .Net. Примеры внедрения. http://www.microsoft.com/Rus/Casestudies/CaseStudy.aspx?id=318.

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

  • А. В. Борисов.  Институт проблем информатики Российской академии наук. ABorisov@ipiran.ru

Литература

  1. Kalman R. E., Bucy R. S. New results in linear filtering and prediction problems // Trans. ASME, 1961. Ser. D. Vol. 83. P. 95-111.
  2. Wonham W.N. Some applications of stochastic differential equations to optimal nonlinear filtering // SIAM J. of Control, 1965. No. 2. P. 347-369.
  3. Martin C. J., Mintz M. Robust filtering and prediction for linear systems with uncertain dynamics: A game-theoretic approach // IEEE Trans. Autom. Contr., 1983. Vol. 9. P. 888-896.
  4. Ананьев Б.И. Минимаксная линейная фильтрация многошаговых процессов с неопределенными распределениями возмущений // АиТ, 1993. №10. С. 131-139.
  5. Кац И. Я., Куржанский А. Б. Минимаксная многошаговая фильтрация в статистически неопределенных ситуациях // АиТ, 1978.№11. С. 79-87.
  6. Панков А. Р., Миллер Г. Б. Фильтрация случайного процесса в статистически неопределенной линейной стохастической дифференциальной системе // АиТ, 2005.№1. C. 59-71.
  7. Siemenikhin K. V., Lebedev M. V., Platonov E.N. Kalman filtering by minimax criterion with uncertain noise intensity functions // Proc. Joint 44th IEEE Conf. on Decision and Control and European Control Conf. (CDCECC' 2005).- Seville, 2005. P. 1929-1934.
  8. Elliott R. J., Aggoun L., Moore J.B. HiddenMarkov models: Estimation and control. - Berlin: Springer-Verlag, 1995.
  9. Борисов А. В. Минимаксное апостериорное оценивание в скрытых марковских моделях // АиТ, 2007. №11. C. 31-45.
  10. Борисов А. В. Минимаксное апостериорное оценивание марковских процессов с конечным числом состояний // АиТ, 2008 (в печати).
  11. Gilbert E.M. Capacity of a burst-noise channel // Bell Syst. Tech. J., 1960.№5. P. 1253-1265.
  12. Липцер Р.Ш., Ширяев А.Н. Теория мартингалов. - М.: Наука, 1986.
  13. Дуб Дж.Л. Вероятностные процессы.-М.:ИЛ, 1956.
  14. Wong E., Hajek B. Stochastic processes in engineering systems. - New York: Springer, 1985.
  15. Эллиотт Р. Стохастический анализ и его приложения. -М.:Мир, 1986.
  16. Липцер Р.Ш., Ширяев А.Н. Статистика случайных процессов.-М.: Наука, 1974.


БАЙЕСОВСКИЙ ПОДХОД К АНАЛИЗУ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ И ПОКАЗАТЕЛЕЙ НАДЕЖНОСТИ

  • А. А. Кудрявцев.  Факультет вычислительной математики и кибернетики МГУ им.М.В. Ломоносова, nubigena@hotmail.com
  • С. Я. Шоргин.  Институт проблем информатики Российской академии наук. sshorgin@ipiran.ru

Литература

  1. Шоргин С.Я. О байесовских моделях массового обслуживания // II Научная сессия Института проблем информатики РАН: тезисы докладов. - М.: ИПИ РАН. 2005. С. 120-121.
  2. Kozlov B. A., Ushakov I. A. Reliability Handbook. - Holt, RinehartWinston, 1970.
  3. D'Apice C., Manzo R., Shorgin S. Some Bayesian queueing and reliability models // Electronic J. "Reliability: Theory & Applications". Vol. 1. No. 4. December, 2006.
  4. Двайт Г. Таблицы интегралов и другие математические формулы / Пер. с англ.-М.: Наука, 1966. 228 с.
  5. Градштейн И. С., Рыжик И.М. Таблицы интегралов, сумм, рядов и произведений.-М.:Наука, 1971. 1108 с.





 
© 2016 Институт проблем информатики Российской Академии наук Русский | English     Контакты