model
В работе по произвольной шахматной позиции описано построение 4 формул логики ветвящегося времени. Как минимум, одна из этих формул выполнима, и по ее модели строится решение позиции: оценка позиции (ничья или победа одной из сторон), а также необходимая для ее достижения стратегия. Построение по позиции формул и получение модели и решения иллюстрировано примерами.
Предлагается модель представления продукционных баз знаний на ЭВМ в виде мультиграфа специального вида. Для этой модели разработан алгоритм проведения логического вывода. Приводятся экспериментальные данные временных затрат, подтверждающие эффективность предложенного алгоритма.
Методом конечного элемента решена совместная задача гидродинамики и теории упругости о пульсации каротидной би-фуркации человека. Использована ортотропная гиперупругая модель, учитывающая анатомическое строение стенки. Получено решение для геометрии сосуда, восстановленной по in-vivo КТ-ангиограмме. Граничные условия для жидкости определя-лись in-vivo при помощи ультразвукового аппарата Доплера.
