Документи

Аксиоматическая семантика как метод формальной верификации программных системАксиоматическая семантика как метод формальной верификации программных систем
Для повышения эффективности использования человеческих и машинных ресурсов при разработке системы верификация должна быть тесно интегрирована с процессами проектирования, разработки и сопровождения программной системы
22.44 Kb.
Удк 519. 6 Механизмы управления длиной шага в параллельных алгоритмах решения дифференциальных уравненийУдк 519. 6 Механизмы управления длиной шага в параллельных алгоритмах решения дифференциальных уравнений
В данной работе рассматривается применение переменного шага к алгоритмам решения уравнений блочными предиктор – корректорными методы Рунге-Кутты
18.08 Kb.
Удк 519. 6 Механизмы управления длиной шага в параллельных алгоритмах решения дифференциальных уравнений preview 1 Удк 519. 6 Механизмы управления длиной шага в параллельных алгоритмах решения дифференциальных уравнений preview 2 Удк 519. 6 Механизмы управления длиной шага в параллельных алгоритмах решения дифференциальных уравнений preview 3 Удк 519. 6 Механизмы управления длиной шага в параллельных алгоритмах решения дифференциальных уравнений preview 4 Удк 519. 6 Механизмы управления длиной шага в параллельных алгоритмах решения дифференциальных уравнений preview 5
Удк517 Бессеточный подход к решению краевых задач математической физики на основе метода двойного замещения с использованием атомарных радиальных базисных функций Лисин Д. АУдк517 Бессеточный подход к решению краевых задач математической физики на основе метода двойного замещения с использованием атомарных радиальных базисных функций Лисин Д. А
Бессеточный подход к решению краевых задач математической физики на основе метода
26.21 Kb.
Удк517 Бессеточный подход к решению краевых задач математической физики на основе метода двойного замещения с использованием атомарных радиальных базисных функций Лисин Д. А preview 1 Удк517 Бессеточный подход к решению краевых задач математической физики на основе метода двойного замещения с использованием атомарных радиальных базисных функций Лисин Д. А preview 2 Удк517 Бессеточный подход к решению краевых задач математической физики на основе метода двойного замещения с использованием атомарных радиальных базисных функций Лисин Д. А preview 3 Удк517 Бессеточный подход к решению краевых задач математической физики на основе метода двойного замещения с использованием атомарных радиальных базисных функций Лисин Д. А preview 4 Удк517 Бессеточный подход к решению краевых задач математической физики на основе метода двойного замещения с использованием атомарных радиальных базисных функций Лисин Д. А preview 5
Нейросетевой подход в задачах управления динамическими обьектами по принципу активного резонансаНейросетевой подход в задачах управления динамическими обьектами по принципу активного резонанса
16.52 Kb.
Алгоритм пространственной регуляризации матрицы случайно расположенных фотоприемных элементовАлгоритм пространственной регуляризации матрицы случайно расположенных фотоприемных элементов
15.82 Kb.
Моделирование вычислительной сети ethernet с целью оптимизации распределения нагрузокМоделирование вычислительной сети ethernet с целью оптимизации распределения нагрузок preview Моделирование вычислительной сети ethernet с целью оптимизации распределения нагрузок
30.25 Kb.
О некоторых аспектах компьютерного вероятностно-алгебраического моделирования функционально-сложных систем е. И. Сукач, уо «Гомельский государственный университет им. Ф. Скорины»О некоторых аспектах компьютерного вероятностно-алгебраического моделирования функционально-сложных систем е. И. Сукач, уо «Гомельский государственный университет им. Ф. Скорины»
О некоторых аспектах компьютерного вероятностно-алгебраического моделирования функционально-сложных систем
13.82 Kb.
О некоторых аспектах компьютерного вероятностно-алгебраического моделирования функционально-сложных систем е. И. Сукач, уо «Гомельский государственный университет им. Ф. Скорины» preview 1 О некоторых аспектах компьютерного вероятностно-алгебраического моделирования функционально-сложных систем е. И. Сукач, уо «Гомельский государственный университет им. Ф. Скорины» preview 2
Удк 681. 51: 57 Использование методов приближенного поиска строк в информационных системахУдк 681. 51: 57 Использование методов приближенного поиска строк в информационных системах
Целью работы является экспериментальное сравнение существующих методов приближенного поиска строк, которые можно использовать в информационных системах, использующих субд
21.28 Kb.
Удк 004. 032. 26 Комбінація методів нейронних мереж та експертного оцінювання з метою покращення якості прогнозуУдк 004. 032. 26 Комбінація методів нейронних мереж та експертного оцінювання з метою покращення якості прогнозу
Ь визначення напрямку розвитку проекту, його основних параметрів та ситуації навколо досліджуваного об’єкту взагалі. Іншими слова прогноз визначає, які події можуть відбутися з певною ймовірністю. При чому ймовірність прогнозу тим вище, чим вдаліше підібраний метод прогнозування під конкретну задачу
15 Kb.
О некоторых особенностях интегрирования обыкновенных дифференциальных уравнений, описывающих сложные механические системы с электромеханическими и гидравлическими системами управленияО некоторых особенностях интегрирования обыкновенных дифференциальных уравнений, описывающих сложные механические системы с электромеханическими и гидравлическими системами управления
Многие проектируемые механические системы – динамические системы, процессы в которых описываются нелинейными обыкновенными дифференциальными уравнениями
18.4 Kb.
ИнтервальноЕ моделированиЕИнтервальноЕ моделированиЕ
Развитие интервальной геометрии [1] позволяет выполнять интервальное моделирование задач, моделирование с учетом погрешностей метрических характеристик и параметров размещения
15.52 Kb.
ИнтервальноЕ моделированиЕ preview 1 ИнтервальноЕ моделированиЕ preview 2
Вивчення процесів на поверхнях кристалів Заїка С. О., Лобурець А. Т., Величко Ю. ВВивчення процесів на поверхнях кристалів Заїка С. О., Лобурець А. Т., Величко Ю. В
Так можна розв’язувати актуальні задачі по­шу­ку зов­ніш­ніх керуючих впливів, що гарантовано приводять молекулярну сис­те­му в ту точку фазового простору, яка відповідає заданій просторовій струк­турі, і задача одержання заданих структур зводиться до класичної задачі керування
29.34 Kb.
Удк 51-77 математические методы управления характеристическими корнями модели1Удк 51-77 математические методы управления характеристическими корнями модели1 preview Удк 51-77 математические методы управления характеристическими корнями модели1
В работе [1] разработана модель рынка труда для нескольких отраслей экономики с учетом половозрастной и образовательной структур трудовых ресурсов каждой отрасли, которая в матричном виде записывается следующим образом
16.39 Kb.
Математическое моделирование диссоциации газогидратов в пористой среде ю. А. Повещенко1, Г. И. Казакевич2Математическое моделирование диссоциации газогидратов в пористой среде ю. А. Повещенко1, Г. И. Казакевич2
Оказывается возможным использовать методы математического моделирования геологических задач на нерегулярных сетках, позволяющие детально учесть неоднородность строения рассматриваемого объекта, различие масштабов изучаемых областей – от окрестности скважины до целого региона
15.27 Kb.
Удк 519. 6 Адаптивный метод исследования пространства параметров для поиска оптимального управляющего воздействия асинхронного двигателяУдк 519. 6 Адаптивный метод исследования пространства параметров для поиска оптимального управляющего воздействия асинхронного двигателя
Для решения задачи поиска оптимального управляющего воздействия предложен адаптивный метод исследования пространства параметров, основанный на равномерном исследовании пространства варьируемых составляющих вектора управляющего воздействия
14.15 Kb.
Удк 519. 6 Адаптивный метод исследования пространства параметров для поиска оптимального управляющего воздействия асинхронного двигателя preview 1 Удк 519. 6 Адаптивный метод исследования пространства параметров для поиска оптимального управляющего воздействия асинхронного двигателя preview 2

1   2   3   4   5   6   7   8   9   10   ...   1353
Додайте кнопку на своєму сайті:
Документи


База даних захищена авторським правом ©zno.znaimo.com.ua 2000-2014
При копіюванні матеріалу обов'язкове зазначення активного посилання відкритою для індексації.
звернутися до адміністрації
Документи