Темы авторефератов и диссертаций по математике из каталога библиотеки ФизМатХим. Математическое обеспечение вычислительных машин и систем

Разделяемый, регламентированный доступ к различной информации и ресурсам обеспечивается механизмом защиты, который является частью программного обеспечения или аппаратуры…

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

Одной из важнейших задач создания ИВС, обслуживающих натурные испытания сложных технических объектов, является разработка информационного обеспечения, представляющего собой совокупность структурированных данных и программных средств обслуживания, поддерживающих необходимую информационную среду системы [64] . Характерным для указанных объектов…

Известно большое количество методов выделения объектов на полутоновых изображениях /их обзор дан в §1-1/. В основном эти методы сводятся либо к выделению границ объектов с помощью локальных либо региональных методов с последующим анализом полученных границ, либо к сегментации изображения с использованием глобальной информации об изображении в…

Язык человеко-машинного взаимодействия MML (Man - Machine Language ) является основным средством описания процесса взаимодействия обслуживающего персонала с системой электронной коммутации в период ее нормального функционирования и технического обслуживания, а также во время ее установки и тестирования [36, 59…

Получившие широкое развитие системы автоматизированного проектирования и научных исследований содержат, как правило, средства решения задач из разных предметных областей, а потому язык общения должен кроме перечисленных свойств обладать достаточной универсальностью…

В особых точках (таких, как операторы логических переходов, помеченные операторы, вызовы подпрограмм и т.п.) необходимо запомнить ситуацию - т.е. текущее содержимое всех используемых наборов данных. Далее, выбрать направление дальнейшего разбора, найти это место в тексте программы и продолжить разбор. Результатом разбора должен стать единый…

Решение ЗЦД состоит в поиске последовательностей операторов, преобразующих модель исходной ситуации в модель целевой ситуации, и моделировании выполнения этих последовательностей на ЭВМ…

Одним из способов автоматизации производства программных средств являются системы построения трансляторов. Понятно, что обеспечение быстрого внедрения новых ЭВМ зависит и от эффективности создаваемого пользователем транслятора, являющегося продуктом системы построения трансляторов. Таким образом, в настоящее время большое теоретическое и…

Во второй главе излагается метод структурного синтеза программ. Описываются язык условий задач, правила вывода, язык синтезируемой программы. Приводятся алгоритмы синтеза программ разной сложности, зависящей от сложности представляемых условий задач. Даются оценки сложности синтеза программ…

Сущность оптимизации. Исходная программа, поступающая на вход компилятора, представляет собой описание на языке программирования некоторых вычислений и действий. Задача компилятора состоит в преобразовании исходной программы в объектную программу, которая специфицирует заданные вычисления и действия на языке объектной машины…

Во второй главе дано описание диалоговой системы коллективного пользования для автоматизированного исследования и проектирования систем управления - система КИПАРИС, реализующей основные принципы, изложенные в первой главе. Рассмотрена общая схема функционирования диалоговой системы, предложенная реализация функциональных фреймов, состав языка…

Современный этап развития методов дистанционного зондирования характеризуется переносом центра тяжести исследований с решения задач частного, прикладного характера на создание наземной системы оперативной обработки многозональной космической видеоинформации. Эта система должна обеспечивать сбор, обработку данных дистанционного зондирования и…

Эффективность изучения природных ресурсов аэрокосмическими средствами во многом определяется методами обработки данных дистанционного зондирования /1-3/. В настоящее время, в соответствии с программой ГКНТ СССР 0Д.038 и Постановлением ЦК КПСС, СМ СССР, Президиума АН СССР и ГКНТ СССР от 05.05.77 г. ведутся работы по созданию комплекса…

С перечисленных выше позиций разработка практических устройств распознавания речевых сигналов, включающая в себя математическое и программное обеспечение всех блоков этих устройств, является актуальной задачей, важной как с научной, так и с прикладной точек зрения…

Наиболее мощным средством автоматизации научных исследований являются пакеты сложной структуры, включающие в себя Функциональное и системное наполнение, а также входной язык заданий - средство интерфейса пользователя с пакетом /49 /. функциональное наполнение представляет собой набор модулей, используемых при составлении рабочего комплекса…

Задачами работы является усовершенствование известных и создание новых методов представления СД переменной длины в целях обеспечения высокой скорости доступа к их содержимому при одновременном рациональном использовании памяти машины…

ЦОД представляет собой мощную модель ЕС ЭВМ, многомашинный комплекс или локальную вычислительную сеть. Использование концепций локальной вычислительной сети при построении ЦОД ВЦКП позволяет упростить структуру технических и программных средств, реализующих протоколы межмашинного обмена информацией, освободить вычислительные ресурсы на…

Развитие теории и методов применения имитационных моде- ■ лей сопровождалось ростом числа языков и систем моделирования, предназначенных для автоматизации описания таких моделей. Только на отечественных ЭВМ реализованы языки НЭДИС[1М21 , СИМУЛА , СИМУЛА-67 [3,4,-К] f ШСС[MS], МОДУС [261…

Имеющиеся в настоящее время инструментально-базовые системы являются универсальными, т.е. могут быть использованы для создания пакетов прикладных программ в самых различных приложениях.Однако, общепринятый способ формирования 111111 с помощью универсальных ИБС, основанный на переносе всех системных средств инструментально-базовой системы во вновь…