Анализ и визуализация взаимосвязей нормативно-правовых документов тема диссертации и автореферата по ВАК РФ 05.13.17, кандидат технических наук Масюк, Максим Анатольевич

  • Масюк, Максим Анатольевич
  • кандидат технических науккандидат технических наук
  • 2011, Красноярск
  • Специальность ВАК РФ05.13.17
  • Количество страниц 130
Масюк, Максим Анатольевич. Анализ и визуализация взаимосвязей нормативно-правовых документов: дис. кандидат технических наук: 05.13.17 - Теоретические основы информатики. Красноярск. 2011. 130 с.

Оглавление диссертации кандидат технических наук Масюк, Максим Анатольевич

Используемые в работе термины.

Используемые сокращения.

ВВЕДЕНИЕ.

Глава 1. Нормы законотворческого процесса в РФ, визуализация и анализ взаимосвязей нормативно-правовых документов, агентно-ориентированный подход.

1.1 Нормы законотворческого процесса в РФ и особенности юридико-технического оформления нормативно-правовых актов с точки зрения риска возникновения правовых коллизий и противоречий.

1.2 Визуализация и анализ взаимосвязей нормативно-правовых документов.

1.3 Агентно-ориентированный подход и теория агентных систем.

1.3.1 Основные понятия.

1.3.2 Архитектура агента.

1.3.3 Модель жизненного цикла агента.

1.3.4 Классификация агентов.

1.3.5 Область применения.

Глава 2. Модель нормативно-правовых документов и их взаимосвязей. Критерии потенциально-опасных ситуаций.

2.1 Модель нормативно-правовых документов и их взаимосвязей.

2.2 Типизация документов.

2.3 Срок действия документов и вступление в силу.

2.4 Определение «окрестности» документа.

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

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

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

3.1 Особенности проектирования системы.

3.2 Архитектура системы.

3.3 Взаимодействие компонентов системы.

3.4 Обоснование использования агентной технологии.

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

3.6 Серверная часть.

3.6.1 Целевая база данных «Законы и постановления Красноярского края».

3.6.2 Агент расстановки ссылок.

3.6.3 Агент анализа и визуализации «окрестности».

3.6.4 Модуль построения «окрестности».

3.6.5 Алгоритм построения и анализа «окрестности» документа на основе обхода в ширину.

3.6.6 Модуль анализа элементов «окрестности» на наличие потенциально-опасных ситуаций.

3.7 Клиентская часть.

3.7.1 Общий вид схемы связей.

3.7.2 Масштабирование и позиционирование (расположение) элементов «окрестности».

3.7.3 Интерфейс пользователя.

3.8 Примеры практического применения сгенерированной системой схемы связей нормативно-правового документа для проведения его экспертизы на соблюдение норм законотворчества.

3.8.1 Пример №1.

3.8.2 Пример №2.

Глава 4. Сравнительный анализ и обоснование выбора используемых в работе программных средств. Описание технологий и стандартов.

4.1 Lotus Notes / Domino.

4.1.1 Объектно-ориентированные базы данных.

4.1.2 Язык программирования Lotus Script.

4.1.3 Функционирование агентов в Lotus Notes/Domino.

4.2 Обзор существующих средств визуализации (рендеринга) связанных структур данных.

4.2.1 JSVIZ.

4.2.2 TouchGraph.

4.2.3 Graphviz.

4.2.4 Prefuse.

4.3 Сравнительный анализ стандартов описания двумерной графики.

4.3.1 Vector Markup Language — язык векторной разметки.

4.3.2 SVG.

4.3.3 Adobe Flash.

Рекомендованный список диссертаций по специальности «Теоретические основы информатики», 05.13.17 шифр ВАК

Введение диссертации (часть автореферата) на тему «Анализ и визуализация взаимосвязей нормативно-правовых документов»

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

Актуальность работы.

В последние годы в Российской Федерации и ее субъектах наблюдается стремительный рост законотворческой деятельности, который отнюдь не всегда свидетельствует о качестве правового регулирования [1]. С развитием законодательной базы РФ и ее субъектов существенно возросло количество принимаемых нормативно-правовых актов — законов, постановлений, указов.

