Дерева виведення

План

Розглянемо вимірювання положення кінців і швидкості прокатуваної смуги з проміжним перетворенням в кутове переміщення і кутову швидкість робочих валків, а також комбіноване вимірювання цих показників.

Відомо, це координата х переднього кінця прокатуваної смуги і кутове переміщення валка з моменту входу смуги в кліть Δφ зв'язані співвідношенням

х=RΔφ,

де R- катаючий радіус валка.

Використовуючи цей вираз, вимірювання координати переднього кінця прокатуваної смуги з проміжним перетворенням здійснюють на основі перетворювача кутового положення робочого валка і реле наявності смуги в кліті. Значення катаючого радіусу попереднє визначається розрахунковим шляхом або експериментально.

Для комбінованого вимірювання координати переднього кінця прокатуваної смуги х використовують робочий валок, перетворювач кутового переміщення робочого валка ППВ і кодовий перетворювач положення переднього кінця смуги ППП (мал. 6).

Малюнок 6 - Схема комбінованого вимірювання координати переднього кінця прокатуваної смуги

Вихідний сигнал у_n перетворювача положення смуги ППП відображує дискретне значення координати переднього кінця смуги х_k, k=0, 1... (х₀=0), а також забезпечує фіксацію моментів t_k проходження переднім кінцем смуги перетинів з координатами x=х_k, k=0, 1.... Вихідний сигнал у_в перетворювача положення валка ППВ починає вироблятися у момент входу смуги в кліть і відображає кутове переміщення валка Δφ за відповідний період часу. Використовуючи ці сигнали, можна визначити поточне значення координати х на підставі виразів (х_k ≤х< х_k+1; k=0, 1,…; m=l, 2,...)

х = x_k + R_k (Δφ — Δφ_k), R_m= (х_т — х_т-1) /(Δφ _m— Δφ_m-1), (1)

де R_m - середнє значення катаючого радіусу на інтервалі часу t_m-1≤t< t_m;

Δφ _k - значення величини Δφ у момент часу t_k (Δφ ₀=0).

Початкове значення катаючого радіусу R₀, як і при вимірюванні з проміжним перетворенням, заздалегідь визначається розрахунковим шляхом або експериментально.

Як видно з виразу (1), значення координати х в інтервалі 0≤х<х₁ визначається з використанням початкового значення катаючого радіусу R₀, а при визначенні значення х в інтервалі х_т-1≤х<х_т+1 в якості значення катаючого радіусу використовується його середнє значення R_m для попереднього інтервалу x_m-1≤ x<х_m. В результаті комбіноване вимірювання координати переднього кінця прокатуваної смуги порівняно з вимірюванням з проміжним перетворенням має меншу погрішність за рахунок зменшення її складових, обумовлених погрішністю попереднього визначення значення катаючого радіусу і його зміною в процесі плющення.

Як значення R₀ для чергової прокатуваної смуги можна використовувати значення R₁, визначене при плющенні попередньої смуги.

Якщо катаючий радіус може істотно змінюватися від смуги до смуги, а його зміни під час прокатки окремих смуг неістотні, то замість перетворювача положення смуги досить використовувати два реле наявності смуги, встановлені в перетинах з координатами х₀=0 і х₁.

Вимірювання швидкості виходу прокатуваної смуги з кліті (швидкості плющення) v₁ з проміжним перетворенням здійснюють, вимірюючи кутову швидкість робочого валка ω_в з використанням перетворювача кутової швидкості валка і визначаючи швидкість плющення на підставі виразу

v₁=R ω_в. Для комбінованого вимірювання швидкості плющення перетворювачі, використовувані для комбінованого вимірювання координати переднього кінця смуги, доповнюють перетворювачем кутової швидкості валка. При цьому значення швидкості плющення в інтервалі часу t_k≤t<t_k+1 визначається на підставі виразу (k=0, 1...) v₁=R_kω_в.

Вимірювання координати заднього кінця прокатаної смуги і швидкості її входу в кліть принципово не відрізняється від вимірювання координати переднього кінця смуги і швидкості плющення.

Розглянемо вимірювання кінематичних показників прокату з використанням вимірювальних роликів і петлеутримувачів.

