Другие работы
Таким образом, актуальна проблема разработки и обоснования метода верификации С-программ, разумно сочетающего достоинства операционной и аксиоматической семан-тик. Исследователи все чаще обращают внимание на двухуровневую схему. В соответствии с ней в исходном языке выделяется ограниченное ядро, допускающее создание аксиоматической семантики. Исходные программы транслируются в это ядро…
Диссертация Экспертный эвристический телеметрический спутник Одним из направлений в области искусственного интеллекта стали экспертные системы, куда входят и системы принятия решений, о которых и пойдет речь в данной статье. «Экспертная система — это компьютерная программа, созданная для выполнения тех видов деятельности, которые под силу только человеку-эксперту, например проектирования, планирования…
Курсовая Апробация. Результаты диссертации прошли апробацию на научных конференциях: XVII Международных конференциях «Применение новых технологий в образовании» (Троицк, 2007;2008 г) — XVII Международная конференция «Информационные технологии в образовании» (Москва, 2007г) — Международная научно-практическая конференция, посвященной 70-летию Кызылординского государственного университета имени Коркыт Ата…
Диссертация Как правило, схема работы робота следующая: 1) робот ищет файл robots. txt, 2) робот читает страницу, для индексирования которой он был послан (глубина индексирования, то есть чтения страницы меняется от робота к роботу. Некоторые останавливаются только на чтении заглавия страницы и содержимого мета-тегов, другие могут прочитать, скажем первые 6000 символов на странице, а некоторые индексируют…
Курсовая В первом разделе приводится обзор существующих инструментальных средств, таких как TAU (Университет штата Орегон и Исследовательский центр Juelich из Лос-Аламоса) и Paradyn (Университет штата Висконсин), поддерживающих реализацию, отладку и доводку параллельных программ. Как правило, эти системы предоставляют программисту наборы таких инструментов для анализа параллельных программ как…
Диссертация Язык С# и платформа .NET, выбранный для создания проекта, за относительно недолгое время своего существования стали основными технологиями для разработки современного программного обеспечения. Как и ожидалось, в версии .NET 4 появилось множество новых API-интерфейсов в библиотеках базовых классов, а также синтаксических конструкций в языке С#. Например, теперь можно создавать методы С#, которые…
Курсовая Производительность компьютера является сложной интегральной характеристикой, под которой обычно понимается время, затрачиваемое на решение определенной задачи. Производительность зависит от специфики решаемой задачи, быстродействия компьютера, информационного объема его оперативной памяти и т. д. Быстродействие (скорость обработки информации) компьютера в свою очередь определяется быстродействием…
Контрольная Руководителем практики была Шепеленко Светлана Викторовна. Объектно-ориентированное программирование (ООП) — это способ организации кода в программе путем его группировки в виде объектов, то есть отдельных элементов, которые включают информацию (значения данных) и функции. Объектно-ориентированный подход к организации программы позволяет группировать определенные фрагменты информации (например…
Отчёт Интегральные схемы частного применения — микросборки разрабатывают и производят заводы-изготовители электронно-вычислительной аппаратуры на основе отработанной на данном предприятии технологии. Для комплексной миниатюризации радиоэлектронной аппаратуры, в частности узлов ЭВМ, важное значение имеет повышение степени интеграции элементов. Это обусловлено тем, что в современных ЭВМ объем…
Диссертация К статическим методам относятся методы проверки моделей, методы дедуктивной верификация и методы статического анализа. Методы проверки моделей гарантируют обнаружение нарушений спецификации, обеспечивают получение полных и точных результатов, позволяют анализировать параллельные программы и обнаруживать ошибки синхронизации. Основными недостатками этих методов являются необходимость ручного…
Диссертация Для решения современных вычислительных задач постоянно создаются всё более мощные процессоры, позволяющие выполнять огромное количество операций в секунду. Многопроцессорные компьютеры (в т.ч. с многоядерными процессорами) получили широкое распространение в научной и образовательной сферах. Наряду с этим разработчики вычислительной техники значительное внимание уделяют расширяемым системам…
Диссертация Двумерный массив чисел или математических выражений принято называть матрицей. Одномерный массив называют вектором. MATLAB допускает так же задание и использование многомерных массивов. Векторы и матрицы могут иметь имена, например V — вектор или М — матрица. Элементы векторов и матриц рассматриваются как индексированные переменные, V (2) — второй элемент вектора V; М (2,3) — третий элемент…
Дипломная Зачастую выбор последовательности независимых случайных величин в качестве математической модели объекта с качественным изменением свойств оказывается неудачным. По этой причине другой подход к описанию такого рода объектов состоит в использовании моделей регрессионного типа (см.,). Идентификации моментов разладки в регрессионных моделях посвящено большое количество работ. Остановимся…
Диссертация В настоящее время системы автоматического управления используются практически во всех сферах и областях человеческой деятельности. Это сложные аэрокосмические комплексы, установки для научных исследований, многочисленные промышленные производства, подвижные объекты различного назначения и большое число бытовых приборов и агрегатов. Неотъемлемым элементом каждой системы автоматического управления…
Диссертация Методы запуска приложений других Операционных Систем Для функционирования современных виртуальных машин требуется средство управления виртуальными машинами, являющееся Windows-, Linuxили UNIX-приложением, функционирующим на реальном компьютере, называемом хостом. Сама виртуальная машина представляет собой образ файловой системы, формирующийся при установке какой-либо операционной системы (в общем…
Дипломная