Так, в Законодательном Собрании Красноярского края, ежегодно принимается около 750 праворегулирующих документов. Государственная Дума РФ по официальной информации за осеннюю сессию 2010 года одних только законов приняла 203, а количество законопроектов и постановлений кратно больше (порядка нескольких десятков в день). Значительная часть принимаемых законотворческих документов носит поправочный характер, то есть содержит в себе ссылки на другие документы с описанием вносимых поправок в текст или отменой ранее действующих документов. Такие ссылки одних документов на другие образуют единую связанную структуру — ориентированный граф; который можно рассматривать на множестве документов какой-либо электронной базы данных или справочно-правовой системы в рамках законодательства Российской- Федерации или> отдельного субъекта. Восприятие общей картины путем работы с текстом является трудоемкой процедурой: Кроме того, существует вероятность ошибки при разработке нового законодательного акта, в случае, если не будут учтены все связанные с ним (ранее принятые) документы, которые, в свою очередь, имеют аналогичные взаимосвязи с другими документами. Ситуация может усугубиться в случае, когда законотворческую работу над связанными между собой законопроектами ведут законотворцы из различных комитетов.

В процессе ведения законотворческой- деятельности при необходимости внесения'поправок в действующие законодательные акты, и в» процессе написания' новых существует риск возникновения нарушений^ формальных правил и норм законодательного процесса, закрепленных в- виде специальных документов [2]', [3]. В'указанных методических рекомендациях приведены > требования к оформлению законопроектов и> законодательной технике; В(ТОм."числе по внесению поправок и отмене действующих законов, с учетом предыдущих изменений и связанных с ними документов. Обозначенные выше проблемы определяют потребность в, создании^ программных средств* автоматизации' и поддержки- законотворческой и нормотворческой- деятел ьностей.

Законотворческая? деятельность традиционно предстает предметом оживленных дискуссий в науке конституционного права и других смежных юридических науках. В' работах многих авторов детально- рассматриваются-вопросы, связанные со стадиями и процедурами> законотворческой деятельности, правилами юридической техники, качеством проектов НПД. Вместе с тем необходимо^ отметить, что проблемы соблюдения специальных требований, заключающихся в корректности внесения изменений в законодательство (актуализация) и технической подготовке текста, носят вторичный характер по отношению, например, к концептуальным вопросам содержания законопроектов и правилам юридической техники. Данное обстоятельство, по мнению ученых, занятых исследованиями в соответствующей тематике [4], требует детального рассмотрения и говорит о наличии нерешенных проблем в данной области.

Несмотря на то, что в настоящее время правовая информатика приобрела статус науки [5] и получила довольно широкое распространение, в большей степени ее вниманием охвачены правовые аспекты использования и защиты информации, охрана авторского права, изучение специальных информационных процессов и систем. Вероятно, правы авторы одной из самых основательной из известных нам работ по правовой логике В. Кнапп и А. Герлох, что «на стыке логики и общей теории права много нерешенных проблем» [6]. Существующее в общей теории права направление под названием «формализация правовых норм» [7], призванное выстраивать формально-логическую модель правовой информации и выявлять ее логическую структуру, на сегодняшний день не обладает необходимой наработанной базой и не готово послужить основой для решения поставленных перед автором задач.

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

Обратив внимание на российский рынок справочно-правовых систем, мы обнаружим следующие популярные продукты: «Консультант +», «Гарант», «Кодекс». Все указанные системы содержат исчерпывающее количество информации в текстовом виде, причем не только сами нормативно-правовые акты, но пояснения к ним и множество дополнительных полезных статей, примеров [8], [9]. В некоторых из этих продуктов присутствует механизм пометок в тексте об утрате силы документов или их отдельных частей, но, к сожалению, какое-либо схематичное представление или средства анализа связанной структуры не предложены. Вследствие такой несовершенности существующих программных средств поддержки юридической деятельности восприятие множества документов с их взаимосвязями оказывается сложным, рутинным занятием, требующим участия высококвалифицированных специалистов.

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

Цели и задачи работы.

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

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

- разработка модели, описывающей нормативно-правовые документы и их взаимосвязи различного типа;

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

- разработка, алгоритма выявления взаимосвязей в тексте нормативно-правого документа и алгоритма построения и анализа взаимосвязанной структуры;

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

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

Предмет и методы исследования.

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

Научная новизна работы.

1) Впервые предложена модель нормативно-правовых документов и их взаимосвязей, позволившая ввести новые понятия «окрестность» п-го ( уровня' и «взаимосвязь». нормативно-правовых документов, формализовать критерии потенциальной опасности элементов «окрестности»;

2) разработаны, алгоритм расстановки ссылок в тексте нормативно-правовых документов и алгоритм построения и, анализа'«окрестности» нормативно-правового документа, являющийся модификацией алгоритма поиска в ширину на графе (с построением ребер касания, замыкающих циклы);

