ВЫЧИСЛЕНИЕ ВРЕМЕННЫХ ХАРАКТЕРИСТИК ОБЪЕКТНО-СОБЫТИЙНЫХ МОДЕЛЕЙ ВСТРОЕННЫХ СИСТЕМ
Аннотация:
Предложен способ вычисления временных характеристик объектно-событийных моделей встроенных систем на основе свойств полного частично упорядоченного множества атрибутов компонент модели и теоремы Кнастера-Тарского о неподвижной точке. Предложенный способ учитывает иерархичность моделей, допускает произвольные функции вычисления атрибутов отдельных компонент и использование обратной связи в модели. Результаты работы положены в основу реализации прототипа САПР системного уровня.
Ключевые слова:
Постоянный URL
Статьи в номере
- АДАПТИВНАЯ АВТОМАТИЗИРОВАННАЯ СИСТЕМА СБОРА И ОТОБРАЖЕНИЯ ИНФОРМАЦИИ ДЛЯ УПРАВЛЕНИЯ ПРЕДПРИЯТИЕМ
- ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ПРИ ПРОЕКТИРОВАНИИ РАСПРЕДЕЛЕННЫХ БАЗ ДАННЫХ
- ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЯ
- ПРИМЕНЕНИЕ СТОХАСТИЧЕСКИХ ФРАКТАЛОВ К НЕКОТОРЫМ ЗАДАЧАМ ИНФОРМАЦИОННОГО ПОИСКА
- МЕТОДЫ ИЗМЕРЕНИЯ ОШИБОК В ЗАДАЧАХ СЕГМЕНТАЦИИ
- ПРИМЕНЕНИЕ НЕЙРОННЫХ СЕТЕЙ В ЗАДАЧАХ ОБРАБОТКИ ТЕКСТОВЫХ ДАННЫХ
- СИСТЕМА АВТОМАТИЗИРОВАННЫХ ИССЛЕДОВАНИЙ PICLAB
- МЕТОД ФОРМИРОВАНИЯ ЭЛЕКТРОННОГО ОПИСАНИЯ ИЗДЕЛИЯ
- ПОВЫШЕНИЕ ТОЧНОСТИ ЛОКАЛИЗАЦИИ НЕОДНОРОДНОСТЕЙ ВОЛН ПРИ ИСПОЛЬЗОВАНИИ КОРРЕЛЯЦИОННЫХ РЕФЛЕКТОМЕТРОВ
- ОПЫТ И ПЕРСПЕКТИВЫ ПРИМЕНЕНИЯ КОНТРОЛЛЕРОВ СЕМЕЙСТВА SDK
- СТОХАСТИЧЕСКИЕ ОСОБЕННОСТИ ВРЕМЕННЫХ И СОБЫТИЙНЫХ КОРРЕЛЯЦИЙ В ЭКВИ- И НЕЭКВИДИСТАНТНЫХ СЕРИЯХ АСТРОФИЗИЧЕСКИХ ДАННЫХ
- МОБИЛЬНЫЙ МУЗЫКАЛЬНЫЙ СЕРВИС ДЛЯ ШИРОКОПОЛОСНЫХ СЕТЕЙ
- РАЗРАБОТКА ПРОГРАММНО-АППАРАТНОГО КОМПЛЕКСА «ЗДОРОВЫЙ РЕБЕНОК» ДЛЯ АВТОМАТИЗАЦИИ РАБОТЫ ВРАЧА-ПЕДИАТРА
- АДАПТИРОВАНИЕ И ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ НОВОГО МЕТОДА ХРАНЕНИЯ И СИСТЕМАТИЗАЦИИ ИНФОРМАЦИИ В УФО-АНАЛИЗЕ ПОД СРЕДУ ПРОЕКТИРОВАНИЯ БИЗНЕСА UFO-TOOLKIT
- ИСПОЛЬЗОВАНИЕ МЕТОДА КОРРЕЛЯЦИОННЫХ ПЛЕЯД ДЛЯ ИЗУЧЕНИЯ ИНФОРМАЦИОННЫХ ХАРАКТЕРИСТИК УЧЕБНЫХ ТЕКСТОВ
- РАЗРАБОТКА КОЛИЧЕСТВЕННОЙ МЕТОДИКИ ОЦЕНКИ ТРУДНОСТИ ВОСПРИЯТИЯ УЧЕБНЫХ ТЕКСТОВ ДЛЯ ВЫСШЕЙ ШКОЛЫ
- ИСПОЛЬЗОВАНИЕ МНОГОАГЕНТНЫХ АЛГОРИТМОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ СОСТАВЛЕНИЯ РАСПИСАНИЙ
- КОНТРОЛЬ НА ЧЕТНОСТЬ В ПСЕВДОСЛУЧАЙНЫХ КОДОВЫХ ШКАЛАХ ПРЕОБРАЗОВАТЕЛЕЙ ЛИНЕЙНЫХ ПЕРЕМЕЩЕНИЙ
- МОДЕЛИРОВАНИЕ СЕТЕВОГО ВЗАИМОДЕЙСТВИЯ В РАМКАХ ОДНОГО КОМПЬЮТЕРА
- МЕТОД КОЛИЧЕСТВЕННОЙ ОЦЕНКИ ЦВЕТОВЫХ РАЗЛИЧИЙ ПРИ ВОСПРИЯТИИ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ
- ПОСТРОЕНИЕ АНАЛИЗАТОРА ИЗОБРАЖЕНИЙ ГРАНУЛОМЕТРИЧЕСКОГО ТИПА
- МЕХАНИЗМ РЕАЛИЗАЦИИ ШАБЛОНОВ ТЕСТОВЫХ ЗАДАНИЙ В СИСТЕМЕ ACADEMICNT
- МОДУЛЬНЫЙ ПОДХОД К ПОСТРОЕНИЮ СИСТЕМ УПРАВЛЕНИЯ ТРЕБОВАНИЯМИ
- О НЕКОТОРЫХ ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
- РАЗРАБОТКА СИСТЕМЫ АВТОМАТИЗИРОВАННОГО УПРАВЛЕНИЯ ОБРАЗОВАТЕЛЬНЫМ ПРОЦЕССОМ ВУЗА
- ОРГАНИЗАЦИЯ УПРЕЖДАЮЩЕГО КЭШИРОВАНИЯ В СЕТЕВОЙ СРЕДЕ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЙ
- СЕМАНТИЧЕСКИЙ АНАЛИЗ ПРОЕКТНОЙ ДОКУМЕНТАЦИИ
- ОРГАНИЗАЦИЯ ТЕЛЕМЕДИЦИНСКОГО ЦЕНТРА НА БАЗЕ ТАМБОВСКОГО ГОСУДАРСТВЕННОГО ТЕХНИЧЕСКОГО УНИВЕРСИТЕТА
- ВЛИЯНИЕ КОЛЛИЗИЙ И ОШИБОК НА ПРОИЗВОДИТЕЛЬНОСТЬ СЕТЕВЫХ ПРИЛОЖЕНИЙ
- ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ IP-СЕТЕЙ ПЕРЕДАЧИ ДАННЫХ НА ОСНОВЕ УРАВНЕНИЙ СПЛОШНОЙ СРЕДЫ
- УПРАВЛЯЮЩАЯ ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА ВЫСОКОЙ НАДЕЖНОСТИ С РЕКОНФИГУРАЦИЕЙ
- ПОВЫШЕНИЕ ТОЧНОСТИ АЛГОРИТМОВ РАСПОЗНАВАНИЯ РЕЧИ НА ОСНОВЕ СКРЫТЫХ МАРКОВСКИХ МОДЕЛЕЙ
- ПОСТРОЕНИЕ СИСТЕМЫ ХРАНЕНИЯ КЛАСТЕРНОЙ АРХИТЕКТУРЫ