Специальные ресурсы/Информатика и информационные технологии

Теория сетей Петри, простые сети Петри, цветные сети Петри, язык предписаний

Краткое введение в сети Петри

Список сайтов, посвященных системам имитационного моделирования. Имеются ссылки на сайты: Системы ПО на основе языка GPSS: GPSS/PC (разработка Minuteman Software) GPSS World (разработка Minuteman Software) GPSS/H (разработка Wolverine Software) Micro-GPSS (разработка Ингольфа Сталла) WebGPSS (разработка Ингольфа Сталла) Другие системы ПО для имитационного моделирования: SLX (разработка Wolverine Software) Proof Animation (разработка Wolverine Software) ProcessModel (разработка ProcessModel, Inc) AnyLogic (разработка XJ Technologies) Экспериментальные разработки: Cim (разработка Университета Осло) ДАСИМ (разработка Одесского государственного политехнического университета) GPSS A95 - GPSS/PC для ОС Windows (разработка АСОИУ НТУУ "КПИ", Киев) PiM (разработка Власова Л. В.) Object GPSS (разработка Королева А.Г.)

Краткое сообщение об особенностях системы имитационного моделирования Arena.

Что такое CALS? Проблемы и задачи развития СALS-технологий в России. Внедрение CALS-технологий.

Список 500 наиболее производительных суперкомпьютеров мира. Публикуется дважды в год.

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

В книге в доступной форме описаны основные принципы реляционных баз данных, правила построения БД. Очень подробно рассматривается язык SQL и его модификации – SQL99. В конце книги присутствует подробный справочник по операторам SQL. Рекомендуется для изучения основ SQL.

Учебное пособие посвящено технологии создания (методике проектирования и инструментальной среде для автоматизации подготовки) комплексов методических и программно-информационных средств компьютерной поддержки процесса обучения. Работа ориентирована на преподавателей, аспирантов и студентов, изучающих курсы по информационным технологиям обучения, а также может быть использована в качестве методического руководства при разработке компьютерных систем учебного назначения. Оглавление Введение 1. Проектирование комплексов автоматизированных дидактических средств 2. Проектирование автоматизированных учебных курсов 3. Сценарии инженерных тренажеров 4. Когнитивная компьютерная графика в инженерной подготовке 5. Инструментальная среда системы КАДИС 6. Проблемно-ориентированные комплексы системы КАДИС 7. Распространение и применение информационных технологий обучения Заключение Приложение. Рекомендации по поддержанию и эксплуатации программно-информационного обеспечения САПР АУК

Руководство, предназначенное для пользователей Internet. Содержит много полезных практических рекомендаций по освоению работы в Web-среде и по созданию Web-сайтов. Оглавление: Подключение к Internet. Электронная почта. Чат и конференции в Internet. Обзор Wotld Wide Web. Создание и сопровождение Web-узлов. Передача и загрузка файлов. Другие аспекты Internet.

Пособие по языку PHP Оглавление: Введение, Описание, Возможности, Классы, Внутренние Функции, Функции запуска программ

Предложена методология построения корпоративных информационных сетей. Выполнен анализ существующих и рассмотрены тенденции развития перспективных технологий телекоммуникационных систем. Оглавление: Теоретические основы проектирования корпоративных информационных систем. Проектирование цифровых сетей передачи данных как основы построения корпоративных информационных систем. Проектирование компонентов корпоративных ИС на основе современных CASE-технологий. Технологии проектирования распределенных КИС. Приложения интеллектуальных технологий в корпоративных ИС.

В пособии описано семейство протоколов TCP/IP. Оглавление Введение Основы TCP/IP Модуль IP создает единую логическую сеть Структура связей протокольных модулей Терминология Потоки данных Работа с несколькими сетевыми интерфейсами Ethernet Аналогия с разговором Протокол ARP ARP-таблица для преобразования адресов Порядок преобразования адресов Запросы и ответы протокола ARP Продолжение преобразования адресов Межсетевой протокол IP Прямая маршрутизация Косвенная маршрутизация Правила маршрутизации в модуле IP IP-адрес Выбор адреса Подсети Как назначать номера сетей и подсетей Имена IP-таблица маршрутов Подробности прямой маршрутизации Порядок прямой маршрутизации Подробности косвенной маршрутизации Порядок косвенной маршрутизации Установка маршрутов Фиксированные маршруты Перенаправление маршрутов Слежение за маршрутизацией Протокол ARP с представителем Протокол UDP Порты Контрольное суммирование Протокол TCP Протоколы прикладного уровня Протокол TELNET Протокол FTP Протокол SMTP r-команды NFS Протокол SNMP X-Window Взаимозависимость протоколов семейства TCP/IP Приложение 1. Путеводитель по RFC Приложение 2. Стандарты семейства протоколов TCP/IP

Искусственный интеллект. Представление задачи. Формальные системы. Классические методы решения задач. Методы распространения ограничений и перебора. Игровые программы. Экспертные системы. Усвоение знаний.

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

Кратко описаны назначение и функции PDM-систем.

Рассматриваются Web-технологии:создание документов, интерфейс к БД, язык Perl и др. Глава 1 Основы использования WWW - технологий для доступа к существующим базам данных Глава 2 Подготовка гипертекстовых документов для World Wide Web Глава 3 Установка и администрирование WWW - сервера Глава 4 Использование CGI при создании интерактивных интерфейсов Глава 5 Использование пакета Cold Fusion для MS Windows при построении WWW - интерфейсов к базам данных Глава 6 Использование языка Perl Глава 7 Использование пакета Web - Oracle - Web (WOW) Приложение 1: Расширенные возможности Web Приложение 2: Спецификация языка Perl Приложение 3: Опыт построения WWW - интерфейса к БД "Телефонный справочник НГУ"

Изложены основы СALS-технологий

Теоретические основы синтеза логических схем и описание языка VHDL

[ В начало ] Пред. | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40