Вимірювальний ролик представляє ролик відомого діаметру, що знаходиться у контакті із смугою і приводиться нею в обертання за рахунок контактних сил тертя. Вимірювальний ролик може розглядатися як холостий робочий валок, що здійснює плющення смуги з нульовим обтисканням. Відповідно, вимірювання з проміжним перетворенням і комбіноване вимірювання координат і швидкостей прокатаних і транспортованих смуг за допомогою вимірювального ролика може розглядатися як вимірювання за допомогою робочого валка з катаючим радіусом, рівним радіусу ролика. Комбіноване вимірювання порівняно з вимірюванням з проміжним перетворенням дозволяє зменшити погрішність вимірювання за рахунок зменшення її складових, обумовлених зміною радіусу вимірювального ролика і відносним прослизанням ролика і смуги.

Петлеутримувач (мал. 7) складається з ролика 1, важеля 2 і приводу (привід на малюнку умовно не показаний). Під дією моменту М, що розвивається приводом, важіль 2 притискує ролик 1 до смуги. Петлеутримувач перетворить прогин смуги між клітями х в кутову координату важеля α, яка відобразиться сигналом у_α перетворювача кутового положення важеля петлеутримувача ППР.

Малюнок 7- Схеми вимірювання показників стану смуги між клітями за допомогою петлеутримувача  

1. Поняття мови, основні складові

2.Формальні породжувальня граматики

4. Нормальні алгоритми Маркова.

1. Буква (або символ) – це простий неподільний знак; множина букв утворює алфавіт V. Алфавіти є множинами, і тому до них можна застосувати теоретико-множинні позначення.

Ланцюжки (string) над алфавітом V - це впорядковані сукупності букв алфавіту V, отже, вони виглядають як елементи. Букви є ланцюжком у разі n=1. Будемо допускати випадок, коли ланцюжок не містить букв (порожній ланцюжок), і позначатимемо такий ланцюжок через. Зазначимо, що не є символом, тобто для будь-якого алфавіту V.

За аналогією з лінгвістикою ланцюжки іноді називають словами. Множину всіх ланцюжків над алфавітом V називають замиканням V і називають

, так що

де

Головну операцію над ланцюжками називають конкатенцією.

Нехай та -ланцюжки над алфавітом V.

Конкатенцією та називають ланцюжок.

Якщо ланцюжок складається з символів, що повторюються, то використовуючи скорочені позначення: для a є V і цілого невід’ємного n записують:

Множину ланцюжків (або речень) називають мовою.

Формально мова над алфавітом V-це множина ланцюжків у,тому.

Правила, які визначають множину речень, утворюють синтаксис мови, опис множини смислів і відповідності між реченнями і смислами – семантику мови.

Семантика мови залежить від характеру об’єктів, які описує мова, і засоби її вивчення для різних типів мов різні. Семантика мови математики –формальні теорії. Дослідження семантики мов програмування стало самостійно частиною теоретичного програмування.

Спроби точного опису семантики природних мов стосується, передусім, робіт з машинного перекладу.

Найбільших успіхів математична лінгвістика досягла у вивчені синтаксису, де за останні 50 років розвинувся спеціальний математичний апарат-теорія формальних породжувальних граматик.

Ця теорія дуже важлива теоретично й ефективна у застосуваннях (мови програмування, штучний інтелект, машинний переклад).

Ми розглянемо головні поняття теорії формальних граматик і пов'язаний зв'язок між граматиками й автоматами.

2. У лінгвістиці природних мов терміни ”речення” й “слово” мають різний смисл; тому в математичній лінгвістиці послідовність символів звичайно називають нейтральним терміном, “ ланцюжок”, а мову яку розрізняють як множину формальних ланцюжків - формальною мовою.

Означення:

Формальна породжувальна граматика G( грамматика G)-це формальна система, визначена четвіркою об’єктів G=(V,T,S,P),де V-скінченна не порожня множина, яку називають алфавітом (або словником); Т-її підмножина елементи множини Т називають термінальним(основними) символами;

S- початковий символ (SєV), Р-скінченна множинна продукцій (або правил перетворення) вигляду та ланцюжок в алфавіті V.

Множину V\T позначають N, її елементи називають не термінальними (допоміжними)символами.

Символи термінального алфавіту прийнято позначати малими латинськими буквами або цифрами, символи не термінального алфавіту-великими латинськими буквами, ланцюжок в алфавіті V-грецькими буквами. Довжину ланцюжка позначають або.

Нехай G=(V,T,S,P)- граматика, і нехай (конкатеція), та -ланцюжок над V.

Якщо є продукцією граматики G, то кажуть, що безпосередньо виводиться з, і дописують.

Якщо -ланцюжки над V такі, що

то кажуть, що породжує, та використовують запис

Послідовність кроків для отримання з називають виведенням.

Дата добавления: 2014-01-07