3) на основе предложенных модели и алгоритмов разработана новая методика создания средств поддержки правовой и законотворческой деятельностей, отличающаяся применением инструментов автоматического анализа взаимосвязей и визуализации «окрестностей» нормативно-правовых документов; методика позволяет выявлять потенциально опасные с точки' зрения', несоблюдения норм< законотворчества ситуации путем усовершенствования систем управления и взаимодействия с пользователем в специализированных базах данных и справочно-правовых системах.

Научная новизна предлагаемого автором подхода подтверждается выданным Федеральной службой по интеллектуальной собственности, патентам и товарным знакам РФ патентом на изобретение «Способ визуализации взаимосвязей нормативно-правовых документов в виде графа»

Ю]. •

На защиту выносятся следующие положения:

1. Модель нормативно-правовых документов и их взаимосвязей, понятия «окрестность» и «взаимосвязь».

2. Составленные и формализованные в рамках модели критерии потенциальной опасности участков «окрестности».

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

- алгоритм выявления ссылок в тексте документа;

- алгоритм построения и анализа «окрестности» нормативно-правового документа;

- использование инструментов визуализации и автоматического анализа «окрестности».

4. Реализующий предлагаемую методику прототип системы анализа и визуализации взаимосвязей нормативно-правовых документов, разработанный с применением агентно-ориентированного подхода и интегрированный в систему информационных ресурсов Законодательного Собрания Красноярского края.

Практическая ценность работы.

1)* Впервые предложена методика, основанная на применении визуализации и автоматического анализа взаимосвязей нормативно-правовых документов, способная повысить эффективность современных справочно-правовых систем и специализированных баз данных, в настоящее время не обладающих подобными инструментами;

2) проведенное патентное исследование относительно конструкторско-технологического решения «Визуализация взаимосвязей нормативноправовых документов в виде графа» подтвердило отсутствие схожих по своей концепции зарегистрированных патентов и уникальность предлагаемого автором подхода [11];

3) прототип системы анализа и визуализации взаимосвязей нормативно-правовых документов внедрен в информационные ресурсы Законодательного Собрания Красноярского края и успешно применяется в реальных условиях, помогая оптимизировать процесс законотворчества и повысить качество принимаемых законов;

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

Публикации и апробация работы.

По результатам диссертации опубликовано 10 печатных работ, в том числе 3 статьи [12], [13], [14] в изданиях, входящих в список рекомендуемых ВАК, получены свидетельство о регистрации программы для ЭВМ [15] и патент на изобретение [10]. Основные положения и результаты работы прошли апробацию на международных и всероссийских научных конференциях и семинарах в различных городах России. В том числе: VII всероссийская конференция по теоретическим основам проектирования и разработке распределенных информационных систем «ПРИС-2009» (Красноярск, 2009), IX международная конференция ФАМЭТ (Красноярск, 2010), семинар-совещание по вопросу усовершенствования информационного обмена между Советом Федерации и законодательным органами государственной власти субъектов РФ (Москва, 2010), X международная конференция ФАМЭТ (Красноярск, 2011), VII всероссийская научно-практическая конференция студентов, аспирантов и молодых ученых

