Другие работы
Раздел стохастического программирования, изучающий методы определения вспомогательных характеристик задач линейного стохастического программирования, таких как распределение компонент-решения, распределение оптимального значения целевой функции, число наблюдений параметров условий, обеспечивающее заданное качество оценок, вероятность сохранения оптимального базиса при малых возмущениях параметров…
Диссертация За последние 20 лет выявились также интересные связи между пороговой логикой и теорией графов. Монотонная булева функция называется графической, если все ее нижние единицы находятся в слое 2, т. е. в ее сокращенную д.н.ф. входят только двухбуквенные конъюнкции. Графические функции от п переменных находятся во взаимно однозначном соответствии с п-вершинными графами, вершины которых соответствуют…
Диссертация В соответствии с результатами статистического анализа и экспериментальными оценками для каздой из трех моделируемых структур рассматривались и включались в модель следующие распределения ВП: пуассоновское с ^ *, согласованное покритерию (1-й режим), экспериментально наблюденное с % ?, более точное, чем огрубленная оценка пуассоновским распределением /зо] (2-й режим), экспериментально наблюденное…
Диссертация Общая идея конвейера связана с разбиением процесса обработки данных на этапы и организацией их параллельного во времени выполнения. Тем самым реализуется принцип параллелизма (или «совмещение операций») на уровне команд. Принцип совмещения операций был выдвинут академиком С. А. Лебедевым и впервые реализован в машине М20 в 1956 году. В дальнейшем эта идея получила развитие и была успешно…
Диссертация Второй сайт служит примером небольшой информационной системы, предоставляющей конечным пользователям структурированный доступ к некоторым данным, которые возможно изначально не являлись строго структурированными. Характерной чертой подобных систем является то, что актуализация базы данных происходит в одном месте (одним человеком), а остальные пользователи имеют доступ только для чтения этих…
Диссертация Формальные методы и теетировшше программного обеспечения В последнее время наблюдается бурное развитие компьютерных технологий. Они проникают во все сферы деятельности человека и оказывают все большее влияние на его жизнь. Системы управления транспортом и автоматизированные линии производства, банковские платежные системы и телекоммуникационные сети, медицинские системы обеспечения…
Диссертация Осуществлена разработка двух неразрушающих бесконтактных методов исследования и контроля УЧЭ в НДС на базе томографического и автоколлимационного методов. Томографический метод, базируемый на принципах магнитного внутривидения (разработанных д.т.н., проф. В.А.Ивановым) и использующий современное компьютерное томографическое оборудование, позволяет исследовать как стереометрические параметры…
Диссертация В третьем разделе предложен принцип построения структурных схем параллельно работающих на общую нагрузку переменного тока однотипных систем гарантированного питания, проведено исследование устойчивости параллельно работающих на общую нагрузку СГП и показано, что устойчивость в автономном режиме может быть оценено по линейной динамической модели, причем порядок характеристического уравнения…
Диссертация Разработанные алгоритмы расчета алгебраических дополнений 1, П порядков схемной матрицы ОЗУ (§§ 4.2, 4.3) построены на основе алгоритма нахождения СП-путей между заданными точками СП-модели и топологических соотношений (3.32, 3.36) и в отличии от известных, они позволяют получить слагаемые алгебраических дополнений в виде множества СП-путей с наименьшими вычислительными затратами. Сокращение…
Диссертация Основная часть инструментального средства CoreASM — это его функциональное ядро (CoreASM engine), которое состоит из четырех компонентов: синтаксического анализатора, интерпретатора, планировщика и абстрактного хранилища. Эти компоненты осуществляют выполнение спецификации ASM, а управление процессом выполнения осуществляется через программный интерфейс, который определяет такие функции, как…
Диссертация Именно с этих позиций в диссертации делается попытка выявить, упорядочить, представить и реализовать на практике в образовательной индустрии методы и средства управления семантическим поиском в портально-сетевых комплексах учебного назначения, или что-то же самое, в портально-сетевых многоуровневых распределенных информационных консорциумах. Семантический поиск, и на его основе с опорой…
Диссертация Апробация работы. Основные теоретические результаты, отдельные положения, а также результаты конкретных прикладных исследований и разработок обсуждались на Конференциях молодых учёных ИВМ СО РАН (Красноярск, 2002, 2004, 2005, 2006 гг.), X Всероссийской студенческой научной конференции «Экология и проблемы защиты окружающей среды» (Красноярск, 2003 г.), XV конференции молодых географов Сибири…
Диссертация Проведенный анализ предметной области показал, что текущее применение формальных подходов к интеграционному тестированию затруднено по причине отсутствия методов и средств настройки на тестирование интерфейса взаимодействия, в отрыве от тестирования всей системы. В существующих подходах интеграционного тестирования требуется создание полной модели всех компонентов, что для промышленных систем…
Диссертация Разработка и исследование генераторов ПСП, основанных на использовании стохастических сумматоров в цепи обратной связи, в том числе нелинейных генераторов ПСП длиной 2°, где О — число элементов памяти генератора, универсальных генераторов, обеспечивающих произвольное значение периода и предпериода (длины нестационарного участка) формируемых последовательностей. Методы исследований. При проведении…
Диссертация Оценка эффективности перекрытия вредоносных воздействий (ВВ) средствами защиты проводится аналогично — формируются оценки Sij для пары (КУi, СрЗj). Возможные значения оценок: 0 — Средство защиты не работает с данным видом ВВ, 1 — Воздействие слабо перекрыто, обнаружение результатов ВВ маловероятно, 2 — Воздействие слабо перекрыто, обнаружение результатов ВВ уверенно обнаруживается, 3…
Эссе