автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.17, диссертация на тему:Разработка семантических моделей на основе теории категорий для моделирования данных

Введение.

1. Анализ моделей данных.

1.1. Основные модели.

1.2. Теоретико-множественная модель.

1.3. Бинарная модель.

1.4. Трехуровневая множественная модель.

1.5. Семантическая иерархическая модель.

1.6. Модель "сущность-связь".

1.7. Модель в виде семантической сети.

1.8. Семантическая бинарная модель.

1.9. Модель с неполной информацией.

1.10. Модель на позиционных множествах.;.

1.11. Матрично-реляционная модель.

1.12. Дедуктивная модель.

1.13. Расширенная модель Кодда.

1.14. Временная модель.

1.15. Объектно-ориентированная модель.

1.16. Многомерная модель.

1.17. Бинарная категорная модель.

1.18. Семантическая категорная модель.

1.19. Анализ семантических свойств и теоретической обоснованности моделей.,,.

Выводы.

2. Семантическое моделирование данных с применением элементов теории категорий.

2.1. Модель данных на основе теории категорий.

2.2. Операции в категорной модели.

2.3. Реляционная и категорная доменно-ориентированная модели данных

2.4. Основные признаки категорной доменно-ориентированной модели

2.5. Связь между реляционной и категорной доменно-ориентированной моделями данных.

2.6. Разработка методов идентификации элементов доменов.!.

2.7. Нумерация и реализация морфизмов.

2.8. Моделирование динамической базы данных на основе категорной модели.

Выводы.

3. Категорная модель данных и проектирование открытых информационных систем.

3.1. Категорная модель и организация данных в информационных системах.

3.2. Описание основных функций управления элементами домена.

3.3. Оценка семантических свойств доменов при обеспечении целостности и эффективности БД.

3.4. Учет индивидуальных семантических свойств данных в доменно-ориентированной организации данных.

3.5. Описание диалога доменно-ориентированной информационной системы.

3.6. Автоматизация разработки доменно-ориентированной информационной системы.

Выводы.

Актуальность. Современные системы управления базами данных (СУБД) являются сложными программно-техническими системами, в которых реализованы современные технологии информационного моделирования и программного обеспечения, необходимые для решения проблем управления большим объемом данных. Однако СУБД предъявляют определенные требования к той среде, в которой они используются. Применение СУБД приводит к некоторым эксплуатационным накладным расходам, часто требует достаточно высокого уровня компетентности для установки и сопровождения, позволяет управлять только такими данными, которые представлены в файлах весьма специфических форматов.

В настоящее время имеются тенденции построения мощных СУБД, внедрение и сопровождение которых требует больших накладных расходов. Однако во многих случаях требуются значительно более дешевые и простые решения. Кроме этого при создании некоторого нового приложения предпочтительнее воспользоваться возможностью включения ранее разработанных компонентов для того, чтобы добиться сокращения сроков разработки системы. Поэтому в настоящее время большой интерес представляют технологии, которые дают возможность повторного использования информационных компонент.

Поддержка баз данных в современных СУБД достигается благодаря разделению логических и физических структур данных, а также с помощью арсенала инструментальных средств, призванных облегчить осуществление таких функций, как проектирование базы данных и обеспечение необходимого уровня производительности, целостности и надежности системы. Целостность баз данных обеспечивается путем введения жестких ограничений на первичные и внешние ключи, на ссылки и сериализации транзакций. Надежность достигается за счет ведения системного журнала с предварительной записью состояния баз данных, реализации механизма транзакций. Совместное их использование позволит поддерживать непротиворечивость данных при отказе оборудования или аварийном завершении программ [17, 32].

Теоретической основой для реализации систем управления данными и механизмов поддержки их целостности служит модель данных. Реализация модели данных предполагает разработку языка для определения структуры базы данных (языка определения данных) и языка для манипулирования этими структурами (языка манипулирования данными, например, языка запросов). Схема баз данных определяет конкретную базу данных в терминах языка их описания. Применение в СУБД концепции схемы обеспечит независимость между хранимыми структурами данных в базе данных и в приложениях.

Проблемы, связанные с разработкой моделей данных и проектированием баз данных, рассматриваются в работах отечественных и зарубежных специалистов (М.Ш. Цаленко, Л.А. Калиниченко, Э.Ф. Кодд, К. Дейт, Дж. Мартин и др.).

