23751 23752 23753 23754 23755 23756 - Шины 23757 23758 23759 23760 23761 23762 23763 - Устройства графического вывода 23764 23765 23766 23767 - Запоминающие устройства прямого доступа 23768 23769 23770 23771 23772 23773 - Производительность жестких дисков 23774 - Дисковые массивы 23775 23776 - Сети доступа к дискам 23777 - Драйверы внешних устройств 23778 - Драйверы внешних устройств 23779 23780 - Функции драйверов 23781 23782 - Многоуровневые драйверы 23783 23784 23785 - Загрузка драйверов 23786 - Архитектура драйвера 23787 23788 23789 - Введение в конечные автоматы 23790 23791 23792 - Сложный конечный автомат 23793 23794 - Запросы к драйверу 23795 - Синхронный ввод-вывод 23796 - Асинхронный ввод-вывод 23797 - Сервисы ядра, доступные драйверам 23798 - Автоконфигурация 23799 - Выделение памяти. Таймеры. 23800 - Обмен данными с пользовательским процессом 23801 - Сервисные функции 23802 - Асинхронная модель ввода-вывода с точки зрения приложений 23803 23804 - Дисковый кэш 23805 23806 - Спулинг 23807 - Файловые системы 23808 - Файловые системы. Файлы с точки зрения пользователя. 23809 - Монтирование файловых систем 23810 23811 - Формат имен файлов 23812 - Операции над файлами 23813 - Тип файла 23814 23815 - Простые файловые системы 23816 23817 23818 23819 - "Сложные" файловые системы 23820 23821 23822 23823 - Устойчивость файловой системы к сбоям питания 23824 23825 - Восстановление ФС после сбоя 23826 23827 - Файловые системы с регистрацией намерений 23828 23829 - Устойчивость ФС к сбоям диска 23830 - Драйверы файловых систем 23831 - Безопасность 23832 - Проблема защиты 23833 - Формулировка задачи 23834 23835 - Сессии и идентификаторы пользователя 23836 - Аутентификация 23837 23838 - Аутентификация в сети 23839 23840 23841 - Криптографические методы аутентификации 23842 23843 - Авторизация 23844 - Списки контроля доступа 23845 23846 23847 23848 23849 - Полномочия 23850 23851 23852 - Изменение идентификатора пользователя 23853 - Ресурсные квоты 23854 - Атаки на систему безопасности. Отказ в сервисе. 23855 - Троянские программы 23856 - Типичные уязвимые места 23857 - Ошибки программирования 23858 23859 23860 23861 - Практические рекомендации 23862 - Приложение. Обзор архитектур современных ОС. 23863 - MVS, OS/390, z/OS 23864 - Семейство Unix 23865 - Распространение UNIX 23866 - Микроядро. Minix. Open Software Foundation. 23867 - GNU Not Unix. Х/Ореn. 23868 - UNIX System V Release 4 23869 - Linux 23870 - Семейство СР/М 23871 23872 - Win16 23873 - OS/2 1.x 23874 - IBM OS/2 23875 - Windows NT/2000/XP 23876 23877 - Windows 95/98/ME. Windows СЕ. 23878 - Иллюстрированный самоучитель по введению в экспертные системы 23879 - Введение 23880 23881 - Что такое экспертная система? 23882 - Смысл экспертного анализа 23883 - Характеристики экспертных систем 23884 - Базовые функции экспертных систем. Приобретение знаний. 23885 - Представление знаний 23886 23887 - Управление процессом поиска решения 23888 - Разъяснение принятого решения 23889 - Резюме. Текущее состояние проблемы. 23890 - Распределение материала книги по главам 23891 - Рекомендуемая литература. Упражнения. 23892 - Обзор исследований в области искусственного интеллекта 23893 - Исследования в области искусственного интеллекта 23894 - Классический период: игры и доказательство теорем. Поиск в пространстве состояний. 23895 23896 23897 - Эвристический поиск 23898 23899 - Романтический период: компьютер начинает понимать. Система SHRDLU. 23900 - Схемы представления знаний 23901 23902 - Период модернизма: технологии и приложения. В знании сила. 23903 23904 23905 - Периоды "зимней спячки" и "пробуждения" в истории искусственного интеллекта 23906 - Рекомендуемая литература. Упражнения. 23907 23908 23909 23910 - Представление знаний 23911 - Представление знаний: принципы и методы 23912 23913 - Планировщик STRIPS 23914 - Таблицы операторов и методика "средство – анализ завершения" 23915 23916 - Анализ метода представления и управления в STRIPS 23917 - Формулировка подцелей в MYGIN. Лечение заболеваний крови. 23918 - База знаний системы MYCIN 23919 23920 - Структуры управления в MYCIN 23921 23922 - Оценка и сравнение характеристик экспертных систем. Оценка системы MYCIN. 23923 - Сравнение MYCIN и STRIPS 23924 - Рекомендуемая литература. Упражнения. 23925 23926 - Символические вычисления 23927 - Специализированные языки программирования 23928 - Символическое представление 23929 - Физическая символическая система 23930 - Реализация символических структур на языке LISP. Структуры данных в языке LISP. 23931 - Структура LISP-программы 23932 - Приложение функции и лямбда-исчисление 23933 - Обработка списков 23934 - Сопоставление с образцом 23935 - Почему LISP не является языком представления знаний. Символический уровень и уровень знаний. 23936 - LISP и разработка программ. Гипотеза Смита. 23937 - Языки представления знаний 23938 - Рекомендуемая литература. Упражнения. 23939 - Системы, основанные на знаниях 23940 - Канонические системы 23941 - Системы порождающих правил для решения проблем. Синтаксис представления правил. 23942 23943 - Рабочая память 23944 23945 - Управление функционированием интерпретатора 23946 - Разрешение конфликтов 23947 - Прямая и обратная цепочки рассуждений 23948 23949 23950 - Правила и метаправила 23951 23952 - Рекомендуемая литература. Упражнения. 23953 23954 - Ассоциативные сети и системы фреймов 23955 - Графы, деревья и сети 23956 23957 23958 - Ассоциативные сети. Разделение видов узлов и когнитивная экономия. 23959 - Анализ адекватности ассоциативных сетей 23960 - Представление типовых объектов и ситуаций. Основные понятия концепции фреймов. 23961 - Фреймы и графы 23962 - Значения по умолчанию и демоны 23963 23964 - Множественное наследование 23965 23966 - Сравнение сетей и фреймов 23967 - Рекомендуемая литература. Упражнения. 23968 23969 23970 - Объектно-ориентированное программирование 23971 - Язык KRL 23972 23973 - Языки LOOPS и FLAVORS 23974 - Проблема наложения методов 23975 - Метаклассы 23976 - Языки CLIPS и CLOS. Множественное наследование в CLOS и CLIPS. 23977 - Наложение методов в CLOS и CLIPS 23978 23979 - Метаклассы в CLOS и CLIPS 23980 - Множественное наследование в C++ 23981 23982 23983 - Объектно-ориентированный анализ и конструирование экспертных систем 23984 - Рекомендуемая литература. Упражнения. 23985 - Логическое программирование 23986 - Формальные языки 23987 - Исчисление высказываний 23988 - Исчисление предикатов 23989 23990 - Язык PROLOG 23991 - Опровержение резолюций. Принцип резолюций. 23992 - Поиск доказательства в системе резолюций 23993 23994 - Процедурная дедукция в системе PLANNER 23995 - PROLOG и MBASE. Правила поиска в языке PROLOG. 23996 - Управление поиском в системе MBASE 23997 23998 23999 - Рекомендуемая литература. Упражнения. 24000