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

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



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

Content | Abstract | About  Authors

Bibliography

STRUCTURAL MATRIX SYSTEMS DECOMPOSITION

  • A. Olenin.  IPI RAN, aolenin@yandex.ru

References

  1. Марчук Г.И. Методы вычислительной математики. М.: Наука, 1989.
  2. Фаддеев Д.К., Фаддеева В.Н. Вычислительные методы линейной алгебры.— СПб.: Лань, 2002.
  3. Воеводин В. В., Воеводин Вл. В.Параллельные вычисления. — СПб.: БХВ-Петербург, 2002.
  4. Пугачев В. С., Синицын И.Н. Теория стохастических систем. 2-е изд.—М.: Логос, 2004.

CONCURRENT DESIGN AND VERIFICATION OF DIGITAL HARDWARE

  • S. Baranov. Holon Institute of Technology, Holon, Israel, samary@012.net.il
  • S. Frenkel. Institute of Informatics Problems,Moscow, Russia, slf-ipiran@mtu-net.ru
  • V. Sinelnikov. Holon Institute of Technology, Holon, Israel, samary@012.net.il
  • V. Zakharov. Institute of Informatics Problems,Moscow, Russia, VZakharov@ipiran.ru

References

  1. Bening L., FosterH. Principles of verifiableRTL design.— Kluwer Academic Publishers, 2001.
  2. Henzinger T. A., Liu X., Qadeer S., Rajamani S. Formal specification and verification of a dataflow processor array // ICCAD99: IEEE/ACM International Conference on Computer-AidedDesign, 1999. P. 494–499.
  3. Frenkel S. L. Verification model structures for digital systems design // 17th European Simulation Multiconference ESM2003 Proceedings. Trent University, Nottingham, England. 9–11 June. 2003. P. 462–467. Seger C-J.H., Jones R. B., O’Leary J.W., Melham T. F., AagaardM., Barret C. An industrial effective environment for formal hardware verification // IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems, 2005. Vol. 24. No. 9. P. 1381–1405.
  4. Abielmona R. Advanced Topic Lecture #3, ASM, Design High Level Computer Systems Design, SMRLab, University of Ottawa, CEG 3151,May 21, 2003.
  5. Campenhout D., Mudge T., John P. Hayes, evaluation of design error models for verification testing of microprocessors // IEEE 1st InternationalWorkshop onMicroprocessor Test and Verification.Washington DC, October 23. 1998.
  6. Buonanno G., Ferrandi F., Ferrandi L., Fummi F., Sciuto D. How an “evolving” fault model improves the behavioral test generation // IEEE Seventh Great lakes Simposium on VLSI. March, 1997.
  7. Borrione D., Gascard E., Helmy A., Morin-Allory K., Oddos Y., Pierre L., Schmaltz J.Multi-paradigmformalmethods in the design flow. TIMA ANNUEL report. TIMA Lab., Grenoble, France, 2006.
  8. Jones R.B., Seger C.-J.H., Aagaard M. Combining theorem proving and trajectory evaluation in an industrial environment // 35th Design Automation Conference (DAC 98) Proceedings. ACMPress, 1998. P. 538–541.
  9. Mir A. A., Balakrishnan S., Tahar S. Modeling and verification of embedded systems using cadence SMV // 2000 Canadian Conference on Electrical and Computer Engineering Proceedings, 2000.
  10. Chockler H., Kupferman O., Kurshan R., Vardi M. A practical approach to coverage in model checking // 13th International Conference CAV 2001 Proceedings. Paris, France, 2001. LNCS 2102. P. 66.
  11. Vemuri R., Kalyanaraman R. Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming // IEEE Trans. on VLSI, 1995. P. 201–214.
  12. Ho R. C., Yang C.H., Horowitz M. A., Dill D.L. Architecture validation for processors // International Symposium Computer Architecture Proceedings, 1995. P. 404–413.
  13. Seger C-J.An introduction to formal hardware verification 92-13. Technical Report 92-13.Department of Computer Science, University of Bruish Columbia, June 1992.
  14. Introduction toHOL:A theoremproving environment for higher-order logic / Eds. Gordon M. J.C., Melham T. F. Cambridge Univ. Press, 1993.
  15. Burch J.R., Clarke E.M., Long D.E., McMillan K. L., Dill D. L. Symbolic model checking for sequential circuit verification // IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994. Vol. 13. No. 4. P. 401–424.
  16. Kern C., Greenstreet M. Formal verification in hardware design: A survey // ACM Transactions on Design Automation of E. Systems, 1999. Vol. 4. P. 123–193.
  17. McMillan K. Getting started with SMV. User’s Manual. Cadence Berkeley Laboratories, USA, 1998.
  18. Goldberg E., Gulati K., Khatri S. Toggle equivalence preserving (TEP) logic synthesis // IWLS-2007. San Diego, 2007. http://eigold.tripod.com/papers/iwls- 2007-tep.pdf.
  19. Cadence Design System Products, 2007.
  20. Cortes L. A., Eles P., Peng Z. Modeling and formal verification of embedded systems based on Petri Net representation // J. Systems Architecture, 2003. Vol. 49. No. 12– 15. P. 571–598.
  21. Semenov A., Koelmans I., Yakovlev A. Designing an asynchronous processor using PetriNets // IEEEMicro, 1997. Vol. 17. No. 2. P. 54–65.
  22. Bhadra J., Abadir M., Ray S., Wang Li. A survey of hybrid techniques for functional verification // IEEE Design & Test of Computers, 2007. P. 112–122.
  23. Property specification language. Reference Manual, version 1.1. ACCELERA, 2004.
  24. Hoskote Y., Kam T., Ho Pei-Hsin, Zhao Xudong. Coverage estimation for symbolicmodel checking //DAC’99, 1999. P. 300.
  25. Katz D., Geist D., Grumberg O. Have I written enough properties — a method of comparison between specification and implementation // 10th CHARME Proceedings, 1999. LNCS 1703. P. 280–297.
  26. Baranov S. Logic and system design of digital systems. — Tallinn: TUT Press, 2008.
  27. MokkedemA.,HosabettuR.,GopalakrishnanG.Formalization and proof of a solution to the PCI 2.1 bus transaction ordering problem. FMCAsD, 1998.

