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

Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий.

Описаны события, исключения, классы С++, модель и библиотека визуальных компонентов, основы объектно-ориентированного программирования (наследование, инкапсуляция и полиморфизм), способы создания и пакеты. Значительное внимание уделяется базам данных (двумерным, реляционным и многоуровневым), а также усовершенствованным концепциям InterBase. Представлены ответы на вопросы, связанные с использованием в приложениях возможностей Internet, DCOM, OLEnterprise, ActiveX и DirectX. Связь с файлами Delphi и библиотеками сторонних разработчиков расширяет возможности разработки приложений.

Рассматриваются темы программирования среднего и высокого уровня сложности в Delphy 4, включая следующие вопросы: СОМ и распределенные вычисления (интерфейсы и основы СОМ, создание серверов и клиентов автоматизации, автоматизация Word и Exel; DCOM, MIDAS, ActiveForms, MTS, CORBA); программирование баз данных (двумерных, реляционных, программирование в InterBase); общие вопросы программирования; программирование графики и DirectX (графические классы VCL, DirectDraw, дополнительные технологии DirectX). Рассказывается о проектировании приложений, о правильном применении объектно-ориентированных технологий.

Рассмотрены основные сведения, необходимые разработчику приложений для Windows 95, Windows 98 и Windows NT. Проанализированы основные моменты объектно-ориентированного программирования. Подробно описаны новые возможности программы, интегрированная среда разработки приложений и методы управления проектами, способы использования и создания компонентов, приемы разработки, предназначенных для работы с базами данных.

Описано систему Delphi, яка дає змогу створювати програми для роботи під керуванням операційної системи Windows. Розглянуто головні елементи середовища Delphi, визначення та використання команд, прийоми роботи. Наведено назви подій та концепцію їх застосування під час програмування, а також повний перелік компонент Delphi та загальні принципи їх побудови. Головні властивості компонент систематизовано в логічну структуру, визначено роботу з інспектором об'єктів, описано роботу з довідковою системою. Розглянуто основні особливості мови Objekt Pascal, яка є в основі Delphi. Наведено навчально-демонстраційні проекти, які дають змогу зрозуміти суть програмування в Delphi та використання компонент.

В даній статті аналізуються особливості отримання центрів забарвлення та фотостимульована рекомбінація в лужно-галоїдних тонких плівках і можливості використання цих плівок як високочутливих люмінесцентних запам'ятовуючих середовищ для швидкісної оптичної обробки даних. Зроблені висновки, що радіаційні дефекти в легованих монокристалічних структурах просторово розподіляються поблизу легуючих речовин. Вплив поверхні чітко виражений в полікристалічних тонких плівках. Виділення нерелаксованих Н-центрів з поверхні значно змінює розподіл F-центрів та діркових центрів легуючих речовин, утворюючи при цьому взаємодіючий з F-центром ланцюжок поблизу поверхні зерен. В зв'язку з цим в легованих наноструктурах поміж віддаленими парами спостерігаються незалежні від температури утворення F-центрів та фотостимульована рекомбінація. Обговорюються основні функціональні можливості активних середовищ.

Представлена обработка PC кластера для моделирования потоков грунтовых вод, основанная на PVM параллелизме строго неявных процедур (SIP). Даны математические модели и методы их решения. Рассчитывается эффективность параллелизма SIP метода. Приведены результаты экспериментов, работы мониторинга и визуализации.

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

Індекс рубрикатора НБУВ: З973-045

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж16550 Пошук видання у каталогах НБУВ 

Викладається нова мова ХВИЛЯ для паралельної обробки і управління великими розподіленими системами різної природи. Вона основана на динамічному створенні та навігації розподілених віртуальних мереж за допомогою мобільного рекурсивного програмного коду у режимі просторового паттерн-метчінгу. Мова дозволяє створювати складні моделюючі та керуючі системи, котрі можуть ефективно функціонувати у відкритих мережах ЕОМ без жодних центральних ресурсів. Наводяться також приклади програмування ряда мережних задач.

Розглянуто основні проблеми та сучасні тенденції розвитку нейроінформатики.

Розглянуто проблему відбиття алгоритмів цифрової обробки сигналів на програмовані логічні матриці (ПЛМ). Запропоновано новий метод відбиття, який враховує структурні властивості ПЛМ, мінімізує вартість апаратних засобів і дозволяє розробити конвейєрні структури з високою тактовою частотою. Мметод перевірено під час проектування структур фільтрів нескінченних імпульсних відгуків, що використовуються у ПЛМ. Структури мають високу пропускну здатність і високий коефіцієнт використання апаратури.

Neurocluster based on NM6403 neuroprocessors architecture, system software and programming technology are discussed. Special attention was paid to operating system structure; data and control How between subsystems; internal data structures; system topology; programming language and general parallel programming ideas. This research is supported by Russian Foundation for Basic Research (project № 00-07-90300).

Запропоновано метод систематичного генерування керуючих програм для VLSI матриць процесорів, що реалізують прикладний регулярний алгоритм, представлений замкнутими циклами. Доведено: кожен елемент матриці процесора має свій пристрій керування, яке здійснюється в автономному режимі на основі керуючої програми, одержаної від основної ЕОМ перед виконанням обчислень. У разі реалізації матриці процесора з ASIC та FPGA-схемами запропонований метод дозволяє одержати VHDL-опис пристроїв керування всіма елементами процесорів у поведінковому стилі. Запропонований метод проілюстровано на прикладі алгоритму усунення Гауса.

Особое внимание уделяется обстоятельному описанию процессов инсталляции и последующей модификации компонентов с помощью администратора пакетов Red Hat Linux, а также вопросам администрирования и управления системой. Подробно обсуждается применение ОС в качестве базовой для почтового сервера (SMTP и РОР), FТЗ-сервера и Web-сервера (Apache). Представлены многочисленные компиляторы, начиная от широко известных (C, C++) и заканчивая более экзотическими - Perl, Tcl/Tk. Отдельные разделы, сопровождаемые примерами, предназначены для изложения сетевого программирования и специфики программирования графических интерфейсов пользователя.

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

Изложены особенности UNIX, принципы входа и выхода из системы, организации начального каталога, инициализации терминала, установки строки приглашения. Описаны переменные среды, особенности переадресации ввода-вывода, основные способы перемещения по файловой системе, основные метасимволы, раскрыто значение интерпретатора shell. Освещены вопросы резервного копирования файлов, управления доступом к файлам, приведено несколько способов освобождения дискового пространства. Исследованы особенности редактора vi, потокового редактора sed, пакетного редактирования, а также других альтернативных способов редактирования. Рассмотрено множество утилит POSIX, включая GNU-версии. Подробно описаны интерпретаторы bash и tcsh, основное внимание акцентируется на ключевых концепциях интерпретаторов sh и csh.

Подробно описаны интегрированная среда разработки, основные элементы управления Visual Basic 6.0 и приемы работы с ними, различные возможности ввода и вывода информации. Особое внимание уделено инструментам разработки и отладки приложений.

Наведено принципову схему та опис адаптера для сполучення комп'ютера ІВМ РС з контролером крейта КАМАК типу КК або 106 за інтерфейсом типу "Загальна шина". Подано опис алгоритму обміну даних між ЕОМ та апаратурою КАМАК. Випробування адаптера в установці для автоматизованих гальваномагнітних та люмінесцентних вимірювань показали відсутність конфліктів із системним програмним забезпеченням.