ИННОВАТИКА-2011» с элементами научной школы для молодежи (Томск, 2011), II международная научно-техническая конференция! «Технологии разработки информационных систем ТРИС-2011» (Геленджик, 2011). Также по результатам работы производились доклады на слушаниях конкурса по вручению государственной премии Красноярского края аспирантам и докторантам за высокие результаты в педагогической деятельности и научных разработках, направленных на1 социально-экономическое развитие края (Красноярск, 2011), на рабочих совещаниях управления делами Законодательного Собрания Красноярского края, семинарах кафедры системотехники СибГТУ в г. Красноярске и кафедры защиты информации и криптографии факультета прикладной; математики и кибернетики ТГУ в г. Томске.

Разработанный автором прототип' системы анализа и^ визуализации* взаимосвязей нормативно-правовых документов интегрирован в систему информационных ресурсов Законодательного Собрания! Красноярского края, что'подтверждается соответствующим актом о^ внедрении [16]. В настоящее время система успешно используется, специалистами, Законодательного Собраниями существенно упрощает процедуру правовой экспертизы^ законов, что, в свою- очередь, помогает избежать возможных правовых коллизий, снижает риск возникновения противоречий* с федеральным^ законодательством И'протестов прокуратуры на принимаемые законы.

Структура и объем работы.

Диссертационная работа состоит из введения, четырех глав, заключения, библиографического списка использованных источников и четырех приложений. Она содержит 130 страница основного текста, 25 рисунков и 10 таблиц, расположенных в тексте. Список литературы включает 93 наименования:

Похожие диссертационные работы по специальности «Теоретические основы информатики», 05.13.17 шифр ВАК

Заключение диссертации по теме «Теоретические основы информатики», Масюк, Максим Анатольевич

Заключение

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

Отличительными особенностями системы являются:

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

• применение технологии программных агентов, осуществляющих непрерывный мониторинг законодательный базы;

• графическое представление «окрестности» нормативно-правового документа, позволяющее пользователю лучше представить специфику нормативно-правового акта, идентифицировать потенциально-опасные ситуации.

Достижение поставленных целей потребовало решения ряда задач. Был проработан ряд теоретических и практических вопросов по затрагиваемым областям. В главе 1 рассмотрены существующие в настоящее время проблемы в сфере юридико-технического оформления нормативно-правовых актов и существующие инструменты работы с документами с учетом их связности.

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

Для апробации предлагаемой методики в реальных условиях был реализован- и внедрен в эксплуатацию прототип системы анализа и визуализации взаимосвязей нормативно-правовых документов (глава 3), интегрированный в систему информационных ресурсов Законодательного Собрания Красноярского края, в частности, в целевую-базу данных «Законы и постановления Красноярского края», что подтверждается соответствующим актом о внедрении [16].

Глава 4 содержит описание использованных в работе программных средств, технологий и стандартов, в частности; платформы Lotus • Notes/Domino, особенностей документно-ориентированных баз данных, существующих библиотек и фреймворков рендеринга графовых структур и стандартов кодирования объектов двухмерной графики.

Применение агентного подхода позволило добиться- ряда полезных характеристик, свойственных агентным системам в целом, таких как:

• автономность и непрерывность работы;

• децентрализация и распределенность функций между элементами системы;

• обучаемость в процессе функционирования.

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

Применение технологий автоматического анализа и графической интерпретации в исследуемой области — взаимосвязанной структуре нормативно-правовых документов — не имеет аналогов в известных нам программных продуктах и открытых публикациях, что подтверждается соответствующими патентными исследованиями [11] и выданным федеральной службой по интеллектуальной собственности РФ патентом на изобретение «Способ визуализации взаимосвязей нормативно-правовых документов в виде графа» [10].

Разработанный автором прототип системы анализа и визуализации* взаимосвязей нормативно-правовых документов вызвал' заинтересованность со стороны специалистов и руководителей Законодательного Собрания! Красноярского края, о чем свидетельствует данная ему характеристика, описывающая его как инструмент, «в целом позволяющий повысить качество принимаемых нормативно-правовых актов и эффективность анализа существующей законодательной базы, а именно сократить количество возможных ошибок и неточностей, связанных с соблюдением закрепленных норм законотворчества, существенно уменьшить время, затрачиваемое на разработку и экспертную оценку новых законопроектов» [92].