COST FUNCTION OF RESOURCES IN ECONOMICALMODEL OF GRID CONTROL

  • Y.M. Agalarov. IPI RAN, YAgalarov@ipiran.ru

References

  1. Buyya R., Giddy J., Abramson D. An economy grid architecture for service-oriented grid computing // 10th IEEE International Heterogeneous Computing Workshop (HCW 2001). In conjunction with IPDPS 2001. San Francisco, USA, April, 2001. http://citeseer.ist.psu.edu/ buyya01economy.html.
  2. Коваленко В.Н., Коваленко Е.И., Корягин Д. А., Любимский Э. З.Основные положения метода опережающего планирования для грид вычислительного типа //ВестникСамГу. Естественно-научная сер. «Информацион- но-вычислительные системы», 2006. №4(44). С. 238–264. http://vestnik.ssu.samara.ru/est/2006web4/ivs/ 200642001.pdf. 32 ИНФОРМАТИКА И ЕЁ ПРИМЕНЕНИЯ том 2 выпуск 3 2008 Функция стоимости ресурсов в экономической модели управления ГРИД
  3. Snell Q., Clement M., Jackson D., Gregory Ch. The performance impactof advance reservationmeta-scheduling // Computer Science Department Brigham Young University Provo, Utah, 2000. http://supercluster.org/research/ papers/ipdps2000.pdf.
  4. Коваленко В.Н., Семячкин Д. А. Использование алгоритма Backfill в грид // Тр.Международной конферен- ции «Распределенные вычисления и Грид-технологии внаукеиобразовании».Дубна, 29июня–2июля2004 г. Дубна: 11-2004-205, ОИЯИ, 2004. С. 139–144.
  5. Агаларов Я.М.Динамическая стратегия распределения вычислительных ресурсов локального узла GRID // Системы и средства информатики.—М.: Наука, 2007. Вып. 17. С. 17–29.
  6. Ховард Р. Динамическое программирование и марковские процессы.—М.: Советское радио, 1964. 158 с.
  7. Майн Х., Осаки С. Марковские процессы принятия решений. —М.: Наука, 1977. 176 с.
  8. Карлин С. Основы теории случайных процессов.—М.: Мир, 1971. 536 с.
