-
1997
Яхно, Татьяна Михайловна
Основные трудности связаны с тем, что системы, основанные на знаниях, как правило, разрабатываются для плохо формализованных предметных областей, в которых знания неточны, неполны, противоречивы и изменчивы. Это делает необходимым разработку специальных средств представления таких знаний, а также эффективных методов работы с ними
-
1997
Мирошниченко, Евгений Александрович
По мнению многих специалистов по проектированию ПО и ПРПО (В.В. Липаев, A.A. Саркисян, A.A. Штрик и т.д.) перечисленные проблемы еще больше усугубляются в связи с явно недостаточной развитостью теоретических основ разработки ПРПО
-
1997
Фан Дат Фук
Интерес к синтезу изображений объясняется высокой информативностью и концентрированной форме. Эта информация, как правило, более доступна для анализа: для ее восприятия получателю достаточно иметь относительно небольшой объем специальных знаний
-
1997
Нигиян, Семен Александрович
Начнем с функциональных языков программирования. Функциональная программа представляет собой систему рекурсивных уравнений. Семантика — главная функция ее наименьшего решения. Пионерами в области формализации функциональной (денатационной) семантики алгоритмических языков являются Д.Скотг и К.Стрейчи. Для этой цели они использовали бестиповое
-
1997
Тарасюк, Игорь Валерьевич
Понятие эквивалентности — важнейшее понятие любой теории систем. Поведенческие эквивалентности позволяют сравнивать параллельные системы с учетом тех или иных аспектов их функционирования, а также абстрагироваться от излишней информации. Эквивалентностные отношения используются также для сохраняющей поведение редукции систем и в процессе
-
1997
Ластовецкий, Алексей Леонидович
Вычислительная техника развивается в двух основных направлениях: новые процессорные технологии увеличивают производительность отдельных компьютеров, а новые сетевые технологии повышают скорость обмена данными между компьютерами. Соответственно, обеспечить требуемую скорость решения задачи пользователя можно либо с помощью одного достаточно мощного
-
1996
Мастрюков, Дмитрий Львович
Апробпция работы. Результаты работы докладывались на ежегодной международной конференции Technology of Object-Oriented Languages and Systems'14, Santa-Barbara, CA, 1994 год
-
1996
Бакалов, Юрий Валерьевич
В настоящее время специфиация из вспомогательного средства превратилась-в отдельную дисциплину, для которой характерны свои собственные языковые средства и методы верификации. Основным компонентом системы специфиации является, как правило, тот язык спецификаций, . на котором записываются потребительские свойства программного -обеспечения. Этот
-
1996
Кольцов, Дмитрий Владимирович
На современном этапе развития информационных технологий и средств передачи информации особую значимость имеют сети связи, соединяющие в единое целое совокупность разнородных вычислительных мощностей. Сети такого типа, получившие название информационно-вычислительных сетей ( распределенных систем ), с момента возникновения и до сегодняшнего дня
-
1996
Сидоров, Александр Борисович
Трудно переоценить роль моделирования и, в частности, имитационного моделирования, в научных изысканиях, — инженерном творчестве, проектировании ^ ложных технических систем. Моделирование используется при проектировании, внедрении, эксплуатации систем, а также на различных уровнях их изучения - начиная от анализа работы элементов и кончая
-
1996
Балынец, Светлана Владимировна
Методика исследования. Решение поставленных в работе задач достигается путем применения общей теории систем, теории множеств, реляционной и реляционно-иерархической алгебр, исчислений кортежей и доменов, принципов представления знаний на основе фреймовых структур, принципов моделирования
-
1996
Шкатова, Галина Ивановна
Важным средством исследования сложных систем являются методы шассифгасации и распознавания образов. Они позволяют создать представление о структуре этих систем по совокупности наблюдений, объединяя IX в классы. Если в результате решения задачи классификации получены группы, однородные по характерным признакам, то в дальнейшем анализе .!ы можем
-
1996
Бородин, Руслан Валентинович
Наряду с развитием средств, повышающих надежность и безопасность эксплуатации самих атомных установок, необходимо создавать эффективные системы планирования и оперативного управления комплексами мероприятий по предупреждению и ликвидации последствий возможной чрезвычайной ситуации (ЧС
-
1996
Кимельман, Михаил Леонидович
В основе построенной системы лежит синтез технологических методой/ используемых для компиляции традиционных языков программирования, с .идеями и алгоритмами оптимизации запросов и построения эффективных планов
-
1996
Кимельман, Михаил Леонидович
В основе построенной системы лежит синтез технологических методой* используемых для компиляции традиционных языков программирования, с идеями и алгоритмами оптимизации запросов и построения эффективных планов
-
1996
Поляков, Владимир Глебович
Из-за практического отсутствия удовлетворявшего поставленным требованиям оборудования были начаты работы по созданию собственной рабочей станции — проект МРАМОР
-
1996
Михалев, Александр Александрович
С этой точки зрения особый интерес представляют конечно определенные алгебраические системы, то есть системы, заданные конечным числом образующих и определяющих соотношений (в случае алгебр Ли отметим гамильтоновы алгебры, (супер)алгебры Ка-ца-Муди, супералгебры в теории струн). При изучении конечно определенных алгебр в первую очередь необходимо
-
1996
Гриценко, Дмитрий Владимирович
Актуальність тем». На сучасному етапі висока продуктивність обчислювальних машин досягається новими, архітектурними рішеннями, удосконаленням їх елементно: бази, розробкою високоефективного системного програмного забезпечення, методів і алгоритмів обробки інформації. При цьому приоріггетним напрямком у цій галузі с створення паралельних ЕОМ
-
1996
Кулик, Борис Александрович
Последствиями такой кризисной ситуации является чрезмерное усложнение программно-аппаратных средств - это приводит к тому, что в самих системах программно-аппаратной поддержки СИЗ из-за несовместимости структур данных и методов их обработки возникают многие специфические трудноразрешимые, а порой и неразрешимые проблемы. Поэтому актуальной
-
1996
Мамедова, Ирада Гариб кызы
СИНАПС, может быть применен при релизации вычислительных алгоритмов на многопроцессорных машинах с распределенной памятью типа PARS УТЕС. Пакет может оказаться полезным при создании компилятора языка СИНАПС
