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

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

ОвЗтґЗйвтй 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…

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

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

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

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

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

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

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

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

…

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

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

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

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

…

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

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

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

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