HomeLisp – это простая реализация языка Лисп 1.5, предназначенная для обучения языку. Переменные в HomeLisp имеют динамическую область видимости. Ядро языка включает функции стандартного Лиспа, а также функции, обеспечивающие ...

Предложены и исследованы два альтернативных протокола, исключающие появление дубликатов второго рода в многопользовательских приложениях с централизованной базой данных. Экспериментальным путем установлены зависимости ...

In this article we evaluate the use of mobile devices for testing as compared to web-based assessment systems. Many educational organizations are trying to reduce the cost of the exams, the workload and delay of scoring, ...

Исследование генетического разнообразия клещевого энцефалита (КЭ) в образцах индивидуальных клещей I. persulcatus и I. pavlovskiy является одной из актуальных проблем современной молекулярной биологии и биоинформатики в ...

Исследована проблема автоматического извлечения отношений между понятиями из текстов на естественном языке. Предложен метод извлечения отношений между понятиями при помощи лингвистических шаблонов, позволяющих гибко и ...

Рассматривается вопрос об автоматизации обработки текстов на естественном языке. Описана проблема, связанная с взаимодействием между модулями автоматизированной системы анализа текста. На основе теории автоматов разработан ...

Considered is the problem of manual development of specifications for the designed application, which introduces a significant efforts to the software development process together with the problem of application semantics ...

Статья посвящена проблеме проверки алгоритмов управления, созданных в рамках процесс-ориентированного подхода, на соответствие входным спецификациям. Представлена общая схема верификации алгоритма управления, приведены ее ...

Описана архитектура автоматизированной системы сбора информации о событиях, происходящих в распределенной информационной системе, на примере системы массовой интеграции ZooSPACE. Архитектура системы разработана на модульном ...

Разрабатывается теоретико-модельный подход к извлечению знаний из текстов естественного языка. Подход основан на формальном представлении извлекаемых знаний в виде конечных подмножеств атомарных диаграмм алгебраических ...