-
1995
Боголюбов, Дмитрий Петрович
С начала 80-х годов . широкое распространение в мире олучила парадигма логического программирования. Наиболее звестным языком-носителем этой парадигмы является язык PROLOG PROgrajiimation en LOGique ). ориентированный как на решение адач искусственного интеллекта, в том числе на создание :истем обработки знаний и экспертных систем, так и на
-
1995
Семионенков, Михаил Николаевич
В первой главе на основе анализа ряда распространенных графических систем и стандартов обобщены основные понятия, которые можно положить в основу реализации гипотетической базовой графической системы. Такая система обладает достаточной гибкостью для того, чтобы при выполнении соответствующих надстроек воспроизвести основные
-
1995
Ульянов, Денис Эдуардович
Метогты исследования. В основе проведенных исследований лежат идеи и методы теории генетических алгоритмов, формальных языков, методы моделирования систем параллельной обработки
-
1995
Клименков, Евгений Владимирович
Для связи с технологическими подсистемами (ТП) бустера СУ оснащена интерфейсной электроникой в конструктиве СУММА — 28 каркасов с общим числом модулей более 400, около 40 типов модулей. Вычислительные мощности СУ бустером составляют две мини-ЭВМ и распределенные по аппаратуре семь 8-разрядных микроЭВМ. МикроЭВМ используются для управления быстрыми
-
1995
Соловьев, Игорь Павлович
Одной из наиболее удачных реализаций идеи логического программирования является язык Пролог. Однако отсутствие полноценного функционального аппарата и недостаточная выразительность и гибкость средств спецификации Пролога в задачах символьного программирования постоянно стимулирует появление его модификаций, нередко подразумевающих частичный отказ
-
1995
Барышников, Вячеслав Владимирович
Язык Форт обладает рядом преимуществ перед другими языками программирования, делающих его привлекательным средством для разработки сложных систем и систем искусственного интеллекта в частности. Нетривиальность подходов при создании таких систем предъявляет высокие требования к возможностям языка реализации. Полную свободу действий как с
-
1995
Токарев, Михаил Валентинович
В России результатом работ по технологии программирования в рамках которых были созданы системы автоматизации разработки являются: ЯУЗА, РУЗА Г36, 37, 38], РИТМ-технология [231. Р-технология Ш и ТИП Г 47.1
-
1995
Фадеев, Валерий Васильевич
Разработка современного программного обеспечения предусматривает поддержку и организацию всех работ выполняемых в течении жизненного цикла ПО. Уровень и степень этой поддержки в значительной степени определяют итоговые характеристики и показатели разрабатываемой программы. Наиболее важным этапом, формирующим зачастую всю систему поддержки
-
1995
Марков, Николай Григорьевич
Обеспечение высокой надежности и производительности ГИВС невозможно без решения проблемы создания соответствующего математического и программного обеспечения
-
1995
Абрамов, Игорь Вячеславович
Некоторые программные системы, такие как САПР, издательские системы, интерактивные системы программирования, предъявляют дополнительные требования к алгоритмам управления памятью. Для реализации отдельных компонент таких систем целесообразно использовать свой, наиболее подходящий, язык программирования. Обычно это затрудняет совместное
-
1995
Егоров, Алексей Александрович
Численное программное обеспечение, производящееся в огромных количествах, должно быть достаточно надежным II эффективным, так как часто используется для принятия довольно ответственных решений. Но, в типичной ситуации, математик-вычислитель приступает к написанию программы в условиях немалой теоретической неопределенности в отношении структурных и
-
1995
Кочетов, Дмитрий Викторович
Одной и* основных причин, объясняющих это положение, ¡шляется низкая эффективность собственно процесса специализации. которая, в отличие от эффективности получаемой при специализации остаточной программы, не являлась до .сих пор предметом отдельного исследования. Второй причиной, препятствующей созданию универсальных и одновременно содержательных
-
1995
Кадач, Андрей Викторович
Основные параметры метода сжатия - качество сжатия (отношение длин сжатых и исходных данных), скорость сжатия (объем исходных данных, обрабатываемых в единицу времени) и объем требуемой памяти. При практической реализации имеются жесткие ограничения на объем доступной памяти (не более 20 Мб, для встроенных систем — не более 1 Мб ввиду
-
1994
Иванец, Сергей Владимирович
Многие сложные задачи управления в современной практической деятельности человека не могут быть решены с помощью имеющихся традиционных средств. К факторам, определяющим особенности задач подобного рода, относятся, в первую очередь, уникальность и разнообразие проблемных ситуаций, нечеткий характер целей, критериев, ограничений задачи, сложность
-
1994
Горитов, Александр Николаевич
Применяемые методы моделирования позволяют вычислять скорости, ускорения и перемещения различных элементов механических устройств в виде численных величин. Проектировщик, выполняющий анализ технического устройства на ЭВМ, получает наг5ор таблиц или графиков, в которых отражаются изменения интересующих пользователя переменных. Полученные таблицы и
-
1994
Делчев, Камен Кръстев
Следовательно, если цифровая СУ и сенсорная система имеют априори зафиксированные небольшие возможности, самый эффективным подходом повышения их функциональных и технико-экономических характеристик является разработка более сложных алгоритмов управления и программного обеспечения
-
1994
Шахновский, Юрий Сергеевич
НашЛлыи складну opranioauic мае горизонтальна ы1кропрограмне управл1ккя, при як1й в ' горизонтальних; макрокомандах (МЮ, складасчих МТС мо»утъ одночасово роамщуватнсл i, як наслхдок, виконуватися декшька onepauifl
-
1994
Болтаев, Тельман Бакоевич
Для создания надежного программного обеспечения необходимы такие дисциплины разработки, которые содействовали бы корректности создаваемого ПО, либо обеспечивая определенную степень корректности за счет возможности ее проверки на каждом шаге разработки, либо автоматически применяя при каждом шаге разработки заведомо корректные методы доказательного
-
1994
Сабельфельд, Виктор Карлович
Как следует из теоремы Райса, содержательные отношения эквивалентности в классе программ, вычисляющих все рекурсивные функции, не являются рекурсивно перечислимыми, так что полную систему преобразований таких программ построить в принципе невозможно. Поэтому от программ переходят к их моделям — схемам, в которых абстрагируются от некоторых
-
1994
Валькевич, Татьяна Арнольдовна
Характер современной программистской деятельности иаме1 ллсп в связи с тем, что за несколько десятилетий ее развития в мир« накоплен огромный потенциал программного обеспечения. Единицей программирования стала программная компонента, и программист прекращает программировать изначально и начинает собирать (монтировать, комлоноезть, склеивать
