Рубрики журнала
"Образовательные ресурсы и технологии"
Все рубрики
Выпуск: 2016-2 (14)
Ключевые слова: Формальный язык, Анализатор, Регулярное выражение, Алгебра Клини, Конечный автомат, Детерминированная семантика.
Аннотация: Проблема конвертации описания на формальном языке имеет большое практиче-ское значение для системной интеграции программ и в области технологии программирования, называемой «реинжинирингом программного обеспечения» (software reengineering). Операция анализа строковых данных путём сопоставления с образцом, заданным регулярным выражением, образует основу для построения разнообразных конверторов. Предлагается изменить традиционную модель операции сопоставления с образцом на основе конечного автомата на модель в виде алгебры образцов.
Обратная одномерная задача с неизвестным источником
Выпуск: 2016-2 (14)
Ключевые слова: Интегральные преобразования, Оператор, Билинейная система интегральных уравнений, Теоремы единственности.
Аннотация: Исследуется обратная одномерная задача с неизвестным источником и неиз-вестным переменным коэффициентом в волновом уравнении по двум известным ре-шениям прямой задачи в фиксированных точках плоскости. Методом интегральных преобразований задача редуцируется к обратной задаче Штурма-Лиувилля. Доказаны теоремы единственности.
Об одной кубатурной формуле c участием производных
Выпуск: 2016-2 (14)
Ключевые слова: Кубатурные формулы, Функциональные пространства Соболева.
Аннотация: Разработан алгоритм замены некоторых узлов решетки другими для минимиза-ции нормы функционала погрешности при выполнении условия согласования порядка сходимости с шагом решетки и гладкостью функции вдоль выбранных координатных направлений. Результаты полученного метода проверены на контрольных примерах.
Динамика заглубления перемешанного слоя жидкости в трехмерных расчетах
Выпуск: 2016-2 (14)
Ключевые слова: Трехмерное численное моделирование, Турбулентное замыкание, Заглубление перемешанного слоя.
Аннотация: С использованием трехмерной численной модели выполнены расчеты заглубления перемешанного слоя под действием ветровой нагрузки в стратифицированном водоеме прямоугольной формы. Проведено сравнение результатов для различных моделей турбулентности.
Верификация логических описаний с функциональной неопределенностью на основе моделирования
Выпуск: 2016-2 (14)
Ключевые слова: Автоматизация проектирования, Верификация, Моделирование.
Аннотация: Рассматривается подход к верификации логических описаний комбинационных устройств для случая, когда исходное функциональное описание проектируемой схемы не полностью определено. Предлагаемый подход основан на моделировании поведения схемы для общего случая, когда входные стимулы представляются троичными векторами.