-
1995
Тарханян, Анаит Геворговна
Распределенная обработка, реализуемая на основе РИВС, будучи технологией, ориентированной на пользователя, должна удовлетворять, в перзуго очередь, экономическим (стоимостным) требованиям этого пользователя при обеспечении директивного времени выполнения прикладных задач. Следует при этом принять во внимание тенденцию удорожания программных
-
1995
Гольцева, Людмила Владимировна
При внедрения компьютерных систем нового поколения наметилась тенденция к развитию методов описания зависимостей способов решения задач от различных интерпретаций данных в конкретных предметных областях (ПО), а такясе; методов согласования интерпретаций при использовании различных способов решения задач. Например, в области , обучения необходимо
-
1995
Ашманов, Игорь Станиславович
В настоящей работе рассматриваются вопросы практической разработки программно-лингвистического обеспечения работы конечного пользователя с текстами на русском языке. Для этого решаются следующие задачи
-
1995
Гуревич, Михаил Исаевич
Прецизионные методы решения задачи переноса нейтронов и гамма-квантов играют все большую роль в ядерной энергетике и смежных дисциплинах. Они дополняют и частично заменяют эксперименты. Без них невозможно получить ряд важных характеристик установок и создать новые инхенерные программы. Стоимость прецизионных расчетов значительно ноте стоимости
-
1995
Панков, Сергей Владимирович
Формальная верификация посредством формального доказательства позволяет устанавливать присутствие требуемых свойств программы для всех допустимых этой программой выполнений. Для асинхронных параллельных систем (АПС) она является почти единственным способом анализа требуемых свойств относительно заданных предусловий, из-за сильной
-
1995
Квашнин, Геннадий Александрович
Всестороннее и тщательное проектирование программного средства, особенно такого сложного и многофункционального как ППП, позволяет избежать многих недоразумений, возникающих на последующих стадиях из-за нечетко определенных функций и интерфейсов программного средства в целом и его отдельных модулей, из-за несоответствия требований к проекту его
-
1995
Точилов, Леонид Сергеевич
Решение первой задачи позволяет при наращивании программы испытаний реального времени распараллелить ее таким образом, чтобы избежать подключения дополнительных ПЭ. Решение второй -повышает производительность системы приема-передачи информации в МС-комплексе. Решение третьей - увеличивает скорость проведения работ на МС-комплексе за счет
-
1995
Долбин, Алексей Николаевич
Для решения проблем регулирования и управления базами данных была развита концепция СУБД — обобщенного инструмента манипулирования базами данных, в функции которого входит поддержка непротиворечивости, целостности данных п авторизации доступа, опирающегося на одну из моделей представления данных: сетевую, иерархическую или реляционную
-
1995
Никифоров, Сергей Васильевич
Исторически сложилось так, что первоначально проектируется и реализуется программное обеспечение узлов сети без учета дальнейших задач измерения и управления параметрами и ресурсами. Это программное обеспечение вводится в эксплуатацию на объектах. В дальнейшем по мере роста потребностей в ресурсах сети и видоизменения информационных потоков
-
1995
Манцивода, Андрей Валерьевич
Практическая ценность. Метод, развиваемый в настоящей работе, является эффективным средством решения комбинаторных проблем высокой сложности. Это задачи составления расписаний, задачи управления ресурсами, финансовые задачи и другие. Объединение логической системы, способной решать сложные задачи, и гибкого выразительного языка программирования
-
1995
Лаврова, Юлия Кимовна
Практическая ценность. Практическая ценность данной работы определяется использованием ее результатов в разработке семейства трансляторов с Алгола 68: трансляторы для IBM PC (в операционных системах MS DOS и UNIX), ПС1001, ПСЗООО
-
1995
Балабан, Иван Юрьевич
Существует значительный интерес к эффективным методам вычисления светового и аэродинамического воздействия на космические объекты. Это связано с растущими требованиями к точности траекторных расчетов и с возможностью использования сил светового и аэродинамического давления для управления движением космических аппаратов. Например, расчет движения
-
1995
Малков, Алексей Николаевич
Дальиейиое развитие космических исследований и необходимость обоспочмшя сезопясгнссги космических полетов а полетов высотной онипшш закономерно приводит к возникновению фундаментальной задачи по создшгая мпювошюго каталога ИКО, позволящего для л»бого момонта вромтнн с больпоЯ стопенью точности получить информацию о иостополошти и орбитах тех или
-
1995
Мох'д Гассан Изеддин Абаза
Нзтоды исследования. привлеченные в работе для достижения поставленной цели представляют собой совокупность методов теории графэв, исследования операций,. математического анализа и комбина-' торного программирования. Накопление и обработка экспериментальных данных осуществлялись с использованием методов математической статистики
-
1995
Гаврилов, Александр Викторович
Говоря о существующей практике применения Функциональных языков, необходимо указать такие направления, как интеллектуальные автоматизированные системы, осуществляющие при своей работе большой объем символьных вычислений, работы в области нетрадиционных систем знаний, символьной алгебры и систем поддержки конструирования (CAD), требующие
-
1995
Домбровская, Генриэтта Ромуальдовна
Такие модели транзакций требуют новых способов их поддержки на разных уровнях СУБД, причем эффективность такой поддержки тем выше, чем на более низком уровне она осуществляется. Исходя из этого, разработка средств поддержки нетрадиционных моделей транзакций на уровне управления буферами системы хранения представляется весьма актуальной
-
1995
Гордиенко, Александр Петрович
В главе анализируются модели и методы построения ПИ и детализируются задачи исследования на основе требований к графическим редакторам САПР и тенденции их развития. Требования к ПИ для (рафических редакторов САПР зависят от характера предметной области и диктуются необходимостью учета эргономических требований. Особенности предметной области
-
1995
Роганов, Евгений Александрович
Задача создания пользовательских интерфейсов является одной из важнейших задач, возникающих при разработке современного программного обеспечения. Она приобретает ряд особенностей при разработке среды, позволяющей организовать эффективный процесс обучения объектно-ориентированному программированию на рабочих станциях с большим числом
-
1995
Чяпайте, Юрате
Современный этап развития вычислительной техники характеризуется созданием и использованием высокопроизводительных параллельных вычислительных систем. Разработка программного обеспечения для параллельных вычислительных систем требует решения ряда проблем, связанных с нетрадиционными методами организации вычислений. Проблемы возникают при
-
1995
Парфенов, Владимир Владимирович
Научная новизна. На основе анализа сложившихся подходов к проектированию встроенных систем и проблем, возникающих при их реализации, предложена модель спецификации программного обеспечения встроенных систем. В основе модели лежит объектно-ориентированное представление информации о структуре целевой системы и ее внешнего окружения. Разработка
