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

Код ВАК 01.01.10
Тема работы Автор Год
Квазилинейные конфликтно управляемые процессы переменной структуры

З дисертацією можна ознайомитися в бібліотеці Інституту кібернетики імені В.М. Глушкова НАН України за адресою: Проспект Академіка Глушкова 40 03680 МСП Київ 187…

Матичин, Иван Иванович 2000
Комплекс системных средств для настройки и отладки программного обеспечения микропроцессорных устройств связи, применяемых в моноканальной вычислительной сети

ОвЗтґЗйвтй Jtigçsfln елзз^одз&аі $0<3&НУдЫ ^З^ЗІО^Ог Crû S¿£?n¿of\30í*j £Üí?>Cí> лзЛ^й^бпбой ОосШдзгЬ F&ctiçzücn&ib neІСЗ"Л' еГяЦзФс*\3&>9 oSffçj&s ¿ОдрЭо обЙгяЛЯсу.' r-ч, з‘£«»зоо со ç*> jrtfsftxjoorgflo ЯдОзЯйввсО бпОвлбц&У, 8г ■ г; л-'• О С-» Зя- .> ГіОССзЛ. üîejOtf}»» ÇJ зобясдсово üoftfp^arj^Ôfÿj ¿ Xt, ~_т> ¿ó Cr-' iOôjîJ,. g¿0паз00ti…

Модебадзе, Зурави Сулекоевич 1993
Исследование структуры реальной поверхности полярных граней кристаллов полупроводниковых соединений методом асимптотической брэгговской дифракции

Технический редактор С.К. Сведлова Подписано в печать 25.05.92. Формат 60x84/16 Уч.-изд. л. 1,4. Заказ 110. Тираж 92 Отпечатано в РНЦ „Курчатовский институт…

Галкин, Игорь Михайлович 1992
Мобильный синтезатор программ

Одним из основных направлений в разработке инструментальных систем для пакетов прикладных программ является предложенный Э.Х. Тыугу подход, основывающийся на автоматическом синтезе программ и реализованный в системах СШ, ПРИЗ-32 и ПРИЗ ЕС И. Он позволяет создавать пакеты прикладных программ, обладающие гибкими средствами описания модели цредметной…

Шмундак, Александр Леонидович 1985
Проблемно-ориентированная система для матричных вычислений

Система МОСТ удовлетворяет следующим требованиям: легкость изучения и использования входного языка, естественная математическая система обозначений операций над объектами предметной области зкалярами, векторами, матрицами; наличие средств автоматизированного решения задач по заданным условиям; встроенная способность к расширению; наличие…

Козуб, Галина Эрленовна 1985
Абстрактные атрибутные грамматики и их использование в системах построения трансляторов

Анализ нынешнего состояния в области СПТ показывает (см.также [l,2C)J), что большинство применяемых методов описания должным образом не удовлетворяют этим естественным требованиям. К настоящему моменту большинство существующих СНГ используют описание языков атрибутными грамматиками. Однако практика применения таких систем указывает на…

Меристе, Мерик Борисович 1984
Абстрактные типы данных и частичная корректность программ

В этих типах, которые мы назвали клетками, вместе с указанием определенных для них операций указывается и множество допустимых последовательностей вызовов этих операций. Для описания множества допустимых последовательностей вызовов операций введено дерево вызовов операций…

Менц, Хельмут 1984
Автоматизация сборки программ расчета разветвленных объектов

Главным недостатком системы оказалась ее закрытость для пополнения и модификации. Кроме того, предложенный подход мог быть использован при моделировании некоторых объектов другой природы (в частности, возможности системы сборки, описываемые в…

Кикоть, Павел Борисович 1984
Автоматизированная система проектирования математического обеспечения бортовых вычислительных комплексов

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

Зуев, Андрей Львович 1984
Автоматическая реализация семантики проблемно-ориентированных языков

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

Пеньям, Яан Эдуардович 1984
Автоматический анализ, распознавание и синтез тональной речи (на материале вьетнамского языка)

Нгуен Ань Туан, 0 1984
Автоматический синтез структурированных программ по примерам их выполнения

Дедуктивный синтез /8-15, 33, 34/ исходит из того, что суть программы -можно выразить отношением, связывающим входные данные с результатом. В общем виде задача дедуктивного синтеза формулируется следующим образом: дан входной предикат и выходной предикат Б^(Х,У) , построить программу, вычисляющую функцию У= Ф(х) так, что если X - входной вектор…

Семенова, Татьяна Владимировна 1984
Алгоритмические вопросы решения больших структурных задач линейного программирования

А - прямоугольная матрица, размером тхп (т^п), называемая матрицей ограничений. Основной алгоритм симплекс-метода для задачи (0.1-0.3) выгладит следующим образом. О…

Жолудев, Анатолий Иванович 1984
Алгоритмы и средства автоматизации расчетов электронно-оптических систем (ЭОС)

Дальнейшее развитие пакетов прикладных программ разделило персонал, причастный к их эксплуатации,на две категории: пользователи и разработчики. С этого момента процесс развития системного наполнения начинает происходить в двух направлениях. Первое - это обеспечение пользователей средствами удобного доступа к "вычислительным услугам…

Катешов, Владимир Арсентьевич 1984
Анализ и разработка операционной системы в проекте МИНИМАКС

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

Корнеев, Владимир Дмитриевич 1984
Введение элементов искусственного интеллекта в инструментальные системы программирования

Мацкин, Михаил Борисович 1984
Вопросы разработки алгоритмического и программного обеспечения, предназначенного для решения одного класса задач конструкторского проектирования цифровой аппаратуры

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

Тимофеева, Надежда Константиновна 1984
Генератор программного обеспечения систем обработки данных Сигма

Проблема повышения производительности труда программистов как на этапе разработки, так и на этапе сопровождения, решается несколькими способами. Вводятся различные дисциплины программирования [l-4j, разрабатываются технологические комплексы по производству программ [Ь-в] и специальные языки, ориентированные на работу с базами данных /9-IoJ…

Карпов, Николай Никитьевич 1984
Диалоговая система коллективного пользования

Редакция текстов предъявляет ряд требований. Главное -максимально использовать средства редактирования самого терминала. Ясно, что если терминалом является пишущая машинка, то редактор строится на построчных принципах (см., например, /2/), где для корректировки необходимо языковыми средствами локализовать исправляемый фрагмент, возможно до…

Дейкало, Геннадий Федорович 1984
Диалоговый монитор для автоматизации процесса синтеза программ ЭВМ

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

Виноградский, Эрнст Васильевич 1984