В целом, по работе можно сделать следующие выводы:

1) предложена новая методика, позволяющая автоматизировать деятельность юристов, способствующая повышению эффективности их работы и улучшению качества законодательства в целом;

2) технология может быть использована в любых других областях для анализа взаимосвязанной структуры документов (проектная и нормативная документации, СНИПы, ГОСТы, патенты);

3) в настоящее время планируется дальнейшее усовершенствование системы в следующих направлениях:

- развитие модели нормативно-правых документов и их взаимосвязей, на основе предлагаемой автором онтологии [93] предметной области;

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

Список литературы диссертационного исследования кандидат технических наук Масюк, Максим Анатольевич, 2011 год

1. Доклад Совета Федерации Федерального Собрания Российской Федерации 2008 года «О состоянии законодательства в Российской Федерации». — Москва , 2008 г.

2. Письмо Аппарата ГД ФС РФ от 18.11.2003 №вн2-18/490 // Методические рекомендации по юридико-техническому оформлению законопроектов. — Москва , 2003 г.

3. Постановление Законодательного Собрания Красноярского края №12-2575П «О методических рекомендациях по юридико-техническому оформлению краевых законопроектов». — Красноярск , 2004 г.

4. Советников И.В. К вопросу о технической стороне подготовки проектов Федеральных Законов // Конституционное и муниципальное право. — Москва : Издательская группа «Юрист», 2008 г. — С. 8-12.

5. Кузнецов П. У. Правовая информатика. Теория. Общая часть. — Екатеринбург : УрПОА, 2007 г. — 44 стр.

6. Кнапп В. Герлох А. Логика в правовом сознании. — Москва: Прогресс, 1987 г. — 312 стр.

7. Чубукова С.Г., Элькин В.Д. Основы правовой информатики (юридические и математические вопросы информатики). — Москва: Юридическая фирма «КОНТРАКТ», 2007 г. — Изд. второе, исправленное, дополненное : 287 стр.

8. Система «Гарант» (платформа F1). Новые возможности для эффективной работы / Практическое руководство. — Москва : ООО НПП «Гарант-Сервис», 2008 г. — 348 стр.

9. Пшеничнов М.П. КонсультантПлюс: Технология 3000 (серия 300) в примерах. — Москва : ЗАО «КонсультантПлюс», 2007 г. — 178 стр.

10. Пат. №2431188 РФ, МПК G06F 17/30(2006.01). Способ визуализации взаимосвязей нормативно-правовых документов в виде графа / Масюк М.А. и др. (РФ), — Опубл. 10.10.2011. — Бюл. №28.

11. ЗАО «Крепость Технопарк». Отчет о патентном исследовании относительно конструкторско-технологического решения «Визуализация взаимосвязей нормативно-правовых документов в виде графа». — Новосибирск, 2009 г.

12. Масюк М.А. Система анализа и визуализации нормативно-правовых документов // Журнал «Информационные технологии». — М. : Новые технологии, 2011 г. — №2(174). — С. 74-78.

13. Масюк М.А. Анализ и визуализация взаимосвязей нормативно-правовых документов в справочно-правовых системах // Вестник Сибирского государственного аэрокосмического университета имени академика М.Ф. Решетнева. — Красноярск , 2011 г. — 2(35). — С. 40-45.

14. Доррер Г.А. и Масюк М.А. Система управления взаимосвязями нормативно-правовых документов // Информация и связь. — Москва : AHO Редакция журнала «Информация и связь», 2011 г. — Спец. выпуск по итогам конференции ТРИС-2011. — С. 41-44.

15. Свидетельство об г официальной регистрации программы для ЭВМ №2011614352. Система анализа и визуализации взаимосвязей, нормативно-правовых документов. Масюк М.А. 02.06.2011 г. — М.: ФИПС, 2011 г.

16. Акт о внедрении результатов кандидатской диссертационной работы Масюка М.А. в информационные ресурсы Законодательного Собрания Красноярского края. — Красноярск ,2011 г.

