Отрывок: Временная логика программ рассматривает время как по следовательность упорядоченных состояний, под которыми понимается совокупность значений программного счетчика и значений программных переменных. Попытка ввести метрическое время в формально-логический язы к приводит к чрезмерной сложности и практической нереализуемости процедур анализа логических выражений. Поведение маши...
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Дерябкин В. П. | ru |
dc.contributor.author | Бойко Б. В. | ru |
dc.coverage.spatial | управление процессом принятия проектных решений | ru |
dc.coverage.spatial | проектирование систем управления | ru |
dc.coverage.spatial | временные сети Петри | ru |
dc.coverage.spatial | метод конечных автоматов | ru |
dc.creator | Дерябкин В. П., Бойко Б. В. | ru |
dc.date.issued | 1987 | ru |
dc.identifier | RU\НТБ СГАУ\459657 | ru |
dc.identifier.citation | Дерябкин, В. П. Формальное определение требований и анализ временных ограничений при проектировании систем реального времени / В. П. Дерябкин, Б. В. Бойко // Автоматизация научных исследований : сб. науч. работ / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; редкол.: В. А. Виттих, Б. Я. Советов, А. Н. Ковшов, В. А. Сойфер, О. П. Скобелев, Г. Н. Томников, А. Д. Хахаев, Т. П. Юдина. - Куйбышев : КуАИ, 1987. - С. 126-131. | ru |
dc.description.abstract | Предлагается метод определения требований к проектируемой системе на основе формальной спецификации, использующей концепцию абстрактных машин. Основывается целесообразность применения сетевых моделей управления процессами с целью анализа временных соотношений, гарантирующих соответствие указанным требованиям. | ru |
dc.source | Автоматизация научных исследований : сб. науч. работ. - Текст : электронный | ru |
dc.title | Формальное определение требований и анализ временных ограничений при проектировании систем реального времени | ru |
dc.type | Text | ru |
dc.citation.epage | 131 | ru |
dc.citation.spage | 126 | ru |
dc.textpart | Временная логика программ рассматривает время как по следовательность упорядоченных состояний, под которыми понимается совокупность значений программного счетчика и значений программных переменных. Попытка ввести метрическое время в формально-логический язы к приводит к чрезмерной сложности и практической нереализуемости процедур анализа логических выражений. Поведение маши... | - |
Располагается в коллекциях: | АВТОМАТИЗАЦИЯ НАУЧНЫХ ИССЛЕДОВАНИЙ |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Стр. 126-131.pdf | 204.72 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.