Широкое применение баз данных позволило сделать вывод о том, что данные могут существовать и представляться в приложениях в разнообразных формах. Для того, чтобы дать возможность приложениям иметь доступ к комбинированным источникам данных некоторым унифицированным способом и с помощью средств высокого уровня, эти разнородные форматы должны быть интегрированы в рамках общего интерфейса.

Принципы интеграции данных из неоднородных источников находят выражение в компонентных методах программирования и применяются в методах управления распределенными объектами, которые реализованы в системах CORBA, СОМ и OLE. Каждый из этих подходов предоставляет некоторую объектно-ориентированную модель, на которой базируется общий язык описания интерфейсов распределенных объектов. Хотя эти стандарты и поддерживающие их системы прошли долгий путь в интеграции различных систем программного обеспечения, они лучше всего подходят для обеспечения унифицированных синтаксических интерфейсов новых или суш,ествуюш;их приложений. Эти подходы обеспечивают обш;ий протокол для передачи сообш,ений между объектами в распределенной среде, но отсутствует решение проблемы разрешения семантических противоречий. Они не могут быть самостоятельно использованы для интеграции или создания унифицированных данных из различных источников. Это потребует создания специальной модели и надстройки над интерфейсами CORBA, СОМ или OLE. При этом хорошая модель данных должна быть достаточно выразительна для описания большого класса приложений и допускать эффективную реализацию. Несмотря на то, что реляционная модель является доминируюш;ей на протяжении последнего десятилетия, имеются явные признаки необходимости в более мош;ных и гибких моделях. Из вышесказанного можно сделать вывод, что разработка и использование моделей данных являются важными направлениями исследований в области проектирования информационных систем и баз данных.

Цель работы заключается в разработке формальных семантических моделей данных на основе применения теории категорий и их реализации с применением объектно-ориентированного подхода и нумерационных методов идентификации данных.

Объектом исследования являются методы проектирования и создания информационных системЛЛ — лл'лл

Предметом исследования являются модели данных и их семантические свойства, а также методы их реализации.

Задачи исследования. Для достижения поставленной цели решаются следующие задачи:

L Анализ семантических свойств моделей и разработка моделей данных на основе применения элементов теории категорий.

2. Разработка методов реализации категорной модели.

3. Разработка методов организации данных в информационных системах, построенных на основе категорной модели данных.

4. Анализа целостности и эффективной организации данных.

В процессе исследования использовались методы общей алгебры, математической логики, дискретной математики, теоретических основ информатики и теории баз данных.

Научная новизна.

1. Применение категорной модели для моделирования семантики данных.

2. Использование нумерационных методов для представления категорных объектов и морфизмов категорной доменно-ориентированной модели данных.

3. Разработка методов реализации категорной нумерационной доменно-ориентированной модели данных.

Основные результаты и положения, выносимые на защиту.

1. Категорная модель данных.

2. Метод преобразования реляционной модели в категорную модель данных и обратно.

3. Интерфейс и метод реализации категорной модели на основе нумерационной доменно-ориентированной модели данных.

4. Метод реализации информационных систем на основе категорной нумерационной доменно-ориентированной модели данных.

Практическая ценность заключается в следующем:

- предложенная модель данных, обладает семантическими свойствами и обеспечивает удобную реализацию объектно-ориентированных информационных систем;

- разработан объектно-ориентированный интерфейс для создания типовых информационных компонент;

- разработаны типовые информационные компоненты ускоряющие процесс создания прикладных информационных систем и повышающие надежность подобных систем.

Апробация работы. Основные результаты работы докладывались и получили одобрение на Всероссийской научно-технической конференции "Непрерывная и смежные логики в информатике, экономике и социологии" (г. Пенза, 1997 г.). Третьей Международной научно-практической конференции "Математические методы и компьютеры в экономике" (г. Пенза, 1998 г.). Международной научно-технической конференции "Современные научно-технические проблема гражданской авиации" (г. Москва, 1999 г.). Третьей Международной научной конференции "Методы и средства управления технологическими процессами" (г. Саранск, 1999 г.). Третьей международной научно-методической конференции "Новые информационные технологии обучения в региональной инфраструктуре" (г. Пенза, 2000 г.).

