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

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



«INFORMATICS AND APPLICATIONS»
Scientific journal
Volume 3, Issue 2, 2009

Content | Abstract | About  Authors

Bibliography

A PROBABILISTIC ANALYSIS OF FAULT DETECTION LATENCY IN A NETWORK OF FINITE STATE MACHINES.

  • A. V. Pechinkin   IPI RAN. apechinkin@ipiran.ru
  • S. L. Frenkel   IPI RAN. fsergei@mail.ru

literature

  1. Lala P. Self-checking and fault-tolerant digital design. - Morgan Kaufmann Publ., 2000.
  2. Baranov S. Logical synthesis of digital systems. - Tallin: TTU Publs., 2008.
  3. Baumann R. Soft errors in advanced computer systems // IEEE Design and Test., 2005 (May-June). P. 258-266.
  4. Soh B. C., Dillon T. S. Incorporation of multiple errors in reliability modeling of fault-tolerant systems // IEEE Fault Tolerant Systems, Pacific Rim International Symposium Proceedings, 1991. P. 148-153.
  5. Hagbae K., Kang G. S., Chuck R. On reconfiguration latency in fault-tolerant systems // IEEE Aerospace Applications Conference Proceedings, 1995. P. 287-301.
  6. Shedletsky J., McCluskey E. The error latency of fault in a sequential digital circuit // IEEE Transaction on Computers, 1976. Vol. 25. No. 6. P. 655-659.
  7. Goot R., Levin I., Ostanin S. Fault latencies of concurrent checking FSMs // Euromicro Symposium on Digital System Design (DSD'02) Proceedings, 2002.
  8. Карибский В. В., Пархоменко П.П., Согомонян Е. С., Халчев В.Ф.Основы технической диагностики.-М.: Энергоиздат, 1976.
  9. Bennets R. G. Design of testable logic circuits.-Addison- Wesley Publ. Co., 1984.
  10. Frenkel S., Pechinkin A., Chaplygin V., Levin I. A mathematical tool for support of fault-tolerant embedded systems design // ERCIM/DECOS Dependable Smart Systems: Research, Industrial Applications, Standardization, Certification and Education. Workshop on Dependable Embedded Systems. Luebeck, Germany, 2007.
  11. Levin I., Abramov B., Ostrovsky B. Reduction of fault latency in sequential circuits by using decomposition // 22nd IEEEInternational SymposiumonDefect and Fault Tolerance in VLSI Systems, 2007. P. 261-272.
  12. Sudnitson A. Computational kernel extraction for synthesis of power-managed sequential components // IEEE 9th Conference (International) on Electronics, Circuits and Systems (ICECS 2002) Proceedings.Dubrovnik,Croatia, 2002. P. 749-752.


BACKUP USING SNAPSHOTS

  • V.A. Kozmidiady   IPI RAN. v.kozmidiady@gmail.com

