-
1997
Гулямов, Шухрат Баратович
Менее традиционной считается проблематика машинного синтеза теорем, хотя она имеет также давнюю историю как и задачи автоматического доказательства теорем. Еще X. Вонг (Wang H.)1 и В.М. Глушков2 отмечали не меньшую значимость, хотя и большую трудность задачи автоматизации получения самих формулировок теорем
-
1997
Рощин, Александр Алексеевич
Системы сбора и обработки статистических данных зачастую бывают не менее сложны, чем системы автоматизированного проектирования, при том, что операторы таких систем в среднем имеют существенно меньший опыт работы с ЭВМ. Это определяет специфику задачи разработчика таких систем
-
1997
Ковтун, Игорь Иванович
Наибольшее распространение получили реляционная модель, обладающая простотой, независимостью представления данных от их организации и хорошей формализуемостью, и сетевая модель, позволяющая исключать избыточность данных и организовывать высокие скорости их обработки. Недостатком реляционной модели является неэффективность организации' связей между
-
1997
Клепцов, Михаил Яковлевич
По мере роста объемов информации создаются отраслевые и региональные банки данных. Это закономерное явление, вполне удобно и экономически выгодно для пользователей ИС. Однако при работе с такими банками данных требуется принципиально новая концепция создания и функционирования банков данных, а также технология их сопровождения
-
1997
Клепцов, Михаил Яковлевич
-
1997
Молчанов, Алексей Юрьевич
С другой стороны, рассмотрение всех возможных вариантов функционирования системы с анализом различных путей развития событии является чрезвычайно сложной задачей. Высокая сложность задачи делает аналитические расчетные методы практически неприменимыми для ее решении. Методы имитационного моделирования остаются основным способом для выполнения
-
1997
Капитонова, Алла Петровна
Первый подход обычно подразумевает наблюдение за выполнением программы, сбор трасс, построение программных и аппаратных эмуляторов [1, 2, 3]. Таким образом, он всегда связан с исследованием динамики программы. Достоинство динамических методов — в точности получаемых оценок. Однако их применение не всегда возможно по следующим причинам
-
1997
Емельянов, Павел Геннадьевич
Под статическим выявлением семантических свойств, используемым в семантическом анализе, подразумевается то, что они выявляются не на основе запусков анализируемой программы на всевозможных входных данных. Программные свойства, описываемые абстрактной семантикой и аппроксимирующие конкретные семантические свой
-
1997
Щербаков, Андрей Юрьевич
Прошедшие несколько лет обозначили бурный рост компьютерной преступности: только фиксируемые случаи атак на корпоративные информационные ресурсы превышают десятки тысяч, число компьютерных вирусов превысило 7000
-
1997
Каширин, Игорь Юрьевич
Вместе с тем многие теоретические результаты, полученные в области структурного конструирования программ и их верификации, редко используются в реальных автоматизированных системах. Это происходит вследствие многообразия и сложности формализмов теории программирования, а также по причине отсутствия простых, достаточно универсальных прикладных
-
1997
Бураков, Сергей Борисович
Современные производственные и организационные комплексы представляют собой сложную иерархическую дискретно-непрерывную многокомпонентную проблемную среду для исследования вопросов построения систем обработки информации и управления реального времени. Структуру комплекса образуют объекты и подсистемы различной природы, связанные сетью материальных
-
1997
Дышлевой, Константин Викторович
В последнее время отмечается бурный рост скоростных возможностей вычислительной техники, а также существенное увеличение объемов как внешней, так и оперативной памяти ЭВМ. В связи с этим зачастую уходят на второй план такие аспекты, как размер программ и
-
1997
Мальчик, Александра Геннадьевна
Акту.члыюгп. ряботм. Развитие современно!"! электронной техники, электротехнической л оптической промышленности связаны с использованием тонкопленочпых материалов на основе двойных оксидов. Такие материалы сочетают в себе к:ж свойства основного компонента, так и вводимых соединений, это позволяет п широких пределах изменить комплекс
-
1997
Мельников, Борис Феликсович
Научная новизна. В работе рассматриваются различные примеры применения алгебраических свойств специальных- подмоноидов глобальных надмоноидов свободных моноидов (супермоноидов) к решению проблем эквивалентности в различных подклассах класса КС-языков. Подобных примеров применения свойств сулермоноидов в теории формальных языков автору не известно
-
1997
Устименко, Александр Петрович
В середине 80-х годов польский ученый Людвиг Чайл предложи/ новый формализм - причинно-следственные структуры (ПСС),- исполь зующий преимущества сетей Петри и дающий компактное алгебраи ческое представление для анализа поведения параллельных систем Эта модель, подобная в некотором смысле сетям Петри, имеет наглядное графическое представление, но в
-
1997
Халатян, Тигран Гургенович
Уровень структурной сложности компьютеров и программ, степень разнообразия форм их реализации, а также разнообразие сфер массовых применений быстро растут и приближаются к тем пределам, когда инженерных усилий для удержания достигнутых темпов прогресса становится недостаточно. Для успешного разрешения накапливающихся в сферах массового
-
1997
Чернойван, Константин Геннадьевич
Акгуапьаоетт- ппоблелгн. В нестоящее гргмя системы продукций яагшогся oc:iociiUM. глдссо.и языков ^ргдстаг.лекчя г\т:?Л; используемых для реализации эгсспзрптьг: систем (ЭС). ЭС, прсдказязчетгке для решения реальны.", задач, содержат бат зпаннй объемом э исяи и десятки тысяч красил. В то га ергмя,' вез авторы, эзяимйзткеся реализацией систем
-
1997
Воловик, Георгий Станиславович
Гребневик M. leidyi впервые отмечен в бассейне Черного моря в 1982 г. (Заика, Сергеева, 1990). В 1986-1988 гг. наблюдалась интенсивная вспышка развития вселенца уже на всей акватории водоема. Ее последствия оказались катастрофическими для экосистемы и рыболовства бассейна (CFCM, 1993): уловы основных промысловых рыб пелагического комплекса
-
1997
Менделевич, Владимир Анатольевич
Практическая ценность. Система сквозного проектированш "HABT" используется для создания современных автоматизированные систем управления энергетическими объектами уровня установки, цеха станции (производства). Ее применение позволяет
-
1997
Никитина, Елена Юрьевна
В таких условиях попытка масштабного применения для автоматизации проектирования таких стандартных программных инструментов, как традиционные языки программирования, файловые системы, СУБД сталкивается с серьезными трудностями