Реализация работы. Основные результаты, изложенные в диссертационной работе, использованы в НИР "Доменно-ориентированная нумерационная система управления базами данных" по программе "Конверсия и высокие технологии. 1997 - 2000 г.г." (Пензенский государственный университет), использованы в разработке программного и информационного обеспечения типовой автоматизированной информационной системы вуза (Пензенский государственный педагогический университет им. В.Г. Белинского).

Публикации. Основное содержание диссертационной работы отражено в 11 публикациях.

Структура и объем работы. Диссертация состоит из введения, трех глав, заключения, списка литературы и приложения. Работа содержит 158 страниц текста, 30 рисунков, 6 таблиц, список литературы из 98 наименований, 3 страницы приложения.

Основные результаты диссертационной работы получили отражение в 11 печатных работах автора [38 - 48], а также докладывались на конференциях.

149

Список основных сокращений

БД - база данных вен - внутрисистемный номер

ИС - информационная система

НЭС - номер элемента (экземпляра) сущности

СУБД - система управления базами данных

Заключение

Диссертационная работа посвящена исследованию семантических свойств моделей данных, разработке модели на основе применения теории и т-ч и категорий и поиску методов ее реализации. В ходе представленных в данной диссертационной работе исследований были получены следующие результаты и сделаны выводы:

1. Решена важная научно-техническая задача, связанная с разработкой систем управления данными, учитывающих более точно семантические свойства данных, на основе применения элементов теории категорий. Предложена формализация семантических свойств в виде категорной модели данных, которая позволяет естественным образом представить такие понятия объектных семантических моделей как: сущность, объект, свойства, связи, неопределенность значений, функциональные зависимости, ограничения на область возможных значений. Показано, что категорная модель эквивалентна реляционной модели и содержит дополнительные операции манипулирования данными (агрегация, декомпозиция, конкатенация), в которых учитываются семантические свойства данных.

2. Разработана категорная нумерационная доменно-ориентированная организация данных для реализации категорной модели данных.

3. Разработаны, на основе категорной модели данных, структура типового абстрактного класса, структура категорной доменно-ориентированной ИС, а также этапы проектирования категорной доменно-ориентированной ИС.

4. Доказано, что наличие типовых базовых доменов позволит сократить сроки разработки ИС в два и более раз.

5. Доказано, что в доменно-ориентированной организации данных наличие семантических сведений об области возможных значений атрибутов

148 позволит повысить целостность БД, что выражается в том, что при каскадном изменении количества значений вероятность ошибочного изменения является постоянной и не зависит от количества изменяемых элементов.

6. Доказано, что учет семантических свойств, в организации хранения данных в домене, позволит уменьшить объем физической памяти выделенной для домена более чем в четыре раза.

1. Александров А. А. Системы управления базами данных для ЕС ЭВМ/ А. А. Александров, В. В. Бойко и др. М.: Финансы и статистика, 1984. -224 с.

2. Андон Ф. И. Основные положения системы управления базами данных ОКА/ Ф. И. Андон, В. Г. Долгополый и др.// УсиМ. 1977. - №6. -С. 38-41.

3. Бабэ Б. Просто и ясно о Borland С++/ Пер. с англ. М.: Бином, 1996.416 с.

4. Белнап П., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981.288 с.

5. Бекич 3. Активные базы данных: аналитический обзор// Программирование. 1990. - №5. - С. 63-72.

6. Брудно В. А. Базы данных с неполной информацией/ В. А. Брудно, Д. П. Скворцов, В. К. Финн, М. Ш. Цаленко// Семиотика и информатика. -М.: ВИНИТИ, 1985. Вып. 25. - С. 5-45.

7. Брусенков П. В. Программная система управления базами данных СИНБАД/ Н. В. Брусенков и др.// Алгоритмы и организация решения экономических задач. М.: Статистика, 1975. Вып. 7. - С. 59-72.

8. Буч Г. Объектно-ориентированное проектирование с примерами применения/ Пер. с англ. М.: Конкорд, 1992. - 519 с.

9. Вендров А. М. CASE-технологии. Современные методы и средства проектирования информационных систем. М.: Финансы и статистика, 1998. -176 с.