literature

  1. Batten C., Barr K., Saraf A., Treptin S. Abstract pStore: A secure peer-to-peer backup system. MIT Laboratory for Computer Science. Technical ReportMIT-LCS-TM- 632, December 2001. 12 p.
  2. Suparna B., Mohan C., Brannon K.W., Inderpal N., Hui-I H. I.,Mahadevan S. Coordinating backup/recovery and data consistency between database and file systems // 2002 ACM SIGMOD Conference (International) on Management of Data Proceedings. Madison, June 2002. P. 500-511.
  3. Killijian, M.-O., Court ` es L., Powell D. A survey of cooperative backup mechanisms. Universit`es de Toulouse. Laboratoire d'Analyse et d'Architecture des Syst`emes. LAAS Technical Report 06472. April 2007. 23 p.
  4. Preston W. C. Inexpensive backup solutions for open systems. - C.A.: O'REILLY, 2007. 760 p.
  5. Neeta G. Understanding and exploiting snapshot technology for data protection. Part 1: Snapshot technology overview. April 2006. http://www-128.ibm.com/ developerworks/tivoli/library/t-snaptsm1.
  6. Brinkmann A., Effert S. Snapshots and continuous data replication in cluster storage environments // 4th Workshop (International) on StorageNetworkArchitecture and Parallel I/Os Proceedings. San Diego, 2007. P. 3-10.
  7. Salomon D. Data compression. - N. Y.: Springer, 1998. 448 p.
  8. Tridgell A. Efficient algorithms for sorting and synchronization. A thesis submitted for the degree of Doctor of Philosophy at The Australian National University. February 1999. 115 p.
  9. Want 'zfs diff' to list files that have changed between snapshots, July 2008. http://bugs.opensolaris.org/ bugdatabase/printableBug.do?bug id=6425091.
  10. Solaris ZFS Administration guide, 2008. http:// dlc.sun.com/pdf/817-2271/817-2271.pdf.
  11. IEEE Std 1003.1,2004 Edition. http://www.unix.org/ version3/ieee std.html.


REGISTRATION OF DISTORTIONS IN AUTOMATIC FINGERPRINT IDENTIFICATION

  • O. S. Ushmaev   IPI RAN. oushmaev@ipiran.ru

literature

  1. Ушмаев О. С. Применение биометрии в аэропортах // Biometrics TTS 2007. 22 ноября 2007 г. http:// www.dancom.ru/rus/AIA/Archive/RUVII BioLinkSolu tions BiometricsInAirports.pdf.
  2. Ушмаев О. С. Реализация концепции многофакторной биометрической идентификации в правоохранительных системах // Интерполитех-2007. http:// www.dancom.ru/rus/AIA/Archive/RUVI BioLinkSolu tions MultimodalBiometricsConcept.pdf.
  3. Синицын И.Н., Губин А. В., Ушмаев О. С. Метрологические и биометрические технологии и системы // История науки и техники, 2008.№7. С. 41-44.
  4. Ушмаев О. С. Сервисно-ориентированный подход к разработке мультибиометрических технологий // Информатика и её применения, 2008. Т. 2. Вып. 3. С. 41-53.
  5. Ушмаев О. С. Концепция мультибиометрической идентификации в информационно-аналитических системах // Паспортные и правоохранительные системы-2008. Интерполитех-2008. http://www.dancom. ru/rus/AIA/Archive/RUXIX-IPIRAN-Ushmaev-Multi modalBiometricsFramework.ppt.
  6. Bolle R.M., Connell J.H., Pankanti S., Ratha N.K., Senior A.W. Guide to biometrics. - New-York: Springer- Verlag, 2003.
  7. Novikov S. O., Ushmaev O. S. Efficiency of elastic deformation registration for fingerprint identification // 7th Conference (International) on Pattern Recognition and ImageAnalysis:NewInformationTechnologies (PRIA-7- 2004) Proceedings. St. Petersburg, October 18-23, 2004. Vol. III. - St. Petersburg: SPbETU, 2004. P. 833-836.
  8. Wayman J., Jain A., Maltoni D., Maio D., eds. Biometric systems: Technology, design and performance evaluation. - London: Springer-Verlag, 2004.
  9. Dessimoz D., Champod C., Richiadi J., Drygajlo A. Multimodal biometrics for identity documents. Research Report, PFS 314-08.05. UNIL, June 2006.
  10. Face recognition vendor test. http://www.frvt.org.
  11. Fingerprint vendor technology evaluation. http:// fpvte.nist.gov.
  12. Ушмаев О. С., Босов А. В. Реализация концепции многофакторной биометрической идентификации в интегрированных аналитических системах // Системы высокой доступности, 2007. Т. 3. Вып. 4. С. 13-23.
  13. Ushmaev O. S., Novikov S. O. Integral criteria for largescale multiple fingerprint solutions / Biometric Technology for Human Identification // Eds. A.K. Jain, and N.K. Ratha. Proceedings of SPIE. Vol. 5404. - SPIE, Bellingham, WA, 2004. P. 534-543.
  14. Second fingerprint verification competition. FVC 2002. http://bias.csr.unibo.it/fvc2002/
  15. NISTSD29.NISTSpecialDatabase 29 "Plain andRolled Images from Paired Fingerprint Cards."


APPROXIMATE METHOD OF CALCULATION OF NODE CHARACTERISTICS IN TELECOMMUNICATION NETWORK WITH REPETITIVE TRANSMISSIONS

  • Ya.M. Agalarov   IPI RAN. Ya.M. Agalarov

literature

  1. Kamoun F., Kleinrock L. Analysis of shared finite storage in a computer networks node environment under general traffic conditions // IEEE Trans. on Commun., 1980. Vol. 28. No. 7. P. 992-1003.
  2. Агаларов Я.М.,Шоргин С. Я. Рекуррентный метод вычисления параметров сетей связи // Техника средств связи, 1986. Сер. "Системы связи". Вып. 6. С. 42-46.
  3. Башарин Г.П., Бочаров П.П., Коган Я. А. Анализ очередей в вычислительных сетях. -М.: Наука, 1989.
  4. Бочаров П.П., Печинкин А. В. Теория массового обслуживания. -М.: Изд-во РУДН, 1995.
  5. Вишневский В.М. Теоретические основы проектирования компьютерных сетей. -М.: Техносфера, 2003.
  6. Башарин Г.П. Лекции по математической теории телетрафика.-М.: Изд-во РУДН, 2007.
  7. Таранцев А. А.Инженерные методы теории массового обслуживания. -М.: Наука, 2007.
  8. D'Apice C., De Simone T., Manzo R., Rizelian G. M|G|1|r retrial queueing system with priority service of primary customers and a customers-searching server // Distributed Computer and Communication Networks. Stochastic Modelling and Optimization. - М.: Техносфера, 2003. P. 106-117.
  9. Klimenok V. I.,KimC. S.BMAP/PH/1 retrial systemoperating in random environment // Proceedings of the 5th St.-Petersburg Workshop on Simulation, St.-Petersburg, June 26-July 2, 2005. - St.-Petersburg: NII Chemistry St.-Petersburg University Publs., 2005. P. 367-372.
  10. Krishnamoorthy A., Babu S. MAP|(PH,PH)/c retrial queue with selegeneration of priorities and nonpreemptive service // Proceedings of the 14th International Conference on Analytical and StochasticModeling Techniques and Applications, June 4-6, 2007. Prague, Czech Republic. - Sbr.-Dudweiler: Digitaldruck Pirrot GmbH, 2007. P. 70-74.
  11. Корн Г., Корн Т. Справочник по математике. - М.: Наука, 1974.
  12. Buzen J. P. Computational algorithm for closed queuing networks with exponential servers // Communications ACM, 1973. Vol. 16. No. 9. P. 527-531.


SOME IMPLEMENTATION ASPECTS OF THE CONNECTING MEDIUM IN THE DECENTRALIZED PACKET SWITCHING ARCHITECTURE

  • V.B. Egorov   IPI RAN. vegorov@ipiran.ru

literature

  1. Егоров В. Б.Принципы создания коммутационной аппаратуры на основе специализированных микроконтроллеров // Системы и средства автоматики. - М.: Наука, 1999. Вып. 9. С. 44-55.
  2. Егоров В. Б. Интегрированные коммуникационные микроконтроллеры Freescale Semiconductor: из прош- лого в будущее // Электронные компоненты, 2008. №7. С. 31-40.
  3. Соколов И. А., Егоров В. Б. Дезинтеграционный подход к архитектуре универсального процессора коммутации пакетов // Информационные технологии и вычислительные системы, 2005.№2. С. 76-85.
  4. Соколов И. А., Егоров В. Б. Дезинтегрированная архитектура пакетной коммутации // Информатика и её применения, 2008. Т. 2. Вып. 4. С. 2-11.
  5. Егоров В. Б., Полухин А.Н. Принципы создания системной шины многопортовых пакетных коммутаторов //Системы и средства информатики.-М.:Наука, Физматлит, 2000. Вып. 10. С. 80-90.
  6. Robinson J.RACEway interlink adoption and growth // VITA J., September 1997. P. 12-16. http://www.vita.com/ sept97vj/rway.pdf.
  7. Богданов А., Станкова Е., Корхов В., Мареев В. Ар- хитектуры и топологии многопроцессорных вычис- лительных систем. - М.: ИНТУИТ.ру, Открытые системы, 2004. Гл. 5. http://www.informika.ru/text/ teach/topolog/5.htm.
  8. Егоров В. Б. Концепция создания отечественных интегрированных коммуникационных микроконтроллеров для пакетной коммутации // Информатика и её применения, 2009. Т. 3. Вып. 1. С. 34-46.
  9. Егоров В. Б. Последовательный интерфейс RapidIO и его применение в пакетной коммутации // Электронные компоненты, 2008.№12. С. 69-76.


TECHNOLOGICAL SYSTEM FOR AUTOMATIC PROCESSING OF THREE-DIMENSIONAL LIDAR DATA

  • V.A. Sukhomlin   IPI RAN. sukhomlin@mail.ru
  • I.N. Gorkavyi   M. V. Lomonosov Moscow State University, Faculty of Computational Mathematics and Cybernetics. ilya_gor@rambler.ru

literature

  1. SPOT DEM product description, 2005. http://www. spotimage.fr/automne modules |les/standard/public/ p807 |leLINKEDFILE SPOT DEM Product Descrip tion v1-2.pdf.
  2. Rodriguez E., Morris C., Belz J., Chapin E., Martin J., Daffer W., Hensley S. An assessment of the SRTM topographic products. Technical Report JPL D- 31639. - Pasadena, California, 2005. 143 p. http:// www2.jpl.nasa.gov/srtm/SRTM D31639.pdf.
  3. Pfeifer N., Stadler P., Briese C.Derivation of digital terrain models in the SCOP++ environment // OEEPE Workshop on AirborneLaserscanning and Interferometric SAR for Digital Elevation Models, Stockholm, 2001.
  4. Горькавый И.Н. Метод виртуальной поверхности для классификации данных LIDAR и генерации трехмерной модели земного рельефа // Труды I Международной научно-практической конференции "Современные информационные технологии и ИТ- образование" /Под ред. В. А.Сухомлина.-М.: ВМК МГУ, 2005. С. 583-597.
  5. Forlani G., Nardinocchi C., Scaioni M., Zingaretti P. Complete classification of raw LIDAR data and 3D reconstruction of buildings // Pattern Analysis & Applications, 2006. Vol. 8. No. 4. P. 357-374.
  6. Горькавый И.Н. Комплексный подход к автоматизации процесса обработки данных LIDAR для получения инфракрасных изображений высокого разреше- ния //Известия высших учебных заведений. Геодезия и аэрофотосъемка, 2007. Вып. 5. С. 148-162.
  7. Горькавый И.Н. Автоматизированные программные средства обработки трехмерных данных лазерного сканирования // Известия высших учебных заведений. Геодезия и аэрофотосъемка, 2008. Вып. 4. С. 22- 34.
  8. ASPRS guidelines: Vertical accuracy reporting for lidar data, 2004. http://www.asprs.org/society/committees/ lidar/Downloads/Vertical Accuracy Reporting for Lidar Data.pdf.
  9. Vosselman G. Slope based filtering of laser altimetry data // Int. Arch. Photogrammetry Remote Sensing, 2000. Vol. 33.
  10. Sithole G. Filtering of laser altimetry data using a slope adaptive filter // Int. Arch. Photogrammetry Remote Sensing, 2001. Vol. 34.
  11. Lohmann P., Koch A., Schaeffer M. Approaches to the filtering of laser scanner data // Int. Arch. Photogrammetry Remote Sensing, 2000. Vol. 33.
  12. Kraus K., Pfeifer N. Advanced DTM generation from LIDAR data // Int. Arch. Photogrammetry Remote Sensing, 2001. Vol. 34.
  13. Горькавый И.Н. Программные средства и математические методы обработки и классификации трехмерных данных // Труды III Международной научно-практической конференции "Современные информационные технологии и ИТ-образование" / Под ред. В.А. Сухомлина. - М.: ВМК МГУ, 2008. С. 297-313.
  14. Jacobsen K., Lohmann P. Segmented filtering of laser scanner DSMs // ISPRS WG III/3 Workshop. Dresden, 2003.


SEMIOTIC MODEL FOR COMPUTER CODING CONCEPTS AND INFORMATION OBJECTS

  • I.M. Zatsman   IPI RAN. iz_ipi@a170.ipi.ac.ru

literature

  1. FP7 Exploratory Workshop 4 "Knowledge Anywhere Anytime." http://cordis.europa.eu/ist/directorate f/ f ws4.htm.
  2. CORDIS ICT Programme Home. http://cordis.europa. eu/fp7/ict/programme/home en.html.
  3. ICT FP7 Work Programme. ftp://ftp.cordis.europa.eu/ pub/fp7/ict/docs/ict-wp-2007-08 en.pdf.
  4. Gorn S. Informatics (computer and information science): Its ideology, methodology, and sociology // The studies of information: Interdisciplinary messages / Eds. F.Machlup, U.Mansfield.- N.Y.: JohnWiley and Sons, Inc., 1983. P. 121-140.
  5. Wang Y. Cognitive informatics: A new transdisciplinary research field // Brain and Mind, 2003. Vol. 4. No. 2. P. 115-127.
  6. Wang Y. On cognitive informatics // Brain and Mind, 2003. Vol. 4. No. 2. P. 151-167.
  7. Bryant A. Cognitive informatics, distributed representation and embodiment // Brain and Mind, 2003. Vol. 4. No. 2. P. 215-228.
  8. Зацман И.М. Концептуализация данных наукометрических исследований в научных электронных библиотеках // Труды X Всероссийской конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции". - Дубна: ОИЯИ, 2008. С. 45-54.
  9. Зацман И.М., Косарик В. В., Курчавова О. А. Задачи представления личностных и коллективных концептов в цифровой среде // Информатика и её применения, 2008. Т. 2. Вып. 3. С. 54-69.
  10. Nonaka I. The knowledge-creating company // Harvard Business Review, 1991. Vol. 69. No. 6. P. 96-104.
  11. Nonaka I., Takeuchi H. The knowledge-creating company. -N. Y.: Oxford University Press, 1995. [Пер.: Нона- ка И., Такеучи Х. Компания - создатель знания. - М.: ЗАО "Олимп-бизнес", 2003.]
  12. Шемакин Ю.И., Романов А. А. Компьютерная семан- тика. -М.: НОЦ "Школа Китайгородской", 1995.
  13. McArthur D. Information, its forms and functions: The elements of semiology. - Lewinton: The Edwin Mellen Press, Ltd., 1997.
  14. Колин К.К. Становление информатики как фундаментальной науки и комплексной научной проблемы // Системы и средства информатики. Спец. вып. "Научно-методологические проблемы информатики" / Под ред. К.К. Колина. - М.: ИПИ РАН, 2006. С. 7-58.
  15. Колин К. К. О структуре научных исследований по комплексной проблеме "Информатика" // Социальная информатика. - М.: ВКШ при ЦК ВЛКСМ, 1990. С. 19-33.
  16. Колин К. К. Эволюция информатики и проблемы формирования нового комплекса наук об информации // Научно-техническая информация, 1995. Сер. 1.№5. С. 1-7.
  17. Зацман И.М. Концептуальный поиск информационных объектов в электронных библиотеках научных документов // Компьютерная лингвистика и интеллектуальные технологии. Труды международной конференции Диалог-2003. - М.: Наука, 2003. С. 710- 716.
  18. Gladney H.M., Bennet J.L. What do we mean by authentic? What's the real McCoy? // D-Lib Magazine, 2003. Vol. 9. No. 7/8.
  19. Успенский В. А. К публикации статьи Г.Фреге "Смысл и денотат" // В кн.: Семиотика и информатика. Вып. 35.-М.:Языки русской культуры, 1997.С. 351- 352.
  20. Фреге Г. Смысл и денотат // В кн.: Семиотика и информатика. Вып. 35.-М.: Языки русской культуры, 1997. С. 352-379.
  21. Фреге Г. Понятие и вещь // В кн.: Семиотика и информатика. Вып. 35.-М.: Языки русской культуры, 1997. С. 380-396.
  22. Добров Б. В., Лукашевич Н.В. Тезаурус и автоматическое концептуальное индексирование в университетской информационной системе "Россия" // Тру- ды III Всероссийской конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции". - Петрозаводск: КарНЦ РАН, 2001. С. 78-82.
  23. Гак В. Г. Асимметрия // Большой энциклопедический словарь "Языкознание". - М.: Большая российская энциклопедия, 1998. С. 47.
  24. Зацман И.М. Семиотические основанияи элементарные технологии информатики // Информационные технологии, 2005.№7. С. 18-31.
  25. Brookes B. C. The foundations of information science. Part I. Philosophical aspects // J. Inf. Sci., 1980. No. 2. P. 125-133.
  26. Зацман И.М., Кожунова О. С. Предпосылки и факторыконвергенции информационной и компьютерной наук // Информатика и её применения, 2008. Т. 2. Вып. 1. С. 77-97.
  27. Eco U. A theory of semiotics. - Bloomington: Indiana University Press, 1976.
  28. Шрейдер Ю. А. ЭВМ как средство представления знаний // Природа, 1986.№10. С. 14-22.
  29. Шрейдер Ю. А. Информация и знание // В кн.: Системная концепция информационных процессов. - М.: ВНИИСИ, 1988. С. 47-52.
  30. Гиляревский Р. С. Основы информатики. -М.: Экзамен, 2003.
  31. Информатика как наука об информации: Информационный, документальный, технологический, экономический, социальный и организационный аспекты / Под ред. Р.С. Гиляревского. - М.: ФАИР- ПРЕСС, 2006.
  32. Мельчук И. А. Русский язык в модели "Смысл,Текст". - Москва-Вена: Школа "Языки русской культуры", Венский славистический альманах, 1995.
  33. Лютый А. А. Язык карты: сущность, система, функция. 2-е изд., испр.-М.: ИГ РАН, 2002.
  34. Барт Р. Основы семиологии // В кн.: Французская семиотика: От структурализма к постструктурализму. -М.: Прогресс, 2000. С. 247-310.
  35. Кибрик А. Е. Язык // Большой энциклопедический словарь "Языкознание". - М.: Большая российская энциклопедия, 1998. С. 604-606.
  36. Turing A.M. On computable numbers, with an application to the Entscheidungsproblem. 1936 (http://www. abelard.org/turpap2/tp2-ie.asp).
  37. FoxE. A.Digital libraries of the future: Integration through the 5S Framework // Труды VI Всероссийской науч- ной конференции "Электронные библиотеки: пер- спективные методы и технологии, электронные кол- лекции". - Пущино: Ин-т математических проблем биологии РАН, 2004. С. 1-2.
  38. Зацман И.М. Концептуальный поиск и качество информации.-М.: Наука, 2003.
  39. Шмелев Д.Н. Полисемия // Большой энциклопедический словарь "Языкознание". - М.: Большая рос- сийская энциклопедия, 1998. С. 382.
  40. Roget's international thesaurus. - New York: Thomas Y. Crowell Co., 1954.
  41. Морковкин В. В. Идеографические словари. - М.: Изд-во МГУ, 1970.
  42. Тезаурус научно-технических терминов / Под ред. Ю.И.Шемакина.-М.: Воениздат, 1972.
  43. Баранов О. С. Идеографический словарь русского языка.-М.: ЭТС, 1995.
  44. Лукашевич Н. В.,Добров Б. В. Тезаурус для автоматического концептуального индексирования как особый вид лингвистического ресурса //Компьютерная лингвистика и ее приложения. Тр. Междунар. семинара Диалог'2001. В 2-х т. Т. 2 / Под ред. А.С. Нариньяни.-М.: РосНИИ ИИ, 2001. С. 273-279.
  45. Михайлов В.Н. Гидрология устьев рек: Методическое пособие. -М.: Изд-воМГУ, 1996.
  46. Vossen P., ed. EuroWordNet General Document (Version3) (http://www.illc.uva.nl/EuroWordNet/docs/ GeneralDoc).
  47. Кожунова О. С. Eurowordnet: задачи, структура и отношения // Информатика и её применения, 2008. Т. 2. Вып. 4. С. 85-92.