<

MULTICHANNEL QUEUEING SYSTEMWITH A FINITE BUFFER, A LOCKOUT OF AN INPUT FLOW, AND A KNOCKOUT OF CUSTOMERS FROMTHE BUFFER

  • V. Chaplygin. IPI RAN, vchaplygin@ipiran.ru

References

  1. Чаплыгин В. В. Многолинейная система массового обслуживания с конечным накопителем и блокиров- кой полумарковского потока заявок // Информационные процессы, 2008. Т. 8.№1. С. 1-9.
  2. Печинкин А.В., Чаплыгин В. В. Стационарные характеристики системы массового обслуживания G/MSP/n/r // Вестник РУДН, сер. "Прикладная математика и информатика", 2003.№1. С. 119-143.
  3. Бочаров П.П., Д'Апиче Ч., Печинкин А.В., Салерно С.Система массового обслуживания G/MSP/1/r // Автоматика и телемеханика, 2003.№2. С. 127-143.
  4. Печинкин А.В., Чаплыгин В. В. Стационарные характеристики системы массового обслуживания SM/MSP/n/r // Автоматика и телемеханика, 2004. №9. С. 85-100.
  5. Bocharov P. P., D'Apice C., Pechinkin A. V., Salerno S. Queueing theory. - Utrecht, Boston: VSP, 2004.

SERVICE-ORIENTED APPROACH TO MULTIMODAL BIOMETRICS DESIGNING

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

References

  1. Beardsley, Ch.T. Is your computer insecure? // IEEE Spectrum, 1972. P. 67-78.
  2. Woodward J.D., Jr. Biometrics: Facing up to terrorism // The Biometric Consortium Conference 2002. Arlington, February, 2002.
  3. Wayman J., Jain A., Maltoni D., Maio D. Biometric systems: Technology, design and performance evaluation. - Springer Verlag, 2004.
  4. Синицын И.Н., Новиков С. О., Ушмаев О. С. Развитие технологий интеграции биометрической инфор- мации // Системы и средства информатики, 2004. Вып. 14. С. 5-36.
  5. Ушмаев О. С., Синицын И.Н. Опыт проектирования многофакторных биометрических систем // Тр. VIII международной научно-технической конференции "Кибернетика и высокие технологии XXI века", 2007. Т. 1. С. 17-28.
  6. Ушмаев О. С. Реализации концепции многофакторной биометрической идентификации в правоохранительных системах. Интерполитех2007. http://www.dancom.ru/rus/AIA/Archive/RUVI BioLinkSolutions MultimodalBiometricsConcept.pdf.
  7. Ушмаев О. С., Босов А. В. Реализация концепции многофакторной биометрической идентификации в ин- тегрированных аналитических системах // Бизнес и безопасность в России, 2008.№49. С. 104-105.
  8. First International Competition for Fingerprint Verification Algorithms (FVC2000). http://bias.csr.unibo.it/fvc2000/.
  9. Mansfield T., Kelly G., Chandler D., Kane J. Biometric product testing final report. U.K. Biometrics Working Group, 2001. http://www.cesg.gov.uk/site/ast/biometrics/media/BiometricTestReportpt1.pdf.
  10. FVC2002, the Second International Competition for Fingerprint Verification Algorithms (FVC2002). http:// bias.csr.unibo.it/fvc2002/. and reporting performance of biometric devices. U.K. Biometrics WorkingGroup, 2002.
  11. Studies of Fingerprint Matching Using the NIST Verification Test Bed (VTB). ftp://sequoyah.nist.gov/pub/ nist internal reports/ir 7020.pdf.
  12. Face Recognition Vendor Test. http://www.frvt.org.
  13. Fingerprint Vendors Technology Evaluation. http:// fpvte.nist.gov.
  14. Ushmaev O. S., Novikov S. O. Integral criteria for largescale multiple fingerprint solutions // Biometric Technology for Human Identification / Ed. A.K. Jain, N.K. Ratha. Proceedings of SPIE. Berlingham, WA: SPIE, 2004. Vol. 5404. P. 534-543.
  15. Пугачев В. С., Синицын И.Н. Теория стохастических систем. -М.: Логос, 2004. [Stochastic systems: Theory and applications.- World Scientific. Singapore, 2001].
  16. Ушмаев О. С., Новиков С. О., Синицын И.Н. Стохастические проблемы интегрированной обработки информации // Проблемы и методы информатики. II Научная сессия Института проблем информатики РАН,Москва, 18-22 апреля 2005.Тезисыдокладов.- М.: ИПИ РАН, 2005. С. 77-79.
  17. Ushmaev O., Novikov S. Biometric fusion: Robust approach //MMUA06 Proceedings, 2006. Toulose, France.
  18. Reference Model for Service-Oriented Architecture 1.0. http://www.oasis-open.org/committees/ download.php/19679/soa-rm-cs.pdf.
  19. Cherbakov L., Galambos G., Harishankar R., Kalyana S., Rackham G. Impact of service orientation at the business level // IBM Systems J. SOA, 2005. Vol. 44. No. 4. P. 653-668.
  20. Ушмаев О. С., Синицын И.Н. Информационные технологии распознавания лиц в потоке // 8-я международная научно-техническая конференция "Распознавание-2008". 13-15 мая 2008 г. В печати.