10. Виноградов М. М. Модель плексов: семантика и формализация/ М. М. Виноградов, М. Р. Когаловский, В. В. Когутовский// Системы управления базами данных с многоуровневой архитектурой. М.: ЦЭМИ АН СССР, 1980. - С. 3-15.

11. Вон К. Технология объектно-ориентир о ванных баз данных// Открытые системы. 1994. - №4. - С. 30-42.

12. Гилула М. М. Множественная модель данных в информационных системах. М,: Наука, 1992. - 208 с.

13. Горбатов В. А. Логическое управление информационными процессами/ В. А. Горбатов, П. Г. Павлов, В.Н. Четвериков. М.: Энергоатомиздат, 1984. 304 с.

14. Грис Д. Конструирование компиляторов для цифровых вычислительных машин/ Пер. с англ. М.: Мир, 1975. - 544 с.

15. Дейт К. Введение в системы баз данных/ Пер. с англ. М.: Наука, 1980. - 463 с.

16. Дейт К. Введение в системы баз данных/ Пер. с англ. 6-е изд. -Киев: Диалектика, 1998. - 784 с.

17. Зильбершац А. Стратегические направления в системах баз данных/ А. Зильбершац, С. Здоник// СУБД. 1997. - №4. - С. 4-23.

18. Злуф М. М. Queгy-by-Examp1e: язык баз данных// СУБД. 1996. -№3. - С. 149-160.

19. Искусственный интеллект: В 3-х кн. Кн. 2. Модели и методы: Справочник/ Под ред. Д. А. Поспелова. М.: Радио и связь, 1990. - 304с.

20. Калиниченко Л. А. Эволюция языка описания данных КОДАСИЛ/ Л. А. Калиниченко, А. И. Прохоров// Алгоритмы и организация решения экономических задач. М.: Статистика, 1975. Вып. 7. - С. 77-84.

21. Калиниченко Л. А. Языковые средства временно-ориентированных моделей данных/ Л. А. Калиниченко, М. Г. Манукян// Программирование. -1990.-№5.-С. 73-87.

22. Калиниченко Л. А. Стандарты ОМО: Язык определения интерфейсов ГОЬ в архитектуре СОЯБА/ Л. А. Калиниченко, М, Р. Когаловский// СУБД. -1996. -№2. -С. 115-140.

23. Калиниченко Л. А. Интероперабельность брокеров в стандарте СОЯБА 2.0/ Л. А. Калиниченко, М. Р. Когаловский// СУБД. 1996. - №3. -С. 125-135.

24. Калиниченко Л. А. Методы и средства интеграции неоднородных баз данных. М.: Наука, 1983. - 423 с.

25. Каш Ф. Модули и кольца/ Пер. с немецк. М.: Мир, 1981. - 368с.

26. Ковтун И. И. Матрично-реляционная модель данных для представления и обработки информации в автоматизированных системах мониторинга и управления// Программирование. 1997, - №6. - С. 58-72.

27. Когаловский М. Р. Механизмы концептуального уровня СУБД МУССОН/ М. Р. Когаловский, В. В. Когутовский// Техника реализации многоуровневых систем управления базами данных. М.: ЦЭМИ АН СССР, 1982.-С. 20-40.

28. Клоксин У. Программирование на языке Пролог/ Пер. с англ./ У. Клоксин, К. Меллиш. М.: Мир, 1987. - 336 с.

29. Кодд Э. Ф. Расширение реляционной модели для лучшего отражения семантики// СУБД. 1996. - №5-6. - С. 163-192.

30. Кодд Э. Ф, Расширение реляционной модели баз данных для достижения более глубокого понимания смысла данных/ Пер. с англ. -Днепропетровск, 1981. 73 с.

31. Кузин Л. Т. Основы кибернетики: В 2-х т. Т.2. Основы кибернетических моделей: Учеб. пособие для вузов. М.: Энергия, 1979. -584 с.

32. Кузнецов С. Д. Введение в СУБД. Ч. 3// СУБД. 1995. - №3. -С. 114-127.

33. Кузнецов С. Д. Направления исследований в области управления базами данных: краткий обзор// СУБД. 1995. - №1. - С. 23-32.

