-
2006
Смирнов, Виталий Валерьевич
Важной особенностью современного состояния исследований и разработок в области ЭС является значительный рост внимания к вопросам верификации БЗ ЭС, по которой чаще всего понимается обнаружение логических ошибок в представлении знаний. Постоянная потребность в верификации БЗ ЭС в течение всего жизненного цикла ЭС связана с трудностями получения
-
2006
Омаров, Омар Магадович
Под программой, как правило, понимают текст на определенном языке программирования, соответствующий спецификации и формально выведенный из фиксированного набора предпосылок и данных. Правильной программой принято считать алгоритм, реализованный для определенной вычислительной системы, не содержащий ошибок. Неоднозначное понятие "ошибка программы
-
2006
Шаройко, Олег Владимирович
Таким образом, актуальным является создание открытых систем для ведения учета того, как распределяются телекоммуникационные ресурсы сети между потребителями, и для управления этим распределением на основании некоторой заданной политики. Система учета должна обеспечивать возможность получения всех отчетов, необходимых администрации сети, и должна
-
2006
Евстифеев, Андрей Александрович
Трансляция в машинный код может быть проведена как перед поставкой продукта пользователю, так и непосредственно перед исполнением программы на вычислительных средствах пользователя. В первом случае пользователю поставляется программное обеспечение в виде, готовом к исполнению на вычислительных средствах пользователя. Во втором случае программное
-
2006
Малюх, Владимир Николаевич
На основе анализа формальных моделей объектов, применяемых в САПР, сформулирован новый системный набор принципов построения архитектуры базовой САПР, обеспечивающей автоматическое взаимодействие расширяемые функционально-геометрических описаний моделей
-
2006
Нгуен Туан Фонг
Для подтверждения подлинности и авторства электронных документов и придания им юридической силы традиционно используются собственноручные подписи лиц, участвующих в создании этих документов. Такой документ, кроме обозначения и наименования соответствующего ему электронного документа, содержит только подписи должностных лиц. Удостоверяющий лист
-
2006
Меламед, Александр Яковлевич
В результате, на сегодняшний день, существуют два противоречащих друг другу фактора: с одной стороны - рост потребностей в заказных проектах, направленных на разработку корпоративных информационных систем, и высоких требований к срокам и качеству результатов, с другой стороны - недостаточное развитие технологий оценки и проектирования программных
-
2006
Богуславский, Андрей Александрович
Сдерживающим фактором, особенно на стадии разработки систем технического зрения реального времени, является отсутствие методов программирования подобных систем. Существующие примеры программных средств для сбора и обработки зрительных данных не учитывают специфики требований реального времени или являются узко специализированными под решение
-
2006
Балыков, Евгений Александрович
Наиболее важная особенность задач обработки и анализа изображений заключается в том, что большинство из них являются плохо формализуемыми. Сказывается отсутствие адекватных математических моделей наблюдаемых реальных ситуаций или объектов, па базе которых можно было бы вести расчеты и получать количественные и качественные выводы, а также
-
2006
Плешачков, Петр Олегович
Механизмы изоляции транзакций в большинстве прирожденных XML-СУБД находятся, в лучшем случае, и зачаточном состоянии, что затрудняет практическое; использование этих СУБД. При разработке механизмов изоляции транзакций необходимо учитывать как особенности XML-модели данных, так и то требование, что механизм изоляции транзакции в прирожденных
-
2006
Максимов, Сергей Владимирович
Для слабоструктурированной информации отсутствуют четкие правила получения информационных объектов на основе имеющихся элементов. Другими словами, существует несколько альтернативных структур для их представления. Более того, структура информационных объектов может меняться в процессе работы. Это означает, что данный тип информационных объектов не
-
2006
Стасенко, Александр Павлович
Так как между участниками проекта было выбрано покомпонентное разделение системы функционального программирования, то потребовались строгие спецификации интерфейсов и реализаций компонентов, задаваемых моделями описания компонент. Под термином модели системы понимается формальное описание системы, выделяющее основные составляющие систему объекты и
-
2006
Садчиков, Сергей Михайлович
Одним из видов подобных интерактивных процедур являются задания (учебные задачи), для решения которых в явном виде должны применяться алгоритмы, состоящие более чем из одной операции, т.е. они выполняются за несколько шагов (действий). Для выполнения заданий может существовать и использоваться несколько алгоритмов (или вариантов алгоритмов). Для
-
2006
Борисов, Алексей Вадимович
Развитие индустрии безопасности в сочетании с быстрым ростом технических средств ее обеспечения привело к появлению большого количества средств, повышающих степень защищенности объекта. К таким средствам относятся: системы охранно-пожарной сигнализации [71,72]; системы видеонаблюдения; системы контроля доступа; системы ограничения доступа и учета
-
2006
Сыпин, Алексей Александрович
Предметом исследования являются характеристики ПС обнаружения несанкционированных действий и атак в сети и методы оценки надежности функционирования СОА
-
2006
Деркачев, Александр Николаевич
Одним из путей преодоления недостатков существующих моделей нейронных сетей является комбинирование возможностей существующих ней-росетевых моделей с возможностями, предлагаемыми аппаратом теории нечетких множеств
-
2006
Гарифуллин, Тимур Артурович
В этой связи исследования, направленные на поиск научно обоснованных методов обеспечения целостности реквизитов комплексов ЭД на различных этапах жизненного цикла, являются актуальными. Объект исследования, таким образом, представляет собой комплексы ЭД со взаимосвязанными реквизитами и достаточно строго определенным жизненным циклом. В качестве
-
2006
Будагян, Лусине Эдгаровна
Перед нами была поставлена задача исследовать вопросы, относящиеся к интерпретации строго типизированных функциональных программ общего вида, использующих переменные любого порядка и константы, порядок которых <1, причем интерпретация должна быть основана на правилах вычисления и р5-редукции. Такое исследование должно включать
-
2006
Демаков, Алексей Васильевич
Особенно важны такие методы при работе с графами, используемыми для представления неоднородных данных. Структура таких графов также может быть неоднородна и нагружена дополнительной информацией. Обеспечение заданной структуры графа и поддержание соответствия между структурой графа и определениями операций над ним в процессе разработки и развития
-
2006
Нгуен Доан Куонг
В данной работе в качестве эмпирических данных, подлежащих обработке, используются временные ряды, отражающие деятельность мирового валютного рынка FOREX. Каждому временному отрезку и определенной валютной паре соответствует совокупность четырех цен сделок купли-продажи на этом рынке: цена открытия, минимальная и максимальная цена, цена закрытия
