Найдено научных статей и публикаций: 308   
161.

Особые случаи и приложения краевой задачи гильберта     

Шабалин Павел Леонидович
Шабалин П.Л. Особые случаи и приложения краевой задачи гильберта : автореф. дис. ... докт. физ.-мат. наук : 01.01.01. - M, 2000.
162.

Модель упругопластического деформирования гцк-поликристаллов: теория и приложения к описанию формирования текстуры     

Швейкин Алексей Игоревич
Швейкин А.И. Модель упругопластического деформирования гцк-поликристаллов: теория и приложения к описанию формирования текстуры : автореф. дис. ... канд. физ.-мат. наук : 05.13.18. - M, 2009.
163.

Инструментальная оболочка проектирования и разработки высокопроизводительных приложений в среде грид     

Ларченко Алексей Викторович
Ларченко А.В. Инструментальная оболочка проектирования и разработки высокопроизводительных приложений в среде грид : автореф. дис. ... канд. техн. наук : 05.13.11. - M, 2008.
164.

Применение формализма гибридных систем в моделях управления переключаемыми производственными процессами (с приложениями к задачам горной промышленности)     

Валуев Андрей Михайлович
Валуев А.М. Применение формализма гибридных систем в моделях управления переключаемыми производственными процессами (с приложениями к задачам горной промышленности) : автореф. дис. ... докт. физ.-мат. наук : 05.13.18. - M, 2008.
165.

Приложения алгоритма синтеза рекурсивных цифровых фильтров по импульсной характеристике (публикация автора на scipeople)   

Никитин Д.А. - Цифровая обработка сигналов , 2009
В статье описано, как можно использовать алгоритм для поиска как точных, так и приближённых функциональных зависимостей, обнаружения сигналов, сжатия данных, упрощения математических выражений, быстрой генерации массива значений заданной функции. Также приведены вероятные пути развития алгоритма.
166.

Выбор языка высокого уровня для реализации вычислительного приложения иис "шлаковые расплавы" (публикация автора на scipeople)     

Григорьева М.А., Воронова Л.И. - Международный журнал "Программные продукты и системы" , 2009
В статье обосновывается выбор языка высокого уровня FORTRAN для реализации модулей, обеспечивающих высокопроизводительные вычисления в информационно-исследовательской системе "Шлаковые расплавы". Приведено описание метода интеграции вычислительных FORTRAN-приложений с оболочкой CORBA.
167.

Реализация web-приложения для ИИС «Шлаковые расплавы» (публикация автора на scipeople)     

Григорьева М.А., Воронова Л.И. - Международный журнал "Программные продукты и системы" , 2010
В статье рассматриваются методы реализации web-приложения для информационно-исследовательской системы (ИИС) «Шлаковые расплавы». Описаны основные технологии среды Apache Cocoon для разработки web-приложений и способы их применения в ИИС «Шлаковые расплавы».
168.

Интеграция XML-данных и вычислительных Fortran-приложений в ИИС "Шлаковые расплавы" 9.0 (публикация автора на scipeople)   

Григорьева М.А., Воронова Л.И. - Информационные технологии моделирования и управления , 2009
Введение дополнительного компонента при обмене данными между web-сервером и сервером приложений, в виде XML-документов, позволяет получить дополнительный уровень абстракции между подсистемами ИИС.
169.

Оптимизация взаимодействия web-приложения с базой данных в информационно-исследовательской системы «Шлаковые расплавы» (публикация автора на scipeople)   

Григорьева М.А., Воронова Л.И. - Ежемесячный научный журнал «Молодой ученый» , 2009
Исследовательская информационная система «Шлаковые расплавы» создана с использованием наиболее перспективных технологий – с помощью среды разработки Apache Cocoon 2.1. Интеграция модулей системы осуществляется за счет обмена XML-данными. Но на этапе тестирования было выявлено неэффективное управление обработкой XML-документов, снижающее производительность. Углубленное изучение технологий пакета Apache Cocoon показало, что существует наиболее оптимальный метод обмена XML-данными - использование встроенной библиотеки тегов XSP – ESQL для прямого и обратного преобразования XML данных, вместо программы-адаптера XML2DB.
170.

Формальная верификация требований к управляющим алгоритмам реального времени (публикация автора на scipeople)   

А.А. Калентьев, А.А. Тюгашев, А.В. Шулындин - Сборник трудов Международного семинара "Семантика, спецификация и верификация программ: теория и приложения" PSSV-2010 , 2010
верификация управляющих алгоритмов методом логического вывода