На главную  |  Полнотекстовый поиск  |  Сайт ГПНТБ России  |  Оформление подписки  |  Архив

Алгоритмы и программы №11 2004 год
Содержание:


Библиографическая информация
(1843—2034)

Основной ряд

05 Демография
06 Экономика.
Экономические науки
10 Государство и право.
Юридические науки
18 Искусство. Искусствоведение
20 Информатика
27 Математика
28 Кибернетика

28.21 Теория информации.
28.23 Искусственный интеллект.

36 Геодезия. Картография
45 Электротехника
47 Электроника. Радиотехника
49 Связь

49.01 Общие вопросы связи.
49.03 Теория связи.
49.33 Сети и узлы связи.
49.37 Системы и аппаратура передачи данных.
49.38 Телематические службы и аппаратура.

49.38.29 Системы и аппаратура передачи текстовой и графической информации.

49.39 Телефонная связь и аппаратура.
49.40 Системы передачи движущихся изображений.
49.43 Радиосвязь и радиовещание.

50 Автоматика и телемеханика. Вычислительная техника

50.01 Общие вопросы автоматики и вычислительной техники.
50.03 Теория автоматического управления.
50.05 Теоретические основы программирования.

50.05.03 Общетеоретические вопросы программирования.
50.05.09 Языки программирования и спецификаций.
50.05.13 Технология программирования. Автоматизация программирования. Программотехника.
50.05.15 Теория и проблематика программирования для вычислительных сетей.
50.05.17 Теоретические основы системного программного обеспечения.

50.07 Теоретические основы вычислительной техники.
50.11 Запоминающие устройства.
50.33 Цифровые вычислительные машины и вычислительные комплексы (ВК).
50.37 Вычислительные центры (ВЦ).

50.37.23 Защита от несанкционированного доступа. Физическая защита информации.

50.39 Вычислительные сети (ВС).
50.41 Программное обеспечение вычислительных машин, комплексов и сетей.

50.41.01 Общие вопросы.
50.41.15 Операционные системы.
50.41.17 Системное программное обеспечение.

50.41.17.05 Компоненты операционных систем и их расширений.

50.41.17.05.03 Программные средства управления вычислительным процессом.
50.41.17.05.05 Программные средства управления данными.
50.41.17.05.11 Средства поддержки вычислительных сетей.
50.41.17.05.29 Средства обеспечения безопасности и защиты.

50.41.17.07 Системы программирования.
50.41.17.09 Программные средства проектирования и разработки программ.
50.41.17.17 Программные средства корпоративных информационных систем.
50.41.17.19 Программные средства распределенных вычислительных систем.

50.41.21 Системы управления базами данных (СУБД).
50.41.23 Программное обеспечение вычислительных сетей.
50.41.25 Прикладное программное обеспечение.

50.41.25.03 Интегрированные пакеты прикладных программ.
50.41.25.05 Программные средства обработки электронных таблиц.
50.41.25.07 Программные средства обработки текстов.
50.41.25.15 Программные средства мультимедиа и гипермедиа.
50.41.25.17 Программные средства машинной графики и других систем визуального отображения.

50.41.27 Компьютерные вирусы. Антивирусные программы.
50.41.29 Программное обеспечение пользовательского интерфейса.

50.47 Автоматизированные системы управления технологическими процессами.
50.49 Автоматизированные системы организационного управления.
50.51 Автоматизация проектирования.

50.51.03 Теория автоматического проектирования.
50.51.17 Программное обеспечение процессов проектирования.

50.53 Автоматизация научных исследований.

55 Машиностроение
67 Строительство. Архитектура
76 Медицина и здравоохранение
81 Общие и комплексные проблемы технических и прикладных наук и отраслей народного хозяйства
82 Организация и управление

Указатель использованных источников

Авторский указатель

Указатель языков программирования

Указатель операционных сред


10     Государство и право. Юридические науки

У2029

1851. Деньги за землю... или земля за деньги: Непростой расчет простой аренды земельных участков / Ставицкий А., Самуйлов И. // САПР и графика. — 2004. — ¹ 8: Градостроительство. — С. 10, 12, 14

Описана система расчета арендных платежей за земельные участки, функционирующая в качестве приложения серверной СУБД Oracle Standard Edition. Визуализация нужного участка производится с помощью ГИС Autodesk MapGuide.

У1816

1852. Формализованный язык описания нормативных требований (язык регламентов) / Поляк В.Е., Безруков А.И., Семин Е.П. // Информ. технологии. — 2004. — ¹ 7. — С. 48-54. — Библиогр.: 4 назв.

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


На главную  |  Полнотекстовый поиск  |  Сайт ГПНТБ России  |  Оформление подписки  |  Архив