![](/pic/x1.gif)
|
![](/pic/x1.gif)
«Информатика и ее применения» (Том 7, Выпуск 4, 2013)
Оглавление | Аннотации | Об авторах
Библиография
ИССЛЕДОВАНИЕ ДИНАМИКИ МНОГОМЕРНЫХ СТОХАСТИЧЕСКИХ СИСТЕМ НА ОСНОВЕ ЭНТРОПИЙНОГО МОДЕЛИРОВАНИЯ.
- А.Н. Тырсин Научно-инженерный центр «Надежность и ресурс больших систем и машин» УрО РАН, г. Екатеринбург, at2001@yandex.ru
- О.В. Ворфоломеева Челябинский государственный университет, ya.olga.work@yandex.ru
Литература
- Климонтович Ю.Л. Введение в физику открытых систем. —М.: Янус2К, 2002. 284 с.
- Вильсон А. Дж. Энтропийные методы моделирования
сложных систем / Пер. с англ. — М.: Наука, 1978.
248 с. (Wilson A. G. Entropy in urban and regional mod2
eling. — London: Pion, 1970. 166 p.)
- Трубецков Д.И., Мчедлова Е. С., Красичков Л. В. Введение в теорию самоорганизации открытых систем. —
М.: Физматлит, 2002. 200 с.
- Романовский Ю.М., Степанова Н. В., Чернавский Д.С.
Математическое моделирование в биофизике. —
Москва–Ижевск: Институт компьютерных исследований, 2003. 402 с.
- Прангишвили И. В. Энтропийные и другие системные закономерности: Вопросы управления сложными системами. —М.: Наука, 2003. 428 с.
- Скоробогатов С.М. Катастрофы и живучесть железобетонных сооружений (классификация и элементы
те ории). — Екате ринбург: УрГУПС, 2009. 512 с.
- Шеннон К. Работы по теории информации и кибернетике / Пер с англ. С. Карпова. — М.: ИИЛ, 1963.
830 с.
- Cover T.M., Thomas J. A. Elements of information theo2
ry. — N.Y.: Wiley, 1991. 563 p.
- Pena D., Van der Linde A. Dimensionless measures of
variability and dependence for multivariate continuous
distributions // Commun. Stat.: Theor.M., 2007. Vol. 36.
Issue 10. P. 1845–1854.
- Новицкий П. В. Основы информационной теории измерительных устройств. —Ленинград: Энергия, 1968.
248 с.
- Стратонович Р.Л. Теория информации. — М.: Советское радио, 1975. 424 с.
- Greene W.H. Econometric analysis. —7th ed. —Prentice
Hall, 2011. 1230 p.
- Тырсин А.Н., Соколова И. С. Энтропийно - вероятностное моделирование гауссовских стохастических систем // Математическое моделирование, 2012. Т. 24. №1. С. 88–102.
- Николис Г., Пригожин И. Самоорганизация в неравновесных системах: от диссипативных структур
к упорядоченности через флуктуации / Пер с англ.—
М.: Мир, 1979. 512 с. (Nikolis G., Prigogine I. Self2
organozation in nonequilibrium systems: From dissipa2
tive structures to order through fluctuations.—N.Y.: John
Wile&Sons, 1977. 512 p.
- Beirlant J., Dudewicz E. J., Gyorfi L., van der Meulen E. C.
Nonparametric entropy estimation: an overview // Int.
J.Math. Stat. Sci., 1997. Vol. 6. Issue 1. P. 17–39.
- Stowell D., Plumbley M.D. Fast multidimensional entropy
estimation by k–d partitioning // IEEE Signal Proc. Lett.,
2009. Vol. 16. Issue 6. P. 537–540.
- Тырсин А. Н., Клявин И. А. Повышение точности оценки энтропии случайных экспериментальных данных // Системы управления и информационные технологии, 2010.№1(39). С. 87–90.
- Noughabi H. A., Arghami N. R. A new estimator of en2
tropy // J. Iran. Stat. Soc., 2010. Vol. 9. Issue 1. P. 53–64.
ПРЕДЕЛЬНАЯ ТЕОРЕМА ДЛЯ ГЕОМЕТРИЧЕСКИХ СУММ НЕЗАВИСИМЫХ НЕОДИНАКОВО РАСПРЕДЕЛЕННЫХ СЛУЧАЙНЫХ ВЕЛИЧИН И ЕЕ ПРИМЕНЕНИЕ
К ПРОГНОЗИРОВАНИЮ ВЕРОЯТНОСТИ КАТАСТРОФ В НЕОДНОРОДНЫХ ПОТОКАХ ЭКСТРЕМАЛЬНЫХ СОБЫТИЙ .
- М.Е. Григорьева Parexel International, maria-grigoryeva@yandex.ru
- В.Ю. Королев Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова;
Институт проблем информатики Российской академии наук, victoryukorolev@yandex.ru
- И.А. Соколов Институт проблем информатики Российской академии наук, isokolov@ipiran.ru
Литература
- Королев В. Ю., Соколов И. А. Некоторые вопросы
анализа катастрофических рисков, связанных с неоднородными потоками экстремальных событий //
Системы и средства информатики. Спец. вып. Математические методы и модели информатики. Стохастические технологии и системы. — М.: ИПИ РАН, 2005. С. 109–125.
- Королев В. Ю., Соколов И. А., Гордеев А. С., Григорьева М. Е., Попов С. В., Чебоненко Н. А. Некоторые методы анализа временн‚ых характеристик катастроф в неоднородных потоках экстремальных событий //
Системы и средства информатики. Спец. вып. Математические методы в информационных технологиях. — М.: ИПИ РАН, 2006. С. 5–23.
- Королев В. Ю., Соколов И. А., Гордеев А. С., Григорьева М. Е., Попов С. В., Чебоненко Н. А. Некоторые методы прогнозирования временных характеристик рисков, связанных с катастрофическими событиями //
Актуарий, 2007. №1. С. 34–40.
- Королев В. Ю., Соколов И. А. Математические модели
неоднородных потоков экстремальных событий. —
М.: ТОРУС ПРЕСС, 2008. 200 с.
- Королев В. Ю., Шоргин С. Я. Математические методы
анализа стохастической структуры информационных
потоков. —М.: ИПИ РАН, 2011. 130 с.
- Королев В. Ю., Черток А. В., Корчагин А. Ю., Горшенин А.К. Вероятностно - статистическое моделирование информационных потоков в сложных финансовых системах на основе высокочастотных данных //
Информатика и её применения, 2013. Т. 7. Вып. 1. С. 12–21.
- Kalashnikov V. Geometric sums: Bounds for rare events
with applications.—Dordrecht–Boston–London: Kluwer Academic Publs., 1997. 288 p.
- Королев В. Ю., Бенинг В. Е., Шоргин С. Я. Математические основы теории риска. — 22е изд., перераб. и
дополн.— М.: Физматлит, 2011. 620 с.
- Королев В. Ю. Сходимость случайных последовательностей с независимыми случайными индексами. I //
Теоpия веpоятностей и ее пpименения, 1994. Т. 39.
Вып. 2. С. 313–333.
- Balkema A., de Haan L. Residual life time at great age //
Ann. Probab., 1974. Vol. 2. P. 792–804.
- Pickands J. Statistical inference using extreme order statis2
tics //Ann. Stat., 1975. Vol. 3. P. 119–131.
- Аткинсон О. Столкновение с Землей / Пер с англ. —
СПб.: Амфора/Эврика, 2001. 400 с. (Atkinson O. Impact Earth: Asteroids, comets and meteors — the growing
threat. — Virgin Publ., 1999. 256 p.)
РАСПРЕДЕЛЕНИЕ ВРЕМЕНИ ВЫХОДА ИЗ МНОЖЕСТВА СОСТОЯНИЙ ПЕРЕГРУЗКИ В СИСТЕМЕ M | M | 1 | <L,H> | <H,R> С ГИСТЕРЕЗИСНЫМ УПРАВЛЕНИЕМ НАГРУЗКОЙ.
- Ю.В. Гайдамака Российский университет дружбы народов, ygaidamaka@sci.pfu.edu.ru
- А.В. Печинкин Институт проблем информатики Российской академии наук, apechinkin@ipiran.ru
- Р.В. Разумчик Институт проблем информатики Российской академии наук, rrazumchik@ieee.org
- А.К. Самуйлов Российский университет дружбы народов, asam1988@gmail.com
- К.Е. Самуйлов Российский университет дружбы народов, ksam@sci.pfu.edu.ru
- И.А. Соколов Институт проблем информатики Российской академии наук, isokolov@ipiran.ru
- Э.С. Сопин Российский университет дружбы народов, sopin2eduard@yandex.ru
- С.Я. Шоргин Институт проблем информатики Российской академии наук, sshorgin@ipiran.ru
Литература
- Hilt V., Noel E., Shen C., Abdelal A. Design considerations for Session Initiation Protocol (SIP) overload control // Internet Engineering Task Force
RFC26357, 2011. [Электронный ресурс] Режим
доступа: http://tools.ietf.org/html/rfc6357, свобод2
ный (дата обращения 01.10.2013).
- Hilt V., Rosenberg J., Schulzrinne H., et al. SIP: Session
Initiation Protocol // Internet Engineering Task Force
RFC23261, 2002. [Электронный ресурс] Режим доступа: http://tools.ietf.org/html/rfc3261, свободный (дата обращения 01.10.2013).
- Rosenberg J. Requirements for management of overload
in the Session Initiation Protocol // Internet Engineering
Task Force RFC25390, 2008. [Электронный ресурс] Режим доступа: http://tools.ietf.org/html/rfc5390, свободный (дата обращения 01.10.2013).
- Gurbani V., Hilt V., Schulzrinne H. Session Initiation Protocol overload control // Internet Engineering
Task Force Draft, 2013. [Электронный ресурс] Режим доступа: http://tools.ietf.org/pdf/draft-ietf-socoverload-
control-13.pdf, свободный (дата обращения
01.10.2013).
- Noel E., Williams P.M. Session Initiation Protocol rate control // Internet Engineering Task Force
Draft, 2013. [Электронный ресурс] Режим доступа: http://tools.ietf.org/pdf/draft-ietf-soc-overloadrate-
control-05.pdf, свободный (дата обращения
01.10.2013).
- ITU2T Recommendation Q.704. 1996. Signalling System No. 7 — Message Transfer Part, Signalling network functions and messages. [Электронный ресурс]
Режим доступа: http://www.itu.int/rec/T-REC-Q.704-
199607-I/en, свободный (дата обращения 01.10.2013).
- Абаев П. О., Гайдамака Ю.В., Самуйлов К. Е. Гистерезисное управление сигнальной нагрузкой в сети
SIP - серверов // Вестник РУДН. Серия Математика.
Информатика. Физика, 2011.№4. С. 55–73.
- Abaev P.O., Gaidamaka Yu. V., Pechinkin A. V., Razumchik R. V., Shorgin S. Ya. Simulation of overload control
in SIP server networks // 26th Conference (European)
on Modelling and Simulation ECMS Proceedings. —
Koblenz, 2012. P. 533–539.
- Abaev P., Gaidamaka Yu., Samouylov K. Queuing model
for loss - based overload control in a SIP server using a
hysteretic technique // Internet of things, smart spaces,
and next generation networking / Eds. S. Andreev, S. Balandin, Ye. Koucheryavy. —Lecture notes in computer science ser. — Heidelberg: Springer - Verlag, 2012. Vol. 7469.
P. 371–378.
- Gebhart R. F. A queuing process with bilevel hysteretic
service - rate control // Nav. Res. Logist. Q., 1967. Vol. 14.
P. 55–68.
- Красносельский М. А., Покровский А. В. Системы с гистерезисом. —М.: Наука, 1983. 272 с.
- Yum T., Yen H. Design algorithm for a hysteresis buffer
congestion control strategy // IEEE Conference (International) on Communications Proceedings, 1983. P. 499–503.
- Brown P., Chemouil P., Delosme B. A congestion control
policy for signalling networks // 7th IeCC Proceedings,
1984. P. 717–724.
- Golubchik L., Lui J. C. S. Bounding of performance measures for a threshold - based queueing system with hysteresis // Newsl. ACM SIGMETRICS Performance Evaluation Rev., 1997. Vol. 25.No. 1. P. 147-157.
- Sindal R., Tokekar S. Modeling and analysis of voice/data
call admission control scheme in CDMA cellular network
for variation in soft handoff threshold parameters // 16th
IEEE Conference (International) on Networks (ICON
2008) Proceedings. P. 1-6.
- Жерновый К. Ю., Жерновый Ю.В. Система
c
гистерезисным переключением интенсивности обслуживания // Информационные процессы, 2012.
Т. 12. №3. С. 176-190.
- Takagi H. Analysis of a finite - capacity M/G/1 queue
with a resume level // Perform. Evaluation, 1985. Vol. 5.
P. 197-203.
- Benaboud H., Mikou N. Analysis by queuing model of
multi - threshold mechanism in ATM switches // 5th IEEE
Conference (International) on High Speed Networks and
Multimedia Communications (HSNMC 2002) Proceedings. P. 147-151.
- Dshalalow J.H. Queues with state dependent parameters // Frontiers in queueing: Models and applications in
science and engineering / Ed. J.H. Dshalalow. - Probability and stochastic ser. - CRC Press, 1997. P. 61-116.
- Bekker R. Queues with Levy input and hysteretic control //
Queueing Syst., 2009. Vol. 63.No.1. P. 281-299.
- Roughan M., Pearce C. A martingale analysis of hysteretic
overload control // Adv. Perform. Anal. J. Teletraffic Theory Perform. Anal. Communication Syst. Networks, 2000.
Vol. 3.No.1. P. 1-30.
- Abaev P., Gaidamaka Yu., Samouylov K. Modeling of
hysteretic signalling load control in next generation
networks // Internet of things, smart spaces, and next
generation networking / Eds. S. Andreev, S. Balandin,
Ye. Koucheryavy. - Lecture notes in computer science ser. - Heidelberg: Springer - Verlag, 2012. Vol. 7469.
P. 440-452.
- Абаев П.О., Разумчик Р.В. Моделирование работы
SIP - сервера с помощью системы массового обслуживания с гистерезисом и прогулками в дискретном
времени // T-Comm - Телекоммуникации и транспорт, 2012.№7. С. 5-8.
- Гайдамака Ю. В., Самуйлов К. Е., Сопин Э. С. Модель
одной системы массового обслуживания типа M/G/1
с гистерезисным управлением входящим потоком //
T-Comm - Телекоммуникации и Транспорт, 2012.
№7. C. 60-62.
- Abaev P., Pechinkin A., Razumchik R. On analytical model for optimal SIP server hop-by-hop overload control // 4th Congress (International) on Ultra Modern Telecommunications and Control Systems
ICUMT-2012 Proceedings. - IEEE, 2012. P. 299-304.
doi: 10.1109/ICUMT.2012.6459680.
- Abaev P., Pechinkin A., Razumchik R. Analysis of queueing system with constant service time for SIP server
hop-by-hop overload control // Modern Probab. Meth.
Anal. Telecommunication Networks Communications
Computer Information Sci., 2013. Vol. 356. P. 1-10.
doi: 10.1007/978-3-642-35980-4_1.
- Abaev P., Pechinkin A., Razumchik R. On mean return time
in queueing system with constant service time and bi-level
hysteric policy //Modern Probab. Meth. Anal. Telecommunication Networks Communications Computer Information Sci., 2013. Vol. 356. P. 11-19. doi: 10.1007/978-3-642-35980-4_2.
- Abaev P., Gaidamaka Yu., Samouylov K., Shorgin S. Design
and software architecture of SIP server for overload control
simulation // 27th Conference (European) on Modelling
and Simulation (ECMS 2013) Proceedings. Aalesund,
Norway, 2013. P. 533-539. doi:10.7148/201320580.
- Pechinkin A. V., Razumchik R. V. Approach for analysis of
finite M2/M2/1/R with hysteric policy for SIP server hop-by-hop overload control // 27th Conference (European)
on Modelling and Simulation (ECMS2013) Proceedings.
Aalesund, Norway, 2013. P. 573-579. doi:10.7148/2013.
- Shorgin S., Samouylov K., Gaidamaka Yu., Etezov Sh.
Polling system with threshold control formodeling of SIP
server under overload // 18th Conference (International)
on Systems Science (ICSS 2013) Proceedings. Advances
in intelligent systems and computing ser., 2014. Vol. 240.
P. 97-107. doi: 10.1007/978-3-319-01857-7_10.
- Гайдамака Ю. В. Модель с пороговым управлением
нагрузкой для анализа серверов протокола SIP в режиме перегрузок // Автоматика и вычислительная
техника, 2013. №4. С. 65-75.
- Abaev P., Gaidamaka Yu., Samouylov K., Pechinkin A.,
Razumchik R., Shorgin S. Hysteretic control technique for
overload problem solution in network of SIP servers //
Comput. Inform., 2014 (in press). Vol. 33. No. 1.
- MathWorks - MATLAB and Simulink for Technical
Computing. [Электронный ресурс] Режим доступа
http://www.mathworks.com, свободный (дата обращения 01.10.2013).
- Wolfram Mathematica: Программное обеспечение для
технических вычислений. [Электронный ресурс] Режим доступа: http://www.wolfram.com/mathematica,
свободный (дата обращения 01.10.2013).
- Maple - Technical Computing Software for Engineers, Mathematicians, Scientists, Instructors, and
Students. [Электронный ресурс] Режим доступа: http://www.maplesoft.com/products/maple, свободный (дата обращения 01.10.2013).
- Bocharov P. P., D'Apice C., Pechinkin A. V., Salerno S.
Queueing theory. - Utrecht, Boston: VSP, 2004. 446 p.
- Kempa W. On time to buffer saturation in a GI/M/1/N2
type queue // Int. J. Adv. Telecommunications Electrotechnics Signals Syst., 2012. Vol. 1.No.2-3.С. 60-66.
ОБ ОДНОЙ ЗАДАЧЕ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ НАГРУЗКОЙ НА СЕРВЕР.
- М. Г. Коновалов Институт проблем информатики Российской академии наук, mkonovalov@ipiran.ru
Литература
- Коновалов М. Г. О планировании потоков в системах
вычислительных ресурсов // Информатика и её применения, 2010. Т. 4. Вып. 2. С. 3–12.
- Konovalov M. Multiagent model for jobs flows planning and
pricing in distributed computing systems // 2010 Congress
(International) on Ultra Modern Telecommunications and
Control Systems and Workshops (ICUMT): Proceedings
of ICUMT-T, ICUMT-CS and associated workshops.
IEEE, Catalog Number CFP1063G-CDR, 2010. CD-ROM. ISBN 978-1-4244-7286-4. Report 1569339397.
- Коновалов М. Г., Малашенко Ю. Е., Назарова И. А.
Управление заданиями в гетерогенных вычислительных системах // Известия РАН. Теория и системы
управления, 2011. Т. 50.№2. С. 43–61.
- Коновалов М. Г. Оптимизация работы вычислительного комплекса с помощью имитационной модели и
адаптивных алгоритмов // Информатика и её примене ния, 2012.Т. 6. Вып. 1. С. 37–48.
- WelzlM. Network congestion control. —N.Y.: Wiley, 2005.
- Hong Y., Huang C., Yan J. A comparative study of SIP
overload control algorithms // Network and traffic engineering in emerging distributed computing applications /
Eds. J. Abawajy, M. Pathan, M. Rahman, A. K. Pathan,
and M.M. Deris. — IGI Global, 2012. P. 1–20.
http://arxiv.org/ftp/arxiv/papers/1210/1210.1505.pdf.
- Боровков А. А. Теория вероятностей. — 52е изд. — М.:
Либроком, 2009. 656 с.
- Abaev P. O., Gaidamaka Y. V., Pechinkin A. V., Razumchik R. V., Shorgin S. Ya. Simulation of overload control
in SIP server networks // ECMS 2012: 26th European
Conference on Modelling and Simulation Proceedings. —
Koblenz, Germany: Digitaldruck Pirrot GmbH, 2012.
P. 533–539.
ОПТИМИЗАЦИЯ ФУНКЦИЙ LAB - КОНТРАСТНОГО ГРАДАЦИОННОГО ПРЕОБРАЗОВАНИЯ.
- О.П. Архипов Орловский филиал Института проблем информатики Российской академии наук, arkhipov12@yandex.ru
- З.П. Зыкова Орловский филиал Института проблем информатики Российской академии наук, zykzoya@yandex.ru
Литература
- Архипов О.П., Зыкова З.П. Допечатное тестирование
индивидуального зрительного восприятия // Вестник компьютерных и информационных технологий,
2008. №12. С. 2–8.
- Архипов О.П., Зыкова З.П. Интеграция гетерогенной
информации о цветных пикселях и их цветовосприятии // Информатика и её применения, 2010. Т. 4.
Вып. 4. С. 14–25.
- Архипов О.П., Зыкова З.П. Функциональное описание индивидуального цветовосприятия // Информационные системы и технологии, 2010. №5. С. 5–12.
- Архипов О.П., Зыкова З.П. RGB-характеризация пространства цветовосприятия // Системы и средства
информатики, 2010. Вып. 20.№1. С. 73–90.
- Архипов О.П., Зыкова З.П. Многокритериальный выбор тестового множества при исследовании цветовосприятия // Информационныете хнологии, 2011. №2. С. 67–73.
- Архипов О.П., Зыкова З.П. Равноконтрастные градационные преобразования ступенчатых тоновых
шкал // Информационные системы и технологии,
2011. №4. С. 39–46.
- Архипов О.П., Зыкова З.П. Персонифицированное
преобразование представлений цветных изображений на мониторе ПЭВМ // Системы и средства информатики, 2012. Т. 22. №1. С. 22–37.
- Архипов О.П., Зыкова З.П. Метод улучшения детализации цветных изображений // Вестник компьютерных и информационных технологий, 2013. №2. С. 6–11.
- Архипов О.П., Зыкова З.П. Коррекция детализации
представлений RGB-изображений на периферийных
устройствах ПЭВМ//Информационные технологии,
2013. №2. С. 56–60.
- Color Oracle/Institute of Cartography. — Zurich: ETH,
2008. http://www.colororacle.org.
- Vischeck. http://www.vischeck.com.
МЕТОД ИЗВЛЕЧЕНИЯ БИБЛИОГРАФИЧЕСКОЙ ИНФОРМАЦИИ ИЗ ПОЛНОТЕКСТОВЫХ ОПИСАНИЙ ИЗОБРЕТЕНИЙ.
- И.М. Зацман Институт проблем информатики Российской академии наук, iz_ipi@a170.ipi.ac.ru
- В.А. Хавансков Институт проблем информатики Российской академии наук, havanskov@a170.ipi.ac.ru
- С.К. Шубников Институт проблем информатики Российской академии наук, sergeysh50@yandex.ru
Литература
- Kuznetsov I., Kozerenko E. The system for extracting semantic information fromnatural language texts //Conference (International) on Machine Learning (MLMTA203)
Proceedings.— Las Vegas, 2003. P. 75–80.
- Кузнецов И. П. Семантико-ориентированная система
обработки неформализованной информации с выдачей результатов на естественном языке // Системы и
средства информатики, 2006. Вып. 16. С. 235–253.
- Кузнецов И. П., Мацкевич А. Г. Семантико-ориентированные системы на основе баз знаний. — М.:
МТУСИ, 2007. 173 с.
- Кузнецов И. П. Объектно-ориентированная система,
основанная на знаниях в виде XML-представлений //
Системы и средства информатики. —М.:Наука, 2008.
Вып. 18. С. 96–118.
- Kuznetsov I. P., Kozerenko E. B. Linguistic processor Semantix for knowledge extraction from natural texts in
Russian and English // Conference (International) on
Artificial Intelligence (ICAI 2008) Proceedings. — Las
Vegas: CSREA Press, 2008. P. 835–841.
- Кузнецов И. П., Сомин Н. В. Выявление имплицитной
информации из текстов на естественном языке: проблемы и методы // Информатика и её применения,
2012. Т. 6. Вып. 1. С. 49–58.
- Narin F., Noma E. Is technology becoming science? //
Scientometrics, 1985. Vol. 7. No. 326. P. 369–381.
- Narin F., Olivastro D. Linkage between patents and papers:
An interim EPO/US comparison // Scientometrics, 1998.
Vol. 41. No. 122. P. 51–59.
- Schmoch U. Tracing the knowledge transfer from science
to technology as reflected in patent indicators // Scientometrics, 1993. Vol. 26. P. 193–211.
- Минин В. А., Зацман И.М., Кружков М. Г., Норекян Т. П. Методологические основы создания информационных систем для вычисления индикаторов тематических взаимосвязей науки и технологий //
Информатика и её применения, 2013. Т. 7. Вып. 1.
С. 70–81.
- Минин В. А., Зацман И.М., Хавансков В. А., Шубников С. К. Архитектурные решения для систем вычисления индикаторов тематических взаимосвязей науки и технологий // Системы и средства информатики,
2013. Т. 23. №2. С. 260–283.
- Зацман И. М., Шубников С.К. Принципы обработки
информационных ресурсов для оценки инновационного потенциала направлений научных исследований // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды
9-й Всеросс. научн. конф. RCDL’2007.—Переславль:
Университет города Переславля, 2007. С. 35–44.
- Зацман И.М., Курчавова О. А., Галина И. В. Информационные ресурсы и индикаторы для оценки инновационного потенциала направлений научных исследований // Системы и средства информатики, 2008.
Вып. 18 (доп.). С. 159–175.
- Кожунова О. С. Цитирование документов в патентах
как индикатор взаимосвязи областей науки и технологий // Системы и средства информатики, 2012.
Т. 22. №2. С. 106–128.
- Van Looy B., Zimmermann E., Veugelers R., Verbeek A.,
Mello J., Debackere K. Do science–technology interactions pay on when developing technology? An exploratory investigation of 10 science-intensive technology domains // Scientometrics, 2003. Vol. 57.No. 3. P. 355–367.
- Verbeek А., Debackere K., Luwel M., Andries P., Zim.
mermann E., Deleus D. Linking science to technology:
Using bibliographic references in patents to build linkage
schemes // Scientometrics, 2002. Vol. 54. No. 3. P. 399–
420.
- Административный регламент исполнения Роспатентом приема заявок на изобретение, их рассмотрения и экспертизы. — ФИПС, 2008. http://www1.fps.ru/wps/wcm/connect/content ru/ru/documents/
russian laws/order minobr/administrative regulations/
test_8/.
- Рекомендации по включению ссылок, цитируемых
в патентных документах: Стандарт ВОИС ST.14.
http://www.rupto.ru/rupto/nfle/52b8dfc1-1049-11e1-
a520-9c8e9921fb2c/03_14_01.pdf.
- Регулярные выражения в .NET Framework. http://
msdn.microsoft.com/ru-ru/library/hs600312.aspx.
- Зацман И.М., Веревкин Г.Ф. Информационный мониторинг сферы науки в задачах программно-целевого управления // Системы и средства информатики, 2006. Вып. 16. С. 164–189.
- Зацман И.М. Веревкин Г.Ф., Дрынова И. В., Курчавова О. А., Ларин Н. В., Норекян Т.П. Моделирование
систем информационного мониторинга как проблема информатики // Системы и средства информатики. Спец. вып. Научно-методологические проблемы информатики, 2006. С. 112–139.
- Зацман И.М., Кожунова О. С. Семантический словарь системы информационного мониторинга в сфере науки: задачи и функции // Системы и средства информатики, 2007. Вып. 17. С. 124–141.
- Zatsman I., Kozhunova O. Evaluation system for the
Russian Academy of Sciences: Objectives-resources-results approach and R&D indicators // 2009 Atlanta
Conference on Science and Innovation Policy Proceed2
ings / Eds. S. E. Cozzens, P. Catalаn. http://smartech.
gatech.edu/bitstream/1853/32300/1/104-674-1-PB.pdf.
О СХОДИМОСТИ РАСПРЕДЕЛЕНИЙ СЛУЧАЙНЫХ СУММ К СКОШЕННЫМ ЭКСПОНЕНЦИАЛЬНО - СТЕПЕННЫМ ЗАКОНАМ.
- М.Е. Григорьева Parexel International, maria-grigoryeva@yandex.ru
- В.Ю. Королев Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова; Институт проблем информатики Российской академии наук, victoryukorolev@yandex.ru
Литература
- Subbotin M.T. On the law of frequency of error //Матем.
сб., 1923. Т. 31.№2. С. 296–301.
- Box G., Tiao G. Bayesian inference in statistical analysis.—
Reading, MA: Addison–Wesley, 1973. 608 с.
- Evans M., Hastings N., Peacock J.B. Statistical distributions. — 3rd ed. — N.Y.: John Wiley&Sons, 2000. 170 p.
- Leemis L.M., McQueston J. T. Univariate distribution relationships // Amer. Stat., 2008. Vol. 62. No. 1. P. 45–53.
- Risk Metrics Technical Document. — N.Y.: Risk Metric
Group, J. P.Morgan, 1996.
- Varanasi M.K., Aazhang B. Parametric generalized Gaussian density estimation // J. Acoust. Soc. Am., 1989.
Vol. 86. No. 4. P. 1404–1415.
- Nadaraja S. A generalized normal distribution // J. Appl.
Stat., 2005. Vol. 32.No.7. P. 685–694.
- West M. On scale mixtures of normal distributions //
Biometrika, 1987. Vol. 74. No. 3. P. 646–648.
- Choy S. T. B., Smith A. F. F. Hierarchical modelswith scale
mixtures of normal distributions // Test, 1997. Vol. 6.
P. 205–221.
- Золотарев В.М. Одномерные устойчивые распределения. —М.: Наука, 1983. 304 с.
- Korolev V. Yu., Bening V. E., Zaks L.M., Zeifman A. I.
Exponential power distributions as asymptotic approximations in applied probability and statistics // Applied
Problems in Theory of Probabilities and Mathematical
Statistics Related to Modeling of Information Systems
(APTP + MS’2012): Book of Abstracts of the 6th Workshop (International) (Autumn Session). — М.: ИПИ
РАН, 2012. P. 60–71.
- Barndorff-Nielsen O. E. Exponentially decreasing distributions for the logarithm of particle size // Proc. R. Soc.
Lond. Ser. A, 1977. Vol. 353. P. 401–419.
- Barndorff-Nielsen O. E., Kent J., S. rensen M. Normal
variance-mean mixtures and z-distributions // Int. Stat.
Rev., 1982. Vol. 50. No. 2. P. 145–159.
- Королев В. Ю. Обобщенные гиперболические распределения как предельные для случайных сумм // Теория вероятностей и ее применения, 2013.Т. 58.Вып. 1.
С. 117–132.
- Закс Л.М., Королев В. Ю. Обобщенные дисперсионные гамма-распределения как предельные для случайных сумм //Информатика и её применения, 2013. Т. 7. Вып. 1. С. 105–115.
- Гнеденко Б. В., Колмогоров А.Н. Предельные распределения для сумм независимых случайных величин. —М.–Л.: ГИТТЛ, 1949. 264 с.
- Gnedenko B. V., Korolev V. Yu. Random summation: Limit
theorems and applications. — Boca Raton: CRC Press,
1996. 275 p.
- Королев В. Ю. Постpоение моделей pаспpеделений
биpжевых цен пpи помощи методов асимптотической теоpии случайного суммиpования // Обозpение
пpомышленной и пpикладной математики. Сеp. Финансовая и стpаховая математика, 1997. Т. 4. Вып. 1.
С. 86–102.
- Королев В. Ю. Асимптотические свойства экстpемумов обобщенных пpоцессов Кокса и их пpименение к некотоpым задачам финансовой математики //Теоpия веpоятностей и ее пpименения, 2000. Т. 45.
Вып. 1. С. 182–194.
- Bening V., Korolev V. Generalized Poisson models and
their applications in insurance and finance. — Utrecht:
VSP, 2002. 434 p.
- Королев В. Ю., Соколов И. А. Математические модели
неоднородных потоков экстремальных событий. —
М.: ТОРУС ПРЕСС, 2008. 200 с.
- Королев В. Ю., Бенинг В. Е., Шоргин С. Я. Математические основы теории риска. — 2-е изд., перераб. и
доп. —М.: Физматлит, 2011. 620 с.
- Королев В. Ю. Вероятностно-статистические методы
декомпозиции волатильности хаотических процессов. —М.: Изд-во Моск. ун-та, 2011. 510 с.
- Stochastic models of structural plasma turbulence / Eds.
V. Korolev, N. Skvortsova. – Utrecht: VSP, 2006. 400 p.
- Королев В. Ю., Шевцова И. Г., Шоргин С. Я. О неравенствах типа Берри–Эссеена для пуассоновских случайных сумм //Информатика и её применения, 2011. Т. 5. Вып. 3. С. 64–66.
26. Korolev V., Shevtsova I. An improvement of the Berry–
Esseen inequality with applications to Poisson and
mixed Poisson random sums // Scand. Actuar. J., 2012.
No. 2. P. 81–105. Available online since June 4, 2010.
DOI:10.1080/03461238.2010.485370.
ОБРАЩЕНИЕ СФЕРИЧЕСКОГО ПРЕОБРАЗОВАНИЯ РАДОНА В КЛАССЕ ДИСКРЕТНЫХ СЛУЧАЙНЫХ ФУНКЦИЙ.
- О.В. Шестаков Московский государственный университет им.М. В.Ломоносова, факультет ВМК; Институт проблем информатики Российской академии наук, oshestakov@cs.msu.su
- М.Г. Кузнецова Московский государственный университет им.М.В. Ломоносова, факультет ВМК, m.g.kuznetsova@gmail.com
- И.А. Садовой Московский государственный университет им.М.В. Ломоносова, факультет ВМК, isadovoy@gmail.com
Литература
- Louis A.K., Quinto E. T. Local tomographic methods in
Sonar // Surveys on solution methods for inverse problems. — Vienna: Springer, 2000. P. 147–154.
- Finch D., Patch S., Rakesh. Determining a function from
its mean values over a family of spheres // SIAMJ. Math.
Anal., 2004. Vol. 35. No. 5. P. 1213–1240.
- Ambartsoumian G., Kuchment P. On the injectivity of
the circular Radon transform arising in thermoacoustic
tomography // Inverse Probl., 2005. Vol. 21. P. 473–
485.
- Agranovsky M. L., Quinto E. T. Injectivity sets for the
Radon transform over circles and complete systems of
radial functions // J. Funct. Anal., 1996. Vol. 139. P. 383–
413.
- Liu W., Frank J. Estimation of variance distribution in
three-dimensional reconstruction. I. Theory // J. Opt.
Soc. Am. A, 1995. Vol. 12. P. 2615–2627.
- Ушаков В. Г., Ушаков Н. Г. Восстановление вероятностных характеристик многомерных случайных
функций по проекциям // Вестн. Моск. ун-та. Сер.
15: Вычисл. матем. и киберн., 2001. №4. C. 32–
39.
- Shestakov O. V. An algorithm to reconstruct probabilistic
distributions of multivariate random functions from the
distributions of their projections // J. Math. Sci., 2002.
Vol. 112. No. 2. P. 4198–4204.
- Натансон И.П. Конструктивная теория функций. —
М.2Л.: ГИТТЛ, 1949. 684 с.
- Norton S. J. Reconstruction of a two-dimensional reflecting medium over a circular domain: Exact solution //
J. Acoust. Soc. Amer., 1980. Vol. 67. P. 1266–1273.
- Kunyansky L. Explicit inversion formulas for the spherical
mean Radon transform // Inverse Probl., 2007. Vol. 23.
P. 373–383.
- Finch D., Haltmeier M., Rakesh. Inversion of spherical
means and the wave equation in even dimensions // SIAM
J. Appl.Math., 2007. Vol. 68. No. 2. P. 392–412.
ИНФОРМАЦИОННО - АНАЛИТИЧЕСКАЯ АВТОМАТИЗИРОВАННАЯ СИСТЕМА "МЕГАЛИТ" В ОПТИМИЗАЦИИ ДИАГНОСТИКИ И ЛЕЧЕНИЯ МОЧЕКАМЕННОЙ БОЛЕЗНИ.
- М.П. Кривенко Институт проблем информатики Российской академии наук, mkrivenko@ipiran.ru
- С.А. Голованов Научно-исследовательский институт урологии, sergeygol124@mail.ru
- П.А. Савченко Институт проблем информатики Российской академии наук, psavchenko@ipiran.ru
- А.В. Сивков Научно-исследовательский институт урологии, uroinfo@yandex.ru
- А.П. Сучков Институт проблем информатики Российской академии наук, asuchkov@ipiran.ru
Литература
- Ramello, A., Vitale C., Marangella D. Epidemiology of
nephrolithiasis // J. Nephrol., 2000. Vol. 13. Suppl. 3.
P. 45–50.
- Trinchieri A., Coppi F., Montanari E., Del Nero A., Zanet.
ti G., Pisani E. Increase in the prevalence of symptomatic
upper urinary tract stones during the last ten years // Eur.
Urol., 2000. Vol. 37. P. 23–25.
- Pearle M. S., Calhoun E. A., Curhan G. C. Urologic diseases in America project: Urolithiasis // J. Urology, 2005.
Vol. 173. P. 848–857.
- Lieske J. C., Pena de la Vega L. S., Slezak J.M.,
Bergstralh E. J., Leibson C. L., Ho K. L., Gettman M. T.
Renal stone epidemiology in Rochester, Minnesota: An
update // Kidney Int., 2006. Vol. 69. No. 4. P. 760–764.
- Johnson C. M., Wilson D.M., O’Fallon W.M., Malek R. S.,
Kurland L. T. Renal stone epidemiology: A 25-year study
in Rochester, Minnesota // Kidney Int., 1979. Vol. 16.
No.5. P. 624–631.
- Yasui T., Iguchi M., Suzuki S., Kohri K. Prevalence and
epidemiological characteristics of urolithiasis in Japan:
National trends between 1965 and 2005 // Urology, 2008.
Vol. 71. No. 2. P. 209–213.
- Заболеваемость населения России в 2003 году: Статистические материалы. — М., 2004 (электронная
версия МЗ и СР РФ и ЦНИИ организации и информатизации здравоохранения МЗ и СР РФ). http://
www.minzdravsoc.ru/docs/mzsr/stat/17.
- Аполихин О. И., Сивков А. В., Солнцева Т. В., Комарова В. А. Анализ урологической заболеваемости в
Российской Федерации в 2005–2010 годах // Экспериментальная и клиническая урология, 2012. №2.
C. 4–12. http://ecuro.ru/article/analiz-urologicheskoizabolevaemosti-
v-rossiiskoi-federatsii-v-2005-2010-
godakh.
- Routh J. C., Graham D. A., Nelson C. P. Epidemiological
trends in pediatric urolithiasis at United States freestanding pediatric hospitals // J.Urology, 2010. Vol. 184. No. 3.
P. 1100–1104.
- Голованов С. А., Дрожжева В. В. Кристаллообразующая активность мочи при оксалатном уролитиазе // Экспериментальная и клиническая урология, 2010. №2. C. 24–29. http://ecuro.ru/
article/kristalloobrazuyushchaya-aktivnost-mochi-prioksalatnom-
urolitiaze.
- Bonny O., Rubin A., Huang Ch..L., Frawley W.H.,
Pak C. Y. C., Moe O.W. Mechanism of urinary calcium
regulation by urinary magnesium and pH // J. Am. Soc.
Nephrol., 2008. Vol. 19. No. 8. P. 1530–1537.
- Дюк В. А., Эмануэль В. Л. Информационные технологии в медико-биологических исследованиях.—СПб.:
Питер, 2003. 525 с.
- Liew P.L., Lee Y.C., Lin Y.C., et al. Comparison of artificial neural networks with logistic regression in prediction
of gallbladder disease among obese patients // Digest.
Liver Dis., 2007. Vol. 39. No. 4. P. 356–362.
- Bassi P., Sacco E., De Marco V., et al. Prognostic accuracy of an artificial neural network in patients undergoing
radical cystectomy for bladder cancer: A comparison with
logistic regression analysis // BJU Int., 2007. Vol. 99.
No. 5. P. 1007–1012.
- Stephan C., Xu C., Finne P., et al. Comparison of two
different artificial neural networks for prostate biopsy indication in two different patient populations // J.Urology,
2007. Vol. 70. No. 3. P. 596–601.
- Stone M. Cross2validatory choice and assessment of statistical predictions (with discussion) // J. Roy. Stat. Soc.
B, 1974. Vol. 36. P. 111–147.
- Efron B. Bootstrap methods: Another look at the Jackknife // Ann. Stat., 1979. Vol. 7. P. 1–26.
- Izenman A. J. Modern multivariate statistical techniques. — Springer, 2008. 731 p.
АНАЛИЗ ОДНОРОДНОСТИ ДАННЫХ О ХИМИЧЕСКОМ СОСТАВЕ КАМНЕЙ ПРИ УРОЛИТИАЗЕ.
- М.П. Кривенко Институт проблем информатики Российской академии наук, mkrivenko@ipiran.ru
- С.А. Голованов Научно-исследовательский институт урологии, sergeygol124@mail.ru
- А.В. Сивков Научно-исследовательский институт урологии, uroinfo@yandex.ru
Литература
- Ramello A., Vitale C., Marangella D. Epidemiology of
nephrolithiasis // J. Nephrol., 2000. Vol. 13. Suppl. 3.
P. 45–50.
- Pak C.Y., Resnick M.I., Preminger G.M. Ethnic and geographic diversity of stone disease //Urology, 1997. Vol. 50.
No. 4. P. 504–507.
- Takasaki E. Chronologocal variation in the chemical composition of upper urinary tract calculi // J. Urology, 1986.
Vol. 136.No.1. P. 5–9.
- Trinchieri A., Coppi F., Montanari E., Del Nero A., Zanet.
ti G., Pisani E. Increase in the prevalence of symptomatic
upper urinary tract stones during the last ten years // Eur.
Urol., 2000. Vol. 37. P. 23–25.
- Arias Funez F., Garcia Cuerpo E., Lovaco Castellanos F.,
Escudero Barrilero A., Avila Padilla S., Villar Palasi J.
Epidemiologia de la litiasis urinaria en nuestra Unidad.
Evolucion en el tiempo y factores predictivos [Epidemiol2
ogy of urinary lithiasis in our unit. Clinical course in time
and predictive factors] // Arch. Esp. Urol., 2000. Vol. 53.
No. 4. P. 343–347.
- Тиктинский О.Л., Александров В. П. Мочекаменная
болезнь. — СПб.: Питер, 2000. 379 с.
- Шуберт Г., Чудновская М. В., Тыналиев М.Т., Поповкин Н.Н., Тимин А. Р. Особенности химического состава и структуры мочевых камней и их распространенность в городах Москве, Берлине и Киргизской
ССР // Урология и нефрология, 1990. №5. С. 49–54.
- Фрейтаг Д., Хруска К. Патофизиология нефролитиаза // Почки и гомеостаз в норме и при патологии /
Под ред. С. Клар; пер. с англ. Е.И. Дайхина. — М.:
Медицина, 1987. С. 390–420. (Klahr S. The kidney and
body fluids in health and desease. — N.Y., L.: Plenum
Medical Books, 1983.)
- Hettmansperger T. P. Multivariate location tests // Encyclopedia of statistical sciences. —N.Y.: JohnWiley &Sons,
2006. P. 5249–5252.
- Minimaa A., Oja H. Multivariate median // Encyclopedia
of statistical sciences. — N.Y.: John Wiley&Sons, 2006.
P. 5258–5266.
- Marden J. I. Multivariate rank tests // Multivariate anal2
ysis, design of experiments and survey sampling / Ed.
S. Ghosh. — N.Y.: Marcel Dekker, 1999. P. 401–432.
- Чистяков С.П. О новом многомерном статистическом критерии однородности двух выборок // Тр.
Карельского научного центра РАН, 2010.№3. С. 93–
97.
- Леман Э. Проверка статистических гипотез. — М.:
Наука, 1979. 408 с.
- Кривенко М. П. Задачи выборочного контроля при досмотре лиц, багажа и транспорта // Обозрение прикладной и промышленной математики, 2011. Т. 18.
Вып. 1. С. 125–126.
- Baringhaus L., Franz C. On a new multivariate two-sample test // J.Multivariate Anal., 2004. Vol. 88. P. 190–206.
О МЕТОДЕ ПРОГНОЗИРОВАНИЯ И КЛАССИФИКАЦИИ ДЛЯ ЦЕНЗУРИРОВАННЫХ ДАННЫХ.
- Т.В. Захарова Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, lsa@cs.msu.ru
- Е.М. Абрамова Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики, houselake@gmail.com
Литература
- Афифи А., Эйзен С. Статистический анализ. Подход с
использованием ЭВМ / Пер с англ. И.С. Енюкова,
И.Д. Новикова. — М.: Мир, 1982. 488 с. (Afifi A. A.,
Azen S. P. Statstical analysis. A computer oriented approach. —2nd ed. —NewYork –San Francisco–London:
A Subsidiary of Harcourt Brace Jovanovich Publs., 1979.
442 p.)
- Truett J., Cornfield J., Kannel W. A multivariate analysis
of the risk of coronary heart disease in Framingham //
J. Chronic Diseases, 1967. Vol. 20. P. 511–524.
- Реброва О.Ю. Статистический анализ медицинских
данных. Применение пакета прикладных программ
STATISTICA.—М.: МедиаСфера, 2002. 312 с.
- Халафян А. А. Современные статистические методы
медицинских исследований. — М.: Эдиториал УРСС,
2008. 320 с.
- Захарова Т.В., Золоева М. В. Прогнозирование состояния пациентов // Обозрение прикладной и промышленной математики, 2007. Т. 14. Вып. 2. C. 298–299.
- Драницына М. А., Захарова Т. В. Классификация состояний пациентов с целью прогнозирования результатов
лечения // Обозрение прикладной и промышленной
математики, 2009. Т. 16. Вып. 5. C. 840–841.
- Драницына М. А., Захарова Т. В. Дискриминантный
анализ для классификации и прогнозирования результатов лечения // Системы и средства информатики,
2013. Т. 23.№2. С. 89–95.
CONCEPTUAL DECLARATIVE PROBLEM SPECIFICATION AND SOLVING IN DATA INTENSIVE DOMAINS.
- L. Kalinichenko Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, leonidandk@gmail.com
- S. Stupnikov Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, ssa@ipi.ac.ru
- A. Vovchenko Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, itsnein@gmail.com
- D. Kovalev Institute of Informatics Problems, Russian Academy of Sciences,Moscow 119333, Russian Federation, dm.kovalev@gmail.com
КОНЦЕПТУАЛЬНЫЕ ДЕКЛАРАТИВНЫЕ СПЕЦИФИКАЦИИ И РЕШЕНИЕ ЗАДАЧ В ОБЛАСТЯХ С ИНТЕНСИВНЫМ ИСПОЛЬЗОВАНИЕМ ДАННЫХ.
- Л. Калиниченко Институт проблем информатики Российской академии наук, Москва, Россия, leonidandk@gmail.com
- С. Ступников Институт проблем информатики Российской академии наук, Москва, Россия, ssa@ipi.ac.ru
- А. Вовче нко Институт проблем информатики Российской академии наук, Москва, Россия, itsnein@gmail.com
- Д. Ковалев Институт проблем информатики Российской академии наук, Москва, Россия, dm.kovalev@gmail.com
Литература
- Hey, T., S. Tansley, and K. Tolle, eds. 2009. The fourth
paradigm: Data-intensive scientific discovery. Redmond:
Microsoft Research. 252 p.
- Challenges and opportunities with big data. A community
white paper developed by leading researchers across the United States. 2012. Available
at: http://cra.org/ccc/docs/init/bigdatawhitepaper.pdf
(accessed November 21, 2013).
- Kappe l, G., M. Wimmer, W. Retschitzegger, and
W. Schwinger. 2011. Leveraging model-based tool integration
by conceptual modeling techniques. The evolution
of conceptual modeling. Eds.R. Kaschek and L.M. L.Delcambre.
Lecture notes in computer science ser. Berlin,
Heidelberg: Springer-Verlag. 6520:254–84.
- Kalinichenko, L.A., S.A. Stupnikov, and D.O.Martynov.
2007. SYNTHESIS: A language for canonical information
modeling and mediator definition for problem solving in
heterogeneous information resource environments. M.:
IPIRAN. 171 p.
- Kalinichenko, L.A., D.O. Briukhov, D.O. Martynov,
N.A. Skvortsov, and S.A. Stupnikov. 2007. Mediation
framework for enterprise information system infrastructures.
9th Conference (International) on Enterprise Information
Systems ICEIS 2007 Proceedings. Funchal. Vol.
Databases and information systems integration. 246–51.
- Kalinichenko, L.A. 1990. Methods and tools for equivalent
data model mapping construction. Advances in
database technology — EDBT’90. Eds. F. Buncilhon,
C. Thanos, and D. Tsichritzis. Lecture notes in computer
science ser. Berlin, Heidelberg: Springer-Verlag.
416:92–119.
- Kalinichenko, L.A., and S.A. Stupnikov. 2012. Synthesis
of the canonicalmodels for database integrationpreserving
semantics of the value inventive data models. Advances in
database and information systems.Eds.T.Morzy,T.H.arder,
R. Wrembel, et al. Lecture notes in computer science ser.
Berlin, Heidelberg: Springer-Verlag. 7503:223–39.
- Boley, H., and M. Kifer, eds. 2013. RIF
overview. W3C working group note. 2nd ed. Available
at: http://www.w3.org/TR/rif-overview/ (accessed
November 21, 2013).
- Kalinichenko, L., S. Stupnikov, A. Vovchenko, and D. Kovalev.
2013. Rule-based multi-dialect infrastructure for
conceptual problem solving over heterogeneous distributed
information resources. New trends in databases and
information systems. Selected Papers of the 17th European
Conference on Advances in Databases and Information Systems
and Associated Satellite Events. Advances in Intelligent
Systems and Computing 241:61–68.
- Leone, N., G. Pfeifer, W. Faber, T. Eiter, G. Gottlob,
S. Perri, and F. Scarcello. 2006. The DLV system for
knowledge representation and reasoning. ACM Trans.
Comput. Log. 7(3):499–562.
- Kalinichenko, L.A., and S. A. Stupnikov. 2008. Constructing
ofmappings of heterogeneous informationmodels
into the canonical models of integrated information
systems. ADBIS 2008 Proceedings. Pori: Tampere University
of Technology. 106–22.
- Abrial, J.-R. 1996. The B-book: Assigning programs to
meanings.Cambridge:CambridgeUniversityPress. 816 p.
- Skvortsov, N.A. 2012. Otobrazhenie modeley dannykh
NoSQL v ob”ektnye specifikatsii [Mapping of
NoSQL data models to object specifications]. Trudy 14-y
Vserossiyskoy nauchnoy konferentsii “Elektronnye biblioteki:
Perspektivnye metody i tekhnologii, elektronnye kollektsii”’
RCDL 2012 [14th Russian Conference on Digital
Libraries RCDL 2012 Proceedings]. CEUR Workshop Proceedings
934:53–62.
- Stupnikov, S.A. 2013. Otobrazhenie grafovoymodeli dannykh
v kanonicheskuyu ob”ektno-freymovuyu informatsionnuyu
model’ pri sozdanii sistem integratsii neodnorodnykh
informatsionnykh resursov [Mapping of a
graph data model into an object-frame canonical information
model for the development of heterogeneous
information resources integration systems]. Trudy 15-y
Vserossiyskoy nauchnoy konferentsii “Elektronnye biblioteki:
Perspektivnye metody i tekhnologii, elektronnye kollektsii”
RCDL 2013 [15th Russian Conference on Digital Libraries
RCDL 2013 Proceedings]. Yaroslavl: P.G.Demidov
Yaroslavl State University. 193–202.
- Skvortsov, N.A. 2013. Otobrazhenie modeli dannykh
RDFv kanonicheskuyumodel’ predmetnykh posrednikov
[Mapping of RDF data model into the canonical model
of subject mediators]. Trudy 15-y Vserossiyskoy nauchnoy
konferentsii “Elektronnye biblioteki: Perspektivnye metody i
tekhnologii, elektronnye kollektsii” RCDL 2013 [15th Russian
Conference on Digital Libraries RCDL 2013 Proceedings].
Yaroslavl: P.G. Demidov Yaroslavl State University.
202–9.
- Stupnikov, S.A. 2013. Verifitsiruemoe otobrazhenie modeli
dannykh, osnovannoy na mnogomernykhmassivakh,
v ob”ektnuyu model’ dannykh [A verifiable mapping of
a multidimensional array data model into an object data
model]. Inform. Appl. 7(3):22–34.
- Fagin, R., P.G. Kolaitis, R. J. Miller, and L. Popa. 2005.
Data exchange: Semantics and query answering. Theor.
Comput. Sci. 336:89–124.
- Lenzerini, M. 2002. Data integration: A theoretical perspective.
ACM Symposium on Principles of Database Systems
(PODS) Proceedings. 233–46.
- Kalinichenko, L.A., D.O. Martynov, and S. A. Stupnikov.
2004. Query rewriting using views in a typed mediator environment.
Advances in databases and information systems.
Eds. G. Gottlob, A. Benczur, and J. Demetrovics. Lecture
notes in computer science ser. Berlin, Heidelberg:
Springer-Verlag. 3255:37–53.
- Boley, H., and M. Kifer, eds. 2013. RIF basic logic
dialect. W3C recommendation. 2nd ed. Available
at: http://www.w3.org/TR/rif-bld/ (accessed November
21, 2013).
- De Sainte Marie, C., G. Hallmark, and A. Paschke, eds.
2013. RIF production rule dialect. W3C recommendation.
2nd ed. Available at: http://www.w3.org/TR/rif-
prd/ (accessed November 21, 2013).
- Boley, H., and M. Kifer, eds. 2013. RIF framework for
logic dialects.W3Crecommendation. 2nd ed.Available at:
http://www.w3.org/TR/rif-§d/ (accessed November 21,
2013).
- Kifer, M., ed. 2010. RIF core logic programming
dialect based on the well-founded semantics. Available
at: http://ruleml.org/rif/RIF-CLPWD.html (accessed
November 21, 2013).
- Van Gelder, A., K.A. Ross, and J. S. Schlipf. 1991. The
well-founded semantics for general logicprograms. J.ACM
38(3):620–50.
- Heymans, S., and M. Kifer, eds. 2009. RIF
core answer set programming dialect. Available
at: http://ruleml.org/rif/RIF-CASPD.html (accessed
November 21, 2013).
- Gelfond, M., and V. Lifschitz. 1988. The stable model
semantics for logic programming. Logic Programming: 5th
Conference and Symposium Proceedings. 1070–80.
- De Bruijn, J., and C. Welty, eds. 2013. RIF RDF and OWL
Compatibility. W3C recommendation. 2nd ed. Available
at: http://www.w3.org/TR/rif-rdf-owl/ (accessed
November 21, 2013).
- Motik, B., P. F. Patel-Schneider, and B. Parsia, eds. 2012.
OWL 2 Web ontology language structural specification
and functional-style syntax. W3C recommendation. 2nd
ed. Available at: http://www.w3.org/TR/owl2-syntax/
(accessed November 21, 2013).
- Shvaiko, P., and J. Euzenat. 2005. A survey of schemabasedmatching
approaches. J.Data Semantics IV:146–71.
- Abiteboul, S., M. Bienvenu, A. Galland, et al. 2011.
A rule-based language for Web data management. 30th
ACM Symposium on Principles of Database Systems Proceedings.
ACMPress. 283–92.
- Gelfond, M. 2008. Answer sets. Handbook of knowledge
representation. Elsevier. 285–316.
- Motik, B., and R. Rosati. 2007. Closing semantic Web
ontologies. University of Manchester Report. Available
at: http://www.cs.ox.ac.uk/people/boris.motik/pubs/
mr06closing-report.pdf (accessed November 21, 2013).
- Chen, P. P., B. Thalheim, and L. Y. Wong. 1999. Future
directions of conceptual modeling. Conceptual modeling.
Eds. P. P. Chen, J. Akoka, H. Kangassulu, and B. Thalheim.
Lecture notes in computer science ser. Berlin, Heidelberg:
Springer-Verlag. 1565:287–301.
- Costal, D., C. G‚omez, and G. Guizzardi. 2011. Formal
semantics and ontological analysis for understanding subsetting,
specialization and redefinition of associations in
UML. Conceptual modeling — ER 2011. Eds.M. Jeusfeld,
L. Delcambre, and T.W. Ling. Lecture notes in computer
science ser. Berlin, Heidelberg: Springer-Verlag.
6998:189–203.
- Martinez, Y., C. Cachero, M. Matera, S. Abrahao, and
S. Lujan. 2011. Impact ofMDE approaches on the maintainability
of Web applications: An experimental evaluation.
Conceptual modeling — ER 2011. Eds. M. Jeusfeld,
L. Delcambre, and T.W. Ling. Lecture notes in computer
science ser. Berlin, Heidelberg: Springer-Verlag.
6998:233–46.
- Castro, L. F. Bai“ao, and G. Guizzardi. 2011. A semantic
qriented method for conceptual data modeling in
OntoUML based on linguistic concepts. Conceptual modeling
— ER 2011. Eds. M. Jeusfeld, L. Delcambre, and
T.W. Ling. Lecture notes in computer science ser. Berlin,
Heidelberg: Springer-Verlag. 6998:486–94.
- Fillottrani, P.R., E. Franconi, and S. Tessaris.
2011. The ICOM 3.0 intelligent conceptual modelling
tool and methodology. Semantic Web. IOS
Press. 1–14. Available at: http://www.semantic-web-
journal.net/sites/default/¦les/swj105 1.pdf (accessed
November 21, 2013).
- Maus, C., S. Rybacki, and A.M. Uhrmache.
2011. Rule-based multi-level modeling of cell biological
systems. BMC Syst. Biol. 5:166. Available
at: http://www.biomedcentral.com/content/pdf/1752-
0509-5-166.pdf (accessed November 21, 2013).
- Calvanese, D., G. De Giacomo, D. Lembo, M. Lenzerini,
A. Poggi, and R. Rosati. 2007. MASTRO-I: Efficient
integration of relational data throughDL ontologies. 2007
Workshop (International) on Description Logic (DL 2007)
Proceedings. CEURWorkshop Proceedings. 250.
- Cosentino, V., M.D. Del Fabro, and A. El Ghali. 2012.
Amodel driven approach for bridging ILOGrule language
and RIF. RuleML 2012 Proceedings. CEUR Workshop
Proceedings. 874. Available at: http://ceur-ws.org/Vol-
874/paper9.pdf (accessed November 21, 2013).
- Gonzalez-Moriyon, G., L. Polo, D. Berrueta,
and C. Tejo-Alonso. 2012. Final steel industry
public demonstrators. ONTORULE deliverable
D5.5. Available at: http://ontorule-project.eu/
outcomes%3Ffunc=¦leinfo&id=94.html (accessed
November 21, 2013).
- Loo, B. T., T. Condie, M. Garofalakis, D. E. Gay,
J.M. Hellerstein, P. Maniatis, R. Ramakrishnan,
T. Roscoe, and I. Stoica. 2006. Declarative networking:
Language, execution and optimization. ACM SIGMOD
Conference Proceedings. 97–108.
- Grumbach, S., and F. Wang. 2010. Netlog, a rule-based
language for distributed programming. Practical aspects of
declarative languages. Eds. M. Carro and R. Pe“na. Lectire
notes in computer science ser. Berlin, Heidelberg:
Springer-Verlag. 5937:88–103.
- Alvaro, P., W.R. Marczak, N. Conway, J.M. Hellerstein,
D. Maier, and R. Sears. 2010. Dedalus: Datalog in time
and space. Datalog reloaded. Eds. O. de Moor, G. Gottlob,
T. Furche, and A. Sellers. Lectures notes in computer
science ser. Berlin, Heidelberg: Springer-Verlag. 6702:
262–81.
- Grossmann, G., R. Thiagarajan, M. Schrefl, and
M. Stumptner. 2011. Conceptual modeling approaches
for dynamic Web service composition. The evolution of
conceptual modeling. Eds. R. Kaschek and L.M. L. Delcambre.
Lecture notes in computer science ser. Berlin,
Heidelberg: Springer-Verlag. 6520:180–204.
- Henderson-Sellers, B. 2011. Random thoughts on multilevel
conceptual modelling. The evolution of conceptual
modeling. Eds. R. Kaschek and L.M. L. Delcambre. Lecture
notes in computer science ser. Berlin, Heidelberg:
Springer-Verlag. 6520:93–116.
- Falbo, R.A., F. B. Ruy, and R.D. Moro. 2005. Using
ontologies to add semantics to a software engineering environment.
SEKE 2005 Proceedings. Curran Associates.
151–56.
- Berre, A., and M. Missikoff (Moderators). 2011. Panel:
Modeling for the future Internet. Conceptual modeling —
ER 2011. Eds.M. Jeusfeld, L. Delcambre, and T.W. Ling.
Lecture notes in computer science ser. Berlin,Heidelberg:
Springer-Verlag. 6998: 526–27.
- Porto, F., and S. Spaccapietra. 2011. Data model for scientificmodels
and hypotheses. The evolution of conceptual
modeling. Eds. R. Kaschek and L.M.L. Delcambre. Lecture
notes in computer science ser. Berlin, Heidelberg:
Springer-Verlag. 6520: 285–305.
- Racunas, S. A., N.H. Shah, I. Albert, and N. V. Fedoroff.
2004. Hybrow: A prototype system for computer-aided
hypothesis evaluation. Bioinformatics 20(1):257–64.
- Sharpe, W., G. J. Alexander, and J.W. Bailey. 1998. Investments.
Prentice Hall. 962 p.
- Gabbay, D.M. 2012. What is negation as failure? Logic
programs, norms and action. Eds. A. Artikis, R. Craven,
N.K.C ic ekli, et al. Lecture notes in computer science ser.
Berlin, Heidelberg: Springer-Verlag. 7360:52–78.
- Briukhov, D.O., A.E. Vovchenko, V.N. Zakharov,
O. P. Zhelenkova, L.A. Kalinichenko, D.O. Martynov,
N.A. Skvortsov, and S.A. Stupnikov. 2008. Arkhitektura
promezhutochnogo sloya predmetnykh posrednikov
dlya resheniya zadach nad mnozhestvom integriruemykh
neodnorodnykh raspredelennykh informatsionnykh
resursov v gibridnoy grid-infrastrukture virtual’nykh observatoriy
[The middle ware architecture of the subject
mediators for problem solving over a set of integrated
heterogeneous distributed information resources in the
hybrid grid-infrastucture of virtual observatories]. Inform.
Appl. 2(1):2–34.
- ATL Project. 2013. Available at: http://www.eclipse.org/
atl/ (accessed November 21, 2013).
PROBABILISTIC METHODS FOR SELF - CORRECTING HARDWARE DESIGN.
- S. Dolev Department of Computer Science, Ben-Gurion University, Beer-Sheva 84105, Israel, dolev@cs.bgu.ac.il
- S. Frenkel Institute of Informatics Problems, Russian Academy of Sciences, Moscow 119333, Russian Federation,
Moscow Institute of Radio, Electronics, and Automation «MIREA», Moscow 119454, Russian Federation, fsergei@mail.ru
- D.E. Tamir Department of Computer Science, Texas State University, San-Marcos, TX 78666, USA, dt19@txstate.edu
ВЕРОЯТНОСТНЫЙ ПОДХОД К САМОКОРРЕКТИРУЮЩИМСЯ ВЫЧИСЛЕНИЯМ В ПРОЕКТИРОВАНИИ АППАРАТУРЫ.
- Ш. Долев Университет им. Бен2Гуриона в Негаве, Беэр-Шева, Израиль, dolev@cs.bgu.ac.il
- С. Френкель Институт проблем информатики Российской академии наук; Московский государственный технический
университет радиотехники, электроники и автоматики (МГТУ МИРЭА), Москва, Россия,
fsergei@mail.ru
- Д.Е. Тамир Университет Техаса, г. Сан-Маркос, США, dt19@txstate.edu
Литература
- Bil‚en, S., and A. Price. 2007. Modulation classification
for radio interoperability via SDR. SDR 07 Technical
Conference and Product Exposition Proceedings.
http://www.slideshare.net/kirill443/12-4-5647963 (accessed
November 7, 2013).
- Lala, P. 2000. Self-checking and fault-tolerant digital design.
Morgan Kaufmann Publs. 400 p.
- Sigal, A., R. Lipton, R. Rubinfeld, and M. Sudan. 1990.
Reconstructing algebraic functions frommixed data. 33rd
Annual Symposium on Foundations of Computer Science.
503–12.
- Gemmell, P., R. Lipton, R. Rubinfeld, M. Sudan, and
A. Wigderson. 1991. Self-testing/correcting for polynomials
and for approximate functions. 23rd Annual ACM
Symposium on Theory of Computing Proceedings. 32–34.
- Lee, D.U., R. Cheung, W. Luk, and J. Villasenor. 2008.
Hardware implementation trade-offs of polynomial approximations
and interpolations. IEEE Trans. Comput.
57(5):686–701.
- Dolev, Sh., and S. Frenkel. 2009. Extending the scope
of self-correcting. 13th Conference (International) on Applied
Stochastic Models and Data Analysis (ASMDA2009)
Proceedings. 458–62.
- Nicely, T.R. Some results of computational research
in prime numbers (Computational number theory).
http://www.trnicely.net/pentbug/pentbug.html (last retrieved
December 2010).
- Rubinfeld, R. 1992. Batch checking with applications to
linear functions. Inform. Process. Lett. 42:77–80.
- Spielman, D. 1996. Highly fault-tolerant parallel computation.
37th IEEE Annual Symposium on Foundations of
Computer Science Proceeding. 154–63.
- Oppenheim, A. V., R.W. Schafer, and J.R. Buck. 1999.
Discrete-time signal processing. Upper Saddle River, NJ:
Prentice-Hall. 871 p.
- Berlekamp, E., and L. Welch. 1986. Error correction of
algebraic block codes. U.S. Patent No. 4,633,470.
- Tertinek, S., and C. Vogel. 2008. Reconstruction of
nonuniformly sampled bandlimited signals using a
differentiator-multiplier cascade. IEEE Trans. Circuits
Syst. 55(8):2273—86.
- Pang, Y., and K. Radecka. 2008. Optimizing imprecise
fixed-point arithmetic circuits specified by Taylor series
through arithmetic transform. Design Automation Conference
DAC’08 Proceedings. 397–402.
- Yekhanin, S. 2011. Locally decodable codes. Foundations
Trends Theoretical Computer Sci. 7(1):1–117.
- Rahardja, S., and B. J. Falkowski. 2001. Efficient algorithm
to calculate Reed–Muller expansions over
GF(4). IEE Proceedings — Circuits, Devices and Systems.
148(6):289, 297.
- Leroux, C., G. LeMestre, C. Jego, P. Adde, and M. Jezequel.
2008. A 5-Gbps FPGA prototype of a (31,29)2
Reed–Solomon turbo decoder. 5th Symposium (International)
on Turbo Codes and Related Topics Proceedings.
67–72.
|
![](/pic/x1.gif)
|