Вычислительный процесс, протекающий в машине при звукозаписи с микрофона. Подготовка к проведению звукозаписи. Оцифровка аналоговых сигналов. Сравнение амплитуд сгенерированного микрофоном сигнала и эталонного сигнала. Окончание процесса звукозаписи.
Аннотация к работе
На примере вычислительного процесса, протекающего в машине при звукозаписи с микрофона (в общем случае может подключаться любое MIDI-устройство): - построить метамодель «асинхронный процесс» и определить свойства исходного процесса на основе анализа метамодели;Опишу подробнее: при наличии микрофона, звуковой карты, команды на звукозапись в одном из каналов (канале записи) звуковой карты, а также жесткого диска (там будут сохранены данные оцифровки) можно осуществить звукозапись. В DSP есть сигнал для обработки, V выгрузила в RAM оцифрованные данные (пуста), RAM обменивается данными с HDD, HDD работает (записывает данные из RAM), звукозапись еще не закончена (T-), так как в DSP есть очередная порция сигнала для обработки. В DSP есть сигнал для обработки, V выгрузила в RAM оцифрованные данные (пуста), RAM выгрузила в HDD данные (пуста), HDD работает (записывает данные из RAM), звукозапись еще не закончена (T-), так как в DSP есть очередная порция сигнала для обработки. В DSP нет сигнала для обработки, V выгрузила в RAM оцифрованные данные (пуста), RAM обменивается данными с HDD, HDD работает (записывает данные из RAM), звукозапись еще не закончена (T-), так как в RAM есть данные обработки. В DSP нет сигнала для обработки, V выгрузила в RAM оцифрованные данные (пуста), RAM пуста, HDD работает (записывает данные), звукозапись закончена (T ), так как в DSP нет очередной порции сигнала для обработки и все элементы (кроме HDD) закончили свою работу.Ситуации процесса: S’=IURUSD={S1, S2, S5, S6, S7, S8}U{S9} U{S10} - множество ситуаций процесса-репозиции, составленное по определению. В данном случае, учитывая специфику процесса, а именно: доминирующую роль инициатора S1, который находится в отношении эквивалентности E со всеми остальными инициаторами и по семантике является «точкой перед развилкой ветвей процесса», исключим из множества S’ инициаторы {S2, S5, S6, S7, S8}, оставив лишь эквивалентный им S1. Инициаторы процесса: По определению процесса-репозиции I’ R: I"=R={S9} - репозиция начинается, когда звукозапись завершена (возвращен сигнал об успешном окончании звукозаписи). Множество дополнительных ситуаций процесса: SD={S10=10001}// Конфликтная ситуация «есть сигнал в DSP и процесс завершен» - это аналог прерывания, обрабатывается, как сброс всех настроек процесса и возврат к началу звукозаписи. Отношение непосредственного следования процесса: F": представлено графом (рис.· S15 - есть команда на звукозапись, есть пространство на диске и работает звуковая карта; · S17 - есть команда на звукозапись, есть пространство на диске, работает звуковая карта и работает (найден) микрофон; · S18 - есть команда на звукозапись, есть пространство на диске, работает звуковая карта и работает (найден) микрофон, в канале записи звуковой карты команда на запись, завершение процесса (подготовка к записи успешно завершена). Семантика композиции: процесс подготовки к звукозаписи, точнее его успешное выполнение (редукция 4.3.3), запускает непосредственно сам процесс оцифровки, точнее, его «одиночный проход» (редукция 4.2), эти два процесса сцепляются последовательно. Два процесса сцепляются через ситуации S18 (процесса P1(Y)) и S1 (процесса P(X)), эти ситуации имеют одинаковые входную и выходную компоненты соответственно.Построим сеть Петри, описывающую работу репозиции (пункт 4.1) исходного процесса. 9): Построим граф разметок этой сети (рис. Данная сеть Петри обладает свойством ограниченности: легко показать (на графе разметок, совпадающем с покрывающим деревом сети), что любое условие сети ограничено (выполняется M(p) n); Данная сеть Петри обладает свойством безопасности: легко показать (на графе разметок, совпадающем с покрывающим деревом сети), что любое условие сети безопасно (выполняется M(p) 1); Данная сеть Петри обладает свойством устойчивости: все переходы срабатывают, переход t1 может сработать при разметке М0 (t2 при М0 не может сработать), срабатывание перехода t1 не лишает переход t2 возможности сработать (t2 срабатывает при М1, достижимой из М0).Целью этой работы является получение опыта по построению метамодели «асинхронный процесс» и ее модельной интерпретации в виде «сети Петри», а также по исследованию их свойств. На основе реального физического процесса - оцифровки звука на компьютере (звукозаписи) - была построена метамодель асинхронный процесс «Звукозапись» P, над ней были проведены операции репозиции, редукции и композиции процессов P и вспомогательного процесса P3 «Подготовка к звукозаписи».
План
Содержание
§1. Постановка задачи
§2. Описание процесса звукозаписи
§3. Построение метамодели «асинхронный процесс»
§4. Операции над процессами
4.1 Репозиция асинхронного процесса «Звукозапись»
4.2 Редукция асинхронного процесса «Звукозапись»
4.3 Композиция процессов
4.3.1 Асинхронный процесс «Подготовка к звукозаписи»
4.3.2 Редукция асинхронного процесса «Подготовка к звукозаписи»
4.3.3 Композиция процессов «Звукозапись» и «Подготовка к звукозаписи»
§5. Предметная интерпретация асинхронного процесса