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

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

Основной ряд

20 Информатика
27 Математика
28 Кибернетика

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

28.23.20 Формирование решений в интеллектуальной среде. Модели рассуждений.
28.23.29 Программная реализация интеллектуальных систем.
28.23.33 Аппаратная реализация интеллектуальных систем.
28.23.35 Экспертные системы.
28.23.37 Нейронные сети.
28.23.39 Интеллектуальные базы знаний.

47 Электроника. Радиотехника
49 Связь

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

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

49.39 Телефонная связь и аппаратура.
49.43 Радиосвязь и радиовещание.

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

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

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

50.05.13.03 Методические вопросы технологии программирования.
50.05.13.07 Тестирование и отладка программ.
50.05.13.11 Методы и критерии оценки программного обеспечения.
50.05.13.15 Методы защиты программ.

50.05.15 Теория и проблематика программирования для вычислительных сетей.
50.05.17 Теоретические основы системного программного обеспечения.

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

50.37.14 Проектирование и организация ВЦ.
50.37.15 Организация работ и режимы работы ВЦ.
50.37.17 Эксплуатация технических средств в условиях ВЦ.
50.37.19 Ведение основных массивов данных в условиях ВЦ.
50.37.21 Ведение программного обеспечения в условиях ВЦ.
50.37.23 Защита от несанкционированного доступа. Физическая защита информации.

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

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

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

50.41.17.05.09 Средства поддержки систем программирования.
50.41.17.05.11 Средства поддержки вычислительных сетей.
50.41.17.05.25 Средства поддержки мультимедиа.
50.41.17.05.27 Средства поддержки интерфейса с пользователем.
50.41.17.05.31 Средства настройки и оптимизации операционных систем.

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

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

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

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

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


55 Машиностроение
76 Медицина и здравоохранение
82 Организация и управление

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

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

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

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

27      Математика

У1816

614. Проектирование прямоугольных упаковок на базе развития технологии блочных структур / Мухачева Э.А., Назаров Д.А., Филиппова А.С., Чиглинцев А.В. // Информ. технологии. — 2007. — № 1. — С. 20-29.

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

М/59429 № 10

615. Разработка модельной реализации функций Бесселя из стандарта LSB / Пономаренко А.В. // Труды Института системного программирования. — 2006. — Т. 10: Обеспечение надежности и совместимости Linux-систем. — С. 115-142. — Библиогр.: 6 назв.

Рассмотрены методы вычисления функций Бесселя, построена их комбинация, достаточно эффективная и точная для всех значений параметров. Корректное вычисление таких функций необходимо, чтобы проверять правильность работы соответствующих библиотечных функций ОС Linux.

М/59429 № 10

616. Формальные подходы к тестированию математических функций / Кулямин В.В. // Труды Института системного программирования. — 2006. — Т. 10: Обеспечение надежности и совместимости Linux-систем. — С. 69-114. — Библиогр.: 94 назв.

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

См. также №№ 619, 691, 788
  
На главную