17. Плотницкий A.B. О некоторых проблемах законотворчества в сфере уголовно-процессуального законодательства (Вопросы юридической техники) // Российский следователь. — 2008 г. — №5. — С. 17-18.

18. Баранов B.M. Идея законопроекта: сущность, практическая ценность, технико-юридическое оформление // Журнал российского права. — 2008 г. — №2. — С. 9-17.

19. Кожевников О.А. «Дефектное» правотворчество государственных органов первый шаг к нарушению конституционных прав граждан // Право и политика. — 2007 г. — №12. — С. 113-116.

20. Хабибулин А.Г. Теоретико-методологические проблемы законотворчества в условиях глобализации 2006 // Журнал российского права. — М. : Норма, 2006 г. — С. 40-45.

21. Теория и методология нормотворчества / Под ред. Ю.Г. Арзамасова. — М. : Академический проспект, 2007 г. — 560 стр.

22. Организация законопроектной работы в системе федеральных органов исполнительной власти / Под ред. Т.Я. Хабриевой. — Mi : Юристь, 2006 г. — 140 стр.

23. Приказ министерства внутренних дел РФ от 27.06.2003 №484 об утверждении правил подготовки нормативно-правовых актов в центральном аппарате МВД России. — Москва , 2003 г.

24. Приказ от 12.04.2006 №78' министерства промышленности и энергетики РФ / /Об утверждении методических рекомендаций по разработке и подготовке к принятию проектов технических регламентов. — Москва, 2006 г.

25. Social network Wikipedia, the free encyclopedia. URL: http://en.wikipedia.org/wiki/Socialnetworkanalysis. Дата обращения: 01.09.2011 г.

26. Использование категоризации текстов ссылок и анализа графов для идентификации платных ссылок. URL: http://company.yandex. ru/public/conferences/www2009.xml. Дата обращения: 01.09.2011 г.

27. Сергиенко В.И. Математические модели и методы решения задач дискретной оптимизации. — Киев : Наукова думка, 1988 г. — Изд. 2-ое, доп. и перераб. : 472 стр.

28. Технопарк Регистрация товарных знаков, патентование, суды. URL: http://www.tehnopark.com/. Дата обращения: 01.09.2011 г.

29. Ивин A.A. Логика норм. — Москва : Изд-во МГУ, 1973 г. — 121стр.

30. Г. X. фон Вригт. О логике норм и логике действий // Логико-философские исследования. — Москва , 1986 г.

31. Караваев Э.Ф. Деонтическая логика // Учебник для юридических вузов. — СПб : «Лексикон», 2001 г.

32. Костылёв В.М. О проблеме формализации правовых норм // Вестник ВЭГУ, № 6: Юриспруденция. — Уфа : Восточный университет, 1998 г. —С. 70-72.

33. Нечепуренко М.И., Попков В.К. и Майнагашев С.М. Алгоритмы и программы решения задач на графах и сетях. — Новосибирск : Наука, 1990 г. —515 стр.

34. Стюарт Рассел, Питер Норвиг. Искусственный интеллект: современный подход. — Москва : Издательский дом «Вильяме», 2007 г. — 2-е изд. : 1408 стр.

35. Таненбаум Э. и М. Ван Стеен. Распределенные системы. Принципы и парадигмы. — СПб : Питер, 2003 г.

36. Wooldridge M. Intelligent Agents // Multiagent Systems. A Modem Approach to Distributed Artificial Intelligence. — Cambridge, MA, USA : MIT Press, 2000 г. — C. 27-77.

37. Cetnarovicz E., Nawarecki E. и К. Cetnarovicz. Agent-Oriented Technology of Deccentralized System Based on the M-agent