PERSONAL AND COLLECTIVE CONCEPTS REPRESENTATION IN THE DIGITAL SPHERE

  • I.M. Zatsman.  IPI RAN. im@a170.ipi.ac.ru
  • V. V. Kosarik.  IPI RAN. valery@a170.ipi.ac.ru
  • O.A. Kurchavova.  IPI RAN. koa@a170.ipi.ac.ru

References

  1. Шрейдер Ю. А. Информация и знание // Системная концепция информационных процессов. - М.: ВНИИСИ, 1988. С. 47-52.
  2. Gorn S. The computer and information sciences: A new basic discipline // SIAM Review, 1963. Vol. 5. No. 2. P. 150-155.
  3. 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.: Wiley, 1983. P. 121-140.
  4. Мамардашвили М. К. Классический и неклассический идеалы рациональности. - Тбилиси: Мецниереба, 1984.
  5. Зацман И.М. Семиотические основания и элементарные технологии информатики // Информационные технологии, 2005.№7. С. 18-31.
  6. Полани М. Личностное знание.-М.:Прогресс, 1985. С. 257-258.
  7. Клейнер Г. Б. Эволюция институциональных систем. -М.: Наука, 2004.
  8. Введение в МПК-8. http://www.|ps.ru/ipc8/intro/mpk8.htm.
  9. О новом порядке пересмотра и реализации МПК расширенного уровня. http://www.|ps.ru/russite/classi|cators/new.htm.
  10. Зацман И.М. Вербально-образное представление знаний в электронных библиотеках (Часть II) // Научно- техническая информация (серия 2 "Информационные процессы и системы"), 2001.№12.С. 10-17.
  11. Зацман И.М. Концептуальный поиск и качество информации.-М.: Наука, 2003. 271 с.
  12. Agarwal P. Contested nature of "place": Knowledge mapping for resolving ontological distinctions between geographical concepts // Eds. M. Egenhofer, C. Freksa, M. Harvey. 3rd International Conference "GIScience 2004". LNCS 3234. - Berlin: Springer-Verlag, 2004. P. 1-21.
  13. Agarwal P., Huang Y., Dimitrova V. Formal approach to reconciliation of individual ontologies for personalisation of geospatial semanticWeb // Eds.M.Rodriguez, I. Cruz, M. Egenhofer, S. Levashkin. 1st InternationalConference "GeoS 2005". LNCS 3799. - Berlin: Springer-Verlag, 2005. P. 195-210.
  14. Decision No. 1982/2006/EC of the European Parliament and of the Council of 18 December 2006 concerning the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007-2013) // Official J. of the European Union L412, 30.12.2006. P. 1-41.
  15. CORDIS ICT Programme Home. http://cordis.europa.eu/fp7/ict/programme/home en.html.
  16. ICT FP7 Work Programme. ftp://ftp.cordis.europa.eu/pub/fp7/ict/docs/ict-wp-2007-08 en.pdf.
  17. FP7 Exploratory Workshop 4 "Knowledge Anywhere Anytime." http://cordis.europa.eu/ist/directorate f/f ws4.htm.
  18. Buddenberg R. Toward an interoperability reference model. http:// web1.nps.navy.mil/"budden/lecture.notes/interop RM.html.
  19. Buddenberg R. FORCENet: We've been here before. http://web1.nps.navy.mil/"budden/lecture.notes/it arch/large info systems.html.
  20. МоисеевН.Н.Универсум.Информация.Общество.- М.: Устойчивый мир, 2001.
  21. Nonaka I. The knowledge-creating company // Harvard Business Review, 1991. Vol. 69. No. 6. P. 96-104.
  22. Nonaka I., Takeuchi H. The knowledge-creating company. - N. Y.: Oxford University Press, 1995. (Пер.: Нона- ка И., Такеучи Х. Компания - создатель знания. - М.: ЗАО "Олимп- бизнес", 2003.)
  23. Шемакин Ю.И., Романов А. А. Компьютерная семантика. -М.: НОЦ "Школа Китайгородской", 1995.
  24. McArthur D. Information, its forms and functions: The elements of semiology. - Lewinton: The Edwin Mellen Press, Ltd., 1997.
  25. Колин К.К. Становление информатики как фундаментальной науки и комплексной научной пробле- мы // Системы и средства информатики. Спец. вып. "Научно-методологические проблемы информатики" / Под ред. К.К. Колина. - М.: ИПИ РАН, 2006. С. 7-58.
  26. Зацман И.М. Концептуализация данных наукометрических исследований в научных электронных библиотеках // Труды 10-й Всероссийской конференции "Электронные библиотеки: перспективные методы и технологии, электронные коллекции". - Дубна: ОИЯИ, 2008 (в печати).
  27. Eco U. A theory of semiotics. - Bloomington: Indiana University Press, 1976.
  28. Чебанов С. В. Новый этап становления общей семиотики: вклад техно- и биосемиотики // Вестник РФФИ, 2003.№4(34). С. 65-71.
  29. Marwick A.D. Knowledge management technology // IBMSystems Journal, 2001. Vol. 40. No. 4. P. 814-830.
  30. Баранов А.Н., Добровольский Д. О. Аспекты теории фразеологии.-М.: Знак, 2008.
  31. Гак В. Г. Лексическое значение слова // Большой энциклопедический словарь "Языкознание". - М.: Большая российская энциклопедия, 1998. С. 261-263.
  32. Баранов А.Н. Против "разложения смысла": узнавание в семантике идиом // Компьютерная лингвисти- ка и интеллектуальные технологии: По материалам ежегодной Международной конференции "Диалог". Вып. 7(14). -М.: РГГУ, 2008. С. 39-44.
  33. Newman J. Some observations on the semantics of "Information" // Information Systems Frontiers, 2001. Vol. 3. No. 2. P. 155-167.
  34. Ingwersen P. Information and information science // Encyclopaedia of Library and Information Science. Vol. 56. Sup. 19. - N. Y.: Marcel Dekker Inc., 1992. P. 137-174.
  35. Уфимцева А. А. Знак языковой // Большой энциклопедический словарь "Языкознание". - М.: Большая российская энциклопедия, 1998. С. 167.
  36. ЗацманИ.М., Кожунова О. С .Семантический словарь системы информационного мониторинга в сфере науки: задачи и функции // Системы и средства инфор- матики. Вып. 17. -М.: Наука, 2007. С. 124-141.
  37. Кожунова О. С., Зацман И.М. Прагматические аспекты создания семантического словаря терминов информационного мониторинга // Труды международной конференции Диалог-2007 "Компьютерная лингвистика и интеллектуальные технологии".-М.: Издательский центр РГГУ, 2007. С. 278-285.
  38. Щедровицкий Г.П., Алексеев Н. Г. О возможных путях исследования мышления как деятельности // Докл. АПН РСФСР, 1957. №3; 1958. №№1, 4; 1959. №№1, 2, 4; 1960. №№2, 4-6; 1961. №№4, 5; 1962. №№2-6.
  39. Пископпель А. А. К творческой биографии Г.П.Щедровицкого (1929-1994) // В кн.: Щедровицкий Г.П. Избранные труды. - М.: Шк. Культ. Полит., 1995. С. XIII-XXXVII.
  40. CommonWeakness Enumeration. http://cwe.mitre.org/index.html.