34. Кузнецов С. Д. Введение в СУБД. Ч. 911 СУБД. 1996. - №5-6. -С. 136-153.

35. Линьков В. М. Разработка нумерационных механизмов управления данными в программах// Практика применения баз данных для решения информационно-поисковых задач и задач управления: Сб. тр. Пенза: ПДНТ, 1989.-С. 25-26.

36. Линьков В. М. Нумерация системы конечных множеств// Оптимальные методы вычислений и их применение: Межвуз. сб. науч. тр. -Пенза: Пензенский политехнический институт, 1987. С. 113-117.

37. Линьков В. М. Нумерационные методы в проектировании систем управления данными: Монография. Пенза: Пензенский политехнический институт, 1994. - 156 с.

38. Линькова В. П. Обучение информационно-логическому моделированию с использованием ГОБР1Х-методологии/ В. П. Линькова, А. В. Линькова// Университетское образование: Материалы V Междунар. науч.-метод. конф. 4.1. Пенза: ПГУ, ПДЗ, 2001. - С. 60-62.

39. Линькова А. В. Модель описания записи-ориентированной организации данных// Применение баз данных: Материалы науч.-практ. семинара. Пенза: ПДЗ, 1997. - С. 21-22.

40. Линькова А. В. Категорная модель данных и объектно-ориентированное моделирование// Современные научно-технические проблемы гражданской авиации: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999.-С. 276.

41. Линькова А. В. Свойства объектной категорной модели данных// Современные научно-технические проблемы гражданской авиации: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999. - С. 276-277.

42. Линькова А. В. Категорная модель данных в системах управления// Методы и средства управления технологическими процессами: Материалы Третьей Междунар. науч. конф. Саранск: Мордовск. ун-т, 1999. - С. 185-188.

43. Линькова А. В. Применение бинарных деревьев для хранения доменов// Современные научно-технические проблемы ГА: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999. - С. 284.

44. Линькова А. В. Особенности реализации составных доменов// Современные научно-технические проблемы ГА: Материалы Междунар. науч.-техн. конф. М.: МГТУГА, 1999. - С. 288-289.

45. Линькова А. В. Модель данных на основе применения элементов теории категорий// Научный вестник МГТУГА, Серия информатика, 2000. -№25.-0.21-25.

46. Логический словарь: ДЕФОРТ/ Под ред. А. А. Ивина, В. Н. Переверзева, В. В. Петрова. М.: Мысль, 1994. - 268 с.

47. Гуков Л. И. Макетирование, проектирование и реализация диалоговых информационных систем/ Л. И. Гуков, Е. И, Ломако, А. В. Морозова и др. М.: Финансы и статистика, 1993. - 320 с.

48. Мальцев А. И. Алгоритмы и рекурсивные функции. М.: Наука, 1965.-360 с.

49. Мартин Дж. Организация баз данных в вычислительных системах/ Пер. с англ. М.: Мир, 1978. - 616 с.

50. Мейер Д. Теория реляционных баз данных/ Пер. с англ. М.: Мир, 1987. - 608 с.

51. Нагао М. Структуры и базы данных/ Пер. с японск./ М. Нагао, Т. Катаяма, С. Уэмура. М.: Мир, 1986. - 197 с.

52. Новоженов Ю. В. Объектно-ориентированные технологии разработки сложных программных систем. М.: Бит, 1996. - 115 с.

53. Озкарахан Э. Машины баз данных и управление базами данных/ Пер. с англ. М.: Мир, 1989. - 695 с.

54. Олле Т. В. Предложение КОДАСИЛ по управлению базами данных/ Пер. с англ. М.: Финансы и статистика, 1981. - 286 с.

55. Плоткин Б. И. Универсальная алгебра, алгебраическая логика и базы данных. М.: Наука, 1991.-448 с.

56. Попов Э. В. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта/ Э. В. Попов, Г. П. Фирдман. М.; Наука, 1976. -445 с.

57. Пржиялковский В. В. Абстракции в проектировании БД// СУБД. -1998.-№1-2.-С. 90-115.

58. Рубашкин В. Ш. Представление и анализ смысла в интеллектуальных информационных системах. М.: Наука, 1989. - 192 с.