38. Architecture/ZPreprints of IFAC/IFIP Conference on Management and Control of Production and Logistics (MCPL '97). — SP, Brazil, 1997. — T. 2.

39. Wooldridge M.J. An Introduction to Multiagent Systems. — Chichester : Wiley, 2002 r.

40. Болдырев E.B. Агентный подход к созданию приложений параллельного поиска информации в распределенной системе разнородных баз данных: дис. канд. тех. наук. — Красноярск , 2005 г. — 137 стр.

41. Muller J.P., Pischel М., Thiel М. Modeling Reactive Behaviour in Vertically Layered Agent Architectures // Intelligent Agents / Ed. By M. Wooldridge and N.R. Jennings.— Berlin : Springer- Verlag, 1995 г.— C. 261276.

42. Intelligent Software Agents. URL: http://www-2.cs.cmu.edu/~softagents/retsinaagentarch.html. Дата обращения: 01.09.2011 г.

43. Drummond M., Rrcsina J. и Kedar S. The entropy reduction engine: Integrating planning, scheduling, and control // SIGART Bulletin 2. — 1991 r. — C. 61-65.

44. Гаазе-Рапопорт М.Г. и Поспелов Д.Л. От амебы до робота: модели поведения. — Москва : Наука, 1987 г. — 286 стр.

45. Welcome to the Foundation for Intelligent Physical Agents. URL: http://www.fipa.org/. Дата обращения: 01.09.2011 г.

46. Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственноминтеллекте // Новости искусственного интеллекта. — 1998 г. — №2. — С. 563.

47. Chaib-Draa В. и др. Trends in Distributed Artificial Intelligence// Artificial Intelligence Review. — 1992 r. — vol. 6. — C. 35-66.

48. Etzioni О. и Weld D. Intelligent Agents on the Internet// IEEE Expert. — 1995 г. — T. 4.

49. Murray D. Developing Reactive Software Agents // AI Expert. — 1995 г. —№3.

50. Maes P. Artificial Life Meets Entertainment: Life Like Autonomous Agents // Communication of the ACM. — 1995 r. — №11.

51. Wooldridge M. Intelligent Agents: Theory and Practice// The Knowledge Engineering Review. — 1995 г. — T. №2. — С. 115-152.

52. Copernic Software to Search, Find, and Manage Information. URL: http://www.copernic.com/. Дата обращения: 01.09.2011 г.

53. Wheeler Matt и др. 25th Digital Avionics Systems Conference// Cooperative tracking of moving targets by a team of autonomous UAVs. — Portland, OR , 2006 г. — C. 1-9.

54. SEAS System Effectiveness Analysis Simulation - Home. URL: http://teamseas.com/. Дата обращения: 01.09.2011 г.

55. Boeing: SOSCOE Home. URL: http://www.boeing.com/bds/soscoe/. Дата обращения: 01.09.2011 г.

56. Jennings N.R., Corera J. и Laresgoiti I. Using ARCHON to Develop Real-World- DAI applications for electricity transportation management and Particle Acceleration Control // IEEE Expert Special Issue on Real World Applications of DAI systems. — 1996 r.

57. Dyke. Parunak H. Van Applications of Distributed Artificial Intelligence in Industry // Foundations of Distributed'Artificial Intelligence. — 1994 r. — 18 стр.

58. Губанов Д.А., Новиков Д.А., Чхартишвили А.Г. Социальные сети: модели информационного влияния, управления и противоборства. — М. : ФИЗМАТЛИТ, 2010 г. — 228 стр.

59. IBM Research | Deep Blue | Overview. URL: http://www.research.ibm.com/deepblue/. Дата обращения: 01.09.2011 г.

60. Боровский С. Досье искусственного интеллекта // PC Week. — 1999 г. —№43. —С. 33.

61. Google Voice Features. URL: http://www.google.com/googlevoice/about.html. Дата обращения: 01.09.2011 г.

62. Jennings N. R. Wooldridge M. J. Software engineering with agent // Queen Mary and Westfield College, University of London. University of London, 2000 r.

63. Dyke Parunak H. Van. Industrial and Practical Application of DAI//Multiagent Systems. — 2001 r.

64. RFC 5321 Simple Mail Transfer Protocol. URL: http://tools.ietf.org/html/rfc5321. Дата обращения: 01.09.2011 г.

65. Lotus Notes and Domino Enterprise collaboration software for personal and organizational effectiveness. URL: http://www-01.ibm.com/software/lotus/notesanddomino/. Дата обращения: 01.09.2011 г.

66. O'Leary D.E., Knokka D.Artificial Intelligence and Virtual Organizations // Communications of the ACM. — 1997 r. — №1:T. 4. — C. 5259.

67. Nelson Theodor Holm. Geeks beaming gifts. How the computer world Got this way. — : Mindful Press, 2009.

68. Thomas H. Cormen и др. Алгоритмы: построение и анализ. — Москва : Вильяме, 2011 г. — 1296 стр.

69. Кристофидес Н. Теория графов. Алгоритмический подход. — Москва : Мир, 1978 г. — 215 стр.

70. Ахо А., Дж. Хопкрофт и Дж. Ульман. Построение и' анализ вычислительных алгоритмов. — Москва : Мир, 1979 г. — 536 стр.

71. Емеличев В.А и др. Лекции по теории графов. — Москва : Наука, 1990 г. —384 стр.

72. IBM Software Home Page. URL: http://www-01.ibm.com/softwareA Дата обращения: 01.09.2011 г.

73. Акопянц Андрей Lotus Notes — миф и реальность. URL: http://akop.ru/personal/7294. Дата обращения: 05^09.2011 г.

74. Интернет сайт, посвященный платформе Java. Что такое технология Java? URL: http://www.java.com/ru/about/. Дата обращения: 01.09.2011 г.

75. Чертовской В.Д. Базы и1 банки данных. Учебное пособие.— СПб : МГУП, 2001 г. — 220 стр:

76. Багуи Сиха. Объектно-ориентированные базы данных: достижения и проблемы // Открытые системы. — 2004 г. — №3.

77. Sylvia L. и Osborn Li Yu. Unifying data, behaviours, and messages in object-oriented databases // Data & Knowledge Engineering. — Amsterdam , 1996 г. — №1 : Т. 18. —С. 29-54.

78. Поляков Е.В. и Ходырев А.В. Язык программирования LotusScript в Lotus/Domino R 8: базис языка, встроенные функции и встроенные классы. — Москва : InterTrust, 2008 г. — 655 стр.

79. Кирклэнд Р. Домино версии 5 и 6. Администрирование сервера. — Москва : ДМК Пресс, 2003 г. — 832 стр.

80. ODBC Programmer's Reference. URL: http://msdn.microsoft.com/en-us/library/ms714177(VS.85).aspx. Дата обращения: 01.09.2011 г.

81. JSViz makes it easy to create dynamic 2D views of information. -Google Project Hosting. URL: http://c0de.g00gle.c0m/p/jsviz/. Дата обращения: 01.09.2011 г.

82. Graph Visualization and Social Network Analysis Software. URL: http://www.touchgraph.com. Дата обращения: 01.09.2011 г.

83. Home | Graphviz Graph Visualization Software. URL: http://www.graphviz.org. Дата обращения: 01.09.2011 г.

84. The DOT Language. URL: http://www.graphviz.org/doc/info/lang.html. Дата обращения: 01.09.2011 г.

85. Prefuse interactive information visualization toolkit. URL: http://prefuse.org/. Дата обращения: 01.09.2011 г.

86. ActionScript Technology Center. URL: http://www.adobe.com/devnet/actionscript.html. Дата обращения: 01.09:2011 г.

87. VML Reference. URL: http://www.w3.org/TR/NOTE-VML. Дата обращения: 01.09:20И.

88. VML The Vector Markup Language. URL: http://www.w3.org/TR/1998/NOTE-VML-19980513. Дата обращения: 01.09.2011.

89. W3C SVG Working Group. URL: http://www.w3.org/Graphics/SVG/. Дата обращения: 01.09.2011.

90. Adobe Flash Professional CS5.5. URL: http://www.adobe.com/ products/flash.html. Дата обращения: 01.09.2011 г.

91. Характеристика САВВНПД. Внутренний входящий №9/вн-13 от 06.04.2011 г. Законодательное Собрание Красноярского края.

92. Масюк М.А. Материалы X международной конференции ФАМЭТ // Тезаурус и прикладная онтология предметной области в задаче анализа ивизуализации нормативно-правовых документов.— Красноярск, 2011 г.— С. 241-243.

Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.