Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
 Найдено в других БД:БД "Статьи" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Ивашко, Александр Григорьевич$<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.


    Ивашко, Александр Григорьевич.
    Анализ методов Хука-Дживса и Нелдера-Мида применительно к задаче нахождения параметров модели фазовых превращений [Текст] / Александр Григорьевич Ивашко, Иван Юрьевич Карякин, Антон Александрович Зюркалов // Вестник Тюменского государственного университета. - 2010. - N 6. - С. 162-167. : табл. - Библиогр.: с. 167 (6 назв. )
УДК
^a519.7
^a669
ББК 22.18 + 34.1
Рубрики: Математика
   Математическая кибернетика
   Технология металлов
   Общая технология металлов
Кл.слова (ненормированные):
метод Хука - Дживса -- Хука - Дживса метод -- метод Нелдера - Мида -- Нелдера - Мида метод -- фазовые превращения -- аустенит -- сталь -- термическая обработка стали -- кинетические параметры
Аннотация: Рассматривается применение метода Нелдера-Мида для решения задачи нахождения кинетических параметров модели фазовых превращений аустенита при термической обработке стали.


Доп.точки доступа:
Карякин, Иван Юрьевич; Зюркалов, Антон Александрович
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
2.


    Ивашко, Александр Григорьевич.
    Алгоритмы оценки семантического соответствия контентов [Текст] / Александр Григорьевич Ивашко, Юлия Владимировна Бидуля // Вестник Тюменского государственного университета. - 2010. - N 6. - С. 168-173. . - Библиогр.: с. 172-173 (11 назв. )
УДК
^a81'32
^a519.7
ББК 81.1 + 22.18
Рубрики: Языкознание
   Математическая лингвистика
   Математика
   Математическая кибернетика
Кл.слова (ненормированные):
смысловое соответствие -- контент (языкознание) -- семантическая структура контента -- смысловое описание контента -- семантический анализ -- синтаксический анализ -- алгоритмы оценки
Аннотация: Рассмотрены принципы моделирования смыслового описания контента в целях установления смыслового соответствия одного контента другому.


Доп.точки доступа:
Бидуля, Юлия Владимировна
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
3.


    Ивашко, Александр Григорьевич.
    Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептов [Текст] / А. Г. Ивашко, А. В. Григорьев // Вестник Тюменского государственного университета. - 2013. - № 7. - С. 187-193 : табл. - Библиогр.: с. 191-193 (14 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru
УДК
^a519.6
ББК 22.19
Рубрики: Математика
   Вычислительная математика
Кл.слова (ненормированные):
изоморфизм -- дескрипционная логика -- концепты -- изоморфные концепты -- экспонента -- экспоненциальная вычислительная сложность -- логический анализ -- анализ онтологий -- метод Эдмондсона -- Эдмондсона метод
Аннотация: Рассмотрен алгоритм осуществления логического вывода в базах знаний, описанных на языке OWL, который основан на формализме дескрипционных логик.


Доп.точки доступа:
Григорьев, Андрей Викторович
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
4.


   
    Применение табличного алгоритма для верификации моделей бизнес-процессов [Текст] / А. Г. Ивашко [и др.] // Вестник Тюменского государственного университета. - 2013. - № 7. - С. 202-213 : схем., табл. - Библиогр.: с. 210-213 (23 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru
УДК
^a519.6
^a517.5
^a004.41/.42
ББК 22.19 + 22.161.5 + 32.973-018
Рубрики: Математика
   Вычислительная математика
   Теория функций
   Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
моделирование -- имитационное моделирование -- дескрипционные логики -- верификация -- верификация моделей -- бизнес-процессы -- программы -- программное обеспечение
Аннотация: Разработан метод верификации моделей бизнес-процессов с применением аппарата дескрипционных логик. Рассмотрены 5 основных типов ошибок, возникающих при моделировании в результате неправильного отображения бизнес-процессов.


Доп.точки доступа:
Ивашко, Александр Григорьевич; Григорьев, Андрей Викторович; Кропотин, Александр Александрович; Овсянникова, Екатерина Олеговна
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 23.08.2024
Число запросов 22276
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)