59. Сахаров А. А. Принципы проектирования и использования многомерных баз данных (на примере Oracle Express Server)// СУБД. 1996. -№3.-0.44-58.

60. Смит Д. М. Абстракции баз данных: Агрегация и обобщение/ Д. М. Смит, Д. К. Смит// СУБД. 1996. - №2. - С. 141-160.

61. Стибли Э. Теория моделей данных и процессирование позиционных множеств/ Э. Стибли, Т. Хардгрейв// Модели данных и системы баз данных, труды совместного советско-американского семинара. Москва, 14-23 ноября 1977 г.-М.: Наука. 1979.

62. Столяров Г. К, Обзор предложений рабочей группы КОДАСИЛ по базам данных// Алгоритмы и организация решения экономических задач. -М.: Статистика, 1974. Вып. 4. С. 48-77.

63. Столл Р. Множества. Логика. Аксиоматические теории/ Пер. с англ. -М.: Просвещение, 1968. 231 с.

64. Тей А. Логический подход к искусственному интеллекту: от классической логики к логическому программированию/ Пер. с франц./ А. Тей, П. Грибомон, Ж. Луи, Д. И. Снийерс др. М.: Мир, 1990. - 432 с.

65. Ульман Дж. Основы систем баз данных/ Пер. с англ. М.: Финансы и статистика, 1983. - 333 с.

66. Флорес Н. Структуры и управление данными. М.: Финансы и статистика, 1982. - 318 с.

67. Хаббард Дж. Автоматизированное проектирование баз данных/ Пер. с англ. М.: Мир, 1984. - 296 с.

68. Цаленко М. Ш. Моделирование семантики в базах данных. -М.: Наука, 1989.-288 с.

69. Цаленко М. Ш. Основы теории категорий/ М. Ш. Цаленко, Е. Г. Шульгейфер. М.: Наука, 1974. - 256 с.

70. Цикритзис Д. Модели данных/ Пер. с англ./ Д. Цикритзис, Ф. Лоховски. М.: Финансы и статистика, 1985. - 343 с.

71. Чери С. Логическое программирование и базы данных/ Пер. с англ./

72. C. Чери, Г. Готлоб, Л. Танка. М.: Мир, 1992. - 352 с.76. трейдер Ю. А. Системы и модели. М.: Радио и связь, 1988. - 151 с.

73. Шринивасан В. Долговременное хранение объектов в объектно-ориентированных приложениях/ В. Шринивасан, Д. Чанг// Открытые системы. -1999.-№3.-0.43-57.

74. Abrial J. R. Data semantics// Data Base Management/ J. R. Abrial, J.W. Klimbie, K. L. Koffeman, eds. Noth-Holland, Amsterdam, 1974. - P. 1-59.

75. An Information Algebra// Communications of ACM. 1962. - v. 5. -№4.-P. 190-204.

76. Brodie M. On modelling behavioural semantics of databases// Proc. International Conference on Very Large Data Bases, 11 Sept., 1981. P. 32-41.

77. Brodie M. Data abstraction for designing database intensive application// Proc. Workshop on Data Abstraction, Databases and Conceptual Modellig, SIGPLAN Notices 16, 1 Jan., 1981.

78. Chamberlin D. SEQUEL: A Structured English Query Languade/

79. D. Chamberlin, R. Boyce// Proc. 1974 ACM SIGMOD Workshop on Data Description, Access and Control.

80. Childs D. L. Description of set theoretic data structure// Proc. of AFIPS Fall Joint Computer Conference, N. Y., 1968.

81. Chen P.P. The entity-relationship model: Toward a unified view of data. ACM Trans. Database Syst., 1976. P. 9-36.

82. Codd E. F. A relational model of data for large shared data banks. Commun. ACM, 13, 1970. p. 377-387.

83. Codd E. F. Further normalization of the Data base relational model// Courant Computer Science Symposium 6, Data base Systems. N. Holland Publ. Co., 1972.-P. 33-64.159

84. Документы о внедрении результатов1. Утверждаю»

85. Директор Государственного научио-исслсдовАггсльского института И1|форма1дио1.]шх '1схиоло1ИЙ и1. АКТо пнсдрепни II 11С1И).111>зовапни резулыагов дисссргациоппой

86. Проректор по научной работе1. A.A. Ловков